-- CXA3003.A
|
-- CXA3003.A
|
--
|
--
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
--
|
--
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- Check that the functions defined in package Ada.Characters.Handling
|
-- Check that the functions defined in package Ada.Characters.Handling
|
-- for use in classifying and converting characters between the ISO 646
|
-- for use in classifying and converting characters between the ISO 646
|
-- and type Character sets produce the correct results with both
|
-- and type Character sets produce the correct results with both
|
-- Character and String input values.
|
-- Character and String input values.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- This test is designed to exercise the classification and conversion
|
-- This test is designed to exercise the classification and conversion
|
-- functions (between Character and ISO_646 types) found in package
|
-- functions (between Character and ISO_646 types) found in package
|
-- Ada.Characters.Handling. Two subprograms are defined, a procedure for
|
-- Ada.Characters.Handling. Two subprograms are defined, a procedure for
|
-- characters, a function for strings, that will utilize these functions
|
-- characters, a function for strings, that will utilize these functions
|
-- to validate and change characters in variables. In the procedure, if
|
-- to validate and change characters in variables. In the procedure, if
|
-- a character argument is found to be outside the subtype ISO_646, this
|
-- a character argument is found to be outside the subtype ISO_646, this
|
-- character is evaluated to determine whether it is also a letter.
|
-- 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
|
-- 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
|
-- returned. If it is not a letter, the character is exchanged with an
|
-- asterisk. In the case of the function subprogram designed for strings,
|
-- asterisk. In the case of the function subprogram designed for strings,
|
-- if a character component of a string argument is outside the subtype
|
-- if a character component of a string argument is outside the subtype
|
-- ISO_646, that character is substituted with an asterisk.
|
-- ISO_646, that character is substituted with an asterisk.
|
--
|
--
|
-- Arguments for the defined subprograms consist of ISO_646 characters,
|
-- Arguments for the defined subprograms consist of ISO_646 characters,
|
-- non-ISO_646 characters, strings with only ISO_646 characters, and
|
-- non-ISO_646 characters, strings with only ISO_646 characters, and
|
-- strings with non-ISO_646 characters. The character and string values
|
-- strings with non-ISO_646 characters. The character and string values
|
-- are then validated to determine that the expected results were
|
-- are then validated to determine that the expected results were
|
-- obtained.
|
-- obtained.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 29 Apr 95 SAIC Modified identifier string lengths.
|
-- 29 Apr 95 SAIC Modified identifier string lengths.
|
-- 31 Oct 95 SAIC Update and repair for ACVC 2.0.1.
|
-- 31 Oct 95 SAIC Update and repair for ACVC 2.0.1.
|
--
|
--
|
--!
|
--!
|
|
|
with Ada.Characters.Latin_1;
|
with Ada.Characters.Latin_1;
|
with Ada.Characters.Handling;
|
with Ada.Characters.Handling;
|
with Report;
|
with Report;
|
|
|
procedure CXA3003 is
|
procedure CXA3003 is
|
|
|
begin
|
begin
|
|
|
Report.Test ("CXA3003", "Check that the functions defined in package " &
|
Report.Test ("CXA3003", "Check that the functions defined in package " &
|
"Ada.Characters.Handling for use in " &
|
"Ada.Characters.Handling for use in " &
|
"classifying and converting characters " &
|
"classifying and converting characters " &
|
"between the ISO 646 and type Character sets " &
|
"between the ISO 646 and type Character sets " &
|
"produce the correct results with both " &
|
"produce the correct results with both " &
|
"Character and String input values" );
|
"Character and String input values" );
|
|
|
Test_Block:
|
Test_Block:
|
declare
|
declare
|
|
|
-- ISO_646 Characters
|
-- ISO_646 Characters
|
|
|
Char_1,
|
Char_1,
|
TC_Char_1 : Character := Ada.Characters.Latin_1.NUL; -- Control Char
|
TC_Char_1 : Character := Ada.Characters.Latin_1.NUL; -- Control Char
|
Char_2,
|
Char_2,
|
TC_Char_2 : Character := Ada.Characters.Latin_1.Colon; -- Graphic Char
|
TC_Char_2 : Character := Ada.Characters.Latin_1.Colon; -- Graphic Char
|
Char_3,
|
Char_3,
|
TC_Char_3 : Character := '4';
|
TC_Char_3 : Character := '4';
|
Char_4,
|
Char_4,
|
TC_Char_4 : Character := 'Z';
|
TC_Char_4 : Character := 'Z';
|
Char_5,
|
Char_5,
|
TC_Char_5 : Character := Ada.Characters.Latin_1.LC_W; -- w
|
TC_Char_5 : Character := Ada.Characters.Latin_1.LC_W; -- w
|
|
|
New_ISO_646_Char : Character := '*';
|
New_ISO_646_Char : Character := '*';
|
|
|
|
|
-- Non-ISO_646 Characters
|
-- Non-ISO_646 Characters
|
|
|
Char_Array : array (6..10) of Character :=
|
Char_Array : array (6..10) of Character :=
|
(Ada.Characters.Latin_1.SSA,
|
(Ada.Characters.Latin_1.SSA,
|
Ada.Characters.Latin_1.Cent_Sign,
|
Ada.Characters.Latin_1.Cent_Sign,
|
Ada.Characters.Latin_1.Cedilla,
|
Ada.Characters.Latin_1.Cedilla,
|
Ada.Characters.Latin_1.UC_A_Ring,
|
Ada.Characters.Latin_1.UC_A_Ring,
|
Ada.Characters.Latin_1.LC_A_Ring);
|
Ada.Characters.Latin_1.LC_A_Ring);
|
|
|
TC_Char : constant Character := '*';
|
TC_Char : constant Character := '*';
|
|
|
-- ISO_646 Strings
|
-- ISO_646 Strings
|
|
|
Str_1,
|
Str_1,
|
TC_Str_1 : String (1..5) := "ABCDE";
|
TC_Str_1 : String (1..5) := "ABCDE";
|
|
|
Str_2,
|
Str_2,
|
TC_Str_2 : String (1..5) := "#$%^&";
|
TC_Str_2 : String (1..5) := "#$%^&";
|
|
|
|
|
-- Non-ISO_646 Strings
|
-- Non-ISO_646 Strings
|
|
|
Str_3 : String (1..8) := "$123.45" &
|
Str_3 : String (1..8) := "$123.45" &
|
Ada.Characters.Latin_1.Cent_Sign;
|
Ada.Characters.Latin_1.Cent_Sign;
|
TC_Str_3 : String (1..8) := "$123.45*";
|
TC_Str_3 : String (1..8) := "$123.45*";
|
|
|
Str_4 : String (1..7) := "abc" &
|
Str_4 : String (1..7) := "abc" &
|
Ada.Characters.Latin_1.Cedilla &
|
Ada.Characters.Latin_1.Cedilla &
|
"efg";
|
"efg";
|
TC_Str_4 : String (1..7) := "abc*efg";
|
TC_Str_4 : String (1..7) := "abc*efg";
|
|
|
Str_5 : String (1..3) := Ada.Characters.Latin_1.LC_E_Grave &
|
Str_5 : String (1..3) := Ada.Characters.Latin_1.LC_E_Grave &
|
Ada.Characters.Latin_1.LC_T &
|
Ada.Characters.Latin_1.LC_T &
|
Ada.Characters.Latin_1.LC_E_Acute;
|
Ada.Characters.Latin_1.LC_E_Acute;
|
TC_Str_5 : String (1..3) := "*t*";
|
TC_Str_5 : String (1..3) := "*t*";
|
|
|
---
|
---
|
|
|
procedure Validate_Character (Char : in out Character) is
|
procedure Validate_Character (Char : in out Character) is
|
-- If parameter Char is an ISO_646 character, Char will be returned,
|
-- If parameter Char is an ISO_646 character, Char will be returned,
|
-- otherwise the following constant will be returned.
|
-- otherwise the following constant will be returned.
|
Star : constant Ada.Characters.Handling.ISO_646 :=
|
Star : constant Ada.Characters.Handling.ISO_646 :=
|
Ada.Characters.Latin_1.Asterisk;
|
Ada.Characters.Latin_1.Asterisk;
|
begin
|
begin
|
if Ada.Characters.Handling.Is_ISO_646(Char) then
|
if Ada.Characters.Handling.Is_ISO_646(Char) then
|
-- Check that the Is_ISO_646 function provide a correct result.
|
-- Check that the Is_ISO_646 function provide a correct result.
|
if Character'Pos(Char) > 127 then
|
if Character'Pos(Char) > 127 then
|
Report.Failed("Is_ISO_646 returns a false positive result");
|
Report.Failed("Is_ISO_646 returns a false positive result");
|
end if;
|
end if;
|
else
|
else
|
if Character'Pos(Char) < 128 then
|
if Character'Pos(Char) < 128 then
|
Report.Failed("Is_ISO_646 returns a false negative result");
|
Report.Failed("Is_ISO_646 returns a false negative result");
|
end if;
|
end if;
|
end if;
|
end if;
|
-- Cross-check Is_ISO_646 with To_ISO_646. '*' will be returned
|
-- Cross-check Is_ISO_646 with To_ISO_646. '*' will be returned
|
-- if Char is not in the ISO_646 set.
|
-- if Char is not in the ISO_646 set.
|
Char := Ada.Characters.Handling.To_ISO_646(Char, Star);
|
Char := Ada.Characters.Handling.To_ISO_646(Char, Star);
|
exception
|
exception
|
when others => Report.Failed ("Exception in Validate_Character");
|
when others => Report.Failed ("Exception in Validate_Character");
|
end Validate_Character;
|
end Validate_Character;
|
|
|
---
|
---
|
|
|
function Validate_String (Str : String) return String is
|
function Validate_String (Str : String) return String is
|
New_ISO_646_Char : constant Ada.Characters.Handling.ISO_646 :=
|
New_ISO_646_Char : constant Ada.Characters.Handling.ISO_646 :=
|
Ada.Characters.Latin_1.Asterisk;
|
Ada.Characters.Latin_1.Asterisk;
|
begin
|
begin
|
-- Checking that the string contains non-ISO_646 characters at this
|
-- Checking that the string contains non-ISO_646 characters at this
|
-- point is not strictly necessary, since the function To_ISO_646
|
-- point is not strictly necessary, since the function To_ISO_646
|
-- will perform that check as part of its processing, and would
|
-- will perform that check as part of its processing, and would
|
-- return the original string if no modification were necessary.
|
-- return the original string if no modification were necessary.
|
-- However, this format allows for the testing of both functions.
|
-- However, this format allows for the testing of both functions.
|
|
|
if not Ada.Characters.Handling.Is_ISO_646(Str) then
|
if not Ada.Characters.Handling.Is_ISO_646(Str) then
|
return Ada.Characters.Handling.To_ISO_646
|
return Ada.Characters.Handling.To_ISO_646
|
(Item => Str, Substitute => New_ISO_646_Char);
|
(Item => Str, Substitute => New_ISO_646_Char);
|
else
|
else
|
return Str;
|
return Str;
|
end if;
|
end if;
|
exception
|
exception
|
when others => Report.Failed ("Exception in Validate_String");
|
when others => Report.Failed ("Exception in Validate_String");
|
return Str;
|
return Str;
|
end Validate_String;
|
end Validate_String;
|
|
|
|
|
begin
|
begin
|
|
|
-- Check each character in turn, and if the character does not belong
|
-- Check each character in turn, and if the character does not belong
|
-- to the ISO_646 subset of type Character, replace it with an
|
-- to the ISO_646 subset of type Character, replace it with an
|
-- asterisk. If the character is a member of the subset, the character
|
-- asterisk. If the character is a member of the subset, the character
|
-- should be returned unchanged.
|
-- should be returned unchanged.
|
|
|
Validate_Character (Char_1);
|
Validate_Character (Char_1);
|
Validate_Character (Char_2);
|
Validate_Character (Char_2);
|
Validate_Character (Char_3);
|
Validate_Character (Char_3);
|
Validate_Character (Char_4);
|
Validate_Character (Char_4);
|
Validate_Character (Char_5);
|
Validate_Character (Char_5);
|
|
|
if Char_1 /= TC_Char_1 or Char_2 /= TC_Char_2 or
|
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_3 /= TC_Char_3 or Char_4 /= TC_Char_4 or
|
Char_5 /= TC_Char_5
|
Char_5 /= TC_Char_5
|
then
|
then
|
Report.Failed ("Incorrect ISO_646 character substitution");
|
Report.Failed ("Incorrect ISO_646 character substitution");
|
end if;
|
end if;
|
|
|
-- Non-ISO_646 characters
|
-- Non-ISO_646 characters
|
|
|
for i in 6..10 loop
|
for i in 6..10 loop
|
Validate_Character (Char_Array(i));
|
Validate_Character (Char_Array(i));
|
end loop;
|
end loop;
|
|
|
for i in 6..10 loop
|
for i in 6..10 loop
|
if Char_Array(i) /= TC_Char then
|
if Char_Array(i) /= TC_Char then
|
Report.Failed ("Character position " & Integer'Image(i) &
|
Report.Failed ("Character position " & Integer'Image(i) &
|
" not replaced correctly");
|
" not replaced correctly");
|
end if;
|
end if;
|
end loop;
|
end loop;
|
|
|
|
|
|
|
-- Check each string, and if the string contains characters that do not
|
-- Check each string, and if the string contains characters that do not
|
-- belong to the ISO_646 subset of type Character, replace that character
|
-- 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
|
-- in the string with an asterisk. If the string is comprised of only
|
-- ISO_646 characters, the string should be returned unchanged.
|
-- ISO_646 characters, the string should be returned unchanged.
|
|
|
|
|
Str_1 := Validate_String (Str_1);
|
Str_1 := Validate_String (Str_1);
|
Str_2 := Validate_String (Str_2);
|
Str_2 := Validate_String (Str_2);
|
Str_3 := Validate_String (Str_3);
|
Str_3 := Validate_String (Str_3);
|
Str_4 := Validate_String (Str_4);
|
Str_4 := Validate_String (Str_4);
|
Str_5 := Validate_String (Str_5);
|
Str_5 := Validate_String (Str_5);
|
|
|
|
|
if Str_1 /= TC_Str_1 or
|
if Str_1 /= TC_Str_1 or
|
Str_2 /= TC_Str_2 or
|
Str_2 /= TC_Str_2 or
|
Str_3 /= TC_Str_3 or
|
Str_3 /= TC_Str_3 or
|
Str_4 /= TC_Str_4 or
|
Str_4 /= TC_Str_4 or
|
Str_5 /= TC_Str_5
|
Str_5 /= TC_Str_5
|
then
|
then
|
Report.Failed ("Incorrect ISO_646 character substitution in string");
|
Report.Failed ("Incorrect ISO_646 character substitution in string");
|
end if;
|
end if;
|
|
|
|
|
exception
|
exception
|
when others => Report.Failed ("Exception raised in Test_Block");
|
when others => Report.Failed ("Exception raised in Test_Block");
|
end Test_Block;
|
end Test_Block;
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end CXA3003;
|
end CXA3003;
|
|
|
