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

Packages that use DependsEventNode

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

Methods in dev.civl.abc.ast.node.IF with parameters of type DependsEventNode

Modifier and Type	Method	Description
CompositeEventNode	NodeFactory.newOperatorEventNode(Source source, CompositeEventNode.EventOperator op, DependsEventNode left, DependsEventNode right)	creates a new composite event node, which is composed by two events node and an operator.

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type DependsEventNode

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

Subinterfaces of DependsEventNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	AnyactNode	This represents ACSL-CIVLC \anyact action to be used in depends contract clauses.
interface	CallEventNode	An event that represents a function call with certain arguments, which is a kind of Depends Event.
interface	CompositeEventNode	An composite event
interface	MemoryEventNode	A depends event which specifies reading or writing a list of memory units.
interface	NoactNode	This represents the no-act event \noact, which is an event of depends clauses.

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

Modifier and Type	Method	Description
DependsEventNode	DependsEventNode.copy()
DependsEventNode	CompositeEventNode.getLeft()	The left operand of the composite event
DependsEventNode	CompositeEventNode.getRight()	The right operand of the composite event

Methods in dev.civl.abc.ast.node.IF.acsl that return types with arguments of type DependsEventNode

Modifier and Type	Method	Description
SequenceNode<DependsEventNode>	DependsNode.getEventList()	Gets the list of events specified by this depends clause