-- 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;