Module dev.civl.abc

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

Interface GotoNode

All Superinterfaces:

ASTNode, BlockItemNode, JumpNode, StatementNode

public interface GotoNode
extends JumpNode

Represents a C "goto labelName;" statement.

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

JumpNode.JumpKind

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

StatementNode.StatementKind

Method Summary

Modifier and Type	Method	Description
GotoNode	copy()	Returns a deep copy of this AST node.
IdentifierNode	getLabel()	Returns the name of the label to which to go.

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

getKind

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

statementKind

Method Details

getLabel

IdentifierNode getLabel()

Returns the name of the label to which to go. From this identifier, one can get the underlying Label entity.

Returns:

the label identifier node

copy

GotoNode 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 JumpNode

Specified by:

copy in interface StatementNode

Returns:

deep copy of this node