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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5e53057e86953953 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!feeder.erje.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Question on initialization of packages Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1pok6brk3yyxf$.ct5gwnf4g97p$.dlg@40tude.net> <48579467$0$7538$9b4e6d93@newsspool1.arcor-online.net> Date: Tue, 17 Jun 2008 19:33:47 +0200 Message-ID: <1u3bre2v4uvvq.ea05i1i2jr8z.dlg@40tude.net> NNTP-Posting-Date: 17 Jun 2008 19:33:48 CEST NNTP-Posting-Host: 7b3eef55.newsspool4.arcor-online.net X-Trace: DXC=A1PkYkABfm9TQL:hoD@>T?4IUK\BH3Y24^Scn1J8k99DNcfSJ;bb[5IRnRBaCd=L\Y[PV]\E>[6dbIJZiMX? X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:747 Date: 2008-06-17T19:33:48+02:00 List-Id: On Tue, 17 Jun 2008 13:08:08 -0400, Robert A Duff wrote: > "Jeffrey R. Carter" writes: > >> Georg Bauhaus wrote: >>> Then, since we now have pragma Postcondition, >> >> "We" (Ada users) don't have pragma Postcondition. A specific >> implementation may provide it, but it's not part of the standard. > > True, but it's still safe to use it. No. It is safe only if the expression has no side effects and yields true in all possible program states. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de