diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxaa005.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxaa005.a | 292 |
1 files changed, 0 insertions, 292 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxaa005.a b/gcc/testsuite/ada/acats/tests/cxa/cxaa005.a deleted file mode 100644 index 7b2a0bc39d3..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxaa005.a +++ /dev/null @@ -1,292 +0,0 @@ --- CXAA005.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 procedure Put, when called with string parameters, does --- not update the line number of a text file of mode Append_File, when --- the line length is unbounded (i.e., only the column number is --- updated). --- Check that a call to the procedure Put with a null string argument --- has no measurable effect on a text file of mode Append_File. --- --- TEST DESCRIPTION: --- This test is designed to ensure that when a string is appended to an --- unbounded text file, it is placed following the last element currently --- in the file. For an unbounded text file written with Put procedures --- only (not Put_Line), the line number should not be incremented by --- subsequent calls to Put in Append_File mode. Only the column number --- should be incremented based on the length of the string parameter --- placed in the file. If a call to Put with a null string argument is --- made, no change to the line or column number should occur, and no --- element(s) should be added to the file, so that there would be no --- measurable change to the file. --- --- APPLICABILITY CRITERIA: --- This test is applicable to all implementations that support Text_IO --- processing and external files. --- --- --- CHANGE HISTORY: --- 06 Dec 94 SAIC ACVC 2.0 --- 24 Feb 97 CTA.PWB Allowed for non-support of some IO operations. ---! - -with Ada.Text_IO; -with Report; - -procedure CXAA005 is - An_Unbounded_File : Ada.Text_IO.File_Type; - Unbounded_File_Name : constant String := - Report.Legal_File_Name ( Nam => "CXAA005" ); - Incomplete : exception; - -begin - - Report.Test ("CXAA005", "Check that the procedure Put does not " & - "increment line numbers when used with " & - "unbounded text files of mode Append_File"); - - Test_for_Text_IO_Support: - begin - - -- An application creates a text file in mode Out_File, with the intention - -- of entering string data packets into the file as appropriate. In the - -- event that the particular environment where the application is running - -- does not support Text_IO, Use_Error will be raised on calls to Text_IO - -- operations. - -- This exception will be handled to produce a Not_Applicable result. - - Ada.Text_IO.Create (File => An_Unbounded_File, - Mode => Ada.Text_IO.Out_File, - Name => Unbounded_File_Name); - exception - when Ada.Text_IO.Use_Error | Ada.Text_IO.Name_Error => - Report.Not_Applicable - ( "Files not supported - Create for Text_IO" ); - raise Incomplete; - end Test_For_Text_IO_Support; - - Operational_Test_Block: - declare - subtype String_Sequence_Type is string (1 .. 20); - type String_Pointer_Type is access String_Sequence_Type; - --- During the course of processing, the application creates a variety of data --- pointers that refer to particular data items. The possibility of having --- null data values in this environment exists. - - Data_Packet_1 : String_Pointer_Type := - new String_Sequence_Type'("One Data Sequence 01"); - - Data_Packet_2 : String_Pointer_Type := - new String_Sequence_Type'("New Data Sequence 02"); - - Blank_Data_Packet : String_Pointer_Type := - new String_Sequence_Type'(" "); - - Null_Data_Packet : constant String := ""; - - TC_Line, TC_Col : Natural := 0; - - function TC_Mode_Selection (Selector : Integer) - return Ada.Text_IO.File_Mode is - begin - case Selector is - when 1 => return Ada.Text_IO.In_File; - when 2 => return Ada.Text_IO.Out_File; - when others => return Ada.Text_IO.Append_File; - end case; - end TC_Mode_Selection; - - begin - --- The application places some data into the file, using the Put subroutine. --- This operation can occur one-to-many times. - - Ada.Text_IO.Put (An_Unbounded_File, Data_Packet_1.all); - - -- Test control code. - if (Integer(Ada.Text_IO.Col (An_Unbounded_File)) /= - Report.Ident_Int(21)) or - (Integer(Ada.Text_IO.Line (An_Unbounded_File)) /= - Report.Ident_Int(1)) then - Report.Failed ("Incorrect Col position after 1st Put"); - end if; - --- The application may close the file at some point following its initial --- entry of data. - - Ada.Text_IO.Close (An_Unbounded_File); - --- At some later point in the processing, more data needs to be added to the --- file, so the application opens the file in Append_File mode. - - Ada.Text_IO.Open (File => An_Unbounded_File, - Mode => Ada.Text_IO.Append_File, - Name => Unbounded_File_Name); - - -- Test control code. - -- Store line/column number for later comparison. - TC_Line := Natural(Ada.Text_IO.Line(An_Unbounded_File)); - TC_Col := Natural(Ada.Text_IO.Col(An_Unbounded_File)); - --- Additional data items can then be appended to the file. - - Ada.Text_IO.Put (An_Unbounded_File, Blank_Data_Packet.all); - - -- Test control code. - if (Natural(Ada.Text_IO.Col (An_Unbounded_File)) /= - (TC_Col + 20)) or - (Natural(Ada.Text_IO.Line (An_Unbounded_File)) /= - TC_Line) then - Report.Failed ("Incorrect Col position after 2nd Put"); - end if; - --- In order to accommodate various scenarios, the application may have changed --- the mode of the data file to In_File in order to retrieve/verify some of --- the data contained there. However, with the need to place more data into --- the file, the file can be reset to Append_File mode. - - Reset1: - begin - Ada.Text_IO.Reset (An_Unbounded_File, - TC_Mode_Selection (Report.Ident_Int(3))); - exception - when Ada.Text_IO.Use_Error => - Report.Not_Applicable - ( "Reset to Append_File not supported for Text_IO" ); - raise Incomplete; - end Reset1; - - -- Test control code. - -- Store line/column number for later comparison. - TC_Line := Natural(Ada.Text_IO.Line(An_Unbounded_File)); - TC_Col := Natural(Ada.Text_IO.Col(An_Unbounded_File)); - --- Additional data can then be appended to the file. On some occasions, an --- attempt to enter a null string value into the file may occur. This should --- have no effect on the file, leaving it unchanged. - - -- No measurable effect from Put with null string. - Ada.Text_IO.Put (An_Unbounded_File, Null_Data_Packet); - - -- Test control code. - -- There should be no change following the Put above. - if (Natural(Ada.Text_IO.Col (An_Unbounded_File)) /= - TC_Col) or - (Natural(Ada.Text_IO.Line (An_Unbounded_File)) /= - TC_Line) then - Report.Failed ("Incorrect Col position after 3rd Put"); - end if; - --- Additional data can be appended to the file. - - Ada.Text_IO.Put (An_Unbounded_File, Data_Packet_2.all); - - -- Test control code. - if (Natural(Ada.Text_IO.Col (An_Unbounded_File)) /= - (TC_Col + 20)) or - (Integer(Ada.Text_IO.Line (An_Unbounded_File)) /= - TC_Line) then - Report.Failed ("Incorrect Col position after 4th Put"); - end if; - - Test_Verification_Block: - declare - File_Data : String (1 .. 80); - TC_Width : Natural; - begin - --- The application has the capability to reset the file to In_File mode to --- verify some of the data that is contained there. - - Reset2: - begin - Ada.Text_IO.Reset (An_Unbounded_File, Ada.Text_IO.In_File); - exception - when Ada.Text_IO.Use_Error => - Report.Not_Applicable - ( "Reset to In_File not supported - Text_IO" ); - raise Incomplete; - end Reset2; - - Ada.Text_IO.Get_Line (An_Unbounded_File, - File_Data, - TC_Width); - - -- Test control code. - -- Since it is implementation defined whether a page - -- terminator separates preexisting text from new text - -- following an open in append mode (as occurred above), - -- verify only that the first data item written to the - -- file was not overwritten by any subsequent call to Put. - - if (File_Data (File_Data'First) /= 'O') or - (File_Data (20) /= '1') then - Report.Failed ("Data placed incorrectly in 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 in Text_IO processing"); - end Operational_Test_Block; - - Final_Block: - begin - -- Delete the external file. - if Ada.Text_IO.Is_Open(An_Unbounded_File) then - Ada.Text_IO.Delete (An_Unbounded_File); - else - Ada.Text_IO.Open(An_Unbounded_File, - Ada.Text_IO.In_File, - Unbounded_File_Name); - Ada.Text_IO.Delete (An_Unbounded_File); - end if; - exception - when others => - Report.Failed - ( "Delete not properly implemented -- Text_IO" ); - end Final_Block; - - Report.Result; - -exception - - when Incomplete => - Report.Result; - when others => - Report.Failed ( "Unexpected exception" ); - Report.Result; - -end CXAA005; |