Module dev.civl.abc

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

Interface AtomicNode

All Superinterfaces:

ASTNode, BlockItemNode, StatementNode

public interface AtomicNode
extends StatementNode

An atomic node represents a CIVL-C $atomic statement. Note that $atomic places no restrictions on its statement body.

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.statement.BlockItemNode

BlockItemNode.BlockItemKind

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

StatementNode.StatementKind

Method Summary

Modifier and Type	Method	Description
AtomicNode	copy()	Returns a deep copy of this AST node.
StatementNode	getBody()	The body of the $atomic statement.
void	setBody(StatementNode body)	Sets the body of this atomic statement.

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.statement.BlockItemNode

blockItemKind

Methods inherited from interface dev.civl.abc.ast.node.IF.statement.StatementNode

statementKind

Method Details

copy

AtomicNode 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 BlockItemNode

Specified by:

copy in interface StatementNode

Returns:

deep copy of this node

getBody

StatementNode getBody()

The body of the $atomic statement.

Returns:

the body of the atomic statement

setBody

void setBody(StatementNode body)

Sets the body of this atomic statement.

Parameters:

body - a statement to become the body