Module dev.civl.mc

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

Interface FunctionGuardExpression

All Superinterfaces:

Expression, Sourceable

public interface FunctionGuardExpression
extends Expression

A function guard expression is the guard expression of a function call with a function pointer. A compile time, the actual function is unknown, and thus we need this expression, in case the function pointer points to a system function.

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()	Returns the list of arguments of the corresponding function call statement.
Expression	functionExpression()	Returns the function expression of the corresponding call statement of this guard expression.

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

functionExpression

Expression functionExpression()

Returns the function expression of the corresponding call statement of this guard expression.

Returns:

arguments

List<Expression> arguments()

Returns the list of arguments of the corresponding function call statement.

Returns: