End_Of_File

Librerías

Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO, Ada.Streams.Stream_IO

Explicación

Devuelve True si se ha alcanzado el final del fichero representado por File y False en caso contrario.

Sintaxis

function End_Of_File (File : in File_Type) return Boolean;

 

Ejemplo

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

Véase