Re: A couple of questions

["Martin Dowie" <martin.dowie@btopenworld.com>]

"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> wrote in message
news:c72d27$cpo$1@a1-hrz.uni-duisburg.de...
> There is an Ada Issue (288) discussing pragmas Pre_Assert,
> Classwide_Pre_Assert, and Post_Assert for inclusion in the next
> standard. They formalise DbC for future Ada programs.
>
> The names have been changed from Precondition and Postcondition,
> unfortunatly, falling short of customary Ada names' quality in my view.

These are not going to be in the next language revision - they are
"No Action". The "Assert" pragma is however going to make it, so
I guess you could make an arguement that the user can mimic pre
and post conditions them selves, with some disapline, e.g.

procedure Foo is
begin
   pragma Assert (<some_pre_condition>);
   -- whatever Foo does
   pragma Assert (<some_post_condition>);
end Foo;

-- Martin