diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxaa019.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxaa019.a | 138 |
1 files changed, 0 insertions, 138 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxaa019.a b/gcc/testsuite/ada/acats/tests/cxa/cxaa019.a deleted file mode 100644 index 04c257e97b6..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxaa019.a +++ /dev/null @@ -1,138 +0,0 @@ --- CXAA019.A --- --- Grant of Unlimited Rights --- --- The Ada Conformity Assessment Authority (ACAA) holds unlimited --- rights in the software and documentation contained herein. Unlimited --- rights are the same as those granted by the U.S. Government for older --- parts of the Ada Conformity Assessment Test Suite, and are defined --- in DFAR 252.227-7013(a)(19). By making this public release, the ACAA --- intends to confer upon all recipients unlimited rights equal to those --- held by the ACAA. 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 Standard_Output can be flushed. Check that 'in' parameters of --- types Ada.Text_IO.File_Type and Ada.Streams.Stream_IO.File_Type can be --- flushed. (Defect Report 8652/0051). --- --- CHANGE HISTORY: --- 12 FEB 2001 PHL Initial version --- 16 MAR 2001 RLB Readied for release; fixed Not_Applicable check --- to terminate test gracefully. --- ---! -with Ada.Streams.Stream_Io; -use Ada.Streams; -with Ada.Text_Io; -with Ada.Wide_Text_Io; -with Report; -use Report; -procedure CXAA019 is - - procedure Check (File : in Ada.Text_Io.File_Type) is - begin - Ada.Text_Io.Put_Line - (File, " - CXAA019 About to flush a Text_IO file passed " & - "as 'in' parameter"); - Ada.Text_Io.Flush (File); - end Check; - - procedure Check (File : in Ada.Wide_Text_Io.File_Type) is - begin - Ada.Wide_Text_Io.Put_Line - (File, " - CXAA019 About to flush a Wide_Text_IO file passed " & - "as 'in' parameter"); - Ada.Wide_Text_Io.Flush (File); - end Check; - - procedure Check (File : in Stream_Io.File_Type) is - S : Stream_Element_Array (1 .. 10); - begin - for I in S'Range loop - S (I) := Stream_Element (Character'Pos ('A') + I); - end loop; - Stream_Io.Write (File, S); - Comment ("About to flush a Stream_IO file passed as 'in' parameter"); - Stream_Io.Flush (File); - end Check; - - -begin - Test ("CXAA019", - "Check that Standard_Output can be flushed; check that " & - "'in' Ada.Text_IO.File_Type and Ada.Streams.Stream_IO.File_Type" & - "parameters can be flushed"); - - Ada.Text_Io.Put_Line (Ada.Text_Io.Standard_Output, - " - CXAA019 About to flush Standard_Output"); - Ada.Text_Io.Flush (Ada.Text_Io.Standard_Output); - - Check (Ada.Text_Io.Current_Output); - - declare - TC_OK : Boolean := False; - F : Ada.Text_Io.File_Type; - begin - begin - Ada.Text_Io.Create (F, Name => Legal_File_Name (X => 1)); - TC_OK := True; - exception - when others => - Not_Applicable ("Unable to create Out mode Text_IO file"); - end; - if TC_OK then - Check (F); - Ada.Text_Io.Delete (F); - end if; - end; - - declare - TC_OK : Boolean := False; - F : Ada.Wide_Text_Io.File_Type; - begin - begin - Ada.Wide_Text_Io.Create (F, Name => Legal_File_Name (X => 2)); - TC_OK := True; - exception - when others => - Not_Applicable ("Unable to create Out mode Wide_Text_IO file"); - end; - if TC_OK then - Check (F); - Ada.Wide_Text_Io.Delete (F); - end if; - end; - - declare - TC_OK : Boolean := False; - F : Stream_Io.File_Type; - begin - begin - Stream_Io.Create (F, Name => Legal_File_Name (X => 3)); - TC_OK := True; - exception - when others => - Not_Applicable ("Unable to create Out mode Stream_IO file"); - end; - if TC_OK then - Check (F); - Stream_Io.Delete (F); - end if; - end; - - Result; -end CXAA019; - |