Module dev.civl.mc

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

Interface ValueAtExpression

All Superinterfaces:

Expression, Sourceable

public interface ValueAtExpression
extends Expression

The CIVL-C $value_at(state, PID, expr) expression, evaluating the given expression expr at the given state ($state).

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	expression()	returns the expression to be evaluated
Expression	pid()	returns the pid whose context to be used when evaluating the expression
Expression	state()	returns the node that represents the state reference

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

state

Expression state()

returns the node that represents the state reference

Returns:

pid

Expression pid()

returns the pid whose context to be used when evaluating the expression

Returns:

expression

Expression expression()

returns the expression to be evaluated

Returns: