gcc/testsuite/gnat.dg/controlled_record.ads

   1 with Ada.Finalization;
   2
   3 package Controlled_Record is
   4
   5    type Point_T is limited private;
   6    procedure Assert_Invariants (PA : Point_T);
   7
   8 private
   9
  10    type Coords_T is array (1 .. 2) of Natural;
  11
  12    type Point_T is new Ada.Finalization.Controlled with record
  13       Pos : Coords_T := (0, 0);
  14    end record;
  15
  16 end Controlled_Record;