Package: Ada.Strings.Wide_Bounded

Package: Ada.Strings.Wide_Bounded

Dependencies

with Ada.Strings.Wide_Maps;

Description

GNAT RUN-TIME COMPONENTS

A D A . S T R I N G S . W I D E _ B O U N D E D

S p e c

$Revision: 1.8 $

Copyright (C) 1992-1997 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 apply solely to the contents of the part following the private keyword.

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- 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.

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.

GNAT was originally developed by the GNAT team at New York University. It is now maintained by Ada Core Technologies Inc (http://www.gnat.com).

Header

package Ada.Strings.Wide_Bounded is

pragma Preelaborate (Wide_Bounded);

Other Items:

generic
   Max : Positive;
   --  Maximum length of a Bounded_Wide_String

package Generic_Bounded_Length is

Type Summary

Bounded_Wide_String

Primitive Operations: "&", "&", "&", "&", "&", "*", "*", "*", "<", "<", "<", "<=", "<=", "<=", "=", "=", "=", ">", ">", ">", ">=", ">=", ">=", Append, Append, Append, Append, Append, Append, Append, Append, Count, Count, Count, Delete, Delete, Element, Find_Token, Head, Head, Index, Index, Index, Index_Non_Blank, Insert, Insert, Length, Overwrite, Overwrite, Replace_Element, Replace_Slice, Replace_Slice, Replicate, Replicate, Replicate, Slice, Tail, Tail, To_Bounded_Wide_String, To_Wide_String, Translate, Translate, Translate, Translate, Trim, Trim, Trim, Trim

Constants and Named Numbers

Max_Length : constant Positive := Max;

Null_Bounded_Wide_String : constant Bounded_Wide_String;

Other Items:

type Bounded_Wide_String is private;

subtype Length_Range is Natural range 0 .. Max_Length;

function Length (Source : in Bounded_Wide_String) return Length_Range;

Conversion, Concatenation, and Selection Functions

function To_Bounded_Wide_String
  (Source : in Wide_String;
   Drop   : in Truncation := Error)
   return   Bounded_Wide_String;

function To_Wide_String
  (Source : in Bounded_Wide_String)
   return   Wide_String;

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

function Append
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String;
   Drop  : in Truncation := Error)
   return  Bounded_Wide_String;

function Append
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String;
   Drop  : in Truncation := Error)
   return  Bounded_Wide_String;

function Append
  (Left  : in Bounded_Wide_String;
   Right : in Wide_Character;
   Drop  : in Truncation := Error)
   return  Bounded_Wide_String;

function Append
  (Left  : in Wide_Character;
   Right : in Bounded_Wide_String;
   Drop  : in Truncation := Error)
   return  Bounded_Wide_String;

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

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

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

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

function "&"
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Bounded_Wide_String;

function "&"
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Bounded_Wide_String;

function "&"
  (Left  : in Bounded_Wide_String;
   Right : in Wide_Character)
   return  Bounded_Wide_String;

function "&"
  (Left  : in Wide_Character;
   Right : in Bounded_Wide_String)
   return  Bounded_Wide_String;

function Element
  (Source : in Bounded_Wide_String;
   Index  : in Positive)
   return   Wide_Character;

procedure Replace_Element
  (Source : in out Bounded_Wide_String;
   Index  : in Positive;
   By     : in Wide_Character);

function Slice
  (Source : in Bounded_Wide_String;
   Low    : in Positive;
   High   : in Natural)
   return   Wide_String;

