manifold.javadoc.agent

Class Agent

java.lang.Object

manifold.javadoc.agent.Agent

public class Agent
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Agent()

Method Summary

Modifier and Type	Method and Description
static void	premain(java.lang.String args, java.lang.instrument.Instrumentation instrumentation)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Agent

public Agent()

Method Detail

premain

public static void premain(java.lang.String args,
                           java.lang.instrument.Instrumentation instrumentation)