[sv-ec] Jeda SV-EC errata: #1 BNF definition of associative_dimension

Title:

   BNF definition of associative_dimension

Description:

   BNF (A.2.5 Declaration ranges) defines associative_dimension as:

     associative_dimension ::=
       '[' data_type ']'
       |
       '[' '*' ']'

   But the section '4.9 Associative arrays' explanation uses index_type
as the dimension. (No BNF definition of index_type is provided in BNF).

   Having data_type as the index_type introduces various meaningless
associative array declarations, including struct or enum declaration
within the index type.

   Example:
     integer i_array[ enum color = { white, blue, green, red } ] ;

The notation of index_type should be declared separately from data_type
declaration.

   So it should be:
     associative_dimension ::=
        '[' index_type ']'
        |
        '[' '*' ']'

and clearly define index_type.

Note: non-terminal symbol in BNF is encapsulated in ' ' (single quote),
as bold characters can not be used in plain text.
Received on Tue Aug 31 00:07:17 2004