Module dev.civl.mc

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

Interface SubscriptExpression

All Superinterfaces:

Expression, LHSExpression, Sourceable

public interface SubscriptExpression
extends LHSExpression

a[i], where "a" is an array and "i" is an expression evaluating to an integer.

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

LHSExpression.LHSExpressionKind

Method Summary

Modifier and Type	Method	Description
LHSExpression	array()
Expression	index()
void	setArray(LHSExpression array)
void	setIndex(Expression 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.LHSExpression

lhsExpressionKind, setPurelyLocal, variableWritten, variableWritten

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

getSource, setCIVLSource

Method Details

array

LHSExpression array()

Returns:

The expression for the array.

index

Expression index()

Returns:

The expression for the index.

setArray

void setArray(LHSExpression array)

Parameters:

array - The expression for the array.

setIndex

void setIndex(Expression index)

Parameters:

index - The expression for the index.