Subversion Repositories openrisc_me

-- CXA4023.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_Unbounded are available, and that they produce

--      correct results. Specifically, check the subprograms Delete,

--      Find_Token, Translate, Trim, and "*".

--

-- TEST DESCRIPTION:

--      This test demonstrates the uses of many of the subprograms defined

--      in package Ada.Strings.Wide_Unbounded for use with unbounded wide

--      strings.  The test simulates how unbounded wide strings

--      will be processed in a user environment, using the subprograms

--      provided in this package.

--

--      This test, when taken in conjunction with tests CXA4021-22, will

--      constitute a test of the functionality contained in package

--      Ada.Strings.Wide_Unbounded.  This test uses a variety

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

--      in ways typical of common usage, with different combinations of

--      available subprograms being used to accomplish similar

--      unbounded wide string processing goals.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      08 Nov 95   SAIC    Corrected accessibility level and type

--                          visibility problems for ACVC 2.0.1.

--

--!

with Ada.Characters.Handling;

with Ada.Strings;

package CXA40230 is

   -- The following two functions are used to translate character and string

   -- values to non-character "Wide" values.  They will be applied to all the

   -- Wide_Bounded subprogram character and string parameters to simulate the

   -- use of Wide_Characters and Wide_Strings in actual practice.

   -- Note: These functions do not actually return "equivalent" wide

   --       characters to their character inputs, just "non-character"

   --       wide characters.

   function Equiv (Ch : Character) return Wide_Character;

   function Equiv (Str : String) return Wide_String;

   -- Functions and access-to-subprogram object used to supply mapping

   -- capability to the appropriate versions of Translate.

   function AB_to_US_Mapping_Function (From : Wide_Character)

     return Wide_Character;

   function AB_to_Blank_Mapping_Function (From : Wide_Character)

     return Wide_Character;

end CXA40230;

package body CXA40230 is

   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;

   function AB_to_US_Mapping_Function (From : Wide_Character)

     return Wide_Character is

      UnderScore : constant Wide_Character := Equiv('_');

   begin

      if From = Equiv('a')  or  From = Equiv('b')  then

         return UnderScore;

      else

         return From;

      end if;

   end AB_to_US_Mapping_Function;

   function AB_to_Blank_Mapping_Function (From : Wide_Character)

     return Wide_Character is

   begin

      if From = Equiv('a')  or  From = Equiv('b') then

         return Ada.Strings.Wide_Space;

      else

         return From;

      end if;

   end AB_to_Blank_Mapping_Function;

end CXA40230;

with CXA40230;

with Report;

with Ada.Characters.Handling;

with Ada.Strings.Wide_Maps;

with Ada.Strings.Wide_Unbounded;

procedure CXA4023 is

