Re: Finalization of package instance

[Jeff Carter <jrcarter010@earthlink.net>]

Matthew Heaney wrote:
> 
> 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.

I forgot to mention that the solution with the visible type requires
that the Initialize procedure for the type do the connect. Sorry.

> 
> > 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.

I recall the thread, with the information that an unused controlled type
could be optimized away, but that GNAT doesn't. If there's a new AI
preventing it in general, that's good news.

-- 
Jeff Carter
"English bed-wetting types."
Monty Python & the Holy Grail