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

Packages that use FocusAssertTransformNode

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

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

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

Modifier and Type	Method	Description
FocusAssertTransformNode	NodeFactory.newFocusAssertNode(Source source, TokenFactory tokenFactory, List<String> focusTags)