Ada.Streams.Stream_IO |
Sincroniza la información del fichero lógico con el fichero físico vaciando los buffer.
procedure Flush (File : in File_Type);
with Ada.Streams; use Ada.Streams; with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO; ... Fichero : Ada.Streams.Stream_IO.File_Type; S1 : String := "Mi_Fichero.dat"; ...
Open (Fichero, Out_File, Name => S1); ... Flush (Fichero);