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

Packages that use NoactNode

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.acsl

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

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

Modifier and Type	Method	Description
NoactNode	NodeFactory.newNoactNode(Source source)	Creates a new \noact event node

Uses of NoactNode in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return NoactNode

Modifier and Type	Method	Description
NoactNode	NoactNode.copy()