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

Packages that use CallEventNode

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

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

Modifier and Type	Method	Description
CallEventNode	NodeFactory.newCallEventNode(Source source, IdentifierExpressionNode function, SequenceNode<ExpressionNode> args)	Creates a new \call event node

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

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

Modifier and Type	Method	Description
CallEventNode	CallEventNode.copy()