Re: Constructing an object

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 22 Sep 2005 09:45:24 +0200, Maciej Sobczak wrote:

> function Get_New(Param : in SomeType) returns OtherType is
> begin
>      -- ...
> end Get_Value;
> 
> type Record (Param : SomeType) is record
>      X : OtherType := Get_New(Param);
> end record;
> 
> A : Record(7);
> 
> This way, I can execute some action in order to initialize the object, 
> and even use some parameters.
> 
> Further questions: Are there any restrictions on SomeType?

Yes. It must be either a discrete or access type. In the latter case the
discriminated type has to be limited.

So there a sufficient limitations on what can be hidden behind X : T(Y);

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de