Module dev.civl.mc

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

Interface AbstractFunctionCallExpression

All Superinterfaces:

Expression, Sourceable

All Known Subinterfaces:

DerivativeCallExpression

public interface AbstractFunctionCallExpression
extends Expression

An expression representing a call of an abstract function. Since abstract functions are uninterpreted, a call to one can always be treated as side-effect free (provided parameters are side-effect free). Thus we can have this in an expression.

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
List<Expression>	arguments()
AbstractFunction	function()

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

function

AbstractFunction function()

Returns:

The abstract function being called.

arguments

List<Expression> arguments()

Returns:

The arguments to the function.