Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Enum Class Expression.ExpressionKind

java.lang.Object

java.lang.Enum<Expression.ExpressionKind>

dev.civl.mc.model.IF.expression.Expression.ExpressionKind

All Implemented Interfaces:

Serializable, Comparable<Expression.ExpressionKind>, Constable

Enclosing interface:

Expression

public static enum Expression.ExpressionKind
extends Enum<Expression.ExpressionKind>

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
ABSTRACT_FUNCTION_CALL	A call to an abstract (mathematical) expression; instance of AbstractFunctionCallExpression.
ADDRESS_OF	A C address-of expression invalid input: '&expr', instance of AddressOfExpression.
ARRAY_LAMBDA	an array lambda expression, instance of ArrayLambdaExpression
BINARY	A C binary operator expression, e.g., a+b, e/(d-5*c), instance of BinaryExpression.
BOOLEAN_LITERAL
BOUND_VARIABLE
CAST
CHAR_LITERAL
COMPOUND_LITERAL
COND	Conditional expression c ? a : b, instance of ConditionalExpression
DEREFERENCE
DERIVATIVE
DIFFERENTIABLE
DOMAIN_GUARD
DOT
DYNAMIC_TYPE_OF
EXTENDED_QUANTIFIER
FUNC_CALL	instance of FunctionCallExpression
FUNCTION_GUARD
FUNCTION_IDENTIFIER
HERE_OR_ROOT
INITIAL_VALUE
INTEGER_LITERAL
LAMBDA
MEMORY_UNIT
NOTHING
NULL_LITERAL
PROC_NULL
QUANTIFIER
REAL_LITERAL
REC_DOMAIN_LITERAL
REGULAR_RANGE
RESULT
SCOPEOF
SELF
SIZEOF_EXPRESSION
SIZEOF_TYPE
STATE_NULL	A $state_null constant, instance of StatenullExpression
STRING_LITERAL
SUBSCRIPT
SYSTEM_GUARD
UNARY
UNDEFINED_PROC
VARIABLE
WILDCARD

Method Summary

Modifier and Type	Method	Description
static Expression.ExpressionKind	valueOf(String name)	Returns the enum constant of this class with the specified name.
static Expression.ExpressionKind[]	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

ABSTRACT_FUNCTION_CALL

public static final Expression.ExpressionKind ABSTRACT_FUNCTION_CALL

A call to an abstract (mathematical) expression; instance of AbstractFunctionCallExpression.

ADDRESS_OF

public static final Expression.ExpressionKind ADDRESS_OF

A C address-of expression invalid input: '&expr', instance of AddressOfExpression.

BINARY

public static final Expression.ExpressionKind BINARY

A C binary operator expression, e.g., a+b, e/(d-5*c), instance of BinaryExpression.

BOOLEAN_LITERAL

public static final Expression.ExpressionKind BOOLEAN_LITERAL

BOUND_VARIABLE

public static final Expression.ExpressionKind BOUND_VARIABLE

CAST

public static final Expression.ExpressionKind CAST

CHAR_LITERAL

public static final Expression.ExpressionKind CHAR_LITERAL

COND

public static final Expression.ExpressionKind COND

Conditional expression c ? a : b, instance of ConditionalExpression

DEREFERENCE

public static final Expression.ExpressionKind DEREFERENCE

DERIVATIVE

public static final Expression.ExpressionKind DERIVATIVE

DIFFERENTIABLE

public static final Expression.ExpressionKind DIFFERENTIABLE

DOMAIN_GUARD

public static final Expression.ExpressionKind DOMAIN_GUARD

DOT

public static final Expression.ExpressionKind DOT

DYNAMIC_TYPE_OF

public static final Expression.ExpressionKind DYNAMIC_TYPE_OF

FUNCTION_IDENTIFIER

public static final Expression.ExpressionKind FUNCTION_IDENTIFIER

FUNCTION_GUARD

public static final Expression.ExpressionKind FUNCTION_GUARD

INITIAL_VALUE

public static final Expression.ExpressionKind INITIAL_VALUE

INTEGER_LITERAL

public static final Expression.ExpressionKind INTEGER_LITERAL

MEMORY_UNIT

public static final Expression.ExpressionKind MEMORY_UNIT

NULL_LITERAL

public static final Expression.ExpressionKind NULL_LITERAL

QUANTIFIER

public static final Expression.ExpressionKind QUANTIFIER

REAL_LITERAL

public static final Expression.ExpressionKind REAL_LITERAL

REGULAR_RANGE

public static final Expression.ExpressionKind REGULAR_RANGE

RESULT

public static final Expression.ExpressionKind RESULT

SCOPEOF

public static final Expression.ExpressionKind SCOPEOF

SELF

public static final Expression.ExpressionKind SELF

SIZEOF_TYPE

public static final Expression.ExpressionKind SIZEOF_TYPE

SIZEOF_EXPRESSION

public static final Expression.ExpressionKind SIZEOF_EXPRESSION

STRING_LITERAL

public static final Expression.ExpressionKind STRING_LITERAL

COMPOUND_LITERAL

public static final Expression.ExpressionKind COMPOUND_LITERAL

SUBSCRIPT

public static final Expression.ExpressionKind SUBSCRIPT

SYSTEM_GUARD

public static final Expression.ExpressionKind SYSTEM_GUARD

UNARY

public static final Expression.ExpressionKind UNARY

UNDEFINED_PROC

public static final Expression.ExpressionKind UNDEFINED_PROC

VARIABLE

public static final Expression.ExpressionKind VARIABLE

HERE_OR_ROOT

public static final Expression.ExpressionKind HERE_OR_ROOT

PROC_NULL

public static final Expression.ExpressionKind PROC_NULL

STATE_NULL

public static final Expression.ExpressionKind STATE_NULL

A $state_null constant, instance of StatenullExpression

FUNC_CALL

public static final Expression.ExpressionKind FUNC_CALL

instance of FunctionCallExpression

REC_DOMAIN_LITERAL

public static final Expression.ExpressionKind REC_DOMAIN_LITERAL

WILDCARD

public static final Expression.ExpressionKind WILDCARD

NOTHING

public static final Expression.ExpressionKind NOTHING

ARRAY_LAMBDA

public static final Expression.ExpressionKind ARRAY_LAMBDA

an array lambda expression, instance of ArrayLambdaExpression

LAMBDA

public static final Expression.ExpressionKind LAMBDA

EXTENDED_QUANTIFIER

public static final Expression.ExpressionKind EXTENDED_QUANTIFIER

Method Details

values

public static Expression.ExpressionKind[] 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 Expression.ExpressionKind 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