Differences From Artifact [eb6f847a7f]:
- File tests/natools-reference_tests.ads — part of check-in [779fe5056a] at 2013-09-24 18:28:15 on branch trunk — references: add storage pool formal parameters (user: nat size: 2656)
To Artifact [695396ae27]:
- File tests/natools-reference_tests.ads — part of check-in [2d7c2f8e09] at 2014-07-12 16:08:22 on branch trunk — reference_tests: use the new access-based constructors, to reach full coverage again (user: nat size: 2718)
| ︙ | |||
43 44 45 46 47 48 49 50 51 52 53 54 55 56 | 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | + |
Instance_Count : Integer := 0;
type Counter is new Ada.Finalization.Limited_Controlled with record
Instance_Number : Natural := 0;
end record;
function Factory return Counter;
overriding procedure Initialize (Object : in out 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),
|
| ︙ |