Module dev.civl.mc

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

Interface RecDomainLiteralExpression

All Superinterfaces:

Expression, LiteralExpression, Sourceable

public interface RecDomainLiteralExpression
extends LiteralExpression

This is a rectangular domain literal expression, which is the Cartesian product of a number of ranges, e.g., {range1, range2, range3, ...}.

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
int	dimension()	Returns the dimension of this domain literal, which is equal to the number of ranges.
Expression	rangeAt(int index)	Returns the range expression of the domain literal at the given index.

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

rangeAt

Expression rangeAt(int index)

Returns the range expression of the domain literal at the given index.

Parameters:

index - The index of the range to be returned.

Returns:

The range expression of the domain literal at the given index.

dimension

int dimension()

Returns the dimension of this domain literal, which is equal to the number of ranges.

Returns:

The dimension of this domain literal, which is equal to the number of ranges.