Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/controlled_record.ads @ 152:2b5abeee2509

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
line wrap: on
line source

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;