gcc/testsuite/ada/acats/tests/cxa/cxa3001.a

   1 -- CXA3001.A
   2 --
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 --
  26 -- OBJECTIVE:
  27 --      Check that the character classification functions defined in
  28 --      package Ada.Characters.Handling produce correct results when provided
  29 --      constant arguments from package Ada.Characters.Latin_1.
  30 --
  31 -- TEST DESCRIPTION:
  32 --      This test checks the character classification functions of package
  33 --      Ada.Characters.Handling.  In the evaluation of each function, loops
  34 --      are constructed to examine the function with as many values of type
  35 --      Character (Ada.Characters.Latin_1 constants) as possible in an
  36 --      amount of code that is about equal to the amount of code required
  37 --      to examine the function with a few representative input values and
  38 --      endpoint values.
  39 --      The usage paradigm being demonstrated by this test is that of the
  40 --      functions being used to assign to boolean variables, as well as
  41 --      serving as boolean conditions.
  42 --
  43 --
  44 -- CHANGE HISTORY:
  45 --      06 Dec 94   SAIC    ACVC 2.0
  46 --      29 Apr 95   SAIC    Fixed subtest checking Is_Graphic function.
  47 --
  48 --!
  49
  50 with Ada.Characters.Latin_1;
  51 with Ada.Characters.Handling;
  52 with Report;
  53
  54 procedure CXA3001 is
  55
  56 begin
  57
  58    Report.Test ("CXA3001", "Check that the character classification "      &
  59                            "functions defined in package "                 &
  60                            "Ada.Characters.Handling produce "              &
  61                            "correct results when provided constant "       &
  62                            "arguments from package Ada.Characters.Latin_1");
  63
  64    Test_Block:
  65    declare
  66
  67       package AC  renames Ada.Characters;
  68       package ACH renames Ada.Characters.Handling;
  69
  70       TC_Boolean : Boolean := False;
  71
  72    begin
  73
  74       -- Over the next six statements/blocks of code, evaluate functions
  75       -- Is_Control and Is_Graphic with control character and non-control
  76       -- character values.
  77
  78       for i in Character'Pos(AC.Latin_1.NUL) ..
  79                Character'Pos(AC.Latin_1.US)  loop
  80          if not ACH.Is_Control(Character'Val(i)) then
  81             Report.Failed ("Incorrect result from function Is_Control - 1");
  82          end if;
  83          if ACH.Is_Graphic(Character'Val(i)) then
  84             Report.Failed ("Incorrect result from function Is_Graphic - 1");
  85          end if;
  86       end loop;
  87
  88
  89       for i in Character'Pos(AC.Latin_1.Space) ..
  90                Character'Pos(AC.Latin_1.Tilde) loop
  91          if not ACH.Is_Graphic(Character'Val(i)) then
  92             Report.Failed ("Incorrect result from function Is_Graphic - 2");
  93          end if;
  94          if ACH.Is_Control(Character'Val(i)) then
  95             Report.Failed ("Incorrect result from function Is_Control - 2");
  96          end if;
  97       end loop;
  98
  99
 100       for i in Character'Pos(AC.Latin_1.Reserved_128) ..
 101                Character'Pos(AC.Latin_1.APC)  loop
 102          if not ACH.Is_Control(Character'Val(i)) then
 103             Report.Failed ("Incorrect result from function Is_Control - 3");
 104          end if;
 105          TC_Boolean := ACH.Is_Graphic(Character'Val(i));
 106          if TC_Boolean then
 107             Report.Failed ("Incorrect result from function Is_Graphic - 3");
 108             TC_Boolean := False;
 109          end if;
 110       end loop;
 111
 112       for i in Character'Pos(AC.Latin_1.No_Break_Space) ..
 113                Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
 114          TC_Boolean := ACH.Is_Control(Character'Val(i));
 115          if TC_Boolean then
 116             Report.Failed ("Incorrect result from function Is_Control - 4");
 117             TC_Boolean := False;
 118          end if;
 119          if not ACH.Is_Graphic(Character'Val(i)) then
 120             Report.Failed ("Incorrect result from function Is_Graphic - 4");
 121          end if;
 122       end loop;
 123
 124       -- Check renamed constants.
 125
 126       if not (ACH.Is_Control(AC.Latin_1.IS4) and
 127               ACH.Is_Control(AC.Latin_1.IS3) and
 128               ACH.Is_Control(AC.Latin_1.IS2) and
 129               ACH.Is_Control(AC.Latin_1.IS1))       or
 130          (ACH.Is_Control(AC.Latin_1.NBSP)           or
 131           ACH.Is_Control(AC.Latin_1.Paragraph_Sign) or
 132           ACH.Is_Control(AC.Latin_1.Minus_Sign)     or
 133           ACH.Is_Control(AC.Latin_1.Ring_Above))
 134       then
 135          Report.Failed ("Incorrect result from function Is_Control - 5");
 136       end if;
 137
 138       if (ACH.Is_Graphic(AC.Latin_1.IS4)  or
 139           ACH.Is_Graphic(AC.Latin_1.IS3)  or
 140           ACH.Is_Graphic(AC.Latin_1.IS2)  or
 141           ACH.Is_Graphic(AC.Latin_1.IS1)) or
 142          not (ACH.Is_Graphic(AC.Latin_1.NBSP)           and
 143               ACH.Is_Graphic(AC.Latin_1.Paragraph_Sign) and
 144               ACH.Is_Graphic(AC.Latin_1.Minus_Sign)     and
 145               ACH.Is_Graphic(AC.Latin_1.Ring_Above))
 146       then
 147          Report.Failed ("Incorrect result from function Is_Graphic - 5");
 148       end if;
 149
 150
 151       -- Evaluate function Is_Letter with letter/non-letter inputs.
 152
 153       for i in Character'Pos('A') .. Character'Pos('Z') loop
 154          if not ACH.Is_Letter(Character'Val(i)) then
 155             Report.Failed ("Incorrect Is_Letter result - 1");
 156          end if;
 157       end loop;
 158
 159       for i in Character'Pos(AC.Latin_1.LC_A) ..
 160                Character'Pos(AC.Latin_1.LC_Z) loop
 161          if not ACH.Is_Letter(Character'Val(i)) then
 162             Report.Failed ("Incorrect Is_Letter result - 2");
 163          end if;
 164       end loop;
 165
 166       for i in Character'Pos(AC.Latin_1.UC_A_Grave) ..
 167                Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
 168          if not ACH.Is_Letter(Character'Val(i)) then
 169             Report.Failed ("Incorrect Is_Letter result - 3");
 170          end if;
 171       end loop;
 172
 173       for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) ..
 174                Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
 175          if not ACH.Is_Letter(Character'Val(i)) then
 176             Report.Failed ("Incorrect Is_Letter result - 4");
 177          end if;
 178       end loop;
 179
 180       for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) ..
 181                Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
 182          if not ACH.Is_Letter(Character'Val(i)) then
 183             Report.Failed ("Incorrect Is_Letter result - 5");
 184          end if;
 185       end loop;
 186
 187       -- Check for rejection of non-letters.
 188       for i in Character'Pos(AC.Latin_1.NUL) ..
 189                Character'Pos(AC.Latin_1.Commercial_At) loop
 190          if ACH.Is_Letter(Character'Val(i)) then
 191             Report.Failed ("Incorrect Is_Letter result - 6");
 192          end if;
 193       end loop;
 194
 195
 196       -- Evaluate function Is_Lower with lower case/non-lower case inputs.
 197
 198       for i in Character'Pos(AC.Latin_1.LC_A) ..
 199                Character'Pos(AC.Latin_1.LC_Z) loop
 200          if not ACH.Is_Lower(Character'Val(i)) then
 201             Report.Failed ("Incorrect Is_Lower result - 1");
 202          end if;
 203       end loop;
 204
 205       for i in Character'Pos(AC.Latin_1.LC_A_Grave) ..
 206                Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
 207          if not ACH.Is_Lower(Character'Val(i)) then
 208             Report.Failed ("Incorrect Is_Lower result - 2");
 209          end if;
 210       end loop;
 211
 212       for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) ..
 213                Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
 214          if not ACH.Is_Lower(Character'Val(i)) then
 215             Report.Failed ("Incorrect Is_Lower result - 3");
 216          end if;
 217       end loop;
 218
 219       if ACH.Is_Lower('A')                         or
 220          ACH.Is_Lower(AC.Latin_1.UC_Icelandic_Eth) or
 221          ACH.Is_Lower(AC.Latin_1.Number_Sign)      or
 222          ACH.Is_Lower(AC.Latin_1.Cedilla)          or
 223          ACH.Is_Lower(AC.Latin_1.SYN)              or
 224          ACH.Is_Lower(AC.Latin_1.ESA)
 225       then
 226          Report.Failed ("Incorrect Is_Lower result - 4");
 227       end if;
 228
 229
 230       -- Evaluate function Is_Upper with upper case/non-upper case inputs.
 231
 232       for i in Character'Pos('A') .. Character'Pos('Z') loop
 233          if not ACH.Is_Upper(Character'Val(i)) then
 234             Report.Failed ("Incorrect Is_Upper result - 1");
 235          end if;
 236       end loop;
 237
 238       for i in Character'Pos(AC.Latin_1.UC_A_Grave) ..
 239                Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
 240          if not ACH.Is_Upper(Character'Val(i)) then
 241             Report.Failed ("Incorrect Is_Upper result - 2");
 242          end if;
 243       end loop;
 244
 245       for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) ..
 246                Character'Pos(AC.Latin_1.UC_Icelandic_Thorn) loop
 247          if not ACH.Is_Upper(Character'Val(i)) then
 248             Report.Failed ("Incorrect Is_Upper result - 3");
 249          end if;
 250       end loop;
 251
 252       if ACH.Is_Upper('8')                    or
 253          ACH.Is_Upper(AC.Latin_1.LC_A_Ring  ) or
 254          ACH.Is_Upper(AC.Latin_1.Dollar_Sign) or
 255          ACH.Is_Upper(AC.Latin_1.Broken_Bar)  or
 256          ACH.Is_Upper(AC.Latin_1.ETB)         or
 257          ACH.Is_Upper(AC.Latin_1.VTS)
 258       then
 259          Report.Failed ("Incorrect Is_Upper result - 4");
 260       end if;
 261
 262
 263       for i in Character'Pos('a') .. Character'Pos('z') loop
 264          if ACH.Is_Upper(Character'Val(i)) then
 265             Report.Failed ("Incorrect Is_Upper result - 5");
 266          end if;
 267       end loop;
 268
 269
 270       -- Evaluate function Is_Basic with basic/non-basic inputs.
 271       -- (Note: Basic letters are those without diacritical marks.)
 272
 273       for i in Character'Pos('A') .. Character'Pos('Z') loop
 274          if not ACH.Is_Basic(Character'Val(i)) then
 275             Report.Failed ("Incorrect Is_Basic result - 1");
 276          end if;
 277       end loop;
 278
 279       for i in Character'Pos(AC.Latin_1.LC_A) ..
 280                Character'Pos(AC.Latin_1.LC_Z) loop
 281          if not ACH.Is_Basic(Character'Val(i)) then
 282             Report.Failed ("Incorrect Is_Basic result - 2");
 283          end if;
 284       end loop;
 285
 286
 287       if not (ACH.Is_Basic(AC.Latin_1.UC_AE_Diphthong)     and
 288               ACH.Is_Basic(AC.Latin_1.LC_AE_Diphthong)     and
 289               ACH.Is_Basic(AC.Latin_1.LC_German_Sharp_S)   and
 290               ACH.Is_Basic(AC.Latin_1.LC_Icelandic_Eth)    and
 291               ACH.Is_Basic(AC.Latin_1.LC_Icelandic_Thorn)  and
 292               ACH.Is_Basic(AC.Latin_1.UC_Icelandic_Eth)    and
 293               ACH.Is_Basic(AC.Latin_1.UC_Icelandic_Thorn))
 294       then
 295          Report.Failed ("Incorrect Is_Basic result - 3");
 296       end if;
 297
 298       -- Check for rejection of non-basics.
 299       if ACH.Is_Basic(AC.Latin_1.UC_A_Tilde) or
 300          ACH.Is_Basic(AC.Latin_1.LC_A_Grave) or
 301          ACH.Is_Basic(AC.Latin_1.Ampersand)  or
 302          ACH.Is_Basic(AC.Latin_1.Yen_Sign)   or
 303          ACH.Is_Basic(AC.Latin_1.NAK)        or
 304          ACH.Is_Basic(AC.Latin_1.SS2)
 305       then
 306          Report.Failed ("Incorrect Is_Basic result - 4");
 307       end if;
 308
 309
 310
 311       for i in Character'Pos(AC.Latin_1.NUL) ..
 312                Character'Pos(AC.Latin_1.Commercial_At) loop
 313          if ACH.Is_Basic(Character'Val(i)) then
 314             Report.Failed ("Incorrect Is_Basic result - 5");
 315          end if;
 316       end loop;
 317
 318
 319       -- Evaluate functions Is_Digit and Is_Decimal_Digit (a rename of
 320       -- Is_Digit) with decimal digit/non-digit inputs.
 321
 322
 323       if not (ACH.Is_Digit('0')          and
 324               ACH.Is_Decimal_Digit('9')) or
 325          ACH.Is_Digit ('a')              or     -- Hex digits.
 326          ACH.Is_Decimal_Digit ('f')      or
 327          ACH.Is_Decimal_Digit ('A')      or
 328          ACH.Is_Digit ('F')
 329       then
 330          Report.Failed ("Incorrect Is_Digit/Is_Decimal_Digit result - 1");
 331       end if;
 332
 333       if ACH.Is_Digit         (AC.Latin_1.Full_Stop)         or
 334          ACH.Is_Decimal_Digit (AC.Latin_1.Dollar_Sign)       or
 335          ACH.Is_Digit         (AC.Latin_1.Number_Sign)       or
 336          ACH.Is_Decimal_Digit (AC.Latin_1.Left_Parenthesis)  or
 337          ACH.Is_Digit         (AC.Latin_1.Right_Parenthesis)
 338       then
 339          Report.Failed ("Incorrect Is_Digit/Is_Decimal_Digit result - 2");
 340       end if;
 341
 342
 343       -- Evaluate functions Is_Hexadecimal_Digit with hexadecimal digit and
 344       -- non-hexadecimal digit inputs.
 345
 346       for i in Character'Pos('0') .. Character'Pos('9') loop
 347          if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
 348             Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 1");
 349          end if;
 350       end loop;
 351
 352       for i in Character'Pos('A') .. Character'Pos('F') loop
 353          if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
 354             Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 2");
 355          end if;
 356       end loop;
 357
 358       for i in Character'Pos(AC.Latin_1.LC_A) ..
 359                Character'Pos(AC.Latin_1.LC_F) loop
 360          if not ACH.Is_Hexadecimal_Digit(Character'Val(i)) then
 361             Report.Failed ("Incorrect Is_Hexadecimal_Digit result - 3");
 362          end if;
 363       end loop;
 364
 365
 366       if ACH.Is_Hexadecimal_Digit (AC.Latin_1.Minus_Sign)        or
 367          ACH.Is_Hexadecimal_Digit (AC.Latin_1.Hyphen)            or
 368          ACH.Is_Hexadecimal_Digit (AC.Latin_1.LC_G)              or
 369          ACH.Is_Hexadecimal_Digit (AC.Latin_1.LC_Z)              or
 370          ACH.Is_Hexadecimal_Digit ('G')                          or
 371          ACH.Is_Hexadecimal_Digit (AC.Latin_1.Cent_Sign)         or
 372          ACH.Is_Hexadecimal_Digit (AC.Latin_1.Pound_Sign)
 373       then
 374          Report.Failed ("Incorrect Is_HexaDecimal_Digit result - 4");
 375       end if;
 376
 377
 378       -- Evaluate functions Is_Alphanumeric and Is_Special with
 379       -- letters, digits, and non-alphanumeric inputs.
 380
 381       for i in Character'Pos(AC.Latin_1.NUL) ..
 382                Character'Pos(AC.Latin_1.US)  loop
 383          if ACH.Is_Alphanumeric(Character'Val(i)) then
 384             Report.Failed ("Incorrect Is_Alphanumeric result - 1");
 385          end if;
 386          TC_Boolean := ACH.Is_Special(Character'Val(i));
 387          if TC_Boolean then
 388             Report.Failed ("Incorrect Is_Special result - 1");
 389             TC_Boolean := False;
 390          end if;
 391       end loop;
 392
 393       for i in Character'Pos(AC.Latin_1.Reserved_128) ..
 394                Character'Pos(AC.Latin_1.APC)  loop
 395          TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i));
 396          if TC_Boolean then
 397             Report.Failed ("Incorrect Is_Alphanumeric result - 2");
 398             TC_Boolean := False;
 399          end if;
 400          if ACH.Is_Special(Character'Val(i)) then
 401             Report.Failed ("Incorrect Is_Special result - 2");
 402          end if;
 403       end loop;
 404
 405       for i in Character'Pos(AC.Latin_1.Space) ..
 406                Character'Pos(AC.Latin_1.Solidus) loop
 407          TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i));
 408          if TC_Boolean then
 409             Report.Failed ("Incorrect Is_Alphanumeric result - 3");
 410             TC_Boolean := False;
 411          end if;
 412          if not ACH.Is_Special(Character'Val(i)) then
 413             Report.Failed ("Incorrect Is_Special result - 3");
 414          end if;
 415       end loop;
 416
 417       for i in Character'Pos('A') .. Character'Pos('Z') loop
 418          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 419             Report.Failed ("Incorrect Is_Alphanumeric result - 4");
 420          end if;
 421          TC_Boolean := ACH.Is_Special(Character'Val(i));
 422          if TC_Boolean then
 423             Report.Failed ("Incorrect Is_Special result - 4");
 424             TC_Boolean := False;
 425          end if;
 426       end loop;
 427
 428       for i in Character'Pos('0') .. Character'Pos('9') loop
 429          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 430             Report.Failed ("Incorrect Is_Alphanumeric result - 5");
 431          end if;
 432          TC_Boolean := ACH.Is_Special(Character'Val(i));
 433          if TC_Boolean then
 434             Report.Failed ("Incorrect Is_Special result - 5");
 435             TC_Boolean := False;
 436          end if;
 437       end loop;
 438
 439       for i in Character'Pos(AC.Latin_1.LC_A) ..
 440                Character'Pos(AC.Latin_1.LC_Z) loop
 441          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 442             Report.Failed ("Incorrect Is_Alphanumeric result - 6");
 443          end if;
 444          TC_Boolean := ACH.Is_Special(Character'Val(i));
 445          if TC_Boolean then
 446             Report.Failed ("Incorrect Is_Special result - 6");
 447             TC_Boolean := False;
 448          end if;
 449       end loop;
 450
 451       for i in Character'Pos(AC.Latin_1.No_Break_Space) ..
 452                Character'Pos(AC.Latin_1.Inverted_Question) loop
 453          TC_Boolean := ACH.Is_Alphanumeric(Character'Val(i));
 454          if TC_Boolean then
 455             Report.Failed ("Incorrect Is_Alphanumeric result - 7");
 456             TC_Boolean := False;
 457          end if;
 458          if not ACH.Is_Special(Character'Val(i)) then
 459             Report.Failed ("Incorrect Is_Special result - 7");
 460          end if;
 461       end loop;
 462
 463       for i in Character'Pos(AC.Latin_1.UC_A_Grave) ..
 464                Character'Pos(AC.Latin_1.UC_O_Diaeresis) loop
 465          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 466             Report.Failed ("Incorrect Is_Alphanumeric result - 8");
 467          end if;
 468          TC_Boolean := ACH.Is_Special(Character'Val(i));
 469          if TC_Boolean then
 470             Report.Failed ("Incorrect Is_Special result - 8");
 471             TC_Boolean := False;
 472          end if;
 473       end loop;
 474
 475       for i in Character'Pos(AC.Latin_1.UC_O_Oblique_Stroke) ..
 476                Character'Pos(AC.Latin_1.LC_O_Diaeresis) loop
 477          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 478             Report.Failed ("Incorrect Is_Alphanumeric result - 9");
 479          end if;
 480          TC_Boolean := ACH.Is_Special(Character'Val(i));
 481          if TC_Boolean then
 482             Report.Failed ("Incorrect Is_Special result - 9");
 483             TC_Boolean := False;
 484          end if;
 485       end loop;
 486
 487       for i in Character'Pos(AC.Latin_1.LC_O_Oblique_Stroke) ..
 488                Character'Pos(AC.Latin_1.LC_Y_Diaeresis) loop
 489          if not ACH.Is_Alphanumeric(Character'Val(i)) then
 490             Report.Failed ("Incorrect Is_Alphanumeric result - 10");
 491          end if;
 492          TC_Boolean := ACH.Is_Special(Character'Val(i));
 493          if TC_Boolean then
 494             Report.Failed ("Incorrect Is_Special result - 10");
 495             TC_Boolean := False;
 496          end if;
 497       end loop;
 498
 499
 500    exception
 501       when others => Report.Failed ("Exception raised during processing");
 502    end Test_Block;
 503
 504
 505    Report.Result;
 506
 507 end CXA3001;