Das Paket Ada.Strings.Bounded

with Ada.Strings.Maps;
package Ada.Strings.Bounded is

pragma Preelaborate(Bounded);

generic
Max : Positive; -MaximumlengthofaBounded_String
package Generic_Bounded_Length is

Max_Length : constant Positive := Max;
type Bounded_String is private;

Null_Bounded_String : constant Bounded_String;

subtype Length_Range is Natural range 0 .. Max_Length;

function Length (Source : in Bounded_String) return Length_Range;

-Conversion,Concatenation,andSelectionfunctions

function To_Bounded_String (Source : in String;
Drop : in Truncation := Error)
return Bounded_String;

function To_String (Source : in Bounded_String) return String;

function Append (Left, Right : in Bounded_String;
Drop : in Truncation := Error)
return Bounded_String;

function Append (Left : in Bounded_String;
Right : in String;
Drop : in Truncation := Error)
return Bounded_String;

function Append (Left : in String;
Right : in Bounded_String;
Drop : in Truncation := Error)
return Bounded_String;

function Append (Left : in Bounded_String;
Right : in Character;
Drop : in Truncation := Error)
return Bounded_String;

function Append (Left : in Character;
Right : in Bounded_String;
Drop : in Truncation := Error)
return Bounded_String;

procedure Append (Source : in out Bounded_String;
New_Item : in Bounded_String;
Drop : in Truncation := Error);

procedure Append (Source : in out Bounded_String;
New_Item : in String;
Drop : in Truncation := Error);

procedure Append (Source : in out Bounded_String;
New_Item : in Character;
Drop : in Truncation := Error);

function "&" (Left, Right : in Bounded_String)
return Bounded_String;

function "&" (Left : in Bounded_String; Right : in String)
return Bounded_String;

function "&" (Left : in String; Right : in Bounded_String)
return Bounded_String;

function "&" (Left : in Bounded_String; Right : in Character)
return Bounded_String;

function "&" (Left : in Character; Right : in Bounded_String)
return Bounded_String;

function Element (Source : in Bounded_String;
Index : in Positive)
return Character;

procedure Replace_Element (Source : in out Bounded_String;
Index : in Positive;
By : in Character);

function Slice (Source : in Bounded_String;
Low : in Positive;
High : in Natural)
return String;

function " $=$ " (Left, Right : in Bounded_String) return Boolean;

function " $=$ " (Left : in Bounded_String; Right : in String)
return Boolean;

function " $=$ " (Left : in String; Right : in Bounded_String)
return Boolean;

function " $<$ " (Left, Right : in Bounded_String) return Boolean;

function " $<$ " (Left : in Bounded_String; Right : in String)
return Boolean;

function " $<$ " (Left : in String; Right : in Bounded_String)
return Boolean;

function " $<$ $=$ " (Left, Right : in Bounded_String) return Boolean;

function " $<$ $=$ " (Left : in Bounded_String; Right : in String)
return Boolean;

function " $<$ $=$ " (Left : in String; Right : in Bounded_String)
return Boolean;

function " $>$ " (Left, Right : in Bounded_String) return Boolean;

function " $>$ " (Left : in Bounded_String; Right : in String)
return Boolean;

function " $>$ " (Left : in String; Right : in Bounded_String)
return Boolean;

function " $>$ $=$ " (Left, Right : in Bounded_String) return Boolean;

function " $>$ $=$ " (Left : in Bounded_String; Right : in String)
return Boolean;

function " $>$ $=$ " (Left : in String; Right : in Bounded_String)
return Boolean;

-Searchfunctions

function Index (Source : in Bounded_String;
Pattern : in String;
Going : in Direction := Forward;
Mapping : in Maps.Character_Mapping
:= Maps.Identity)
return Natural;

function Index (Source : in Bounded_String;
Pattern : in String;
Going : in Direction := Forward;
Mapping : in Maps.Character_Mapping_Function)
return Natural;

function Index (Source : in Bounded_String;
Set : in Maps.Character_Set;
Test : in Membership := Inside;
Going : in Direction := Forward)
return Natural;

