Pure is a method annotation that means both SideEffectFree and Deterministic. The more important of these, when performing pluggable type-checking, is usually
SideEffectFree.
For a discussion of the meaning of Pure on a constructor, see the documentation of
Deterministic.
This annotation is inherited by subtypes, just as if it were meta-annotated with
@InheritedAnnotation.
| Modifier and Type | Class and Description |
|---|---|
| public static enum | Pure.Kind
The type of purity. |
| Modifier and Type | Field and Description |
|---|---|
| public static final Pure. | DETERMINISTIC
The method returns exactly the same value when called in the same environment. |
| public static final Pure. | SIDE_EFFECT_FREE
The method has no visible side effects. |
| Access | Constructor and Description |
|---|---|
| private |
| Modifier and Type | Method and Description |
|---|---|
| public static Pure. | |
| public static Pure. |
| DETERMINISTIC | back to summary |
|---|---|
| public static final Pure. The method returns exactly the same value when called in the same environment. | |
| SIDE_EFFECT_FREE | back to summary |
|---|---|
| public static final Pure. The method has no visible side effects. | |
| Kind | back to summary |
|---|---|
| private Kind() | |
| valueOf | back to summary |
|---|---|
| public static Pure. | |
| values | back to summary |
|---|---|
| public static Pure. | |