Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Interface IntegerLiteralExpression

All Superinterfaces:

Expression, LiteralExpression, Sourceable

public interface IntegerLiteralExpression
extends LiteralExpression

An integer literal.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.Expression

Expression.ExpressionKind

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.LiteralExpression

LiteralExpression.LiteralKind

Method Summary

Modifier and Type	Method	Description
void	setValue(BigInteger value)
BigInteger	value()

Methods inherited from interface dev.civl.mc.model.IF.expression.Expression

calculateConstantValue, calculateDerefs, constantValue, containsHere, expressionKind, expressionScope, freeVariables, getExpressionType, hasConstantValue, hasDerefs, isErrorFree, isPurelyLocal, lowestScope, purelyLocalAnalysis, purelyLocalAnalysisOfVariables, replaceWith, replaceWith, setErrorFree, variableAddressedOf, variableAddressedOf

Methods inherited from interface dev.civl.mc.model.IF.expression.LiteralExpression

literalKind, setLiteralConstantValue

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource, setCIVLSource

Method Details

value

BigInteger value()

Returns:

The (arbitrary precision) value of the integer.

setValue

void setValue(BigInteger value)

Parameters:

value - The (arbitrary precision) value of the integer.