From rybin@possum.srcc.msu.su Thu Aug 14 14:47:58 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA09656; Thu, 14 Aug 1997 14:47:57 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA05733; Thu, 14 Aug 97 14:48:55 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id OAA3469906; Thu, 14 Aug 1997 14:46:41 -0400 Received: from crocus.gamma.ru by sw-eng.falls-church.va.us (8.7.1/) id SAA25565; Thu, 14 Aug 1997 18:41:47 GMT Received: from srcc.UUCP (uucp@localhost) by crocus.gamma.ru (8.8.5/8.7.3) with UUCP id WAA21877 for asis-comment@sw-eng.falls-church.va.us; Thu, 14 Aug 1997 22:44:49 +0400 (MSD) Received: by gamma.srcc.msu.su; Thu, 14 Aug 1997 22:44:13 +0400 Received: by possum.srcc.msu.su (UUPC/@ v5.09gamma, 14Mar93); Thu, 14 Aug 1997 22:43:48 +0400 To: asis-comment@sw-eng.falls-church.va.us Message-Id: Organization: Information Systems, SRCC, MSU From: "Sergey I. Rybin" Date: Thu, 14 Aug 97 22:43:48 +0400 X-Mailer: BML [MS/DOS Beauty Mail v.1.36] Subject: Missed return kind in Result_Profile Lines: 40 Content-Length: 1332 Status: OR !topic Missed returned kind for Asis.Declarations.Resul_Profile !reference ASIS 95-15.20 !from Sergey Rybin !keywords Resul_Profile, An_Attribute_Reference !discussion consider a function definition like this function F (X : T1) return T2'Class; In the same time ASIS 95 says (subclause 15.20): --------------------------------------------------------------------------------------- -- Subclause 15.20 function Result_Profile --------------------------------------------------------------------------------------- function Result_Profile (Declaration : in Asis.Declaration) return Asis.Expression; --------------------------------------------------------------------------------------- -- Declaration - Specifies the function declaration to query -- -- Returns the subtype mark expression for the return type for any function -- declaration. -- -- Appropriate Declaration_Kinds: -- A_Function_Declaration -- A_Function_Body_Declaration -- A_Function_Body_Stub -- A_Function_Renaming_Declaration -- A_Generic_Function_Declaration -- A_Formal_Function_Declaration -- -- Returns Expression_Kinds: -- An_Identifier -- A_Selected_Component -- So An_Attribute_Reference as a Result Profile is not covered by this list of the returned expression kinds