[sv-ec] Legal use of an inside_expression


Subject: [sv-ec] Legal use of an inside_expression
From: Neil Korpusik (Neil.Korpusik@Sun.com)
Date: Tue Sep 02 2003 - 16:21:58 PDT


Hi Brad,
 
I had a question on the SV3.1 BNF.

It was my understanding that an "inside_expression" was intended to only be
used within constraint blocks. The BNF seems to indicate that an
inside_expression can be used anywhere that an expression is allowed.
 
   A.8.3 Expressions
 
   expression::=
   primary
   |unary_operator{attribut_instance}primary
   | inc_or_dec_expression
   | ( operator_assignment )
   | expression binary_operator { attribute_instance } expression
   | conditional_expression
   | string_literal
   | inside_expression
 
   inside_expression ::= expression inside range_list_or_array
 
Could you clarify this?
 
Neil
 



This archive was generated by hypermail 2b28 : Tue Sep 02 2003 - 16:23:03 PDT