Uses of Interface
dev.civl.abc.ast.node.IF.expression.ExpressionNode

Packages that use ExpressionNode

Package	Description
dev.civl.abc.analysis.IF	The analysis module provides various algorithms which analyze an AST, leaving behind information about the AST.
dev.civl.abc.analysis.pointsTo.IF
dev.civl.abc.ast.conversion.IF	Submodule ast.conversion provides classes for representing to C's "implicit conversions".
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl
dev.civl.abc.ast.node.IF.compound	The ast.node.compound submodule defines nodes and related classes for representing compound initializers.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.node.IF.label	The ast.node.label submodule defines AST nodes for representing labels in a program, including ordinary labels, and the case and default labels used in switch statements.
dev.civl.abc.ast.node.IF.omp	The ast.node.omp submodule defines AST nodes for representing OpenMP constructs, which are specified in omp pragmas.
dev.civl.abc.ast.node.IF.statement	The ast.node.statement submodule defines AST nodes for representing statements in a program.
dev.civl.abc.ast.node.IF.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of ExpressionNode in dev.civl.abc.analysis.IF

Methods in dev.civl.abc.analysis.IF that return types with arguments of type ExpressionNode

Modifier and Type	Method	Description
List<ExpressionNode>	FocusAnalysisData.getProtectedMemExprs(String tag)

Methods in dev.civl.abc.analysis.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	FocusAnalysisData.addProtectedMemExpr(String tag, ExpressionNode expr)

Uses of ExpressionNode in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	AssignStoreExprIF.store()	either IdentifierExpressionNode or an expression node represening string literal or allocation.

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
AssignOffsetIF	InsensitiveFlowFactory.assignOffset(ExpressionNode offset, boolean positive)	creates an AssignOffsetIF from an ExpressionNode of integer type
AssignStoreExprIF	InsensitiveFlowFactory.assignStoreExpr(ExpressionNode store)	creates an abstract object representing an allocation or a string literal

Uses of ExpressionNode in dev.civl.abc.ast.conversion.IF

Methods in dev.civl.abc.ast.conversion.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType, boolean ignoreQualifier)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.
boolean	ConversionFactory.isNullPointerConstant(ExpressionNode node)	Is this expression a null pointer constant? Prerequisite: node has already been processed.
MemConversion	ConversionFactory.memConversion(ExpressionNode expr)	Returns the mem conversion which converts the type of the given expr to a MemType.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	StaticAssertionNode.getExpression()	Gets the constant expression argument from this static assertion.
ExpressionNode	GenericAssociationNode.getExpressionNode()
ExpressionNode	NodeFactory.newHereNode(Source source)	Creates a new constant expression node representing $here.
ExpressionNode	NodeFactory.newProcnullNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C "null process" constant, written $proc_null.
ExpressionNode	NodeFactory.newResultNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C expression "$result", used in function constracts to represent the result returned by the function.
ExpressionNode	NodeFactory.newRootNode(Source source)	Creates a new constant expression node representing $root.
ExpressionNode	NodeFactory.newSelfNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C "self" process constant, written "$self".

