Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/debug4_pkg.ads @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
with Ada.Containers.Vectors; generic type Vertex_Key is private; package Debug4_Pkg is type Vertex_Id is new Natural; subtype Valid_Vertex_Id is Vertex_Id range 1 .. Vertex_Id'Last; package VIL is new Ada.Containers.Vectors (Index_Type => Positive, Element_Type => Valid_Vertex_Id); use VIL; subtype Vertex_Index_List is VIL.Vector; package VL is new Ada.Containers.Vectors (Index_Type => Valid_Vertex_Id, Element_Type => Vertex_Key); use VL; subtype Vertex_List is VL.Vector; type T is tagged record Vertices : Vertex_List; end record; function Dominator_Tree (G : T'Class) return T; end Debug4_Pkg;