gcc-4.9/gcc/testsuite/gnat.dg/controlled_record.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

with Ada.Finalization;

package Controlled_Record is

   type Point_T is limited private;
   procedure Assert_Invariants (PA : Point_T);

private

   type Coords_T is array (1 .. 2) of Natural;

   type Point_T is new Ada.Finalization.Controlled with record
      Pos : Coords_T := (0, 0);
   end record;

end Controlled_Record;