Re: (elementary question) Test on type ?

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

Frank

I believe you are correct here, that makes sense. As I mentioned, I'm
nor using Ada any more so what I was saying couldn't be relied on (but
hopefully was just a pointer in the right direction :-)

On Tue, 4 Sep 2001 13:55:27 -0400, "Beard, Frank" 
<beardf@spawar.navy.mil> wrote:

>I agree with what John's saying about "Generics are the place to do
>identical stuff ...", but I don't think you need to pass overloaded
>subprograms and some enumeration types to do specifics.  The generic
>formal subprograms are for the specific stuff.  So, I think all you
>would need is the following (from his original post):
>
>-- specification :
>generic
>  type T is (<>);
>  with procedure Do_Something (Item : in out T);
>  with function Specific_Stuff (Item : T) return Float;
>function F(X : T) return Float;


Best Regards
John McCabe