------------------------------------------------------------------------------
|
------------------------------------------------------------------------------
|
-- --
|
-- --
|
-- GNAT RUN-TIME COMPONENTS --
|
-- GNAT RUN-TIME COMPONENTS --
|
-- --
|
-- --
|
-- A D A . S T R I N G S . W I D E _ F I X E D --
|
-- A D A . S T R I N G S . W I D E _ F I X E D --
|
-- --
|
-- --
|
-- S p e c --
|
-- S p e c --
|
-- --
|
-- --
|
-- This specification is derived from the Ada Reference Manual for use with --
|
-- This specification is derived from the Ada Reference Manual for use with --
|
-- GNAT. In accordance with the copyright of that document, you can freely --
|
-- GNAT. In accordance with the copyright of that document, you can freely --
|
-- copy and modify this specification, provided that if you redistribute a --
|
-- copy and modify this specification, provided that if you redistribute a --
|
-- modified version, any changes that you have made are clearly indicated. --
|
-- modified version, any changes that you have made are clearly indicated. --
|
-- --
|
-- --
|
------------------------------------------------------------------------------
|
------------------------------------------------------------------------------
|
|
|
with Ada.Strings.Wide_Maps;
|
with Ada.Strings.Wide_Maps;
|
|
|
package Ada.Strings.Wide_Fixed is
|
package Ada.Strings.Wide_Fixed is
|
pragma Preelaborate;
|
pragma Preelaborate;
|
|
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
-- Copy Procedure for Wide_Strings of Possibly Different Lengths --
|
-- Copy Procedure for Wide_Strings of Possibly Different Lengths --
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
|
|
procedure Move
|
procedure Move
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Target : out Wide_String;
|
Target : out Wide_String;
|
Drop : Truncation := Error;
|
Drop : Truncation := Error;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
------------------------
|
------------------------
|
-- Search Subprograms --
|
-- Search Subprograms --
|
------------------------
|
------------------------
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
Going : Direction := Forward;
|
Going : Direction := Forward;
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
return Natural;
|
return Natural;
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
Going : Direction := Forward;
|
Going : Direction := Forward;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Set : Wide_Maps.Wide_Character_Set;
|
Set : Wide_Maps.Wide_Character_Set;
|
Test : Membership := Inside;
|
Test : Membership := Inside;
|
Going : Direction := Forward) return Natural;
|
Going : Direction := Forward) return Natural;
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
From : Positive;
|
From : Positive;
|
Going : Direction := Forward;
|
Going : Direction := Forward;
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
return Natural;
|
return Natural;
|
pragma Ada_05 (Index);
|
pragma Ada_05 (Index);
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
From : Positive;
|
From : Positive;
|
Going : Direction := Forward;
|
Going : Direction := Forward;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
pragma Ada_05 (Index);
|
pragma Ada_05 (Index);
|
|
|
function Index
|
function Index
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Set : Wide_Maps.Wide_Character_Set;
|
Set : Wide_Maps.Wide_Character_Set;
|
From : Positive;
|
From : Positive;
|
Test : Membership := Inside;
|
Test : Membership := Inside;
|
Going : Direction := Forward) return Natural;
|
Going : Direction := Forward) return Natural;
|
pragma Ada_05 (Index);
|
pragma Ada_05 (Index);
|
|
|
function Index_Non_Blank
|
function Index_Non_Blank
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Going : Direction := Forward) return Natural;
|
Going : Direction := Forward) return Natural;
|
|
|
function Index_Non_Blank
|
function Index_Non_Blank
|
(Source : Wide_String;
|
(Source : Wide_String;
|
From : Positive;
|
From : Positive;
|
Going : Direction := Forward) return Natural;
|
Going : Direction := Forward) return Natural;
|
pragma Ada_05 (Index_Non_Blank);
|
pragma Ada_05 (Index_Non_Blank);
|
|
|
function Count
|
function Count
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
|
return Natural;
|
return Natural;
|
|
|
function Count
|
function Count
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Pattern : Wide_String;
|
Pattern : Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Natural;
|
|
|
function Count
|
function Count
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Set : Wide_Maps.Wide_Character_Set) return Natural;
|
Set : Wide_Maps.Wide_Character_Set) return Natural;
|
|
|
procedure Find_Token
|
procedure Find_Token
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Set : Wide_Maps.Wide_Character_Set;
|
Set : Wide_Maps.Wide_Character_Set;
|
Test : Membership;
|
Test : Membership;
|
First : out Positive;
|
First : out Positive;
|
Last : out Natural);
|
Last : out Natural);
|
|
|
-----------------------------------------
|
-----------------------------------------
|
-- Wide_String Translation Subprograms --
|
-- Wide_String Translation Subprograms --
|
-----------------------------------------
|
-----------------------------------------
|
|
|
function Translate
|
function Translate
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping) return Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping) return Wide_String;
|
|
|
procedure Translate
|
procedure Translate
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping);
|
Mapping : Wide_Maps.Wide_Character_Mapping);
|
|
|
function Translate
|
function Translate
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function) return Wide_String;
|
|
|
procedure Translate
|
procedure Translate
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function);
|
Mapping : Wide_Maps.Wide_Character_Mapping_Function);
|
|
|
--------------------------------------------
|
--------------------------------------------
|
-- Wide_String Transformation Subprograms --
|
-- Wide_String Transformation Subprograms --
|
--------------------------------------------
|
--------------------------------------------
|
|
|
function Replace_Slice
|
function Replace_Slice
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Low : Positive;
|
Low : Positive;
|
High : Natural;
|
High : Natural;
|
By : Wide_String) return Wide_String;
|
By : Wide_String) return Wide_String;
|
|
|
procedure Replace_Slice
|
procedure Replace_Slice
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Low : Positive;
|
Low : Positive;
|
High : Natural;
|
High : Natural;
|
By : Wide_String;
|
By : Wide_String;
|
Drop : Truncation := Error;
|
Drop : Truncation := Error;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
function Insert
|
function Insert
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Before : Positive;
|
Before : Positive;
|
New_Item : Wide_String) return Wide_String;
|
New_Item : Wide_String) return Wide_String;
|
|
|
procedure Insert
|
procedure Insert
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Before : Positive;
|
Before : Positive;
|
New_Item : Wide_String;
|
New_Item : Wide_String;
|
Drop : Truncation := Error);
|
Drop : Truncation := Error);
|
|
|
function Overwrite
|
function Overwrite
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Position : Positive;
|
Position : Positive;
|
New_Item : Wide_String) return Wide_String;
|
New_Item : Wide_String) return Wide_String;
|
|
|
procedure Overwrite
|
procedure Overwrite
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Position : Positive;
|
Position : Positive;
|
New_Item : Wide_String;
|
New_Item : Wide_String;
|
Drop : Truncation := Right);
|
Drop : Truncation := Right);
|
|
|
function Delete
|
function Delete
|
(Source : Wide_String;
|
(Source : Wide_String;
|
From : Positive;
|
From : Positive;
|
Through : Natural) return Wide_String;
|
Through : Natural) return Wide_String;
|
|
|
procedure Delete
|
procedure Delete
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
From : Positive;
|
From : Positive;
|
Through : Natural;
|
Through : Natural;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
--------------------------------------
|
--------------------------------------
|
-- Wide_String Selector Subprograms --
|
-- Wide_String Selector Subprograms --
|
--------------------------------------
|
--------------------------------------
|
|
|
function Trim
|
function Trim
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Side : Trim_End) return Wide_String;
|
Side : Trim_End) return Wide_String;
|
|
|
procedure Trim
|
procedure Trim
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Side : Trim_End;
|
Side : Trim_End;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Wide_Space);
|
Pad : Wide_Character := Wide_Space);
|
|
|
function Trim
|
function Trim
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Left : Wide_Maps.Wide_Character_Set;
|
Left : Wide_Maps.Wide_Character_Set;
|
Right : Wide_Maps.Wide_Character_Set) return Wide_String;
|
Right : Wide_Maps.Wide_Character_Set) return Wide_String;
|
|
|
procedure Trim
|
procedure Trim
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Left : Wide_Maps.Wide_Character_Set;
|
Left : Wide_Maps.Wide_Character_Set;
|
Right : Wide_Maps.Wide_Character_Set;
|
Right : Wide_Maps.Wide_Character_Set;
|
Justify : Alignment := Ada.Strings.Left;
|
Justify : Alignment := Ada.Strings.Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
function Head
|
function Head
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Count : Natural;
|
Count : Natural;
|
Pad : Wide_Character := Ada.Strings.Wide_Space) return Wide_String;
|
Pad : Wide_Character := Ada.Strings.Wide_Space) return Wide_String;
|
|
|
procedure Head
|
procedure Head
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Count : Natural;
|
Count : Natural;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
function Tail
|
function Tail
|
(Source : Wide_String;
|
(Source : Wide_String;
|
Count : Natural;
|
Count : Natural;
|
Pad : Wide_Character := Ada.Strings.Wide_Space) return Wide_String;
|
Pad : Wide_Character := Ada.Strings.Wide_Space) return Wide_String;
|
|
|
procedure Tail
|
procedure Tail
|
(Source : in out Wide_String;
|
(Source : in out Wide_String;
|
Count : Natural;
|
Count : Natural;
|
Justify : Alignment := Left;
|
Justify : Alignment := Left;
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
Pad : Wide_Character := Ada.Strings.Wide_Space);
|
|
|
---------------------------------------
|
---------------------------------------
|
-- Wide_String Constructor Functions --
|
-- Wide_String Constructor Functions --
|
---------------------------------------
|
---------------------------------------
|
|
|
function "*"
|
function "*"
|
(Left : Natural;
|
(Left : Natural;
|
Right : Wide_Character) return Wide_String;
|
Right : Wide_Character) return Wide_String;
|
|
|
function "*"
|
function "*"
|
(Left : Natural;
|
(Left : Natural;
|
Right : Wide_String) return Wide_String;
|
Right : Wide_String) return Wide_String;
|
|
|
end Ada.Strings.Wide_Fixed;
|
end Ada.Strings.Wide_Fixed;
|
|
|
