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,5e53057e86953953 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!198.186.194.249.MISMATCH!transit3.readnews.com!news-xxxfer.readnews.com!news-out.readnews.com!transit4.readnews.com!panix!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Question on initialization of packages Date: Tue, 17 Jun 2008 13:08:08 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1pok6brk3yyxf$.ct5gwnf4g97p$.dlg@40tude.net> <48579467$0$7538$9b4e6d93@newsspool1.arcor-online.net> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls6.std.com 1213722491 25692 192.74.137.71 (17 Jun 2008 17:08:11 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Tue, 17 Jun 2008 17:08:11 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:A2E+Bh7V7GJlJWEUbmQYyjsrRjU= Xref: g2news1.google.com comp.lang.ada:745 Date: 2008-06-17T13:08:08-04:00 List-Id: "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. On GNAT, it works, and on other implementations (which don't support it), it does nothing. - Bob