diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxaa018.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxaa018.a | 277 |
1 files changed, 0 insertions, 277 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxaa018.a b/gcc/testsuite/ada/acats/tests/cxa/cxaa018.a deleted file mode 100644 index 53b16fea498..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxaa018.a +++ /dev/null @@ -1,277 +0,0 @@ --- CXAA018.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 subprograms defined in the package Text_IO.Modular_IO --- provide correct results. --- --- TEST DESCRIPTION: --- This test checks that the subprograms defined in the --- Ada.Text_IO.Modular_IO package provide correct results. --- A modular type is defined and used to instantiate the generic --- package Ada.Text_IO.Modular_IO. Values of the modular type are --- written to a Text_IO file, and to a series of string variables, using --- different versions of the procedure Put from the instantiated IO --- package. These modular data items are retrieved from the file and --- string variables using the appropriate instantiated version of --- procedure Get. A variety of Base and Width parameter values are --- used in the procedure calls. --- --- APPLICABILITY CRITERIA: --- This test is applicable to all implementations that support Text_IO --- processing and external files. --- --- --- CHANGE HISTORY: --- 03 Jul 95 SAIC Initial prerelease version. --- 01 May 96 SAIC Incorporated reviewer comments for ACVC 2.1. --- ---! - -with Ada.Text_IO; -with System; -with Report; - -procedure CXAA018 is -begin - - Report.Test ("CXAA018", "Check that the subprograms defined in " & - "the package Text_IO.Modular_IO provide " & - "correct results"); - - Test_for_Text_IO_Support: - declare - Data_File : Ada.Text_IO.File_Type; - Data_Filename : constant String := Report.Legal_File_Name; - begin - - -- An application creates a text file in mode Out_File, with the - -- intention of entering modular data into the file as appropriate. - -- In the event that the particular environment where the application - -- is running does not support Text_IO, Use_Error or Name_Error will be - -- raised on calls to Text_IO operations. Either of these exceptions - -- will be handled to produce a Not_Applicable result. - - Ada.Text_IO.Create (File => Data_File, - Mode => Ada.Text_IO.Out_File, - Name => Data_Filename); - - Test_Block: - declare - - type Mod_Type is mod System.Max_Binary_Modulus; - -- Max_Binary_Modulus must be at least 2**16, which would result - -- in a base range of 0..65535 (zero to one less than the given - -- modulus) for this modular type. - - package Mod_IO is new Ada.Text_IO.Modular_IO(Mod_Type); - use Ada.Text_IO, Mod_IO; - use type Mod_Type; - - Number_Of_Modular_Items : constant := 6; - Number_Of_Error_Items : constant := 1; - - TC_Modular : Mod_Type; - TC_Last_Character_Read : Positive; - - Modular_Array : array (1..Number_Of_Modular_Items) of Mod_Type := - ( 0, 97, 255, 1025, 12097, 65535 ); - - - procedure Load_File (The_File : in out Ada.Text_IO.File_Type) is - begin - -- This procedure does not create, open, or close the data file; - -- The_File file object must be Open at this point. - -- This procedure is designed to load Modular_Type data into a - -- data file. - -- - -- Use the Modular_IO procedure Put to enter modular data items - -- into the data file. - - for i in 1..Number_Of_Modular_Items loop - -- Use default Base parameter of 10. - Mod_IO.Put(File => Data_File, - Item => Modular_Array(i), - Width => 6, - Base => Mod_IO.Default_Base); - end loop; - - -- Enter data into the file such that on the corresponding "Get" - -- of this data, Data_Error must be raised. This value is outside - -- the base range of Modular_Type. - -- Text_IO is used to enter the value in the file. - - for i in 1..Number_Of_Error_Items loop - Ada.Text_IO.Put(The_File, "-10"); - end loop; - - end Load_File; - - - - procedure Process_File(The_File : in out Ada.Text_IO.File_Type) is - begin - -- This procedure does not create, open, or close the data file; - -- The_File file object must be Open at this point. - -- Use procedure Get (for Files) to extract the modular data from - -- the Text_IO file. - - for i in 1..Number_Of_Modular_Items loop - Mod_IO.Get(The_File, TC_Modular, Width => 6); - - if TC_Modular /= Modular_Array(i) then - Report.Failed("Incorrect modular data read from file " & - "data item #" & Integer'Image(i)); - end if; - end loop; - - -- The final item in the Data_File is a modular value that is - -- outside the base range 0..Num'Last. This value should raise - -- Data_Error on an attempt to "Get" it from the file. - - for i in 1..Number_Of_Error_Items loop - begin - Mod_IO.Get(The_File, TC_Modular, Mod_IO.Default_Width); - Report.Failed - ("Exception Data_Error not raised when Get " & - "was used to read modular data outside base " & - "range of type, item # " & - Integer'Image(i)); - exception - when Ada.Text_IO.Data_Error => - null; -- OK, expected exception. - when others => - Report.Failed("Unexpected exception raised when Get " & - "was used to read modular data outside " & - "base range of type from Data_File, " & - "data item #" & Integer'Image(i)); - end; - end loop; - - exception - when others => - Report.Failed - ("Unexpected exception raised in Process_File"); - end Process_File; - - - - begin -- Test_Block. - - -- Place modular values into data file. - - Load_File(Data_File); - Ada.Text_IO.Close(Data_File); - - -- Read modular values from data file. - - Ada.Text_IO.Open(Data_File, Ada.Text_IO.In_File, Data_Filename); - Process_File(Data_File); - - -- Verify versions of Modular_IO procedures Put and Get for Strings. - - Modular_IO_in_Strings: - declare - TC_String_Array : array (1..Number_Of_Modular_Items) - of String(1..30) := (others =>(others => ' ')); - begin - - -- Place modular values into strings using the Procedure Put, - -- Use a variety of different "Base" parameter values. - -- Note: This version of Put uses the length of the given - -- string as the value of the "Width" parameter. - - for i in 1..2 loop - Mod_IO.Put(To => TC_String_Array(i), - Item => Modular_Array(i), - Base => Mod_IO.Default_Base); - end loop; - for i in 3..4 loop - Mod_IO.Put(TC_String_Array(i), - Modular_Array(i), - Base => 2); - end loop; - for i in 5..6 loop - Mod_IO.Put(TC_String_Array(i), Modular_Array(i), 16); - end loop; - - -- Get modular values from strings using the Procedure Get. - -- Compare with expected modular values. - - for i in 1..Number_Of_Modular_Items loop - - Mod_IO.Get(From => TC_String_Array(i), - Item => TC_Modular, - Last => TC_Last_Character_Read); - - if TC_Modular /= Modular_Array(i) then - Report.Failed("Incorrect modular data value obtained " & - "from String following use of Procedures " & - "Put and Get from Strings, Modular_Array " & - "item #" & Integer'Image(i)); - end if; - end loop; - - exception - when others => - Report.Failed("Unexpected exception raised during the " & - "evaluation of Put and Get for Strings"); - end Modular_IO_in_Strings; - - exception - when others => Report.Failed ("Exception raised in Test_Block"); - end Test_Block; - - - -- Delete the external file. - if Ada.Text_IO.Is_Open(Data_File) then - Ada.Text_IO.Delete(Data_File); - else - Ada.Text_IO.Open(Data_File, - Ada.Text_IO.In_File, - Data_Filename); - Ada.Text_IO.Delete(Data_File); - end if; - - exception - - -- Since Use_Error can be raised if, for the specified mode, - -- the environment does not support Text_IO operations, the - -- following handlers are included: - - when Ada.Text_IO.Use_Error => - Report.Not_Applicable ("Use_Error raised on Text_IO Create"); - - when Ada.Text_IO.Name_Error => - Report.Not_Applicable ("Name_Error raised on Text_IO Create"); - - when others => - Report.Failed ("Unexpected exception raised on text file Create"); - - end Test_for_Text_IO_Support; - - Report.Result; - -end CXAA018; |