!ASIS Issue #062
!topic returned kinds for Corresponding_Parent_Subtype and Corresponding_Root_Type
!reference  ASIS 95-16.6, 16.7
!from  Sergey Rybin
!keywords
!discussion

Why the following values fom Declaration_Kinds are not included in the
lists of returned kinds of Asis.Definitions.Corresponding_Parent_Subtype
and Asis.Definitions.Corresponding_Root_Type

    An_Incomplete_Type_Declaration,            -- 3.2.1
    A_Private_Type_Declaration,                -- 3.2.1 -> Trait_Kinds
    A_Private_Extension_Declaration,           -- 3.2.1 -> Trait_Kinds

(Of course, A_Private_Extension_Declaration may be returned only by
Corresponding_Parent_Subtype, but not Corresponding_Root_Type)

------------------------------------------------------------------------------
-- Section 16.6  function Corresponding_Parent_Subtype
------------------------------------------------------------------------------

function Corresponding_Parent_Subtype
                  (Type_Definition : in Asis.Type_Definition)
                      return Asis.Declaration;

------------------------------------------------------------------------------
--  Type_Definition - Specifies the derived_type_definition to query
--
-- Returns the parent subtype declaration of the derived_type_definition.
-- The parent subtype is defined by the parent_subtype_indication.
--
-- Appropriate Type_Kinds:
--      A_Derived_Type_Definition
--      A_Derived_Record_Extension_Definition
--
-- Returns Declaration_Kinds:
--      An_Ordinary_Type_Declaration
--      A_Task_Type_Declaration
--      A_Protected_Type_Declaration
--      A_Subtype_Declaration
--      A_Formal_Type_Declaration
--
------------------------------------------------------------------------------
-- Section 16.7  function Corresponding_Root_Type
------------------------------------------------------------------------------

    function Corresponding_Root_Type
                     (Type_Definition : in Asis.Type_Definition)
                      return Asis.Declaration;

------------------------------------------------------------------------------
--  Type_Definition - Specifies the derived_type_definition to query
--
-- This function recursively unwinds all type derivations and subtyping to
-- arrive at a full_type_declaration that is neither a derived type or a
-- subtype.
--
-- Appropriate Type_Kinds:
--      A_Derived_Type_Definition
--      A_Derived_Record_Extension_Definition
--
-- Returns Declaration_Kinds:
--      An_Ordinary_Type_Declaration
--      A_Task_Type_Declaration
--      A_Protected_Type_Declaration
--      A_Formal_Type_Declaration
--

!resolution  Accepted, with Modifications.
!date 97-03-26
!Notes

All three should be in Corresponding_Parent_Subtype (16.6).
The last two should be in Corresponding_Root_Type (16.7).

Changes were made in ASIS version 2.0.M.