Re: Load an object from a file

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

On Apr 9, 10:32 pm, Olivier Scalbert <olivier.scalb...@algosyn.com>
wrote:
> Hi,
>
> I still have one question ...
> How can I implement the Load_Class procedure that will use the Input
> function?
> I do not know how to get the needed stream from a given file name.
> And I do not know how to define the Class_File_Structure result (I get
> an unconstrained subtype (need initialization)).
[...]
> package body jvm is
[...]
>      procedure Load_Class(File_Name: String) is
>
>          Class_File_Structure: Class_File_Structure_T; -- (unconstrained
> subtype (need initialization)
>      begin
>          Put_Line(File_Name);
>
>          Class_file_Structure := Input(Stream ???);
>
>      end Load_Class;
[...]
> end jvm;

Because Class_File_Structure_T is unconstrained and needs
initialization, you cannot use a procedure to load one: out parameters
don't work, and the procedure cannot write into a variable because you
can't declare a variable without initializing it.  So, here is a
possible solution replacing your procedure with a function:

with Ada.Streams.Stream_IO;
...
function From_File (File_Name : String) return Class_File_Structure_T
is
   File : Ada.Streams.Stream_IO.File_Type;
begin
   Ada.Streams.Stream_IO.Open (File,
                               File_Mode =>
Ada.Streams.Stream_IO.In_File,
                               Name      => File_Name);
   declare
      Result : constant Class_File_Structure_T :=
        Class_File_Structure_T'Input (Ada.Streams.Stream_IO.Stream
(File));
   begin
      Ada.Streams.Stream_IO.Close (File);
      return Result;
   end;
end From_File;

HTH

--
Ludovic Brenta.