-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, 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 --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
--- As a special exception, if other files instantiate generics from this --
--- unit, or you link this unit with other files to produce an executable, --
--- this unit does not by itself cause the resulting executable to be --
--- covered by the GNU General Public License. This exception does not --
--- however invalidate any other reasons why the executable file might be --
--- covered by the GNU Public License. --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
+-- --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
with Ada.Strings.Superbounded;
package Ada.Strings.Bounded is
-pragma Preelaborate (Bounded);
+ pragma Preelaborate;
generic
Max : Positive;
Max_Length : constant Positive := Max;
type Bounded_String is private;
+ pragma Preelaborable_Initialization (Bounded_String);
Null_Bounded_String : constant Bounded_String;
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 : Bounded_String) return String;
- function To_String (Source : in 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 : Bounded_String;
+ Set : Maps.Character_Set;
+ Test : Membership := Inside;
+ Going : Direction := Forward) return Natural;
+
+ function Index
+ (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 : in Bounded_String;
- Pattern : in String;
- Going : in Direction := Forward;
- Mapping : in Maps.Character_Mapping_Function)
- return Natural;
+ (Source : Bounded_String;
+ Pattern : String;
+ From : Positive;
+ Going : Direction := Forward;
+ Mapping : Maps.Character_Mapping_Function) return Natural;
+ pragma Ada_05 (Index);
function Index
- (Source : in Bounded_String;
- Set : in Maps.Character_Set;
- Test : in Membership := Inside;
- Going : in Direction := Forward)
- return Natural;
+ (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 : Bounded_String;
+ Going : Direction := Forward) return Natural;
function Index_Non_Blank
- (Source : in Bounded_String;
- Going : in Direction := Forward)
- return Natural;
+ (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);
------------------------------------
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 superbounded 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.
+
+ function From_String (Source : String) return Bounded_String;
+ -- Private routine used only by Stream_Convert
+
+ pragma Stream_Convert (Bounded_String, From_String, To_String);
+ -- Provide stream routines without dragging in Ada.Streams
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 : 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;
+ Pattern : String;
+ Going : Direction := Forward;
+ Mapping : Maps.Character_Mapping := Maps.Identity) 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;
+ Going : Direction := Forward;
+ Mapping : Maps.Character_Mapping_Function) 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;
+ Set : Maps.Character_Set;
+ Test : Membership := Inside;
+ Going : Direction := Forward) return Natural
+ renames Super_Index;
+
+ function 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 : 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;
OSDN Git Service
