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

Packages that use WaitsforNode

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 WaitsforNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
WaitsforNode	NodeFactory.newWaitsforNode(Source source, SequenceNode<ExpressionNode> arguments)	Creates a new "waitsfor" clause node.

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

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

Modifier and Type	Method	Description
WaitsforNode	WaitsforNode.copy()