From rybin@possum.srcc.msu.su Wed Mar 12 07:27:12 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id HAA02155; Wed, 12 Mar 1997 07:27:11 -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 AA29844; Wed, 12 Mar 97 07:27:36 EST Received: from crocus.gamma.ru by sw-eng.falls-church.va.us (8.7.1/) id MAA00888; Wed, 12 Mar 1997 12:21:47 GMT Received: from srcc.UUCP (uucp@localhost) by crocus.gamma.ru (8.7.6/8.7.3) with UUCP id PAA16051 for asis-comment@sw-eng.falls-church.va.us; Wed, 12 Mar 1997 15:24:24 +0300 (MSK) Received: by gamma.srcc.msu.su; Wed, 12 Mar 1997 15:24:13 +0300 Received: by possum.srcc.msu.su (UUPC/@ v5.09gamma, 14Mar93); Wed, 12 Mar 1997 11:38:58 +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: Wed, 12 Mar 97 11:38:58 +0300 X-Mailer: BML [MS/DOS Beauty Mail v.1.36] Subject: Cases when semantic queries return result the same as argument Lines: 39 Content-Length: 1489 Status: OR !topic Cases when semantic queries return results equal to arguments !reference ASIS 95-15.14 !from Sergey Rybin !keywords Semantic queries, Is_Equal !discussion Consider the documentation of Asis.Declarations.Corresponding_First_Subtype: ------------------------------------------------------------------------------ -- Section 15.14 function Corresponding_First_Subtype ------------------------------------------------------------------------------ function Corresponding_First_Subtype (Declaration : in Asis.Declaration) return Asis.Declaration; ------------------------------------------------------------------------------ -- Declaration - Specifies the subtype_declaration to query -- -- This function recursively unwinds subtyping to return at a type_declaration -- that defines the first subtype of the argument. -- -- Returns a declaration that Is_Equal to the argument if the argument is -- already the first subtype. -- -- Appropriate Declaration_Kinds: -- ... Why does it says "Returns a declaration that Is_Equal to the argument...", but not "Returns a declaration that Is_Identical to the argument..."? Asis.Declarations.Corresponding_First_Subtype is only an example, similar wording ("Returns a ... that Is_Equal to the argument...") is used for some other semantic queries, which do not have a Context as an additional parameter. I would suggest to replace Is_Equal by Is_Identical in all these cases Sergey Rybin