Subversion Repositories openrisc_me

-- CXA4030.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 Ada.Strings.Unbounded versions of subprograms Translate

--      (procedure and function), Index, and Count, which use a

--      Maps.Character_Mapping_Function input parameter, produce correct

--      results.

--

-- TEST DESCRIPTION:

--      This test examines the operation of the four subprograms contained

--      in the Ada.Strings.Unbounded package that use a

--      Character_Mapping_Function parameter to provide the mapping

--      capability.

--      Two Character_Mapping_Function objects are defined that reference

--      subprograms contained in the Ada.Characters.Handling package;

--      To_Lower will return the lower-case form of the character provided

--      as the input parameter, To_Upper will return the upper-case form

--      of the character input parameter (provided there is an upper-case

--      form).

--      In several instances in this test, the character handling functions

--      are referenced directly in the parameter list of the subprograms

--      under test, demonstrating another form of expected common usage.

--

--      Results of all subprograms are compared with expected results.

--

--      This test, when taken in conjunction with tests CXA4010, CXA4011,

--      CXA4031, and CXA4032 will constitute a test of all the functionality

--      contained in package Ada.Strings.Unbounded.  This test uses a variety

--      of the subprograms defined in the unbounded string package in ways

--      typical of common usage.

--

--

-- CHANGE HISTORY:

--      21 Feb 95   SAIC    Initial prerelease version

--      21 Apr 95   SAIC    Modified header commentary.

--

--!

with Ada.Strings.Unbounded;

with Ada.Strings.Maps;

with Ada.Characters.Handling;

with Ada.Characters.Latin_1;

with Report;

procedure CXA4030 is

