gcc/testsuite/gnat.dg/incomplete5_pkg.ads


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

generic
   type Record_Type;
package Incomplete5_Pkg is

   type Access_Type is access Record_Type;

   type Base_Object is tagged record
      Handle: Access_Type;
   end record;

   function Get_Handle(Object: Base_Object) return Access_Type;

   function From_Handle(Handle: Access_Type) return Base_Object;

end Incomplete5_Pkg;