Getting types from a generic container in Ada?

Getting types from a generic container in Ada?

[EGarrulo]

I would like to write a generic package that operates on standard containers. Such package would need access to various properties of a container, and I would like to get them from the container itself, instead of passing them as parameters for the generic package.  In other words, I would like to write something like:


generic
   type Container_Type is private;
package My_Package is
   procedure My_Function (Container : in out Container_Type; 
                          Element   :        Container_Type.Element_Type);
end My_Package;


Is this possible?  Thank you.

Re: Getting types from a generic container in Ada?

[Georg Bauhaus]

On 26.07.15 08:08, EGarrulo wrote:
> I would like to write a generic package that operates on standard containers. Such package would need access to various properties of a container, and I would like to get them from the container itself, instead of passing them as parameters for the generic package.  In other words, I would like to write something like:
>
>
> generic
>     type Container_Type is private;
> package My_Package is
>     procedure My_Function (Container : in out Container_Type;
>                            Element   :        Container_Type.Element_Type);
> end My_Package;
>
>
> Is this possible?  Thank you.

Reexport of generic parameters is not part of the design. It is
still possible to write some generic algorithms (using formal
packages, or signatures, or iterators, to the extent permitted
by design and non-recursive Ada templates.)