Regardless of whether super.something is considered a hierarchical reference or not, there are still rules for knowing that something is known to be a type as it parses, as well as requirements for simple_types when casting or declaring argument formals, so I would suggest requiring typedef super.something super_something; to bring the type local to the current scope. Dave > -----Original Message----- > From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On > Behalf Of Vreugdenhil, Gordon > Sent: Wednesday, August 20, 2008 6:58 AM > To: Francoise Martinolle > Cc: sv-ec@server.eda.org > Subject: Re: [sv-ec] super.T > > The role of "super" is not really clear in the LRM. The LRM > talks about it in terms of just a parent class access prefix but > the grammer production uses "implicit_class_handle". Clearly > a class handle cannot be a type prefix (a class type can be > via :: but not a handle). However, such an interpretation > would be pretty unfriendly in that there wouldn't be a way of > getting to super class types without explicit type naming > if super.T was disallowed. Given that, and given that there > aren't any type resolution issues involved, I would take a > permissive approach on this one and consider super.T legal > as a type. One can clearly argue against that interpretation > given the lack of precision in the LRM, but I think there are > good user-driven reasons to adopt such an interpretation and > no technical reason to not do so. > > Gord. > > > Francoise Martinolle wrote: > > Is super.T refering to a type parameter using legal? > > > > > > According to the LRM super can be used with class members. > > The BNF says that super can be followed by a hierarchical identifier > select. > > Is a type parameter considered a type, or is it considered an object? > > If it is considered a type, I suppose that you are not allowed to have > > hierarchical identifiers but is super.<smthg> considered > > a hierarchical identifier? This is not clear in the LRM. > > > > Francoise > > ' > > > > -- > > This message has been scanned for viruses and > > dangerous content by *MailScanner* <http://www.mailscanner.info/>, and > is > > believed to be clean. > > -- > -------------------------------------------------------------------- > Gordon Vreugdenhil 503-685-0808 > Model Technology (Mentor Graphics) gordonv@model.com > > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Aug 20 07:16:15 2008
This archive was generated by hypermail 2.1.8 : Wed Aug 20 2008 - 07:16:25 PDT