18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
-- 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;
|
|
>
|
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;
private with Natools.References;
private with System.Storage_Pools;
package Natools.Reference_Tests is
package NT renames Natools.Tests;
procedure All_Tests (Report : in out NT.Reporter'Class);
|
44
45
46
47
48
49
50
51
52
53
54
55
56
|
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);
end Natools.Reference_Tests;
|
|
|
|
>
>
|
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,
System.Storage_Pools.Root_Storage_Pool'Class (Pool),
System.Storage_Pools.Root_Storage_Pool'Class (Pool));
end Natools.Reference_Tests;
|