Module dev.civl.abc

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

Interface DependsEventNode

All Superinterfaces:

ASTNode

All Known Subinterfaces:

AnyactNode, CallEventNode, CompositeEventNode, MemoryEventNode, NoactNode

public interface DependsEventNode
extends ASTNode

This represents an event of the depends clause.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	DependsEventNode.DependsEventNodeKind

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

ASTNode.NodeKind

Method Summary

Modifier and Type	Method	Description
DependsEventNode	copy()	Returns a deep copy of this AST node.
DependsEventNode.DependsEventNodeKind	getEventKind()

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

Method Details

getEventKind

DependsEventNode.DependsEventNodeKind getEventKind()

copy

DependsEventNode 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

Returns:

deep copy of this node