Methods in dev.civl.abc.ast.node.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
Value	NodeFactory.getConstantValue(ExpressionNode expression)	If the expression can be evaluated statically to yield a constant value, this method returns that value, else it returns null.
ArrayDesignatorNode	NodeFactory.newArrayDesignatorNode(Source source, ExpressionNode index)	Constructs a new array designator node.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, List<VariableDeclarationNode> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
ArrayTypeNode	NodeFactory.newArrayTypeNode(Source source, TypeNode elementType, ExpressionNode extent)	Constructs and returns a new array type node.
ArrayTypeNode	NodeFactory.newArrayTypeNode(Source source, TypeNode elementType, ExpressionNode extent, ExpressionNode startIndex)	Constructs and returns a new array type node.
ArrowNode	NodeFactory.newArrowNode(Source source, ExpressionNode structurePointer, IdentifierNode fieldName)	Constructs a new node for an "arrow" expression, used in C for structure or union field navigation starting from a pointer, as in myStructPtr->field.
AssumesNode	NodeFactory.newAssumesNode(Source source, ExpressionNode predicate)	Creates a new assumes clause node
SwitchLabelNode	NodeFactory.newCaseLabelDeclarationNode(Source source, ExpressionNode constantExpression, StatementNode statement)	Constructs a new case-labeled declaration node.
CastNode	NodeFactory.newCastNode(Source source, TypeNode type, ExpressionNode argument)	Constructs a new cast node.
CivlForNode	NodeFactory.newCivlForNode(Source source, boolean isParallel, DeclarationListNode variables, ExpressionNode domain, StatementNode body, SequenceNode<ContractNode> loopContract)	Creates a new instance of the CIVL $for or $parfor node.
DependsNode	NodeFactory.newDependsNode(Source source, ExpressionNode condition, SequenceNode<DependsEventNode> eventList)	Constructs a new node representing a CIVL-C $depends contract clause.
DerivativeExpressionNode	NodeFactory.newDerivativeExpressionNode(Source source, ExpressionNode function, SequenceNode<PairNode<IdentifierExpressionNode,IntegerConstantNode>> partials, SequenceNode<ExpressionNode> arguments)	Constructs a new CIVL-C derivative expression, used to represent the (partial) derivative of a function with respect to any number of variables, evaluated at a point.
LoopNode	NodeFactory.newDoLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a do...while loop.
DomainTypeNode	NodeFactory.newDomainTypeNode(Source source, ExpressionNode dimension)	Returns a new instance of the domain type node with given integer dimension; this is the CIVL-C type $domain(n), where n is the domain dimension.
DotNode	NodeFactory.newDotNode(Source source, ExpressionNode structure, IdentifierNode fieldName)	Constructs a new node for a "dot" expression, used in C for structure or union field navigation, as in myStruct.field.
EnsuresNode	NodeFactory.newEnsuresNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $ensures contract clause.
EnumeratorDeclarationNode	NodeFactory.newEnumeratorDeclarationNode(Source source, IdentifierNode name, ExpressionNode value)	Creates new declaration of an enumerator, which is an element inside of a C enum definition.
ExpressionStatementNode	NodeFactory.newExpressionStatementNode(ExpressionNode expression)	Constructs a new expression statement node.
ExtendedQuantifiedExpressionNode	NodeFactory.newExtendedQuantifiedExpressionNode(Source source, ExtendedQuantifiedExpressionNode.ExtendedQuantifier quant, ExpressionNode lo, ExpressionNode hi, ExpressionNode function)	Creates a new extended quantified expression node.
FieldDeclarationNode	NodeFactory.newFieldDeclarationNode(Source source, IdentifierNode name, TypeNode type, ExpressionNode bitFieldWidth)	Consructs a new field declaration node which also includes a "bit width" argument.
FocusOrderedTransformNode	NodeFactory.newFocusOrderedNode(Source source, TokenFactory tokenFactory, String focusTag, OperatorNode operator, RegularRangeNode range, ExpressionNode expr)
ForLoopNode	NodeFactory.newForLoopNode(Source source, ForLoopInitializerNode initializer, ExpressionNode condition, ExpressionNode incrementer, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new for loop node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> contextArguments, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new kernel function call node.
GenericAssociationNode	NodeFactory.newGenericAssociationNode(Source source, TypeNode typeLabel, ExpressionNode associatedExpression)	Constructs a new generic association node which acts as a binding between a type node and an expression for the purposes of a generic selection node
GenericSelectionNode	NodeFactory.newGenericSelectionNode(Source source, ExpressionNode controllingExpression, ExpressionNode defaultExpression, SequenceNode<GenericAssociationNode> genericAssociationList)	Constructs a new generic selection node, used to select an expression to evaluate at compile time based on the type of the controlling expression.
GuardsNode	NodeFactory.newGuardNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $guard contract clause.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch)	Creates new if statement node when there is no false ("else") branch.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch, StatementNode falseBranch)	Creates a new if statement node.
InvariantNode	NodeFactory.newInvariantNode(Source source, boolean isLoopInvariant, ExpressionNode expression)	Creates a new invariant clause node
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode expression)	Constructs a new lambda expression with a free (no restriction on the bound variable) variable.
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode restriction, ExpressionNode expression)	Constructs a new lambda expression with restriction on the bound variable.
ObjectOrRegionOfNode	NodeFactory.newObjectofNode(Source source, ExpressionNode operand)	Creates a new $object_of node
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode argument)	Convenience method for constructing new unary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the singleton list containing argument.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode arg0, ExpressionNode arg1)	Convenience method for constructing new binary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the list consisting of arg0 and arg1.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode arg0, ExpressionNode arg1, ExpressionNode arg2)	Convenience method for constructing new ternary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the list consisting of arg0, arg1, and arg2.
PredicateNode	NodeFactory.newPredicateNode(Source source, IdentifierNode identifier, SequenceNode<VariableDeclarationNode> parameters, ExpressionNode body)	Creates a new PredicateNode for ACSL predicates
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.
ObjectOrRegionOfNode	NodeFactory.newRegionofNode(Source source, ExpressionNode operand)	Creates a new $region_of node
RegularRangeNode	NodeFactory.newRegularRangeNode(Source source, ExpressionNode low, ExpressionNode high)	Constructs a new CIVL-C regular range expression, which has the form lo ..
RegularRangeNode	NodeFactory.newRegularRangeNode(Source source, ExpressionNode low, ExpressionNode high, ExpressionNode step)	Constructs a new CIVL-C regular range expression, which has the form lo ..
RemoteOnExpressionNode	NodeFactory.newRemoteOnExpressionNode(Source source, ExpressionNode left, ExpressionNode right)	Constructs a remote expression node, representing an expression of the form proc_expr@x.
RequiresNode	NodeFactory.newRequiresNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $requires contract clause.
ReturnNode	NodeFactory.newReturnNode(Source source, ExpressionNode argument)	Creates a new return statement node.
ScopeOfNode	NodeFactory.newScopeOfNode(Source source, ExpressionNode argument)	Creates a new expression node representing $scopeof(expr).
StaticAssertionNode	NodeFactory.newStaticAssertionNode(Source source, ExpressionNode expression, StringLiteralNode message)	Creates a new C11 static assertion node.
SwitchNode	NodeFactory.newSwitchNode(Source source, ExpressionNode condition, StatementNode body)	Constructs a new node representing a C switch statement.
TypeofNode	NodeFactory.newTypeofNode(Source source, ExpressionNode expression)	creates a new typeof node (GNU C extension)
UpdateNode	NodeFactory.newUpdateNode(Source source, ExpressionNode collator, FunctionCallNode call)	Create a new UpdateNode
WhenNode	NodeFactory.newWhenNode(Source source, ExpressionNode guard, StatementNode body)	Creates a new node representing a CIVL-C $when node, used to represent a guarded command.
LoopNode	NodeFactory.newWhileLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a while loop.
void	NodeFactory.setConstantValue(ExpressionNode expression, Value value)	If for some reason you know what the constant value of a node is supposed to be, tell it by invoking this method.

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type ExpressionNode

Modifier and Type	Method	Description
AllocationNode	NodeFactory.newAllocationNode(Source source, boolean isAllocates, SequenceNode<ExpressionNode> memoryList)	Creates a new allocation node, which represents either an allocates or frees clause.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
AssignsOrReadsNode	NodeFactory.newAssignsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL assigns contract clause.
CallEventNode	NodeFactory.newCallEventNode(Source source, IdentifierExpressionNode function, SequenceNode<ExpressionNode> args)	Creates a new \call event node
FocusLoopTransformNode	NodeFactory.newFocusLoopNode(Source source, TokenFactory tokenFactory, String focusTag, SequenceNode<ExpressionNode> tagWindow, SequenceNode<ExpressionNode> memoryList)
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> contextArguments, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new kernel function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> contextArguments, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new kernel function call node.
MemoryEventNode	NodeFactory.newMemoryEventNode(Source source, MemoryEventNode.MemoryEventNodeKind kind, SequenceNode<ExpressionNode> memoryList)	creates a new memory event node, which could be either \read , write or reach.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, List<ExpressionNode> arguments)	Constructs a new operator expression node using one of the standard operators provided in the enumerated type OperatorNode.Operator.
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.
AssignsOrReadsNode	NodeFactory.newReadsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL reads contract clause.
TypedefNameNode	NodeFactory.newTypedefNameNode(IdentifierNode name, SequenceNode<ExpressionNode> scopeList)	Returns a new instance of a typedef name node.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.acsl

