Module dev.civl.mc

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

Interface VariableExpression

All Superinterfaces:

Expression, LHSExpression, Sourceable

public interface VariableExpression
extends LHSExpression

A use of a variable in an expression.

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
void	setVariable(Variable variable)
Variable	variable()

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

variable

Variable variable()

Returns:

The variable

setVariable

void setVariable(Variable variable)

Parameters:

variable - The variable.