Re: (elementary question) Test on type ? Pragma inline(granularity)?

["Warren W. Gay VE3WWG" <ve3wwg@home.com>]

Reinert Korsnes wrote:
> Ted Dennison wrote:
...
> generic
>   type T is (<>);
>   with function F(X : T) return Float;
> procedure P(A : some type; B : another type; X : T);
> 
> function F(X: some anumeration type) returns Float;
> function F(X: another enumeration type) returns Float;
> 
> and:
> 
> procedure P1 is new P(T => simething,F);

Actually, you can take this one step further:

generic
  type T is (<>);
  with function F(X : T) return Float is <>;     -- note the "is <>"
procedure P(A : some type; B : another type; X : T);

With the "is <>" added, the compiler can find the correct
procedure/function without the explicit argument supplied:

procedure P1 is new P(T => simething);

Note that if you have a protected type involved within the
generic, with different entrys by type, then you'll have
an additional problem to solve. For example:

   protected type Protected_Buffer_Type is
      entry Put(Items : U8_Array; Last : out Natural);
      entry Put(Items : I8_Array; Last : out Natural);
      entry Put(Items : I16_Array; Last : out Natural);
      entry Put(Items : I32_Array; Last : out Natural);
      entry Get(Items : out U8_Array; Last : out Positive);
      ...
   private
      ...
   end Protected_Buffer_Type;

Using wrapper procedures for each of the Put entries helps
however:

   procedure Put(Buffer : in out Protected_Buffer_Type; Items : U8_Array);
   procedure Put(Buffer : in out Protected_Buffer_Type; Items : I8_Array);
   procedure Put(Buffer : in out Protected_Buffer_Type; Items : I16_Array);
   procedure Put(Buffer : in out Protected_Buffer_Type; Items : I32_Array);

With the use of the "with procedure ... is <>" trick, I was able
to work around the problem (I'd be interested in a more direct
solution if there was one, BTW). After a pragma inline(), the
effect is the same as calling the Put() entry directly from
within the generic code.  But...

How do I explicitly "pragma inline(Put)" for specific procedures? I do
not want to inline all Put() calls; certainly not the Ada.Text_IO.Put()
calls. Hmmm... does this mean the best granularity is at:

   pragma inline(package.etc.Put)

the package level?  Maybe I need more RTFM.

[if there were prior copies of this post that got out, my apologies..
I am struggling with Netscape 6.1 (grrr), this post was finally 
submitted after 5 failures in 6.1, by the older venerable NS 4.7]
-- 
Warren W. Gay VE3WWG
http://members.home.net/ve3wwg