RE: [sv-bc] Datatypes allowed for parameters?

It may also be useful to have parameters of type string.

What about:
associative arrays? Is there a way with assignment patterns to construct a
constant value for such parameter?

event datatype (null is a constant value for the event data type)
tagged union
chandle



-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Gordon
Vreugdenhil
Sent: Friday, December 16, 2005 1:13 PM
To: francoise martinolle
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] Datatypes allowed for parameters?

Francoise, I think that any type is legal, however for most dynamic types it
is hard to build any interesting values that satisfy the constantness rules.
For example, one could have a parameter of a class type, but the only
constant value in that domain is "null".  So it isn't clear that class types
are useful even though they are legal.  For dynamic arrays, one can assign
constant aggregates so those can make sense I think.

Gord.

francoise martinolle wrote:

> Are there any restrictions for the datatype of a parameter?
>  
> For example, can a parameter be of of dynamic datatype?
> If the datatype is an unpacked struct, is there any restriction on the 
> data types of the members?
>  
> Francoise
>        '

--
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com