annotate gcc/ada/libgnat/a-stwiun.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ------------------------------------------------------------------------------
kono
parents:
diff changeset
2 -- --
kono
parents:
diff changeset
3 -- GNAT RUN-TIME COMPONENTS --
kono
parents:
diff changeset
4 -- --
kono
parents:
diff changeset
5 -- A D A . S T R I N G S . W I D E _ U N B O U N D E D --
kono
parents:
diff changeset
6 -- --
kono
parents:
diff changeset
7 -- S p e c --
kono
parents:
diff changeset
8 -- --
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
111
kono
parents:
diff changeset
10 -- --
kono
parents:
diff changeset
11 -- This specification is derived from the Ada Reference Manual for use with --
kono
parents:
diff changeset
12 -- GNAT. The copyright notice above, and the license provisions that follow --
kono
parents:
diff changeset
13 -- apply solely to the contents of the part following the private keyword. --
kono
parents:
diff changeset
14 -- --
kono
parents:
diff changeset
15 -- GNAT is free software; you can redistribute it and/or modify it under --
kono
parents:
diff changeset
16 -- terms of the GNU General Public License as published by the Free Soft- --
kono
parents:
diff changeset
17 -- ware Foundation; either version 3, or (at your option) any later ver- --
kono
parents:
diff changeset
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
kono
parents:
diff changeset
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
kono
parents:
diff changeset
20 -- or FITNESS FOR A PARTICULAR PURPOSE. --
kono
parents:
diff changeset
21 -- --
kono
parents:
diff changeset
22 -- As a special exception under Section 7 of GPL version 3, you are granted --
kono
parents:
diff changeset
23 -- additional permissions described in the GCC Runtime Library Exception, --
kono
parents:
diff changeset
24 -- version 3.1, as published by the Free Software Foundation. --
kono
parents:
diff changeset
25 -- --
kono
parents:
diff changeset
26 -- You should have received a copy of the GNU General Public License and --
kono
parents:
diff changeset
27 -- a copy of the GCC Runtime Library Exception along with this program; --
kono
parents:
diff changeset
28 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
kono
parents:
diff changeset
29 -- <http://www.gnu.org/licenses/>. --
kono
parents:
diff changeset
30 -- --
kono
parents:
diff changeset
31 -- GNAT was originally developed by the GNAT team at New York University. --
kono
parents:
diff changeset
32 -- Extensive contributions were provided by Ada Core Technologies Inc. --
kono
parents:
diff changeset
33 -- --
kono
parents:
diff changeset
34 ------------------------------------------------------------------------------
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 with Ada.Strings.Wide_Maps;
kono
parents:
diff changeset
37 with Ada.Finalization;
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 package Ada.Strings.Wide_Unbounded is
kono
parents:
diff changeset
40 pragma Preelaborate;
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 type Unbounded_Wide_String is private;
kono
parents:
diff changeset
43 pragma Preelaborable_Initialization (Unbounded_Wide_String);
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 Null_Unbounded_Wide_String : constant Unbounded_Wide_String;
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 function Length (Source : Unbounded_Wide_String) return Natural;
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 type Wide_String_Access is access all Wide_String;
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 procedure Free (X : in out Wide_String_Access);
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 --------------------------------------------------------
kono
parents:
diff changeset
54 -- Conversion, Concatenation, and Selection Functions --
kono
parents:
diff changeset
55 --------------------------------------------------------
kono
parents:
diff changeset
56
kono
parents:
diff changeset
57 function To_Unbounded_Wide_String
kono
parents:
diff changeset
58 (Source : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 function To_Unbounded_Wide_String
kono
parents:
diff changeset
61 (Length : Natural) return Unbounded_Wide_String;
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 function To_Wide_String
kono
parents:
diff changeset
64 (Source : Unbounded_Wide_String)
kono
parents:
diff changeset
65 return Wide_String;
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67 procedure Set_Unbounded_Wide_String
kono
parents:
diff changeset
68 (Target : out Unbounded_Wide_String;
kono
parents:
diff changeset
69 Source : Wide_String);
kono
parents:
diff changeset
70 pragma Ada_05 (Set_Unbounded_Wide_String);
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 procedure Append
kono
parents:
diff changeset
73 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
74 New_Item : Unbounded_Wide_String);
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 procedure Append
kono
parents:
diff changeset
77 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
78 New_Item : Wide_String);
kono
parents:
diff changeset
79
kono
parents:
diff changeset
80 procedure Append
kono
parents:
diff changeset
81 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
82 New_Item : Wide_Character);
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 function "&"
kono
parents:
diff changeset
85 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
86 Right : Unbounded_Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 function "&"
kono
parents:
diff changeset
89 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
90 Right : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 function "&"
kono
parents:
diff changeset
93 (Left : Wide_String;
kono
parents:
diff changeset
94 Right : Unbounded_Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 function "&"
kono
parents:
diff changeset
97 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
98 Right : Wide_Character) return Unbounded_Wide_String;
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 function "&"
kono
parents:
diff changeset
101 (Left : Wide_Character;
kono
parents:
diff changeset
102 Right : Unbounded_Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
103
kono
parents:
diff changeset
104 function Element
kono
parents:
diff changeset
105 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
106 Index : Positive) return Wide_Character;
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 procedure Replace_Element
kono
parents:
diff changeset
109 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
110 Index : Positive;
kono
parents:
diff changeset
111 By : Wide_Character);
kono
parents:
diff changeset
112
kono
parents:
diff changeset
113 function Slice
kono
parents:
diff changeset
114 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
115 Low : Positive;
kono
parents:
diff changeset
116 High : Natural) return Wide_String;
kono
parents:
diff changeset
117
kono
parents:
diff changeset
118 function Unbounded_Slice
kono
parents:
diff changeset
119 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
120 Low : Positive;
kono
parents:
diff changeset
121 High : Natural) return Unbounded_Wide_String;
kono
parents:
diff changeset
122 pragma Ada_05 (Unbounded_Slice);
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 procedure Unbounded_Slice
kono
parents:
diff changeset
125 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
126 Target : out Unbounded_Wide_String;
kono
parents:
diff changeset
127 Low : Positive;
kono
parents:
diff changeset
128 High : Natural);
kono
parents:
diff changeset
129 pragma Ada_05 (Unbounded_Slice);
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 function "="
kono
parents:
diff changeset
132 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
133 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 function "="
kono
parents:
diff changeset
136 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
137 Right : Wide_String) return Boolean;
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 function "="
kono
parents:
diff changeset
140 (Left : Wide_String;
kono
parents:
diff changeset
141 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
142
kono
parents:
diff changeset
143 function "<"
kono
parents:
diff changeset
144 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
145 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 function "<"
kono
parents:
diff changeset
148 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
149 Right : Wide_String) return Boolean;
kono
parents:
diff changeset
150
kono
parents:
diff changeset
151 function "<"
kono
parents:
diff changeset
152 (Left : Wide_String;
kono
parents:
diff changeset
153 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
154
kono
parents:
diff changeset
155 function "<="
kono
parents:
diff changeset
156 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
157 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 function "<="
kono
parents:
diff changeset
160 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
161 Right : Wide_String) return Boolean;
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163 function "<="
kono
parents:
diff changeset
164 (Left : Wide_String;
kono
parents:
diff changeset
165 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 function ">"
kono
parents:
diff changeset
168 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
169 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
170
kono
parents:
diff changeset
171 function ">"
kono
parents:
diff changeset
172 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
173 Right : Wide_String) return Boolean;
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175 function ">"
kono
parents:
diff changeset
176 (Left : Wide_String;
kono
parents:
diff changeset
177 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179 function ">="
kono
parents:
diff changeset
180 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
181 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
182
kono
parents:
diff changeset
183 function ">="
kono
parents:
diff changeset
184 (Left : Unbounded_Wide_String;
kono
parents:
diff changeset
185 Right : Wide_String) return Boolean;
kono
parents:
diff changeset
186
kono
parents:
diff changeset
187 function ">="
kono
parents:
diff changeset
188 (Left : Wide_String;
kono
parents:
diff changeset
189 Right : Unbounded_Wide_String) return Boolean;
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 ------------------------
kono
parents:
diff changeset
192 -- Search Subprograms --
kono
parents:
diff changeset
193 ------------------------
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 function Index
kono
parents:
diff changeset
196 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
197 Pattern : Wide_String;
kono
parents:
diff changeset
198 Going : Direction := Forward;
kono
parents:
diff changeset
199 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
kono
parents:
diff changeset
200 return Natural;
kono
parents:
diff changeset
201
kono
parents:
diff changeset
202 function Index
kono
parents:
diff changeset
203 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
204 Pattern : Wide_String;
kono
parents:
diff changeset
205 Going : Direction := Forward;
kono
parents:
diff changeset
206 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
kono
parents:
diff changeset
207
kono
parents:
diff changeset
208 function Index
kono
parents:
diff changeset
209 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
210 Set : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
211 Test : Membership := Inside;
kono
parents:
diff changeset
212 Going : Direction := Forward) return Natural;
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 function Index
kono
parents:
diff changeset
215 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
216 Pattern : Wide_String;
kono
parents:
diff changeset
217 From : Positive;
kono
parents:
diff changeset
218 Going : Direction := Forward;
kono
parents:
diff changeset
219 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
kono
parents:
diff changeset
220 return Natural;
kono
parents:
diff changeset
221 pragma Ada_05 (Index);
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 function Index
kono
parents:
diff changeset
224 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
225 Pattern : Wide_String;
kono
parents:
diff changeset
226 From : Positive;
kono
parents:
diff changeset
227 Going : Direction := Forward;
kono
parents:
diff changeset
228 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
kono
parents:
diff changeset
229 pragma Ada_05 (Index);
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 function Index
kono
parents:
diff changeset
232 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
233 Set : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
234 From : Positive;
kono
parents:
diff changeset
235 Test : Membership := Inside;
kono
parents:
diff changeset
236 Going : Direction := Forward) return Natural;
kono
parents:
diff changeset
237 pragma Ada_05 (Index);
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 function Index_Non_Blank
kono
parents:
diff changeset
240 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
241 Going : Direction := Forward) return Natural;
kono
parents:
diff changeset
242
kono
parents:
diff changeset
243 function Index_Non_Blank
kono
parents:
diff changeset
244 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
245 From : Positive;
kono
parents:
diff changeset
246 Going : Direction := Forward) return Natural;
kono
parents:
diff changeset
247 pragma Ada_05 (Index_Non_Blank);
kono
parents:
diff changeset
248
kono
parents:
diff changeset
249 function Count
kono
parents:
diff changeset
250 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
251 Pattern : Wide_String;
kono
parents:
diff changeset
252 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
kono
parents:
diff changeset
253 return Natural;
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255 function Count
kono
parents:
diff changeset
256 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
257 Pattern : Wide_String;
kono
parents:
diff changeset
258 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
kono
parents:
diff changeset
259
kono
parents:
diff changeset
260 function Count
kono
parents:
diff changeset
261 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
262 Set : Wide_Maps.Wide_Character_Set) return Natural;
kono
parents:
diff changeset
263
kono
parents:
diff changeset
264 procedure Find_Token
kono
parents:
diff changeset
265 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
266 Set : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
267 From : Positive;
kono
parents:
diff changeset
268 Test : Membership;
kono
parents:
diff changeset
269 First : out Positive;
kono
parents:
diff changeset
270 Last : out Natural);
kono
parents:
diff changeset
271 pragma Ada_2012 (Find_Token);
kono
parents:
diff changeset
272
kono
parents:
diff changeset
273 procedure Find_Token
kono
parents:
diff changeset
274 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
275 Set : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
276 Test : Membership;
kono
parents:
diff changeset
277 First : out Positive;
kono
parents:
diff changeset
278 Last : out Natural);
kono
parents:
diff changeset
279
kono
parents:
diff changeset
280 ------------------------------------
kono
parents:
diff changeset
281 -- String Translation Subprograms --
kono
parents:
diff changeset
282 ------------------------------------
kono
parents:
diff changeset
283
kono
parents:
diff changeset
284 function Translate
kono
parents:
diff changeset
285 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
286 Mapping : Wide_Maps.Wide_Character_Mapping)
kono
parents:
diff changeset
287 return Unbounded_Wide_String;
kono
parents:
diff changeset
288
kono
parents:
diff changeset
289 procedure Translate
kono
parents:
diff changeset
290 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
291 Mapping : Wide_Maps.Wide_Character_Mapping);
kono
parents:
diff changeset
292
kono
parents:
diff changeset
293 function Translate
kono
parents:
diff changeset
294 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
295 Mapping : Wide_Maps.Wide_Character_Mapping_Function)
kono
parents:
diff changeset
296 return Unbounded_Wide_String;
kono
parents:
diff changeset
297
kono
parents:
diff changeset
298 procedure Translate
kono
parents:
diff changeset
299 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
300 Mapping : Wide_Maps.Wide_Character_Mapping_Function);
kono
parents:
diff changeset
301
kono
parents:
diff changeset
302 ---------------------------------------
kono
parents:
diff changeset
303 -- String Transformation Subprograms --
kono
parents:
diff changeset
304 ---------------------------------------
kono
parents:
diff changeset
305
kono
parents:
diff changeset
306 function Replace_Slice
kono
parents:
diff changeset
307 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
308 Low : Positive;
kono
parents:
diff changeset
309 High : Natural;
kono
parents:
diff changeset
310 By : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
311
kono
parents:
diff changeset
312 procedure Replace_Slice
kono
parents:
diff changeset
313 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
314 Low : Positive;
kono
parents:
diff changeset
315 High : Natural;
kono
parents:
diff changeset
316 By : Wide_String);
kono
parents:
diff changeset
317
kono
parents:
diff changeset
318 function Insert
kono
parents:
diff changeset
319 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
320 Before : Positive;
kono
parents:
diff changeset
321 New_Item : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
322
kono
parents:
diff changeset
323 procedure Insert
kono
parents:
diff changeset
324 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
325 Before : Positive;
kono
parents:
diff changeset
326 New_Item : Wide_String);
kono
parents:
diff changeset
327
kono
parents:
diff changeset
328 function Overwrite
kono
parents:
diff changeset
329 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
330 Position : Positive;
kono
parents:
diff changeset
331 New_Item : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
332
kono
parents:
diff changeset
333 procedure Overwrite
kono
parents:
diff changeset
334 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
335 Position : Positive;
kono
parents:
diff changeset
336 New_Item : Wide_String);
kono
parents:
diff changeset
337
kono
parents:
diff changeset
338 function Delete
kono
parents:
diff changeset
339 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
340 From : Positive;
kono
parents:
diff changeset
341 Through : Natural) return Unbounded_Wide_String;
kono
parents:
diff changeset
342
kono
parents:
diff changeset
343 procedure Delete
kono
parents:
diff changeset
344 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
345 From : Positive;
kono
parents:
diff changeset
346 Through : Natural);
kono
parents:
diff changeset
347
kono
parents:
diff changeset
348 function Trim
kono
parents:
diff changeset
349 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
350 Side : Trim_End) return Unbounded_Wide_String;
kono
parents:
diff changeset
351
kono
parents:
diff changeset
352 procedure Trim
kono
parents:
diff changeset
353 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
354 Side : Trim_End);
kono
parents:
diff changeset
355
kono
parents:
diff changeset
356 function Trim
kono
parents:
diff changeset
357 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
358 Left : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
359 Right : Wide_Maps.Wide_Character_Set) return Unbounded_Wide_String;
kono
parents:
diff changeset
360
kono
parents:
diff changeset
361 procedure Trim
kono
parents:
diff changeset
362 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
363 Left : Wide_Maps.Wide_Character_Set;
kono
parents:
diff changeset
364 Right : Wide_Maps.Wide_Character_Set);
kono
parents:
diff changeset
365
kono
parents:
diff changeset
366 function Head
kono
parents:
diff changeset
367 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
368 Count : Natural;
kono
parents:
diff changeset
369 Pad : Wide_Character := Wide_Space) return Unbounded_Wide_String;
kono
parents:
diff changeset
370
kono
parents:
diff changeset
371 procedure Head
kono
parents:
diff changeset
372 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
373 Count : Natural;
kono
parents:
diff changeset
374 Pad : Wide_Character := Wide_Space);
kono
parents:
diff changeset
375
kono
parents:
diff changeset
376 function Tail
kono
parents:
diff changeset
377 (Source : Unbounded_Wide_String;
kono
parents:
diff changeset
378 Count : Natural;
kono
parents:
diff changeset
379 Pad : Wide_Character := Wide_Space) return Unbounded_Wide_String;
kono
parents:
diff changeset
380
kono
parents:
diff changeset
381 procedure Tail
kono
parents:
diff changeset
382 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
383 Count : Natural;
kono
parents:
diff changeset
384 Pad : Wide_Character := Wide_Space);
kono
parents:
diff changeset
385
kono
parents:
diff changeset
386 function "*"
kono
parents:
diff changeset
387 (Left : Natural;
kono
parents:
diff changeset
388 Right : Wide_Character) return Unbounded_Wide_String;
kono
parents:
diff changeset
389
kono
parents:
diff changeset
390 function "*"
kono
parents:
diff changeset
391 (Left : Natural;
kono
parents:
diff changeset
392 Right : Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
393
kono
parents:
diff changeset
394 function "*"
kono
parents:
diff changeset
395 (Left : Natural;
kono
parents:
diff changeset
396 Right : Unbounded_Wide_String) return Unbounded_Wide_String;
kono
parents:
diff changeset
397
kono
parents:
diff changeset
398 private
kono
parents:
diff changeset
399 pragma Inline (Length);
kono
parents:
diff changeset
400
kono
parents:
diff changeset
401 package AF renames Ada.Finalization;
kono
parents:
diff changeset
402
kono
parents:
diff changeset
403 Null_Wide_String : aliased Wide_String := "";
kono
parents:
diff changeset
404
kono
parents:
diff changeset
405 function To_Unbounded_Wide (S : Wide_String) return Unbounded_Wide_String
kono
parents:
diff changeset
406 renames To_Unbounded_Wide_String;
kono
parents:
diff changeset
407
kono
parents:
diff changeset
408 type Unbounded_Wide_String is new AF.Controlled with record
kono
parents:
diff changeset
409 Reference : Wide_String_Access := Null_Wide_String'Access;
kono
parents:
diff changeset
410 Last : Natural := 0;
kono
parents:
diff changeset
411 end record;
kono
parents:
diff changeset
412
kono
parents:
diff changeset
413 -- The Unbounded_Wide_String is using a buffered implementation to increase
kono
parents:
diff changeset
414 -- speed of the Append/Delete/Insert procedures. The Reference string
kono
parents:
diff changeset
415 -- pointer above contains the current string value and extra room at the
kono
parents:
diff changeset
416 -- end to be used by the next Append routine. Last is the index of the
kono
parents:
diff changeset
417 -- string ending character. So the current string value is really
kono
parents:
diff changeset
418 -- Reference (1 .. Last).
kono
parents:
diff changeset
419
kono
parents:
diff changeset
420 pragma Stream_Convert
kono
parents:
diff changeset
421 (Unbounded_Wide_String, To_Unbounded_Wide, To_Wide_String);
kono
parents:
diff changeset
422
kono
parents:
diff changeset
423 pragma Finalize_Storage_Only (Unbounded_Wide_String);
kono
parents:
diff changeset
424 -- Finalization is required only for freeing storage
kono
parents:
diff changeset
425
kono
parents:
diff changeset
426 procedure Initialize (Object : in out Unbounded_Wide_String);
kono
parents:
diff changeset
427 procedure Adjust (Object : in out Unbounded_Wide_String);
kono
parents:
diff changeset
428 procedure Finalize (Object : in out Unbounded_Wide_String);
kono
parents:
diff changeset
429
kono
parents:
diff changeset
430 procedure Realloc_For_Chunk
kono
parents:
diff changeset
431 (Source : in out Unbounded_Wide_String;
kono
parents:
diff changeset
432 Chunk_Size : Natural);
kono
parents:
diff changeset
433 -- Adjust the size allocated for the string. Add at least Chunk_Size so it
kono
parents:
diff changeset
434 -- is safe to add a string of this size at the end of the current content.
kono
parents:
diff changeset
435 -- The real size allocated for the string is Chunk_Size + x of the current
kono
parents:
diff changeset
436 -- string size. This buffered handling makes the Append unbounded string
kono
parents:
diff changeset
437 -- routines very fast.
kono
parents:
diff changeset
438
kono
parents:
diff changeset
439 Null_Unbounded_Wide_String : constant Unbounded_Wide_String :=
kono
parents:
diff changeset
440 (AF.Controlled with
kono
parents:
diff changeset
441 Reference => Null_Wide_String'Access,
kono
parents:
diff changeset
442 Last => 0);
kono
parents:
diff changeset
443 end Ada.Strings.Wide_Unbounded;