From rybin@possum.srcc.msu.su Wed Mar 12 10:47:41 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id KAA02418; Wed, 12 Mar 1997 10:47:41 -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 AA04267; Wed, 12 Mar 97 10:48:06 EST Received: from crocus.gamma.ru by sw-eng.falls-church.va.us (8.7.1/) id PAA08009; Wed, 12 Mar 1997 15:44:18 GMT Received: from srcc.UUCP (uucp@localhost) by crocus.gamma.ru (8.7.6/8.7.3) with UUCP id SAA18238 for asis-comment@sw-eng.falls-church.va.us; Wed, 12 Mar 1997 18:46:46 +0300 (MSK) Received: by gamma.srcc.msu.su; Wed, 12 Mar 1997 18:46:42 +0300 Received: by possum.srcc.msu.su (UUPC/@ v5.09gamma, 14Mar93); Wed, 12 Mar 1997 18:23:48 +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 18:23:48 +0300 X-Mailer: BML [MS/DOS Beauty Mail v.1.36] Subject: Corresponding_Representation_Clause cannot return Not_A_Clause Lines: 46 Content-Length: 1760 Status: OR !topic Not_A_Clause cannot be returned by Corresponding_Representation_Clauses !reference ASIS 95-15.17 !from Sergey Rybin !keywords Corresponding_Representation_Clauses, Not_A_Clause !discussion Not_A_Clause is included in the returned kinds list of Asis.Declarations.Corresponding_Representation_Clauses. But this query cannot return elements of this kind. If there is no representation clauses apply to a given declaration, Nil_Element_List should be returned, this list contains no element at all, but not an element of Not_A_Clause kind! This problem probably exists for some other semantic queries returning element lists. Sergey Rybin ------------------------------------------------------------------------------ -- Section 15.17 function Corresponding_Representation_Clauses ------------------------------------------------------------------------------ function Corresponding_Representation_Clauses (Declaration : in Asis.Declaration) return Asis.Representation_Clause_List; ------------------------------------------------------------------------------ -- Declaration - Specifies the declaration to query -- -- Returns all representation_clauses that apply to the declaration. -- -- Returns a Nil_Element_List if no clauses apply to the declaration. -- -- The clauses returned may be the clauses applying to a parent_type if the -- type is a derived type with no explicit representation. These clauses -- are not Is_Part_Of_Implicit, they are the actual representation_clauses -- specified in conjunction with the declaration of the parent_type. -- -- All Declaration_Kinds are appropriate except Not_A_Declaration. -- -- Returns Clause_Kinds: -- Not_A_Clause -- A_Representation_Clause --