diff options
Diffstat (limited to 'gcc/ada/a-crbltr.ads')
| -rw-r--r-- | gcc/ada/a-crbltr.ads | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/ada/a-crbltr.ads b/gcc/ada/a-crbltr.ads new file mode 100644 index 00000000000..fe20d457c49 --- /dev/null +++ b/gcc/ada/a-crbltr.ads @@ -0,0 +1,31 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT LIBRARY COMPONENTS -- +-- -- +-- ADA.CONTAINERS.RED_BLACK_TREES -- +-- -- +-- S p e c -- +-- -- +-- This specification is adapted from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +package Ada.Containers.Red_Black_Trees is +pragma Pure (Red_Black_Trees); + + type Color_Type is (Red, Black); + + generic + type Node_Access is private; + package Generic_Tree_Types is + type Tree_Type is record + First : Node_Access; + Last : Node_Access; + Root : Node_Access; + Length : Count_Type; + end record; + end Generic_Tree_Types; +end Ada.Containers.Red_Black_Trees; |