Module dev.civl.abc

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

Interface UpdateNode

All Superinterfaces:

ASTNode, BlockItemNode, StatementNode

public interface UpdateNode
extends StatementNode

This node represents an expression $update($collator c) f(). It is a keyword $update($collator c) ahead of a function call expresson. An $update($collator c) f() means execute function f on all $collate states that have not been arrived by the current process in c. Parameters of f are evaluated at the real 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.statement.BlockItemNode

BlockItemNode.BlockItemKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.statement.StatementNode

StatementNode.StatementKind

Method Summary

Modifier and Type	Method	Description
ExpressionNode	getCollator()	Get the ExpressionNode which has the type $collator.
FunctionCallNode	getFunctionCall()	Get the FunctionCallNode which represents the function call expression attached with this node.

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.statement.BlockItemNode

blockItemKind

Methods inherited from interface dev.civl.abc.ast.node.IF.statement.StatementNode

copy, statementKind

Method Details

getFunctionCall

FunctionCallNode getFunctionCall()

Get the FunctionCallNode which represents the function call expression attached with this node.

Returns:

getCollator

ExpressionNode getCollator()

Get the ExpressionNode which has the type $collator. The collator expression is attached with aN UpdateNode

Returns: