diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-21 21:18:16 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-21 21:18:16 +0200 |
| commit | d6420ea77718e86a9ebceb5432bea63f8f41a049 (patch) | |
| tree | 4d1e43ed6f570daa75cd76e8a9169e66301ba860 /src/dyn_interning.ads | |
| parent | 6796aca2963dbdf9b48331ad46014bcf6382fb73 (diff) | |
| download | ghdl-d6420ea77718e86a9ebceb5432bea63f8f41a049.tar.gz ghdl-d6420ea77718e86a9ebceb5432bea63f8f41a049.tar.bz2 ghdl-d6420ea77718e86a9ebceb5432bea63f8f41a049.zip | |
dyn_interning: add a Modify method.
Diffstat (limited to 'src/dyn_interning.ads')
| -rw-r--r-- | src/dyn_interning.ads | 8 |
1 files changed, 7 insertions, 1 deletions
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; |