Ada.Direct_IO, Ada.Streams.Stream_IO |
Sitúa el indicador de posición del fichero en la posición indicada por el parámetro To.
procedure Set_Index (File : in File_Type; To : in Positive_Count);
with Direct_IO; ... package Fich_Integer_Dir is new Direct_IO(Integer); use Fich_Integer_Dir; ... Fichero : Fich_Integer_Dir.File_Type; S1 : String := "Mi_Fichero.dat"; Dato : Integer; Posición : Fich_Integer_Dir.Positive_Count; ...
Open (Fichero, In_File, Name => S1); ... Posición := Size (Fichero); Set_Index (File, Posición); Read (Fichero, Dato, Posición); -- Lee el último elemento