Re: Two questions

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

Christoph Grein <christoph.grein@eurocopter.de> writes:

> package something_cool is
> 
>     type cool is tagged private;
>     
>     function Create (P: in Some_Parameters) return Cool;    -- gets abstract on
>                                                             -- derivation
>     procedure Create (c : out cool; P: in Some_Parameters); -- does not get
>                                                             -- abstract on
>                                                             -- derivation
>     package constructor is  -- nothing inside will be inherited
> 
>         procedure create (c : out cool; ... ... );
> 
>     end constructor;
> 
> private
>         ...
> 
> end something_cool;
> 
> Thus make your choice. As Randy said, you can end with a bunch of useless 
> constructors with the inherited ones.

A bit more rationale:

If you declare the constructors directly in the main package, they are
"primitive operations of the type", and are thus inherited by derived
types. This is usually not appropriate, since constructors for derived
types will usually take more or different parameters.

Declaring the constructors in a nested package makes them _not_ be
primitive operations, so they are not inherited. 

Another option is to put them in a child package, but that means they
can't take advantage of whatever is declared in the main package body.

-- 
-- Stephe