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

Packages that use DependsNode

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

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

Modifier and Type	Method	Description
DependsNode	NodeFactory.newDependsNode(Source source, ExpressionNode condition, SequenceNode<DependsEventNode> eventList)	Constructs a new node representing a CIVL-C $depends contract clause.

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

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

Modifier and Type	Method	Description
DependsNode	DependsNode.copy()