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()