begin

   Report.Test ("CXA4030", "Check that Ada.Strings.Unbounded versions " &

                           "of subprograms Translate (procedure and "   &

                           "function), Index, and Count, which use a "  &

                           "Maps.Character_Mapping_Function input "     &

                           "parameter, produce correct results");

   Test_Block:

   declare

      package Unb renames Ada.Strings.Unbounded;

      use type Unb.Unbounded_String;

      use Ada.Strings;

      use Ada.Characters;

      -- The following strings are used in examination of the Translation

      -- subprograms.

      New_Character_String : Unb.Unbounded_String :=

                               Unb.To_Unbounded_String(

                                 Latin_1.LC_A_Grave          &

                                 Latin_1.LC_A_Ring           &

                                 Latin_1.LC_AE_Diphthong     &

                                 Latin_1.LC_C_Cedilla        &

                                 Latin_1.LC_E_Acute          &

                                 Latin_1.LC_I_Circumflex     &

                                 Latin_1.LC_Icelandic_Eth    &

                                 Latin_1.LC_N_Tilde          &

                                 Latin_1.LC_O_Oblique_Stroke &

                                 Latin_1.LC_Icelandic_Thorn);

      TC_New_Character_String : Unb.Unbounded_String :=

                                  Unb.To_Unbounded_String(

                                    Latin_1.UC_A_Grave          &

                                    Latin_1.UC_A_Ring           &

                                    Latin_1.UC_AE_Diphthong     &

                                    Latin_1.UC_C_Cedilla        &

                                    Latin_1.UC_E_Acute          &

                                    Latin_1.UC_I_Circumflex     &

                                    Latin_1.UC_Icelandic_Eth    &

                                    Latin_1.UC_N_Tilde          &

                                    Latin_1.UC_O_Oblique_Stroke &

                                    Latin_1.UC_Icelandic_Thorn);

      -- In this test, access objects are defined to refer to two functions

      -- from the Ada.Characters.Handling package.  These access objects

      -- will be provided as parameters to the subprograms under test.

      -- Note: There will be several examples in this test of these character

      --       handling functions being referenced directly within the

      --       parameter list of the subprograms under test.

      Map_To_Lower_Case_Ptr : Maps.Character_Mapping_Function :=

                                Handling.To_Lower'Access;

      Map_To_Upper_Case_Ptr : Maps.Character_Mapping_Function :=

                                Handling.To_Upper'Access;

   begin

      -- Function Index, Forward direction search.

      -- Note: Several of the following cases use the default value

      --       Forward for the Going parameter.

      if Unb.Index(Source => Unb.To_Unbounded_String(

                               "The library package Strings.Unbounded"),

                   Pattern => "unb",

                   Going   => Ada.Strings.Forward,

                   Mapping => Map_To_Lower_Case_Ptr)    /= 29   or

         Unb.Index(Unb.To_Unbounded_String(

                     "THE RAIN IN SPAIN FALLS MAINLY ON THE PLAIN"),

                   "ain",

                   Mapping => Map_To_Lower_Case_Ptr)    /= 6    or

         Unb.Index(Unb.To_Unbounded_String("maximum number"),

                   "um",

                   Ada.Strings.Forward,

                   Handling.To_Lower'Access)            /= 6    or

         Unb.Index(Unb.To_Unbounded_String("CoMpLeTeLy MiXeD CaSe StRiNg"),

                   "MIXED CASE STRING",

                   Ada.Strings.Forward,

                   Map_To_Upper_Case_Ptr)               /= 12   or

         Unb.Index(Unb.To_Unbounded_String(

                     "STRING WITH NO MATCHING PATTERNS"),

                   "WITH",

                   Mapping => Map_To_Lower_Case_Ptr)    /= 0    or

         Unb.Index(Unb.To_Unbounded_String("THIS STRING IS IN UPPER CASE"),

                   "IS",

                   Ada.Strings.Forward,

                   Handling.To_Upper'Access)            /= 3    or

         Unb.Index(Unb.Null_Unbounded_String,

                   "is",

                   Mapping => Map_To_Lower_Case_Ptr)    /= 0    or

         Unb.Index(Unb.To_Unbounded_String("AAABBBaaabbb"),

                   "aabb",

                   Mapping => Handling.To_Lower'Access) /= 2

      then

         Report.Failed("Incorrect results from Function Index, going "    &

                       "in Forward direction, using a Character Mapping " &

                       "Function parameter");

      end if;

      -- Function Index, Backward direction search.

      if Unb.Index(Unb.To_Unbounded_String("Case of a Mixed Case String"),

                   "case",

                   Ada.Strings.Backward,

                   Map_To_Lower_Case_Ptr)               /= 17   or

         Unb.Index(Unb.To_Unbounded_String("Case of a Mixed Case String"),

                   "CASE",

                   Ada.Strings.Backward,

                   Mapping => Map_To_Upper_Case_Ptr)    /= 17   or

         Unb.Index(Unb.To_Unbounded_String("rain, Rain, and more RAIN"),

                   "rain",

                   Ada.Strings.Backward,

                   Handling.To_Lower'Access)            /= 22   or

         Unb.Index(Unb.To_Unbounded_String("RIGHT place, right time"),

                   "RIGHT",

                   Ada.Strings.Backward,

                   Handling.To_Upper'Access)            /= 14   or

         Unb.Index(Unb.To_Unbounded_String("WOULD MATCH BUT FOR THE CASE"),

                   "WOULD MATCH BUT FOR THE CASE",

                   Going   => Ada.Strings.Backward,

                   Mapping => Map_To_Lower_Case_Ptr)    /= 0

      then

         Report.Failed("Incorrect results from Function Index, going "     &

                       "in Backward direction, using a Character Mapping " &

                       "Function parameter");

      end if;

      -- Function Index, Pattern_Error if Pattern = Null_String

      declare

         use Unbounded;

         Null_String : constant String := "";

         TC_Natural  : Natural         := 1000;

      begin

         TC_Natural := Index(To_Unbounded_String("A Valid Unbounded String"),

                             Null_String,

                             Going   => Ada.Strings.Forward,

                             Mapping => Handling.To_Lower'Access);

         Report.Failed("Pattern_Error not raised by Function Index when " &

                       "given a null pattern string");

      exception

         when Pattern_Error => null;   -- OK, expected exception.

         when others        =>

            Report.Failed("Incorrect exception raised by Function Index " &

                          "using a Character Mapping Function parameter " &

                          "when given a null pattern string");

      end;

      -- Function Count.

      if Unb.Count(Source  => Unb.To_Unbounded_String("ABABABA"),

                   Pattern => "aba",

                   Mapping => Map_To_Lower_Case_Ptr)   /=  2   or

         Unb.Count(Unb.To_Unbounded_String("ABABABA"),

                   "ABA",

                   Mapping => Map_To_Lower_Case_Ptr)   /=  0   or

         Unb.Count(Unb.To_Unbounded_String("This IS a MISmatched issue"),

                   "is",

                   Handling.To_Lower'Access)           /=  4   or

         Unb.Count(Unb.To_Unbounded_String("ABABABA"),

                   "ABA",

                   Map_To_Upper_Case_Ptr)              /=  2   or

         Unb.Count(Unb.To_Unbounded_String("This IS a MISmatched issue"),

                   "is",

                   Mapping => Map_To_Upper_Case_Ptr)   /=  0   or

         Unb.Count(Unb.To_Unbounded_String(

                     "She sells sea shells by the sea shore"),

                   "s",

                   Handling.To_Lower'Access)           /=  8   or

         Unb.Count(Unb.Null_Unbounded_String,

                   "match",

                   Map_To_Upper_Case_Ptr)              /=  0

      then

         Report.Failed("Incorrect results from Function Count, using " &

                       "a Character Mapping Function parameter");

      end if;

      -- Function Count, Pattern_Error if Pattern = Null_String

      declare

         use Ada.Strings.Unbounded;

         Null_Pattern_String : constant String := "";

         TC_Natural          : Natural         := 1000;

      begin

         TC_Natural := Count(To_Unbounded_String("A Valid String"),

                             Null_Pattern_String,

                             Map_To_Lower_Case_Ptr);

         Report.Failed("Pattern_Error not raised by Function Count using " &

                       "a Character Mapping Function parameter when "      &

                       "given a null pattern string");

      exception

         when Pattern_Error => null;   -- OK, expected exception.

         when others        =>

            Report.Failed("Incorrect exception raised by Function Count " &

                          "using a Character Mapping Function parameter " &

                          "when given a null pattern string");

      end;

      -- Function Translate.

      if Unb.Translate(Source  => Unb.To_Unbounded_String(

                                    "A Sample Mixed Case String"),

                       Mapping => Map_To_Lower_Case_Ptr)           /=

         Unb.To_Unbounded_String("a sample mixed case string")       or

         Unb.Translate(Unb.To_Unbounded_String("ALL LOWER CASE"),

                       Handling.To_Lower'Access)                   /=

         Unb.To_Unbounded_String("all lower case")                   or

         Unb.Translate(Unb.To_Unbounded_String("end with lower case"),

                       Map_To_Lower_Case_Ptr)                      /=

         Unb.To_Unbounded_String("end with lower case")              or

         Unb.Translate(Unb.Null_Unbounded_String,

                       Handling.To_Lower'Access)                   /=

         Unb.Null_Unbounded_String                                   or

         Unb.Translate(Unb.To_Unbounded_String("start with lower case"),

                       Map_To_Upper_Case_Ptr)                      /=

         Unb.To_Unbounded_String("START WITH LOWER CASE")            or

         Unb.Translate(Unb.To_Unbounded_String("ALL UPPER CASE STRING"),

                       Handling.To_Upper'Access)                   /=

         Unb.To_Unbounded_String("ALL UPPER CASE STRING")            or

         Unb.Translate(Unb.To_Unbounded_String(

                         "LoTs Of MiXeD CaSe ChArAcTeRs"),

                       Map_To_Upper_Case_Ptr)                      /=

         Unb.To_Unbounded_String("LOTS OF MIXED CASE CHARACTERS")    or

         Unb.Translate(New_Character_String,

                       Handling.To_Upper'Access)                   /=

         TC_New_Character_String

      then

         Report.Failed("Incorrect results from Function Translate, using " &

                       "a Character Mapping Function parameter");

      end if;

      -- Procedure Translate.

      declare

         use Ada.Strings.Unbounded;

         use Ada.Characters.Handling;

         Str_1    : Unbounded_String :=

                      To_Unbounded_String("AN ALL UPPER CASE STRING");

         Str_2    : Unbounded_String :=

                      To_Unbounded_String("A Mixed Case String");

         Str_3    : Unbounded_String :=

                      To_Unbounded_String("a string with lower case letters");

         TC_Str_1 : constant Unbounded_String := Str_1;

         TC_Str_3 : constant Unbounded_String := Str_3;

      begin

         Translate(Source => Str_1, Mapping => Map_To_Lower_Case_Ptr);

         if Str_1 /= To_Unbounded_String("an all upper case string") then

            Report.Failed("Incorrect result from Procedure Translate - 1");

         end if;

         Translate(Source => Str_1, Mapping => Map_To_Upper_Case_Ptr);

         if Str_1 /= TC_Str_1 then

            Report.Failed("Incorrect result from Procedure Translate - 2");

         end if;

         Translate(Str_2, Mapping => Map_To_Lower_Case_Ptr);

         if Str_2 /= To_Unbounded_String("a mixed case string") then

            Report.Failed("Incorrect result from Procedure Translate - 3");

         end if;

         Translate(Str_2, Mapping => To_Upper'Access);

         if Str_2 /= To_Unbounded_String("A MIXED CASE STRING") then

            Report.Failed("Incorrect result from Procedure Translate - 4");

         end if;

         Translate(Str_3, To_Lower'Access);

         if Str_3 /= TC_Str_3 then

            Report.Failed("Incorrect result from Procedure Translate - 5");

         end if;

         Translate(Str_3, To_Upper'Access);

         if Str_3 /=

            To_Unbounded_String("A STRING WITH LOWER CASE LETTERS")

         then

            Report.Failed("Incorrect result from Procedure Translate - 6");

         end if;

         Translate(New_Character_String, Map_To_Upper_Case_Ptr);

         if New_Character_String /= TC_New_Character_String then

            Report.Failed("Incorrect result from Procedure Translate - 6");

         end if;

      end;

   exception

      when others => Report.Failed ("Exception raised in Test_Block");

   end Test_Block;

   Report.Result;

end CXA4030;