Re: Translating C++ class types into Ada tagged types?

[tmoran@acm.org]

You can force the user to give an initial age by

 package Animals is
    type Cat(Initial_Age : Positive) is tagged private;
 ...
    type Cat(Initial_Age : Positive) is tagged record
       Age : Positive := Initial_Age;
    end record;
 ...
    Frisky : Animals.Cat(Initial_Age => 0);
If you want the initialization to be significantly more complicated
than that, you can make type Cat controlled, with Initialize and
Finalize procedures.