Enum Class InteGraalKeywords.Algorithms.Parameters.Chase.Checker

java.lang.Object

java.lang.Enum<InteGraalKeywords.Algorithms.Parameters.Chase.Checker>

fr.inria.rules.integraal.configuration.keywords.InteGraalKeywords.Algorithms.Parameters.Chase.Checker

All Implemented Interfaces:

Serializable, Comparable<InteGraalKeywords.Algorithms.Parameters.Chase.Checker>, Constable

Enclosing class:

InteGraalKeywords.Algorithms.Parameters.Chase

public static enum InteGraalKeywords.Algorithms.Parameters.Chase.Checker
extends Enum<InteGraalKeywords.Algorithms.Parameters.Chase.Checker>

Specifies different rule-checking strategies for chase.

Author:

Federico Ulliana, Michel Leclère

Nested Class Summary

Nested classes/interfaces inherited from class Enum

Enum.EnumDesc<E>

Enum Constant Summary

Enum Constants

Enum Constant	Description
EQUIVALENT	Equivalent Checker
OBLIVIOUS	Oblivious Checker
RESTRICTED	Restricted Checker
SEMI_OBLIVIOUS	Semi-Oblivious Checker
SO_RESTRICTED	Semi-Oblivious then Restricted Checker (combines the two checkers)
TRUE	True Checker

Method Summary

Modifier and Type	Method	Description
static InteGraalKeywords.Algorithms.Parameters.Chase.Checker	valueOf(String name)	Returns the enum constant of this class with the specified name.
static InteGraalKeywords.Algorithms.Parameters.Chase.Checker[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

TRUE

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker TRUE

True Checker

OBLIVIOUS

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker OBLIVIOUS

Oblivious Checker

SEMI_OBLIVIOUS

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker SEMI_OBLIVIOUS

Semi-Oblivious Checker

RESTRICTED

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker RESTRICTED

Restricted Checker

EQUIVALENT

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker EQUIVALENT

Equivalent Checker

SO_RESTRICTED

public static final InteGraalKeywords.Algorithms.Parameters.Chase.Checker SO_RESTRICTED

Semi-Oblivious then Restricted Checker (combines the two checkers)

Method Details

values

public static InteGraalKeywords.Algorithms.Parameters.Chase.Checker[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static InteGraalKeywords.Algorithms.Parameters.Chase.Checker valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null