parameter declaration issues in the BNF


Subject: parameter declaration issues in the BNF
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Wed Jan 15 2003 - 06:48:41 PST


two more small BNF issues I found today

1. Under A.2.1.1 (page 94) in the rule that parses the parameter_declaration
syntactic category, The word "type" should be in bold font. Note that in
page 81 the word "type" is in bold font.

The BNF :
parameter_declaration ::=
        parameter [ signing ] { packed_dimension } [ range ]
list_of_param_assignments
        | parameter data_type list_of_param_assignments
        | parameter type list_of_type_assignments

2. According to the BNF (A.2.4 and A.8.3)
the following RTL is parseable :
        parameter type mytype1 = int; // this is O.K. defining mytype1 as an
int (see section 14.2).
        parameter p1 = int; // Is this O.K. ?
        parameter int p2 = long; // ???

The BNF :
A.2.4 : param_assignment ::= parameter_identifier =
constant_param_expression
A.8.3 : constant_param_expression ::=
                  constant_expression
                | data_type

should the "data_type" syntactic category be removed from the rule that
parses constant_param_expression ?

Thanks,

Dan Jacobi
Intel
Office Tel : (972) - 4 - 8655855



This archive was generated by hypermail 2b28 : Wed Jan 15 2003 - 06:49:17 PST