RE: [sv-bc] Re: Package export proposal

From: Francoise Martinolle <fm_at_.....>
Date: Fri Sep 22 2006 - 13:56:00 PDT
Gordon, 

I read the proposal and I have a question regarding the comments for
"p2":

package p1;

   int x,y;

endpackage

 

 

package p2;

   import p1::x;

   export p1::*;    // exports p1::x as the name "x"; 

                    // p1::x and p2::x are the same declaration

endpackage

 
 

The comment I have problems with is: "p1::x and p2::x are the same
declaration.
It seems to infer that you can refer to x in package p1, as either p1::x
or p2::x.

I do not like this. The export should only make the symbol x imported by
p2 directly visible
by design units importing p2.
For example in module top I cannot refer to x as p2::x can I? Only p1::x
is a legal
full qualified reference for x.


Francoise
    '
Received on Fri Sep 22 13:56:04 2006

This archive was generated by hypermail 2.1.8 : Fri Sep 22 2006 - 13:56:30 PDT