.NAME Generic packages

.DESCRIPTION

Definition:
-----------
Each instantiation of a generic package belonging to a predefined list of packages
shall be included in another package.

Parameters:
-----------
A list of character strings representing the names of the packages from which the generic
packages shall not be instantiated outside an including package.

Justification:
--------------
Reinforces code structuration.

Example:
--------

-- if the Text_Io generic package is listed in the parameter list,
-- do not write
package My_Integer_Io is new Ada.Text_Io.Integer_Io (My_Integer);

-- encapsulate the instantiation in a package
-- write
package Pack is
   package My_Integer_Io is new Ada.Text_Io.Integer_Io (My_Integer);
   ...
end Pack;


.SEVERITY Advisory

.COMMAND builtin

