-- CXAA017.A -- -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687 and -- F08630-91-C-0015, 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 Ada.Text_IO function Look_Ahead sets parameter End_Of_Line -- to True if at the end of a line; otherwise check that it returns the -- next character from a file (without consuming it), while setting -- End_Of_Line to False. -- -- Check that Ada.Text_IO function Get_Immediate will return the next -- control or graphic character in parameter Item from the specified -- file. Check that the version of Ada.Text_IO function Get_Immediate -- with the Available parameter will, if a character is available in the -- specified file, return the character in parameter Item, and set -- parameter Available to True. -- -- TEST DESCRIPTION: -- This test exercises specific capabilities of two Text_IO subprograms, -- Look_Ahead and Get_Immediate. A file is prepared that contains a -- variety of graphic and control characters on several lines. -- In processing this file, a call to Look_Ahead is performed to ensure -- that characters are available, then individual characters are -- extracted from the current line using Get_Immediate. The characters -- returned from both subprogram calls are compared with the expected -- character result. Processing on each file line continues until -- Look_Ahead indicates that the end of the line is next. Separate -- verification is performed to ensure that all characters of each line -- are processed, and that the Available and End_Of_Line parameters -- of the subprograms are properly set in the appropriate instances. -- -- APPLICABILITY CRITERIA: -- This test is applicable to implementations capable of supporting -- external Text_IO files. -- -- -- CHANGE HISTORY: -- 30 May 95 SAIC Initial prerelease version. -- 01 May 96 SAIC Incorporated reviewer comments for ACVC 2.1. -- 26 Feb 97 PWB.CTA Allowed for non-support of some IO operations. --! with Ada.Text_IO; package CXAA017_0 is User_Defined_Input_File : aliased Ada.Text_IO.File_Type; end CXAA017_0; with CXAA017_0; use CXAA017_0; with Ada.Characters.Latin_1; with Ada.Exceptions; with Ada.Text_IO; with Report; procedure CXAA017 is use Ada.Characters.Latin_1; use Ada.Exceptions; use Ada.Text_IO; Non_Applicable_System : exception; No_Reset : exception; begin Report.Test ("CXAA017", "Check that Ada.Text_IO subprograms " & "Look_Ahead and Get_Immediate are available " & "and produce correct results"); Test_Block: declare User_Input_Ptr : File_Access := User_Defined_Input_File'Access; UDLA_Char, -- Acronym UDLA => "User Defined Look Ahead" UDGI_Char, -- Acronym UDGI => "User Defined Get Immediate" TC_Char : Character := Ada.Characters.Latin_1.NUL; UDLA_End_Of_Line, UDGI_Available : Boolean := False; Char_Pos : Natural; -- This string contains five ISO 646 Control characters and six ISO 646 -- Graphic characters: TC_String_1 : constant String := STX & SI & DC2 & CAN & US & Space & Ampersand & Solidus & 'A' & LC_X & DEL; -- This string contains two ISO 6429 Control and six ISO 6429 Graphic -- characters: TC_String_2 : constant String := IS4 & SCI & Yen_Sign & Masculine_Ordinal_Indicator & UC_I_Grave & Multiplication_Sign & LC_C_Cedilla & LC_Icelandic_Thorn; TC_Number_Of_Strings : constant := 2; type String_Access_Type is access constant String; type String_Ptr_Array_Type is array (1..TC_Number_Of_Strings) of String_Access_Type; TC_String_Ptr_Array : String_Ptr_Array_Type := (new String'(TC_String_1), new String'(TC_String_2)); procedure Create_New_File (The_File : in out File_Type; Mode : in File_Mode; Next : in Integer) is begin Create (The_File, Mode, Report.Legal_File_Name(Next)); exception -- The following two exceptions can be raised if a system is not -- capable of supporting external Text_IO files. The handler will -- raise a user-defined exception which will result in a -- Not_Applicable result for the test. when Use_Error | Name_Error => raise Non_Applicable_System; end Create_New_File; procedure Load_File (The_File : in out File_Type) is -- This procedure will load several strings into the file denoted -- by the input parameter. A call to New_Line will add line/page -- termination characters, which will be available for processing -- along with the text in the file. begin Put_Line (The_File, TC_String_Ptr_Array(1).all); New_Line (The_File, Spacing => 1); Put_Line (The_File, TC_String_Ptr_Array(2).all); end Load_File; begin -- Create user-defined text file that will serve as the appropriate -- sources of input to the procedures under test. Create_New_File (User_Defined_Input_File, Out_File, 1); -- Enter several lines of text into the new input file. -- The characters that make up these text strings will be processed -- using the procedures being exercised in this test. Load_File (User_Defined_Input_File); -- Check that Mode_Error is raised by Look_Ahead and Get_Immedidate -- if the mode of the file object is not In_File. -- Currently, the file mode is Out_File. begin Look_Ahead(User_Defined_Input_File, UDLA_Char, UDLA_End_Of_Line); Report.Failed("Mode_Error not raised by Look_Ahead"); Report.Comment("This char should never be printed: " & UDLA_Char); exception when Mode_Error => null; -- OK, expected exception. when The_Error : others => Report.Failed ("The following exception was raised during the " & "check that Look_Ahead raised Mode_Error when " & "provided a file object that is not in In_File " & "mode: " & Exception_Name(The_Error)); end; begin Get_Immediate(User_Defined_Input_File, UDGI_Char); Report.Failed("Mode_Error not raised by Get_Immediate"); Report.Comment("This char should never be printed: " & UDGI_Char); exception when Mode_Error => null; -- OK, expected exception. when The_Error : others => Report.Failed ("The following exception was raised during the " & "check that Get_Immediate raised Mode_Error " & "when provided a file object that is not in " & "In_File mode: " & Exception_Name(The_Error)); end; -- The file will then be reset to In_File mode to properly function as -- a source of input. Reset1: begin Reset (User_Defined_Input_File, In_File); exception when Ada.Text_IO.Use_Error => Report.Not_Applicable ( "Reset to In_File not supported for Text_IO" ); raise No_Reset; end Reset1; -- Process the input file, exercising various Text_IO -- functionality, and validating the results at each step. -- Note: The designated File_Access object is used in processing -- the New_Default_Input_File in the second loop below. -- Process characters in first line of text of each file. Char_Pos := 1; -- Check that the first line is not blank. Look_Ahead(User_Defined_Input_File, UDLA_Char, UDLA_End_Of_Line); while not UDLA_End_Of_Line loop -- Use the Get_Immediate procedure on the file to get the next -- available character on the current line. Get_Immediate(User_Defined_Input_File, UDGI_Char); -- Check that the characters returned by both procedures are the -- same, and that they match the expected character from the file. if UDLA_Char /= TC_String_Ptr_Array(1).all(Char_Pos) or UDGI_Char /= TC_String_Ptr_Array(1).all(Char_Pos) then Report.Failed("Incorrect retrieval of character " & Integer'Image(Char_Pos) & " of first string"); end if; -- Increment the character position counter. Char_Pos := Char_Pos + 1; -- Check the next character on the line. If at the end of line, -- the processing flow will exit the While loop. Look_Ahead(User_Defined_Input_File, UDLA_Char, UDLA_End_Of_Line); end loop; -- Check to ensure that the "end of line" results returned from the -- Look_Ahead procedure (used to exit the above While loop) corresponds -- with the result of Function End_Of_Line. if not End_Of_Line(User_Defined_Input_File) then Report.Failed("Result of procedure Look_Ahead that indicated " & "being at the end of the line does not correspond " & "with the result of function End_Of_Line"); end if; -- Check that all characters in the string were processed. if Char_Pos-1 /= TC_String_1'Length then Report.Failed("Not all of the characters on the first line " & "were processed"); end if; -- Call procedure Skip_Line to advance beyond the end of the first line. Skip_Line(User_Defined_Input_File); -- Process the second line in the file (a blank line). Look_Ahead(User_Input_Ptr.all, UDLA_Char, UDLA_End_Of_Line); if not UDLA_End_Of_Line then Report.Failed("Incorrect end of line determination from procedure " & "Look_Ahead when processing a blank line"); end if; -- Call procedure Skip_Line to advance beyond the end of the second line. Skip_Line(User_Input_Ptr.all); -- Process characters in the third line of the file (second line -- of text) -- Note: The version of Get_Immediate used in processing this line has -- the Boolean parameter Available. Char_Pos := 1; -- Check whether the line is blank (i.e., at end of line, page, or file). Look_Ahead(User_Input_Ptr.all, UDLA_Char, UDLA_End_Of_Line); while not UDLA_End_Of_Line loop -- Use the Get_Immediate procedure on the file to get access to the -- next character on the current line. Get_Immediate(User_Input_Ptr.all, UDGI_Char, UDGI_Available); -- Check that the Available parameter of Get_Immediate was set -- to indicate that a character was available in the file. -- Check that the characters returned by both procedures are the -- same, and they all match the expected character from the file. if not UDGI_Available or UDLA_Char /= TC_String_Ptr_Array(2).all(Char_Pos) or UDGI_Char /= TC_String_Ptr_Array(2).all(Char_Pos) then Report.Failed("Incorrect retrieval of character " & Integer'Image(Char_Pos) & " of second string"); end if; -- Increment the character position counter. Char_Pos := Char_Pos + 1; -- Check the next character on the line. If at the end of line, -- the processing flow will exit the While loop. Look_Ahead(User_Input_Ptr.all, UDLA_Char, UDLA_End_Of_Line); end loop; -- Check to ensure that the "end of line" results returned from the -- Look_Ahead procedure (used to exit the above While loop) corresponds -- with the result of Function End_Of_Line. if not End_Of_Line(User_Defined_Input_File) then Report.Failed("Result of procedure Look_Ahead that indicated " & "being at the end of the line does not correspond " & "with the result of function End_Of_Line"); end if; -- Check that all characters in the second string were processed. if Char_Pos-1 /= TC_String_2'Length then Report.Failed("Not all of the characters on the second line " & "were processed"); end if; Deletion: begin -- Delete the user defined file. if Is_Open(User_Defined_Input_File) then Delete(User_Defined_Input_File); else Open(User_Defined_Input_File, Out_File, Report.Legal_File_Name(1)); Delete(User_Defined_Input_File); end if; exception when others => Report.Failed ( "Delete not properly implemented for Text_IO" ); end Deletion; exception when No_Reset => null; when Non_Applicable_System => Report.Not_Applicable("System not capable of supporting external " & "text files -- Name_Error/Use_Error raised " & "during text file creation"); when The_Error : others => Report.Failed ("The following exception was raised in the " & "Test_Block: " & Exception_Name(The_Error)); end Test_Block; Report.Result; end CXAA017;