Uses of Class
edu.rice.cs.cunit.threadCheck.PredicateLink

Packages that use PredicateLink

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

Uses of PredicateLink in edu.rice.cs.cunit.threadCheck

Fields in edu.rice.cs.cunit.threadCheck declared as PredicateLink

(package private) PredicateLink

TCLibDummy.prediateLink

Uses of PredicateLink in edu.rice.cs.cunit.threadCheck.predicates

Classes in edu.rice.cs.cunit.threadCheck.predicates with annotations of type PredicateLink

interface	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.
static interface	AnySynchronizedField.ByName An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class name and field name is owned by some thread, regardless which it is.
interface	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.
interface	DistinctArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
interface	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.
static interface	NoneSynchronizedField.ByName An annotation used to designate methods that are not allowed to run if the monitor of the field specified by class name and field name is owned by any thread.
interface	NoneSynchronizedThis An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned by any thread.
interface	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.
interface	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.
interface	NotSynchronizedField An annotation used to designate methods that are not allowed to own the monitor of the field specified by class and field name.
static interface	NotSynchronizedField.ByName An annotation used to designate methods that are not allowed to own the monitor of the field specified by class name and field name.
interface	NotSynchronizedThis An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned.
interface	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.
static interface	NotThreadInField.ByName An annotation used to designate methods that are not allowed to be run by the thread in the field specified by class name and field name.
interface	NotThreadWithGroupName An annotation used to designate methods that are not allowed to be run by a thread with the specified thread group name.
static interface	NotThreadWithGroupName.InField An annotation used to designate methods that are not allowed to be run by a thread whose thread group name is equal to the string in the field specified by class and field name.
static interface	NotThreadWithGroupName.InField.ByName An annotation used to designate methods that are not allowed to be run by a thread whose thread group name is equal to the string in the field specified by class name and field name.
interface	NotThreadWithName An annotation used to designate methods that are not allowed to be run by a thread with the specified name.
static interface	NotThreadWithName.InField An annotation used to designate methods that are not allowed to be run by a thread whose name is equal to the string in the field specified by class and field name.
static interface	NotThreadWithName.InField.ByName An annotation used to designate methods that are not allowed to be run by a thread whose name is equal to the string in the field specified by class name and field name.
interface	NumberBoundedArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
interface	OnlyEventThread An annotation used to designate methods that are only allowed to be run by the event thread.
static interface	OnlyEventThread.AfterRealized An annotation used to designate methods that are only allowed to be run by the event thread after the component has been realized.
interface	OnlyNullArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
interface	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.
interface	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.
static interface	OnlySynchronizedField.ByName An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
interface	OnlySynchronizedThis An annotation used to designate methods that are only allowed to be run when the monitor of "this" is owned.
interface	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.
static interface	OnlyThreadInField.ByName An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.
interface	OnlyThreadWithGroupName An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
static interface	OnlyThreadWithGroupName.InField An annotation used to designate methods that are only allowed to be run by a thread whose group name is equal to the string in the field specified by class and field name.
static interface	OnlyThreadWithGroupName.InField.ByName An annotation used to designate methods that are only allowed to be run by a thread whose group name is equal to the string in the field specified by class name and field name.
interface	OnlyThreadWithName An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
static interface	OnlyThreadWithName.InField An annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in the field specified by class and field name.
static interface	OnlyThreadWithName.InField.ByName An annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in the field specified by class name and field name.
interface	SameArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.