comp.lang.ada
 help / color / mirror / Atom feed
From: ytomino <aghia05@gmail.com>
Cc: mailbox@dmitry-kazakov.de
Subject: Re: Class wide preconditions: error in GNAT implementation?
Date: Mon, 18 Feb 2013 11:02:31 -0800 (PST)
Date: 2013-02-18T11:02:31-08:00	[thread overview]
Message-ID: <e9c9f346-92f8-4504-b8b3-eb7eb8145f26@googlegroups.com> (raw)
In-Reply-To: <1hjhzbhx5ryn7$.rst5open618c.dlg@40tude.net>

On Monday, February 18, 2013 5:30:16 PM UTC+9, Dmitry A. Kazakov wrote:
> No, all preconditions must be satisfied, otherwise, the program is
> incorrect, provided it is correctness we are talking about.
> 
> But then the precondition of B'Class is *required* to be true for an object
> which is in that class. The precondition of A'Class is weaker and need not
> to be checked if one for B'Class is satisfied.

Excuse me for misunderstanding your opinion.

But, do you have the same mistake as mine in the first post?
Preconditions are combined by "or else".
Therefore, increasing its conditions means making it weaker.



  parent reply	other threads:[~2013-02-18 19:02 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-02-15  3:55 Class wide preconditions: error in GNAT implementation? ytomino
2013-02-15 10:15 ` Georg Bauhaus
2013-02-15 13:16   ` ytomino
2013-02-16  1:01 ` Randy Brukardt
2013-02-16  2:50   ` ytomino
2013-02-16  9:28     ` Dmitry A. Kazakov
2013-02-16 13:13       ` ytomino
2013-02-16 16:35         ` Dmitry A. Kazakov
2013-02-16 19:55           ` ytomino
2013-02-16 20:34             ` ytomino
2013-02-18  8:30             ` Dmitry A. Kazakov
2013-02-18  9:17               ` Simon Wright
2013-02-18 14:25                 ` Dmitry A. Kazakov
2013-02-18 18:04                   ` Simon Wright
2013-02-18 19:27                     ` Dmitry A. Kazakov
2013-02-18 20:42                       ` Simon Wright
2013-02-19  9:07                         ` Dmitry A. Kazakov
2013-02-18 19:02               ` ytomino [this message]
2013-02-18 19:44                 ` Dmitry A. Kazakov
2013-02-16 15:16       ` Georg Bauhaus
2013-02-16 20:23   ` Simon Wright
2013-02-17 15:12     ` ytomino
2013-02-18 17:49       ` Simon Wright
2013-02-18 18:45         ` ytomino

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox