Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.expression

Interface ValueAtNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface ValueAtNode
extends ExpressionNode

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.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

ExpressionNode.ExpressionKind

Method Summary

Modifier and Type	Method	Description
ExpressionNode	expressionNode()	returns the expression to be evaluated
ExpressionNode	pidNode()	returns the pid whose context to be used when evaluating the expression
ExpressionNode	stateNode()	returns the node that represents the state reference

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

addConversion, copy, expressionKind, getConversion, getConvertedType, getInitialType, getNumConversions, isConstantExpression, isLvalue, removeConversions, setInitialType

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.InitializerNode

isSideEffectFree

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.SizeableNode

getType

Method Details

stateNode

ExpressionNode stateNode()

returns the node that represents the state reference

Returns:

pidNode

ExpressionNode pidNode()

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

Returns:

expressionNode

ExpressionNode expressionNode()

returns the expression to be evaluated

Returns: