------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Cheddar is a GNU GPL real-time scheduling analysis tool.
-- This program provides services to automatically check schedulability and
-- other performance criteria of real-time architecture models.
--
-- Copyright (C) 2002-2023, Frank Singhoff, Alain Plantec, Jerome Legrand,
--                          Hai Nam Tran, Stephane Rubini
--
-- The Cheddar project was started in 2002 by
-- Frank Singhoff, Lab-STICC UMR 6285, Université de Bretagne Occidentale
--
-- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008.
-- Since 2008, Ellidiss technologies also contributes to the development of
-- Cheddar and provides industrial support.
--
-- The full list of contributors and sponsors can be found in README.md
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program; if not, write to the Free Software
-- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
--
--
-- Contact : cheddar@listes.univ-brest.fr
--
------------------------------------------------------------------------------
-- Last update :
--    $Rev$
--    $Date$
--    $Author: singhoff $
------------------------------------------------------------------------------
------------------------------------------------------------------------------

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 parameters;          use parameters;
with parameters.extended; use parameters.extended;
use parameters.framework_parameters_table_package;
with task_set; use task_set;
use task_set.generic_task_set;
with systems;                           use systems;
with framework;                         use framework;
with call_framework;                    use call_framework;
with call_framework_interface;          use call_framework_interface;
with multiprocessor_services;           use multiprocessor_services;
with multiprocessor_services_interface; use multiprocessor_services_interface;
use multiprocessor_services_interface.scheduling_result_per_processor_package;
with GNAT.Command_Line;
with GNAT.OS_Lib;          use GNAT.OS_Lib;
with version;              use version;
with Ada.Exceptions;       use Ada.Exceptions;
with unit_test_parameters; use unit_test_parameters;
with debug;                use debug;
with framework_config;     use framework_config;

procedure unittest is

   -- A set of variables required to call the framework
   --
   service : framework_statement_type;
   sys     : system;

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

   -- The XML file to read
   --
   input_file_switch : Boolean := False;
   service_switch    : Boolean := False;
   input_file_name   : Unbounded_String;

   -- To fetch arguments of the program
   --
   ok         : Boolean;
   s          : Unbounded_String;
   parameters : Unbounded_String;

   procedure usage is
   begin
      Put_Line
        ("unittest is a program which calls each cheddar service independly and produces the results on the standard output. The main rational for this program is to run non regression tests.");

      New_Line;
      Put_Line
        ("Check Cheddar home page for details :  http://beru.univ-brest.fr/cheddar ");
      New_Line;
      New_Line;
      Put_Line
        ("Usage : unittest [switch] list of parameter for the called service ");
      Put_Line ("   switch can be :");
      Put_Line ("            -u get this help");
      Put_Line ("            -v verbose mode ");
      Put_Line ("            -i name, name of the Cheddar XML file  to load");
      Put_Line
        ("            -s service-name, name of the Cheddar service to call. Can be of the following values:");

      for i in framework_statement_type'range loop
         Put_Line ("                  " & i'img);
      end loop;
      New_Line;
   end usage;

begin

   if cheddar_debug /= no_debug then
      copyright ("unittest");
   end if;

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

         when 's' =>
            service_switch := True;
            to_framework_statement_type
              (GNAT.Command_Line.Parameter,
               service,
               ok);
            if not ok then
               Put_Line ("Unknown service : " & GNAT.Command_Line.Parameter);
               OS_Exit (0);
            end if;

         when 'i' =>
            input_file_switch := 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;

   loop
      s :=
        To_Unbounded_String
          (GNAT.Command_Line.Get_Argument (Do_Expansion => True));
      exit when s = empty_string;
      parameters := parameters & " " & s;
   end loop;

   -- Is an input file and service file given ???
   --
   if (not input_file_switch) or (not service_switch) then
      usage;
      OS_Exit (0);
   end if;

   put_debug ("Service            :" & service'img);
   put_debug ("XML file           :" & To_String (input_file_name));
   put_debug ("Framework parameter:" & To_String (parameters));

   -- Initialize the Cheddar framework
   --
   call_framework.initialize (False);

   -- Read the XML project file
   --
   systems.read_from_xml_file (sys, To_String (input_file_name));

   -- Call the framework
   --
   call_unit_test (service, sys, parameters);

end unittest;