public class PureWhitelist
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
PureWhitelist.PureElement
Declares that a method is pure or all methods in a class or package are pure.
|
Modifier and Type | Field and Description |
---|---|
static PureWhitelist |
INSTANCE |
Modifier and Type | Method and Description |
---|---|
void |
add(PureWhitelist.PureElement pureElement) |
void |
clear() |
boolean |
contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation) |
public static final PureWhitelist INSTANCE
public boolean contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation)
public void add(PureWhitelist.PureElement pureElement)
public void clear()