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!news1.google.com!newsread.com!news-xfer.newsread.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 30 Mar 2005 19:54:44 -0600
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <424a9079$0$11482$9b4e6d93@newsread2.arcor-online.net>
 <0ux2e.4977$nP.4533@reader1.news.jippii.net>
Subject: Re: Contract checking in Ada
Date: Wed, 30 Mar 2005 19:57:06 -0600
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4927.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4927.1200
Message-ID: <d_qdnXdxk-j5xdbfRVn-1A@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-gp0u+eTWcL6wtHzkrAcGhb+h+k7cr+nkOjnOF8YGF70+7kh//v34C1vMCFPgb+hkkpcDEuUacrrgZ99!fZfQAXv+Y5Ze2ShjUhROO2gqsufWpn1WvM4x2+uNR63VPsOBf4pfH4QD6C58Xr0DS8abbuMhNilJ
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news1.google.com comp.lang.ada:10171
Date: 2005-03-30T19:57:06-06:00
List-Id: <comp.lang.ada>

"Tapio Kelloniemi" <spam17@thack.org> wrote in message
news:0ux2e.4977$nP.4533@reader1.news.jippii.net...
> Georg Bauhaus <bauhaus@futureapps.de> wrote:
> >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).
> >
> >http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00375.TXT
>
> Oh, wow! Good stuff! Few things annoy me:
> 1. Why this AI does not mention access parameters to procedures and
> functions (only [IN] OUT).

It was never finished; it was abandoned as taking too much work with too
little interest from end-users.

> 2. Which AI describes pre- and postconditions which are mentioned here.

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00288.TXT

But really, you should look in the index of Airs or use the search engine.
Look in the home page: http://www.ada-auth.org

                  Randy.