Module dev.civl.mc

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

Interface DereferenceExpression

All Superinterfaces:

Expression, LHSExpression, Sourceable

public interface DereferenceExpression
extends LHSExpression

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
Expression	pointer()	Returns the sole argument of this dereference 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.expression.LHSExpression

lhsExpressionKind, setPurelyLocal, variableWritten, variableWritten

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

getSource, setCIVLSource

Method Details

pointer

Expression pointer()

Returns the sole argument of this dereference expression. This is an expression of pointer type.

Returns:

the argument of the dereference operator