/usr/share/ada/adainclude/alog/alog-controlled_map.adb is in libalog3-dev 0.5.2-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 | --
-- Copyright (c) 2009,
-- Reto Buerki, Adrian-Ken Rueegsegger
--
-- This file is part of Alog.
--
-- Alog is free software; you can redistribute it and/or modify
-- it under the terms of the GNU Lesser General Public License as published
-- by the Free Software Foundation; either version 2.1 of the License, or
-- (at your option) any later version.
--
-- Alog is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU Lesser General Public License for more details.
--
-- You should have received a copy of the GNU Lesser General Public License
-- along with Alog; if not, write to the Free Software
-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
-- MA 02110-1301 USA
--
with Ada.Unchecked_Deallocation;
package body Alog.Controlled_Map is
procedure Free is new Ada.Unchecked_Deallocation
(Object => Element_Type,
Name => Element_Handle);
-- Free memory occupied by an element.
-------------------------------------------------------------------------
procedure Clear (Container : in out Map) is
procedure Do_Free (Position : MOEP.Cursor);
-- Free the memory of an element.
procedure Do_Free (Position : MOEP.Cursor) is
Handle : Element_Handle :=
MOEP.Element (Position => Position);
begin
Free (X => Handle);
end Do_Free;
begin
Container.Data.Iterate (Do_Free'Access);
Container.Data.Clear;
end Clear;
-------------------------------------------------------------------------
function Contains
(Container : Map;
Key : Key_Type)
return Boolean
is
begin
return Container.Data.Contains (Key => Key);
end Contains;
-------------------------------------------------------------------------
procedure Delete
(Container : in out Map;
Key : Key_Type)
is
Handle : Element_Handle :=
Container.Data.Element (Key => Key);
begin
Container.Data.Delete (Key => Key);
Free (Handle);
end Delete;
-------------------------------------------------------------------------
function Element
(Container : Map;
Key : Key_Type)
return Element_Handle
is
begin
return Container.Data.Element (Key => Key);
end Element;
-------------------------------------------------------------------------
procedure Finalize (Container : in out Map) is
begin
Container.Clear;
end Finalize;
-------------------------------------------------------------------------
procedure Insert
(Container : in out Map;
Key : Key_Type;
New_Item : Element_Handle)
is
begin
Container.Data.Insert (Key => Key,
New_Item => New_Item);
end Insert;
-------------------------------------------------------------------------
function Is_Empty (Container : Map) return Boolean is
begin
return Container.Data.Is_Empty;
end Is_Empty;
-------------------------------------------------------------------------
procedure Iterate
(Container : Map;
Process : not null access procedure (Handle : Element_Handle))
is
procedure Call_Process (Position : MOEP.Cursor);
-- Call 'Process' for each element handle.
procedure Call_Process (Position : MOEP.Cursor) is
E_Handle : constant Element_Handle :=
MOEP.Element (Position => Position);
begin
Process (Handle => E_Handle);
end Call_Process;
begin
Container.Data.Iterate (Process => Call_Process'Access);
end Iterate;
-------------------------------------------------------------------------
function Length (Container : Map) return Natural is
begin
return Natural (Container.Data.Length);
end Length;
end Alog.Controlled_Map;
|