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

Packages that use EnsuresNode

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

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

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

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

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

Modifier and Type	Method	Description
EnsuresNode	EnsuresNode.copy()