Subinterfaces of ExpressionNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	ExtendedQuantifiedExpressionNode	This represents an ACSL extended quantification expression.
interface	NothingNode	Constant $nothing, argument of $assigns / $reads contract clauses.
interface	ObjectOrRegionOfNode	This represents a $object_of of $region_of expression.

Methods in dev.civl.abc.ast.node.IF.acsl that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	ExtendedQuantifiedExpressionNode.function()	return the function
ExpressionNode	EnsuresNode.getExpression()	An expression of boolean type which is the post-condition
ExpressionNode	GuardsNode.getExpression()	Gets the boolean expression of this guard.
ExpressionNode	InvariantNode.getExpression()	Returns the expression of this invariant
ExpressionNode	RequiresNode.getExpression()	Gets the boolean condition which is the pre-condition.
ExpressionNode	PredicateNode.getExpressionBody()	the body expression of the predicate
ExpressionNode	AssumesNode.getPredicate()	returns the predicate of this assumes clause.
ExpressionNode	ExtendedQuantifiedExpressionNode.higher()	return the higher bound
ExpressionNode	ExtendedQuantifiedExpressionNode.lower()	return the lower bound
ExpressionNode	ObjectOrRegionOfNode.operand()	The operand, which has pointer type

Methods in dev.civl.abc.ast.node.IF.acsl that return types with arguments of type ExpressionNode

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	CallEventNode.arguments()	the arguments of the function call
SequenceNode<ExpressionNode>	FocusLoopTransformNode.getFocusWindow()
SequenceNode<ExpressionNode>	AssignsOrReadsNode.getMemoryList()	Gets the list of memory associated with this node.
SequenceNode<ExpressionNode>	FocusLoopTransformNode.getMemoryList()
SequenceNode<ExpressionNode>	MemoryEventNode.getMemoryList()
SequenceNode<ExpressionNode>	AllocationNode.memoryList()	Returns the list of memory units associated with this allocation clause.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.compound

Methods in dev.civl.abc.ast.node.IF.compound that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	ScalarLiteralObject.getExpression()	Returns the expression corrresponding to this scalar literal object.
ExpressionNode	ArrayDesignatorNode.getIndex()	Gets the constant expression which yields the index to initialize.

Methods in dev.civl.abc.ast.node.IF.compound with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	ArrayDesignatorNode.setIndex(ExpressionNode expression)	Sets the index expression.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.declaration

Methods in dev.civl.abc.ast.node.IF.declaration that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	FieldDeclarationNode.getBitFieldWidth()	Returns the bit field width.
ExpressionNode	FunctionDefinitionNode.getLogicDefinition()	Pre-condition: call to FunctionDeclarationNode.isLogicFunction() returns true.
ExpressionNode	EnumeratorDeclarationNode.getValue()	Each enumerator in an enumeration type definition may have an optional constant value specified.

Methods in dev.civl.abc.ast.node.IF.declaration that return types with arguments of type ExpressionNode

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	VariableDeclarationNode.constantAlignmentSpecifiers()	An object declaration may contain any number of alignment specifiers.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	AbstractFunctionDefinitionNode.getIntervals()	Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	AbstractFunctionDefinitionNode.getIntervals()	Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.

Methods in dev.civl.abc.ast.node.IF.declaration with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	FieldDeclarationNode.setBitFieldWidth(ExpressionNode width)	Sets the bit field width child node of this node to the given node.
void	EnumeratorDeclarationNode.setValue(ExpressionNode value)	Sets the optional value expression to the given expression node.

Method parameters in dev.civl.abc.ast.node.IF.declaration with type arguments of type ExpressionNode

