Subversion Repositories openrisc

-- CXA3002.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 conversion functions for Characters and Strings

--      defined in package Ada.Characters.Handling provide correct results

--      when given character/string input parameters.

--

-- TEST DESCRIPTION:

--      This test checks the output of the To_Lower, To_Upper, and

--      To_Basic functions for both Characters and Strings.  Each function

--      is called with input parameters that are within the appropriate

--      range of values, and also with values outside the specified

--      range (i.e., lower case 'a' to To_Lower).  The functions are also

--      used in combination with one another, with the result of one function

--      providing the actual input parameter value to another.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      22 Dec 94   SAIC    Corrected evaluations of Functions In Combination.

--

--!

with Ada.Characters.Latin_1;

with Ada.Characters.Handling;

with Report;

procedure CXA3002 is

   package AC  renames Ada.Characters;

   package ACH renames Ada.Characters.Handling;

begin

   Report.Test ("CXA3002", "Check that the conversion functions for "   &

                           "Characters and Strings defined in package " &

                           "Ada.Characters.Handling provide correct "   &

                           "results when given character/string input " &

                           "parameters");

   Character_Block:

   declare

      Offset : constant Integer := Character'Pos('a') - Character'Pos('A');

   begin

      -- Function To_Lower for Characters

      if ACH.To_Lower('A') /= 'a' or  ACH.To_Lower('Z') /= 'z' then

         Report.Failed ("Incorrect operation of function To_Lower - 1");

      end if;

      for i in Character'Pos('A') .. Character'Pos('Z') loop

         if ACH.To_Lower(Character'Val(i)) /= Character'Val(i + Offset) then

            Report.Failed ("Incorrect operation of function To_Lower - 2");

         end if;

      end loop;

      if (ACH.To_Lower(AC.Latin_1.UC_A_Grave)         /=

          AC.Latin_1.LC_A_Grave)                     or

         (ACH.To_Lower(AC.Latin_1.UC_Icelandic_Thorn) /=

          AC.Latin_1.LC_Icelandic_Thorn)

      then

         Report.Failed ("Incorrect operation of function To_Lower - 3");

      end if;

      if ACH.To_Lower('c')                 /= 'c'                 or

         ACH.To_Lower('w')                 /= 'w'                 or

         ACH.To_Lower(AC.Latin_1.CR)       /= AC.Latin_1.CR       or

         ACH.To_Lower(AC.Latin_1.LF)       /= AC.Latin_1.LF       or

         ACH.To_Lower(AC.Latin_1.Comma)    /= AC.Latin_1.Comma    or

         ACH.To_Lower(AC.Latin_1.Question) /= AC.Latin_1.Question or

         ACH.To_Lower('0')                 /= '0'                 or

         ACH.To_Lower('9')                 /= '9'

      then

         Report.Failed ("Incorrect operation of function To_Lower - 4");

      end if;

      --- Function To_Upper for Characters

      if not (ACH.To_Upper('b') = 'B') and (ACH.To_Upper('y') = 'Y') then

         Report.Failed ("Incorrect operation of function To_Upper - 1");

      end if;

      for i in Character'Pos(AC.Latin_1.LC_A) ..

               Character'Pos(AC.Latin_1.LC_Z) loop

         if ACH.To_Upper(Character'Val(i)) /= Character'Val(i - Offset) then

            Report.Failed ("Incorrect operation of function To_Upper - 2");

         end if;

      end loop;

      if (ACH.To_Upper(AC.Latin_1.LC_U_Diaeresis) /=

          AC.Latin_1.UC_U_Diaeresis)                 or

         (ACH.To_Upper(AC.Latin_1.LC_A_Ring)      /=

          AC.Latin_1.UC_A_Ring)

      then

         Report.Failed ("Incorrect operation of function To_Upper - 3");

      end if;

      if not (ACH.To_Upper('F') = 'F'                       and

              ACH.To_Upper('U') = 'U'                       and

              ACH.To_Upper(AC.Latin_1.LC_German_Sharp_S) =

                AC.Latin_1.LC_German_Sharp_S                and

              ACH.To_Upper(AC.Latin_1.LC_Y_Diaeresis) =

                AC.Latin_1.LC_Y_Diaeresis)

      then

         Report.Failed ("Incorrect operation of function To_Upper - 4");

      end if;

      --- Function To_Basic for Characters

      if ACH.To_Basic(AC.Latin_1.LC_A_Circumflex) /=

         ACH.To_Basic(AC.Latin_1.LC_A_Tilde)         or

         ACH.To_Basic(AC.Latin_1.LC_E_Grave)      /=

         ACH.To_Basic(AC.Latin_1.LC_E_Acute)         or

         ACH.To_Basic(AC.Latin_1.LC_I_Circumflex) /=

         ACH.To_Basic(AC.Latin_1.LC_I_Diaeresis)     or

         ACH.To_Basic(AC.Latin_1.UC_O_Tilde)      /=

         ACH.To_Basic(AC.Latin_1.UC_O_Acute)         or

         ACH.To_Basic(AC.Latin_1.UC_U_Grave)      /=

         ACH.To_Basic(AC.Latin_1.UC_U_Acute)         or

         ACH.To_Basic(AC.Latin_1.LC_Y_Acute)      /=

         ACH.To_Basic(AC.Latin_1.LC_Y_Diaeresis)

      then

         Report.Failed ("Incorrect operation of function To_Basic - 1");

      end if;

      if ACH.To_Basic('Y') /= 'Y'                   or

         ACH.To_Basic(AC.Latin_1.LC_E_Acute) /= 'e' or

         ACH.To_Basic('6') /= '6'                   or

         ACH.To_Basic(AC.Latin_1.LC_R) /= 'r'

      then

         Report.Failed ("Incorrect operation of function To_Basic - 2");

      end if;

      -- Using Functions (for Characters) in Combination

      if (ACH.To_Upper(ACH.To_Lower('A')) /= 'A' ) or

         (ACH.To_Upper(ACH.To_Lower(AC.Latin_1.UC_A_Acute)) /=

          AC.Latin_1.UC_A_Acute )

      then

         Report.Failed("Incorrect operation of functions in combination - 1");

      end if;

      if ACH.To_Basic(ACH.To_Lower(ACH.To_Upper(AC.Latin_1.LC_U_Grave))) /=

         'u'

      then

         Report.Failed("Incorrect operation of functions in combination - 2");

      end if;

      if ACH.To_Lower (ACH.To_Basic

                         (ACH.To_Upper(AC.Latin_1.LC_O_Diaeresis))) /= 'o'

      then

         Report.Failed("Incorrect operation of functions in combination - 3");

      end if;

   exception

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

   end Character_Block;

   String_Block:

   declare

      LC_String : constant String := "az" &

                                      AC.Latin_1.LC_A_Grave &

                                      AC.Latin_1.LC_C_Cedilla;

      UC_String : constant String := "AZ" &

                                      AC.Latin_1.UC_A_Grave &

                                      AC.Latin_1.UC_C_Cedilla;

      LC_Basic_String    : constant String := "aei" & 'o' & 'u';

      LC_NonBasic_String : constant String := AC.Latin_1.LC_A_Diaeresis  &

                                              AC.Latin_1.LC_E_Circumflex &

                                              AC.Latin_1.LC_I_Acute      &

                                              AC.Latin_1.LC_O_Tilde      &

                                              AC.Latin_1.LC_U_Grave;

      UC_Basic_String    : constant String := "AEIOU";

      UC_NonBasic_String : constant String := AC.Latin_1.UC_A_Tilde      &

                                              AC.Latin_1.UC_E_Acute      &

                                              AC.Latin_1.UC_I_Grave      &

                                              AC.Latin_1.UC_O_Diaeresis  &

                                              AC.Latin_1.UC_U_Circumflex;

      LC_Special_String  : constant String := "ab"                         &

                                              AC.Latin_1.LC_German_Sharp_S &

                                              AC.Latin_1.LC_Y_Diaeresis;

      UC_Special_String  : constant String := "AB"                         &

                                              AC.Latin_1.LC_German_Sharp_S &

                                              AC.Latin_1.LC_Y_Diaeresis;

   begin

      -- Function To_Lower for Strings

      if ACH.To_Lower (UC_String) /= LC_String  or

         ACH.To_Lower (LC_String) /= LC_String

      then

         Report.Failed ("Incorrect result from To_Lower for strings - 1");

      end if;

      if ACH.To_Lower (UC_Basic_String) /= LC_Basic_String then

         Report.Failed ("Incorrect result from To_Lower for strings - 2");

      end if;

      -- Function To_Upper for Strings

      if not (ACH.To_Upper (LC_String) = UC_String) then

         Report.Failed ("Incorrect result from To_Upper for strings - 1");

      end if;

      if ACH.To_Upper (LC_Basic_String) /= UC_Basic_String or

         ACH.To_Upper (UC_String)       /= UC_String

      then

         Report.Failed ("Incorrect result from To_Upper for strings - 2");

      end if;

      if ACH.To_Upper (LC_Special_String) /= UC_Special_String then

         Report.Failed ("Incorrect result from To_Upper for strings - 3");

      end if;

      -- Function To_Basic for Strings

      if (ACH.To_Basic (LC_String) /= "azac") or

         (ACH.To_Basic (UC_String) /= "AZAC")

      then

         Report.Failed ("Incorrect result from To_Basic for Strings - 1");

      end if;

      if ACH.To_Basic (LC_NonBasic_String) /= LC_Basic_String then

         Report.Failed ("Incorrect result from To_Basic for Strings - 2");

      end if;

      if ACH.To_Basic (UC_NonBasic_String) /= UC_Basic_String then

         Report.Failed ("Incorrect result from To_Basic for Strings - 3");

      end if;

      -- Using Functions (for Strings) in Combination

      if ACH.To_Upper(ACH.To_Lower(UC_Basic_String)) /= UC_Basic_String or

         ACH.To_Lower(ACH.To_Upper(LC_Basic_String)) /= LC_Basic_String

      then

         Report.Failed ("Incorrect operation of functions in combination - 4");

      end if;

      if (ACH.To_Basic(ACH.To_Lower(UC_NonBasic_String)) /= LC_Basic_String) or

         (ACH.To_Basic(ACH.To_Upper(LC_NonBasic_String)) /= UC_Basic_String)

      then

         Report.Failed ("Incorrect operation of functions in combination - 5");

      end if;

   exception

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

   end String_Block;

   Report.Result;

end CXA3002;