Module dev.civl.abc

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

Interface RemoteOnExpressionNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface RemoteOnExpressionNode
extends ExpressionNode

A CIVL-C remote expression is used to reference a variable in another process. Not yet implemented.

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
RemoteOnExpressionNode	copy()	Returns a deep copy of this AST node.
ExpressionNode	getForeignExpressionNode()	Gets the expression node which represents the foreign expression.
ExpressionNode	getProcessExpression()	Gets the expression which yields the process on which the foreign variable resides.
void	setForeignExpressionNode(ExpressionNode arg)	Sets the identifier node argument.
void	setProcessExpression(ExpressionNode arg)	Sets the process expressions argument.

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, 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

getProcessExpression

ExpressionNode getProcessExpression()

Gets the expression which yields the process on which the foreign variable resides.

Returns:

the process expression

setProcessExpression

void setProcessExpression(ExpressionNode arg)

Sets the process expressions argument.

Parameters:

arg - the process expression argument

getForeignExpressionNode

ExpressionNode getForeignExpressionNode()

Gets the expression node which represents the foreign expression.

Returns:

the foreign expression.

setForeignExpressionNode

void setForeignExpressionNode(ExpressionNode arg)

Sets the identifier node argument.

Parameters:

arg - the identifier node argument

copy

RemoteOnExpressionNode copy()

Description copied from interface: ASTNode

Returns a deep copy of this AST node. The node and all of its descendants will be cloned. The cloning does not copy analysis or attribute information.

Specified by:

copy in interface ASTNode

Specified by:

copy in interface ExpressionNode

Specified by:

copy in interface ForLoopInitializerNode

Specified by:

copy in interface InitializerNode

Specified by:

copy in interface SizeableNode

Returns:

deep copy of this node