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