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

This is mentioned in section 8.22:

"The class scope resolution operator enables the following:
- Access to static public members (methods and class properties) from outside the class hierarchy.
- Access to public or protected class members of a superclass from within the derived classes.
- Access to type declarations and enumeration named constants declared inside the class from outside
the class hierarchy or from within derived classes."

But it is not discussed in 8.24.1 for parameterized classes.

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Daniel Mlynek
Sent: Wednesday, June 10, 2009 4: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.