Re: Ada and Design By Contract

Volkert wrote:
> Some time ago in c.l.a. was a discussion on 
> adding Assertions (preconditions, postconditions
> and invatiants) to Ada 95. 
> 
> - what is the current status? 

   By now, I think each compiler provides its own assertions mechanism. 
For example, in GNAT you have "pragma Assert (<boolean expr>)".

   There is an AI now that proposes a standard way to do that. Take a 
look at:

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00286.TXT?rev=1.5

Rodrigo