Module dev.civl.abc

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

Interface BehaviorNode

All Superinterfaces:

ASTNode, ContractNode

public interface BehaviorNode
extends ContractNode

This represents a named behavior of the ACSL specification.

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.ContractNode

ContractNode.ContractKind

Method Summary

Modifier and Type	Method	Description
BehaviorNode	copy()	Returns a deep copy of this AST node.
SequenceNode<ContractNode>	getBody()	returns the body of this behavior, which is a sequence of contract nodes
IdentifierNode	getName()	returns the name of this behavior

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.ContractNode

contractKind

Method Details

getName

IdentifierNode getName()

returns the name of this behavior

Returns:

the name of this behavior

getBody

SequenceNode<ContractNode> getBody()

returns the body of this behavior, which is a sequence of contract nodes

Returns:

the body of this behavior

copy

BehaviorNode 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 ContractNode

Returns:

deep copy of this node