[sv-ec] Conflicting rules in A.2.10 and A.6.5

Subject: [sv-ec] Conflicting rules in A.2.10 and A.6.5
From: Kausik Datta (kausikd@cal.interrasystems.com)
Date: Fri Sep 05 2003 - 01:54:11 PDT

Hi,
There is conflict in parsing the following sequence command.

           sequence s (a = b, c, d);
              a ##1 d;
           endsequence

At per the following rules
the b,c,d expression can be interpreted as a single event expression
or b,c can be interpreted as event expression and d as another
formal_identifier etc.

The problem is because of same delimiter (,) is used in rule

sequence_formal_list :: =
                ( formal_list_item { , formal_list_item })

and

event_expression :: = event_expression , event_expression

Here is set of rules which are creating conflicts

sequence_formal_list :: =
                ( formal_list_item { , formal_list_item })

formal_list_item :: = formal_identifier [ = actual_arg_expr ]

actual_arg_expr :: = event_expression

event_expression :: = [ edge_identifier ] expression [ iff expression ]
                       | event_expression or event_expression
                   | event_expression , event_expression

Can we use different delimiter for this rule

sequence_formal_list :: =
                ( formal_list_item { , formal_list_item })

Thanks
Kausik

This archive was generated by hypermail 2b28 : Fri Sep 05 2003 - 01:58:46 PDT