Module dev.civl.mc

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

Interface SystemGuardExpression

All Superinterfaces:

Expression, Sourceable

public interface SystemGuardExpression
extends Expression

A system guard expression is a pseudo guard expression for system function calls. Its evaluation is actually done in the corresponding library executor.

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()	The list of arguments that this function call uses.
CIVLFunction	function()	The invoked function.
String	library()	The name of the library that the invoked function belongs to.

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

library

String library()

The name of the library that the invoked function belongs to.

Returns:

function

CIVLFunction function()

The invoked function.

Returns:

arguments

List<Expression> arguments()

The list of arguments that this function call uses.

Returns: