diff options
Diffstat (limited to 'gcc/ada/a-strbou.ads')
-rw-r--r-- | gcc/ada/a-strbou.ads | 986 |
1 files changed, 518 insertions, 468 deletions
diff --git a/gcc/ada/a-strbou.ads b/gcc/ada/a-strbou.ads index 7e9f54f1b0a..5b8346ad102 100644 --- a/gcc/ada/a-strbou.ads +++ b/gcc/ada/a-strbou.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -55,214 +55,245 @@ pragma Preelaborate (Bounded); subtype Length_Range is Natural range 0 .. Max_Length; - function Length (Source : in Bounded_String) return Length_Range; + function Length (Source : Bounded_String) return Length_Range; -------------------------------------------------------- -- Conversion, Concatenation, and Selection Functions -- -------------------------------------------------------- function To_Bounded_String - (Source : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Source : String; + Drop : Truncation := Error) return Bounded_String; - function To_String (Source : in Bounded_String) return String; + function To_String (Source : Bounded_String) return String; + + procedure Set_Bounded_String + (Target : out Bounded_String; + Source : String; + Drop : Truncation := Error); + pragma Ada_05 (Set_Bounded_String); function Append - (Left, Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String; + (Left : Bounded_String; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String; function Append - (Left : in Bounded_String; - Right : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Left : Bounded_String; + Right : String; + Drop : Truncation := Error) return Bounded_String; function Append - (Left : in String; - Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String; + (Left : String; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String; function Append - (Left : in Bounded_String; - Right : in Character; - Drop : in Truncation := Error) - return Bounded_String; + (Left : Bounded_String; + Right : Character; + Drop : Truncation := Error) return Bounded_String; function Append - (Left : in Character; - Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String; + (Left : Character; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String; procedure Append (Source : in out Bounded_String; - New_Item : in Bounded_String; - Drop : in Truncation := Error); + New_Item : Bounded_String; + Drop : Truncation := Error); procedure Append (Source : in out Bounded_String; - New_Item : in String; - Drop : in Truncation := Error); + New_Item : String; + Drop : Truncation := Error); procedure Append (Source : in out Bounded_String; - New_Item : in Character; - Drop : in Truncation := Error); + New_Item : Character; + Drop : Truncation := Error); function "&" - (Left, Right : in Bounded_String) - return Bounded_String; + (Left : Bounded_String; + Right : Bounded_String) return Bounded_String; function "&" - (Left : in Bounded_String; - Right : in String) - return Bounded_String; + (Left : Bounded_String; + Right : String) return Bounded_String; function "&" - (Left : in String; - Right : in Bounded_String) - return Bounded_String; + (Left : String; + Right : Bounded_String) return Bounded_String; function "&" - (Left : in Bounded_String; - Right : in Character) - return Bounded_String; + (Left : Bounded_String; + Right : Character) return Bounded_String; function "&" - (Left : in Character; - Right : in Bounded_String) - return Bounded_String; + (Left : Character; + Right : Bounded_String) return Bounded_String; function Element - (Source : in Bounded_String; - Index : in Positive) - return Character; + (Source : Bounded_String; + Index : Positive) return Character; procedure Replace_Element (Source : in out Bounded_String; - Index : in Positive; - By : in Character); + Index : Positive; + By : Character); function Slice - (Source : in Bounded_String; - Low : in Positive; - High : in Natural) - return String; + (Source : Bounded_String; + Low : Positive; + High : Natural) return String; + + function Bounded_Slice + (Source : Bounded_String; + Low : Positive; + High : Natural) return Bounded_String; + pragma Ada_05 (Bounded_Slice); + + procedure Bounded_Slice + (Source : Bounded_String; + Target : out Bounded_String; + Low : Positive; + High : Natural); + pragma Ada_05 (Bounded_Slice); - function "=" (Left, Right : in Bounded_String) return Boolean; + function "=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean; function "=" - (Left : in Bounded_String; - Right : in String) - return Boolean; + (Left : Bounded_String; + Right : String) return Boolean; function "=" - (Left : in String; - Right : in Bounded_String) - return Boolean; + (Left : String; + Right : Bounded_String) return Boolean; - function "<" (Left, Right : in Bounded_String) return Boolean; + function "<" + (Left : Bounded_String; + Right : Bounded_String) return Boolean; function "<" - (Left : in Bounded_String; - Right : in String) - return Boolean; + (Left : Bounded_String; + Right : String) return Boolean; function "<" - (Left : in String; - Right : in Bounded_String) - return Boolean; + (Left : String; + Right : Bounded_String) return Boolean; - function "<=" (Left, Right : in Bounded_String) return Boolean; + function "<=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean; function "<=" - (Left : in Bounded_String; - Right : in String) - return Boolean; + (Left : Bounded_String; + Right : String) return Boolean; function "<=" - (Left : in String; - Right : in Bounded_String) - return Boolean; + (Left : String; + Right : Bounded_String) return Boolean; - function ">" (Left, Right : in Bounded_String) return Boolean; + function ">" + (Left : Bounded_String; + Right : Bounded_String) return Boolean; function ">" - (Left : in Bounded_String; - Right : in String) - return Boolean; + (Left : Bounded_String; + Right : String) return Boolean; function ">" - (Left : in String; - Right : in Bounded_String) - return Boolean; + (Left : String; + Right : Bounded_String) return Boolean; - function ">=" (Left, Right : in Bounded_String) return Boolean; + function ">=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean; function ">=" - (Left : in Bounded_String; - Right : in String) - return Boolean; + (Left : Bounded_String; + Right : String) return Boolean; function ">=" - (Left : in String; - Right : in Bounded_String) - return Boolean; + (Left : String; + Right : Bounded_String) return Boolean; ---------------------- -- Search Functions -- ---------------------- function Index - (Source : in Bounded_String; - Pattern : in String; - Going : in Direction := Forward; - Mapping : in Maps.Character_Mapping := Maps.Identity) - return Natural; + (Source : Bounded_String; + Pattern : String; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; + + function Index + (Source : Bounded_String; + Pattern : String; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping_Function) return Natural; function Index - (Source : in Bounded_String; - Pattern : in String; - Going : in Direction := Forward; - Mapping : in Maps.Character_Mapping_Function) - return Natural; + (Source : Bounded_String; + Set : Maps.Character_Set; + Test : Membership := Inside; + Going : Direction := Forward) return Natural; function Index - (Source : in Bounded_String; - Set : in Maps.Character_Set; - Test : in Membership := Inside; - Going : in Direction := Forward) - return Natural; + (Source : Bounded_String; + Pattern : String; + From : Positive; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; + pragma Ada_05 (Index); + + function Index + (Source : Bounded_String; + Pattern : String; + From : Positive; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping_Function) return Natural; + pragma Ada_05 (Index); + + function Index + (Source : Bounded_String; + Set : Maps.Character_Set; + From : Positive; + Test : Membership := Inside; + Going : Direction := Forward) return Natural; + pragma Ada_05 (Index); function Index_Non_Blank - (Source : in Bounded_String; - Going : in Direction := Forward) - return Natural; + (Source : Bounded_String; + Going : Direction := Forward) return Natural; + + function Index_Non_Blank + (Source : Bounded_String; + From : Positive; + Going : Direction := Forward) return Natural; + pragma Ada_05 (Index_Non_Blank); function Count - (Source : in Bounded_String; - Pattern : in String; - Mapping : in Maps.Character_Mapping := Maps.Identity) - return Natural; + (Source : Bounded_String; + Pattern : String; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; function Count - (Source : in Bounded_String; - Pattern : in String; - Mapping : in Maps.Character_Mapping_Function) - return Natural; + (Source : Bounded_String; + Pattern : String; + Mapping : Maps.Character_Mapping_Function) return Natural; function Count - (Source : in Bounded_String; - Set : in Maps.Character_Set) - return Natural; + (Source : Bounded_String; + Set : Maps.Character_Set) return Natural; procedure Find_Token - (Source : in Bounded_String; - Set : in Maps.Character_Set; - Test : in Membership; + (Source : Bounded_String; + Set : Maps.Character_Set; + Test : Membership; First : out Positive; Last : out Natural); @@ -271,569 +302,588 @@ pragma Preelaborate (Bounded); ------------------------------------ function Translate - (Source : in Bounded_String; - Mapping : in Maps.Character_Mapping) - return Bounded_String; + (Source : Bounded_String; + Mapping : Maps.Character_Mapping) return Bounded_String; procedure Translate (Source : in out Bounded_String; - Mapping : in Maps.Character_Mapping); + Mapping : Maps.Character_Mapping); function Translate - (Source : in Bounded_String; - Mapping : in Maps.Character_Mapping_Function) - return Bounded_String; + (Source : Bounded_String; + Mapping : Maps.Character_Mapping_Function) return Bounded_String; procedure Translate (Source : in out Bounded_String; - Mapping : in Maps.Character_Mapping_Function); + Mapping : Maps.Character_Mapping_Function); --------------------------------------- -- String Transformation Subprograms -- --------------------------------------- function Replace_Slice - (Source : in Bounded_String; - Low : in Positive; - High : in Natural; - By : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Source : Bounded_String; + Low : Positive; + High : Natural; + By : String; + Drop : 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); + Low : Positive; + High : Natural; + By : String; + Drop : Truncation := Error); function Insert - (Source : in Bounded_String; - Before : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Source : Bounded_String; + Before : Positive; + New_Item : String; + Drop : Truncation := Error) return Bounded_String; procedure Insert (Source : in out Bounded_String; - Before : in Positive; - New_Item : in String; - Drop : in Truncation := Error); + Before : Positive; + New_Item : String; + Drop : Truncation := Error); function Overwrite - (Source : in Bounded_String; - Position : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Source : Bounded_String; + Position : Positive; + New_Item : String; + Drop : Truncation := Error) return Bounded_String; procedure Overwrite (Source : in out Bounded_String; - Position : in Positive; - New_Item : in String; - Drop : in Truncation := Error); + Position : Positive; + New_Item : String; + Drop : Truncation := Error); function Delete - (Source : in Bounded_String; - From : in Positive; - Through : in Natural) - return Bounded_String; + (Source : Bounded_String; + From : Positive; + Through : Natural) return Bounded_String; procedure Delete (Source : in out Bounded_String; - From : in Positive; - Through : in Natural); + From : Positive; + Through : Natural); --------------------------------- -- String Selector Subprograms -- --------------------------------- function Trim - (Source : in Bounded_String; - Side : in Trim_End) - return Bounded_String; + (Source : Bounded_String; + Side : Trim_End) return Bounded_String; procedure Trim (Source : in out Bounded_String; - Side : in Trim_End); + Side : Trim_End); function Trim - (Source : in Bounded_String; - Left : in Maps.Character_Set; - Right : in Maps.Character_Set) - return Bounded_String; + (Source : Bounded_String; + Left : Maps.Character_Set; + Right : Maps.Character_Set) return Bounded_String; procedure Trim (Source : in out Bounded_String; - Left : in Maps.Character_Set; - Right : in Maps.Character_Set); + Left : Maps.Character_Set; + Right : Maps.Character_Set); function Head - (Source : in Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - return Bounded_String; + (Source : Bounded_String; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) return Bounded_String; procedure Head (Source : in out Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error); + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error); function Tail - (Source : in Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - return Bounded_String; + (Source : Bounded_String; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) return Bounded_String; procedure Tail (Source : in out Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error); + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error); ------------------------------------ -- String Constructor Subprograms -- ------------------------------------ function "*" - (Left : in Natural; - Right : in Character) - return Bounded_String; + (Left : Natural; + Right : Character) return Bounded_String; function "*" - (Left : in Natural; - Right : in String) - return Bounded_String; + (Left : Natural; + Right : String) return Bounded_String; function "*" - (Left : in Natural; - Right : in Bounded_String) - return Bounded_String; + (Left : Natural; + Right : Bounded_String) return Bounded_String; function Replicate - (Count : in Natural; - Item : in Character; - Drop : in Truncation := Error) - return Bounded_String; + (Count : Natural; + Item : Character; + Drop : Truncation := Error) return Bounded_String; function Replicate - (Count : in Natural; - Item : in String; - Drop : in Truncation := Error) - return Bounded_String; + (Count : Natural; + Item : String; + Drop : Truncation := Error) return Bounded_String; function Replicate - (Count : in Natural; - Item : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String; + (Count : Natural; + Item : Bounded_String; + Drop : Truncation := Error) return Bounded_String; private - - -- Most of the implementation is in the non generic package + -- Most of the implementation is in the separate non generic package -- Ada.Strings.Superbounded. Type Bounded_String is derived from type - -- Superbounded.Super_String with the maximum length constraint. - -- Except for five, all subprograms are renames of subprograms that - -- are inherited from Superbounded.Super_String. + -- Superbounded.Super_String with the maximum length constraint. In + -- almost all cases, the routines in Superbounded can be called with + -- no requirement to pass the maximum length explicitly, since there + -- is at least one Bounded_String argument from which the maximum + -- length can be obtained. For all such routines, the implementation + -- in this private part is simply a renaming of the corresponding + -- routine in the super bouded package. + + -- The five exceptions are the * and Replicate routines operating on + -- character values. For these cases, we have a routine in the body + -- that calls the superbounded routine passing the maximum length + -- explicitly as an extra parameter. type Bounded_String is new Superbounded.Super_String (Max_Length); + -- Deriving Bounded_String from Superbounded.Super_String is the + -- real trick, it ensures that the type Bounded_String declared in + -- the generic instantiation is compatible with the Super_String + -- type declared in the Superbounded package. Null_Bounded_String : constant Bounded_String := - (Max_Length => Max_Length, - Current_Length => 0, - Data => (1 .. Max_Length => ASCII.NUL)); + (Max_Length => Max_Length, + Current_Length => 0, + Data => + (1 .. Max_Length => ASCII.NUL)); pragma Inline (To_Bounded_String); - function Length (Source : in Bounded_String) return Length_Range - renames Super_Length; + procedure Set_Bounded_String + (Target : out Bounded_String; + Source : String; + Drop : Truncation := Error) + renames Set_Super_String; - function To_String (Source : in Bounded_String) return String - renames Super_To_String; + function Length + (Source : Bounded_String) return Length_Range + renames Super_Length; + + function To_String + (Source : Bounded_String) return String + renames Super_To_String; function Append - (Left, Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Append; + (Left : Bounded_String; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String + renames Super_Append; function Append - (Left : in Bounded_String; - Right : in String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Append; + (Left : Bounded_String; + Right : String; + Drop : Truncation := Error) return Bounded_String + renames Super_Append; function Append - (Left : in String; - Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Append; + (Left : String; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String + renames Super_Append; function Append - (Left : in Bounded_String; - Right : in Character; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Append; + (Left : Bounded_String; + Right : Character; + Drop : Truncation := Error) return Bounded_String + renames Super_Append; function Append - (Left : in Character; - Right : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Append; + (Left : Character; + Right : Bounded_String; + Drop : Truncation := Error) return Bounded_String + renames Super_Append; procedure Append (Source : in out Bounded_String; - New_Item : in Bounded_String; - Drop : in Truncation := Error) - renames Super_Append; + New_Item : Bounded_String; + Drop : Truncation := Error) + renames Super_Append; procedure Append (Source : in out Bounded_String; - New_Item : in String; - Drop : in Truncation := Error) - renames Super_Append; + New_Item : String; + Drop : Truncation := Error) + renames Super_Append; procedure Append (Source : in out Bounded_String; - New_Item : in Character; - Drop : in Truncation := Error) - renames Super_Append; + New_Item : Character; + Drop : Truncation := Error) + renames Super_Append; function "&" - (Left, Right : in Bounded_String) - return Bounded_String - renames Concat; + (Left : Bounded_String; + Right : Bounded_String) return Bounded_String + renames Concat; function "&" - (Left : in Bounded_String; - Right : in String) - return Bounded_String - renames Concat; + (Left : Bounded_String; + Right : String) return Bounded_String + renames Concat; function "&" - (Left : in String; - Right : in Bounded_String) - return Bounded_String - renames Concat; + (Left : String; + Right : Bounded_String) return Bounded_String + renames Concat; function "&" - (Left : in Bounded_String; - Right : in Character) - return Bounded_String - renames Concat; + (Left : Bounded_String; + Right : Character) return Bounded_String + renames Concat; function "&" - (Left : in Character; - Right : in Bounded_String) - return Bounded_String - renames Concat; + (Left : Character; + Right : Bounded_String) return Bounded_String + renames Concat; function Element - (Source : in Bounded_String; - Index : in Positive) - return Character - renames Super_Element; + (Source : Bounded_String; + Index : Positive) return Character + renames Super_Element; procedure Replace_Element (Source : in out Bounded_String; - Index : in Positive; - By : in Character) - renames Super_Replace_Element; + Index : Positive; + By : Character) + renames Super_Replace_Element; function Slice - (Source : in Bounded_String; - Low : in Positive; - High : in Natural) - return String - renames Super_Slice; + (Source : Bounded_String; + Low : Positive; + High : Natural) return String + renames Super_Slice; + + function Bounded_Slice + (Source : Bounded_String; + Low : Positive; + High : Natural) return Bounded_String + renames Super_Slice; + + procedure Bounded_Slice + (Source : Bounded_String; + Target : out Bounded_String; + Low : Positive; + High : Natural) + renames Super_Slice; - function "=" (Left, Right : in Bounded_String) return Boolean - renames Equal; + function "=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean + renames Equal; function "=" - (Left : in Bounded_String; - Right : in String) - return Boolean - renames Equal; + (Left : Bounded_String; + Right : String) return Boolean + renames Equal; function "=" - (Left : in String; - Right : in Bounded_String) - return Boolean - renames Equal; + (Left : String; + Right : Bounded_String) return Boolean + renames Equal; - function "<" (Left, Right : in Bounded_String) return Boolean - renames Less; + function "<" + (Left : Bounded_String; + Right : Bounded_String) return Boolean + renames Less; function "<" - (Left : in Bounded_String; - Right : in String) - return Boolean - renames Less; + (Left : Bounded_String; + Right : String) return Boolean + renames Less; function "<" - (Left : in String; - Right : in Bounded_String) - return Boolean - renames Less; + (Left : String; + Right : Bounded_String) return Boolean + renames Less; - function "<=" (Left, Right : in Bounded_String) return Boolean - renames Less_Or_Equal; + function "<=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean + renames Less_Or_Equal; function "<=" - (Left : in Bounded_String; - Right : in String) - return Boolean - renames Less_Or_Equal; + (Left : Bounded_String; + Right : String) return Boolean + renames Less_Or_Equal; function "<=" - (Left : in String; - Right : in Bounded_String) - return Boolean - renames Less_Or_Equal; + (Left : String; + Right : Bounded_String) return Boolean + renames Less_Or_Equal; - function ">" (Left, Right : in Bounded_String) return Boolean - renames Greater; + function ">" + (Left : Bounded_String; + Right : Bounded_String) return Boolean + renames Greater; function ">" - (Left : in Bounded_String; - Right : in String) - return Boolean - renames Greater; + (Left : Bounded_String; + Right : String) return Boolean + renames Greater; function ">" - (Left : in String; - Right : in Bounded_String) - return Boolean - renames Greater; + (Left : String; + Right : Bounded_String) return Boolean + renames Greater; - function ">=" (Left, Right : in Bounded_String) return Boolean - renames Greater_Or_Equal; + function ">=" + (Left : Bounded_String; + Right : Bounded_String) return Boolean + renames Greater_Or_Equal; function ">=" - (Left : in Bounded_String; - Right : in String) - return Boolean - renames Greater_Or_Equal; + (Left : Bounded_String; + Right : String) return Boolean + renames Greater_Or_Equal; function ">=" - (Left : in String; - Right : in Bounded_String) - return Boolean - renames Greater_Or_Equal; + (Left : String; + Right : Bounded_String) return Boolean + renames Greater_Or_Equal; + + function Index + (Source : Bounded_String; + Pattern : String; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural + renames Super_Index; + + function Index + (Source : Bounded_String; + Pattern : String; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping_Function) return Natural + renames Super_Index; function Index - (Source : in Bounded_String; - Pattern : in String; - Going : in Direction := Forward; - Mapping : in Maps.Character_Mapping := Maps.Identity) - return Natural - renames Super_Index; + (Source : Bounded_String; + Set : Maps.Character_Set; + Test : Membership := Inside; + Going : Direction := Forward) return Natural + renames Super_Index; function Index - (Source : in Bounded_String; - Pattern : in String; - Going : in Direction := Forward; - Mapping : in Maps.Character_Mapping_Function) - return Natural - renames Super_Index; + (Source : Bounded_String; + Pattern : String; + From : Positive; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural + renames Super_Index; function Index - (Source : in Bounded_String; - Set : in Maps.Character_Set; - Test : in Membership := Inside; - Going : in Direction := Forward) - return Natural - renames Super_Index; + (Source : Bounded_String; + Pattern : String; + From : Positive; + Going : Direction := Forward; + Mapping : Maps.Character_Mapping_Function) return Natural + renames Super_Index; + + function Index + (Source : Bounded_String; + Set : Maps.Character_Set; + From : Positive; + Test : Membership := Inside; + Going : Direction := Forward) return Natural + renames Super_Index; + + function Index_Non_Blank + (Source : Bounded_String; + Going : Direction := Forward) return Natural + renames Super_Index_Non_Blank; function Index_Non_Blank - (Source : in Bounded_String; - Going : in Direction := Forward) - return Natural - renames Super_Index_Non_Blank; + (Source : Bounded_String; + From : Positive; + Going : Direction := Forward) return Natural + renames Super_Index_Non_Blank; function Count - (Source : in Bounded_String; - Pattern : in String; - Mapping : in Maps.Character_Mapping := Maps.Identity) - return Natural - renames Super_Count; + (Source : Bounded_String; + Pattern : String; + Mapping : Maps.Character_Mapping := Maps.Identity) return Natural + renames Super_Count; function Count - (Source : in Bounded_String; - Pattern : in String; - Mapping : in Maps.Character_Mapping_Function) - return Natural - renames Super_Count; + (Source : Bounded_String; + Pattern : String; + Mapping : Maps.Character_Mapping_Function) return Natural + renames Super_Count; function Count - (Source : in Bounded_String; - Set : in Maps.Character_Set) - return Natural - renames Super_Count; + (Source : Bounded_String; + Set : Maps.Character_Set) return Natural + renames Super_Count; procedure Find_Token - (Source : in Bounded_String; - Set : in Maps.Character_Set; - Test : in Membership; + (Source : Bounded_String; + Set : Maps.Character_Set; + Test : Membership; First : out Positive; Last : out Natural) - renames Super_Find_Token; + renames Super_Find_Token; function Translate - (Source : in Bounded_String; - Mapping : in Maps.Character_Mapping) - return Bounded_String - renames Super_Translate; + (Source : Bounded_String; + Mapping : Maps.Character_Mapping) return Bounded_String + renames Super_Translate; procedure Translate (Source : in out Bounded_String; - Mapping : in Maps.Character_Mapping) - renames Super_Translate; + Mapping : Maps.Character_Mapping) + renames Super_Translate; function Translate - (Source : in Bounded_String; - Mapping : in Maps.Character_Mapping_Function) - return Bounded_String - renames Super_Translate; + (Source : Bounded_String; + Mapping : Maps.Character_Mapping_Function) return Bounded_String + renames Super_Translate; procedure Translate (Source : in out Bounded_String; - Mapping : in Maps.Character_Mapping_Function) - renames Super_Translate; + Mapping : Maps.Character_Mapping_Function) + renames Super_Translate; function Replace_Slice - (Source : in Bounded_String; - Low : in Positive; - High : in Natural; - By : in String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Replace_Slice; + (Source : Bounded_String; + Low : Positive; + High : Natural; + By : String; + Drop : Truncation := Error) return Bounded_String + renames Super_Replace_Slice; procedure Replace_Slice (Source : in out Bounded_String; - Low : in Positive; - High : in Natural; - By : in String; - Drop : in Truncation := Error) - renames Super_Replace_Slice; + Low : Positive; + High : Natural; + By : String; + Drop : Truncation := Error) + renames Super_Replace_Slice; function Insert - (Source : in Bounded_String; - Before : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Insert; + (Source : Bounded_String; + Before : Positive; + New_Item : String; + Drop : Truncation := Error) return Bounded_String + renames Super_Insert; procedure Insert (Source : in out Bounded_String; - Before : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - renames Super_Insert; + Before : Positive; + New_Item : String; + Drop : Truncation := Error) + renames Super_Insert; function Overwrite - (Source : in Bounded_String; - Position : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Overwrite; + (Source : Bounded_String; + Position : Positive; + New_Item : String; + Drop : Truncation := Error) return Bounded_String + renames Super_Overwrite; procedure Overwrite (Source : in out Bounded_String; - Position : in Positive; - New_Item : in String; - Drop : in Truncation := Error) - renames Super_Overwrite; + Position : Positive; + New_Item : String; + Drop : Truncation := Error) + renames Super_Overwrite; function Delete - (Source : in Bounded_String; - From : in Positive; - Through : in Natural) - return Bounded_String - renames Super_Delete; + (Source : Bounded_String; + From : Positive; + Through : Natural) return Bounded_String + renames Super_Delete; procedure Delete (Source : in out Bounded_String; - From : in Positive; - Through : in Natural) - renames Super_Delete; + From : Positive; + Through : Natural) + renames Super_Delete; function Trim - (Source : in Bounded_String; - Side : in Trim_End) - return Bounded_String - renames Super_Trim; + (Source : Bounded_String; + Side : Trim_End) return Bounded_String + renames Super_Trim; procedure Trim (Source : in out Bounded_String; - Side : in Trim_End) - renames Super_Trim; + Side : Trim_End) + renames Super_Trim; function Trim - (Source : in Bounded_String; - Left : in Maps.Character_Set; - Right : in Maps.Character_Set) - return Bounded_String - renames Super_Trim; + (Source : Bounded_String; + Left : Maps.Character_Set; + Right : Maps.Character_Set) return Bounded_String + renames Super_Trim; procedure Trim (Source : in out Bounded_String; - Left : in Maps.Character_Set; - Right : in Maps.Character_Set) - renames Super_Trim; + Left : Maps.Character_Set; + Right : Maps.Character_Set) + renames Super_Trim; function Head - (Source : in Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Head; + (Source : Bounded_String; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) return Bounded_String + renames Super_Head; procedure Head (Source : in out Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - renames Super_Head; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) + renames Super_Head; function Tail - (Source : in Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - return Bounded_String - renames Super_Tail; + (Source : Bounded_String; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) return Bounded_String + renames Super_Tail; procedure Tail (Source : in out Bounded_String; - Count : in Natural; - Pad : in Character := Space; - Drop : in Truncation := Error) - renames Super_Tail; + Count : Natural; + Pad : Character := Space; + Drop : Truncation := Error) + renames Super_Tail; function "*" - (Left : in Natural; - Right : in Bounded_String) - return Bounded_String - renames Times; + (Left : Natural; + Right : Bounded_String) return Bounded_String + renames Times; function Replicate - (Count : in Natural; - Item : in Bounded_String; - Drop : in Truncation := Error) - return Bounded_String + (Count : Natural; + Item : Bounded_String; + Drop : Truncation := Error) return Bounded_String renames Super_Replicate; end Generic_Bounded_Length; |