Re: End of a file

[comicfanzine@gmail.com]

>If you have 30 lines, set_line (30) is OK. It's >set_Line (31) that raises End_Error... 

Ok , then why it's the case here :
" raised ADA.IO_EXCEPTIONS.END_ERROR : a-textio.adb:1900 "

There is only 26 lines , and the loop is suppose to stop at the end of the file . 

WITH Ada.Text_IO ;  USE Ada.Text_IO ;

Procedure count_nb_lines is

  this_file : File_type ;

  Last_line : Positive_Count := 1 ;

Begin

    Open
     (File => this_file ,
      Mode => In_file ,
      Name => "count_nb_lines.adb");

   loop exit when End_Of_File( this_file );
     skip_line( this_file , Last_line );

     Last_line := Last_line + 1 ;
   end loop ;

   put ( "Total of lines by Ada.Text_IO' s package : "&Positive_Count'Image( Last_line ) );

   Close( this_file );

end count_nb_lines ;