Module dev.civl.mc

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

Interface LiteralExpression

All Superinterfaces:

Expression, Sourceable

All Known Subinterfaces:

BooleanLiteralExpression, CharLiteralExpression, CompoundLiteralExpression, IntegerLiteralExpression, RealLiteralExpression, RecDomainLiteralExpression

public interface LiteralExpression
extends Expression

The parent of all literal expressions.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	LiteralExpression.LiteralKind

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

Expression.ExpressionKind

Method Summary

Modifier and Type	Method	Description
LiteralExpression.LiteralKind	literalKind()
void	setLiteralConstantValue(dev.civl.sarl.IF.expr.SymbolicExpression value)	Directly set a symbolic expression as value of this literal expression

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

getSource, setCIVLSource

Method Details

literalKind

LiteralExpression.LiteralKind literalKind()

setLiteralConstantValue

void setLiteralConstantValue(dev.civl.sarl.IF.expr.SymbolicExpression value)

Directly set a symbolic expression as value of this literal expression

Parameters:

value - The symbolic expression of the constant value of this literal expression