-- CXA3004.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 classification of and conversion between Wide_Character and
-- Character values produce correct results when given the appropriate
-- Character and String inputs.
--
-- TEST DESCRIPTION:
-- This test demonstrates the functions defined in package
-- Ada.Characters.Handling which provide for the classification of and
-- conversion between Wide_Characters and Characters, in character
-- variables and strings.
-- Each of the functions is provided with input values that are of the
-- appropriate range. The results of the function processing are
-- subsequently evaluated.
--
-- APPLICABILITY CRITERIA:
-- Applicable to all implementations using the Latin_1 set as the
-- definition of Character.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 27 Dec 94 SAIC Corrected variable names.
--
--!
with Report;
with Ada.Characters.Handling;
procedure CXA3004 is
begin
Report.Test ("CXA3004", "Check that the functions defined in package " &
"Ada.Characters.Handling for classification " &
"of and conversion between Wide_Character and " &
"Character values produce correct results " &
"when given the appropriate Character " &
"and String inputs");
Test_Block:
declare
package ACH renames Ada.Characters.Handling;
Char_End : Integer := 255;
WC_Start : Integer := 256;
Sub_Char : Character := '*';
Blank : Character := ' ';
First_Char : Character := Character'First;
Last_Char : Character := Character'Last;
F_Char : Character := 'F';
First_Wide_Char : Wide_Character := Wide_Character'First;
Last_Non_Wide_Char : Wide_Character := Wide_Character'Val(Char_End);
First_Unique_Wide_Char : Wide_Character := Wide_Character'Val(WC_Start);
Last_Wide_Char : Wide_Character := Wide_Character'Last;
A_String : String (1..3) := First_Char & 'X' & Last_Char;
A_Wide_String : Wide_String (1..3) := First_Wide_Char &
ACH.To_Wide_Character('X') &
ACH.To_Wide_Character(Last_Char);
Unique_Wide_String : Wide_String (1..2) := First_Unique_Wide_Char &
Last_Wide_Char;
Mixed_Wide_String : Wide_String (1..6) := ACH.To_Wide_Character('A') &
First_Wide_Char &
Last_Non_Wide_Char &
First_Unique_Wide_Char &
Last_Wide_Char &
ACH.To_Wide_Character('Z');
Basic_Char : Character := 'A';
Basic_Wide_Char : Wide_Character := 'A';
Basic_String : String (1..6) := "ABCXYZ";
Basic_Wide_String : Wide_String (1..6) := "ABCXYZ";
begin
-- Function Is_Character
if not ACH.Is_Character(First_Wide_Char) then
Report.Failed ("Incorrect result from Is_Character - 1");
end if;
if ACH.Is_Character(First_Unique_Wide_Char) or
ACH.Is_Character(Last_Wide_Char)
then
Report.Failed ("Incorrect result from Is_Character - 2");
end if;
-- Function Is_String
if not ACH.Is_String(A_Wide_String) then
Report.Failed ("Incorrect result from Is_String - 1");
end if;
if ACH.Is_String(Unique_Wide_String) or
ACH.Is_String(Mixed_Wide_String)
then
Report.Failed ("Incorrect result from Is_String - 2");
end if;
-- Function To_Character
-- Use default substitution character in call of To_Character.
if ACH.To_Character(First_Wide_Char) /= First_Char or
ACH.To_Character(Last_Non_Wide_Char) /= Last_Char
then
Report.Failed ("Incorrect result from To_Character - 1");
end if;
-- Provide a substitution character for use with To_Character.
if ACH.To_Character(First_Unique_Wide_Char, Blank) /= Blank or
ACH.To_Character(First_Unique_Wide_Char, Sub_Char) /= Sub_Char or
ACH.To_Character(Last_Wide_Char) /= ' ' -- default
then
Report.Failed ("Incorrect result from To_Character - 2");
end if;
-- Function To_String
if ACH.To_String(A_Wide_String) /= A_String then
Report.Failed ("Incorrect result from To_String - 1");
end if;
if ACH.To_String(Unique_Wide_String, Sub_Char) /= "**" then
Report.Failed ("Incorrect result from To_String - 2");
end if;
if ACH.To_String(Mixed_Wide_String, Sub_Char) /=
('A' & First_Char & Last_Char & "**" & 'Z') or
ACH.To_String(Mixed_Wide_String, Sub_Char) /=
(ACH.To_Character(Mixed_Wide_String(1), Sub_Char) &
ACH.To_Character(Mixed_Wide_String(2), Sub_Char) &
ACH.To_Character(Mixed_Wide_String(3), Sub_Char) &
ACH.To_Character(Mixed_Wide_String(4), Sub_Char) &
ACH.To_Character(Mixed_Wide_String(5), Sub_Char) &
ACH.To_Character(Mixed_Wide_String(6), Sub_Char))
then
Report.Failed ("Incorrect result from To_String - 3");
end if;
-- Function To_Wide_Character
if ACH.To_Wide_Character(Basic_Char) /= Basic_Wide_Char then
Report.Failed ("Incorrect result from To_Wide_Character");
end if;
-- Function To_Wide_String
if not (ACH.To_Wide_String(Basic_String) = Basic_Wide_String) then
Report.Failed ("Incorrect result from To_Wide_String");
end if;
-- Functions Used In Combination
if not ACH.Is_Character (ACH.To_Wide_Character (
ACH.To_Character(First_Wide_Char)))
then
Report.Failed ("Incorrect result from functions in combination - 1");
end if;
if not ACH.Is_String(ACH.To_Wide_String(ACH.To_String(A_Wide_String)))
then
Report.Failed ("Incorrect result from functions in combination - 2");
end if;
if ACH.To_String(ACH.To_Wide_Character('A') &
ACH.To_Wide_Character(F_Char) &
ACH.To_Wide_Character('Z')) /= "AFZ"
then
Report.Failed ("Incorrect result from functions in combination - 3");
end if;
exception
when others => Report.Failed ("Exception raised in Test_Block");
end Test_Block;
Report.Result;
end CXA3004;