Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.acsl

Interface CallEventNode

All Superinterfaces:

ASTNode, DependsEventNode

public interface CallEventNode
extends DependsEventNode

An event that represents a function call with certain arguments, which is a kind of Depends Event. It has the following syntax:

 \call(func, x0, x1, x2, ...);
 

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.acsl.DependsEventNode

DependsEventNode.DependsEventNodeKind

Method Summary

Modifier and Type	Method	Description
SequenceNode<ExpressionNode>	arguments()	the arguments of the function call
CallEventNode	copy()	Returns a deep copy of this AST node.
IdentifierExpressionNode	getFunction()	the name of the function of this call event

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.acsl.DependsEventNode

getEventKind

Method Details

getFunction

IdentifierExpressionNode getFunction()

the name of the function of this call event

Returns:

arguments

SequenceNode<ExpressionNode> arguments()

the arguments of the function call

Returns:

copy

CallEventNode copy()

Description copied from interface: ASTNode

Returns a deep copy of this AST node. The node and all of its descendants will be cloned. The cloning does not copy analysis or attribute information.

Specified by:

copy in interface ASTNode

Specified by:

copy in interface DependsEventNode

Returns:

deep copy of this node