> "the ability to have pre- and post-conditions on procedure definitions and not just declarations" Perhaps it wasn't supported in older versions of Ada, but i

> "the ability to have pre- and post-conditions on procedure definitions and not just declarations" Perhaps it wasn't supported in older versions of Ada, but it seems to be supported now. http://www.adacore.com/adaanswers/gems/gem-31/ http://www.adacore.com/adaanswers/gems/gem-31/