with text_io;                           use text_io;
with Standard_Integer_Numbers_io;       use Standard_Integer_Numbers_io;
with Ada.Characters.Latin_1;

package body Main_Output_Feedback is

  function main_feedback ( input,output : string ) return integer;
  pragma Import(C,main_feedback,"main_feedback");

  procedure Main ( infilename,outfilename : in string;
                   verbose : in integer32 := 0 ) is

  -- DESCRIPTION :
  --   Checks whether the infilename and outfilename are not empty,
  --   appends the '\0' end of string character to the names,
  --   before calling the C function main_feedback.

    NUL : constant character := Ada.Characters.Latin_1.NUL;
    res : integer;

  begin
    if verbose > 0 then
      put("At verbose level "); put(verbose,1);
      put_line(", in main_output_feedback.Main ...");
    end if;
    if infilename = "" or else outfilename = "" then
      new_line;
      put_line("Usage: phc -k input_file output_file");
      new_line;
    else
      if verbose > 0 then
        put_line("reading from " & infilename);
        put_line("writing to " & outfilename);
        put_line("Calling feedback...");
      end if;
      res := main_feedback(infilename & NUL,outfilename & NUL);
      if verbose > 0 then
        put("Return code from the C function main_feedback : ");
        put(integer32(res),1); new_line;
      end if;
    end if;
  end Main;

end Main_Output_Feedback;