On Thu, 4 Jun 2009, Martin wrote:

> On Jun 4, 2:25�pm, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> > Newer versions of GNAT have pragmas Precondition and Postcondition.
> > We're thinking about adding pragma Invariant.
> >
> > The ARG is also thinking about adding pre/post/inv features to
> > the language.
> >
> > - Bob
> 
> Please! :-)

Yes, that would be great!

Stefan

-- 
------ Stefan Lucks   --  Bauhaus-University Weimar  --   Germany  ------
               Stefan dot Lucks at uni minus weimar dot de
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------