Re: Global scope for instantiated generic package?

[Jacob Sparre Andersen <sparre@nbi.dk>]

Trogdor wrote:

> type BigInt is range 1..10_000_000_000_000;

This has to be done in a declarative region (i.e. inside a package or
subprogram).  This could be in a completely independent package:

   -- trogdor.ads (for GNAT)
   package Trogdor is
      type Integer is range 1..10_000_000_000_000;
   end Trogdor;

> I then wish to get and put these values, so I instantiate 
> Integer_IO.
>
> package BigInt_IO is new integer_IO(BigInt);

This can be a complation unit of its own:

   -- trogdor_io.ads (for GNAT)
   with Trogdor;
   package Trogdor_IO is new Ada.Text_IO.Integer_IO (Trogdor.Integer);

Or you can put it inside the same package as the number type:

   -- trogdor.ads (for GNAT)
   package Trogdor is
      type Integer is range 1..10_000_000_000_000;
      package IO is new Ada.Text_IO.Integer_IO (Integer);
   end Trogdor;

> My program consists of three parts: the main body, a package spec 
> and a package body (the package containing all the subprograms and 
> functions).
>
> 1) Is this the way to do it, or is there a preffered way?

If the subprograms are specific to the program, you may want to declare
them in the declarative part of the program rather than in a separate
package.

Kind regards,

Jacob Sparre Andersen
--
Jacob Sparre Andersen Research & Innovation
Vesterbrogade 148K, 1. th.
1620 K�benhavn V
Danmark

Phone:    +45 21 49 08 04
E-mail:   jacob@jacob-sparre.dk
Web-site: http://www.jacob-sparre.dk/