edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type Not


@Retention(value=RUNTIME)
public @interface Not

This annotation inverts the other invariant annotation using Boolean not. 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

Required Element Summary
 InvariantAnnotation value
           
 

Element Detail

value

public abstract InvariantAnnotation value