obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 1027 insertions, 0 deletions

diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxa4019.a b/gcc/testsuite/ada/acats/tests/cxa/cxa4019.a
new file mode 100644
index 000000000..943e3e73b
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxa4019.a
@@ -0,0 +1,1027 @@
+-- CXA4019.A
+--
+--                             Grant of Unlimited Rights
+--
+--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
+--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
+--     unlimited rights in the software and documentation contained herein.
+--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
+--     this public release, the Government intends to confer upon all 
+--     recipients unlimited rights  equal to those held by the Government.  
+--     These rights include rights to use, duplicate, release or disclose the 
+--     released technical data and computer software in whole or in part, in 
+--     any manner and for any purpose whatsoever, and to have or permit others 
+--     to do so.
+--
+--                                    DISCLAIMER
+--
+--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
+--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
+--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
+--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
+--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
+--     PARTICULAR PURPOSE OF SAID MATERIAL.
+--*
+--
+-- OBJECTIVE:
+--      Check that the subprograms defined in package Ada.Strings.Wide_Bounded
+--      are available, and that they produce correct results, especially 
+--      under conditions where truncation of the result is required.  
+--      Specifically, check the subprograms Append, Count with non-Identity
+--      maps, Index with non-Identity maps, Index with Set parameters, 
+--      Insert (function and procedure), Replace_Slice (function and 
+--      procedure), To_Bounded_Wide_String, and Translate (function and 
+--      procedure).
+--
+-- TEST DESCRIPTION:
+--      This test, in conjunction with tests CXA4017, CXA4018, and CXA4020, 
+--      will provide coverage of the most common usages of the functionality
+--      found in the Ada.Strings.Wide_Bounded package.  It deals in large part
+--      with truncation effects and options.  This test contains many small, 
+--      specific test cases, situations that are often difficult to generate 
+--      in large numbers in an application-based test.  These cases represent 
+--      specific usage paradigms in-the-small.
+--
+--       
+-- CHANGE HISTORY:
+--      06 Dec 94   SAIC    ACVC 2.0
+--      06 Nov 95   SAIC    Corrected expected result string in subtest for
+--                          ACVC 2.0.1.
+--                          Moved function Dog_to_Cat_Mapping to library
+--                          level to correct accessibility problem in test.
+--      22 Aug 96   SAIC    Corrected three subtests identified in reviewer
+--                          comments.
+--      17 Feb 97   PWB.CTA Corrected result strings for Translate and Insert
+--
+--!
+
+package CXA40190 is
+
+   -- Wide Character mapping function defined for use with specific 
+   -- versions of functions Index and Count.
+
+   function Dog_to_Cat_Mapping (From : Wide_Character) 
+        return Wide_Character;
+
+end CXA40190;
+
+package body CXA40190 is
+
+   -- Translates "dog" to "cat".
+   function Dog_to_Cat_Mapping (From : Wide_Character) 
+     return Wide_Character is
+   begin
+      if From = 'd' then
+         return 'c';
+      elsif From = 'o' then
+         return 'a';
+      elsif From = 'g' then
+         return 't';
+      else
+         return From;
+      end if;
+   end Dog_to_Cat_Mapping;
+
+end CXA40190;
+
+
+with CXA40190;
+with Report;
+with Ada.Characters.Handling;
+with Ada.Strings.Wide_Bounded;
+with Ada.Strings.Wide_Maps;
+with Ada.Strings.Wide_Maps.Wide_Constants;
+
+procedure CXA4019 is
+
+   -- The following two functions are used to translate character and string 
+   -- values to "Wide" values.  They will be applied to all the Wide_Bounded
+   -- subprogram parameters to simulate the use of Wide_Characters and 
+   -- Wide_Strings in actual practice.
+
+   function Equiv (Ch : Character) return Wide_Character is
+      C : Character := Ch;
+   begin
+      if Ch = ' ' then
+         return Ada.Characters.Handling.To_Wide_Character(C);
+      else
+         return Wide_Character'Val(Character'Pos(Ch) + 
+                Character'Pos(Character'Last) + 1);
+      end if;
+   end Equiv;
+
+
+   function Equiv (Str : String) return Wide_String is
+      WS : Wide_String(Str'First..Str'Last);
+   begin
+      for i in Str'First..Str'Last loop
+         WS(i) := Equiv(Str(i));
+      end loop;
+      return WS;
+   end Equiv;
+
+begin
+
+   Report.Test("CXA4019", "Check that the subprograms defined in "      &
+                          "package Ada.Strings.Wide_Bounded are "       &
+                          "available, and that they produce correct "   &
+                          "results, especially under conditions where " &
+                          "truncation of the result is required");
+
+   Test_Block:
+   declare
+
+      use CXA40190;
+
+      package AS   renames Ada.Strings;
+      package ASB  renames Ada.Strings.Wide_Bounded;
+      package ASWC renames Ada.Strings.Wide_Maps.Wide_Constants;
+      package Maps renames Ada.Strings.Wide_Maps;
+
+      package B10 is new ASB.Generic_Bounded_Length(Max => 10);
+      use type B10.Bounded_Wide_String;
+
+      Result_String : B10.Bounded_Wide_String;
+      Test_String   : B10.Bounded_Wide_String;
+      AtoE_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Equiv("abcde"));
+      FtoJ_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Equiv("fghij"));
+      AtoJ_Bnd_Str  : B10.Bounded_Wide_String := 
+                        B10.To_Bounded_Wide_String(Equiv("abcdefghij"));
+
+      Location     : Natural := 0;
+      Total_Count  : Natural := 0;
+
+      CD_Set       : Maps.Wide_Character_Set := Maps.To_Set("cd"); 
+      Wide_CD_Set  : Maps.Wide_Character_Set := Maps.To_Set(Equiv("cd")); 
+
+      AB_to_YZ_Map : Maps.Wide_Character_Mapping :=
+                     Maps.To_Mapping(From => "ab", To => "yz");
+
+      Wide_AB_to_YZ_Map : Maps.Wide_Character_Mapping :=
+                          Maps.To_Mapping(From => Equiv("ab"),  
+                                          To   => Equiv("yz"));
+
+      CD_to_XY_Map : Maps.Wide_Character_Mapping :=
+                       Maps.To_Mapping(From => "cd", To => "xy");
+
+      Wide_CD_to_XY_Map : Maps.Wide_Character_Mapping :=
+                          Maps.To_Mapping(From => Equiv("cd"),  
+                                          To   => Equiv("xy"));
+
+
+      -- Access-to-Subprogram object defined for use with specific versions of 
+      -- functions Index, Count Translate, and procedure Translate.
+
+      Map_Ptr : Maps.Wide_Character_Mapping_Function := 
+                  Dog_to_Cat_Mapping'Access;
+
+
+
+   begin
+
+      -- Function To_Bounded_Wide_String with Truncation 
+      -- Evaluate the function Append with parameters that will 
+      -- cause the truncation of the result.
+
+      -- Drop = Error (default case, Length_Error will be raised)
+
+      begin
+         Test_String := 
+           B10.To_Bounded_Wide_String
+             (Equiv("Much too long for this bounded wide string"));
+         Report.Failed("Length Error not raised by To_Bounded_Wide_String");
+      exception
+         when AS.Length_Error => null;  -- Expected exception raised.
+         when others          =>
+           Report.Failed
+            ("Incorrect exception raised by To_Bounded_Wide_String");
+      end;
+
+      -- Drop = Left 
+
+      Test_String := 
+        B10.To_Bounded_Wide_String(Source => Equiv("abcdefghijklmn"),
+                                   Drop   => Ada.Strings.Left);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Equiv("efghijklmn")) then
+         Report.Failed
+           ("Incorrect result from To_Bounded_Wide_String, Drop = Left");
+      end if;
+
+      -- Drop = Right 
+
+      Test_String := 
+        B10.To_Bounded_Wide_String(Source => Equiv("abcdefghijklmn"),
+                                   Drop   => Ada.Strings.Right);
+
+      if not(Test_String = AtoJ_Bnd_Str) then
+         Report.Failed
+           ("Incorrect result from To_Bounded_Wide_String, Drop = Right");
+      end if;
+
+
+
+
+      -- Function Append with Truncation 
+      -- Evaluate the function Append with parameters that will 
+      -- cause the truncation of the result.
+
+      -- Drop = Error (default case, Length_Error will be raised)
+
+      begin
+         -- Append (Bnd Str, Bnd Str);
+         Result_String := 
+           B10.Append(B10.To_Bounded_Wide_String(Equiv("abcde")),
+                      B10.To_Bounded_Wide_String(Equiv("fghijk"))); -- 11 char
+         Report.Failed("Length_Error not raised by Append - 1");
+      exception
+         when AS.Length_Error => null;   -- OK, correct exception raised.
+         when others          =>
+            Report.Failed("Incorrect exception raised by Append - 1");
+      end;
+
+      begin
+         -- Append (Str, Bnd Str);
+         Result_String := 
+           B10.Append(B10.To_Wide_String(AtoE_Bnd_Str),
+                      B10.To_Bounded_Wide_String(Equiv("fghijk")), 
+                      AS.Error); 
+         Report.Failed("Length_Error not raised by Append - 2");
+      exception
+         when AS.Length_Error => null;   -- OK, correct exception raised.
+         when others          =>
+            Report.Failed("Incorrect exception raised by Append - 2");
+      end;
+
+      begin
+         -- Append (Bnd Str, Char);
+         Result_String := 
+           B10.Append(B10.To_Bounded_Wide_String("abcdefghij"), 'k');
+         Report.Failed("Length_Error not raised by Append - 3");
+      exception
+         when AS.Length_Error => null;   -- OK, correct exception raised.
+         when others          =>
+            Report.Failed("Incorrect exception raised by Append - 3");
+      end;
+
+      -- Drop = Left 
+
+      -- Append (Bnd Str, Bnd Str)
+      Result_String := 
+        B10.Append(B10.To_Bounded_Wide_String(Equiv("abcdefgh")), -- 8 chs
+                   B10.To_Bounded_Wide_String(Equiv("ijklmn")),   -- 6 chs
+                   Ada.Strings.Left);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Equiv("efghijklmn"))  -- 10 chars
+      then
+         Report.Failed("Incorrect truncation performed by Append - 4");
+      end if;
+
+      -- Append (Bnd Str, Str)
+      Result_String := 
+        B10.Append(B10.To_Bounded_Wide_String("abcdefghij"), 
+                   "xyz",
+                   Ada.Strings.Left);
+
+      if Result_String /= B10.To_Bounded_Wide_String("defghijxyz") then
+         Report.Failed("Incorrect truncation performed by Append - 5");
+      end if;
+
+      -- Append (Char, Bnd Str)
+
+      Result_String := 
+        B10.Append(Equiv('A'), 
+                   B10.To_Bounded_Wide_String(Equiv("abcdefghij")),
+                   Ada.Strings.Left);
+
+      if Result_String /= B10.To_Bounded_Wide_String(Equiv("abcdefghij")) 
+      then
+         Report.Failed("Incorrect truncation performed by Append - 6");
+      end if;
+
+      -- Drop = Right 
+
+      -- Append (Bnd Str, Bnd Str)
+      Result_String := B10.Append(FtoJ_Bnd_Str, 
+                                  AtoJ_Bnd_Str,
+                                  Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Equiv("fghijabcde")) 
+      then
+         Report.Failed("Incorrect truncation performed by Append - 7");
+      end if;
+
+      -- Append (Str, Bnd Str)
+      Result_String := B10.Append(B10.To_Wide_String(AtoE_Bnd_Str), 
+                                  AtoJ_Bnd_Str,
+                                  Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Equiv("abcdeabcde")) 
+      then
+         Report.Failed("Incorrect truncation performed by Append - 8");
+      end if;
+
+      -- Append (Char, Bnd Str)
+      Result_String := B10.Append(Equiv('A'), AtoJ_Bnd_Str, Ada.Strings.Right);
+
+      if Result_String /= B10.To_Bounded_Wide_String(Equiv("Aabcdefghi")) then
+         Report.Failed("Incorrect truncation performed by Append - 9");
+      end if;
+
+
+
+      -- Function Index with non-Identity map. 
+      -- Evaluate the function Index with a non-identity map 
+      -- parameter which will cause mapping of the source parameter 
+      -- prior to the evaluation of the index position search.
+
+      Location := 
+        B10.Index(Source  => B10.To_Bounded_Wide_String("foxy fox 2"),
+                  Pattern => "FOX",
+                  Going   => Ada.Strings.Backward,
+                  Mapping => ASWC.Upper_Case_Map);
+
+      if Location /= 6 then
+         Report.Failed("Incorrect result from Index, non-Identity map - 1");
+      end if;
+
+      Location := 
+        B10.Index(B10.To_Bounded_Wide_String("THE QUICK "),
+                  "quick",
+                  Ada.Strings.Forward,
+                  Ada.Strings.Wide_Maps.Wide_Constants.Lower_Case_Map);
+
+      if Location /= 5 then
+         Report.Failed("Incorrect result from Index, non-Identity map - 2");
+      end if;
+
+      Location := B10.Index(Source  => B10.To_Bounded_Wide_String("The the"),
+                            Pattern => "the",
+                            Going   => Ada.Strings.Forward,
+                            Mapping => ASWC.Lower_Case_Map); 
+
+      if Location /= 1 then
+         Report.Failed("Incorrect result from Index, non-Identity map - 3");
+      end if;
+
+
+
+      if B10.Index(B10.To_Bounded_Wide_String("abcd"),   -- Pattern = Source
+                   "abcd")                       /= 1 or
+         B10.Index(B10.To_Bounded_Wide_String("abc"),    -- Pattern < Source
+                   "abcd")                       /= 0 or
+         B10.Index(B10.Null_Bounded_Wide_String,         -- Source = Null
+                   "abc")                        /= 0 
+      then
+         Report.Failed("Incorrect result from Index with string patterns");
+      end if;
+
+
+
+      -- Function Index with access-to-subprogram mapping value. 
+      -- Evaluate the function Index with a wide character mapping function
+      -- object that performs the mapping operation.
+
+      Location := B10.Index(Source  => B10.To_Bounded_Wide_String("My dog"),
+                            Pattern => "cat",
+                            Going   => Ada.Strings.Forward,
+                            Mapping => Map_Ptr);  -- change "dog" to "cat"
+
+      if Location /= 4 then
+         Report.Failed("Incorrect result from Index, w/map ptr - 1");
+      end if;
+
+      Location := B10.Index(B10.To_Bounded_Wide_String("cat or dog"),
+                            "cat",
+                            Ada.Strings.Backward,
+                            Map_Ptr);   
+
+      if Location /= 8 then
+         Report.Failed("Incorrect result from Index, w/map ptr - 2");
+      end if;
+
+      if B10.Index(B10.To_Bounded_Wide_String("dog"),   -- Pattern = Source
+                   "cat",
+                   Ada.Strings.Forward,
+                   Map_Ptr)                            /= 1 or
+         B10.Index(B10.To_Bounded_Wide_String("dog"),    -- Pattern < Source
+                   "cats",
+                   Ada.Strings.Backward,
+                   Map_Ptr)                            /= 0 or
+         B10.Index(B10.Null_Bounded_Wide_String,         -- Source = Null
+                   "cat",
+                   Ada.Strings.Forward,
+                   Map_Ptr)                            /= 0 or
+         B10.Index(B10.To_Bounded_Wide_String("hot dog"),
+                   "dog",
+                   Ada.Strings.Backward,
+                   Map_Ptr)                            /= 0 or
+         B10.Index(B10.To_Bounded_Wide_String(" cat dog "),
+                   " cat",
+                   Ada.Strings.Backward,
+                   Map_Ptr)                           /= 5 or
+         B10.Index(B10.To_Bounded_Wide_String("dog CatDog"),
+                   "cat",
+                   Ada.Strings.Backward,
+                   Map_Ptr)                           /= 1 or
+         B10.Index(B10.To_Bounded_Wide_String("CatandDog"),
+                   "cat",
+                   Ada.Strings.Forward,
+                   Map_Ptr)                           /= 0 or
+         B10.Index(B10.To_Bounded_Wide_String("dddd"),
+                   "ccccc",
+                   Ada.Strings.Backward,
+                   Map_Ptr)                           /= 0
+      then
+         Report.Failed("Incorrect result from Index w/map ptr - 3");
+      end if;
+
+
+
+      -- Function Index (for Sets).           
+      -- This version of Index uses Sets as the basis of the search.
+
+      -- Test = Inside, Going = Forward  (Default case).
+      Location := 
+        B10.Index(Source => B10.To_Bounded_Wide_String(Equiv("abcdeabcde")),
+                  Set    => Wide_CD_Set, 
+                  Test   => Ada.Strings.Inside,
+                  Going  => Ada.Strings.Forward);
+
+      if not (Location = 3) then -- position of first 'c' equivalent in source.
+         Report.Failed("Incorrect result from Index using Sets - 1");
+      end if;
+
+      -- Test = Inside, Going = Backward.
+      Location := 
+        B10.Index(Source => B10."&"(AtoE_Bnd_Str, AtoE_Bnd_Str), 
+                  Set    => Wide_CD_Set, 
+                  Test   => Ada.Strings.Inside,
+                  Going  => Ada.Strings.Backward);
+
+      if not (Location = 9) then   -- position of last 'd' in source.
+         Report.Failed("Incorrect result from Index using Sets - 2");
+      end if;
+
+      -- Test = Outside, Going = Forward.
+      Location := B10.Index(B10.To_Bounded_Wide_String("deddacd"),  
+                            CD_Set,
+                            Test  => Ada.Strings.Outside,
+                            Going => Ada.Strings.Forward);
+
+      if Location /= 2  then  -- position of 'e' in source.
+         Report.Failed("Incorrect result from Index using Sets - 3");
+      end if;
+
+      -- Test = Outside, Going = Backward.
+      Location := B10.Index(B10.To_Bounded_Wide_String(Equiv("deddacd")),
+                            Wide_CD_Set,
+                            Ada.Strings.Outside,
+                            Ada.Strings.Backward);
+
+      if Location /= 5 then    -- position of 'a', correct.
+         Report.Failed("Incorrect result from Index using Sets - 4");
+      end if;
+
+      if B10.Index(B10.To_Bounded_Wide_String("cd"),   -- Source = Set
+                   CD_Set)                     /= 1 or
+         B10.Index(B10.To_Bounded_Wide_String("c"),    -- Source < Set
+                   CD_Set)                     /= 1 or
+         B10.Index(B10.Null_Bounded_Wide_String,       -- Source = Null
+                   Wide_CD_Set)                /= 0 or
+         B10.Index(AtoE_Bnd_Str,
+                   Maps.To_Set('x'))           /= 0    -- No match.
+      then
+         Report.Failed("Incorrect result from Index using Sets - 5");
+      end if;
+
+
+
+      -- Function Count with non-Identity mapping. 
+      -- Evaluate the function Count with a non-identity map 
+      -- parameter which will cause mapping of the source parameter 
+      -- prior to the evaluation of the number of matching patterns.
+
+      Total_Count := 
+        B10.Count(Source  => B10.To_Bounded_Wide_String("THE THE TH"),
+                  Pattern => "th",
+                  Mapping => ASWC.Lower_Case_Map);
+
+      if Total_Count /= 3 then    
+         Report.Failed
+           ("Incorrect result from function Count, non-Identity map - 1");
+      end if;
+
+      -- And a few with identity maps as well.
+
+      if B10.Count(B10.To_Bounded_Wide_String(Equiv("ABABABABAB")),
+                   Equiv("ABA"),
+                   Maps.Identity)                       /= 2 or
+         B10.Count(B10.To_Bounded_Wide_String("ADCBADABCD"),
+                   "AB",
+                   Maps.To_Mapping("CD", "AB"))         /= 5 or
+         B10.Count(B10.To_Bounded_Wide_String(Equiv("aaaaaaaaaa")),
+                   Equiv("aaa"))                        /= 3 or
+         B10.Count(B10.To_Bounded_Wide_String(Equiv("XX")),
+                   Equiv("XXX"),
+                   Maps.Identity)                       /= 0 or
+         B10.Count(AtoE_Bnd_Str,                        -- Source = Pattern
+                   Equiv("abcde"))                      /= 1 or
+         B10.Count(B10.Null_Bounded_Wide_String,        -- Source = Null
+                   " ")                                 /= 0
+      then
+         Report.Failed
+           ("Incorrect result from function Count, w,w/o mapping");
+      end if;
+                                         
+
+
+
+
+      -- Function Count with access-to-subprogram mapping. 
+      -- Evaluate the version function Count that uses an access-to-subprogram
+      -- map parameter.
+
+      Total_Count := 
+        B10.Count(Source  => B10.To_Bounded_Wide_String("dogdogdo"),
+                  Pattern => "ca",
+                  Mapping => Map_Ptr);
+
+      if Total_Count /= 3 then    
+         Report.Failed
+           ("Incorrect result from function Count, w/map ptr - 1");
+      end if;
+
+
+      if B10.Count(B10.To_Bounded_Wide_String("DdOoGgod"),
+                   "c",
+                   Map_Ptr)                                 /= 2 or
+         B10.Count(B10.To_Bounded_Wide_String("dododododo"),
+                   "do",
+                   Map_Ptr)                                 /= 0 or
+         B10.Count(B10.To_Bounded_Wide_String("Dog or dog"),
+                   "cat",
+                   Map_Ptr)                                 /= 1 or
+         B10.Count(B10.To_Bounded_Wide_String("dddddddddd"),
+                   "ccccc",
+                   Map_Ptr)                                 /= 2 or
+         B10.Count(B10.To_Bounded_Wide_String("do"),    -- Source < Pattern
+                   "cat",
+                   Map_Ptr)                                 /= 0 or
+         B10.Count(B10.To_Bounded_Wide_String(" dog "), -- Source = Pattern
+                   " cat ",
+                   Map_Ptr)                                 /= 1 or
+         B10.Count(B10.Null_Bounded_Wide_String,        -- Source = Null
+                   " ",
+                   Map_Ptr)                                 /= 0
+      then
+         Report.Failed
+           ("Incorrect result from function Count, w/map ptr - 2");
+      end if;
+
+
+
+
+      -- Procedure Translate   
+
+      -- Partial mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String("abcdeabcab");
+
+      B10.Translate(Source => Test_String, Mapping => AB_to_YZ_Map);
+
+      if Test_String /= B10.To_Bounded_Wide_String("yzcdeyzcyz") then
+         Report.Failed("Incorrect result from procedure Translate - 1");
+      end if;
+
+      -- Total mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String("abbaaababb");
+
+      B10.Translate(Source => Test_String, Mapping => ASWC.Upper_Case_Map);
+
+      if Test_String /= B10.To_Bounded_Wide_String("ABBAAABABB") then
+         Report.Failed("Incorrect result from procedure Translate - 2");
+      end if;
+
+      -- No mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String(Equiv("xyzsypcc"));
+
+      B10.Translate(Source => Test_String, Mapping => Wide_AB_to_YZ_Map);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Equiv("xyzsypcc")) then
+         Report.Failed("Incorrect result from procedure Translate - 3");
+      end if;
+
+      -- Map > 2 characters, partial mapping.
+
+      Test_String := B10.To_Bounded_Wide_String("opabcdelmn");
+
+      B10.Translate(Test_String, 
+                    Maps.To_Mapping("abcde", "lmnop"));
+
+      if Test_String /= B10.To_Bounded_Wide_String("oplmnoplmn") then
+         Report.Failed("Incorrect result from procedure Translate - 4");
+      end if;
+
+
+
+
+      -- Procedure Translate with access-to-subprogram mapping.
+      -- Use the version of Procedure Translate that takes an
+      -- access-to-subprogram parameter to perform the Source mapping.
+
+      -- Partial mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String("dogeatdog");
+
+      B10.Translate(Source => Test_String, Mapping => Map_Ptr);
+
+      if Test_String /= B10.To_Bounded_Wide_String("cateatcat") then
+         Report.Failed
+           ("Incorrect result from procedure Translate w/map ptr - 1");
+      end if;
+
+      Test_String := B10.To_Bounded_Wide_String("odogcatlmn");
+
+      B10.Translate(Test_String, Map_Ptr);
+
+      if Test_String /= B10.To_Bounded_Wide_String("acatcatlmn") then
+         Report.Failed
+           ("Incorrect result from procedure Translate w/map ptr - 2");
+      end if;
+
+
+      -- Total mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String("gggooooddd");
+
+      B10.Translate(Source => Test_String, Mapping => Map_Ptr);
+
+      if Test_String /= B10.To_Bounded_Wide_String("tttaaaaccc") then
+         Report.Failed
+           ("Incorrect result from procedure Translate w/map ptr- 3");
+      end if;
+
+      -- No mapping of source.
+
+      Test_String := B10.To_Bounded_Wide_String(" DOG cat ");
+
+      B10.Translate(Source => Test_String, Mapping => Map_Ptr);
+
+      if Test_String /= B10.To_Bounded_Wide_String(" DOG cat ") then
+         Report.Failed
+           ("Incorrect result from procedure Translate w/map ptr - 4");
+      end if;
+
+      Test_String := B10.Null_Bounded_Wide_String;
+
+      B10.Translate(Source => Test_String, Mapping => Map_Ptr);
+
+      if Test_String /= B10.To_Bounded_Wide_String("") then
+         Report.Failed
+           ("Incorrect result from procedure Translate w/map ptr - 5");
+      end if;
+
+
+
+
+      -- Function Translate with access-to-subprogram mapping.
+      -- Use the version of Function Translate that takes an
+      -- access-to-subprogram parameter to perform the Source mapping.
+
+      -- Partial mapping of source.
+
+      if B10.Translate(Source  => B10.To_Bounded_Wide_String("cateatdog"),
+                       Mapping => Map_Ptr) /= 
+         B10.To_Bounded_Wide_String("cateatcat") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr - 1");
+      end if;
+
+      if B10.Translate(B10.To_Bounded_Wide_String("cadogtac"),
+                       Map_Ptr) /= 
+         B10.To_Bounded_Wide_String("cacattac") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr - 2");
+      end if;
+
+      -- Total mapping of source.
+
+      if B10.Translate(Source  => B10.To_Bounded_Wide_String("dogodggdo"),
+                       Mapping => Map_Ptr) /= 
+         B10.To_Bounded_Wide_String("catacttca") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr- 3");
+      end if;
+
+      -- No mapping of source.
+
+      if B10.Translate(Source  => B10.To_Bounded_Wide_String(" DOG cat "),
+                       Mapping => Map_Ptr) /= 
+         B10.To_Bounded_Wide_String(" DOG cat ") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr - 4");
+      end if;
+
+      if B10.Translate(B10.To_Bounded_Wide_String("d "), Map_Ptr)         /=
+         B10.To_Bounded_Wide_String("c ")                                   or
+         B10.Translate(B10.To_Bounded_Wide_String("  god"), Map_Ptr)      /=
+         B10.To_Bounded_Wide_String("  tac")                                or
+         B10.Translate(B10.To_Bounded_Wide_String("d o g D og"), Map_Ptr) /=
+         B10.To_Bounded_Wide_String("c a t D at")                           or
+         B10.Translate(B10.To_Bounded_Wide_String("   "), Map_Ptr)        /=
+         B10.To_Bounded_Wide_String("   ")                                  or
+         B10.Translate(B10.To_Bounded_Wide_String("dddddddddd"), Map_Ptr) /=
+         B10.To_Bounded_Wide_String("cccccccccc") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr - 5");
+      end if;
+
+      if B10.Translate(Source  => B10.Null_Bounded_Wide_String,
+                       Mapping => Map_Ptr) /= 
+         B10.To_Bounded_Wide_String("") 
+      then
+         Report.Failed
+           ("Incorrect result from function Translate w/map ptr - 6");
+      end if;
+
+
+
+
+      -- Function Replace_Slice    
+      -- Evaluate function Replace_Slice with 
+      -- a variety of Truncation options.
+
+      -- Drop = Error (Default)
+
+      begin
+         Test_String   := AtoJ_Bnd_Str;
+         Result_String := 
+           B10.Replace_Slice(Source => Test_String, 
+                             Low    => 3,
+                             High   => 5,                   -- 3-5, 3 chars.
+                             By     => Equiv("xxxxxx"));    -- more than 3.
+         Report.Failed("Length_Error not raised by Function Replace_Slice");
+      exception
+         when AS.Length_Error => null;   -- Correct exception raised.
+         when others          =>
+            Report.Failed
+              ("Incorrect exception raised by Function Replace_Slice");
+      end;
+
+      -- Drop = Left                                                          
+
+      Result_String := 
+        B10.Replace_Slice(Source => Test_String, 
+                          Low    =>  7,
+                          High   => 10,                  -- 7-10, 4 chars.
+                          By     => Equiv("xxxxxx"),     --  6 chars.
+                          Drop   => Ada.Strings.Left);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Equiv("cdefxxxxxx")) -- drop a,b
+      then
+         Report.Failed
+           ("Incorrect result from Function Replace Slice, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Result_String := 
+        B10.Replace_Slice(Source => Test_String,
+                          Low    =>  2,
+                          High   =>  5,                 -- 2-5, 4 chars.
+                          By     => Equiv("xxxxxx"),    --  6 chars.
+                          Drop   => Ada.Strings.Right);
+
+      if Result_String /= 
+         B10.To_Bounded_Wide_String(Equiv("axxxxxxfgh")) -- drop i,j
+      then
+         Report.Failed
+           ("Incorrect result from Function Replace Slice, Drop = Right");
+      end if;
+
+      -- Low = High = Source'Last, "By" length = 1.
+
+      if B10.Replace_Slice(AtoE_Bnd_Str,
+                           B10.To_Wide_String(AtoE_Bnd_Str)'Last,
+                           B10.To_Wide_String(AtoE_Bnd_Str)'Last,
+                           Equiv("X"),
+                           Ada.Strings.Error)  /=
+         B10.To_Bounded_Wide_String(Equiv("abcdX"))
+      then
+         Report.Failed("Incorrect result from Function Replace_Slice");
+      end if;
+
+      -- Index_Error raised when High < Source'First - 1.
+      begin
+         Test_String := 
+           B10.Replace_Slice(AtoE_Bnd_Str, 
+                             B10.To_Wide_String(AtoE_Bnd_Str)'First,
+                             B10.To_Wide_String(AtoE_Bnd_Str)'First - 2,
+                             Equiv("hijklm"));
+         Report.Failed("Index_Error not raised by Function Replace_Slice");
+      exception
+         when AS.Index_Error   => null;  -- OK, expected exception
+         when Constraint_Error => null;  -- Also OK, since RM is not clear
+         when others           =>
+            Report.Failed
+              ("Incorrect exception raised by Function Replace_Slice");
+      end;
+
+
+
+      -- Procedure Replace_Slice  
+      -- Evaluate procedure Replace_Slice with 
+      -- a variety of Truncation options.
+
+      -- Drop = Error (Default)
+
+      begin
+         Test_String := AtoJ_Bnd_Str;
+         B10.Replace_Slice(Source => Test_String, 
+                           Low    => 3,
+                           High   => 5,                   -- 3-5, 3 chars.
+                           By     => Equiv("xxxxxx"));    -- more than 3.
+         Report.Failed("Length_Error not raised by Procedure Replace_Slice");
+      exception
+         when AS.Length_Error => null;   -- Correct exception raised.
+         when others          =>
+            Report.Failed
+              ("Incorrect exception raised by Procedure Replace_Slice");
+      end;
+
+      -- Drop = Left                                                          
+
+      Test_String := AtoJ_Bnd_Str;
+      B10.Replace_Slice(Source => Test_String, 
+                        Low    =>  7,
+                        High   =>  9,                  -- 7-9, 3 chars.
+                        By     => Equiv("xxxxx"),      --  5 chars.
+                        Drop   => Ada.Strings.Left);
+
+      if Test_String /= 
+         B10.To_Bounded_Wide_String(Equiv("cdefxxxxxj")) -- drop a,b
+      then
+         Report.Failed
+           ("Incorrect result from Procedure Replace Slice, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Test_String := AtoJ_Bnd_Str;
+      B10.Replace_Slice(Source => Test_String, 
+                        Low    =>  1,
+                        High   =>  3,                  -- 1-3, 3chars.
+                        By     => Equiv("xxxx"),       --  4 chars.
+                        Drop   => Ada.Strings.Right);
+
+      if Test_String /= 
+         B10.To_Bounded_Wide_String(Equiv("xxxxdefghi"))  -- drop j
+      then
+         Report.Failed
+           ("Incorrect result from Procedure Replace Slice, Drop = Right");
+      end if;
+
+      -- High = Source'First, Low > High (Insert before Low).
+
+      Test_String := AtoE_Bnd_Str;
+      B10.Replace_Slice(Source => Test_String, 
+                        Low    => B10.To_Wide_String(Test_String)'Last,
+                        High   => B10.To_Wide_String(Test_String)'First,
+                        By     => Equiv("XXXX"),       --  4 chars.
+                        Drop   => Ada.Strings.Right);
+
+      if Test_String /= B10.To_Bounded_Wide_String(Equiv("abcdXXXXe")) then 
+         Report.Failed
+           ("Incorrect result from Procedure Replace Slice");
+      end if;
+
+
+
+
+      -- Function Insert with Truncation 
+      -- Drop = Error (Default).
+
+      begin
+         Result_String := 
+           B10.Insert(Source   => AtoJ_Bnd_Str,    -- "abcdefghij"
+                      Before   => 2,
+                      New_Item => Equiv("xyz"));
+         Report.Failed("Length_Error not raised by Function Insert");
+      exception
+         when AS.Length_Error => null;  -- Correct exception raised.
+         when others          => 
+            Report.Failed("Incorrect exception raised by Function Insert");
+      end;
+
+      -- Drop = Left
+
+      Result_String :=
+        B10.Insert(Source   => AtoJ_Bnd_Str,      -- "abcdefghij"
+                   Before   => 5,
+                   New_Item => Equiv("xyz"),      -- 3 additional chars.
+                   Drop     => Ada.Strings.Left);
+
+      if B10.To_Wide_String(Result_String) /= Equiv("dxyzefghij") then 
+         Report.Failed("Incorrect result from Function Insert, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Result_String := 
+        B10.Insert(Source   => B10.To_Bounded_Wide_String("abcdef"),
+                   Before   => 2,
+                   New_Item => "vwxyz",             -- 5 additional chars.
+                   Drop     => Ada.Strings.Right);
+
+      if B10.To_Wide_String(Result_String) /= "avwxyzbcde" then     -- drop f.
+         Report.Failed("Incorrect result from Function Insert, Drop = Right");
+      end if;
+
+      -- Additional cases.
+
+      if B10.Insert(B10.To_Bounded_Wide_String("a"), 1, " B")        /=   
+         B10.To_Bounded_Wide_String(" Ba")                              or
+         B10.Insert(B10.Null_Bounded_Wide_String, 1, Equiv("abcde")) /=
+         AtoE_Bnd_Str                                                   or
+         B10.Insert(B10.To_Bounded_Wide_String("ab"), 2, "")         /=
+         B10.To_Bounded_Wide_String("ab")
+      then
+         Report.Failed("Incorrect result from Function Insert");
+      end if;
+
+
+
+      -- Procedure Insert 
+
+      -- Drop = Error (Default).
+      begin
+         Test_String := AtoJ_Bnd_Str;
+         B10.Insert(Source   => Test_String,   
+                    Before   => 9,
+                    New_Item => Equiv("wxyz"),
+                    Drop     => Ada.Strings.Error);
+         Report.Failed("Length_Error not raised by Procedure Insert");
+      exception
+         when AS.Length_Error => null;  -- Correct exception raised.
+         when others          => 
+            Report.Failed("Incorrect exception raised by Procedure Insert");
+      end;
+
+      -- Drop = Left
+      
+      Test_String := AtoJ_Bnd_Str;
+      B10.Insert(Source   => Test_String,            
+                 Before   => B10.Length(Test_String), -- before last char
+                 New_Item => Equiv("xyz"),            -- 3 additional chars.
+                 Drop     => Ada.Strings.Left);
+
+      if B10.To_Wide_String(Test_String) /= Equiv("defghixyzj") then 
+         Report.Failed("Incorrect result from Procedure Insert, Drop = Left");
+      end if;
+
+      -- Drop = Right
+
+      Test_String := AtoJ_Bnd_Str;
+      B10.Insert(Source   => Test_String,
+                 Before   => 4,
+                 New_Item => Equiv("yz"),             -- 2 additional chars.
+                 Drop     => Ada.Strings.Right);
+
+      if B10.To_Wide_String(Test_String) /= Equiv("abcyzdefgh") then   
+         Report.Failed
+           ("Incorrect result from Procedure Insert, Drop = Right");
+      end if;
+
+      -- Before = Source'First, New_Item length = 1.
+
+      Test_String := B10.To_Bounded_Wide_String(" abc ");
+      B10.Insert(Test_String, 
+                 B10.To_Wide_String(Test_String)'First,
+                 "Z");
+
+      if Test_String /= B10.To_Bounded_Wide_String("Z abc ") then
+         Report.Failed("Incorrect result from Procedure Insert");
+      end if;
+
+
+   exception
+      when others => Report.Failed("Exception raised in  Test_Block");
+   end Test_Block;
+
+   Report.Result;
+
+end CXA4019;