Closed lausdahl closed 10 years ago
Syntax is:
'||' replicationDeclarationList '@' '[' nameset '|' chanset ']' action
Check it exactly like AInterleavingReplicatedAction
, but also check the nameset
, so:
nameset
must be in scope,action
not in the nameset
should generate a warning
The type checker does not type check this node!