Modifier and Type	Method	Description
void	VariableDeclarationNode.setConstantAlignmentSpecifiers(SequenceNode<ExpressionNode> specifiers)	Sets the node that will be returned by method VariableDeclarationNode.constantAlignmentSpecifiers().

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.expression

Subinterfaces of ExpressionNode in dev.civl.abc.ast.node.IF.expression

Modifier and Type	Interface	Description
interface	AlignOfNode	The _Alignof(typename) operator.
interface	ArrayLambdaNode	A CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	ArrowNode	An expression in which the operator is the C -> (arrow) operator.
interface	CastNode	A C cast expression has the form (typeName)expr.
interface	CharacterConstantNode	An instance of this interface represents a single Unicode character occurring as a literal element in a C program.
interface	CompoundLiteralNode	Compound literals are used to represent literal array, structure, and union values.
interface	ConstantNode	A "constant" in the sense of the C11 Standard.
interface	DerivativeExpressionNode	A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.
interface	DotNode	A C expression in which the operator is the . (dot) operator, used to specify a member of a structure or union.
interface	EnumerationConstantNode	An enumeration constant node represents a use of an enumeration constant as an expression.
interface	FloatingConstantNode	A floating constant node represents an occurrence of a literal floating point number in a program.
interface	FunctionCallNode	Node representing a function call.
interface	GenericSelectionNode	Represents a C11 generic selection construct; see C11 Section 6.5.1.1.
interface	HereOrRootNode	A node representing one of the two CIVL-C constant expressions of type $scope: $here (the dynamic scope in which the expression is evaluated), or $root (representing the root dynamic scope).
interface	IdentifierExpressionNode	Represents the use of an identifier as an expression.
interface	IntegerConstantNode	An integer constant node represents the occurrence of a literal integer constant in a program.
interface	LambdaNode	A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.
interface	OperatorNode	A node that represents an expression built using an operator.
interface	ProcnullNode	Represents the CIVL-C null process constant $proc_null, which is a constant of type $proc.
interface	QuantifiedExpressionNode	A CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	RegularRangeNode	Represents a CIVL-C regular range expression, which has the form lo ..
interface	RemoteOnExpressionNode	A CIVL-C remote expression is used to reference a variable in another process.
interface	ResultNode	Represents the CIVL-C built-in variable $result, which represents the value returned by a function.
interface	ScopeOfNode	Represents a CIVL-C scope-of expression, which has the form $scopeof(lhs), where lhs is a left-hand-side expression.
interface	SelfNode	Represents the CIVL-C built-in variable $self, which has type $scope and evaluates to the dynamic scope in which the variable is being evaluated.
interface	SizeofNode	Represents a C sizeof(...) expression.
interface	SpawnNode	Represents a CIVL-C $spawn expression, which has the form $spawn f(e1,...,en).
interface	StatementExpressionNode	This represents a GNU C statement expression.
interface	StatenullNode	Represents the CIVL-C null state constant $state_null, which is a constant of type $state.
interface	StringLiteralNode	Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
interface	WildcardNode

