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

Packages that use DeclarationListNode

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.statement	The ast.node.statement submodule defines AST nodes for representing statements in a program.

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

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

Modifier and Type	Method	Description
DeclarationListNode	NodeFactory.newForLoopInitializerNode(Source source, List<VariableDeclarationNode> declarations)	Construcs a new declaration list node, which is comprised of a sequence of variable declarations.

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

Modifier and Type	Method	Description
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.

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

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

Modifier and Type	Method	Description
DeclarationListNode	DeclarationListNode.copy()
DeclarationListNode	CivlForNode.getVariables()	Returns the sequence of loop variable declarations.