Module dev.civl.mc

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

Interface ConditionalExpression

All Superinterfaces:

Expression, Sourceable

public interface ConditionalExpression
extends Expression

The ternary conditional expression ("?" in C).

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
Expression	getCondition()
Expression	getFalseBranch()
Expression	getTrueBranch()

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

getCondition

Expression getCondition()

Returns:

The condition being evaluated in this ternary expression.

getTrueBranch

Expression getTrueBranch()

Returns:

The expression returned if the condition evaluates to true.

getFalseBranch

Expression getFalseBranch()

Returns:

The expression returned if the condition evaluates to false.