Re: AdaYY; Assertions?

[Tucker Taft <stt@averstar.com>]

Lao Xiao Hai wrote:
> ... However, a
> modest
> addition to the next version of Ada could be a powerful capability and
> make
> the language conformant with the publication of algorithm textbooks
> that,
> increasingly, demonstrate their examples by including pre-, post-, and
> invariant
> assertions.

I agree that adding more assertion support is a good idea.  Note
that most Ada 95 compilers already support "point" assertions
via "pragma Assert(bool_expr [, string_expr]);"

Adding pre/post conditions on subprogram specs at least would be
straightforward.  Adding invariants on private types and/or packages would
also be nice, though it requires a bit more design work relating to the
exact points at which the invariants are checked.

> 
> Richard Riehle
> richard@adaworks.com
> rdriehle@nps.navy.mil       (I am currently teaching some classes,
> including Ada,
>                                             at the nearby Naval
> Postgraduate School,
>                                              and this is my email
> address there)

-- 
-Tucker Taft   stt@avercom.net   http://www.averstar.com/~stt/
Chief Technology Officer, AverCom Corporation (A Titan Company) 
Burlington, MA  USA (AverCom was formerly the Commercial Division of AverStar:
http://www.averstar.com/services/ebusiness_applications.html)