From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Re: Specifying the order of ops on an ADT with aspects
Date: Fri, 5 Feb 2010 14:45:13 -0800 (PST)
Date: 2010-02-05T14:45:13-08:00 [thread overview]
Message-ID: <a5c90484-a8c0-4ed4-a90a-9ba6fedbcb42@f15g2000yqe.googlegroups.com> (raw)
In-Reply-To: hki59g$vjq$1@munin.nbi.dk
On 5 fév, 23:15, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> I think you guys miss the point of that statement. A Precondition that fails
> raises Assert_Error (unless suppressed, of course).
OK
next prev parent reply other threads:[~2010-02-05 22:45 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-04 11:26 Specifying the order of ops on an ADT with aspects Georg Bauhaus
2010-02-04 18:07 ` Hibou57 (Yannick Duchêne)
2010-02-05 16:44 ` Colin Paul Gloster
2010-02-05 16:55 ` Hibou57 (Yannick Duchêne)
2010-02-05 18:34 ` Dmitry A. Kazakov
2010-02-08 10:41 ` Colin Paul Gloster
2010-02-05 22:15 ` Randy Brukardt
2010-02-05 22:45 ` Hibou57 (Yannick Duchêne) [this message]
2010-02-06 3:35 ` Hibou57 (Yannick Duchêne)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox