diff options
Diffstat (limited to 'gcc/ada/a-coorma.ads')
| -rw-r--r-- | gcc/ada/a-coorma.ads | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/gcc/ada/a-coorma.ads b/gcc/ada/a-coorma.ads index 04fe1cf05c3..1beea7bbff5 100644 --- a/gcc/ada/a-coorma.ads +++ b/gcc/ada/a-coorma.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2011, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -33,6 +33,7 @@ private with Ada.Containers.Red_Black_Trees; private with Ada.Finalization; + with Ada.Streams; use Ada.Streams; with Ada.Iterator_Interfaces; @@ -49,8 +50,7 @@ package Ada.Containers.Ordered_Maps is function Equivalent_Keys (Left, Right : Key_Type) return Boolean; - type Map is tagged private - with + type Map is tagged private with constant_Indexing => Constant_Reference, Variable_Indexing => Reference, Default_Iterator => Iterate, @@ -62,6 +62,7 @@ package Ada.Containers.Ordered_Maps is Empty_Map : constant Map; No_Element : constant Cursor; + function Has_Element (Position : Cursor) return Boolean; package Map_Iterator_Interfaces is new @@ -211,8 +212,9 @@ package Ada.Containers.Ordered_Maps is for Reference_Type'Write use Write; function Constant_Reference - (Container : Map; Key : Key_Type) -- SHOULD BE ALIASED - return Constant_Reference_Type; + (Container : Map; + Key : Key_Type) -- SHOULD BE ALIASED??? + return Constant_Reference_Type; function Reference (Container : Map; Key : Key_Type) return Reference_Type; @@ -221,10 +223,13 @@ package Ada.Containers.Ordered_Maps is (Container : Map; Process : not null access procedure (Position : Cursor)); - function Iterate (Container : Map) + function Iterate + (Container : Map) return Map_Iterator_Interfaces.Forward_Iterator'class; - function Iterate (Container : Map; Start : Cursor) + function Iterate + (Container : Map; + Start : Cursor) return Map_Iterator_Interfaces.Reversible_Iterator'class; procedure Reverse_Iterate |