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

Class Summary
CombinePredicateTemplate "Template class" that will be cloned and used for the automatically generated predicates of compound predicate annotations created using the @Combine meta-annotation.
NotReflectionThreadCheckPredicates Class containing several common predicates for the @Not* annotations that use reflection.
NotThreadCheckPredicates Class containing several common predicates used by the @Not* annotations.
ReflectionThreadCheckPredicates Class containing several common predicates that use reflection.
ThreadCheckPredicates Class containing several common predicates.
 

Enum Summary
NumberBoundedArgument.Mode Mode of bounding.
 

Annotation Types Summary
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.
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.
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.
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.
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.
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.
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.
DistinctArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
DistinctArguments.All Annotation used to designate methods that are only allowed to be run if all of the arguments are distinct, i.e.
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.
DistinctArguments.None Annotation used to designate methods that are only allowed to be run if none of the arguments are distinct, i.e.
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.
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.
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.
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.
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.
NotNullArgument.None Annotation used to designate methods that are not allowed to to have any of the method arguments be null i.e.
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.
NotSynchronizedArgument.None Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
NotSynchronizedField An annotation used to designate methods that are not allowed to own the monitor of the field specified by class and field name.
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.
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.
NotSynchronizedField.None Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e.
NotSynchronizedThis An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned.
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.
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.
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.
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.
NotThreadWithGroupName An annotation used to designate methods that are not allowed to be run by a thread with the specified thread group name.
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.
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.
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.
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.
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.
NotThreadWithName An annotation used to designate methods that are not allowed to be run by a thread with the specified name.
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.
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.
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.
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.
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.
NumberBoundedArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
NumberBoundedArgument.All Annotation used to designate methods that are only allowed to be run if all of the bounds are met, i.e.
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.
NumberBoundedArgument.None Annotation used to designate methods that are only allowed to be run if none of the bounds are met, i.e.
OnlyEventThread An annotation used to designate methods that are only allowed to be run by the event thread.
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.
OnlyNullArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
OnlyNullArgument.All Annotation used to designate methods that are only allowed to be run if all of the method arguments are null, i.e.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
OnlyThreadWithGroupName An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
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.
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.
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.
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.
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.
OnlyThreadWithName An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
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.
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.
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.
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.
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.
SameArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.
SameArguments.All Annotation used to designate methods that are only allowed to be run if all of the arguments are the same, i.e.
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.
SameArguments.None Annotation used to designate methods that are only allowed to be run if none of the arguments are the same, i.e.