comp.lang.ada
 help / color / mirror / Atom feed
From: " "@deneb.cygnus.argh.org (Florian Weimer)
Subject: Re: Handling exceptions to create an atomic operation
Date: 1999/12/12
Date: 1999-12-12T10:51:37+00:00	[thread overview]
Message-ID: <87so18juti.fsf@deneb.cygnus.argh.org> (raw)
In-Reply-To: wccu2lyxnhe.fsf@world.std.com

Robert A Duff <bobduff@world.std.com> writes:

> " "@deneb.cygnus.argh.org (Florian Weimer) writes:
> 
> > An operation which internally creates several objects should appear to
> > the caller as one operation which can either complete fail or succeed.
> 
> Consider using controlled types.

Something like the C++ auto_ptr template?  This sounds like a
good suggestion.  In fact, the code looks much cleaner now.  Thanks.

Limited types, however, seem to be a bit difficult to handle this way.
It's probably more reasonable to hack FLORIST to use controlled types
than to play with Unrestricted_Access (or even Unchecked_Access)...




  reply	other threads:[~1999-12-12  0:00 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-12-04  0:00 Handling exceptions to create an atomic operation Florian Weimer
1999-12-05  0:00 ` Robert A Duff
1999-12-12  0:00   ` Florian Weimer [this message]
1999-12-13  0:00 ` Matthew Heaney
replies disabled

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