Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO, Ada.Streams.Stream_IO |
Devuelve True si el fichero representado por File está abierto y False en caso contrario.
function Is_Open (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 Fichero1 : File_Type; ...
Open (Fichero1, Out_File, Name => S1); ...
if Is_Open (Fichero1) then Close (Fichero1); end if;