with io_tools;                          use io_tools;
with Text_IO;                           use Text_IO;
with Processor_Set;                     use Processor_Set;
use Processor_Set.Generic_Processor_Set;
with Ada.Strings.Unbounded;             use Ada.Strings.Unbounded;
with unbounded_strings;                 use unbounded_strings;
use unbounded_strings.strings_table_package;
use unbounded_strings.unbounded_string_list_package;
with Task_Set;                          use Task_Set;
use Task_Set.Generic_Task_Set;
with tasks;                             use tasks;
with Systems;                           use Systems;
with debug; use debug;
with GNAT.Command_Line;
with GNAT.OS_Lib;                       use GNAT.OS_Lib;
with Version;                           use Version;
with Ada.Exceptions;                    use Ada.Exceptions;
with Ada.Command_Line;                  use Ada.Command_Line;
with Ada.Text_IO.Unbounded_IO; 		use Ada.Text_IO.Unbounded_IO;
with Ada.Directories; 			use Ada.Directories;
with prolog_architecture_printer; use  prolog_architecture_printer;



procedure prolog_printer is
   Sys                   : System;
   Result:   Unbounded_String;


   -- To read the Cheddar architecture model

   Project_File_List     : unbounded_string_list;
   Project_File_Dir_List : unbounded_string_list;

   -- Is the command should run in verbose mode ?
   --
   Verbose : Boolean := False;

   -- The XML file to read
   --
   Input_File      : Boolean := False;
   Input_File_Name : Unbounded_String;

    procedure Usage is
    begin
      Put_Line(
"prolog_printer produces prolog representation of a Cheddar ADL model.");

      New_Line;
      Put_Line(
"Check Cheddar home page for details :  http://beru.univ-brest.fr/~singhoff/cheddar "
);
      New_Line;
      New_Line;
      Put_Line ("Usage : prolog_printer [switch] ");
      Put_Line ("   switch can be :");
      Put_Line ("            -u get this help");
      Put_Line ("            -v verbose mode ");
      Put_Line(
"            -i file-name, read and print the architecture model from the XML file  file-name "
);
      New_Line;
   end Usage;



begin

   Copyright ("prolog_printer");

   -- Get arguments
   --
   loop
      case GNAT.Command_Line.Getopt ("u v i:") is
         when ASCII.NUL =>
            exit;

         when 'i' =>
            Input_File      := True;
            Input_File_Name :=
              To_Unbounded_String (GNAT.Command_Line.Parameter);

         when 'v' =>
            Verbose := True;
         when 'u' =>
            Usage;
            OS_Exit (0);

         when others =>
            Usage;
            OS_Exit (0);
      end case;
   end loop;


   -- Is an input file given ???
   --
   if (not Input_File) then
      Usage;
      OS_Exit (0);
   end if;


   -- Initialize the Cheddar framework
   --
   initialize(Sys);
   Systems.Read_From_Xml_File (Sys, Project_File_Dir_List, Input_File_Name);
   Result:=produce_system(sys);

   Put_Line (To_String(Result));

end prolog_printer;