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

Enum Summary
NumberBoundedArgument.Mode Mode of bounding.
 

Annotation Types Summary
And This annotation combines other invariant annotations using Boolean and.
DistinctArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.
EventThread An annotation used to designate methods that are only allowed to be run by the event thread.
EventThread.AfterRealized An annotation used to designate methods that are only allowed to be run by the event thread after the component has been realized.
Implies This annotation combines other invariant annotations using Boolean implication.
Not This annotation inverts the other invariant annotation using Boolean not.
NullArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
NumberBoundedArgument An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.
Or This annotation combines other invariant annotations using Boolean or.
SameArguments An annotation used to designate methods that are only allowed to be run when the method argument indexed are the same.
SynchronizedArgument 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 by any thread.
SynchronizedField 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.
SynchronizedField.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.
SynchronizedThis 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.
ThreadInField 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.
ThreadInField.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.
ThreadWithGroupName An annotation used to designate methods that are only allowed to be run by a thread with the specified group name.
ThreadWithName An annotation used to designate methods that are only allowed to be run by a thread with the specified name.
Xor This annotation combines other invariant annotations using Boolean xor.