edu.rice.hj.continuation.instrument

Class JavaAgent

java.lang.Object

edu.rice.hj.continuation.instrument.JavaAgent

public class JavaAgent
extends Object

Constructor Summary

Constructors

Constructor and Description
JavaAgent()

Method Summary

Modifier and Type	Method and Description
static void	premain(String agentArguments, Instrumentation instrumentation)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaAgent

public JavaAgent()

Method Detail

premain

public static void premain(String agentArguments,
                           Instrumentation instrumentation)