From d6420ea77718e86a9ebceb5432bea63f8f41a049 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 21 May 2020 21:18:16 +0200
Subject: dyn_interning: add a Modify method.

---
 src/dyn_interning.adb | 7 +++++++
 src/dyn_interning.ads | 8 +++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/dyn_interning.adb b/src/dyn_interning.adb
index 0550194f6..3388e184c 100644
--- a/src/dyn_interning.adb
+++ b/src/dyn_interning.adb
@@ -136,4 +136,11 @@ package body Dyn_Interning is
       pragma Assert (Index <= Wrapper_Tables.Last (Inst.Els));
       return Inst.Els.Table (Index).Obj;
    end Get_By_Index;
+
+   procedure Modify
+     (Inst : in out Instance; Index : Index_Type; Obj : Object_Type) is
+   begin
+      pragma Assert (Index <= Wrapper_Tables.Last (Inst.Els));
+      Inst.Els.Table (Index).Obj := Obj;
+   end Modify;
 end Dyn_Interning;
diff --git a/src/dyn_interning.ads b/src/dyn_interning.ads
index 5412b6772..f0ec7d4a8 100644
--- a/src/dyn_interning.ads
+++ b/src/dyn_interning.ads
@@ -66,7 +66,13 @@ package Dyn_Interning is
    --  Get an element by index.  The index has no real meaning, but the
    --  current implementation allocates index incrementally.
    function Get_By_Index (Inst : Instance; Index : Index_Type)
-                         return Object_Type;
+                          return Object_Type;
+
+   --  Modify an existing object.
+   --  Must not change the definition of Equal!
+   procedure Modify
+     (Inst : in out Instance; Index : Index_Type; Obj : Object_Type);
+
 private
    type Element_Wrapper is record
       Hash : Hash_Value_Type;
-- 
cgit v1.2.3