Uses of Package
edu.rice.cs.cunit.threadCheck

Packages that use edu.rice.cs.cunit.threadCheck

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

Classes in edu.rice.cs.cunit.threadCheck used by edu.rice.cs.cunit.threadCheck

Combine
Meta-annotation that specifies what Boolean operation is used to combine the predicate annotations contained in the annotation that is annotated by this meta-annotation.

Combine.Mode
Boolean operation used to combine the results of other predicates.

NotRunBy
Annotation for a class or method signaling that it should not be run by the designated threads.

OnlyRunBy
Annotation for a class or method signaling that it should only be run by the designated threads.

OnlyRunBy.EVENT_THREAD
Describes selection of the event thread.

PredicateLink
Meta-annotation that provides a link to a class and method that serve as predicate.

SuppressSubtypingWarning
Tells the Thread Checker to ignore subtyping warnings that may arise because this class or method has a certain annotation, but the superclass or method in the superclass does not.

ThreadDesc
Describes a thread.

Classes in edu.rice.cs.cunit.threadCheck used by edu.rice.cs.cunit.threadCheck.predicates

Combine
Meta-annotation that specifies what Boolean operation is used to combine the predicate annotations contained in the annotation that is annotated by this meta-annotation.

PredicateLink
Meta-annotation that provides a link to a class and method that serve as predicate.