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

Packages that use FocusLoopTransformNode

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

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

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

Modifier and Type	Method	Description
FocusLoopTransformNode	NodeFactory.newFocusLoopNode(Source source, TokenFactory tokenFactory, String focusTag, SequenceNode<ExpressionNode> tagWindow, SequenceNode<ExpressionNode> memoryList)