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

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

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

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

Combine.Mode
Boolean operation used to combine the results of other predicates.

OnlyRunBy.EVENT_THREAD
Describes selection of the event thread.

ThreadCheckException
Exception in the thread checker or its instrumentor.

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

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.

Combine.Mode
Boolean operation used to combine the results of other predicates.

OnlyRunBy.EVENT_THREAD
Describes selection of the event thread.

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

ThreadCheck.PredicateViolation

ThreadCheck.ThreadCheckAnnotationRecord
Storage class for predicate annotations.

ThreadCheck.Violation

ThreadCheck.Violation.TYPE

ThreadCheckException
Exception in the thread checker or its instrumentor.

XMLAnnotUtils.ConcurrentyDefinitions
Class that maintains a map between invariants and definitions.