From: georg bauhaus <rmhost.bauhaus@maps.arcor.de>
Subject: Re: Ada2012 : When to use expression functions rather than function bodies?
Date: 17 Dec 2011 12:45:38 GMT
Date: 2011-12-17T13:45:38+01:00 [thread overview]
Message-ID: <1697334721345818104.523316rmhost.bauhaus-maps.arcor.de@news.arcor.de> (raw)
In-Reply-To: jcgqrb$cdv$1@munin.nbi.dk
"Randy Brukardt" <randy@rrsoftware.com> wrote:
.
>
> You could write all of your preconditions like:
>
> procedure Do_It (A, B : in out Integer)
> with Pre => Do_It_Precondition (A, B);
>
> but no one would have any idea what the precondition is.
I'm guessing that Dmitry will suggest
Procedure Do_It (A, B: Int_Sats_Pre) with
Pre => True;
will be safer and will convey the idea
of the precondition better: it is in the type system.
Whether this approach is feasible in general
I don't know.
next prev parent reply other threads:[~2011-12-17 12:45 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-12-16 12:25 Ada2012 : When to use expression functions rather than function bodies? Martin
2011-12-16 13:24 ` Dmitry A. Kazakov
2011-12-17 1:03 ` Randy Brukardt
2011-12-16 18:03 ` Adam Beneschan
2011-12-16 20:36 ` Martin Dowie
2011-12-16 21:34 ` Adam Beneschan
2011-12-16 23:08 ` Adam Beneschan
2011-12-17 12:26 ` georg bauhaus
2011-12-16 22:01 ` Jeffrey Carter
2011-12-16 22:52 ` Adam Beneschan
2011-12-16 23:09 ` Adam Beneschan
2011-12-17 1:21 ` Randy Brukardt
2011-12-17 12:45 ` georg bauhaus [this message]
2011-12-17 13:11 ` Dmitry A. Kazakov
2011-12-19 23:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox