-- CXA3001.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 character classification functions defined in 
--      package Ada.Characters.Handling produce correct results when provided 
--      constant arguments from package Ada.Characters.Latin_1.
--
-- TEST DESCRIPTION:
--      This test checks the character classification functions of package
--      Ada.Characters.Handling.  In the evaluation of each function, loops
--      are constructed to examine the function with as many values of type
--      Character (Ada.Characters.Latin_1 constants) as possible in an 
--      amount of code that is about equal to the amount of code required
--      to examine the function with a few representative input values and
--      endpoint values.
--      The usage paradigm being demonstrated by this test is that of the
--      functions being used to assign to boolean variables, as well as
--      serving as boolean conditions.
--      
--       
-- CHANGE HISTORY:
--      06 Dec 94   SAIC    ACVC 2.0
--      29 Apr 95   SAIC    Fixed subtest checking Is_Graphic function.
--
--!

with Ada.Characters.Latin_1;
with Ada.Characters.Handling;
with Report;

procedure CXA3001 is

begin

   Report.Test ("CXA3001", "Check that the character classification "      &
                           "functions defined in package "                 &
                           "Ada.Characters.Handling produce "              &
                           "correct results when provided constant "       &
                           "arguments from package Ada.Characters.Latin_1");

   Test_Block:
   declare

      package AC  renames Ada.Characters;
      package ACH renames Ada.Characters.Handling;

      TC_Boolean : Boolean := False;

   begin 

      -- Over the next six statements/blocks of code, evaluate functions 
      -- Is_Control and Is_Graphic with control character and non-control 
      -- character values.

      for i in Character'Pos(AC.Latin_1.NUL) .. 
               Character'Pos(AC.Latin_1.US)  loop
         if not ACH.Is_Control(Character'Val(i)) then
            Report.Failed ("Incorrect result from function Is_Control - 1");
         end if;
         if ACH.Is_Graphic(Character'Val(i)) then
            Report.Failed ("Incorrect result from function Is_Graphic - 1");
         end if;
      end loop;


      for i in Character'Pos(AC.Latin_1.Space) ..
               Character'Pos(AC.Latin_1.Tilde) loop
         if not ACH.Is_Graphic(Character'Val(i)) then    
            Report.Failed ("Incorrect result from function Is_Graphic - 2");
         end if;
         if ACH.Is_Control(Character'Val(i)) then
            Report.Failed ("Incorrect result from function Is_Control - 2");
         end if;
      end loop;


      for i in Character'Pos(AC.Latin_1.Reserved_128) .. 
               Character'Pos(AC.Latin_1.APC)  loop
         if not ACH.Is_Control(Character'Val(i)) then
            Report.Failed ("Incorrect result from function Is_Control - 3");
         end if;
         TC_Boolean := ACH.Is_Graphic(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect result from function Is_Graphic - 3");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.No_Break_Space) ..
               Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
         TC_Boolean := ACH.Is_Control(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect result from function Is_Control - 4");
            TC_Boolean := False;
         end if;
         if not ACH.Is_Graphic(Character'Val(i)) then
            Report.Failed ("Incorrect result from function Is_Graphic - 4");
         end if;
      end loop;

      -- Check renamed constants.

      if not (ACH.Is_Control(AC.Latin_1.IS4) and
              ACH.Is_Control(AC.Latin_1.IS3) and 
              ACH.Is_Control(AC.Latin_1.IS2) and 
              ACH.Is_Control(AC.Latin_1.IS1))       or
         (ACH.Is_Control(AC.Latin_1.NBSP)           or
          ACH.Is_Control(AC.Latin_1.Paragraph_Sign) or
          ACH.Is_Control(AC.Latin_1.Minus_Sign)     or
          ACH.Is_Control(AC.Latin_1.Ring_Above))
      then
         Report.Failed ("Incorrect result from function Is_Control - 5");
      end if;

      if (ACH.Is_Graphic(AC.Latin_1.IS4)  or
          ACH.Is_Graphic(AC.Latin_1.IS3)  or
          ACH.Is_Graphic(AC.Latin_1.IS2)  or
          ACH.Is_Graphic(AC.Latin_1.IS1)) or
         not (ACH.Is_Graphic(AC.Latin_1.NBSP)           and
              ACH.Is_Graphic(AC.Latin_1.Paragraph_Sign) and
              ACH.Is_Graphic(AC.Latin_1.Minus_Sign)     and
              ACH.Is_Graphic(AC.Latin_1.Ring_Above))
      then
         Report.Failed ("Incorrect result from function Is_Graphic - 5");
      end if;


      -- Evaluate function Is_Letter with letter/non-letter inputs.
      
      for i in Character'Pos('A') .. Character'Pos('Z') loop
         if not ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 1");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_A) .. 
               Character'Pos(AC.Latin_1.LC_Z) loop
         if not ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 2");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_A_Grave) .. 
               Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
         if not ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 3");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) .. 
               Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
         if not ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 4");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) .. 
               Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
         if not ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 5");
         end if;
      end loop;

      -- Check for rejection of non-letters.
      for i in Character'Pos(AC.Latin_1.NUL) .. 
               Character'Pos(AC.Latin_1.Commercial_At) loop
         if ACH.Is_Letter(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Letter result - 6");
         end if;
      end loop;


      -- Evaluate function Is_Lower with lower case/non-lower case inputs.

      for i in Character'Pos(AC.Latin_1.LC_A) .. 
               Character'Pos(AC.Latin_1.LC_Z) loop
         if not ACH.Is_Lower(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Lower result - 1");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_A_Grave) .. 
               Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
         if not ACH.Is_Lower(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Lower result - 2");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) .. 
               Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
         if not ACH.Is_Lower(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Lower result - 3");
         end if;
      end loop;

      if ACH.Is_Lower('A')                         or
         ACH.Is_Lower(AC.Latin_1.UC_Icelandic_Eth) or
         ACH.Is_Lower(AC.Latin_1.Number_Sign)      or
         ACH.Is_Lower(AC.Latin_1.Cedilla)          or
         ACH.Is_Lower(AC.Latin_1.SYN)              or
         ACH.Is_Lower(AC.Latin_1.ESA) 
      then
         Report.Failed ("Incorrect Is_Lower result - 4");
      end if;


      -- Evaluate function Is_Upper with upper case/non-upper case inputs.

      for i in Character'Pos('A') .. Character'Pos('Z') loop
         if not ACH.Is_Upper(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Upper result - 1");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_A_Grave) .. 
               Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
         if not ACH.Is_Upper(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Upper result - 2");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) .. 
               Character'Pos(AC.Latin_1.UC_Icelandic_Thorn) loop
         if not ACH.Is_Upper(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Upper result - 3");
         end if;
      end loop;

      if ACH.Is_Upper('8')                    or
         ACH.Is_Upper(AC.Latin_1.LC_A_Ring  ) or
         ACH.Is_Upper(AC.Latin_1.Dollar_Sign) or
         ACH.Is_Upper(AC.Latin_1.Broken_Bar)  or
         ACH.Is_Upper(AC.Latin_1.ETB)         or
         ACH.Is_Upper(AC.Latin_1.VTS) 
      then
         Report.Failed ("Incorrect Is_Upper result - 4");
      end if;


      for i in Character'Pos('a') .. Character'Pos('z') loop
         if ACH.Is_Upper(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Upper result - 5");
         end if;
      end loop;


      -- Evaluate function Is_Basic with basic/non-basic inputs.
      -- (Note: Basic letters are those without diacritical marks.)

      for i in Character'Pos('A') .. Character'Pos('Z') loop
         if not ACH.Is_Basic(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Basic result - 1");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_A) .. 
               Character'Pos(AC.Latin_1.LC_Z) loop
         if not ACH.Is_Basic(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Basic result - 2");
         end if;
      end loop;


      if not (ACH.Is_Basic(AC.Latin_1.UC_AE_Diphthong)     and  
              ACH.Is_Basic(AC.Latin_1.LC_AE_Diphthong)     and
              ACH.Is_Basic(AC.Latin_1.LC_German_Sharp_S)   and
              ACH.Is_Basic(AC.Latin_1.LC_Icelandic_Eth)    and
              ACH.Is_Basic(AC.Latin_1.LC_Icelandic_Thorn)  and
              ACH.Is_Basic(AC.Latin_1.UC_Icelandic_Eth)    and
              ACH.Is_Basic(AC.Latin_1.UC_Icelandic_Thorn))
      then
         Report.Failed ("Incorrect Is_Basic result - 3");
      end if;

      -- Check for rejection of non-basics.
      if ACH.Is_Basic(AC.Latin_1.UC_A_Tilde) or
         ACH.Is_Basic(AC.Latin_1.LC_A_Grave) or
         ACH.Is_Basic(AC.Latin_1.Ampersand)  or
         ACH.Is_Basic(AC.Latin_1.Yen_Sign)   or
         ACH.Is_Basic(AC.Latin_1.NAK)        or
         ACH.Is_Basic(AC.Latin_1.SS2) 
      then
         Report.Failed ("Incorrect Is_Basic result - 4");
      end if;


      for i in Character'Pos(AC.Latin_1.NUL) .. 
               Character'Pos(AC.Latin_1.Commercial_At) loop
         if ACH.Is_Basic(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Basic result - 5");
         end if;
      end loop;


      -- Evaluate functions Is_Digit and Is_Decimal_Digit (a rename of
      -- Is_Digit) with decimal digit/non-digit inputs.


      if not (ACH.Is_Digit('0')          and
              ACH.Is_Decimal_Digit('9')) or
         ACH.Is_Digit ('a')              or     -- Hex digits.
         ACH.Is_Decimal_Digit ('f')      or
         ACH.Is_Decimal_Digit ('A')      or
         ACH.Is_Digit ('F')
      then
         Report.Failed ("Incorrect Is_Digit/Is_Decimal_Digit result - 1");
      end if;

      if ACH.Is_Digit         (AC.Latin_1.Full_Stop)         or
         ACH.Is_Decimal_Digit (AC.Latin_1.Dollar_Sign)       or
         ACH.Is_Digit         (AC.Latin_1.Number_Sign)       or
         ACH.Is_Decimal_Digit (AC.Latin_1.Left_Parenthesis)  or
         ACH.Is_Digit         (AC.Latin_1.Right_Parenthesis) 
      then
         Report.Failed ("Incorrect Is_Digit/Is_Decimal_Digit result - 2");
      end if;


      -- Evaluate functions Is_Hexadecimal_Digit with hexadecimal digit and 
      -- non-hexadecimal digit inputs.

      for i in Character'Pos('0') .. Character'Pos('9') loop
         if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 1");
         end if;
      end loop;

      for i in Character'Pos('A') .. Character'Pos('F') loop
         if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 2");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_A) .. 
               Character'Pos(AC.Latin_1.LC_F) loop
         if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 3");
         end if;
      end loop;


      if ACH.Is_Hexadecimal_Digit (AC.Latin_1.Minus_Sign)        or
         ACH.Is_Hexadecimal_Digit (AC.Latin_1.Hyphen)            or
         ACH.Is_Hexadecimal_Digit (AC.Latin_1.LC_G)              or
         ACH.Is_Hexadecimal_Digit (AC.Latin_1.LC_Z)              or
         ACH.Is_Hexadecimal_Digit ('G')                          or
         ACH.Is_Hexadecimal_Digit (AC.Latin_1.Cent_Sign)         or
         ACH.Is_Hexadecimal_Digit (AC.Latin_1.Pound_Sign)
      then
         Report.Failed ("Incorrect Is_HexaDecimal_Digit result - 4");
      end if;


      -- Evaluate functions Is_Alphanumeric and Is_Special with 
      -- letters, digits, and non-alphanumeric inputs.

      for i in Character'Pos(AC.Latin_1.NUL) .. 
               Character'Pos(AC.Latin_1.US)  loop
         if ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 1");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 1");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.Reserved_128) .. 
               Character'Pos(AC.Latin_1.APC)  loop
         TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Alphanumeric result - 2");
            TC_Boolean := False;
         end if;
         if ACH.Is_Special(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Special result - 2");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.Space) ..
               Character'Pos(AC.Latin_1.Solidus) loop
         TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Alphanumeric result - 3");
            TC_Boolean := False;
         end if;
         if not ACH.Is_Special(Character'Val(i)) then  
            Report.Failed ("Incorrect Is_Special result - 3");
         end if;
      end loop;

      for i in Character'Pos('A') .. Character'Pos('Z') loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 4");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 4");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos('0') .. Character'Pos('9') loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 5");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 5");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_A) ..
               Character'Pos(AC.Latin_1.LC_Z) loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 6");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 6");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.No_Break_Space) ..
               Character'Pos(AC.Latin_1.Inverted_Question) loop
         TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Alphanumeric result - 7");
            TC_Boolean := False;
         end if;
         if not ACH.Is_Special(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Special result - 7");
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_A_Grave) ..
               Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 8");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 8");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) ..
               Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 9");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 9");
            TC_Boolean := False;
         end if;
      end loop;

      for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) ..
               Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
         if not ACH.Is_Alphanumeric(Character'Val(i)) then
            Report.Failed ("Incorrect Is_Alphanumeric result - 10");
         end if;
         TC_Boolean := ACH.Is_Special(Character'Val(i)); 
         if TC_Boolean then
            Report.Failed ("Incorrect Is_Special result - 10");
            TC_Boolean := False;
         end if;
      end loop;


   exception
      when others => Report.Failed ("Exception raised during processing");
   end Test_Block;


   Report.Result;

end CXA3001;