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