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

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

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

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

AnySynchronizedField
An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class and field name is owned by some thread, regardless which it is.

AnySynchronizedThis
An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned by some thread, regardless which it is.

CombinePredicateTemplate
"Template class" that will be cloned and used for the automatically generated predicates of compound predicate annotations created using the @Combine meta-annotation.

DistinctArguments
An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.

NoneSynchronizedField
An annotation used to designate methods that are not allowed to run if the monitor of the field specified by class and field name is owned by any thread.

NoneSynchronizedThis
An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned by any thread.

NotEventThread
An annotation used to designate methods that are not allowed to be run by the event thread.

NotNullArgument
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is not not null.

NotReflectionThreadCheckPredicates
Class containing several common predicates for the @Not* annotations that use reflection.

NotSynchronizedArgument
An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is not owned.

NotSynchronizedField
An annotation used to designate methods that are not allowed to own the monitor of the field specified by class and field name.

NotSynchronizedThis
An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned.

NotThreadCheckPredicates
Class containing several common predicates used by the @Not* annotations.

NotThreadInField
An annotation used to designate methods that are not allowed to be run by the thread in the field specified by class and field name.

NotThreadWithGroupName
An annotation used to designate methods that are not allowed to be run by a thread with the specified thread group name.

NotThreadWithName
An annotation used to designate methods that are not allowed to be run by a thread with the specified name.

NumberBoundedArgument
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.

OnlyEventThread
An annotation used to designate methods that are only allowed to be run by the event thread.

OnlyNullArgument
An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.

OnlySynchronizedArgument
An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is owned.

OnlySynchronizedField
An annotation used to designate methods that are only allowed to run if they own the monitor of the field specified by class and field name.

OnlySynchronizedThis
An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned.

OnlyThreadInField
An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class and field name.

OnlyThreadWithGroupName
An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.

OnlyThreadWithName
An annotation used to designate methods that are only allowed to be run by a thread with the specified name.

ReflectionThreadCheckPredicates
Class containing several common predicates that use reflection.

SameArguments
An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.

ThreadCheckPredicates
Class containing several common predicates.

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

NumberBoundedArgument.Mode
Mode of bounding.