From roby Wed Jan 7 17:13:29 1998 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id RAA17579; Wed, 7 Jan 1998 17:13:28 -0500 From: roby (Clyde Roby) Message-Id: <199801072213.RAA17579@cronus.csed.ida.org> Subject: Issue #087, Add generic_renaming_declarations parameters to Corresponding_Declaration/Body To: LeGuenne@ACT-Europe.FR (Alain LeGuennec) Date: Wed, 7 Jan 1998 17:13:28 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 2533 Status: OR Alain, Thank you for your email discussing resolution of Issue #084. We have taken your advice and split the issue into two issues, #086 and #087. This email concerns Issue #087. We are enclosing the new issue for your concurrence. We are also enclosing what we think is your suggested solution. If you agree with this issue and its solution, please let us know so we can forward them on to ASIS-Technical. Clyde and Currie ------- ISSUE: !ASIS Issue #087 !topic Add generic_renaming_declarations parameters to Corresponding_Declaration/Body !reference ASIS 95-15 !from Alain LeGuennec 98-01-07 !keywords generic formal package parameters instantiation renaming rename !discussion Note that this issue was originally submitted as part of Issue #084, Formal package parameters seen as instantiations. Issue #084 was split into this issue and Issue #086, Also consider A_Formal_Package_Declaration[_With_Box] as instantiations. Add generic_renaming_declarations as appropriate parameters to the Corresopnding_Declaration and Corresponding_Body queries. To clause 15.26, Asis.Declaration.Corresponding_Declaration, add to "Appropriate Declaration_Kinds returning a specification" and add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration To clause 15.27, Asis.Declaration.Corresponding_Body, add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration ------- SOLUTION: To clause 15.26, Asis.Declaration.Corresponding_Declaration, add to "Appropriate Declaration_Kinds returning a specification": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration To clause 15.27, Asis.Declaration.Corresponding_Body, add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration Please make sure this satisfies your concern. Thank you. ------- From leguenne@act-europe.fr Mon Jan 12 11:38:14 1998 Return-Path: Received: from cs.ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id LAA29487; Mon, 12 Jan 1998 11:38:14 -0500 Received: from paris.act-europe.fr (leguenne@paris.act-europe.fr [195.25.32.140]) by cs.ida.org (8.8.7/8.8.7) with ESMTP id LAA17474 for ; Mon, 12 Jan 1998 11:39:05 -0500 (EST) Received: (from leguenne@localhost) by paris.act-europe.fr (8.8.5/8.8.5) id QAA14732; Mon, 12 Jan 1998 16:41:25 +0100 Date: Mon, 12 Jan 1998 16:41:25 +0100 Message-Id: <199801121541.QAA14732@paris.act-europe.fr> From: Alain Leguennec To: roby@ida.org CC: roby@ida.org, Colket@ACM.Org In-reply-to: <199801072213.RAA17579@cronus.csed.ida.org> (roby@ida.org) Subject: Re: Issue #087, Add generic_renaming_declarations parameters to Corresponding_Declaration/Body References: <199801072213.RAA17579@cronus.csed.ida.org> Content-Length: 65 Status: OR Your solution for this issue looks fine. -- Alain Le Guennec. From roby Mon Jan 12 14:20:04 1998 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA00065; Mon, 12 Jan 1998 14:20:03 -0500 From: roby (Clyde Roby) Message-Id: <199801121920.OAA00065@cronus.csed.ida.org> Subject: Re: Issue #087, Add generic_renaming_declarations parameters to Corresponding_Declaration/Body To: leguenne@act-europe.fr (Alain Leguennec) Date: Mon, 12 Jan 1998 14:20:03 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) In-Reply-To: <199801121541.QAA14732@paris.act-europe.fr> from "Alain Leguennec" at Jan 12, 98 04:41:25 pm X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 84 Status: OR Alain, > Your solution for this issue looks fine. Thanks again. Clyde and Currie From roby Wed Jan 14 14:58:11 1998 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA10104; Wed, 14 Jan 1998 14:58:10 -0500 From: roby (Clyde Roby) Message-Id: <199801141958.OAA10104@cronus.csed.ida.org> Subject: Issue #087, Add generic_renaming_declarations parameters to Corresponding_Declaration/Body To: ASIS-Technical@SW-Eng.Falls-Church.Va.US (ASIS-Technical) Date: Wed, 14 Jan 1998 14:58:09 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 1374 Status: OR ASIS-Technical, In reference to Issue #087, Add generic_renaming_declarations parameters to Corresponding_Declaration/Body (http://www.acm.org/sigada/wg/asiswg/issues/issue087.i), the attached solution is proposed. Please review this issue and proposed solution and identify any additional changes that are necessary or any alternative solutions and send them to ASIS-Technical. Clyde and Currie PS: This issue and Issue #086 replaced Issue #084, which is now Closed. ------- Add generic_renaming_declarations as appropriate parameters to the Corresopnding_Declaration and Corresponding_Body queries. To clause 15.26, Asis.Declaration.Corresponding_Declaration, add to "Appropriate Declaration_Kinds returning a specification": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration To clause 15.27, Asis.Declaration.Corresponding_Body, add to "Appropriate Declaration_Kinds returning the argument declaration": A_Generic_Package_Renaming_Declaration A_Generic_Procedure_Renaming_Declaration A_Generic_Function_Renaming_Declaration -------