org.eclipse.viatra.query.patternlanguage.validation.whitelist

Class PureWhitelist

java.lang.Object

org.eclipse.viatra.query.patternlanguage.validation.whitelist.PureWhitelist

public class PureWhitelist
extends java.lang.Object

A whitelist that contains pure elements.

Nested Class Summary

Nested Classes

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.

Field Summary

Fields

Modifier and Type	Field and Description
static PureWhitelist	INSTANCE

Method Summary

Modifier and Type	Method and Description
void	add(PureWhitelist.PureElement pureElement)
void	clear()
boolean	contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final PureWhitelist INSTANCE

Method Detail

contains

public boolean contains(org.eclipse.xtext.common.types.JvmOperation jvmOperation)

add

public void add(PureWhitelist.PureElement pureElement)

clear

public void clear()