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

Packages that use GuardsNode

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

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

Modifier and Type	Method	Description
GuardsNode	NodeFactory.newGuardNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $guard contract clause.

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

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

Modifier and Type	Method	Description
GuardsNode	GuardsNode.copy()