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

Packages that use RequiresNode

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

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

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

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

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

Modifier and Type	Method	Description
RequiresNode	RequiresNode.copy()