Specialization

["Baugereau" <baugereau@ifrance.kom>]

Hello,

I'm trying to implement a generic container, say a extensible vector.
But I'd like to specialize this component for controlled types.
For instance, when I empty the container, I want to Finalize all the
elements if they are Controlled, and do nothing if not.
Of course, I want to keep the same syntax in client code.
Is there a way, like in C++ (I come from a C++ background, maybe my view is
too much "C++ template"-biased), to specialize the procedures of the package
for some flavours of the generic parameter?
I tried to check the ARM but I'm not fluent enough in Ada I guess...

Thanks,
Bertrand