ISSUE 542

Edit Proposal  Edit Class, Environment, or Release
Number 542
Notify-List vijeta@interrasystems.com
Category enhancement
Synopsis non_zero_unsigned_number and non_zero_decimal_digit is not supported by industry standard tools
State proposal
Class enhancement
Arrival-DateFeb 12 2004
Originator Kausik Datta
Release
Environment
Description

Two non-terminals "non_zero_unsigned_number" and "non_zero_decimal_digit" are used
only in the following section of BNF.

According to the BNF any analyzer tool should give syntax error for the
literal numbers like 02'b10, 008'o4, 014'h12, 04'd3, 05'dxx_x, 02'dz_z etc.

But most of the industry standard tools support the above mentioned literal numbers.

Can we remove the rules of non_zero_unsigned_number and non_zero_decimal_digit from BNF?

Portion of BNF is as follows:

number ::= decimal_number
|octal_number
|binary_number
|hex_number
|real_number
real_number ::= unsigned_number .unsigned_number
|unsigned_number [ .unsigned_number ] exp [ sign ] unsigned__number
....
decimal_number ::= unsigned_number
|[ size ] decimal__base unsigned_number
|[ size ] decimal__base x_digit {_}
|[ size ] decimal__base z_digit {_}
binary_number ::=[ size ] binary__base binary_value
octal_number ::=[ size ] octal__base octal_value
hex_number ::=[ size ] hex__base hex_value
....
size ::=non_zero_unsigned_number
non_zero_unsigned_number ::=non_zero_decimal_digit {_|decimal_digit}
unsigned_number ::=decimal_digit {_|decimal_digit }
...
...
non_zero_decimal_digit ::=1 |2 |3 |4 |5 |6 |7 |8 |9
decimal_digit ::=0 |1 |2 |3 |4 |5 |6 |7 |8 |9

Fix

In Syntax 2-1 and in A.8.7,

DELETE non_zero_unsigned_number, non_zero_decimal_digit.

CHANGE

size ::= non_zero_unsigned_number

TO

size ::= unsigned_number
Audit-Trail

Fix replaced by Shalom.Bresticker@motorola.com on Mon Apr 19 05:13:36 2004

In Syntax 2-1 and in A.8.7,

DELETE non_zero_unsigned_number, non_zero_decimal_digit.

CHANGE

size ::= non_zero_unsigned_number

TO

size ::= unsigned_number


Unformatted



Hosted by Boyd Technology