Subversion Repositories openrisc_me

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