comp.lang.ada
 help / color / mirror / Atom feed
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: Finalization of package instance
Date: 2000/01/18
Date: 2000-01-18T00:00:00+00:00	[thread overview]
Message-ID: <9l4h4.5569$Wn2.114954@newsread2.prod.itd.earthlink.net> (raw)
In-Reply-To: 388496B3.7E36F781@earthlink.net

In article <388496B3.7E36F781@earthlink.net> , Jeff Carter 
<jrcarter010@earthlink.net>  wrote:

> 3. In the body of Datalink, declare a controlled type and an object of
> that type; the Finalize for the type does the disconnect.

This is the simplest of your solutions.


> Datalink would
> be generic, so each instance would have its own controlled object. This
> can get you into trouble because a compiler may optimize away an unused
> variable.

I think there's a new rule (I don't know the AI) that says a
Limited_Controlled object cannot be optimized away.

This issue has come up on CLA before; visit DejaNews to find the thread.

--
Philosophy may be ignored but not escaped; and those who most ignore
least escape.

David Hawkins





  reply	other threads:[~2000-01-18  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-18  0:00 Finalization of package instance Mario Amado Alves
2000-01-18  0:00 ` Jeff Carter
2000-01-18  0:00   ` Matthew Heaney [this message]
2000-01-19  0:00     ` Jeff Carter
2000-01-19  0:00   ` Statements per function point Herv� BITTEUR
2000-01-19  0:00     ` Ted Dennison
2000-01-19  0:00     ` Ehud Lamm
2000-01-18  0:00 ` Finalization of package instance Robert A Duff
replies disabled

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