[sv-bc] Confusion in casting expression

From: Surya Pratik Saha <spsaha_at_.....>
Date: Wed Mar 12 2008 - 07:41:11 PDT
Hi,
In SV 1800 LRM, casting expression syntax is defined as:
casting_type ::= simple_type | constant_primary | signing
simple_type ::= integer_type | non_integer_type | ps_type_identifier | ps_parameter_identifier
constant_primary ::=
primary_literal
| ps_parameter_identifier constant_select
| specparam_identifier [ constant_range_expression ]
| genvar_identifier 32
| [ package_scope | class_scope ] enum_identifier
| constant_concatenation
| constant_multiple_concatenation
| constant_function_call
| ( constant_mintypmax_expression )
| constant_cast
| constant_assignment_pattern_expression
| type_reference 29
cast ::= casting_type ' ( expression )


Please check, simple_type has ps_parameter_identifier, also the constant_primary contains ps_parameter_identifier. This makes BNF conflicting. Also what is the meaning of ps_parameter_identifier for casting expression. Is it just used to calculate the width or something else?
-- 
Regards
Surya

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Wed Mar 12 07:49:11 2008

This archive was generated by hypermail 2.1.8 : Wed Mar 12 2008 - 07:49:48 PDT