Re: generic packages

[Sami Evangelista <sami.evangelista@wanadoo.fr>]

Fabien Garcia wrote:

> Sami Evangelista wrote:
>  > [snip]
> 
>> is there any solution ?
>>
>> thanks for any help
> 
> I would try something like this :
> 
> 
> -----------------------------------------------------------------
> generic
>      type Element_a is private;
>      type element_b is private;
>      with function eq_a (E1, E2 : in Element_a) return boolean;
>      with function eq_b (E1, E2 : in Element_b) return boolean;       
>      with function a_to_b(A : in Element_a) return element_b;
> package A_Set_To_B_set_pack is
> 
> package a_set is new generic_set (Element_a,eq_a);
> package b_set is new generic_set (Element_b,eq_b);
> 
> function a_set_to_b_set(the_set : in a_set.set) return b_set.set;
> ------------------------------------------------------------------
> Fabien Garcia
> 
> 
> 

thank you for your response.

but is it possible to declare it in the generic_set.ads file?
i have tried to put a_set_to_b_set into another file but then i can't 
access to the private type of the generic_set package like el or others_els.