Re: something I would like to see in ADA 2005

[Wesley Groleau <wesgroleau@despammed.com>]

Tony Gair wrote:
> For instance try declaring a generic protected object.

generic

    -- package instantiation here

    -- subprogram here

    type Custom_Type is ......

    -- generic constant here

package Customizable is

    protected Safe_Object is
       -- subprograms whose bodies can reference
       -- ANY of the generic parameters
    private
       The_Data : Custom_Type;
    end;

end Customizable;

....

    package Customized is new Customizable (.......);

    X : Customized.Safe_Object;

.....