Methods in dev.civl.abc.ast.node.IF.expression that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	ExpressionNode.copy()
ExpressionNode	ArrayLambdaNode.expression()	The body expression.
ExpressionNode	QuantifiedExpressionNode.expression()	The quantified expression.
ExpressionNode	ScopeOfNode.expression()	Returns the argument (lhs) of this scope-of expression.
ExpressionNode	CastNode.getArgument()	Returns the node representing the expression argument of this cast expression.
ExpressionNode	DerivativeExpressionNode.getArgument(int index)	Returns the index-th argument, indexed from 0.
ExpressionNode	FunctionCallNode.getArgument(int index)	Returns the index-th argument, indexed from 0.
ExpressionNode	OperatorNode.getArgument(int index)	Returns the index-th argument, indexed from 0.
ExpressionNode	GenericSelectionNode.getAssociatedExpression(Type typeLabel)	Gets the expression node associated to the typeNode representing a type compatible with typeLabel.
ExpressionNode	FunctionCallNode.getContextArgument(int index)	Returns the index-th execution context argument, indexed from 0.
ExpressionNode	GenericSelectionNode.getControllingExpression()	Returns the controlling expression.
ExpressionNode	GenericSelectionNode.getDefaultAssociation()
ExpressionNode	StatementExpressionNode.getExpression()	The last thing in the compound statement should be an expression followed by a semicolon; the value of this subexpression serves as the value of the entire construct.
ExpressionNode	RemoteOnExpressionNode.getForeignExpressionNode()	Gets the expression node which represents the foreign expression.
ExpressionNode	DerivativeExpressionNode.getFunction()	The abstract function whose derivative is being taken.
ExpressionNode	FunctionCallNode.getFunction()	The function being called.
ExpressionNode	RegularRangeNode.getHigh()	Returns the upper bound argument hi.
ExpressionNode	RegularRangeNode.getLow()	Returns the lower bound argument lo.
ExpressionNode	RemoteOnExpressionNode.getProcessExpression()	Gets the expression which yields the process on which the foreign variable resides.
ExpressionNode	RegularRangeNode.getStep()	Returns the step argument step if it is present, else returns null
ExpressionNode	DotNode.getStructure()	Returns the node representing the left operand, which must have structure or union type.
ExpressionNode	ArrowNode.getStructurePointer()	Returns the node representing the left argument of the arrow operator.
ExpressionNode	LambdaNode.lambdaFunction()
ExpressionNode	ArrayLambdaNode.restriction()	Boolean-valued expression assumed to hold when evaluating expression.
ExpressionNode	LambdaNode.restriction()
ExpressionNode	QuantifiedExpressionNode.restriction()	Returns the predicate which specifies the restriction on the domain of the bound variables.

Methods in dev.civl.abc.ast.node.IF.expression that return types with arguments of type ExpressionNode

Modifier and Type	Method	Description
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	ArrayLambdaNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	QuantifiedExpressionNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<ExpressionNode>	FunctionCallNode.getArguments()	Returns the arguments of this function call node, which is a sequence node of expressions.
SequenceNode<ExpressionNode>	FunctionCallNode.getScopeList()	Returns the actual scope parameter names used when instantiating a scope-generic functions, as in finvalid input: '<'s1,s2>(...) This will be deprecated soon.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	QuantifiedExpressionNode.intervalSequence()	The following is an experimental field for the $uniform operator.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	QuantifiedExpressionNode.intervalSequence()	The following is an experimental field for the $uniform operator.

Methods in dev.civl.abc.ast.node.IF.expression with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	CastNode.setArgument(ExpressionNode expression)	Sets the value that will be returned by CastNode.getArgument().
void	FunctionCallNode.setArgument(int index, ExpressionNode value)	Sets the index-th argument.
void	OperatorNode.setArgument(int index, ExpressionNode value)	Sets the index-th argument of this expression to be the given expression
void	FunctionCallNode.setContextArgument(int index, ExpressionNode value)	Sets the index-th execution context argument.
void	ScopeOfNode.setExpression(ExpressionNode expr)	Sets the argument of this scope-of expression
void	RemoteOnExpressionNode.setForeignExpressionNode(ExpressionNode arg)	Sets the identifier node argument.
void	FunctionCallNode.setFunction(ExpressionNode function)	Sets the value returned by FunctionCallNode.getFunction().
void	RegularRangeNode.setHigh(ExpressionNode arg)	Sets the upper bound argument hi
void	RegularRangeNode.setLow(ExpressionNode arg)	Sets the lower bound argument lo
void	RemoteOnExpressionNode.setProcessExpression(ExpressionNode arg)	Sets the process expressions argument.
void	RegularRangeNode.setStep(ExpressionNode arg)	Sets the step argument step
void	DotNode.setStructure(ExpressionNode structure)	Sets the value returned by DotNode.getStructure().
void	ArrowNode.setStructurePointer(ExpressionNode structure)	Sets the value that will be returned by ArrowNode.getStructurePointer().

Method parameters in dev.civl.abc.ast.node.IF.expression with type arguments of type ExpressionNode

