aaa_0.2.6_dfd6339b/src/aaa-containers-indefinite_holders.adb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
with Ada.Unchecked_Deallocation;

package body AAA.Containers.Indefinite_Holders is

   -----------
   -- Clear --
   -----------

   procedure Clear (This : in out Holder) is
   begin
      This.Finalize;
   end Clear;

   ---------
   -- Get --
   ---------

   function Get (This : Holder) return Const_Ref_Value
   is (Element => This.Item);

   ----------
   -- Hold --
   ----------

   procedure Hold (This : in out Holder; Elem : Held) is
   begin
      This := To_Holder (Elem);
   end Hold;

   ---------------
   -- To_Holder --
   ---------------

   function To_Holder (Elem : Held) return Holder is
     (Ada.Finalization.Controlled with
        Item => new Held'(Elem));

   --------------
   -- Is_Empty --
   --------------

   function Is_Empty (This : Holder) return Boolean is (This.Item = null);

   ---------------
   -- Reference --
   ---------------

   function Reference (This : in out Holder) return Reference_Value is
     (Element => This.Item);

   ------------
   -- Adjust --
   ------------

   overriding procedure Adjust (This : in out Holder) is
   begin
      if This.Item /= null then
         This.Item := new Held'(This.Item.all);
      end if;
   end Adjust;

   -------------
   -- Element --
   -------------

   function Element (This : Holder) return Held is (This.Item.all);

   --------------
   -- Finalize --
   --------------

   overriding procedure Finalize (This : in out Holder) is
      procedure Free is new Ada.Unchecked_Deallocation (Held, Held_Access);
   begin
      Free (This.Item);
   end Finalize;

   -------------------------
   -- Unchecked_Reference --
   -------------------------

   function Unchecked_Reference (This : Holder) return access Held is
     (This.Item);

end AAA.Containers.Indefinite_Holders;