Re: (elementary question) Test on type ?

[john.mccabe@emrad.com.nospam (John McCabe)]

On Tue, 4 Sep 2001 13:05:21 +0200, Reinert Korsnes
<Reinert.Korsnes@ffi.no> wrote:

>> Seriously, what are you trying to do?
>
>Just do a bit different things in the function depending on the type
>of X.   Say, X is Float of Interger....

Generics are the place to do identical stuff independent of the types.
If you want to do different stuff depending on the type, then you
should use overloaded function. I'm not sure whether this is possible
(and I can't check at the moment as I don't use Ada any more), but you
may be able to pass overloaded functions as generic actual parameters
and then just make a call where the compiler will handle the types.

e.g.

generic
   type MyType is (<>);
   with procedure Test (InParm : in Integer);
   with procedure Test (InParm : in SomeOtherDiscreteType);
package X
   :

Then call Test when you want. I guess what you could do was define a
type somewhere e.g: type PossibleTypes is (Int, Flt, Enum); then use
declare the Test operations as functions that returned that type.

Hope this helps.



Best Regards
John McCabe