Re: Contract checking in Ada

[Tapio Kelloniemi <spam17@thack.org>]

"Randy Brukardt" <randy@rrsoftware.com> wrote:
>"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
[--]
>It was never finished; it was abandoned as taking too much work with too
>little interest from end-users.

Ada.Containers (AI-302) has also status of No action, does it mean that
they were also abandoned?

But back to my original question, how could I implement programming by
contract now when the designers have abandoned it in their great wisdom?
SPARKADA seems not to be free software, so it is not an option for me.

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

Sorry, I did not remember they had a search engine and it didn't come to my
mind to check.

-- 
Tapio