Uses of Interface
dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode

Packages that use ForLoopInitializerNode

Package	Description
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.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.node.IF.statement	The ast.node.statement submodule defines AST nodes for representing statements in a program.

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

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

Modifier and Type	Method	Description
ForLoopNode	NodeFactory.newForLoopNode(Source source, ForLoopInitializerNode initializer, ExpressionNode condition, ExpressionNode incrementer, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new for loop node.

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

Subinterfaces of ForLoopInitializerNode 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.

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

Subinterfaces of ForLoopInitializerNode 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	ExpressionNode	A node representing any kind of C 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

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

Subinterfaces of ForLoopInitializerNode in dev.civl.abc.ast.node.IF.statement

Modifier and Type	Interface	Description
interface	DeclarationListNode	A list of variable declarations, such as might occur as an initializer in a for loop.

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

Modifier and Type	Method	Description
ForLoopInitializerNode	ForLoopInitializerNode.copy()
ForLoopInitializerNode	ForLoopNode.getInitializer()	Gets the initializer part of this for loop node.

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

Modifier and Type	Method	Description
void	ForLoopNode.setInitializer(ForLoopInitializerNode initNode)	Sets the initializer part of this for loop node.