------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- 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-2016, Frank Singhoff, Alain Plantec, Jerome Legrand
--
-- The Cheddar project was started in 2002 by 
-- Frank Singhoff, Lab-STICC UMR 6285 laboratory, 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 AUTHORS.txt and SPONSORS.txt
--
-- 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: 1249 $
--    $Date: 2014-08-28 07:02:15 +0200 (Fri, 28 Aug 2014) $
--    $Author: singhoff $
------------------------------------------------------------------------------
------------------------------------------------------------------------------

with applicability_constraint.all_tasks_are_periodic;
use applicability_constraint.all_tasks_are_periodic;
with applicability_constraint.all_tasks_are_periodic_or_sporadic;
use applicability_constraint.all_tasks_are_periodic_or_sporadic;
with applicability_constraint.no_shared_cpu;
use applicability_constraint.no_shared_cpu;
with applicability_constraint.allowed_protocol;
use applicability_constraint.allowed_protocol;
with applicability_constraint.Pip_No_Deadlock;
use applicability_constraint.Pip_No_Deadlock;
with applicability_constraint.no_buffer;
use applicability_constraint.no_buffer;
with applicability_constraint.no_dependencies;
use applicability_constraint.no_dependencies;
with applicability_constraint.Ceiling_Priority_Assignment;
use applicability_constraint.Ceiling_Priority_Assignment;
with applicability_constraint.at_least_one_data;
use applicability_constraint.at_least_one_data;
with applicability_constraint.no_shared_resources;
use applicability_constraint.no_shared_resources;
with applicability_constraint.data_sharing_protocol;
use applicability_constraint.data_sharing_protocol;
with applicability_constraint.data_connectivity;
use applicability_constraint.data_connectivity;
with applicability_constraint.Unsimultaneous_Release_Time_Constraint;
use applicability_constraint.Unsimultaneous_Release_Time_Constraint;
with applicability_constraint.Simultaneous_Release_Time_Constraint;
use applicability_constraint.Simultaneous_Release_Time_Constraint;
with applicability_constraint.Period_Equal_Deadline_Constraint;
use applicability_constraint.Period_Equal_Deadline_Constraint;
with applicability_constraint.Period_Smaller_Than_Deadline_Constraint;
use applicability_constraint.Period_Smaller_Than_Deadline_Constraint;
with applicability_constraint.Period_Larger_Than_Deadline_Constraint;
use applicability_constraint.Period_Larger_Than_Deadline_Constraint;
with feasibility_tests_for_Time_Triggered_Communication;
use feasibility_tests_for_Time_Triggered_Communication;
with Applicability_Constraints_Main_Structure;
use Applicability_Constraints_Main_Structure;
with feasibility_tests_main_structure_factory;
use feasibility_tests_main_structure_factory;
with Generic_Graph;                                                    use 
  Generic_Graph;
with Dependencies;                                                     use 
  Dependencies;
with Ada.IO_Exceptions;                                                use 
  Ada.IO_Exceptions;
with GNAT.Current_Exception;                                           use 
  GNAT.Current_Exception;
with Unbounded_Strings;                                                use 
  Unbounded_Strings;
with GNAT.Command_Line;                                                use 
  GNAT.Command_Line;
with GNAT.OS_Lib;                                                      use 
  GNAT.OS_Lib;
with Text_IO;                                                          use 
  Text_IO;
with Version;                                                          use 
  Version;
with Ada.Strings.Unbounded;                                            use 
  Ada.Strings.Unbounded;
with Systems;                                                          use 
  Systems;
with Task_Set;                                                         use 
  Task_Set;
with Task_Dependencies;                                                use 
  Task_Dependencies;
use Task_Dependencies.Half_Dep_Set;
with Processor_Set;                                                    use 
  Processor_Set;
with Address_Space_Set;                                                use 
  Address_Space_Set;
with Resource_Set;                                                     use 
  Resource_Set;
with Buffer_Set;                                                       use 
  Buffer_Set;
with Call_Framework;                                                   use 
  Call_Framework;
with Tasks;                                                            use 
  Tasks;
use Task_Set.Generic_Task_Set;
with Debug;                                                            use 
  Debug;
with Generic_Graph;                                                    use 
  Generic_Graph;
use Generic_Graph.Edge_Lists_Package;
use Generic_Graph.Node_Lists_Package;
with DP_Graph;                                                         use 
  DP_Graph;
with DP_Graph_view;                                                    use 
  DP_Graph_view;
use DP_Graph_view.Graph_List_Package;
with architecture_factory;                                             use 
  architecture_factory;

package architecture_analyzer is

   function analyze (Sys : System) return Unbounded_String;

   function Time_Triggered_Communication_txt (Sys : System) return Unbounded_String; 
   function Ravenscar_txt (Sys : System) return Unbounded_String;
   function Unplugged_txt (Sys : System) return Unbounded_String;
   function Environment_Uni_Processor_txt (Sys : System) return Unbounded_String;

   function Time_Triggered_Communication_Bool (Sys : System) return boolean; 
   function Ravenscar_Bool (Sys : System) return boolean;
   function Unplugged_Bool (Sys : System) return boolean;
   function Environment_Uni_Processor_Bool (Sys : System) return boolean;

   procedure write_result_to_file
     (Res       : in Unbounded_String;
      File_Name : in Unbounded_String);
end architecture_analyzer;