diff options
Diffstat (limited to 'src/dyn_interning.ads')
-rw-r--r-- | src/dyn_interning.ads | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/dyn_interning.ads b/src/dyn_interning.ads index 2b5dc5ee4..c1bdab420 100644 --- a/src/dyn_interning.ads +++ b/src/dyn_interning.ads @@ -47,14 +47,18 @@ package Dyn_Interning is procedure Free (Inst : in out Instance); + type Index_Type is new Uns32; + No_Index : constant Index_Type := 0; + First_Index : constant Index_Type := 1; + -- If there is already an existing object for PARAMS, return it. -- Otherwise create it. procedure Get (Inst : in out Instance; Params : Params_Type; Res : out Object_Type); - type Index_Type is new Uns32; - No_Index : constant Index_Type := 0; - First_Index : constant Index_Type := 1; + -- Likewise, but return its index. + procedure Get_Index + (Inst : in out Instance; Params : Params_Type; Idx : out Index_Type); -- Get the number of elements in the table. function Last_Index (Inst : Instance) return Index_Type; |