Package edu.rice.cs.cunit.threadCheck

Class Summary
TCLibDummy  
 

Enum Summary
Combine.Mode Boolean operation used to combine the results of other predicates.
OnlyRunBy.EVENT_THREAD Describes selection of the event thread.
 

Annotation Types Summary
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.
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.
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.