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

Packages that use FocusOrderedTransformNode

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

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

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

Modifier and Type	Method	Description
FocusOrderedTransformNode	NodeFactory.newFocusOrderedNode(Source source, TokenFactory tokenFactory, String focusTag, OperatorNode operator, RegularRangeNode range, ExpressionNode expr)