Re: Newbie Ada

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Axel Druesnes wrote:
> Any suggestion about how i could call a function with the generic type as
> a parameter without creating errors ? Other ways to detect types is
> welcolme ( i can't use an enumeration value in place of a type in this
> case )
>
> function Type_Id ( Value : in Boolean ) return E_Type_Id;
> function Type_Id ( Value : in Integer ) return E_Type_Id;

You don't need this.

> -- Inside the body
> procedure I_Need_The_Type ( Value : Generic_Type )

First variant: You like to declare and define this function internally.

generic
   type Generic_Type(<>) is limited private;
package XXX is
   procedure I_Need_The_Type (Value : Generic_Type);
end XXX;

package body XXX is
   procedure I_Need_The_Type (Value : Generic_Type) is
   begin
      null;
   end I_Need_The_Type;
end XXX;

Second variant: You need to call an external function of this type.

generic
   type Generic_Type(<>) is limited private;
   with procedure I_Need_The_Type (Value : Generic_Type);
package XXX is
   procedure Doit (x : Generic_Type);
end XXX;

package body XXX is
   procedure Doit (x : Generic_Type) is
   begin
      I_Need_The_Type(x);
   end Doit;
end XXX;

Have fun.