URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxf/] [cxf3002.a] - Rev 384
Compare with Previous | Blame | View Log
-- CXF3002.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 functionality contained in package
-- Ada.Wide_Text_IO.Editing is available and produces correct results.
--
-- TEST DESCRIPTION:
-- This test is designed to validate the procedures and functions that
-- are found in package Ada.Wide_Text_IO.Editing, the "wide"
-- complementary package to Ada.Text_IO.Editing. The test is similar
-- to CXF3301, which tested a large portion of the Ada.Text_IO.Editing
-- package. Additional testing has been added here to cover the balance
-- of the Wide_Text_IO.Editing child package.
-- This test is structured using tables of data, consisting of
-- numerical values, picture strings, and expected image
-- result strings.
--
-- Each picture string is checked for validity, and an invalid picture
-- string will cause immediate test failure on its first pass through
-- the evaluation loop. Inside the evaluation loop, each decimal data
-- item is combined with each of the picture strings as parameters to a
-- call to Image, and the result of each call is compared to an
-- expected edited output result string.
--
-- Note: Each of the functions Valid, To_Picture, and Pic_String has
-- String (rather than Wide_String) as its parameter or result
-- subtype, since a picture String is not localizable.
--
--
-- CHANGE HISTORY:
-- 22 Jun 95 SAIC Initial prerelease version.
-- 22 Aug 95 SAIC Test name changed to CXF3002 (from CXF3401) to
-- conform with naming conventions.
-- 24 Feb 97 PWB.CTA Corrected picture strings and expected values.
--!
with Ada.Wide_Text_IO.Editing;
with Report;
procedure CXF3002 is
begin
Report.Test ("CXF3002", "Check that the functionality contained " &
"in package Ada.Wide_Text_IO.Editing is " &
"available and produces correct results");
Test_Block:
declare
use Ada.Wide_Text_IO;
Number_Of_Decimal_Items : constant := 5;
Number_Of_Picture_Strings : constant := 4;
Number_Of_Expected_Results : constant := Number_Of_Decimal_Items *
Number_Of_Picture_Strings;
Def_Cur : constant Wide_String := "$";
Def_Fill : constant Wide_Character := '*';
Def_Sep : constant Wide_Character := Editing.Default_Separator;
Def_Radix : constant Wide_Character := Editing.Default_Radix_Mark;
type String_Pointer_Type is access String;
type Wide_String_Pointer_Type is access Wide_String;
-- Define a decimal data type, and instantiate the Decimal_Output
-- generic package for the data type.
type Decimal_Data_Type is delta 0.01 digits 16;
package Wide_Ed_Out is
new Editing.Decimal_Output(Num => Decimal_Data_Type,
Default_Currency => Def_Cur,
Default_Fill => Def_Fill,
Default_Separator => Def_Sep,
Default_Radix_Mark => Def_Radix);
-- Define types for the arrays of data that will hold the decimal data
-- values, picture strings, and expected edited output results.
type Decimal_Data_Array_Type is
array (Integer range <>) of Decimal_Data_Type;
type Picture_String_Array_Type is
array (Integer range <>) of String_Pointer_Type;
type Edited_Output_Results_Array_Type is
array (Integer range <>) of Wide_String_Pointer_Type;
-- Define the data arrays for this test.
Decimal_Data :
Decimal_Data_Array_Type(1..Number_Of_Decimal_Items) :=
( 1 => 5678.90,
2 => -6789.01,
3 => 0.00,
4 => 0.20,
5 => 3.45
);
Picture_Strings :
Picture_String_Array_Type(1..Number_Of_Picture_Strings) :=
( 1 => new String'("-$$_$$9.99"),
2 => new String'("-$$_$$$.$$"),
3 => new String'("-ZZZZ.ZZ"),
4 => new String'("-$$$_999.99")
);
Edited_Output :
Edited_Output_Results_Array_Type(1..Number_Of_Expected_Results) :=
( 1 => new Wide_String'(" $5,678.90"),
2 => new Wide_String'(" $5,678.90"),
3 => new Wide_String'(" 5678.90"),
4 => new Wide_String'(" $5,678.90"),
5 => new Wide_String'("-$6,789.01"),
6 => new Wide_String'("-$6,789.01"),
7 => new Wide_String'("-6789.01"),
8 => new Wide_String'("- $6,789.01"),
9 => new Wide_String'(" $0.00"),
10 => new Wide_String'(" "),
11 => new Wide_String'(" "),
12 => new Wide_String'(" $ 000.00"),
13 => new Wide_String'(" $0.20"),
14 => new Wide_String'(" $.20"),
15 => new Wide_String'(" .20"),
16 => new Wide_String'(" $ 000.20"),
17 => new Wide_String'(" $3.45"),
18 => new Wide_String'(" $3.45"),
19 => new Wide_String'(" 3.45"),
20 => new Wide_String'(" $ 003.45")
);
TC_Picture : Editing.Picture;
TC_Loop_Count : Natural := 0;
begin
-- Compare string result of Image with expected edited output wide
-- string.
Evaluate_Edited_Output:
for i in 1..Number_Of_Decimal_Items loop
for j in 1..Number_Of_Picture_Strings loop
TC_Loop_Count := TC_Loop_Count + 1;
-- Check on the validity of the picture strings prior to
-- processing.
if Editing.Valid(Picture_Strings(j).all) then
-- Create the picture object from the picture string.
TC_Picture := Editing.To_Picture(Picture_Strings(j).all);
-- Check results of function Decimal_Output.Valid.
if not Wide_Ed_Out.Valid(Decimal_Data(i), TC_Picture) then
Report.Failed("Incorrect result from function Valid " &
"when examining the picture string that " &
"was produced from string " &
Integer'Image(j) & " in conjunction with " &
"decimal data item # " & Integer'Image(i));
end if;
-- Check results of function Editing.Pic_String.
if Editing.Pic_String(TC_Picture) /= Picture_Strings(j).all then
Report.Failed("Incorrect result from To_Picture/" &
"Pic_String conversion for picture " &
"string # " & Integer'Image(j));
end if;
-- Compare actual edited output result of Function Image with
-- the expected result.
if Wide_Ed_Out.Image(Decimal_Data(i), TC_Picture) /=
Edited_Output(TC_Loop_Count).all
then
Report.Failed("Incorrect result from Function Image, " &
"when used with decimal data item # " &
Integer'Image(i) &
" and picture string # " &
Integer'Image(j));
end if;
else
Report.Failed("Picture String # " & Integer'Image(j) &
"reported as being invalid");
end if;
end loop;
end loop Evaluate_Edited_Output;
exception
when Editing.Picture_Error =>
Report.Failed ("Picture_Error raised in Test_Block");
when Layout_Error =>
Report.Failed ("Layout_Error raised in Test_Block");
when others =>
Report.Failed ("Exception raised in Test_Block");
end Test_Block;
Report.Result;
end CXF3002;