begin

   Report.Test ("CXA4023", "Check that the subprograms defined in "    &

                           "package Ada.Strings.Wide_Unbounded are "   &

                           "available, and that they produce correct " &

                           "results");

   Test_Block:

   declare

      use CXA40230;

      package ASW renames Ada.Strings.Wide_Unbounded;

      use Ada.Strings;

      use type Wide_Maps.Wide_Character_Set;

      use type ASW.Unbounded_Wide_String;

      Test_String   : ASW.Unbounded_Wide_String;

      AtoE_Str      : ASW.Unbounded_Wide_String :=

                        ASW.To_Unbounded_Wide_String(Equiv("abcde"));

      Cad_String    : ASW.Unbounded_Wide_String :=

                        ASW.To_Unbounded_Wide_String(Equiv("cad"));

      Magic_String  : ASW.Unbounded_Wide_String :=

                        ASW.To_Unbounded_Wide_String(Equiv("abracadabra"));

      Incantation   : ASW.Unbounded_Wide_String := Magic_String;

      A_Small_G : Wide_Character := Equiv('g');

      ABCD_Set  : Wide_Maps.Wide_Character_Set :=

                    Wide_Maps.To_Set(Equiv("abcd"));

      B_Set     : Wide_Maps.Wide_Character_Set :=

                    Wide_Maps.To_Set(Equiv('b'));

      AB_Set    : Wide_Maps.Wide_Character_Set :=

                    Wide_Maps."OR"(Wide_Maps.To_Set(Equiv('a')), B_Set);

      AB_to_YZ_Map     : Wide_Maps.Wide_Character_Mapping :=

                           Wide_Maps.To_Mapping(From => Equiv("ab"),

                                                To   => Equiv("yz"));

      Code_Map         : Wide_Maps.Wide_Character_Mapping :=

                           Wide_Maps.To_Mapping(Equiv("abcd"), Equiv("wxyz"));

      Reverse_Code_Map : Wide_Maps.Wide_Character_Mapping :=

                           Wide_Maps.To_Mapping(Equiv("wxyz"), Equiv("abcd"));

      Non_Existent_Map : Wide_Maps.Wide_Character_Mapping :=

                           Wide_Maps.To_Mapping(Equiv("jkl"), Equiv("mno"));

      Token_Start      : Positive;

      Token_End        : Natural := 0;

      Map_Ptr  : Wide_Maps.Wide_Character_Mapping_Function :=

                   AB_to_US_Mapping_Function'Access;

   begin

      -- Find_Token

      ASW.Find_Token(Magic_String,      -- Find location of first "ab" equiv.

                     AB_Set,            -- Should be (1..2).

                     Ada.Strings.Inside,

                     Token_Start,

                     Token_End);

      if Natural(Token_Start) /= ASW.To_Wide_String(Magic_String)'First  or

         Token_End            /= ASW.Index(Magic_String, B_Set)          or

         Token_End            /= 2

      then

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

      end if;

      ASW.Find_Token(Source => Magic_String, -- Find location of char 'r'equiv

                     Set    => ABCD_Set,     -- in wide str, should be (3..3)

                     Test   => Ada.Strings.Outside,

                     First  => Token_Start,

                     Last   => Token_End);

      if Natural(Token_Start) /= 3  or  Token_End /= 3 then

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

      end if;

      ASW.Find_Token(Magic_String,                -- No 'g' "equivalent in

                     Wide_Maps.To_Set(A_Small_G), -- the wide str, so the

                     Ada.Strings.Inside,          -- result params should be

                     First => Token_Start,        -- First = Source'First and

                     Last  => Token_End);         -- Last = 0.

      if Token_Start /= ASW.To_Wide_String(Magic_String)'First  or

         Token_End   /= 0

      then

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

      end if;

      ASW.Find_Token(ASW.To_Unbounded_Wide_String(Equiv("abpqpqrttrcpqr")),

                     Wide_Maps.To_Set(Equiv("trpq")),

                     Ada.Strings.Inside,

                     Token_Start,

                     Token_End);

      if Token_Start /= 3 or

         Token_End   /= 10

      then

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

      end if;

      ASW.Find_Token(ASW.To_Unbounded_Wide_String(Equiv("abpqpqrttrcpqr")),

                     Wide_Maps.To_Set(Equiv("abpq")),

                     Ada.Strings.Outside,

                     Token_Start,

                     Token_End);

      if Token_Start /= 7 or

         Token_End   /= 11

      then

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

      end if;

      -- Translate

      -- Use a mapping ("abcd" -> "wxyz") to transform the contents of

      -- the unbounded wide string.

      -- Magic_String = "abracadabra"

      Incantation := ASW.Translate(Magic_String, Code_Map);

      if Incantation /=

         ASW.To_Unbounded_Wide_String(Equiv("wxrwywzwxrw"))

      then

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

      end if;

      -- (Note: See below for additional testing of Function Translate)

      -- Use the inverse mapping of the one above to return the "translated"

      -- unbounded wide string to its original form.

      ASW.Translate(Incantation, Reverse_Code_Map);

      -- The map contained in the following call to Translate contains three

      -- elements, and these elements are not found in the unbounded wide

      -- string, so this call to Translate should have no effect on it.

      if Incantation /= ASW.Translate(Magic_String, Non_Existent_Map) then

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

      end if;

      -- Partial mapping of source.

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("abcdeabcab"));

      ASW.Translate(Source => Test_String, Mapping => AB_to_YZ_Map);

      if Test_String /= ASW.To_Unbounded_Wide_String(Equiv("yzcdeyzcyz")) then

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

      end if;

      -- Total mapping of source.

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("abbaaababb"));

      ASW.Translate(Source => Test_String, Mapping => AB_to_YZ_Map);

      if Test_String /= ASW.To_Unbounded_Wide_String(Equiv("yzzyyyzyzz")) then

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

      end if;

      -- No mapping of source.

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("xyzsypcc"));

      ASW.Translate(Source => Test_String, Mapping => AB_to_YZ_Map);

      if Test_String /= ASW.To_Unbounded_Wide_String(Equiv("xyzsypcc")) then

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

      end if;

      -- Map > 2 characters, partial mapping.

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("opabcdelmn"));

      ASW.Translate(Test_String,

                    Wide_Maps.To_Mapping(Equiv("abcde"), Equiv("lmnop")));

      if Test_String /= ASW.To_Unbounded_Wide_String(Equiv("oplmnoplmn")) then

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

      end if;

      -- Various degrees of mapping of source (full, partial, none) used

      -- with Function Translate.

      if ASW.Translate(

               ASW.To_Unbounded_Wide_String(Equiv("abcdeabcabbbaaacaa")),

                       AB_to_YZ_Map)                               /=

         ASW.To_Unbounded_Wide_String(Equiv("yzcdeyzcyzzzyyycyy"))   or

         ASW.Translate(

               ASW.To_Unbounded_Wide_String(Equiv("abbaaababbaaaaba")),

                       AB_to_YZ_Map)                               /=

         ASW.To_Unbounded_Wide_String(Equiv("yzzyyyzyzzyyyyzy"))     or

         ASW.Translate(ASW.To_Unbounded_Wide_String(Equiv("cABcABBAc")),

                       Mapping => AB_to_YZ_Map)                    /=

         ASW.To_Unbounded_Wide_String(Equiv("cABcABBAc"))            or

         ASW.Translate(ASW.To_Unbounded_Wide_String("opabcdelmnddeaccabec"),

                       Wide_Maps.To_Mapping("abcde", "lmnop"))     /=

         ASW.To_Unbounded_Wide_String("oplmnoplmnooplnnlmpn")

      then

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

      end if;

      -- Procedure Translate using access-to-subprogram mapping.

      -- Partial mapping of source.

      Map_Ptr := AB_to_Blank_Mapping_Function'Access;

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("abABaABbaBAbba"));

      ASW.Translate(Source  => Test_String, -- change equivalent of 'a' and

                    Mapping => Map_Ptr);    -- 'b' to ' '

      if Test_String /=

         ASW.To_Unbounded_Wide_String(Equiv("  AB AB  BA   "))

      then

         Report.Failed

           ("Incorrect result from Proc Translate, w/ access value map - 1");

      end if;

      -- Total mapping of source to blanks.

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("abbbab"));

      ASW.Translate(Source  => Test_String,

                    Mapping => Map_Ptr);

      if Test_String /=

         ASW.To_Unbounded_Wide_String(Equiv("      "))

      then

         Report.Failed

           ("Incorrect result from Proc Translate, w/ access value map - 2");

      end if;

      -- No mapping of source.

      Map_Ptr := AB_to_US_Mapping_Function'Access;

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("xyzsypcc"));

      ASW.Translate(Source  => Test_String,

                    Mapping => Map_Ptr);

      if Test_String /=

         ASW.To_Unbounded_Wide_String(Equiv("xyzsypcc"))   -- no change

      then

         Report.Failed

           ("Incorrect result from Proc Translate, w/ access value map - 3");

      end if;

      -- Function Translate using access-to-subprogram mapping value.

      Map_Ptr  := AB_to_Blank_Mapping_Function'Access;

      Test_String := ASW.To_Unbounded_Wide_String(Equiv("abAbBBAabbacD"));

      if ASW.Translate(ASW.Translate(Test_String, Map_Ptr), Map_Ptr)  /=

         ASW.To_Unbounded_Wide_String(Equiv("  A BBA    cD"))

      then

         Report.Failed

           ("Incorrect result from Function Translate, access value map - 1");

      end if;

      if ASW.Translate(Source  => ASW.To_Unbounded_Wide_String(Equiv("a")),

                       Mapping => Map_Ptr)                            /=

         ASW.To_Unbounded_Wide_String(Equiv(" "))                       or

         ASW.Translate(ASW.To_Unbounded_Wide_String

                         (Equiv(" aa Aa A AAaaa a   aA")),

                       Map_Ptr)                                       /=

         ASW.To_Unbounded_Wide_String(Equiv("    A  A AA         A"))   or

         ASW.Translate(Source  => ASW.To_Unbounded_Wide_String(Equiv("a ")),

                       Mapping => Map_Ptr)                            /=

         ASW.To_Unbounded_Wide_String(Equiv("  "))                      or

         ASW.Translate(Source  => ASW.To_Unbounded_Wide_String(Equiv("xyz")),

                       Mapping => Map_Ptr)                            /=

         ASW.To_Unbounded_Wide_String(Equiv("xyz"))

      then

         Report.Failed

           ("Incorrect result from Function Translate, access value map - 2");

      end if;

      -- Trim

      Trim_Block:

      declare

         XYZ_Set     : Wide_Maps.Wide_Character_Set :=

                         Wide_Maps.To_Set(Equiv("xyz"));

         PQR_Set     : Wide_Maps.Wide_Character_Set :=

                         Wide_Maps.To_Set(Equiv("pqr"));

         Pad         : constant ASW.Unbounded_Wide_String :=

                                 ASW.To_Unbounded_Wide_String(Equiv("Pad"));

         The_New_Ada : constant ASW.Unbounded_Wide_String :=

                                 ASW.To_Unbounded_Wide_String(Equiv("Ada9X"));

         Space_Array : array (1..4) of ASW.Unbounded_Wide_String :=

                         (ASW.To_Unbounded_Wide_String(Equiv("  Pad    ")),

                          ASW.To_Unbounded_Wide_String(Equiv("Pad   ")),

                          ASW.To_Unbounded_Wide_String(Equiv("     Pad")),

                          Pad);

         String_Array : array (1..5) of ASW.Unbounded_Wide_String :=

                        (ASW.To_Unbounded_Wide_String(Equiv("xyzxAda9Xpqr")),

                         ASW.To_Unbounded_Wide_String(Equiv("Ada9Xqqrp")),

                         ASW.To_Unbounded_Wide_String(Equiv("zxyxAda9Xqpqr")),

                         ASW.To_Unbounded_Wide_String(Equiv("xxxyAda9X")),

                         The_New_Ada);

      begin

         -- Examine the version of Trim that removes blanks from

         -- the left and/or right of a wide string.

         for i in 1..4 loop

            if ASW.Trim(Space_Array(i), Ada.Strings.Both) /= Pad then

               Report.Failed("Incorrect result from Trim for spaces - " &

                             Integer'Image(i));

            end if;

         end loop;

         -- Examine the version of Trim that removes set characters from

         -- the left and right of a wide string.

         for i in 1..5 loop

            if ASW.Trim(String_Array(i),

                        Left   => XYZ_Set,

                        Right  => PQR_Set) /= The_New_Ada then

               Report.Failed

                 ("Incorrect result from Trim for set characters - " &

                  Integer'Image(i));

            end if;

         end loop;

         -- No trimming.

         if ASW.Trim(

              ASW.To_Unbounded_Wide_String(Equiv("prqqprAda9Xyzzxyzzyz")),

                     XYZ_Set,

                     PQR_Set)  /=

            ASW.To_Unbounded_Wide_String(Equiv("prqqprAda9Xyzzxyzzyz"))

         then

            Report.Failed

              ("Incorrect result from Trim for set, no trimming");

         end if;

      end Trim_Block;

      -- Delete

      -- Use the Delete function to remove the first four and last four

      -- characters from the wide string.

      if ASW.Delete(Source  => ASW.Delete(Magic_String,

                                          8,

                                          ASW.Length(Magic_String)),

                    From    => ASW.To_Wide_String(Magic_String)'First,

                    Through => 4)   /=

         Cad_String

      then

         Report.Failed("Incorrect results from Function Delete");

      end if;

      -- Constructors ("*")

      Constructor_Block:

      declare

         SOS      : ASW.Unbounded_Wide_String;

         Dot      : constant ASW.Unbounded_Wide_String :=

                               ASW.To_Unbounded_Wide_String(Equiv("Dot_"));

         Dash     : constant Wide_String := Equiv("Dash_");

         Distress : ASW.Unbounded_Wide_String :=

                      ASW."&"(ASW.To_Unbounded_Wide_String

                                (Equiv("Dot_Dot_Dot_")),

                              ASW."&"(ASW.To_Unbounded_Wide_String

                                        (Equiv("Dash_Dash_Dash_")),

                                      ASW.To_Unbounded_Wide_String

                                        (Equiv("Dot_Dot_Dot"))));

         Repeat        : constant Natural        := 3;

         Separator     : constant Wide_Character := Equiv('_');

         Separator_Set : Wide_Maps.Wide_Character_Set :=

                           Wide_Maps.To_Set(Separator);

      begin

         -- Use the following constructor forms to construct the wide string

         -- "Dot_Dot_Dot_Dash_Dash_Dash_Dot_Dot_Dot".  Note that the

         -- trailing underscore in the wide string is removed in the call to

         -- Trim in the If statement condition.

         SOS := ASW."*"(Repeat, Dot);                   -- "*"(#, W Unb Str)

         SOS := ASW."&"(SOS,

                        ASW."&"(ASW."*"(Repeat, Dash),  -- "*"(#, W Str)

                                ASW."*"(Repeat, Dot))); -- "*"(#, W Unb Str)

         if ASW.Trim(SOS, Wide_Maps.Null_Set, Separator_Set) /= Distress then

            Report.Failed("Incorrect results from Function ""*""");

         end if;

      end Constructor_Block;

   exception

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

   end Test_Block;

   Report.Result;

end CXA4023;