function Index_Non_Blank (Source : in Bounded_String;
Going : in Direction := Forward)
return Natural;

function Count (Source : in Bounded_String;
Pattern : in String;
Mapping : in Maps.Character_Mapping
:= Maps.Identity)
return Natural;

function Count (Source : in Bounded_String;
Pattern : in String;
Mapping : in Maps.Character_Mapping_Function)
return Natural;

function Count (Source : in Bounded_String;
Set : in Maps.Character_Set)
return Natural;

procedure Find_Token (Source : in Bounded_String;
Set : in Maps.Character_Set;
Test : in Membership;
First : out Positive;
Last : out Natural);

-Stringtranslationsubprograms

function Translate (Source : in Bounded_String;
Mapping : in Maps.Character_Mapping)
return Bounded_String;

procedure Translate (Source : in out Bounded_String;
Mapping : in Maps.Character_Mapping);

function Translate (Source : in Bounded_String;
Mapping : in Maps.Character_Mapping_Function)
return Bounded_String;

procedure Translate (Source : in out Bounded_String;
Mapping : in Maps.Character_Mapping_Function);

-Stringtransformationsubprograms

function Replace_Slice (Source : in Bounded_String;
Low : in Positive;
High : in Natural;
By : in String;
Drop : in Truncation := Error)
return Bounded_String;

procedure Replace_Slice (Source : in out Bounded_String;
Low : in Positive;
High : in Natural;
By : in String;
Drop : in Truncation := Error);

function Insert (Source : in Bounded_String;
Before : in Positive;
New_Item : in String;
Drop : in Truncation := Error)
return Bounded_String;

procedure Insert (Source : in out Bounded_String;
Before : in Positive;
New_Item : in String;
Drop : in Truncation := Error);

function Overwrite (Source : in Bounded_String;
Position : in Positive;
New_Item : in String;
Drop : in Truncation := Error)
return Bounded_String;

procedure Overwrite (Source : in out Bounded_String;
Position : in Positive;
New_Item : in String;
Drop : in Truncation := Error);

function Delete (Source : in Bounded_String;
From : in Positive;
Through : in Natural)
return Bounded_String;

procedure Delete (Source : in out Bounded_String;
From : in Positive;
Through : in Natural);

-Stringselectorsubprograms

function Trim (Source : in Bounded_String;
Side : in Trim_End)
return Bounded_String;

procedure Trim (Source : in out Bounded_String;
Side : in Trim_End);

function Trim (Source : in Bounded_String;
Left : in Maps.Character_Set;
Right : in Maps.Character_Set)
return Bounded_String;

procedure Trim (Source : in out Bounded_String;
Left : in Maps.Character_Set;
Right : in Maps.Character_Set);

function Head (Source : in Bounded_String;
Count : in Natural;
Pad : in Character := Space;
Drop : in Truncation := Error)
return Bounded_String;

procedure Head (Source : in out Bounded_String;
Count : in Natural;
Pad : in Character := Space;
Drop : in Truncation := Error);

function Tail (Source : in Bounded_String;
Count : in Natural;
Pad : in Character := Space;
Drop : in Truncation := Error)
return Bounded_String;

procedure Tail (Source : in out Bounded_String;
Count : in Natural;
Pad : in Character := Space;
Drop : in Truncation := Error);

-Stringconstructorsubprograms

function "" (Left : in Natural;
Right : in Character)
return Bounded_String;

function "" (Left : in Natural;
Right : in String)
return Bounded_String;

function "" (Left : in Natural;
Right : in Bounded_String)
return Bounded_String;

function Replicate (Count : in Natural;
Item : in Character;
Drop : in Truncation := Error)
return Bounded_String;

function Replicate (Count : in Natural;
Item : in String;
Drop : in Truncation := Error)
return Bounded_String;

function Replicate (Count : in Natural;
Item : in Bounded_String;
Drop : in Truncation := Error)
return Bounded_String;

private
$...$ -notspecifiedbythelanguage
end Generic_Bounded_Length;

end Ada.Strings.Bounded;