From rybin@possum.srcc.msu.su Mon Mar 17 08:48:34 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id IAA11148; Mon, 17 Mar 1997 08:48:34 -0500 Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us) by ida.org (4.1/SMI-4.1) id AA15289; Mon, 17 Mar 97 08:49:01 EST Received: from wormhole.mtc.iitri.com by sw-eng.falls-church.va.us (8.7.1/) id NAA11062; Mon, 17 Mar 1997 13:42:48 GMT Received: from crocus.gamma.ru ([193.124.255.1]) by mtc.iitri.com (4.1/3.1.090690-IITRI-MTC) id AA12804; Sat, 15 Mar 97 15:06:11 EST Received: from srcc.UUCP (uucp@localhost) by crocus.gamma.ru (8.7.6/8.7.3) with UUCP id WAA24323 for asis-comment@sw-eng.falls-church.va.us; Sat, 15 Mar 1997 22:53:57 +0300 (MSK) Received: by gamma.srcc.msu.su; Sat, 15 Mar 1997 22:53:04 +0300 Received: by possum.srcc.msu.su (UUPC/@ v5.09gamma, 14Mar93); Sat, 15 Mar 1997 22:40:06 +0300 To: asis-comment@sw-eng.falls-church.va.us Cc: rybin@crocus.gamma.ru Message-Id: Organization: Information Systems, SRCC, MSU From: "Sergey I. Rybin" Date: Sat, 15 Mar 97 22:40:06 +0300 X-Mailer: BML [MS/DOS Beauty Mail v.1.36] Subject: a hole in retured kind lists Lines: 73 Content-Length: 2622 Status: OR !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) Sergey Rybin ------------------------------------------------------------------------------ -- 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 --