!standard 3.9.13                                   07-12-06  SI99-0032-1/01
!class Binding Interpretation 07-12-06
!status work item 07-12-06
!status received 07-12-03
!priority Medium
!difficulty Easy
!qualifier Omission
!subject Add Universal_Access to Root_Type_Kinds

!summary

Add Universal_Access to Root_Type_Kinds

!question

The Amendment (Ada 2005) defines new universal type (universal_access), so
new enumeration literal should be added to Root_Type_Kinds.

!recommendation

(See summary.)

!wording

Modify 3.9.13 as follows:

   type Root_Type_Kinds is (

      Not_A_Root_Type_Definition,            --  An unexpected element

      A_Root_Integer_Definition,             --  3.4.1(8)
      A_Root_Real_Definition,                --  3.4.1(8)

      A_Universal_Integer_Definition,        --  3.4.1(6)
      A_Universal_Real_Definition,           --  3.4.1(6)
      A_Universal_Fixed_Definition{,         --  3.4.1(6)
      A_Universal_Access_Definition});       --  3.4.1(6)

!discussion

Obviously needed.

!appendix

!topic Add A_Universal_Access_Definition to Root_Type_Kinds
!reference Ada 2005 RM 3.4.1(6)
!from Maxim Reznik 07-12-01
!keywords universal access
!discussion

The Amendment (Ada 2005) defines new universal type (universal_access), so
new enumeration literal should be added to Root_Type_Kinds:

-------------------------------------------------------------------------------
--  3.9.13 type Root_Type_Kinds
-------------------------------------------------------------------------------
--  Root_Type_Kinds
--   Literals                               -- Reference Manual
-------------------------------------------------------------------------------

   type Root_Type_Kinds is (

      Not_A_Root_Type_Definition,            --  An unexpected element

      A_Root_Integer_Definition,             --  3.4.1(8)
      A_Root_Real_Definition,                --  3.4.1(8)

      A_Universal_Integer_Definition,        --  3.4.1(6)
      A_Universal_Real_Definition,           --  3.4.1(6)
      A_Universal_Fixed_Definition,          --  3.4.1(6)
      A_Universal_Access_Definition);        --  3.4.1(6)

I think it could be part of SI99-0004-1.

****************************************************************