Package edu.rice.cs.cunit.threadCheck.subAnnot

Class Summary

Predicates	Class containing several common predicates.
SubAnnotThreadCheck	Class that checks whether threads may execute certain classes at runtime.
SubAnnotThreadCheck.PredicateViolation
SubAnnotThreadCheck.ReflectionPredicateViolation
SubAnnotThreadCheck.ThreadCheckAnnotationRecord	Storage class for predicate annotations.
SubAnnotThreadCheck.Violation

Enum Summary

SubAnnotThreadCheck.Violation.TYPE

Annotation Types Summary

InvariantAnnotation	This is the base annotation for all invariant annotations.
PredicateLink	Meta-annotation that provides a link to a class and method that serve as predicate.