Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO, Ada.Streams.Stream_IO |
Devuelve True si se ha alcanzado el final del fichero representado por File y False en caso contrario.
function End_Of_File (File : in File_Type) return Boolean;
-- Se supone la existencia de una cláusula de contexto (with/use) -- con la librería adecuada, de entre las listadas arriba Fichero : File_Type; S1 : String := "Mi_Fichero.dat"; ...
Open (Fichero, In_File, Name => S1); ...
while Not End_Of_File (Fichero) loop ... end loop;