| Enum | Description |
|---|---|
| Pure.Kind |
The type of purity.
|
| Annotation Type | Description |
|---|---|
| Deterministic |
A method is called deterministic if it returns the same value
(according to ==) every time it is called with the same
parameters and in the same environment.
|
| LockingFree |
The method neither aquires nor releases locks -- nor do any of the methods that it calls.
|
| Pure | |
| SideEffectFree |
A method is called side-effect-free if it has no visible
side-effects, such as setting a field of an object that existed before
the method was called.
|
| TerminatesExecution |
TerminatesExecution is a method annotation that indicates that a
method terminates the execution of the program. |