Module dev.civl.mc

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

Interface CastExpression

All Superinterfaces:

Expression, Sourceable

public interface CastExpression
extends Expression

A cast of an expression to a different 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	getCastType()
Expression	getExpression()

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

getExpression

Expression getExpression()

Returns:

The expression being cast to a new type.

getCastType

CIVLType getCastType()

Returns:

The type to which the expression is cast.