URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxf/] [cxf3a06.a] - Rev 316
Go to most recent revision | Compare with Previous | Blame | View Log
-- CXF3A06.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 Ada.Text_IO.Editing.Put and Ada.Text_IO.Put have the same
-- effect.
--
-- TEST DESCRIPTION:
-- This test is structured using tables of data, consisting of
-- numerical values, picture strings, and expected image
-- result strings. These data tables are found in package FXF3A00.
--
-- The testing approach used in this test is that of writing edited
-- output data to a text file, using two different approaches. First,
-- Ada.Text_IO.Put is used, with a call to an instantiated version of
-- Function Image supplied as the actual for parameter Item. The
-- second approach is to use a version of Function Put from an
-- instantiation of Ada.Text_IO.Editing.Decimal_Output, with the
-- appropriate parameters for decimal data, picture, and format
-- specific parameters. A call to New_Line follows each Put, so that
-- each entry is placed on a separate line in the text file.
--
-- Edited output for decimal data with two decimal places is in the
-- first loop, and once the data has been written to the file, the
-- text file is closed, then opened in In_File mode. The edited
-- output data is read from the file, and data on successive lines
-- is compared with the expected edited output result. The edited
-- output data produced by both of the Put procedures should be
-- identical.
--
-- This process is repeated for decimal data with no decimal places.
-- The file is reopened in Append_File mode, and the edited output
-- data is added to the file in the same manner as described above.
-- The file is closed, and reopened to verify the data written.
-- The data written above (with two decimal places) is skipped, then
-- the data to be verified is extracted as above and verified against
-- the expected edited output string values.
--
-- APPLICABILITY CRITERIA:
-- This test is applicable only to implementations that support
-- external text files.
--
-- TEST FILES:
-- The following files comprise this test:
--
-- FXF3A00.A (foundation code)
-- => CXF3A06.A
--
--
-- CHANGE HISTORY:
-- 26 JAN 95 SAIC Initial prerelease version.
-- 26 FEB 97 PWB.CTA Made input buffers sufficiently long
-- and removed code depending on shorter buffers
--!
with FXF3A00;
with Ada.Text_IO.Editing;
with Report;
procedure CXF3A06 is
use Ada;
begin
Report.Test ("CXF3A06", "Check that Ada.Text_IO.Editing.Put and " &
"Ada.Text_IO.Put have the same effect");
Test_for_Text_IO_Support:
declare
Text_File : Ada.Text_IO.File_Type;
Text_Filename : constant String := Report.Legal_File_Name(1);
begin
-- Use_Error will be raised if Text_IO operations or external files
-- are not supported.
Text_IO.Create (Text_File, Text_IO.Out_File, Text_Filename);
Test_Block:
declare
use Ada.Text_IO;
-- Instantiate the Decimal_Output generic package for two
-- different decimal data types.
package Pack_2DP is -- Uses decimal type with delta 0.01.
new Editing.Decimal_Output(FXF3A00.Decimal_Type_2DP);
package Pack_NDP is -- Uses decimal type with delta 1.0.
new Editing.Decimal_Output(Num => FXF3A00.Decimal_Type_NDP,
Default_Currency => "$",
Default_Fill => '*',
Default_Separator => ',',
Default_Radix_Mark => '.');
TC_Picture : Editing.Picture;
TC_Start_Loop : constant := 1;
TC_End_Loop_1 : constant := FXF3A00.Number_Of_2DP_Items - -- 20-10
FXF3A00.Number_Of_Foreign_Strings;
TC_End_Loop_2 : constant := FXF3A00.Number_Of_NDP_Items; -- 12
TC_Offset : constant := FXF3A00.Number_Of_2DP_Items; -- 20
TC_String_1, TC_String_2 : String(1..255) := (others => ' ');
TC_Last_1, TC_Last_2 : Natural := 0;
begin
-- Use the two versions of Put, for data with two decimal points,
-- to write edited output strings to the text file. Use a separate
-- line for each string entry.
for i in TC_Start_Loop..TC_End_Loop_1 loop -- 1..10
-- Create the picture object from the picture string.
TC_Picture := Editing.To_Picture(FXF3A00.Valid_Strings(i).all);
-- Use the Text_IO version of Put to place an edited output
-- string into a text file. Use default parameters in the call
-- to Image for Currency, Fill, Separator, and Radix_Mark.
Text_IO.Put(Text_File,
Pack_2DP.Image(Item => FXF3A00.Data_With_2DP(i),
Pic => TC_Picture));
Text_IO.New_Line(Text_File);
-- Use the version of Put from the instantiation of
-- Decimal_Output to place an edited output string on a separate
-- line of the Text_File. Use default parameters for Currency,
-- Fill, Separator, and Radix_Mark.
Pack_2DP.Put(File => Text_File,
Item => FXF3A00.Data_With_2DP(i),
Pic => TC_Picture);
Text_IO.New_Line(Text_File);
end loop;
Text_IO.Close(Text_File);
-- Reopen the text file in In_File mode, and verify the edited
-- output found on consecutive lines of the file.
Text_IO.Open(Text_File, Text_IO.In_File, Text_Filename);
for i in TC_Start_Loop..TC_End_Loop_1 loop
-- Read successive lines in the text file.
Text_IO.Get_Line(Text_File, TC_String_1, TC_Last_1);
Text_IO.Get_Line(Text_File, TC_String_2, TC_Last_2);
-- Compare the two strings for equality with the expected edited
-- output result. Failure results if strings don't match, or if
-- a reading error occurred from the attempted Get_Line resulting
-- from an improperly formed edited output string.
if TC_String_1(1..TC_Last_1) /= FXF3A00.Edited_Output(i).all or
TC_String_2(1..TC_Last_2) /= FXF3A00.Edited_Output(i).all
then
Report.Failed("Failed comparison of two edited output " &
"strings from data with two decimal points " &
", loop number = " & Integer'Image(i));
end if;
end loop;
Text_IO.Close(Text_File);
-- Reopen the text file in Append_File mode.
-- Use the two versions of Put, for data with no decimal points,
-- to write edited output strings to the text file. Use a separate
-- line for each string entry.
Text_IO.Open(Text_File, Text_IO.Append_File, Text_Filename);
for i in TC_Start_Loop..TC_End_Loop_2 loop -- 1..12
-- Create the picture object from the picture string specific to
-- data with no decimal points. Use appropriate offset into the
-- Valid_Strings array to account for the string data used above.
TC_Picture :=
Editing.To_Picture(FXF3A00.Valid_Strings(i+TC_End_Loop_1).all);
-- Use the Text_IO version of Put to place an edited output
-- string into a text file. Use non-default parameters in the
-- call to Image for Currency, Fill, Separator, and Radix_Mark.
Text_IO.Put(Text_File,
Pack_NDP.Image(Item => FXF3A00.Data_With_NDP(i),
Pic => TC_Picture,
Currency => "$",
Fill => '*',
Separator => ',',
Radix_Mark => '.'));
Text_IO.New_Line(Text_File);
-- Use the version of Put from the instantiation of
-- Decimal_Output to place an edited output string on a separate
-- line of the Text_File. Use non-default parameters for
-- Currency, Fill, Separator, and Radix_Mark.
Pack_NDP.Put(File => Text_File,
Item => FXF3A00.Data_With_NDP(i),
Pic => TC_Picture,
Currency => "$",
Fill => '*',
Separator => ',',
Radix_Mark => '.');
Text_IO.New_Line(Text_File);
end loop;
Text_IO.Close(Text_File);
-- Reopen the text file in In_File mode, and verify the edited
-- output found on consecutive lines of the file.
Text_IO.Open(Text_File, Text_IO.In_File, Text_Filename);
-- Read past data that has been verified above, skipping two lines
-- of the data file for each loop.
for i in TC_Start_Loop..TC_End_Loop_1 loop -- 1..10
Text_IO.Skip_Line(Text_File, 2);
end loop;
-- Verify the last data set that was written to the file.
for i in TC_Start_Loop..TC_End_Loop_2 loop -- 1..12
Text_IO.Get_Line(Text_File, TC_String_1, TC_Last_1);
Text_IO.Get_Line(Text_File, TC_String_2, TC_Last_2);
-- Compare the two strings for equality with the expected edited
-- output result. Failure results if strings don't match, or if
-- a reading error occurred from the attempted Get_Line resulting
-- from an improperly formed edited output string.
if TC_String_1(1..TC_Last_1) /=
FXF3A00.Edited_Output(i+TC_Offset).all or
TC_String_2(1..TC_Last_2) /=
FXF3A00.Edited_Output(i+TC_Offset).all
then
Report.Failed("Failed comparison of two edited output " &
"strings from data with no decimal points " &
", loop number = " &
Integer'Image(i));
end if;
end loop;
exception
when others => Report.Failed("Exception raised in Test_Block");
end Test_Block;
-- Delete the external file.
if Text_IO.Is_Open (Text_File) then
Text_IO.Delete (Text_File);
else
Text_IO.Open (Text_File, Text_IO.In_File, Text_Filename);
Text_IO.Delete (Text_File);
end if;
exception
-- Since Use_Error can be raised if, for the specified mode,
-- the environment does not support Text_IO operations, the
-- following handlers are included:
when Text_IO.Use_Error =>
Report.Not_Applicable ("Use_Error raised on Text_IO Create");
when Text_IO.Name_Error =>
Report.Not_Applicable ("Name_Error raised on Text_IO Create");
when others =>
Report.Failed ("Unexpected exception raised in Create block");
end Test_for_Text_IO_Support;
Report.Result;
end CXF3A06;
Go to most recent revision | Compare with Previous | Blame | View Log