Ada.Text_IO, Ada.Sequential_IO, Ada.Direct_IO, Ada.Streams.Stream_IO |
Cierra el fichero asociado con la variable de manejo de ficheros indicada por File.
procedure Close (File : in out File_Type);
-- 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); ...
Close (Fichero1);