RE: [sv-bc] Questions on export statemet

Yes, x is exported if it exists in p1. The export statement says that
all symbols that are 'actually' imported from package p1 are exported.

 

________________________________

From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com] 
Sent: Saturday, January 10, 2009 7:31 PM
To: Rich, Dave
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] Questions on export statemet

 

Hi Dave,
Ok, if I change the design in the following way:



package p2;
    export p1::*;
    import p1:*;
    int y = x; // x is imported from 'p1'.
endpackage

So then is 'x' exported, or nothing is exported? I think 'x' is allowed
to be exported. Please confirm.



Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-bc] Questions on export statemet
From: Rich, Dave <Dave_Rich@mentor.com> <mailto:Dave_Rich@mentor.com> 
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>
<mailto:spsaha@cal.interrasystems.com> , sv-bc@eda.org <sv-bc@eda.org>
<mailto:sv-bc@eda.org> 
Date: Sunday, January 11, 2009 3:14:41 AM



Hi Surya,
 
The LRM says explicitly: "A package export may precede a corresponding
package import."
 
Note that in your example, nothing is exported because nothing is
imported. Each identifier to be exported must appear at least once in
the package. That appearance must cause the actual import.
 
 
Dave
 
  

	-----Original Message-----
	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org]
	    

On
  

	Behalf Of Surya Pratik Saha
	Sent: Saturday, January 10, 2009 6:14 AM
	To: sv-bc@eda.org
	Subject: [sv-bc] Questions on export statemet
	 
	Hi,
	For export of 'package_name::*' form, is it required any 'import
	package_name::*' to be declared lexically before the export
	    

declaration?
  

	Or is the following example legal?
	 
	package p2;
	    export p1::*;
	    import p1:*;
	endpackage
	 
	I can understand for export of 'package_name::name', some import
	declaration has to be present before that, otherwise it is
illegal.
	 
	Please let me know.
	 
	--
	Regards
	Surya
	 
	 
	 
	 
	--
	This message has been scanned for viruses and
	dangerous content by MailScanner, and is
	believed to be clean.
	 
	 
	--
	This email was Anti Virus checked by Astaro Security Gateway.
	http://www.astaro.com
	    

 
 
 
 
  

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.