Package edu.rice.cs.cunit.threadCheck

Class Summary

ThreadCheck	Class that checks whether threads may execute certain classes at runtime..
ThreadCheck.ArgumentPredicateViolation
ThreadCheck.ExceptionInArgumentPredicateViolation
ThreadCheck.ExceptionInPredicateViolation
ThreadCheck.NotRunByIdViolation
ThreadCheck.NotRunByThreadGroupViolation
ThreadCheck.NotRunByThreadNameViolation
ThreadCheck.OnlyRunByViolation
ThreadCheck.PredicateViolation
ThreadCheck.ReflectionPredicateViolation
ThreadCheck.ThreadCheckAnnotationRecord	Storage class for predicate annotations.
ThreadCheck.Violation
XMLAnnotUtils	Utilities to write annotations to an XML configuration.
XMLAnnotUtils.AnnotationToXML	Utilities for putting annotations into an XML configuration.
XMLAnnotUtils.ClassBased	Utilities for working with class-based thread checker definitions ().
XMLAnnotUtils.ConcurrentyDefinitions	Class that maintains a map between invariants and definitions.

Enum Summary

Combine.Mode	Boolean operation used to combine the results of other predicates.
OnlyRunBy.EVENT_THREAD	Describes selection of the event thread.
ThreadCheck.Violation.TYPE

Exception Summary

ThreadCheckException

Exception in the thread checker or its instrumentor.

Annotation Types Summary

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.
NotRunBy	Annotation for a class or method signaling that it should not be run by the designated threads.
OnlyRunBy	Annotation for a class or method signaling that it should only be run by the designated threads.
PredicateLink	Meta-annotation that provides a link to a class and method that serve as predicate.
SuppressSubtypingWarning	Tells the Thread Checker to ignore subtyping warnings that may arise because this class or method has a certain annotation, but the superclass or method in the superclass does not.
ThreadDesc	Describes a thread.