Process Call

Syntax

procCall

procName “[” neChannelNameList? “]” “(” neValExprList? “)”

neChannelNameList

channelName (“,” channelName)*

neValExprList

valExpr (“,” valExpr)*

procName

SmallId

channelName

CapsId

Semantics

Call a user defined process, defined with PROCDEF.
Channel name must refer to a predefined channel name.