edu.rice.hj.continuation.instrument

Annotation Type AlreadyInstrumented

@Target(value=TYPE)
 @Retention(value=RUNTIME)
public @interface AlreadyInstrumented

An annotation used to mark a class as instrumented. It must never be used in Java source code.

Author:

Matthias Mann