[sv-ec] Package scope resolution (BNF) PROPOSAL

Subject: [sv-ec] Package scope resolution (BNF) PROPOSAL
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Feb 17 2004 - 09:34:15 PST

• Next message: Arturo Salz: "[sv-ec] Erratum in coverage BNF"
• Previous message: Arturo Salz: "[sv-ec] Review Items for Chapter 12"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

As pointed out to me by Ray Ryan, the existing BNF does not support
the package resolution operator (::), e.g., pkg::var = exp,
f(pkg::var), ... . Attached is a BNF proposal to fix that.

-- Brad

p.s.

Along the way it also fixes the following --

   1) It wasn't possible to give the return type for an
       out-of-block function method declaration

   2) User-defined types (and some other legal types) were
       not allowed as the return value of functions

   3) Enumerated names from classes, e.g., process::FINISHED
       on p.100 were not allowed

   4) Couldn't access the fields of a struct via class resolution

• text/html attachment: package_class_scope_resolution1.htm

• Next message: Arturo Salz: "[sv-ec] Erratum in coverage BNF"
• Previous message: Arturo Salz: "[sv-ec] Review Items for Chapter 12"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Feb 17 2004 - 09:43:22 PST