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