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,64f0fb07a88662b1 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Vinzent 'Gadget' Hoefler Newsgroups: comp.lang.ada Subject: Re: Contract checking in Ada Date: Wed, 30 Mar 2005 11:18:17 +0000 Message-ID: <556091952.XXYPhr3sya@jellix.jlfencey.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: individual.net UfDyLhQdO1TT7M5WKpi5awM5jo2aroPYXtnpLqY79axPYpmM+T X-Phone: +41 62 961 13 52 X-Mood: Beautiful day to take over the world. Xref: g2news1.google.com comp.lang.ada:10144 Date: 2005-03-30T11:18:17+00:00 List-Id: Tapio Kelloniemi wrote: > I'm interested in design by contract and would like to have an > implemenation for Ada (like Eiffel's as much as possible). However, > pragma Assert and pragma Debug do not suffice. Sounds a little bit like SPARK (), especially if you want to get rid of the checks at run time. AFAIK even in Eiffel the contract is checked at run time, not compile time. Vinzent. -- worst case: The wrong assumption there actually is one.