diff options
Diffstat (limited to 'gcc/ada/a-stwibo.ads')
| -rw-r--r-- | gcc/ada/a-stwibo.ads | 429 |
1 files changed, 404 insertions, 25 deletions
diff --git a/gcc/ada/a-stwibo.ads b/gcc/ada/a-stwibo.ads index 3da44797543..9cebf6f484b 100644 --- a/gcc/ada/a-stwibo.ads +++ b/gcc/ada/a-stwibo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2003 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 -- @@ -36,6 +36,7 @@ ------------------------------------------------------------------------------ with Ada.Strings.Wide_Maps; +with Ada.Strings.Wide_Superbounded; package Ada.Strings.Wide_Bounded is pragma Preelaborate (Wide_Bounded); @@ -448,34 +449,412 @@ pragma Preelaborate (Wide_Bounded); return Bounded_Wide_String; private - Wide_NUL : constant Wide_Character := Wide_Character'Val (0); - type Bounded_Wide_String is record - Length : Length_Range := 0; - Data : Wide_String (1 .. Max_Length); - end record; + -- Most of the implementation is in the non generic package + -- Ada.Strings.Superbounded. Type Bounded_Wide_String is derived from + -- type Wide_Superbounded.Super_String with the maximum length + -- constraint. Except for five, all subprograms are renames of + -- subprograms that are inherited from Wide_Superbounded.Super_String. + + type Bounded_Wide_String is + new Wide_Superbounded.Super_String (Max_Length); Null_Bounded_Wide_String : constant Bounded_Wide_String := - (Length => 0, Data => (1 .. Max_Length => Wide_NUL)); - - -- Pragma Inline declarations (GNAT specific additions) - - pragma Inline ("="); - pragma Inline ("<"); - pragma Inline ("<="); - pragma Inline (">"); - pragma Inline (">="); - pragma Inline ("&"); - pragma Inline (Count); - pragma Inline (Element); - pragma Inline (Find_Token); - pragma Inline (Index); - pragma Inline (Index_Non_Blank); - pragma Inline (Length); - pragma Inline (Replace_Element); - pragma Inline (Slice); + (Max_Length => Max_Length, + Current_Length => 0, + Data => (1 .. Max_Length => Wide_Superbounded.Wide_NUL)); + pragma Inline (To_Bounded_Wide_String); - pragma Inline (To_Wide_String); + + function Length (Source : in Bounded_Wide_String) return Length_Range + renames Super_Length; + + function To_Wide_String + (Source : in Bounded_Wide_String) + return Wide_String + renames Super_To_String; + + function Append + (Left, Right : in Bounded_Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Append; + + function Append + (Left : in Bounded_Wide_String; + Right : in Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Append; + + function Append + (Left : in Wide_String; + Right : in Bounded_Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Append; + + function Append + (Left : in Bounded_Wide_String; + Right : in Wide_Character; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Append; + + function Append + (Left : in Wide_Character; + Right : in Bounded_Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Append; + + procedure Append + (Source : in out Bounded_Wide_String; + New_Item : in Bounded_Wide_String; + Drop : in Truncation := Error) + renames Super_Append; + + procedure Append + (Source : in out Bounded_Wide_String; + New_Item : in Wide_String; + Drop : in Truncation := Error) + renames Super_Append; + + procedure Append + (Source : in out Bounded_Wide_String; + New_Item : in Wide_Character; + Drop : in Truncation := Error) + renames Super_Append; + + function "&" + (Left, Right : in Bounded_Wide_String) + return Bounded_Wide_String + renames Concat; + + function "&" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Bounded_Wide_String + renames Concat; + + function "&" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Bounded_Wide_String + renames Concat; + + function "&" + (Left : in Bounded_Wide_String; + Right : in Wide_Character) + return Bounded_Wide_String + renames Concat; + + function "&" + (Left : in Wide_Character; + Right : in Bounded_Wide_String) + return Bounded_Wide_String + renames Concat; + + function Element + (Source : in Bounded_Wide_String; + Index : in Positive) + return Wide_Character + renames Super_Element; + + procedure Replace_Element + (Source : in out Bounded_Wide_String; + Index : in Positive; + By : in Wide_Character) + renames Super_Replace_Element; + + function Slice + (Source : in Bounded_Wide_String; + Low : in Positive; + High : in Natural) + return Wide_String + renames Super_Slice; + + function "=" (Left, Right : in Bounded_Wide_String) return Boolean + renames Equal; + + function "=" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Boolean + renames Equal; + + function "=" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Boolean + renames Equal; + + function "<" (Left, Right : in Bounded_Wide_String) return Boolean + renames Less; + + function "<" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Boolean + renames Less; + + function "<" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Boolean + renames Less; + + function "<=" (Left, Right : in Bounded_Wide_String) return Boolean + renames Less_Or_Equal; + + function "<=" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Boolean + renames Less_Or_Equal; + + function "<=" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Boolean + renames Less_Or_Equal; + + function ">" (Left, Right : in Bounded_Wide_String) return Boolean + renames Greater; + + function ">" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Boolean + renames Greater; + + function ">" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Boolean + renames Greater; + + function ">=" (Left, Right : in Bounded_Wide_String) return Boolean + renames Greater_Or_Equal; + + function ">=" + (Left : in Bounded_Wide_String; + Right : in Wide_String) + return Boolean + renames Greater_Or_Equal; + + function ">=" + (Left : in Wide_String; + Right : in Bounded_Wide_String) + return Boolean + renames Greater_Or_Equal; + + 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 + renames Super_Index; + + 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 + renames Super_Index; + + function Index + (Source : in Bounded_Wide_String; + Set : in Wide_Maps.Wide_Character_Set; + Test : in Membership := Inside; + Going : in Direction := Forward) + return Natural + renames Super_Index; + + function Index_Non_Blank + (Source : in Bounded_Wide_String; + Going : in Direction := Forward) + return Natural + renames Super_Index_Non_Blank; + + function Count + (Source : in Bounded_Wide_String; + Pattern : in Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity) + return Natural + renames Super_Count; + + function Count + (Source : in Bounded_Wide_String; + Pattern : in Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping_Function) + return Natural + renames Super_Count; + + function Count + (Source : in Bounded_Wide_String; + Set : in Wide_Maps.Wide_Character_Set) + return Natural + renames Super_Count; + + procedure Find_Token + (Source : in Bounded_Wide_String; + Set : in Wide_Maps.Wide_Character_Set; + Test : in Membership; + First : out Positive; + Last : out Natural) + renames Super_Find_Token; + + function Translate + (Source : in Bounded_Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping) + return Bounded_Wide_String + renames Super_Translate; + + procedure Translate + (Source : in out Bounded_Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping) + renames Super_Translate; + + function Translate + (Source : in Bounded_Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping_Function) + return Bounded_Wide_String + renames Super_Translate; + + procedure Translate + (Source : in out Bounded_Wide_String; + Mapping : in Wide_Maps.Wide_Character_Mapping_Function) + renames Super_Translate; + + 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 + renames Super_Replace_Slice; + + procedure Replace_Slice + (Source : in out Bounded_Wide_String; + Low : in Positive; + High : in Natural; + By : in Wide_String; + Drop : in Truncation := Error) + renames Super_Replace_Slice; + + function Insert + (Source : in Bounded_Wide_String; + Before : in Positive; + New_Item : in Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Insert; + + procedure Insert + (Source : in out Bounded_Wide_String; + Before : in Positive; + New_Item : in Wide_String; + Drop : in Truncation := Error) + renames Super_Insert; + + function Overwrite + (Source : in Bounded_Wide_String; + Position : in Positive; + New_Item : in Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Overwrite; + + procedure Overwrite + (Source : in out Bounded_Wide_String; + Position : in Positive; + New_Item : in Wide_String; + Drop : in Truncation := Error) + renames Super_Overwrite; + + function Delete + (Source : in Bounded_Wide_String; + From : in Positive; + Through : in Natural) + return Bounded_Wide_String + renames Super_Delete; + + procedure Delete + (Source : in out Bounded_Wide_String; + From : in Positive; + Through : in Natural) + renames Super_Delete; + + function Trim + (Source : in Bounded_Wide_String; + Side : in Trim_End) + return Bounded_Wide_String + renames Super_Trim; + + procedure Trim + (Source : in out Bounded_Wide_String; + Side : in Trim_End) + renames Super_Trim; + + 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 + renames Super_Trim; + + procedure Trim + (Source : in out Bounded_Wide_String; + Left : in Wide_Maps.Wide_Character_Set; + Right : in Wide_Maps.Wide_Character_Set) + renames Super_Trim; + + function Head + (Source : in Bounded_Wide_String; + Count : in Natural; + Pad : in Wide_Character := Wide_Space; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Head; + + procedure Head + (Source : in out Bounded_Wide_String; + Count : in Natural; + Pad : in Wide_Character := Wide_Space; + Drop : in Truncation := Error) + renames Super_Head; + + function Tail + (Source : in Bounded_Wide_String; + Count : in Natural; + Pad : in Wide_Character := Wide_Space; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Tail; + + procedure Tail + (Source : in out Bounded_Wide_String; + Count : in Natural; + Pad : in Wide_Character := Wide_Space; + Drop : in Truncation := Error) + renames Super_Tail; + + function "*" + (Left : in Natural; + Right : in Bounded_Wide_String) + return Bounded_Wide_String + renames Times; + + function Replicate + (Count : in Natural; + Item : in Bounded_Wide_String; + Drop : in Truncation := Error) + return Bounded_Wide_String + renames Super_Replicate; end Generic_Bounded_Length; |