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

Packages that use CivlForNode

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 CivlForNode in dev.civl.abc.ast.node.IF

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

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 CivlForNode in dev.civl.abc.ast.node.IF.statement

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

Modifier and Type	Method	Description
CivlForNode	CivlForNode.copy()