Modifier and Type	Method	Description
void	FunctionCallNode.setArguments(SequenceNode<ExpressionNode> arguments)	Updates the actual parameters of the function call node.
void	FunctionCallNode.setContextArguments(SequenceNode<ExpressionNode> arguments)	Updates the actual execution context parameters of the function call node.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.label

Methods in dev.civl.abc.ast.node.IF.label that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	SwitchLabelNode.getExpression()	If this is a case label, returns the constant expression following the case keyword; else returns null

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.omp

Methods in dev.civl.abc.ast.node.IF.omp that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	OmpForNode.chunkSize()	Returns the chunk size.
ExpressionNode	OmpParallelNode.ifClause()	Returns the expression node of if().
ExpressionNode	OmpParallelNode.numThreads()	Returns the expression node of num_threads().

Methods in dev.civl.abc.ast.node.IF.omp with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	OmpForNode.setChunsize(ExpressionNode chunkSize)	Updates the chunk size of this loop construct.
void	OmpParallelNode.setIfClause(ExpressionNode value)	Updates the if-condition when the clause if() is present.
void	OmpParallelNode.setNumThreads(ExpressionNode value)	Updates the number of threads when the clause num_threads() is present.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.statement

Methods in dev.civl.abc.ast.node.IF.statement that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	UpdateNode.getCollator()	Get the ExpressionNode which has the type $collator.
ExpressionNode	IfNode.getCondition()	The condition controlling this "if" statement
ExpressionNode	LoopNode.getCondition()	The condition which controls when to stay in or exit the loop.
ExpressionNode	SwitchNode.getCondition()	Returns the branch condition controlling this switch statement.
ExpressionNode	CivlForNode.getDomain()	Returns the iteration domain expression, which is the expression following the colon.
ExpressionNode	ExpressionStatementNode.getExpression()
ExpressionNode	ReturnNode.getExpression()	The expression to return.
ExpressionNode	WhenNode.getGuard()	The guard: a boolean expression which must hold in order for the body to be executed.
ExpressionNode	ForLoopNode.getIncrementer()	Gets the incrementer part of this for loop node.

Methods in dev.civl.abc.ast.node.IF.statement with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	LoopNode.setCondition(ExpressionNode condition)	Sets the loop condition for this loop node.
void	ForLoopNode.setIncrementer(ExpressionNode node)	Sets the incrementer part of this for loop node.

Uses of ExpressionNode in dev.civl.abc.ast.node.IF.type

Methods in dev.civl.abc.ast.node.IF.type that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	DomainTypeNode.getDimension()	Returns the integer constant dimention of the domain if present, else returns null
ExpressionNode	TypeofNode.getExpressionOperand()
ExpressionNode	ArrayTypeNode.getExtent()	The expression appearing in square brackets that specifies the length of the array.
ExpressionNode	ArrayTypeNode.getStartIndex()	The expression appearing in square brackets that specifies the starting index of the array.

Methods in dev.civl.abc.ast.node.IF.type that return types with arguments of type ExpressionNode

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	TypedefNameNode.getScopeList()	Returns the actual scope parameters used in this instances of a scope-generic typedef.

Methods in dev.civl.abc.ast.node.IF.type with parameters of type ExpressionNode

Modifier and Type	Method	Description
void	ArrayTypeNode.setExtent(ExpressionNode extent)
void	ArrayTypeNode.setStartIndex(ExpressionNode startIndex)

Uses of ExpressionNode in dev.civl.abc.ast.type.IF

Methods in dev.civl.abc.ast.type.IF that return ExpressionNode

Modifier and Type	Method	Description
ExpressionNode	ArrayType.getVariableSize()	The expression appearing in square brackets that specifies the length of the array, when that length is not a known constant.

Methods in dev.civl.abc.ast.type.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
ArrayType	TypeFactory.variableLengthArrayType(ObjectType elementType, ExpressionNode variableSize)	Returns a complete array type in which the size expression cannot be evaluated to a known constant value.

Uses of ExpressionNode in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF with parameters of type ExpressionNode

Modifier and Type	Method	Description
AddressValue	ValueFactory.addressValue(ExpressionNode lhs)
Value	ValueFactory.evaluate(ExpressionNode constantExpression)	Evaluates a constant expression.