18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
-
+
+
|
-- Natools.Reference_Tests is a test suite for Natools.References --
-- reference-counted object holder. --
------------------------------------------------------------------------------
with Natools.Tests;
private with Ada.Finalization;
-- private with GNAT.Debug_Pools;
|
44
45
46
47
48
49
50
51
52
53
54
55
56
|
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
-
+
-
-
+
+
+
+
|
type Counter is new Ada.Finalization.Limited_Controlled with record
Instance_Number : Natural := 0;
end record;
function Factory return Counter;
overriding procedure Finalize (Object : in out Counter);
-- Pool : GNAT.Debug_Pools.Debug_Pool;
package Refs is new Natools.References (Counter);
-- (Counter, System.Pool_Global.Global_Pool_Object, Pool);
package Refs is new Natools.References
(Counter,
System.Storage_Pools.Root_Storage_Pool'Class (Pool),
System.Storage_Pools.Root_Storage_Pool'Class (Pool));
end Natools.Reference_Tests;
|