Re: Contract checking in Ada

["Randy Brukardt" <randy@rrsoftware.com>]

"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.