411 REFERENCE · Wikibooks
Ada Programming/Libraries/Ada.Strings.Wide Wide Bounded
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Ada.Strings.Wide_Wide_Bounded
__TOC__
Ada Strings Wide_Wide_Bounded is a unit of the Predefined Language Environment since Ada 2005.
Specification
Standard Ada library specification
Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com>
Copyright (c) 2004-2016 AXE Consultants
Copyright (c) 2004, 2005, 2006 Ada-Europe
Copyright (c) 2000 The MITRE Corporation, Inc.
Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
-------------------------------------------------------------------------
with Ada Strings Wide_Wide_Maps;
package Ada Strings Wide_Wide_Bounded is
pragma Preelaborate (Wide_Wide_Bounded);
generic
Max : Positive; Maximum length of a Bounded_Wide_Wide_String
package Generic_Bounded_Length is
Max_Length : constant Positive := Max;
type Bounded_Wide_Wide_String is private;
Null_Bounded_Wide_Wide_String : constant Bounded_Wide_Wide_String;
subtype Length_Range is Natural range 0 double_dot .. Max_Length;
function Length (Source : in Bounded_Wide_Wide_String)
return Length_Range;
Conversion, Concatenation, and Selection functions
function To_Bounded_Wide_Wide_String (Source : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function To_Wide_Wide_String (Source : in Bounded_Wide_Wide_String)
return Wide_Wide_String;
procedure Set_Bounded_Wide_Wide_String
(Target : out Bounded_Wide_Wide_String;
Source : in Wide_Wide_String;
Drop : in Truncation := Error);
function Append (Left, Right : in Bounded_Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Append (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Append (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Append (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_Character;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Append (Left : in Wide_Wide_Character;
Right : in Bounded_Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Append (Source : in out Bounded_Wide_Wide_String;
New_Item : in Bounded_Wide_Wide_String;
Drop : in Truncation := Error);
procedure Append (Source : in out Bounded_Wide_Wide_String;
New_Item : in Wide_Wide_String;
Drop : in Truncation := Error);
procedure Append (Source : in out Bounded_Wide_Wide_String;
New_Item : in Wide_Wide_Character;
Drop : in Truncation := Error);
function "&" (Left, Right : in Bounded_Wide_Wide_String)
return Bounded_Wide_Wide_String;
function "&" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Bounded_Wide_Wide_String;
function "&" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Bounded_Wide_Wide_String;
function "&" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_Character)
return Bounded_Wide_Wide_String;
function "&" (Left : in Wide_Wide_Character;
Right : in Bounded_Wide_Wide_String)
return Bounded_Wide_Wide_String;
function Element (Source : in Bounded_Wide_Wide_String;
Index : in Positive)
return Wide_Wide_Character;
procedure Replace_Element (Source : in out Bounded_Wide_Wide_String;
Index : in Positive;
By : in Wide_Wide_Character);
function Slice (Source : in Bounded_Wide_Wide_String;
Low : in Positive;
High : in Natural)
return Wide_Wide_String;
function Bounded_Slice
(Source : in Bounded_Wide_Wide_String;
Low : in Positive;
High : in Natural)
return Bounded_Wide_Wide_String;
procedure Bounded_Slice
(Source : in Bounded_Wide_Wide_String;
Target : out Bounded_Wide_Wide_String;
Low : in Positive;
High : in Natural);
function "=" (Left, Right : in Bounded_Wide_Wide_String) return Boolean;
function "=" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Boolean;
function "=" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Boolean;
function "<" (Left, Right : in Bounded_Wide_Wide_String) return Boolean;
function "<" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Boolean;
function "<" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Boolean;
function "<=" (Left, Right : in Bounded_Wide_Wide_String) return Boolean;
function "<=" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Boolean;
function "<=" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Boolean;
function ">" (Left, Right : in Bounded_Wide_Wide_String) return Boolean;
function ">" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Boolean;
function ">" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Boolean;
function ">=" (Left, Right : in Bounded_Wide_Wide_String) return Boolean;
function ">=" (Left : in Bounded_Wide_Wide_String;
Right : in Wide_Wide_String)
return Boolean;
function ">=" (Left : in Wide_Wide_String;
Right : in Bounded_Wide_Wide_String)
return Boolean;
Search subprograms
function Index (Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
From : in Positive;
Going : in Direction := Forward;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping
:= Wide_Wide_Mapsdot .Identity)
return Natural;
function Index
(Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
From : in Positive;
Going : in Direction := Forward;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping_Function)
return Natural;
function Index (Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
Going : in Direction := Forward;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping
:= Wide_Wide_Mapsdot .Identity)
return Natural;
function Index
(Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
Going : in Direction := Forward;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping_Function)
return Natural;
function Index (Source : in Bounded_Wide_Wide_String;
Set : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set;
From : in Positive;
Test : in Membership := Inside;
Going : in Direction := Forward)
return Natural;
function Index (Source : in Bounded_Wide_Wide_String;
Set : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set;
Test : in Membership := Inside;
Going : in Direction := Forward)
return Natural;
function Index_Non_Blank (Source : in Bounded_Wide_Wide_String;
From : in Positive;
Going : in Direction := Forward)
return Natural;
function Index_Non_Blank (Source : in Bounded_Wide_Wide_String;
Going : in Direction := Forward)
return Natural;
function Count (Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping
:= Wide_Wide_Mapsdot .Identity)
return Natural;
function Count
(Source : in Bounded_Wide_Wide_String;
Pattern : in Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping_Function)
return Natural;
function Count (Source : in Bounded_Wide_Wide_String;
Set : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set)
return Natural;
procedure Find_Token (Source : in Bounded_Wide_Wide_String;
Set : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set;
Test : in Membership;
First : out Positive;
Last : out Natural);
Wide_Wide_String translation subprograms
function Translate
(Source : in Bounded_Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping)
return Bounded_Wide_Wide_String;
procedure Translate
(Source : in out Bounded_Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping);
function Translate
(Source : in Bounded_Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping_Function)
return Bounded_Wide_Wide_String;
procedure Translate
(Source : in out Bounded_Wide_Wide_String;
Mapping : in Wide_Wide_Mapsdot .Wide_Wide_Character_Mapping_Function);
Wide_Wide_String transformation subprograms
function Replace_Slice (Source : in Bounded_Wide_Wide_String;
Low : in Positive;
High : in Natural;
By : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Replace_Slice (Source : in out Bounded_Wide_Wide_String;
Low : in Positive;
High : in Natural;
By : in Wide_Wide_String;
Drop : in Truncation := Error);
function Insert (Source : in Bounded_Wide_Wide_String;
Before : in Positive;
New_Item : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Insert (Source : in out Bounded_Wide_Wide_String;
Before : in Positive;
New_Item : in Wide_Wide_String;
Drop : in Truncation := Error);
function Overwrite (Source : in Bounded_Wide_Wide_String;
Position : in Positive;
New_Item : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Overwrite (Source : in out Bounded_Wide_Wide_String;
Position : in Positive;
New_Item : in Wide_Wide_String;
Drop : in Truncation := Error);
function Delete (Source : in Bounded_Wide_Wide_String;
From : in Positive;
Through : in Natural)
return Bounded_Wide_Wide_String;
procedure Delete (Source : in out Bounded_Wide_Wide_String;
From : in Positive;
Through : in Natural);
Wide_Wide_String selector subprograms
function Trim (Source : in Bounded_Wide_Wide_String;
Side : in Trim_End)
return Bounded_Wide_Wide_String;
procedure Trim (Source : in out Bounded_Wide_Wide_String;
Side : in Trim_End);
function Trim (Source : in Bounded_Wide_Wide_String;
Left : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set;
Right : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set)
return Bounded_Wide_Wide_String;
procedure Trim (Source : in out Bounded_Wide_Wide_String;
Left : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set;
Right : in Wide_Wide_Mapsdot .Wide_Wide_Character_Set);
function Head (Source : in Bounded_Wide_Wide_String;
Count : in Natural;
Pad : in Wide_Wide_Character := Wide_Wide_Space;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Head (Source : in out Bounded_Wide_Wide_String;
Count : in Natural;
Pad : in Wide_Wide_Character := Wide_Wide_Space;
Drop : in Truncation := Error);
function Tail (Source : in Bounded_Wide_Wide_String;
Count : in Natural;
Pad : in Wide_Wide_Character := Wide_Wide_Space;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
procedure Tail (Source : in out Bounded_Wide_Wide_String;
Count : in Natural;
Pad : in Wide_Wide_Character := Wide_Wide_Space;
Drop : in Truncation := Error);
Wide_Wide_String constructor subprograms
function "*" (Left : in Natural;
Right : in Wide_Wide_Character)
return Bounded_Wide_Wide_String;
function "*" (Left : in Natural;
Right : in Wide_Wide_String)
return Bounded_Wide_Wide_String;
function "*" (Left : in Natural;
Right : in Bounded_Wide_Wide_String)
return Bounded_Wide_Wide_String;
function Replicate (Count : in Natural;
Item : in Wide_Wide_Character;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Replicate (Count : in Natural;
Item : in Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
function Replicate (Count : in Natural;
Item : in Bounded_Wide_Wide_String;
Drop : in Truncation := Error)
return Bounded_Wide_Wide_String;
private
type Bounded_Wide_Wide_String is null record;
Null_Bounded_Wide_Wide_String : constant Bounded_Wide_Wide_String
:= (null record);
end Generic_Bounded_Length;
end Adadot .Stringsdot .Wide_Wide_Bounded;
See also
Wikibook
Ada Programming/Libraries/Ada
Ada Programming/Strings
Ada Reference Manual
Ada 2005
A 4 8 Wide_Wide_String Handling
Ada 2012
A 4 8 Wide_Wide_String Handling
Open-Source Implementations
a-stzbou.ads a-stzbou.adb
strings/a-stzbou.ads