Module dev.civl.mc

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

Interface ExtendedQuantifiedExpression

All Superinterfaces:

Expression, Sourceable

public interface ExtendedQuantifiedExpression
extends Expression

The representation for the "fold expression" in ACSL, e.g. \sum(low, high, f) where f is a function from integer to integer/real

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
dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode.ExtendedQuantifier	extendedQuantifier()	returns the quantifier of this expression
Expression	function()	returns the function
Expression	higher()	returns the higher bound
Expression	lower()	returns the lower bound

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

extendedQuantifier

dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode.ExtendedQuantifier extendedQuantifier()

returns the quantifier of this expression

Returns:

lower

Expression lower()

returns the lower bound

Returns:

higher

Expression higher()

returns the higher bound

Returns:

function

Expression function()

returns the function

Returns: