Enum Class CompactOp

java.lang.Object

java.lang.Enum<CompactOp>

thc.runtime.CompactOp

All Implemented Interfaces:

Serializable, Comparable<CompactOp>, Constable

public enum CompactOp
extends Enum<CompactOp>

Nested Class Summary

Nested classes/interfaces inherited from class Enum

Enum.EnumDesc<E>

Enum Constant Summary

Enum Constants

Enum Constant	Description
ADD
ADD_SHARING
CONTAINS
CONTAINS_ANY
NEW
RESIZE
SIZE

Method Summary

Modifier and Type	Method	Description
boolean	getAdds()
static String[]	getFailures()
String	getPrimitive()
String	getResult()
static CompactOp	named(String name)
void	validate(List<CoreRepresentation> arguments, List<?> flags, CoreRepresentation proof)
static CompactOp	valueOf(String name)	Returns the enum constant of this class with the specified name.
static CompactOp[]	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

NEW

public static final CompactOp NEW

RESIZE

public static final CompactOp RESIZE

ADD

public static final CompactOp ADD

ADD_SHARING

public static final CompactOp ADD_SHARING

CONTAINS

public static final CompactOp CONTAINS

CONTAINS_ANY

public static final CompactOp CONTAINS_ANY

SIZE

public static final CompactOp SIZE

Method Details

values

public static CompactOp[] 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 CompactOp 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

getPrimitive

public String getPrimitive()

getResult

public String getResult()

getAdds

public boolean getAdds()

getFailures

public static String[] getFailures()

named

public static CompactOp named(String name)

validate

public void validate(List<CoreRepresentation> arguments,
 List<?> flags,
 CoreRepresentation proof)