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

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

edu.rice.cs.cunit.instrumentors.threadCheck
edu.rice.cs.cunit.threadCheck

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

AAddThreadCheckStrategy
Abstract class for adding thread checks.

AAddThreadCheckStrategy.CacheInfo
Cache hit/miss message.

AAddThreadCheckStrategy.SharedAddData
Data shared among all AAddThreadCheckStrategy instances.

AThreadCheckStrategy
Abstract instrumentor with core routines.

AThreadCheckStrategy.SharedData
Data shared among all AAddThreadCheckStrategy instances.

BadPredicateAnnotationWarning
Storage class for bad predicate annotation warnings.

ClassNotFoundWarning
Storage class for class not found warnings.

PredicateAnnotationRecord
Class that keeps track of an annotation and the predicate class and method linked to it.

SubtypingWarning
Storage class for subtyping warnings.

ThreadCheckAnnotationRecord
Class that keeps track of what thread names/ids/groups are allowed and denied for a method.

ThreadCheckDefinitionRecord
Class that keeps track an invariant (ThreadCheckAnnotationRecord) and the classes and methods its applied to.

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

AAddThreadCheckStrategy
Abstract class for adding thread checks.

PredicateAnnotationRecord
Class that keeps track of an annotation and the predicate class and method linked to it.

ThreadCheckAnnotationRecord
Class that keeps track of what thread names/ids/groups are allowed and denied for a method.