[sv-ec] FW: [sv-bc] Conflicting class_new rule

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu Mar 26 2009 - 07:00:59 PDT
________________________________
From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Surya Pratik Saha
Sent: Thursday, March 26, 2009 3:20 PM
To: sv-bc@eda.org; sv-ec@eda.org
Subject: [sv-bc] Conflicting class_new rule

Hi,
Class new rule is defined in the LRM as:
class_new18 ::= new [ ( list_of_arguments ) | expression ]
And here is the definition of sub-rule:
list_of_arguments ::=
[ expression ] { , [ expression ] } { , . identifier ( [ expression ] ) }
| . identifier ( [ expression ] ) { , . identifier ( [ expression ] ) }

expression ::=
primary
[...]

primary ::=
primary_literal
[...]
| ( mintypmax_expression )

mintypmax_expression ::=
expression
| expression : expression : expression

So a new expression like 'new (1)' can be reached both by "new '(' list_of_arguments')'" rule and "new expression" rule. Which is conflicting. And also semantically 'expression' after 'new' just pointing to a class object. So I think a subset of expression is valid here. Is there any mantis regarding that?

--
Regards
Surya
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Mar 26 07:01:45 2009

This archive was generated by hypermail 2.1.8 : Thu Mar 26 2009 - 07:02:14 PDT