Module dev.civl.mc

Package dev.civl.mc.model.IF.statement

Enum Class Statement.StatementKind

java.lang.Object

java.lang.Enum<Statement.StatementKind>

dev.civl.mc.model.IF.statement.Statement.StatementKind

All Implemented Interfaces:

Serializable, Comparable<Statement.StatementKind>, Constable

Enclosing interface:

Statement

public static enum Statement.StatementKind
extends Enum<Statement.StatementKind>

Different kinds of statements.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
ASSIGN	Assignment, including atomic lock assignments
CALL_OR_SPAWN	Function call or process spawn
CIVL_PAR_FOR_ENTER	$contractVerify statement
DOMAIN_ITERATOR	CIVL for loop ($for) enter statement
MALLOC	Memory allocation
NOOP	No operation
PARALLEL_ASSIGN	multiple assignments at a time
RETURN	Return statement
UPDATE	$update statement

Method Summary

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

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

ASSIGN

public static final Statement.StatementKind ASSIGN

Assignment, including atomic lock assignments

CALL_OR_SPAWN

public static final Statement.StatementKind CALL_OR_SPAWN

Function call or process spawn

DOMAIN_ITERATOR

public static final Statement.StatementKind DOMAIN_ITERATOR

CIVL for loop ($for) enter statement

CIVL_PAR_FOR_ENTER

public static final Statement.StatementKind CIVL_PAR_FOR_ENTER

$contractVerify statement

MALLOC

public static final Statement.StatementKind MALLOC

Memory allocation

NOOP

public static final Statement.StatementKind NOOP

No operation

RETURN

public static final Statement.StatementKind RETURN

Return statement

UPDATE

public static final Statement.StatementKind UPDATE

$update statement

PARALLEL_ASSIGN

public static final Statement.StatementKind PARALLEL_ASSIGN

multiple assignments at a time

Method Details

values

public static Statement.StatementKind[] 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 Statement.StatementKind 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