Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO, Ada.Streams.Stream_IO |
Devuelve el Nombre del fichero que está abierto y asociado con la variable de manejo de ficheros indicada por File.
function Name (File : in File_Type) return String;
-- 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); ...
Put_Line (Name (Fichero1) = Out_File);