Module dev.civl.abc

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

Interface AnyactNode

All Superinterfaces:

ASTNode, DependsEventNode

public interface AnyactNode
extends DependsEventNode

This represents ACSL-CIVLC \anyact action to be used in depends contract clauses.

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
AnyactNode	copy()	Returns a deep copy of this AST node.

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

copy

AnyactNode 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