From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: spec/body/rep (Was: Compilation error (GNAT bug?))
Date: Tue, 27 May 2014 19:03:23 +0200
Date: 2014-05-27T19:03:23+02:00 [thread overview]
Message-ID: <1a5b6te5t9j0q.71cfoecksczw$.dlg@40tude.net> (raw)
In-Reply-To: 5384c2db$0$6666$9b4e6d93@newsspool3.arcor-online.net
On Tue, 27 May 2014 18:52:44 +0200, in comp.lang.ada you wrote:
> On 27.05.14 18:41, Dmitry A. Kazakov wrote:
>> It never matters if post-condition you wrote was meant proper
>> post-condition = checked at compile time.
>
> I meant to refer to the effects of the rep aspects:
>
> Import can surely break contracts, practically, if
> the external entity has no notion of Natural'Last?
No, it cannot. The contract proper is checked at compile-, latest static
linkage-time. You cannot state a contract in terms of Natural'Last if you
don't have Natural'Last.
The thing you used to call "contract" is merely behavior. It can be any if
unspecified => it does not matter => nothing broken. If specified, then the
only way to do so formally is per a contract proper. (Informal contract are
not a language issue. They are enforced through code reviews, testing etc.)
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2014-05-27 17:03 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-20 18:32 Compilation error (GNAT bug?) Victor Porton
2014-05-20 18:43 ` Simon Wright
2014-05-20 22:22 ` spec/body/rep (Was: Compilation error (GNAT bug?)) Georg Bauhaus
2014-05-23 21:21 ` Randy Brukardt
2014-05-27 5:16 ` J-P. Rosen
2014-05-27 6:22 ` Niklas Holsti
2014-05-27 8:54 ` J-P. Rosen
2014-05-27 8:55 ` Dmitry A. Kazakov
2014-05-27 15:45 ` G.B.
2014-05-27 16:41 ` Dmitry A. Kazakov
2014-05-27 16:52 ` G.B.
2014-05-27 17:03 ` Dmitry A. Kazakov [this message]
2014-05-27 22:57 ` 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