Re: Generics???

["Anders Wirzenius" <anders.wirzenius@pp.qnet.fi>]

Beard, Frank wrote in message ...
>You can do it as a private, but you have to pass in the operations.
>Attached is an example of what I'm talking about.  Is this what
>you're after?
>
>Frank
>
>
>-----Original Message-----
>From: Michael Andersson [mailto:a98mican@ida.his.se]
>
>Hi!
>How do I specify that the generic parameter is a integer or a float. I
>know that you can use
>type T is range <> to specify that T is any Integer-type and that you
>can use type T is digit <> to specify that T is any type of float. But
>how can I use both at the same time?
>I've tried to use type T is private but then I can't use any of the
>+,-,*,/ operators.
>
>Need your help, please!
>/Michael Andersson
>_______________________________________________
>comp.lang.ada mailing list
>comp.lang.ada@ada.eu.org
>http://ada.eu.org/mailman/listinfo/comp.lang.ada
>
>

May I join the thread with an additional question:
Suppose I use the example provided by Frank Beard and want to round up the
result when the type is an integer.
How do I test which type the parameter (in the example: Item) is?
Something like the pseudocode:

   function Divide (the_Left  : Item;
                    the_Right : Item) return Item is
   begin
      case Item is
         when  integer =>
            round up;
         when  float =>
            just divide ;
         when others =>
            null;
      end case;
      return result of division;
   end Divide;

Anders Wirzenius