Index: src/natools-constant_indefinite_ordered_maps.ads ================================================================== --- src/natools-constant_indefinite_ordered_maps.ads +++ src/natools-constant_indefinite_ordered_maps.ads @@ -1,7 +1,7 @@ ------------------------------------------------------------------------------ --- Copyright (c) 2014, Natacha Porté -- +-- Copyright (c) 2014-2015, Natacha Porté -- -- -- -- Permission to use, copy, modify, and distribute this software for any -- -- purpose with or without fee is hereby granted, provided that the above -- -- copyright notice and this permission notice appear in all copies. -- -- -- @@ -220,10 +220,13 @@ (Container : aliased in out Updatable_Map; Key : in Key_Type) return Reference_Type; + Empty_Constant_Map : constant Constant_Map; + Empty_Updatable_Map : constant Updatable_Map; + private type Key_Access is access Key_Type; type Element_Access is access Element_Type; @@ -376,8 +379,10 @@ Position : Cursor) return Cursor with Pre => Position.Is_Empty or else Backend_Refs."=" (Position.Backend, Object.Backend); + Empty_Constant_Map : constant Constant_Map := (Backend => <>); + Empty_Updatable_Map : constant Updatable_Map := (Backend => <>); No_Element : constant Cursor := (Is_Empty => True); end Natools.Constant_Indefinite_Ordered_Maps;