------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real time scheduling analysis tool. -- This program provides services to automatically check performances -- of real time architectures. -- -- Copyright (C) 2002-2010, by Frank Singhoff, Alain Plantec, Jerome Legrand -- -- The Cheddar project was started in 2002 by -- the LISyC Team, University of Western Britanny. -- -- Since 2008, Ellidiss technologies also contributes to the development of Cheddar -- and provides industrial support. -- -- 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: 209 $ -- $Date: 2008-06-29 14:47:31 +0200 (Sun, 29 Jun 2008) $ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Systems; use Systems; with Call_Framework; use Call_Framework; use Call_Framework.Framework_Response_Package; use Call_Framework.Framework_Request_Package; with Call_Memory_Framework; use Call_Memory_Framework; use Call_Memory_Framework.Buffer_Result_Package; with Parameters; use Parameters; use Parameters.Parameters_Table_Package; procedure Call_Ada is Sys : System; Response_List : Framework_Response_Table; Request_List : Framework_Request_Table; A_Request : Framework_Request; A_Param : Parameter_Ptr; begin -- Reading the file -- Read_From_Xml_File(Sys,To_Unbounded_String("call_framework.xml")); -- Call the framework -- Initialize(Request_List); -- Initialize(A_Request); -- A_Request.Statement:=Scheduling_Feasibility_Basics; -- Add(Request_List, A_Request); Initialize(A_Request); A_Request.Statement:=Scheduling_Simulation_Basics; A_Param := new Parameter(Integer_Parameter); A_Param.Name:=To_Unbounded_String("period"); A_Param.Integer_Value:=100; Add(A_Request.Param, A_Param); A_Param := new Parameter(Boolean_Parameter); A_Param.Name:=To_Unbounded_String("schedule_with_offsets"); A_Param.Boolean_Value:=True; Add(A_Request.Param, A_Param); A_Param := new Parameter(Boolean_Parameter); A_Param.Name:=To_Unbounded_String("schedule_with_precedencies"); A_Param.Boolean_Value:=True; Add(A_Request.Param, A_Param); A_Param := new Parameter(Boolean_Parameter); A_Param.Name:=To_Unbounded_String("schedule_with_resources"); A_Param.Boolean_Value:=True; Add(A_Request.Param, A_Param); A_Param := new Parameter(Integer_Parameter); A_Param.Name:=To_Unbounded_String("seed_value"); A_Param.Integer_Value:=0; Add(A_Request.Param, A_Param); Add(Request_List, A_Request); Sequential_Framework_Request ( Sys, Request_List, Response_List, Total_Order, Xml_Output); -- Display the result -- Put(Response_List); end Call_Ada;