|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.rice.cs.cunit.threadCheck.subAnnot.predicates | |
---|---|
edu.rice.cs.cunit.threadCheck | |
edu.rice.cs.cunit.threadCheck.subAnnot | |
edu.rice.cs.cunit.threadCheck.subAnnot.predicates |
Classes in edu.rice.cs.cunit.threadCheck.subAnnot.predicates used by edu.rice.cs.cunit.threadCheck | |
---|---|
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. |
|
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. |
|
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. |
|
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. |
Classes in edu.rice.cs.cunit.threadCheck.subAnnot.predicates used by edu.rice.cs.cunit.threadCheck.subAnnot | |
---|---|
NumberBoundedArgument.Mode
Mode of bounding. |
Classes in edu.rice.cs.cunit.threadCheck.subAnnot.predicates used by edu.rice.cs.cunit.threadCheck.subAnnot.predicates | |
---|---|
NumberBoundedArgument.Mode
Mode of bounding. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |