Re: [sv-ec] mantis item 3278 proposal uploaded

Thx for the asnwer.

So my below example is legal according to this rule:

    class C;
           virtual function int f (output int o, inout io, input i);
    endfunction
    endclass

    class D extends C;
           virtual function byte ( //may be byte as it is covariant to int
               output byte o, //may be byte as it is covariant to int
               inout int io, //must be matching so int needed
           input int i); //must be matching so int needed
           endfunction
    endclass

But still SV type system has more features than C++ so ie what about int
and integer (2val 4 val) are they covariant.
IMHO it would be better if such proposal will define covariance, or even
give some examples.

DANiel

On 2/21/2011 8:28 AM, Bresticker, Shalom wrote:
>
> See
> http://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)
> <http://en.wikipedia.org/wiki/Covariance_and_contravariance_%28computer_science%29>
>
> Shalom
>
> *From:*owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] *On Behalf Of
> *Daniel Mlynek
> *Sent:* Monday, February 21, 2011 8:59 AM
> *To:* Francoise Martinolle
> *Cc:* sv-ec@server.eda.org
> *Subject:* Re: [sv-ec] mantis item 3278 proposal uploaded
>
> this proposal is using covariant type term .
> This term is not defined in LRM. What does it mean.
>
> DANiel
>
> On 2/19/2011 1:40 AM, Francoise Martinolle wrote:
>
>
> --
> 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.
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.

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