From: Shark8 <OneWingedShark@gmail.com>
Subject: Re: Preconditions which anyway would be caught?
Date: Sun, 10 Aug 2014 18:00:36 -0600
Date: 2014-08-10T18:00:36-06:00 [thread overview]
Message-ID: <HITFv.512020$Ro3.111072@fx13.iad> (raw)
In-Reply-To: <14zsfaffv1uwu.12pijzz9mdaj8$.dlg@40tude.net>
On 10-Aug-14 01:24, Dmitry A. Kazakov wrote:
> Specifying precondition for the sake of having them is meaningless.
Not all preconditions imply a post-condition; sometimes it's simply to
constrain the values that you're willing to entertain; for example if
you have Natural_Float being a subtype of float (range 0.0 ..
Float'Last) you could use this in an internal simple simulator with
Square_Root(X: Natural_Float) return Float being a function therein.
next prev parent reply other threads:[~2014-08-11 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-09 15:35 Preconditions which anyway would be caught? Victor Porton
2014-08-09 15:40 ` mockturtle
2014-08-09 16:08 ` Jeffrey Carter
2014-08-09 19:21 ` Peter Chapin
2014-08-09 19:24 ` Peter Chapin
2014-08-09 21:04 ` Niklas Holsti
2014-08-09 22:57 ` Peter Chapin
2014-08-10 20:58 ` Niklas Holsti
2014-08-10 7:24 ` Dmitry A. Kazakov
2014-08-11 0:00 ` Shark8 [this message]
2014-08-11 7:31 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox