--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/ada/acats/tests/cxa/cxaa003.a	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,293 @@
+-- CXAA003.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 procedures New_Page, Set_Line, Set_Col, and New_Line
+--      subprograms perform properly on a text file reset (from Out_File) 
+--      with mode Append_File.
+--      Check that the attributes Page, Line, and Column are all set to 1
+--      following the reset of a text file with mode Append_File.
+--      Check that the functions Page, Line, and Col perform properly on a
+--      text file reset with mode Append_File.
+--      Check that the procedures Put and Put_Line perform properly on text
+--      files reset with mode Append_File.
+--      Check that the procedure Set_Line sets the current line number to
+--      the value specified by the parameter "To" for text files reset with
+--      mode Append_File.  Check that Set_Line has no effect if the specified
+--      line equals the current line.
+--      Check that the procedure Set_Col sets the current column number to
+--      the value specified by the parameter "To" for text files reset with
+--      mode Append_File.
+--
+-- TEST DESCRIPTION:
+--      This test is designed to simulate the text processing that could
+--      occur with files that have been created in Out_File mode,
+--      and then reset to Append_File mode. 
+--      Various calls to Text_IO formatting subprograms are called to properly
+--      position text appended to a document.  The text content and position
+--      are subsequently verified for accuracy.
+--
+-- APPLICABILITY CRITERIA: 
+--      This test is applicable only to implementations that support text
+--      files.
+--
+--       
+-- CHANGE HISTORY:
+--      06 Dec 94   SAIC    ACVC 2.0
+--      24 Feb 97   PWB.CTA Allowed for non-support of some IO operations.
+--!
+
+with Ada.Text_IO;
+with Report;
+
+procedure CXAA003 is
+   use Ada;  
+   Data_File        : Text_IO.File_Type;
+   Data_Filename    : constant String :=
+                      Report.Legal_File_Name ( Nam => "CXAA003" );
+   Incomplete       : exception;
+
+begin
+
+   Report.Test ("CXAA003", "Check that page, line, and column formatting " &
+                           "subprograms perform properly on text files "   &
+                           "reset with mode Append_File");
+
+   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 the 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.Out_File,
+                      Name => Data_Filename);
+   exception
+      when Text_IO.Use_Error | Text_IO.Name_Error =>
+        Report.Not_Applicable
+          ( "Text files not supported - Create as Out_File" );
+        raise Incomplete;
+   end Test_for_Text_IO_Support;
+
+   Operational_Test_Block:
+   declare
+
+      Default_Position : constant Text_IO.Positive_Count := 1;
+
+      Section_Header   : constant String := "IX.  ";
+      Glossary_Title   : constant String := "GLOSSARY";
+      Glossary_Content : constant String := "TBD";
+
+      -- The following procedure simulates the addition of a Glossary page
+      -- to an existing text file that has been reset with mode 
+      -- Append_File.
+
+      procedure Position_Glossary_Text 
+        (The_File : in out Text_IO.File_Type) is
+         use Text_IO;   -- To provide visibility to the "/=" operator.
+      begin
+
+         -- Test control code.
+         -- Verify initial page value.
+         if (Text_IO.Page (The_File) /= Default_Position) then
+            Report.Failed ("Incorrect default page number");  
+         end if;
+         -- Verify initial line number.
+         if (Text_IO.Line (The_File) /= Default_Position) then
+            Report.Failed ("Incorrect default line number");  
+         end if;   
+         -- Verify initial column number.
+         if (Text_IO.Col (The_File) /= Default_Position) then 
+            Report.Failed ("Incorrect default column number");
+         end if;   
+         -- Simulated usage code.  Set new page/line positions.
+         Text_IO.New_Page (The_File);                           
+         Text_IO.New_Page (The_File);                       
+         Text_IO.New_Line (File => The_File, Spacing => 1); 
+
+         -- Test control code.
+         if (Integer(Text_IO.Page(The_File))  /= 
+             Report.Ident_Int(3))                or else
+            (Integer(Text_IO.Line (The_File)) /= 
+             Report.Ident_Int(2)) then 
+            Report.Failed ("Incorrect results from page/line positioning");
+         end if;
+
+         -- Simulated usage code.  Position title of Glossary.
+         Text_IO.Put      (The_File, Section_Header);        
+         Text_IO.Put_Line (The_File, Glossary_Title);        
+         -- Set line to the current line.
+         Text_IO.Set_Line (File => The_File, To => 3);       
+
+         -- Test control code.
+         if (Integer(Text_IO.Page (The_File)) /= Report.Ident_Int(3)) or
+            (Integer(Text_IO.Line (The_File)) /= Report.Ident_Int(3)) or
+            (Integer(Text_IO.Col (The_File))  /= Report.Ident_Int(1)) then
+            Report.Failed ("Set_Line failed for current line");
+         end if;
+
+         -- Simulated usage code.
+         Text_IO.Set_Line (File => The_File, To => 4);        -- Set new 
+         Text_IO.Set_Col  (File => The_File, To => 10);       -- position.
+
+         -- Test control code.
+         if (Integer(Text_IO.Line (The_File)) /= Report.Ident_Int(4))  or
+            (Integer(Text_IO.Col  (The_File)) /= Report.Ident_Int(10)) then
+            Report.Failed 
+              ("Incorrect results from line/column positioning");
+         end if;
+
+         -- Simulated usage code.                          -- Position 
+         Text_IO.Put_Line (The_File, Glossary_Content);    -- content of 
+                                                           -- Glossary.
+      end Position_Glossary_Text;
+
+
+   begin
+
+      -- In the scenario, data is added to the file here.
+      Text_IO.Put_Line (File => Data_File, Item => "Some optional data");
+
+      -- This code section simulates a scenario that could occur in a 
+      -- text processing environment.  Text is to be appended to an 
+      -- existing document: 
+      --   The file is reset to append mode.
+      --   A procedure is called to perform the positioning and placement
+      --   of text.
+      --   The position on the appended page is set, verified, and text is
+      --   placed in the file.  
+      -- 
+      -- Note: The text file has been originally created in Out_File
+      -- mode, and has subsequently been reset to Append_File mode.
+
+      Reset1:
+      begin
+         -- Reset has effect of calling New_Page.
+         Text_IO.Reset  (Data_File, Text_IO.Append_File);
+      exception
+         when Text_IO.Use_Error =>
+            Report.Not_Applicable
+               ( "Reset to Append_File not supported for Text_IO" );
+            raise Incomplete;
+      end Reset1;
+
+      Position_Glossary_Text (The_File => Data_File);
+
+      Test_Verification_Block:
+      declare
+         TC_Page, TC_Line, TC_Column  : Text_IO.Positive_Count;
+         TC_Position                  : Natural := 0;
+         Blanks                       : constant String  :=
+           "               ";
+         TC_String                    : String (1 .. 15) := Blanks;
+      begin                                          
+         Reset2:
+         begin
+            Text_IO.Reset     (Data_File, Text_IO.In_File);
+         exception
+           when Text_IO.Use_Error =>
+             Report.Not_Applicable
+               ( "Reset to In_File not supported for Text_IO" );
+             raise Incomplete;
+         end Reset2;
+
+         Text_IO.Skip_Page (Data_File);
+         Text_IO.Skip_Page (Data_File);
+
+         -- If the Reset to Append_File mode actually put a page terminator
+         -- on the file, as allowed (but not required) by RM A.10.2(4), then
+         -- we are now on page 3, an empty page.  We'll need to skip one more.
+
+         if Text_IO.End_Of_Page (Data_File) then
+            Text_IO.Skip_Page (Data_File);
+         end if;
+
+         -- Now we're on the Glossary page.
+
+                                                -- Loop to the second line
+         for I in 1 .. 2 loop                   -- and read the contents.
+            Text_IO.Get_Line (Data_File, TC_String, TC_Position); 
+         end loop;
+            if (TC_Position /= 13) or else         -- Verify the title line.
+               (TC_String (1..2)  /= "IX") or else             
+               (TC_String (3..13) /= (".  " & Glossary_Title)) then
+               Report.Failed ("Incorrect positioning of title line");
+            end if;
+
+            TC_String := Blanks;                   -- Clear string.
+                                                   -- Loop to the fourth line
+            for I in 3 .. 4 loop                   -- and read the contents.
+               Text_IO.Get_Line (Data_File, TC_String, TC_Position); 
+            end loop;
+
+            if (TC_Position /= 12) or              -- Verify the contents.
+               (TC_String (8..12) /= "  " & Glossary_Content) then     
+               Report.Failed ("Incorrect positioning of contents line");
+            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;
+
+      Final_Block:
+      begin
+         -- Delete the external file.
+         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 Final_Block;
+
+   Report.Result;
+
+   exception
+     when Incomplete =>
+       Report.Result;
+     when others     =>
+       Report.Failed ( "Unexpected exception" );
+       Report.Result;
+
+end CXAA003;