------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real-time scheduling analysis tool. -- This program provides services to automatically check schedulability and -- other performance criteria of real-time architecture models. -- -- Copyright (C) 2002-2016, Frank Singhoff, Alain Plantec, Jerome Legrand -- -- The Cheddar project was started in 2002 by -- Frank Singhoff, Lab-STICC UMR 6285 laboratory, Université de Bretagne Occidentale -- -- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- The full list of contributors and sponsors can be found in AUTHORS.txt and SPONSORS.txt -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program 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 General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- ------------------------------------------------------------------------------ -- Last update : -- $Rev: 1249 $ -- $Date: 2014-08-28 07:02:15 +0200 (Fri, 28 Aug 2014) $ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Text_IO; use Text_IO; package body hashs is procedure put (h : in hash) is current : link; begin for i in hash'Range loop current := h (i); while current /= null loop Put ("Index = " & To_String (current.index)); Put (" Data = "); put (current.a_data); New_Line; New_Line; current := current.next; end loop; end loop; end put; procedure initialize (h : in out hash) is begin for i in hash'Range loop h (i) := null; end loop; end initialize; procedure add (h : in out hash; index : in Unbounded_String; d : in data_type) is item : constant Natural := compute_hash (index); c : link; begin if h (item) /= null then c := new cell; c.a_data := d; c.index := index; c.next := h (item).next; h (item).next := c; else h (item) := new cell; h (item).a_data := d; h (item).index := index; end if; end add; function consult (h : in hash; index : in Unbounded_String) return data_type is item : constant Natural := compute_hash (index); current : link := h (item); begin while current /= null loop if current.index = index then return current.a_data; end if; current := current.next; end loop; raise data_not_found; end consult; end hashs;