Re: Dispatch on the result still does not work?

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

On Sat, 11 Jul 2009 16:22:01 -0700 (PDT), Hibou57 (Yannick Duch�ne) wrote:

> On 11 juil, 21:29, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> I would not. A limited object (actually any object) is to be constructed,
>> by a constructor, which cannot be a function or procedure. (The current
>> solution is like a conceptual Swiss cheese)
> 
> Your mean another syntatic construct would be welcome to make things
> more distinct ?

No, the syntax is already here:

   X : T (<parameter-list>);

What is needed is an ability to require some procedures (like Initialize)
to be called at a certain stages of object construction. There are three
key stages of construction where a user-defined procedure can be called:

1. Determination of constraints (discriminants, bounds, etc)
    |
    V
   allocation
    |
    V
   construction of the components
    |
    V
   construction of the parents
    |
    V
2. Type-specific initialization
    |
    V   (if class-wide)
   construction of the parent classes
    |
    V
3. Class-specific initialization

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