function "="
  (Left  : in Bounded_Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function "="
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Boolean;

function "="
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function "<"
  (Left  : in Bounded_Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function "<"
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Boolean;

function "<"
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function "<="
  (Left  : in Bounded_Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function "<="
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Boolean;

function "<="
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function ">"
  (Left  : in Bounded_Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function ">"
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Boolean;

function ">"
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function ">="
  (Left  : in Bounded_Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

function ">="
  (Left  : in Bounded_Wide_String;
   Right : in Wide_String)
   return  Boolean;

function ">="
  (Left  : in Wide_String;
   Right : in Bounded_Wide_String)
   return  Boolean;

Search Functions

function Index
  (Source  : in Bounded_Wide_String;
   Pattern : in Wide_String;
   Going   : in Direction := Forward;
   Mapping : in Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
   return    Natural;

function Index
  (Source  : in Bounded_Wide_String;
   Pattern : in Wide_String;
   Going   : in Direction := Forward;
   Mapping : in Wide_Maps.Wide_Character_Mapping_Function)
   return    Natural;

function Index
  (Source : in Bounded_Wide_String;
   Set    : in Wide_Maps.Wide_Character_Set;
   Test   : in Membership := Inside;
   Going  : in Direction  := Forward)
   return   Natural;

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

function Count
  (Source  : in Bounded_Wide_String;
   Pattern : in Wide_String;
   Mapping : in Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
   return    Natural;

function Count
  (Source  : in Bounded_Wide_String;
   Pattern : in Wide_String;
   Mapping : in Wide_Maps.Wide_Character_Mapping_Function)
   return    Natural;

function Count
  (Source : in Bounded_Wide_String;
   Set    : in Wide_Maps.Wide_Character_Set)
   return   Natural;

procedure Find_Token
  (Source : in Bounded_Wide_String;
   Set    : in Wide_Maps.Wide_Character_Set;
   Test   : in Membership;
   First  : out Positive;
   Last   : out Natural);

Wide_String Translation Subprograms

function Translate
  (Source   : in Bounded_Wide_String;
   Mapping  : in Wide_Maps.Wide_Character_Mapping)
   return     Bounded_Wide_String;

procedure Translate
  (Source   : in out Bounded_Wide_String;
   Mapping  : in Wide_Maps.Wide_Character_Mapping);

function Translate
  (Source  : in Bounded_Wide_String;
   Mapping : in Wide_Maps.Wide_Character_Mapping_Function)
   return    Bounded_Wide_String;

procedure Translate
  (Source  : in out Bounded_Wide_String;
   Mapping : in Wide_Maps.Wide_Character_Mapping_Function);

Wide_String Transformation Subprograms

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

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

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

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

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

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

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

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

Wide_String Selector Subprograms

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

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

function Trim
  (Source  : in Bounded_Wide_String;
    Left   : in Wide_Maps.Wide_Character_Set;
    Right  : in Wide_Maps.Wide_Character_Set)
    return   Bounded_Wide_String;

procedure Trim
  (Source : in out Bounded_Wide_String;
   Left   : in Wide_Maps.Wide_Character_Set;
   Right  : in Wide_Maps.Wide_Character_Set);

function Head
  (Source : in Bounded_Wide_String;
   Count  : in Natural;
   Pad    : in Wide_Character := Wide_Space;
   Drop   : in Truncation := Error)
   return   Bounded_Wide_String;

procedure Head
  (Source : in out Bounded_Wide_String;
   Count  : in Natural;
   Pad    : in Wide_Character  := Wide_Space;
   Drop   : in Truncation := Error);

function Tail
  (Source : in Bounded_Wide_String;
   Count  : in Natural;
   Pad    : in Wide_Character  := Wide_Space;
   Drop   : in Truncation := Error)
   return Bounded_Wide_String;

procedure Tail
  (Source : in out Bounded_Wide_String;
   Count  : in Natural;
   Pad    : in Wide_Character  := Wide_Space;
   Drop   : in Truncation := Error);

Wide_String Constructor Subprograms

function "*"
  (Left  : in Natural;
   Right : in Wide_Character)
   return  Bounded_Wide_String;

function "*"
  (Left  : in Natural;
   Right : in Wide_String)
   return  Bounded_Wide_String;

function "*"
  (Left  : in Natural;
   Right : in Bounded_Wide_String)
   return  Bounded_Wide_String;

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

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

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

private

   --  Implementation-defined ...

end Generic_Bounded_Length;

end Ada.Strings.Wide_Bounded;