Subversion Repositories openrisc_2011-10-31

-- CXA3003.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 functions defined in package Ada.Characters.Handling

--      for use in classifying and converting characters between the ISO 646

--      and type Character sets produce the correct results with both

--      Character and String input values.

--

-- TEST DESCRIPTION:

--      This test is designed to exercise the classification and conversion

--      functions (between Character and ISO_646 types) found in package

--      Ada.Characters.Handling.  Two subprograms are defined, a procedure for

--      characters, a function for strings, that will utilize these functions

--      to validate and change characters in variables.  In the procedure, if

--      a character argument is found to be outside the subtype ISO_646, this

--      character is evaluated to determine whether it is also a letter.

--      If it is a letter, the character is converted to a basic character and

--      returned.  If it is not a letter, the character is exchanged with an

--      asterisk.  In the case of the function subprogram designed for strings,

--      if a character component of a string argument is outside the subtype

--      ISO_646, that character is substituted with an asterisk.

--

--      Arguments for the defined subprograms consist of ISO_646 characters,

--      non-ISO_646 characters, strings with only ISO_646 characters, and

--      strings with non-ISO_646 characters. The character and string values

--      are then validated to determine that the expected results were

--      obtained.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      29 Apr 95   SAIC    Modified identifier string lengths.

--      31 Oct 95   SAIC    Update and repair for ACVC 2.0.1.

--

--!

with Ada.Characters.Latin_1;

with Ada.Characters.Handling;

with Report;

procedure CXA3003 is

begin

   Report.Test ("CXA3003", "Check that the functions defined in package " &

                           "Ada.Characters.Handling for use in "          &

                           "classifying and converting characters "       &

                           "between the ISO 646 and type Character sets " &

                           "produce the correct results with both "       &

                           "Character and String input values" );

   Test_Block:

   declare

      -- ISO_646 Characters

      Char_1,

      TC_Char_1  : Character := Ada.Characters.Latin_1.NUL;    -- Control Char

      Char_2,

      TC_Char_2  : Character := Ada.Characters.Latin_1.Colon;  -- Graphic Char

      Char_3,

      TC_Char_3  : Character := '4';

      Char_4,

      TC_Char_4  : Character := 'Z';

      Char_5,

      TC_Char_5  : Character := Ada.Characters.Latin_1.LC_W;   -- w

      New_ISO_646_Char : Character := '*';

      -- Non-ISO_646 Characters

      Char_Array : array (6..10) of Character :=

                                       (Ada.Characters.Latin_1.SSA,

                                        Ada.Characters.Latin_1.Cent_Sign,

                                        Ada.Characters.Latin_1.Cedilla,

                                        Ada.Characters.Latin_1.UC_A_Ring,

                                        Ada.Characters.Latin_1.LC_A_Ring);

      TC_Char : constant Character := '*';

      -- ISO_646 Strings

      Str_1,

      TC_Str_1 : String (1..5) := "ABCDE";

      Str_2,

      TC_Str_2 : String (1..5) := "#$%^&";

      -- Non-ISO_646 Strings

      Str_3    : String (1..8) := "$123.45" &

                                  Ada.Characters.Latin_1.Cent_Sign;

      TC_Str_3 : String (1..8) := "$123.45*";

      Str_4    : String (1..7) := "abc" &

                                  Ada.Characters.Latin_1.Cedilla &

                                  "efg";

      TC_Str_4 : String (1..7) := "abc*efg";

      Str_5    : String (1..3) := Ada.Characters.Latin_1.LC_E_Grave &

                                  Ada.Characters.Latin_1.LC_T       &

                                  Ada.Characters.Latin_1.LC_E_Acute;

      TC_Str_5 : String (1..3) := "*t*";

      ---

      procedure Validate_Character (Char : in out Character) is

         -- If parameter Char is an ISO_646 character, Char will be returned,

         -- otherwise the following constant will be returned.

         Star : constant Ada.Characters.Handling.ISO_646 :=

           Ada.Characters.Latin_1.Asterisk;

      begin

         if Ada.Characters.Handling.Is_ISO_646(Char) then

            -- Check that the Is_ISO_646 function provide a correct result.

            if Character'Pos(Char) > 127 then

               Report.Failed("Is_ISO_646 returns a false positive result");

            end if;

         else

            if Character'Pos(Char) < 128 then

               Report.Failed("Is_ISO_646 returns a false negative result");

            end if;

         end if;

         -- Cross-check Is_ISO_646 with To_ISO_646.  '*' will be returned

         -- if Char is not in the ISO_646 set.

         Char := Ada.Characters.Handling.To_ISO_646(Char, Star);

      exception

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

      end Validate_Character;

      ---

      function Validate_String (Str : String) return String is

         New_ISO_646_Char : constant Ada.Characters.Handling.ISO_646 :=

           Ada.Characters.Latin_1.Asterisk;

      begin

         -- Checking that the string contains non-ISO_646 characters at this

         -- point is not strictly necessary, since the function To_ISO_646

         -- will perform that check as part of its processing, and would

         -- return the original string if no modification were necessary.

         -- However, this format allows for the testing of both functions.

         if not Ada.Characters.Handling.Is_ISO_646(Str) then

            return Ada.Characters.Handling.To_ISO_646

                     (Item => Str, Substitute => New_ISO_646_Char);

         else

            return Str;

         end if;

      exception

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

                        return Str;

      end Validate_String;

   begin

      -- Check each character in turn, and if the character does not belong

      -- to the ISO_646 subset of type Character, replace it with an

      -- asterisk.  If the character is a member of the subset, the character

      -- should be returned unchanged.

      Validate_Character (Char_1);

      Validate_Character (Char_2);

      Validate_Character (Char_3);

      Validate_Character (Char_4);

      Validate_Character (Char_5);

      if Char_1 /= TC_Char_1 or Char_2 /= TC_Char_2 or

         Char_3 /= TC_Char_3 or Char_4 /= TC_Char_4 or

         Char_5 /= TC_Char_5

      then

         Report.Failed ("Incorrect ISO_646 character substitution");

      end if;

      -- Non-ISO_646 characters

      for i in 6..10 loop

         Validate_Character (Char_Array(i));

      end loop;

      for i in 6..10 loop

         if Char_Array(i) /= TC_Char then

            Report.Failed ("Character position " & Integer'Image(i) &

                           " not replaced correctly");

         end if;

      end loop;

      -- Check each string, and if the string contains characters that do not

      -- belong to the ISO_646 subset of type Character, replace that character

      -- in the string with an asterisk.  If the string is comprised of only

      -- ISO_646 characters, the string should be returned unchanged.

      Str_1 := Validate_String (Str_1);

      Str_2 := Validate_String (Str_2);

      Str_3 := Validate_String (Str_3);

      Str_4 := Validate_String (Str_4);

      Str_5 := Validate_String (Str_5);

      if Str_1 /= TC_Str_1 or

         Str_2 /= TC_Str_2 or

         Str_3 /= TC_Str_3 or

         Str_4 /= TC_Str_4 or

         Str_5 /= TC_Str_5

      then

         Report.Failed ("Incorrect ISO_646 character substitution in string");

      end if;

   exception

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

   end Test_Block;

   Report.Result;

end CXA3003;