Enum Class STMOp

java.lang.Object

java.lang.Enum<STMOp>

thc.runtime.STMOp

All Implemented Interfaces:

Serializable, Comparable<STMOp>, Constable

public enum STMOp
extends Enum<STMOp>

GHC 9.14.1 boxed-at-known-levity payloads, not arbitrary scalar RuntimeRep.

Nested Class Summary

Nested classes/interfaces inherited from class Enum

Enum.EnumDesc<E>

Enum Constant Summary

Enum Constants

Enum Constant	Description
ATOMICALLY
CATCH
NEW
OR_ELSE
READ
READ_IO
RETRY
WRITE

Field Summary

Fields

Modifier and Type	Field	Description
static final String	NESTED

Method Summary

Modifier and Type	Method	Description
List<String>	getArguments()
boolean	getCallback()
String	getPrimitive()
List<String>	getResults()
static STMOp	named(String name)
void	validate(List<CoreRepresentation> actual, List<?> flags, CoreRepresentation result)
static STMOp	valueOf(String name)	Returns the enum constant of this class with the specified name.
static STMOp[]	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

ATOMICALLY

public static final STMOp ATOMICALLY

RETRY

public static final STMOp RETRY

OR_ELSE

public static final STMOp OR_ELSE

CATCH

public static final STMOp CATCH

NEW

public static final STMOp NEW

READ

public static final STMOp READ

READ_IO

public static final STMOp READ_IO

WRITE

public static final STMOp WRITE

Field Details

NESTED

public static final String NESTED

See Also:

• Constant Field Values

Method Details

values

public static STMOp[] 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 STMOp 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()

getArguments

public List<String> getArguments()

getResults

public List<String> getResults()

getCallback

public boolean getCallback()

named

public static STMOp named(String name)

validate

public void validate(List<CoreRepresentation> actual,
 List<?> flags,
 CoreRepresentation result)