From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: Safety of the Booch Ada 95 Components
Date: 1999/12/13
Date: 1999-12-13T19:51:49+00:00 [thread overview]
Message-ID: <t7g0x64nw6.fsf@calumny.jyacc.com> (raw)
In-Reply-To: 3851c7b9_4@news1.prserv.net
"Matthew Heaney" <matthew_heaney@acm.org> writes:
> We make this assumption per the "design-by-contract" model. If you give
> me an assignment operator that doesn't work, and it raises an exception
> (say), then yes, that would leave the target object in an inconsistent
> state.
>
> If you don't like that, then don't give me a broken assignment operator.
Why is an assignment operator that raises an exception broken?
next prev parent reply other threads:[~1999-12-13 0:00 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-10 0:00 Safety of the Booch Ada 95 Components Harry Erwin
1999-12-10 0:00 ` Matthew Heaney
1999-12-10 0:00 ` Hyman Rosen
1999-12-10 0:00 ` Harry Erwin
1999-12-10 0:00 ` Matthew Heaney
1999-12-11 0:00 ` Harry Erwin
1999-12-12 0:00 ` Robert Dewar
1999-12-12 0:00 ` Harry Erwin
1999-12-13 0:00 ` Kent Paul Dolan
1999-12-13 0:00 ` Robert I. Eachus
1999-12-13 0:00 ` Ted Dennison
1999-12-13 0:00 ` Simon Wright
1999-12-13 0:00 ` Hyman Rosen [this message]
1999-12-13 0:00 ` Robert I. Eachus
1999-12-14 0:00 ` Simon Wright
1999-12-15 0:00 ` Mats Weber
1999-12-17 0:00 ` Simon Wright
1999-12-15 0:00 ` Harry Erwin
1999-12-14 0:00 ` Matthew Heaney
1999-12-10 0:00 ` Harry Erwin
1999-12-12 0:00 ` Simon Wright
1999-12-12 0:00 ` Harry Erwin
1999-12-13 0:00 ` Simon Wright
1999-12-10 0:00 ` Simon Wright
1999-12-12 0:00 ` Harry Erwin
1999-12-13 0:00 ` Simon Wright
1999-12-12 0:00 ` Simon Wright
1999-12-12 0:00 ` Matthew Heaney
1999-12-13 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox