Re: Elaboration of nested generic package.

[christoph.grein@eurocopter.com]

package Example is

  pragma Elaborate_Body;

  procedure Do_Something;

  generic
    type Item_Type is private;
  package Nested is
    --pragma Elaborate_Body;
    procedure Do_Another_Thing;
  end Nested;

end Example;

There is no need to put pragma Elaborate_Body into the nested generic, because 
the body of Example also holds the body of Nested, and when the body of Example 
is elaborated, the body of Nested is inevitably elaborated as well.

What you cite in the style guide applies only to library generic units (or 
should that be generic library units :-):
http://www.adaic.org/docs/95style/html/sec_8/8-4-3.html