From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,585fd78267abd80c X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!193.252.117.184.MISMATCH!news.wanadoo.fr!news.wanadoo.fr!not-for-mail Message-ID: <488A044B.5020009@obry.net> Date: Fri, 25 Jul 2008 18:50:19 +0200 From: Pascal Obry Organization: Home - http://www.obry.net User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr-FR; rv:1.8.1.16) Gecko/20080708 Thunderbird/2.0.0.16 Mnenhy/0.7.5.0 MIME-Version: 1.0 Newsgroups: comp.lang.ada To: rm.tsoh+bauhaus@maps.futureapps.de Subject: Re: On pragma Precondition etc. References: <4889886d$0$18827$9b4e6d93@newsspool2.arcor-online.net> In-Reply-To: <4889886d$0$18827$9b4e6d93@newsspool2.arcor-online.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit NNTP-Posting-Date: 25 Jul 2008 18:50:20 CEST NNTP-Posting-Host: 82.124.76.115 X-Trace: 1217004620 news.orange.fr 955 82.124.76.115:16313 X-Complaints-To: abuse@orange.fr Xref: g2news1.google.com comp.lang.ada:1332 Date: 2008-07-25T18:50:20+02:00 List-Id: Georg Bauhaus a �crit : > And now there is no doubt about the subprogram to which a > Pre-/Postcondition belongs. (A rule that a spec Pre-/Postcondition > pragma must come right after its subprogram will establish > consistency.) But then what to do for overloaded procedures? Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://www.obry.net --| "The best way to travel is by means of imagination" --| --| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595