| Class | Description |
|---|---|
| PureWhitelist |
A whitelist that contains pure elements.
|
| PureWhitelist.PureElement |
Declares that a method is pure or all methods in a class or package are pure.
|
| PureWhitelistExtensionLoader |
Adds pure elements defined by the appropriate extension to the whitelist.
|
| PurityChecker |
Checks whether a
JvmOperation is pure. |
| Enum | Description |
|---|---|
| PureWhitelist.PureElement.Type |