Uses of Interface
dev.civl.abc.ast.node.IF.acsl.InsertTransformNode

Packages that use InsertTransformNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.

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

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

Modifier and Type	Method	Description
InsertTransformNode	NodeFactory.newInsertTransformNode(Source source, List<BlockItemNode> nodesToInsert, boolean insertAfter)