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

Class Summary

AAddThreadCheckStrategy	Abstract class for adding thread checks.
AAddThreadCheckStrategy.CacheInfo	Cache hit/miss message.
AAddThreadCheckStrategy.OnlyAfterRealizedWarning	ONLY_AFTER_REALIZED warning
AAddThreadCheckStrategy.SharedAddData	Data shared among all AAddThreadCheckStrategy instances.
AddPredicateThreadCheckStrategy	Instrumentor to add calls to ThreadCheck.checkCurrentThreadName/Id/Group to check if the current thread is not allowed to execute a class or method.
AddReflectionThreadCheckStrategy	Instrumentor to add calls to ThreadCheck.checkCurrentThreadReflection to check if the current thread is not allowed to execute a class or method.
AddThreadCheckStrategy	Instrumentor to add calls to ThreadCheck.checkCurrentThreadName/Id/Group to check if the current thread is not allowed to execute a class or method.
AThreadCheckStrategy	Abstract instrumentor with core routines.
AThreadCheckStrategy.SharedData	Data shared among all AAddThreadCheckStrategy instances.
CompoundReflectionThreadCheckStrategy	Compound instrumentor for the reflection-based Thread Check strategy.
CompoundThreadCheckStrategy	Compound instrumentor for the Thread Check strategies.
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.

Exception Summary

BadPredicateAnnotationWarning	Storage class for bad predicate annotation warnings.
ClassNotFoundWarning	Storage class for class not found warnings.