URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxa/] [cxa3003.a] - Rev 154
Go to most recent revision | Compare with Previous | Blame | View Log
-- 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;
Go to most recent revision | Compare with Previous | Blame | View Log