Subversion Repositories openrisc_2011-10-31

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