1 ------------------------------------------------------------------------------
3 -- GNAT LIBRARY COMPONENTS --
5 -- A D A . C O N T A I N E R S . I N D E F I N I T E _ H O L D E R S --
9 -- Copyright (C) 2011-2024, Free Software Foundation, Inc. --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. --
15 -- GNAT is free software; you can redistribute it and/or modify it under --
16 -- terms of the GNU General Public License as published by the Free Soft- --
17 -- ware Foundation; either version 3, or (at your option) any later ver- --
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
20 -- or FITNESS FOR A PARTICULAR PURPOSE. --
22 -- As a special exception under Section 7 of GPL version 3, you are granted --
23 -- additional permissions described in the GCC Runtime Library Exception, --
24 -- version 3.1, as published by the Free Software Foundation. --
26 -- You should have received a copy of the GNU General Public License and --
27 -- a copy of the GCC Runtime Library Exception along with this program; --
28 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
29 -- <http://www.gnu.org/licenses/>. --
30 ------------------------------------------------------------------------------
32 private with Ada
.Finalization
;
33 private with Ada
.Streams
;
34 private with Ada
.Strings
.Text_Buffers
;
37 type Element_Type
(<>) is private;
38 with function "=" (Left
, Right
: Element_Type
) return Boolean is <>;
40 package Ada
.Containers
.Indefinite_Holders
is
41 pragma Annotate
(CodePeer
, Skip_Analysis
);
42 pragma Preelaborate
(Indefinite_Holders
);
43 pragma Remote_Types
(Indefinite_Holders
);
45 type Holder
is tagged private;
46 pragma Preelaborable_Initialization
(Holder
);
48 Empty_Holder
: constant Holder
;
50 function "=" (Left
, Right
: Holder
) return Boolean;
52 function To_Holder
(New_Item
: Element_Type
) return Holder
;
54 function Is_Empty
(Container
: Holder
) return Boolean;
56 procedure Clear
(Container
: in out Holder
);
58 function Element
(Container
: Holder
) return Element_Type
;
60 procedure Replace_Element
61 (Container
: in out Holder
;
62 New_Item
: Element_Type
);
64 procedure Query_Element
66 Process
: not null access procedure (Element
: Element_Type
));
68 procedure Update_Element
69 (Container
: in out Holder
;
70 Process
: not null access procedure (Element
: in out Element_Type
));
72 type Constant_Reference_Type
73 (Element
: not null access constant Element_Type
) is private
75 Implicit_Dereference
=> Element
;
78 (Element
: not null access Element_Type
) is private
80 Implicit_Dereference
=> Element
;
82 function Constant_Reference
83 (Container
: aliased Holder
) return Constant_Reference_Type
;
84 pragma Inline
(Constant_Reference
);
87 (Container
: aliased in out Holder
) return Reference_Type
;
88 pragma Inline
(Reference
);
90 procedure Assign
(Target
: in out Holder
; Source
: Holder
);
92 function Copy
(Source
: Holder
) return Holder
;
94 procedure Move
(Target
: in out Holder
; Source
: in out Holder
);
96 procedure Swap
(Left
, Right
: in out Holder
);
100 use Ada
.Finalization
;
103 type Element_Access
is access all Element_Type
;
105 type Holder_Access
is access all Holder
;
106 for Holder_Access
'Storage_Size use 0;
109 (Stream
: not null access Ada
.Streams
.Root_Stream_Type
'Class;
110 Container
: out Holder
);
113 (Stream
: not null access Ada
.Streams
.Root_Stream_Type
'Class;
116 type Holder
is new Ada
.Finalization
.Controlled
with record
117 Element
: Element_Access
;
119 end record with Put_Image
=> Put_Image
;
122 (S
: in out Ada
.Strings
.Text_Buffers
.Root_Buffer_Type
'Class; V
: Holder
);
124 for Holder
'Read use Read
;
125 for Holder
'Write use Write
;
127 overriding
procedure Adjust
(Container
: in out Holder
);
128 overriding
procedure Finalize
(Container
: in out Holder
);
130 type Reference_Control_Type
is new Controlled
with record
131 Container
: Holder_Access
;
134 overriding
procedure Adjust
(Control
: in out Reference_Control_Type
);
135 pragma Inline
(Adjust
);
137 overriding
procedure Finalize
(Control
: in out Reference_Control_Type
);
138 pragma Inline
(Finalize
);
140 type Constant_Reference_Type
141 (Element
: not null access constant Element_Type
) is
143 Control
: Reference_Control_Type
:=
144 raise Program_Error
with "uninitialized reference";
145 -- The RM says, "The default initialization of an object of
146 -- type Constant_Reference_Type or Reference_Type propagates
151 (Stream
: not null access Root_Stream_Type
'Class;
152 Item
: Constant_Reference_Type
);
154 for Constant_Reference_Type
'Write use Write
;
157 (Stream
: not null access Root_Stream_Type
'Class;
158 Item
: out Constant_Reference_Type
);
160 for Constant_Reference_Type
'Read use Read
;
162 type Reference_Type
(Element
: not null access Element_Type
) is record
163 Control
: Reference_Control_Type
:=
164 raise Program_Error
with "uninitialized reference";
165 -- The RM says, "The default initialization of an object of
166 -- type Constant_Reference_Type or Reference_Type propagates
171 (Stream
: not null access Root_Stream_Type
'Class;
172 Item
: Reference_Type
);
174 for Reference_Type
'Write use Write
;
177 (Stream
: not null access Root_Stream_Type
'Class;
178 Item
: out Reference_Type
);
180 for Reference_Type
'Read use Read
;
182 Empty_Holder
: constant Holder
:= (Controlled
with null, 0);
184 end Ada
.Containers
.Indefinite_Holders
;