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.
|
Constructor and Description |
---|
PureWhitelist() |
PureWhitelist(boolean loadExtensions)
If loadExtensions is false, instead of loading the list of known extensions start with an empty whitelist
|
PureWhitelist(IPureWhitelistExtensionProvider extensionProvider,
org.apache.log4j.Logger logger) |
Modifier and Type | Method and Description |
---|---|
void |
add(PureWhitelist.PureElement pureElement) |
boolean |
contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation) |
void |
loadKnownExtensions() |
public PureWhitelist()
public PureWhitelist(boolean loadExtensions)
@Inject public PureWhitelist(IPureWhitelistExtensionProvider extensionProvider, org.apache.log4j.Logger logger)
public boolean contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation)
public void add(PureWhitelist.PureElement pureElement)
public void loadKnownExtensions()