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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,616091a85ff150f1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-05 01:43:29 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: volkert.barr@freenet.de (Volkert) Newsgroups: comp.lang.ada Subject: Re: Ada 200X Assertions Date: 5 Dec 2001 01:43:28 -0800 Organization: http://groups.google.com/ Message-ID: <39ee2480.0112050143.4587a3db@posting.google.com> References: <3C0C48BE.3B20F04E@adaworks.com> NNTP-Posting-Host: 62.104.208.91 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1007545409 518 127.0.0.1 (5 Dec 2001 09:43:29 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 5 Dec 2001 09:43:29 GMT Xref: archiver1.google.com comp.lang.ada:17434 Date: 2001-12-05T09:43:29+00:00 List-Id: Richard Riehle wrote in message news:<3C0C48BE.3B20F04E@adaworks.com>... > Does anyone know whether there is still serious > consideration for pre-, post-, and invariant assertions > in the next version of ISO Standard Ada? i like idea of extending Ada with Assertions too. The Design By Contract philosophie is one of the main reasons why we still teaching Eiffel in our Programming Courses at the University. But before talking about an Ada language extension, i would like to see an Assertion-Precompiler for Ada similar to iContract in the Java World. With ASIS we have the right technology, i think ... With regards, Volkert Barr