Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/controlled_record.ads @ 140:4e440907fcbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +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;