Re: Returning a limited object as a class-wide value

["Randy Brukardt" <randy@rrsoftware.com>]

"Victor Porton" <porton@narod.ru> wrote in message 
news:ovl4m6$k5s$1@gioia.aioe.org...
> Let T be a limited tagged type.
>
> I want to define a function F which returns T'Class.
>
> Please show me an example.
>
> I try:
>
> return X: T'Class := T'(others => <>) do
>   --- ...
> end return;
>
> Right way?

Ignoring Dmitry's typical rant, I believe this is correct. You are making a 
new object this way (as copying of limited objects is banned -- that's the 
point).

Remember that a limited function can only be used to initialize a limited 
object or used for a very short lifetime. That's usually enough. You can 
compose limited objects this way, as well, so long as it is used in a 
limited aggregate or function return.

But remember that "limited" is, well, limited for a reason. So there are 
definitely things that can't be done that way.

                                          Randy.