Q: Generic parameter names exported?

Q: Generic parameter names exported?

[H Brett Bolen]

Greetings,

Ok language lawyers, I've got a quick question.  First the code:


with System_Types,
     Generic_Queue_Bounded;


package Debug is 

  package Word32_Queue_Pkg is 
     new Generic_Queue_Bounded( Item_Type => System_Types.Integer_32,
                                Null_Item => 0);


   -- Debugging  b\253
   subtype Word32_Queue_Type is Word32_Queue_PKG.Queue_Type( Size => 100);
   ID_Word_Queue : Word32_Queue_Type;

   -- fcns
   procedure PutI(  Queue : in out Word32_Queue_Pkg.Queue_Type; 
                    Item  : in     System_Types.Integer_32 )
                                -- Word32_Queue_Pkg.Item_Type)     ???
      renames Word32_Queue_Pkg.Put;

   procedure GetI(  Queue : in out Word32_Queue_Pkg.Queue_Type; 
                    Item  :    out System_Types.Integer_32 ;
                                -- Word32_Queue_Pkg.Item_Type;     ???
                    Valid :    out Boolean) 
      renames Word32_Queue_Pkg.Get;

end Debug;


Item is the 'thing i want to put on the queue.  I thought that
'Word32_Queue_Pkg.Item_Type' could be used, but instead I had to
use 'System_Types.Integer_32'.  I think '..Item_Type' is cleaner.

The alsys compile says refer to RM 4.1.3.


How come the lines with ??? don't work?  Is there another way to do
this?  Subtyping Item_Type within W32_Q seems like a hack.


thanks
  b\253
  brettb@tas.com
  brettb@cpcug.org
  brett bolen


-- 
.
construction
   sig

Re: Q: Generic parameter names exported?

[Mats Weber]

In article <3k5a0t$86q@moe.tas.com>, brettb@tas.com (H Brett Bolen) wrote:

> Item is the 'thing i want to put on the queue.  I thought that
> 'Word32_Queue_Pkg.Item_Type' could be used, but instead I had to
> use 'System_Types.Integer_32'.  I think '..Item_Type' is cleaner.

Yes, this is the Ada 83 rule. In Ada 95, it has (unfortunately) not
changed except for generic formal packages.