> " The open_range_list used to specify the set of values associated with > a bin shall be *constant* *expressions* (see 11.2.1), instance constants > (for classes only), or non-ref arguments to the coverage group." > > But the BNF is as shown below. > > open_range_list ::= open_value_range { , open_value_range } > open_value_range ::= value_range > value_range ::= expression | [ expression : expression ] > > I feel that here it should be "constant_expression" and not "expression" > and should be corrected. If the BNF only allowed constant_expressions, then the language would only allow constant expressions. But from the text you quoted, it allows instance constants for classes, and non-ref arguments to the coverage group. To allow these, the BNF must allow them. It might be possible to restrict this a little more with the BNF, but it is simpler to use the general production and restrict it with the semantic rules you quoted. Steven Sharp sharp@cadence.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Apr 4 16:53:32 2008
This archive was generated by hypermail 2.1.8 : Fri Apr 04 2008 - 16:53:40 PDT