SEDS for ISO 10303-11

[Ed Barkmeyer]

Jochen Haenisch wrote:

> NUMBER is only a special case for which TYPEOF also should return the actual
> type of the parameter value (not only the declared one).
> 
> Same for aggregates, but only if they are really assigned a different type
> of aggregate:
>   LOCAL
>     x : BAG OF INTEGER;
>     y: SET OF INTEGER := [1,2,3];
>   END_LOCAL;
>   x := y;
> In this case TYPEOF(x) should return ['SET', 'BAG'], not only ['BAG'].
> 
> If you have:
>   LOCAL
>     y: BAG OF INTEGER := [1,2,3];
>   END_LOCAL;
> TYPEOF(x) should only return ['BAG'].

I agree fully.  This was exactly my point!

-Ed

-- 
Edward J. Barkmeyer                       Email: edbark at nist.gov
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Mail Stop 8260          Tel: +1 301-975-3528
Gaithersburg, MD 20899-8260               FAX: +1 301-975-4482

"The opinions expressed above do not reflect consensus of NIST,
and have not been reviewed by any Government authority."