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

Packages that use Combine

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

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

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

(package private) Combine

TCLibDummy.combine

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

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

static interface	AnySynchronizedField.All An annotation used to designate methods that are only allowed to be run when all of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
static interface	AnySynchronizedField.Any An annotation used to designate methods that are only allowed to be run when one or more of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
static interface	AnySynchronizedField.ByName.All An annotation used to designate methods that are only allowed to be run when all of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
static interface	AnySynchronizedField.ByName.Any An annotation used to designate methods that are only allowed to be run when one or more of the monitors of the fields specified are owned by some thread, regardless which it is, i.e.
static interface	DistinctArguments.All Annotation used to designate methods that are only allowed to be run if all of the arguments are distinct, i.e.
static interface	DistinctArguments.Any Annotation used to designate methods that are only allowed to be run if one or more of the arguments are distinct, i.e.
static interface	DistinctArguments.None Annotation used to designate methods that are only allowed to be run if none of the arguments are distinct, i.e.
static interface	NoneSynchronizedField.ByName.None An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e.
static interface	NoneSynchronizedField.None An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e.
interface	NotEventThread An annotation used to designate methods that are not allowed to be run by the event thread.
static interface	NotNullArgument.None Annotation used to designate methods that are not allowed to to have any of the method arguments be null i.e.
static interface	NotSynchronizedArgument.None Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
static interface	NotSynchronizedField.ByName.None Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
static interface	NotSynchronizedField.None Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
static interface	NotThreadInField.ByName.None Annotation used to designate methods that are not allowed to be run by any of the threads specified in the fields, i.e.
static interface	NotThreadInField.None Annotation used to designate methods that are not allowed to be run by any of the threads specified in the fields, i.e.
static interface	NotThreadWithGroupName.InField.ByName.None Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches the string in any of the fields provided, i.e.
static interface	NotThreadWithGroupName.InField.None Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches the string in any of the fields provided, i.e.
static interface	NotThreadWithGroupName.None Annotation used to designate methods that are not allowed to be run by a thread whose thread group name matches any of the names provided, i.e.
static interface	NotThreadWithName.InField.ByName.None Annotation used to designate methods that are not allowed to be run by a thread whose name matches the string in any of the fields provided, i.e.
static interface	NotThreadWithName.InField.None Annotation used to designate methods that are not allowed to be run by a thread whose name matches the string in any of the fields provided, i.e.
static interface	NotThreadWithName.None Annotation used to designate methods that are not allowed to be run by a thread whose name matches any of the names provided, i.e.
static interface	NumberBoundedArgument.All Annotation used to designate methods that are only allowed to be run if all of the bounds are met, i.e.
static interface	NumberBoundedArgument.Any Annotation used to designate methods that are only allowed to be run if one or more of the bounds are met, i.e.
static interface	NumberBoundedArgument.None Annotation used to designate methods that are only allowed to be run if none of the bounds are met, i.e.
static interface	OnlyNullArgument.All Annotation used to designate methods that are only allowed to be run if all of the method arguments are null, i.e.
static interface	OnlyNullArgument.Any Annotation used to designate methods that are only allowed to be run if one or more of the method arguments are null, i.e.
static interface	OnlySynchronizedArgument.All Annotation used to designate methods that are only allowed to be run if they own all of the monitors specified in the method arguments, i.e.
static interface	OnlySynchronizedArgument.Any Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the method arguments, i.e.
static interface	OnlySynchronizedField.All Annotation used to designate methods that are only allowed to be run if they own all of the monitors specified in the fields, i.e.
static interface	OnlySynchronizedField.Any Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
static interface	OnlySynchronizedField.ByName.All Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
static interface	OnlySynchronizedField.ByName.Any Annotation used to designate methods that are only allowed to be run if they own one or more of the monitors specified in the fields, i.e.
static interface	OnlyThreadInField.Any Annotation used to designate methods that are only allowed to be run by one of the threads specified in the fields, i.e.
static interface	OnlyThreadInField.ByName.Any Annotation used to designate methods that are only allowed to be run by one of the threads specified in the fields, i.e.
static interface	OnlyThreadWithGroupName.Any Annotation used to designate methods that are only allowed to be run by a thread whose thread group name is equal to one of the names provided, i.e.
static interface	OnlyThreadWithGroupName.InField.Any Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
static interface	OnlyThreadWithGroupName.InField.ByName.None Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
static interface	OnlyThreadWithName.Any Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to one of the names provided, i.e.
static interface	OnlyThreadWithName.InField.Any Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
static interface	OnlyThreadWithName.InField.ByName.Any Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e.
static interface	SameArguments.All Annotation used to designate methods that are only allowed to be run if all of the arguments are the same, i.e.
static interface	SameArguments.Any Annotation used to designate methods that are only allowed to be run if one or more of the arguments are the same, i.e.
static interface	SameArguments.None Annotation used to designate methods that are only allowed to be run if none of the arguments are the same, i.e.