From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: On absurdity of collections 7.6.1 (11.1/3)
Date: Wed, 29 Sep 2021 11:09:58 +0200 [thread overview]
Message-ID: <sj1ah7$7kr$1@gioia.aioe.org> (raw)
For Ada programmers who wonder what it is, here is a practical example.
Given the package specification:
package P is
type Item (Length : Positive) is
new Ada.Finalization.Limited_Controlled with
record
Text : String (1..Length);
end record;
overriding procedure Finalize (X : in out Item);
type Item_Ptr is access all Item;
function New_Item
( Pool : in out Root_Storage_Pool'Class;
Text : String
) return Item_Ptr;
procedure Free is new Ada.Unchecked_Deallocation (Item, Item_Ptr);
end P;
and the program using it like this:
Ptr : Item_Ptr := New_Item (Some_Pool, "A");
...
Free (Ptr);
Write the package body.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next reply other threads:[~2021-09-29 9:09 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-29 9:09 Dmitry A. Kazakov [this message]
2021-09-29 11:05 ` On absurdity of collections 7.6.1 (11.1/3) Simon Wright
2021-09-29 11:20 ` Dmitry A. Kazakov
2021-09-29 21:38 ` Simon Wright
2021-09-30 8:07 ` Dmitry A. Kazakov
2021-09-30 8:35 ` Simon Wright
2021-09-30 8:49 ` Dmitry A. Kazakov
2021-10-01 1:37 ` Randy Brukardt
2021-10-01 7:57 ` Dmitry A. Kazakov
2021-09-30 0:23 ` Randy Brukardt
2021-09-30 8:06 ` Dmitry A. Kazakov
2021-09-30 18:23 ` G.B.
2021-09-30 18:52 ` Dmitry A. Kazakov
2021-10-01 1:40 ` Randy Brukardt
2021-10-01 7:57 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox