with Ada.Streams.Stream_Io;

package body Agpl.Generic_Indefinite_File_Store is

   -------------
   -- To_File --
   -------------

   procedure To_File (This : in Item; File : in String) is
      use Ada.Streams.Stream_Io;
      F : File_Type;
   begin
      Create (F, Name => File, Mode => Out_File);

      Item'Output (Stream (F), This);
      Close (F);
   end To_File;

   ----------
   -- Load --
   ----------

   function Load (File : in String) return Item is
      use Ada.Streams.Stream_Io;
      F : File_Type;
   begin
      Open (F, Name => File, Mode => In_File);

      declare
         Result : constant Item := Item'Input (Stream (F));
      begin
         Close (F);
         return Result;
      end;
   end Load;

end Agpl.Generic_Indefinite_File_Store;