From c96cb4e7ae19054135b2ed0723d0aabdb56a945a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 20 Sep 2019 04:22:21 +0200
Subject: interning: now based on dyn_interning.

---
 src/interning.adb | 106 +++---------------------------------------------------
 1 file changed, 5 insertions(+), 101 deletions(-)

(limited to 'src/interning.adb')

diff --git a/src/interning.adb b/src/interning.adb
index 66aedf903..da4e88dfc 100644
--- a/src/interning.adb
+++ b/src/interning.adb
@@ -16,125 +16,29 @@
 --  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 --  02111-1307, USA.
 
-with Ada.Unchecked_Deallocation;
-with Dyn_Tables;
-
 package body Interning is
-   type Element_Wrapper is record
-      Hash : Hash_Value_Type;
-      Next : Index_Type;
-      Obj  : Object_Type;
-   end record;
-
-   package Wrapper_Tables is new Dyn_Tables
-     (Table_Index_Type => Index_Type,
-      Table_Component_Type => Element_Wrapper,
-      Table_Low_Bound => No_Index + 1,
-      Table_Initial => 128);
-
-   type Hash_Array is array (Hash_Value_Type range <>) of Index_Type;
-   type Hash_Array_Acc is access Hash_Array;
-
-   Initial_Size : constant Hash_Value_Type := 1024;
-
-   Size : Hash_Value_Type;
-   Hash_Table : Hash_Array_Acc;
-   Els : Wrapper_Tables.Instance;
-
-   procedure Deallocate is new Ada.Unchecked_Deallocation
-     (Hash_Array, Hash_Array_Acc);
+   Inst : Implementation.Instance;
 
    procedure Init is
    begin
-      Size := Initial_Size;
-      Hash_Table := new Hash_Array'(0 .. Initial_Size - 1 => No_Index);
-      Wrapper_Tables.Init (Els);
-      pragma Assert (Wrapper_Tables.Last (Els) = No_Index);
+      Implementation.Init (Inst);
    end Init;
 
-   --  Expand the hash table (double the size).
-   procedure Expand
-   is
-      Old_Hash_Table : Hash_Array_Acc;
-      Idx : Index_Type;
-   begin
-      Old_Hash_Table := Hash_Table;
-      Size := Size * 2;
-      Hash_Table := new Hash_Array'(0 .. Size - 1 => No_Index);
-
-      --  Rehash.
-      for I in Old_Hash_Table'Range loop
-         Idx := Old_Hash_Table (I);
-         while Idx /= No_Index loop
-            --  Note: collisions are put in reverse order.
-            declare
-               Ent : Element_Wrapper renames Els.Table (Idx);
-               Hash_Index : constant Hash_Value_Type :=
-                 Ent.Hash and (Size - 1);
-               Next_Idx : constant Index_Type := Ent.Next;
-            begin
-               Ent.Next := Hash_Table (Hash_Index);
-               Hash_Table (Hash_Index) := Idx;
-               Idx := Next_Idx;
-            end;
-         end loop;
-      end loop;
-
-      Deallocate (Old_Hash_Table);
-   end Expand;
-
    function Get (Params : Params_Type) return Object_Type
    is
-      Hash_Value : Hash_Value_Type;
-      Hash_Index : Hash_Value_Type;
-      Idx : Index_Type;
       Res : Object_Type;
    begin
-      --  Check if the package was initialized.
-      pragma Assert (Hash_Table /= null);
-
-      Hash_Value := Hash (Params);
-      Hash_Index := Hash_Value and (Size - 1);
-
-      Idx := Hash_Table (Hash_Index);
-      while Idx /= No_Index loop
-         declare
-            E : Element_Wrapper renames Els.Table (Idx);
-         begin
-            if E.Hash = Hash_Value and then Equal (E.Obj, Params) then
-               return E.Obj;
-            end if;
-            Idx := E.Next;
-         end;
-      end loop;
-
-      --  Maybe expand the table.
-      if Hash_Value_Type (Wrapper_Tables.Last (Els)) > 2 * Size then
-         Expand;
-
-         --  Recompute hash index.
-         Hash_Index := Hash_Value and (Size - 1);
-      end if;
-
-      Res := Build (Params);
-
-      --  Insert.
-      Wrapper_Tables.Append (Els,
-                             (Hash => Hash_Value,
-                              Next => Hash_Table (Hash_Index),
-                              Obj => Res));
-      Hash_Table (Hash_Index) := Wrapper_Tables.Last (Els);
+      Implementation.Get (Inst, Params, Res);
       return Res;
    end Get;
 
    function Last_Index return Index_Type is
    begin
-      return Wrapper_Tables.Last (Els);
+      return Implementation.Last_Index (Inst);
    end Last_Index;
 
    function Get_By_Index (Index : Index_Type) return Object_Type is
    begin
-      pragma Assert (Index <= Wrapper_Tables.Last (Els));
-      return Els.Table (Index).Obj;
+      return Implementation.Get_By_Index (Inst, Index);
    end Get_By_Index;
 end Interning;
-- 
cgit v1.2.3