1 ------------------------------------------------------------------------------
3 -- GNAT RUNTIME COMPONENTS --
5 -- A D A . S T R I N G S . W I D E _ U N B O U N D E D --
9 -- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 with Ada.Strings.Wide_Fixed;
35 with Ada.Strings.Wide_Search;
36 with Ada.Unchecked_Deallocation;
38 package body Ada.Strings.Wide_Unbounded is
47 (Left : Unbounded_Wide_String;
48 Right : Unbounded_Wide_String) return Unbounded_Wide_String
50 L_Length : constant Natural := Left.Last;
51 R_Length : constant Natural := Right.Last;
52 Result : Unbounded_Wide_String;
55 Result.Last := L_Length + R_Length;
57 Result.Reference := new Wide_String (1 .. Result.Last);
59 Result.Reference (1 .. L_Length) :=
60 Left.Reference (1 .. Left.Last);
61 Result.Reference (L_Length + 1 .. Result.Last) :=
62 Right.Reference (1 .. Right.Last);
68 (Left : Unbounded_Wide_String;
69 Right : Wide_String) return Unbounded_Wide_String
71 L_Length : constant Natural := Left.Last;
72 Result : Unbounded_Wide_String;
75 Result.Last := L_Length + Right'Length;
77 Result.Reference := new Wide_String (1 .. Result.Last);
79 Result.Reference (1 .. L_Length) := Left.Reference (1 .. Left.Last);
80 Result.Reference (L_Length + 1 .. Result.Last) := Right;
87 Right : Unbounded_Wide_String) return Unbounded_Wide_String
89 R_Length : constant Natural := Right.Last;
90 Result : Unbounded_Wide_String;
93 Result.Last := Left'Length + R_Length;
95 Result.Reference := new Wide_String (1 .. Result.Last);
97 Result.Reference (1 .. Left'Length) := Left;
98 Result.Reference (Left'Length + 1 .. Result.Last) :=
99 Right.Reference (1 .. Right.Last);
105 (Left : Unbounded_Wide_String;
106 Right : Wide_Character) return Unbounded_Wide_String
108 Result : Unbounded_Wide_String;
111 Result.Last := Left.Last + 1;
113 Result.Reference := new Wide_String (1 .. Result.Last);
115 Result.Reference (1 .. Result.Last - 1) :=
116 Left.Reference (1 .. Left.Last);
117 Result.Reference (Result.Last) := Right;
123 (Left : Wide_Character;
124 Right : Unbounded_Wide_String) return Unbounded_Wide_String
126 Result : Unbounded_Wide_String;
129 Result.Last := Right.Last + 1;
131 Result.Reference := new Wide_String (1 .. Result.Last);
132 Result.Reference (1) := Left;
133 Result.Reference (2 .. Result.Last) :=
134 Right.Reference (1 .. Right.Last);
144 Right : Wide_Character) return Unbounded_Wide_String
146 Result : Unbounded_Wide_String;
151 Result.Reference := new Wide_String (1 .. Left);
152 for J in Result.Reference'Range loop
153 Result.Reference (J) := Right;
161 Right : Wide_String) return Unbounded_Wide_String
163 Len : constant Natural := Right'Length;
165 Result : Unbounded_Wide_String;
168 Result.Last := Left * Len;
170 Result.Reference := new Wide_String (1 .. Result.Last);
173 for J in 1 .. Left loop
174 Result.Reference (K .. K + Len - 1) := Right;
183 Right : Unbounded_Wide_String) return Unbounded_Wide_String
185 Len : constant Natural := Right.Last;
187 Result : Unbounded_Wide_String;
190 Result.Last := Left * Len;
192 Result.Reference := new Wide_String (1 .. Result.Last);
195 for J in 1 .. Left loop
196 Result.Reference (K .. K + Len - 1) :=
197 Right.Reference (1 .. Right.Last);
209 (Left : Unbounded_Wide_String;
210 Right : Unbounded_Wide_String) return Boolean
214 Left.Reference (1 .. Left.Last) < Right.Reference (1 .. Right.Last);
218 (Left : Unbounded_Wide_String;
219 Right : Wide_String) return Boolean
222 return Left.Reference (1 .. Left.Last) < Right;
227 Right : Unbounded_Wide_String) return Boolean
230 return Left < Right.Reference (1 .. Right.Last);
238 (Left : Unbounded_Wide_String;
239 Right : Unbounded_Wide_String) return Boolean
243 Left.Reference (1 .. Left.Last) <= Right.Reference (1 .. Right.Last);
247 (Left : Unbounded_Wide_String;
248 Right : Wide_String) return Boolean
251 return Left.Reference (1 .. Left.Last) <= Right;
256 Right : Unbounded_Wide_String) return Boolean
259 return Left <= Right.Reference (1 .. Right.Last);
267 (Left : Unbounded_Wide_String;
268 Right : Unbounded_Wide_String) return Boolean
272 Left.Reference (1 .. Left.Last) = Right.Reference (1 .. Right.Last);
276 (Left : Unbounded_Wide_String;
277 Right : Wide_String) return Boolean
280 return Left.Reference (1 .. Left.Last) = Right;
285 Right : Unbounded_Wide_String) return Boolean
288 return Left = Right.Reference (1 .. Right.Last);
296 (Left : Unbounded_Wide_String;
297 Right : Unbounded_Wide_String) return Boolean
301 Left.Reference (1 .. Left.Last) > Right.Reference (1 .. Right.Last);
305 (Left : Unbounded_Wide_String;
306 Right : Wide_String) return Boolean
309 return Left.Reference (1 .. Left.Last) > Right;
314 Right : Unbounded_Wide_String) return Boolean
317 return Left > Right.Reference (1 .. Right.Last);
325 (Left : Unbounded_Wide_String;
326 Right : Unbounded_Wide_String) return Boolean
330 Left.Reference (1 .. Left.Last) >= Right.Reference (1 .. Right.Last);
334 (Left : Unbounded_Wide_String;
335 Right : Wide_String) return Boolean
338 return Left.Reference (1 .. Left.Last) >= Right;
343 Right : Unbounded_Wide_String) return Boolean
346 return Left >= Right.Reference (1 .. Right.Last);
353 procedure Adjust (Object : in out Unbounded_Wide_String) is
355 -- Copy string, except we do not copy the statically allocated null
356 -- string, since it can never be deallocated. Note that we do not copy
357 -- extra string room here to avoid dragging unused allocated memory.
359 if Object.Reference /= Null_Wide_String'Access then
361 new Wide_String'(Object.Reference (1 .. Object.Last));
370 (Source : in out Unbounded_Wide_String;
371 New_Item : Unbounded_Wide_String)
374 Realloc_For_Chunk (Source, New_Item.Last);
375 Source.Reference (Source.Last + 1 .. Source.Last + New_Item.Last) :=
376 New_Item.Reference (1 .. New_Item.Last);
377 Source.Last := Source.Last + New_Item.Last;
381 (Source : in out Unbounded_Wide_String;
382 New_Item : Wide_String)
385 Realloc_For_Chunk (Source, New_Item'Length);
386 Source.Reference (Source.Last + 1 .. Source.Last + New_Item'Length) :=
388 Source.Last := Source.Last + New_Item'Length;
392 (Source : in out Unbounded_Wide_String;
393 New_Item : Wide_Character)
396 Realloc_For_Chunk (Source, 1);
397 Source.Reference (Source.Last + 1) := New_Item;
398 Source.Last := Source.Last + 1;
406 (Source : Unbounded_Wide_String;
407 Pattern : Wide_String;
408 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
414 (Source.Reference (1 .. Source.Last), Pattern, Mapping);
418 (Source : Unbounded_Wide_String;
419 Pattern : Wide_String;
420 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural
425 (Source.Reference (1 .. Source.Last), Pattern, Mapping);
429 (Source : Unbounded_Wide_String;
430 Set : Wide_Maps.Wide_Character_Set) return Natural
435 (Source.Reference (1 .. Source.Last), Set);
443 (Source : Unbounded_Wide_String;
445 Through : Natural) return Unbounded_Wide_String
449 To_Unbounded_Wide_String
451 (Source.Reference (1 .. Source.Last), From, Through));
455 (Source : in out Unbounded_Wide_String;
460 if From > Through then
463 elsif From < Source.Reference'First or else Through > Source.Last then
468 Len : constant Natural := Through - From + 1;
471 Source.Reference (From .. Source.Last - Len) :=
472 Source.Reference (Through + 1 .. Source.Last);
473 Source.Last := Source.Last - Len;
483 (Source : Unbounded_Wide_String;
484 Index : Positive) return Wide_Character
487 if Index <= Source.Last then
488 return Source.Reference (Index);
490 raise Strings.Index_Error;
498 procedure Finalize (Object : in out Unbounded_Wide_String) is
499 procedure Deallocate is
500 new Ada.Unchecked_Deallocation (Wide_String, Wide_String_Access);
503 -- Note: Don't try to free statically allocated null string
505 if Object.Reference /= Null_Wide_String'Access then
506 Deallocate (Object.Reference);
507 Object.Reference := Null_Unbounded_Wide_String.Reference;
517 (Source : Unbounded_Wide_String;
518 Set : Wide_Maps.Wide_Character_Set;
519 Test : Strings.Membership;
520 First : out Positive;
524 Wide_Search.Find_Token
525 (Source.Reference (1 .. Source.Last), Set, Test, First, Last);
532 procedure Free (X : in out Wide_String_Access) is
533 procedure Deallocate is
534 new Ada.Unchecked_Deallocation (Wide_String, Wide_String_Access);
537 -- Note: Do not try to free statically allocated null string
539 if X /= Null_Unbounded_Wide_String.Reference then
549 (Source : Unbounded_Wide_String;
551 Pad : Wide_Character := Wide_Space) return Unbounded_Wide_String
554 return To_Unbounded_Wide_String
555 (Wide_Fixed.Head (Source.Reference (1 .. Source.Last), Count, Pad));
559 (Source : in out Unbounded_Wide_String;
561 Pad : Wide_Character := Wide_Space)
563 Old : Wide_String_Access := Source.Reference;
567 (Wide_Fixed.Head (Source.Reference (1 .. Source.Last), Count, Pad));
568 Source.Last := Source.Reference'Length;
577 (Source : Unbounded_Wide_String;
578 Pattern : Wide_String;
579 Going : Strings.Direction := Strings.Forward;
580 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
586 (Source.Reference (1 .. Source.Last), Pattern, Going, Mapping);
590 (Source : Unbounded_Wide_String;
591 Pattern : Wide_String;
592 Going : Direction := Forward;
593 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural
598 (Source.Reference (1 .. Source.Last), Pattern, Going, Mapping);
602 (Source : Unbounded_Wide_String;
603 Set : Wide_Maps.Wide_Character_Set;
604 Test : Strings.Membership := Strings.Inside;
605 Going : Strings.Direction := Strings.Forward) return Natural
608 return Wide_Search.Index
609 (Source.Reference (1 .. Source.Last), Set, Test, Going);
613 (Source : Unbounded_Wide_String;
614 Pattern : Wide_String;
616 Going : Direction := Forward;
617 Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
623 (Source.Reference (1 .. Source.Last), Pattern, From, Going, Mapping);
627 (Source : Unbounded_Wide_String;
628 Pattern : Wide_String;
630 Going : Direction := Forward;
631 Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural
636 (Source.Reference (1 .. Source.Last), Pattern, From, Going, Mapping);
641 (Source : Unbounded_Wide_String;
642 Set : Wide_Maps.Wide_Character_Set;
644 Test : Membership := Inside;
645 Going : Direction := Forward) return Natural
650 (Source.Reference (1 .. Source.Last), Set, From, Test, Going);
653 function Index_Non_Blank
654 (Source : Unbounded_Wide_String;
655 Going : Strings.Direction := Strings.Forward) return Natural
659 Wide_Search.Index_Non_Blank
660 (Source.Reference (1 .. Source.Last), Going);
663 function Index_Non_Blank
664 (Source : Unbounded_Wide_String;
666 Going : Direction := Forward) return Natural
670 Wide_Search.Index_Non_Blank
671 (Source.Reference (1 .. Source.Last), From, Going);
678 procedure Initialize (Object : in out Unbounded_Wide_String) is
680 Object.Reference := Null_Unbounded_Wide_String.Reference;
689 (Source : Unbounded_Wide_String;
691 New_Item : Wide_String) return Unbounded_Wide_String
695 To_Unbounded_Wide_String
697 (Source.Reference (1 .. Source.Last), Before, New_Item));
701 (Source : in out Unbounded_Wide_String;
703 New_Item : Wide_String)
706 if Before not in Source.Reference'First .. Source.Last + 1 then
710 Realloc_For_Chunk (Source, New_Item'Size);
713 (Before + New_Item'Length .. Source.Last + New_Item'Length) :=
714 Source.Reference (Before .. Source.Last);
716 Source.Reference (Before .. Before + New_Item'Length - 1) := New_Item;
717 Source.Last := Source.Last + New_Item'Length;
724 function Length (Source : Unbounded_Wide_String) return Natural is
734 (Source : Unbounded_Wide_String;
736 New_Item : Wide_String) return Unbounded_Wide_String
740 To_Unbounded_Wide_String
741 (Wide_Fixed.Overwrite
742 (Source.Reference (1 .. Source.Last), Position, New_Item));
746 (Source : in out Unbounded_Wide_String;
748 New_Item : Wide_String)
750 NL : constant Natural := New_Item'Length;
752 if Position <= Source.Last - NL + 1 then
753 Source.Reference (Position .. Position + NL - 1) := New_Item;
756 Old : Wide_String_Access := Source.Reference;
758 Source.Reference := new Wide_String'
759 (Wide_Fixed.Overwrite
760 (Source.Reference (1 .. Source.Last), Position, New_Item));
761 Source.Last := Source.Reference'Length;
767 -----------------------
768 -- Realloc_For_Chunk --
769 -----------------------
771 procedure Realloc_For_Chunk
772 (Source : in out Unbounded_Wide_String;
773 Chunk_Size : Natural)
775 Growth_Factor : constant := 50;
776 S_Length : constant Natural := Source.Reference'Length;
779 if Chunk_Size > S_Length - Source.Last then
781 Alloc_Chunk_Size : constant Positive :=
782 Chunk_Size + (S_Length / Growth_Factor);
783 Tmp : Wide_String_Access;
785 Tmp := new Wide_String (1 .. S_Length + Alloc_Chunk_Size);
786 Tmp (1 .. Source.Last) := Source.Reference (1 .. Source.Last);
787 Free (Source.Reference);
788 Source.Reference := Tmp;
791 end Realloc_For_Chunk;
793 ---------------------
794 -- Replace_Element --
795 ---------------------
797 procedure Replace_Element
798 (Source : in out Unbounded_Wide_String;
803 if Index <= Source.Last then
804 Source.Reference (Index) := By;
806 raise Strings.Index_Error;
814 function Replace_Slice
815 (Source : Unbounded_Wide_String;
818 By : Wide_String) return Unbounded_Wide_String
821 return To_Unbounded_Wide_String
822 (Wide_Fixed.Replace_Slice
823 (Source.Reference (1 .. Source.Last), Low, High, By));
826 procedure Replace_Slice
827 (Source : in out Unbounded_Wide_String;
832 Old : Wide_String_Access := Source.Reference;
834 Source.Reference := new Wide_String'
835 (Wide_Fixed.Replace_Slice
836 (Source.Reference (1 .. Source.Last), Low, High, By));
837 Source.Last := Source.Reference'Length;
841 -------------------------------
842 -- Set_Unbounded_Wide_String --
843 -------------------------------
845 procedure Set_Unbounded_Wide_String
846 (Target : out Unbounded_Wide_String;
847 Source : Wide_String)
850 Target.Last := Source'Length;
851 Target.Reference := new Wide_String (1 .. Source'Length);
852 Target.Reference.all := Source;
853 end Set_Unbounded_Wide_String;
860 (Source : Unbounded_Wide_String;
862 High : Natural) return Wide_String
865 -- Note: test of High > Length is in accordance with AI95-00128
867 if Low > Source.Last + 1 or else High > Source.Last then
870 return Source.Reference (Low .. High);
879 (Source : Unbounded_Wide_String;
881 Pad : Wide_Character := Wide_Space) return Unbounded_Wide_String is
883 return To_Unbounded_Wide_String
884 (Wide_Fixed.Tail (Source.Reference (1 .. Source.Last), Count, Pad));
888 (Source : in out Unbounded_Wide_String;
890 Pad : Wide_Character := Wide_Space)
892 Old : Wide_String_Access := Source.Reference;
894 Source.Reference := new Wide_String'
895 (Wide_Fixed.Tail (Source.Reference (1 .. Source.Last), Count, Pad));
896 Source.Last := Source.Reference'Length;
900 ------------------------------
901 -- To_Unbounded_Wide_String --
902 ------------------------------
904 function To_Unbounded_Wide_String
905 (Source : Wide_String)
906 return Unbounded_Wide_String
908 Result : Unbounded_Wide_String;
910 Result.Last := Source'Length;
911 Result.Reference := new Wide_String (1 .. Source'Length);
912 Result.Reference.all := Source;
914 end To_Unbounded_Wide_String;
916 function To_Unbounded_Wide_String
917 (Length : Natural) return Unbounded_Wide_String
919 Result : Unbounded_Wide_String;
921 Result.Last := Length;
922 Result.Reference := new Wide_String (1 .. Length);
924 end To_Unbounded_Wide_String;
930 function To_Wide_String
931 (Source : Unbounded_Wide_String)
935 return Source.Reference (1 .. Source.Last);
944 (Source : Unbounded_Wide_String;
945 Mapping : Wide_Maps.Wide_Character_Mapping)
946 return Unbounded_Wide_String
950 To_Unbounded_Wide_String
951 (Wide_Fixed.Translate
952 (Source.Reference (1 .. Source.Last), Mapping));
956 (Source : in out Unbounded_Wide_String;
957 Mapping : Wide_Maps.Wide_Character_Mapping)
960 Wide_Fixed.Translate (Source.Reference (1 .. Source.Last), Mapping);
964 (Source : Unbounded_Wide_String;
965 Mapping : Wide_Maps.Wide_Character_Mapping_Function)
966 return Unbounded_Wide_String
970 To_Unbounded_Wide_String
971 (Wide_Fixed.Translate
972 (Source.Reference (1 .. Source.Last), Mapping));
976 (Source : in out Unbounded_Wide_String;
977 Mapping : Wide_Maps.Wide_Character_Mapping_Function)
980 Wide_Fixed.Translate (Source.Reference (1 .. Source.Last), Mapping);
988 (Source : Unbounded_Wide_String;
989 Side : Trim_End) return Unbounded_Wide_String
993 To_Unbounded_Wide_String
994 (Wide_Fixed.Trim (Source.Reference (1 .. Source.Last), Side));
998 (Source : in out Unbounded_Wide_String;
1001 Old : Wide_String_Access := Source.Reference;
1005 (Wide_Fixed.Trim (Source.Reference (1 .. Source.Last), Side));
1006 Source.Last := Source.Reference'Length;
1011 (Source : Unbounded_Wide_String;
1012 Left : Wide_Maps.Wide_Character_Set;
1013 Right : Wide_Maps.Wide_Character_Set)
1014 return Unbounded_Wide_String
1018 To_Unbounded_Wide_String
1020 (Source.Reference (1 .. Source.Last), Left, Right));
1024 (Source : in out Unbounded_Wide_String;
1025 Left : Wide_Maps.Wide_Character_Set;
1026 Right : Wide_Maps.Wide_Character_Set)
1028 Old : Wide_String_Access := Source.Reference;
1033 (Source.Reference (1 .. Source.Last), Left, Right));
1034 Source.Last := Source.Reference'Length;
1038 ---------------------
1039 -- Unbounded_Slice --
1040 ---------------------
1042 function Unbounded_Slice
1043 (Source : Unbounded_Wide_String;
1045 High : Natural) return Unbounded_Wide_String
1048 if Low > Source.Last + 1 or else High > Source.Last then
1051 return To_Unbounded_Wide_String (Source.Reference.all (Low .. High));
1053 end Unbounded_Slice;
1055 procedure Unbounded_Slice
1056 (Source : Unbounded_Wide_String;
1057 Target : out Unbounded_Wide_String;
1062 if Low > Source.Last + 1 or else High > Source.Last then
1066 To_Unbounded_Wide_String (Source.Reference.all (Low .. High));
1068 end Unbounded_Slice;
1070 end Ada.Strings.Wide_Unbounded;