!ASIS Issue #087
!topic Add generic_renaming_declarations parameters to Corresponding_Declaration/Body
!reference  ASIS 95-15
!from  Alain LeGuennec 98-01-07
!keywords generic formal package parameters instantiation renaming rename
!discussion

Note that this issue was originally submitted as part of Issue #084,
Formal package parameters seen as instantiations.  Issue #084 was
split into this issue and Issue #086, Also consider
A_Formal_Package_Declaration[_With_Box] as instantiations.

Add generic_renaming_declarations as appropriate parameters to the
Corresopnding_Declaration and Corresponding_Body queries.

To clause 15.26, Asis.Declaration.Corresponding_Declaration,

   add to "Appropriate Declaration_Kinds returning a specification" and
   add to "Appropriate Declaration_Kinds returning the argument declaration":
      A_Generic_Package_Renaming_Declaration
      A_Generic_Procedure_Renaming_Declaration
      A_Generic_Function_Renaming_Declaration

To clause 15.27, Asis.Declaration.Corresponding_Body,

   add to "Appropriate Declaration_Kinds returning the argument declaration":
      A_Generic_Package_Renaming_Declaration
      A_Generic_Procedure_Renaming_Declaration
      A_Generic_Function_Renaming_Declaration

!resolution  Accept
!date 98-03-26
!Notes

Add generic_renaming_declarations as appropriate parameters to the
Corresopnding_Declaration and Corresponding_Body queries.

To clause 15.26, Asis.Declaration.Corresponding_Declaration,

   add to "Appropriate Declaration_Kinds returning a specification":

      A_Generic_Package_Renaming_Declaration
      A_Generic_Procedure_Renaming_Declaration
      A_Generic_Function_Renaming_Declaration

   add to "Appropriate Declaration_Kinds returning the argument declaration":

      A_Generic_Package_Renaming_Declaration
      A_Generic_Procedure_Renaming_Declaration
      A_Generic_Function_Renaming_Declaration

To clause 15.27, Asis.Declaration.Corresponding_Body,

   add to "Appropriate Declaration_Kinds returning the argument declaration":

      A_Generic_Package_Renaming_Declaration
      A_Generic_Procedure_Renaming_Declaration
      A_Generic_Function_Renaming_Declaration