RE: [sv-ec] RE: class extending from fwd typedef?

Yes, There was an original attempt to limit it, but it turns out it is no different than extending a type parameter, which is also explicitly legal.

________________________________

From: owner-sv-ec@server.eda.org on behalf of Mark Hartoog
Sent: Wed 11/26/2008 12:26 PM
To: Francoise Martinolle; sv-ec@eda.org
Subject: [sv-ec] RE: class extending from fwd typedef?



I believe this is legal. Section 8.24 includes this:

 

When a type parameter or typedef name is used as a base class, as in class D4 above, the name shall resolve

to a class type after elaboration.

 

 

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Francoise Martinolle
Sent: Wednesday, November 26, 2008 11:57 AM
To: sv-ec@eda.org
Subject: [sv-ec] class extending from fwd typedef?

 

I was reading mantis item 1500. It seems that it originally was intended to limit where you could

used a datatype which was declared as a forward typedef.

My reading of the resolution is that it i snow legal to use the type name of a fwd typdef as the base type of a

derived class.

 

I mean that the following is legal.

 

program top_level;

 

typedef class cds_madeup;

 

class cds_callback extends cds_madeup; // legal

 

endclass : cds_callback

 

  class cds_madeup;
  endclass
endprogram

 

Can someone confirm my understanding?

 

 

 

Francoise

       '


-- 
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 <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.