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

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

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

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

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.

Predicates
Class containing several common predicates.

SubAnnotThreadCheck
Class that checks whether threads may execute certain classes at runtime.

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

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.

SubAnnotThreadCheck.ThreadCheckAnnotationRecord
Storage class for predicate annotations.

SubAnnotThreadCheck.Violation

SubAnnotThreadCheck.Violation.TYPE

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

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