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