| -- 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; |
