[sv-bc] Empty typedefs in BNF

Subject: [sv-bc] Empty typedefs in BNF
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Wed Mar 05 2003 - 08:08:12 PST

• Next message: Dave Rich: "[sv-bc] proposal for conditional operator SV-BC62c"
• Previous message: Jacobi, Dan: "[sv-bc] Proposal for SV-BC-19-60"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello All

Section 3.10 specifies that a type can have a forward declaration using an
empty typedef.
Such as :
        typedef foo;
        foo f = 1;
        typedef int foo;

However the current BNF does not enable empty typedefs.

type_declaration ::=
                       typedef data_type type_declaration_identifier ;
                     | typedef hierarchical_identifier . type_identifier
type_declaration_identifier ;

should we use the following BNF
type_declaration ::=
                       typedef [ data_type ] type_declaration_identifier ;
// typedef and ';' in bold
                     | typedef hierarchical_identifier . type_identifier
type_declaration_identifier ; // typedef , '.' , and ';' in bold

Dan Jacobi
Phone : (972)-4-8655855

• Next message: Dave Rich: "[sv-bc] proposal for conditional operator SV-BC62c"
• Previous message: Jacobi, Dan: "[sv-bc] Proposal for SV-BC-19-60"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Mar 05 2003 - 08:08:49 PST