Re: [sv-ec] Re: [sv-bc] Forward typedef of parameterized class

Hi Gordon,
The Mantis says about the types referred by class resolution operator. 
But what about class object declaration and normal identifier (variable, 
function etc.) reference by forward typedef'd class declaration. Is it 
legal or not?

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-ec] Re: [sv-bc] Forward typedef of parameterized class
From: Gordon Vreugdenhil <gordonv@model.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Cc: shweta@mirafra.com, sv-bc@eda.org, sv-ec@eda.org
Date: Thursday, January 31, 2008 8:48:48 PM
> Mantis 2211 deals with this issue directly.  Please take
> a look at it.
>
> Gord.
>
> Surya Pratik Saha wrote:
>> Hi,
>> Continuing on Shweta's query, is the following forward typedef usage 
>> of class allowed:
>> module top;
>>    typedef C;
>>    typedef C::p mydef;
>>    class C;
>>        typedef int p;
>>    endclass
>> endmodule
>>
>> Most of the simulators fail. But some pass too. I think LRM should be 
>> clear enough how much flexibility to be provided for forward typedef 
>> reference of class.
>>
>> Regards
>> Surya
>>
>>
>>
>> -------- Original Message  --------
>> Subject: Re:[sv-bc] Forward typedef of parameterized class
>> From: shweta@mirafra.com
>> To: Surya Pratik Saha <spsaha@cal.interrasystems.com>
>> Cc: sv-bc@eda.org
>> Date: Thursday, January 31, 2008 4:22:26 PM
>>> Hi Surya,
>>>
>>> My question is specific about forward typedef of parameterized class.
>>> The LRM says nothing about it.
>>>
>>> Regards,
>>> Shweta.
>>>
>>>  
>>>> Hi Shweta,
>>>> I already asked it (the mail is attached). But I did not get any reply
>>>> on that.
>>>>
>>>> Regards
>>>> Surya
>>>>
>>>>
>>>>
>>>> -------- Original Message  --------
>>>> Subject: [sv-bc] Forward typedef of parameterized class
>>>> From: shweta@mirafra.com
>>>> To: sv-bc@eda.org
>>>> Date: Thursday, January 31, 2008 3:39:25 PM
>>>>   
>>>>> Hi All,
>>>>>
>>>>> Is foward typedef of parameterized class allowed?
>>>>>
>>>>> For the following testcase :
>>>>>
>>>>> package pkg;
>>>>>     typedef B;
>>>>>     class A #(parameter int p1 = 1);
>>>>>         B b1;
>>>>>     endclass
>>>>>     class B #(parameter int p1 = 1);
>>>>>             A #(p1) a1;
>>>>>     endclass
>>>>> endpackage
>>>>>
>>>>> MTI gives following error :
>>>>> ** Error: test1.sv(2): Forward typedef for parameterized class 'B' 
>>>>> not
>>>>> allowed
>>>>>
>>>>> Regards,
>>>>> Shweta.
>>>>>
>>>>>
>>>>>       
>>>>
>>>>
>>>>     
>>>
>>>
>>>
>>>
>>>
>>>   
>>
>>
>>
>>
>>
>





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