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. |