1package body Debug4_Pkg is
2
3   type Vertex_To_Vertex_T is array (Vertex_Id range <>) of Vertex_Id;
4
5   function Dominator_Tree_Internal (G : T'Class) return Vertex_To_Vertex_T is
6      subtype V_To_V is Vertex_To_Vertex_T (0 .. G.Vertices.Last_Index);
7      type V_To_VIL is array
8        (Valid_Vertex_Id range 1 .. G.Vertices.Last_Index)
9        of Vertex_Index_List;
10      Bucket : V_To_VIL := (others => VIL.Empty_Vector);
11      Dom    : V_To_V   := (others => 0);
12   begin
13      return Dom;
14   end;
15
16   function Dominator_Tree (G : T'Class) return T is
17      Dom : constant Vertex_To_Vertex_T := Dominator_Tree_Internal (G);
18      DT  : T := (Vertices => VL.Empty_Vector);
19   begin
20      return DT;
21   end;
22
23end Debug4_Pkg;
24