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

Class PurityChecker

java.lang.Object

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

public class PurityChecker
extends java.lang.Object

Checks whether a JvmOperation is pure.

Constructor Summary

Constructors

Constructor and Description
PurityChecker()

Method Summary

Modifier and Type	Method and Description
static boolean	hasPureAnnotation(org.eclipse.xtext.common.types.JvmOperation jvmOperation)
static boolean	isPure(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

Constructor Detail

PurityChecker

public PurityChecker()

Method Detail

isPure

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

hasPureAnnotation

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