Module dev.civl.abc

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

Interface IntegerConstantNode

All Superinterfaces:

ASTNode, ConstantNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface IntegerConstantNode
extends ConstantNode

An integer constant node represents the occurrence of a literal integer constant in a program. It encodes a concrete integer value. See C11 Sec. 6.4.4.1.

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.expression.ConstantNode

ConstantNode.ConstantKind

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

ExpressionNode.ExpressionKind

Method Summary

Modifier and Type	Method	Description
IntegerConstantNode	copy()	Returns a deep copy of this AST node.
IntegerValue	getConstantValue()	Returns the actual constant value, obtained by evaluating this constant expression.

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.expression.ConstantNode

constantKind, getStringRepresentation, setStringRepresentation

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

addConversion, expressionKind, getConversion, getConvertedType, getInitialType, getNumConversions, isConstantExpression, isLvalue, removeConversions, setInitialType

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.InitializerNode

isSideEffectFree

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.SizeableNode

getType

Method Details

getConstantValue

IntegerValue getConstantValue()

Description copied from interface: ConstantNode

Returns the actual constant value, obtained by evaluating this constant expression.

Specified by:

getConstantValue in interface ConstantNode

Returns:

the value of this constant expression

copy

IntegerConstantNode 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 ConstantNode

Specified by:

copy in interface ExpressionNode

Specified by:

copy in interface ForLoopInitializerNode

Specified by:

copy in interface InitializerNode

Specified by:

copy in interface SizeableNode

Returns:

deep copy of this node