edu.rice.cs.cunit.threadCheck.subAnnot
Annotation Type InvariantAnnotation


@Retention(value=RUNTIME)
public @interface InvariantAnnotation

This is the base annotation for all invariant annotations. All other invariant annotations have to extend this annotation. Note that this is not compatible with standard Java, but requires xajavac. For more information about xajavac, see http://ricken.us/research/xajavac

Author:
Mathias Ricken