comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Subject: Re: Freeing access-to-task objects
Date: Sun, 9 Oct 2022 21:42:38 +0200	[thread overview]
Message-ID: <thv87e$f6s8$1@dont-email.me> (raw)
In-Reply-To: <86a665htb0.fsf@stephe-leake.org>

On 2022-10-09 18:10, Stephen Leake wrote:
> "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:
> 
>> On 2022-10-01 13:40, J-P. Rosen wrote:
>>> 1) declare the access type in a block, which is then the master of
>>> the tasks. When you exit the block, the tasks are terminated.
>>
>> When you exit the block, the access type doesn't exist, so you can't
>> free anything.
> 
> But Ada frees all objects allocated using the locally declared access
> type when the block is exited.

This is only required if the access type has Storage_Size specified (ARM 
13.11/18.4 http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11.html#I5208).

-- 
Jeff Carter
"I was hobbling along, minding my own business, all of a
sudden, up he comes, cures me! One minute I'm a leper with
a trade, next minute my livelihood's gone! Not so much as a
'by your leave!' You're cured, mate. Bloody do-gooder!"
Monty Python's Life of Brian
76


  reply	other threads:[~2022-10-09 19:42 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-09-30 10:16 Freeing access-to-task objects Emmanuel Briot
2022-10-01 11:40 ` J-P. Rosen
2022-10-01 11:58   ` Dmitry A. Kazakov
2022-10-01 21:26     ` Björn Lundin
2022-10-01 14:01   ` Jeffrey R.Carter
2022-10-01 14:45     ` Emmanuel Briot
2022-10-09 16:10     ` Stephen Leake
2022-10-09 19:42       ` Jeffrey R.Carter [this message]
2022-10-10  8:13         ` Simon Wright
2022-10-10 16:35           ` Jeffrey R.Carter
2022-10-10 20:23       ` AdaMagica
replies disabled

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