diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxaa001.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxaa001.a | 279 |
1 files changed, 0 insertions, 279 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxaa001.a b/gcc/testsuite/ada/acats/tests/cxa/cxaa001.a deleted file mode 100644 index 6c2af987009..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxaa001.a +++ /dev/null @@ -1,279 +0,0 @@ --- CXAA001.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 Line_Length and Page_Length maximums for a Text_IO --- file of mode Append_File are initially zero (unbounded) after a --- Create, Open, or Reset, and that these values can be modified using --- the procedures Set_Line_Length and Set_Page_Length. --- Check that setting the Line_Length and Page_Length attributes to zero --- results in an unbounded Text_IO file. --- Check that setting the line length when in Append_Mode doesn't --- change the length of lines previously written to the Text_IO file. --- --- TEST DESCRIPTION: --- This test attempts to simulate a possible text processing environment. --- String values, from a number of different string types, are written to --- a Text_IO file. Prior to the writing of each, the line length is set --- to the particular length of the data being written. In addition, the --- default line and page lengths are checked, to determine whether they --- are unbounded (length = 0) following a create, reset, or open of a --- Text_IO file with mode Append_File. --- --- APPLICABILITY CRITERIA: --- This test is applicable only to implementations that support text --- files. --- --- --- CHANGE HISTORY: --- 06 Dec 94 SAIC ACVC 2.0 --- 27 Feb 97 PWB.CTA Allowed for non-support of some IO operations ---! - -with Ada.Text_IO; -with Report; - -procedure CXAA001 is - use Ada; - Data_File : Text_IO.File_Type; - Data_Filename : constant String := - Report.Legal_File_Name ( Nam => "CXAA001" ); - Incomplete : exception; -begin - - Report.Test ("CXAA001","Check that the Line_Length and Page_Length " & - "maximums for a Text_IO file of mode Append_File " & - "are initially zero (unbounded) after a Create, " & - "Open, or Reset, and that these values can be " & - "modified using the procedures Set_Line_Length " & - "and Set_Page_Length"); - - Test_for_Text_IO_Support: - begin - - -- An implementation that does not support Text_IO in a particular - -- environment will raise Use_Error on calls to various - -- Text_IO operations. This block statement encloses a call to - -- Create, which should raise an exception in a non-supportive - -- environment. This exception will be handled to produce a - -- Not_Applicable result. - - Text_IO.Create (File => Data_File, - Mode => Text_IO.Append_File, - Name => Data_Filename); - - exception - - when Text_IO.Use_Error | Text_IO.Name_Error => - Report.Not_Applicable - ( "Files not supported - Create as Append_File for Text_IO" ); - raise Incomplete; - - end Test_for_Text_IO_Support; - - Operational_Test_Block: - declare - - subtype Confidential_Data_Type is string (1 .. 10); - subtype Secret_Data_Type is string (1 .. 20); - subtype Top_Secret_Data_Type is string (1 .. 30); - - Zero : constant Text_IO.Count := 0; - Confidential_Data_Size : constant Text_IO.Count := 10; - Secret_Data_Size : constant Text_IO.Count := 20; - Top_Secret_Data_Size : constant Text_IO.Count := 30; - - -- The following generic procedure is designed to simulate a text - -- processing environment where line and page sizes are set and - -- verified prior to the writing of data to a file. - - generic - Data_Size : Text_IO.Count; - procedure Write_Data_To_File (Data_Item : in String); - - procedure Write_Data_To_File (Data_Item : in String) is - use Text_IO; -- Used to provide visibility to the "/=" operator. - begin - if (Text_IO.Line_Length (Data_File) /= Zero) then -- Check default - Report.Failed("Line not of unbounded length"); -- line length, - elsif (Text_IO.Page_Length (Data_File) /= Zero) then -- default - Report.Failed ("Page not of unbounded length"); -- page length. - end if; - - Text_IO.Set_Line_Length (File => Data_File, -- Set the line - To => Data_Size); -- length. - Text_IO.Set_Page_Length (File => Data_File, -- Set the page - To => Data_Size); -- length. - -- Verify the lengths set. - if (Integer(Text_IO.Line_Length (Data_File)) /= - Report.Ident_Int(Integer(Data_Size))) then - Report.Failed ("Line length not set to appropriate length"); - elsif (Integer(Text_IO.Page_Length (Data_File)) /= - Report.Ident_Int(Integer(Data_Size))) then - Report.Failed ("Page length not set to appropriate length"); - end if; - - Text_IO.Put_Line (File => Data_File, -- Write data to - Item => Data_Item); -- file. - - end Write_Data_To_File; - - -- Instantiation for the three data types/sizes. - - procedure Write_Confidential_Data is - new Write_Data_To_File (Data_Size => Confidential_Data_Size); - - procedure Write_Secret_Data is - new Write_Data_To_File (Data_Size => Secret_Data_Size); - - procedure Write_Top_Secret_Data is - new Write_Data_To_File (Data_Size => Top_Secret_Data_Size); - - Confidential_Item : Confidential_Data_Type := "Confidenti"; - Secret_Item : Secret_Data_Type := "Secret Data Values "; - Top_Secret_Item : Top_Secret_Data_Type := - "Extremely Top Secret Data "; - - begin - - -- The following call simulates processing occurring after the create - -- of a Text_IO file with mode Append_File. - - Write_Confidential_Data (Confidential_Item); - - -- The following call simulates processing occurring after the reset - -- of a Text_IO file with mode Append_File. - - Reset1: - begin - Text_IO.Reset (Data_File, Text_IO.Append_File); -- Reset to - -- Append_File mode. - exception - when Text_IO.Use_Error => - Report.Not_Applicable - ( "Reset to Append_File not supported for Text_IO" ); - raise Incomplete; - end Reset1; - - Write_Secret_Data (Data_Item => Secret_Item); - - Text_IO.Close (Data_File); -- Close file. - - -- The following processing simulates processing occurring after the - -- opening of an existing file with mode Append_File. - - Text_IO.Open (Data_File, -- Open file in - Text_IO.Append_File, -- Append_File mode. - Data_Filename); - - Write_Top_Secret_Data (Top_Secret_Item); - - Test_Verification_Block: - declare - TC_String1, - TC_String2, - TC_String3 : String (1..80) := (others => ' '); - TC_Length1, - TC_Length2, - TC_Length3 : Natural := 0; - begin - - Reset2: - begin - Text_IO.Reset (Data_File, Text_IO.In_File); -- Reset for reading. - exception - when Text_IO.Use_Error => - Report.Not_Applicable - ( "Reset to In_File not supported for Text_IO" ); - raise Incomplete; - end Reset2; - - Text_IO.Get_Line (Data_File, TC_String1, TC_Length1); - Text_IO.Get_Line (Data_File, TC_String2, TC_Length2); - Text_IO.Get_Line (Data_File, TC_String3, TC_Length3); - - -- Verify that the line lengths of each line were accurate. - -- Note: Each data line was written to the file after the - -- particular line length had been set (to the data length). - - if not ((TC_Length1 = Natural(Confidential_Data_Size)) and - (TC_Length2 = Natural(Secret_Data_Size)) and - (TC_Length3 = Natural(Top_Secret_Data_Size))) then - Report.Failed ("Inaccurate line lengths read from file"); - end if; - - -- Verify that the data read from the file are accurate. - - if (TC_String1(1..TC_Length1) /= Confidential_Item) or else - (TC_String2(1..TC_Length2) /= Secret_Item) or else - (TC_String3(1..TC_Length3) /= Top_Secret_Item) then - Report.Failed ("Corrupted data items read from file"); - end if; - - exception - - when Incomplete => - raise; - - when others => - Report.Failed ("Error raised during data verification"); - - end Test_Verification_Block; - - exception - - when Incomplete => - raise; - - when others => - Report.Failed ("Exception raised during Text_IO processing"); - - end Operational_Test_Block; - - Deletion: - begin - -- Check that the file is open prior to deleting it. - if Text_IO.Is_Open(Data_File) then - Text_IO.Delete(Data_File); - else - Text_IO.Open(Data_File, Text_IO.In_File, Data_Filename); - Text_IO.Delete(Data_File); - end if; - exception - when others => - Report.Failed - ( "Delete not properly implemented for Text_IO" ); - end Deletion; - - Report.Result; - -exception - when Incomplete => - Report.Result; - when others => - Report.Failed ( "Unexpected exception" ); - Report.Result; - -end CXAA001; |