RE: [sv-ec] reference via scope operator to parametrized superclass item

 
If we want the unadorned name to also apply to the super class, you need
to file a mantis item.
I do not remember we considered it during our discussions.
 
Francoise
       '


________________________________

	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf
Of Daniel Mlynek
	Sent: Wednesday, June 10, 2009 7:45 AM
	To: sv-ec@eda.org
	Subject: [sv-ec] reference via scope operator to parametrized
superclass item
	
	
	LRM has special chapter :8.24.1 Class resolution operator for
parameterized classes
	 
	Unfortunatelly this chapter misses one important feature of
scope operator - it can be used to reference to super classs item.
Chapter 8.24.1 does not explicitly states that :: can be used on
unadorned base class name to reference base class item.
	IMHO codes like below are shoould be legal and LRM should
description should be extended:
	 
	CODE:
	 
	class B#(p=1);
	 int a;
	endclass
	 
	class C#(p=1) extends B#(p);
	 bit a;
	 function void foo;
	  $display(B::a); //<<<<<<<<this reference via :: is not
described in LRM
	 endfunction
	endclass      
	 
	module top;
	 C c;
	 initial begin
	  c = new;
	  c.foo();
	 end
	endmodule
	 
	 
	Should I fill a mantis on that?
	 
	 
	DANiel

	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


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