Module dev.civl.abc

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

Interface CompositeEventNode

All Superinterfaces:

ASTNode, DependsEventNode

public interface CompositeEventNode
extends DependsEventNode

An composite event

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	CompositeEventNode.EventOperator	The operator of a composite event

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
CompositeEventNode	copy()	Returns a deep copy of this AST node.
CompositeEventNode.EventOperator	eventOperator()	the operatore of this composite event
DependsEventNode	getLeft()	The left operand of the composite event
DependsEventNode	getRight()	The right operand of the composite 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

getLeft

DependsEventNode getLeft()

The left operand of the composite event

Returns:

getRight

DependsEventNode getRight()

The right operand of the composite event

Returns:

eventOperator

CompositeEventNode.EventOperator eventOperator()

the operatore of this composite event

Returns:

copy

CompositeEventNode 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