Module dev.civl.mc

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

Interface DotExpression

All Superinterfaces:

Expression, LHSExpression, Sourceable

public interface DotExpression
extends LHSExpression

A dot expression is a reference to a field in a struct or union.

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
int	fieldIndex()
boolean	isStruct()
boolean	isUnion()
Expression	structOrUnion()

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

structOrUnion

Expression structOrUnion()

Returns:

The struct or union referenced by this dot expression.

fieldIndex

int fieldIndex()

Returns:

Index of the field/member referenced by this dot expression.

isStruct

boolean isStruct()

isUnion

boolean isUnion()