Re: parameterless generics?

[Richard Riehle <rriehle@nunic.nu.edu>]

On Mon, 15 Jul 1996, Chris Papademetrious wrote:

> Brian Gilbert <71413.1453@CompuServe.COM> wrote:
>
>  I believe if you create a child library of a generic package (pardon
> my butchering of the terminology, I'm new to Ada 95), the child itself
> must also be generic.  Oftentimes, the child won't need a generic
> parameter of its own, only needing that of its parent, in which case
> you'd get the interesting construct:
>
> generic
> package Blah is...
>
  If you think you are gong to need child units,  consider nesting the
  generic package inside a non-generic package.  Example:

     package Chopin is

       [ declare exportable services ]

           generic
             [ optional parameter list ]
           package Keyboard_Manager is
              [ declare exportable services ]
           end Keyboard_Manager;

       [ addtionally declared exportable services ]

     end Chopin;

  and then create children,

     package Chopin.Polonaise is ...

     package Chopin.Mazurka is ...

  and so on.

  I realize there are those who might object to this style, but there
  is actually precedent for it in Annex A of the (ISO 8652:1995)
  Ada Language Reference Manual.

  Richard Riehle
  AdaWorks Software Engineering
  Palo Alto, CA