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

Packages that use PredicateLink

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

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

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

(package private) PredicateLink

TCLibDummy.subAnnotPredicateLink

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

Fields in edu.rice.cs.cunit.threadCheck.subAnnot with type parameters of type PredicateLink

java.util.HashSet<Pair<java.lang.annotation.Annotation,PredicateLink>>

SubAnnotThreadCheck.ThreadCheckAnnotationRecord.predicateLinkAnnotations

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

static java.lang.Boolean

SubAnnotThreadCheck.checkPredicateLinkAnnotation(java.lang.annotation.Annotation ann, PredicateLink pl, java.lang.Object thisO, java.lang.Object[] methodArgs) Handle a @PredicateLink-style annotation.

Uses of PredicateLink in edu.rice.cs.cunit.threadCheck.subAnnot.predicates

Classes in edu.rice.cs.cunit.threadCheck.subAnnot.predicates with annotations of type PredicateLink

interface	And This annotation combines other invariant annotations using Boolean and.
interface	DistinctArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
interface	EventThread An annotation used to designate methods that are only allowed to be run by the event thread.
static interface	EventThread.AfterRealized An annotation used to designate methods that are only allowed to be run by the event thread after the component has been realized.
interface	Implies This annotation combines other invariant annotations using Boolean implication.
interface	Not This annotation inverts the other invariant annotation using Boolean not.
interface	NullArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
interface	NumberBoundedArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
interface	Or This annotation combines other invariant annotations using Boolean or.
interface	SameArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.
interface	SynchronizedArgument An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is owned by any thread.
interface	SynchronizedField An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class and field name is owned by some thread, regardless which it is.
static interface	SynchronizedField.ByName An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class name and field name is owned by some thread, regardless which it is.
interface	SynchronizedThis An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned by some thread, regardless which it is.
interface	ThreadInField An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class and field name.
static interface	ThreadInField.ByName An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
interface	ThreadWithGroupName An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
interface	ThreadWithName An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
interface	Xor This annotation combines other invariant annotations using Boolean xor.