Uses of Class
edu.rice.cs.cunit.threadCheck.subAnnot.InvariantAnnotation

Packages that use InvariantAnnotation

edu.rice.cs.cunit.threadCheck
edu.rice.cs.cunit.threadCheck.subAnnot

Uses of InvariantAnnotation in edu.rice.cs.cunit.threadCheck

Fields in edu.rice.cs.cunit.threadCheck declared as InvariantAnnotation

(package private) InvariantAnnotation

TCLibDummy.subAnnotInvariantAnnotation

Uses of InvariantAnnotation in edu.rice.cs.cunit.threadCheck.subAnnot

Methods in edu.rice.cs.cunit.threadCheck.subAnnot with parameters of type InvariantAnnotation

static boolean	Predicates.checkAnd(java.lang.Object thisObject, java.lang.Object[] methodArgs, InvariantAnnotation[] value) Return false if one or more of the annotations in the array returned false.
static boolean	Predicates.checkImplies(java.lang.Object thisObject, java.lang.Object[] methodArgs, InvariantAnnotation[] value) Return true if A -> B is true, where A is the first annotation and B is the second.
static boolean	SubAnnotThreadCheck.checkInvariantAnnotation(InvariantAnnotation value, java.lang.Object thisObject, java.lang.Object[] methodArgs) Convenience method to get the result of an invariant annotation check.
static boolean	Predicates.checkNot(java.lang.Object thisObject, java.lang.Object[] methodArgs, InvariantAnnotation value) Return true if the annotations in the array returned false, and vice versa.
static boolean	Predicates.checkOr(java.lang.Object thisObject, java.lang.Object[] methodArgs, InvariantAnnotation[] value) Return true if one or more of the annotations in the array returned true.
static boolean	Predicates.checkXOr(java.lang.Object thisObject, java.lang.Object[] methodArgs, InvariantAnnotation[] value) Return true if exactly one of the annotations in the array returned true.