From: Mats Weber <matsw@mail.com>
Subject: Re: Safety of the Booch Ada 95 Components
Date: 1999/12/15
Date: 1999-12-15T10:12:18+00:00 [thread overview]
Message-ID: <38576982.1CBD1984@mail.com> (raw)
In-Reply-To: x7v3dt51cj8.fsf@pogner.demon.co.uk
Simon Wright wrote:
> I'm going to do a deep copy.
>
> I have an object containing a pointer to the value that has been
> assigned, so I need to make the deep copy and then put a pointer to
> the copy in the current object.
>
> If that fails, presumably because of memory exhaustion, I can
>
> (1) make sure that the assignee has a valid but partial copy
>
> (2) make sure that the assignee has a null pointer
>
> (3) leave the assignee pointing to the value that has been assigned,
> so that the copy isn't deep after all
>
> (4) not bother
(5) raise or propagate and exception. I think this is the only right
thing to do. Being tagged, controlled types are passed by reference, so
you can also make sure the target of the assignement has a null pointer.
> In *none* of these cases is the assignee "valid". Whether that equates
> to being "corrupt" is a question I prefer to leave to the reader ..
How could it possibly be valid if memory is exhausted, in any
programming language ?
next prev parent reply other threads:[~1999-12-15 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 ` 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 ` Simon Wright
1999-12-13 0:00 ` Ted Dennison
1999-12-13 0:00 ` Robert I. Eachus
1999-12-13 0:00 ` Hyman Rosen
1999-12-13 0:00 ` Robert I. Eachus
1999-12-14 0:00 ` Simon Wright
1999-12-15 0:00 ` Mats Weber [this message]
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-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 ` Simon Wright
1999-12-12 0:00 ` Matthew Heaney
1999-12-12 0:00 ` Harry Erwin
1999-12-13 0:00 ` Simon Wright
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