Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.expression

Enum Class ExpressionNode.ExpressionKind

java.lang.Object

java.lang.Enum<ExpressionNode.ExpressionKind>

dev.civl.abc.ast.node.IF.expression.ExpressionNode.ExpressionKind

All Implemented Interfaces:

Serializable, Comparable<ExpressionNode.ExpressionKind>, Constable

Enclosing interface:

ExpressionNode

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

An enumerated type used to categorize the different kinds of expression nodes. Every expression node belongs to exactly one of these categories.

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
ALIGNOF	An _Alignof expression; can be cast to AlignOfNode.
ARRAY_LAMBDA	An array lambda expression.
ARROW	An arrow (e->f) expression; can be cast to ArrowNode.
CAST	A cast expression, which has the form (typeName)expr; can be cast to CastNode.
COMPOUND_LITERAL	A compound literal node; can be cast to CompoundLiteralNode.
CONSTANT	A constant node; can be cast to ConstantNode.
DERIVATIVE_EXPRESSION	A CIVL-C derivative expression; can be cast to DerivativeExpressionNode.
DOT	A C dot expression, which has the form e.f; can be cast to DotNode.
EXTENDED_QUANTIFIED	An ACSL extended quantification expression ( \sum, \min, \max, \product, \numof); can be cast to ExtendedQuantifiedExpressionNode.
FUNCTION_CALL	A function call; can be cast to FunctionCallNode.
GENERIC_SELECTION	Generic selection expression; can be cast to GenericSelectionNode.
IDENTIFIER_EXPRESSION	An identifier used as an expression (e.g., a variable name or function name).
LAMBDA	A lambda expression.
NOTHING	An ACSL nothing expression (\nothing); can be cast to NothingNode.
OBJECT_OR_REGION_OF	An $object_of or $region_of expression, which is uded in contract.
OPERATOR	An operator expression: this includes a large set of expressions formed by using an operator represented by some C symbol, such as = (assignment), + (plus), and so on.
QUANTIFIED_EXPRESSION	A CIVL-C expression formed using a quantifier, such as the universal quantifier $forall or the existential quantifier $exists.
REGULAR_RANGE	A CIVL-C "regular range expression", which has the form lo ..
REMOTE_REFERENCE	A CIVL-C remote reference expression, which refers to a variable in a different process.
RESULT	The CIVL-C $result built-in variable, which refers to the result returned by a function.
SCOPEOF	A CIVL-C $scopeof(...) expression; can be cast to ScopeOfNode.
SIZEOF	An expression built from the C sizeof operator; can be cast to SizeofNode.
SPAWN	A CIVL-C $spawn expression; can be cast to SpawnNode.
STATEMENT_EXPRESSION	A GNU C statement expression; can be cast to StatementExpressionNode
UPDATE	An $update($collator) f() expression.
WILDCARD	An ACSL-CIVL-C wildcard expression (...); can be cast to WildcardNode.

Method Summary

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

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

ALIGNOF

public static final ExpressionNode.ExpressionKind ALIGNOF

An _Alignof expression; can be cast to AlignOfNode.

ARROW

public static final ExpressionNode.ExpressionKind ARROW

An arrow (e->f) expression; can be cast to ArrowNode.

CAST

public static final ExpressionNode.ExpressionKind CAST

A cast expression, which has the form (typeName)expr; can be cast to CastNode.

COMPOUND_LITERAL

public static final ExpressionNode.ExpressionKind COMPOUND_LITERAL

A compound literal node; can be cast to CompoundLiteralNode.

CONSTANT

public static final ExpressionNode.ExpressionKind CONSTANT

A constant node; can be cast to ConstantNode. Note there are many subtypes.

DERIVATIVE_EXPRESSION

public static final ExpressionNode.ExpressionKind DERIVATIVE_EXPRESSION

A CIVL-C derivative expression; can be cast to DerivativeExpressionNode.

DOT

public static final ExpressionNode.ExpressionKind DOT

A C dot expression, which has the form e.f; can be cast to DotNode.

FUNCTION_CALL

public static final ExpressionNode.ExpressionKind FUNCTION_CALL

A function call; can be cast to FunctionCallNode.

GENERIC_SELECTION

public static final ExpressionNode.ExpressionKind GENERIC_SELECTION

Generic selection expression; can be cast to GenericSelectionNode.

IDENTIFIER_EXPRESSION

public static final ExpressionNode.ExpressionKind IDENTIFIER_EXPRESSION

An identifier used as an expression (e.g., a variable name or function name). Can be cast to IdentifierExpressionNode.

ARRAY_LAMBDA

public static final ExpressionNode.ExpressionKind ARRAY_LAMBDA

An array lambda expression. Can be cast to ArrayLambdaNode.

LAMBDA

public static final ExpressionNode.ExpressionKind LAMBDA

A lambda expression. Can be cast to LambdaNode.

OBJECT_OR_REGION_OF

public static final ExpressionNode.ExpressionKind OBJECT_OR_REGION_OF

An $object_of or $region_of expression, which is uded in contract. Can be cast to

invalid reference

ObjectOrRegionNode

.

OPERATOR

public static final ExpressionNode.ExpressionKind OPERATOR

An operator expression: this includes a large set of expressions formed by using an operator represented by some C symbol, such as = (assignment), + (plus), and so on. It does not include any operators that form left-hand-side (lhs) expressions. Can be cast to OperatorNode.

QUANTIFIED_EXPRESSION

public static final ExpressionNode.ExpressionKind QUANTIFIED_EXPRESSION

A CIVL-C expression formed using a quantifier, such as the universal quantifier $forall or the existential quantifier $exists. Can be cast to QuantifiedExpressionNode .

REGULAR_RANGE

public static final ExpressionNode.ExpressionKind REGULAR_RANGE

A CIVL-C "regular range expression", which has the form lo .. hi or lo .. hi # step; can be cast to RegularRangeNode.

REMOTE_REFERENCE

public static final ExpressionNode.ExpressionKind REMOTE_REFERENCE

A CIVL-C remote reference expression, which refers to a variable in a different process. Can be cast to

invalid reference

RemoteExpressionNode

.

RESULT

public static final ExpressionNode.ExpressionKind RESULT

The CIVL-C $result built-in variable, which refers to the result returned by a function. Can be cast to ResultNode.

SCOPEOF

public static final ExpressionNode.ExpressionKind SCOPEOF

A CIVL-C $scopeof(...) expression; can be cast to ScopeOfNode.

SIZEOF

public static final ExpressionNode.ExpressionKind SIZEOF

An expression built from the C sizeof operator; can be cast to SizeofNode.

SPAWN

public static final ExpressionNode.ExpressionKind SPAWN

A CIVL-C $spawn expression; can be cast to SpawnNode.

STATEMENT_EXPRESSION

public static final ExpressionNode.ExpressionKind STATEMENT_EXPRESSION

A GNU C statement expression; can be cast to StatementExpressionNode

UPDATE

public static final ExpressionNode.ExpressionKind UPDATE

An $update($collator) f() expression. It may be cast to UpdateNode.

WILDCARD

public static final ExpressionNode.ExpressionKind WILDCARD

An ACSL-CIVL-C wildcard expression (...); can be cast to WildcardNode.

NOTHING

public static final ExpressionNode.ExpressionKind NOTHING

An ACSL nothing expression (\nothing); can be cast to NothingNode.

EXTENDED_QUANTIFIED

public static final ExpressionNode.ExpressionKind EXTENDED_QUANTIFIED

An ACSL extended quantification expression ( \sum, \min, \max, \product, \numof); can be cast to ExtendedQuantifiedExpressionNode.

Method Details

values

public static ExpressionNode.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 ExpressionNode.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