gcc/testsuite/gnat.dg/debug4_pkg.ads

   1 with Ada.Containers.Vectors;
   2
   3 generic
   4    type Vertex_Key is private;
   5 package Debug4_Pkg is
   6
   7    type Vertex_Id is new Natural;
   8    subtype Valid_Vertex_Id is Vertex_Id range 1 .. Vertex_Id'Last;
   9
  10    package VIL is new Ada.Containers.Vectors
  11      (Index_Type   => Positive,
  12       Element_Type => Valid_Vertex_Id);
  13    use VIL;
  14    subtype Vertex_Index_List is VIL.Vector;
  15
  16    package VL is new Ada.Containers.Vectors
  17      (Index_Type   => Valid_Vertex_Id,
  18       Element_Type => Vertex_Key);
  19    use VL;
  20    subtype Vertex_List is VL.Vector;
  21
  22    type T is tagged record
  23       Vertices : Vertex_List;
  24    end record;
  25
  26    function Dominator_Tree (G : T'Class) return T;
  27
  28 end Debug4_Pkg;