Re: Private area and child packages

[danmcleran@hotmail.com]

What about using Ada's Limited_Controlled type? Then, since no copies
could be made, I could do something like this:

with Ada.Finalization;

package Some_Package is
type Secret_Type is tagged limited private;
private
type Implementation_Type;
type Implementation_Access_Type is access Implementation_Type;
type Secret_Type is new Ada.Finalization.Limited_Controlled with
record
Implementation_Access : Implementation_Access_Type := null;
end record;   
end Some_Package;