Could somebody help me how to resolve the following BNF definition ?
CheckParameter ::= PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp |
[FromClause] [PortRedirectSymbol SenderSpec]
1)
CheckParameter ::= (
PortReceiveOp |
PortGetCallOp |
PortGetReplyOp |
PortCatchOp |
(
[ FromClause ]
[ PortRedirectSymbol SenderSpec ]
)
)
or
2)
CheckParameter ::= (
(
PortReceiveOp |
PortGetCallOp |
PortGetReplyOp |
PortCatchOp
)
[ FromClause ]
[ PortRedirectSymbol SenderSpec ]
)
BR
Mariusz Kupiec