Module dev.civl.mc

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

Interface SizeofTypeExpression

All Superinterfaces:

Expression, Sourceable

public interface SizeofTypeExpression
extends Expression

An expression of the form "sizeof(t)" where t is a type.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.Expression

Expression.ExpressionKind

Method Summary

Modifier and Type	Method	Description
CIVLType	getTypeArgument()	Returns the CIVL type, which is the sole argument of the sizeof operator.

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

getSource, setCIVLSource

Method Details

getTypeArgument

CIVLType getTypeArgument()

Returns the CIVL type, which is the sole argument of the sizeof operator.

Returns:

the CIVL type we are computing the size of