-- Chapter 14 - Program 6 with Ada.Text_IO, Ada.Integer_Text_IO; use Ada.Text_IO, Ada.Integer_Text_IO; procedure IntIn is Integer_File : FILE_TYPE; Index : INTEGER; begin Open(Integer_File, In_File, "INTDATA.TXT"); while not End_Of_File(Integer_File) loop if End_Of_Line(Integer_File) then New_Line; Skip_Line(Integer_File); else Get(Integer_File, Index); Put("The value read in is"); Put(Index, 6); New_Line; end if; end loop; Close(Integer_File); end IntIn; -- Result of execution -- The value read in is 15 -- The value read in is 16 -- The value read in is 17 -- The value read in is 18 -- The value read in is 19 -- -- The value read in is 16 -- The value read in is 17 -- The value read in is 18 -- The value read in is 19 -- The value read in is 20 -- -- The value read in is 17 -- The value read in is 18 -- The value read in is 19 -- The value read in is 20 -- The value read in is 21