------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- This source file was automatically generated by Platypus -- see http://dossen.univ-brest.fr/apl -- -- Any modification of this file will be lost. -- Please see the "platypus" directory instead : it contains the Cheddar's -- model and its meta-model. ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a free real time scheduling tool. -- This program provides services to automatically check temporal constraints -- of real time tasks. -- -- Copyright (C) 2002-2014 Frank Singhoff -- Cheddar is developed by the LAB-STICC Team, University of Brest -- -- 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 -- To post to this mailing list, you must be subscribed -- (see http//beru.univ-brest.fr/~singhoff/cheddar for details) -- ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Text_IO; use Text_IO; with unbounded_strings; use unbounded_strings; with primitive_xml_strings; use primitive_xml_strings; package body partitioning_algorithms is function xml_string (obj : in processor_sort_type) return Unbounded_String is begin return To_Unbounded_String (processor_sort_type'image (obj)); end xml_string; function xml_ref_string (obj : in processor_sort_type) return Unbounded_String is begin raise xml_ref_string_error; return To_Unbounded_String (""); end xml_ref_string; function xml_string (obj : in task_sort_type) return Unbounded_String is begin return To_Unbounded_String (task_sort_type'image (obj)); end xml_string; function xml_ref_string (obj : in task_sort_type) return Unbounded_String is begin raise xml_ref_string_error; return To_Unbounded_String (""); end xml_ref_string; function xml_string (obj : in feasibility_test_type) return Unbounded_String is begin return To_Unbounded_String (feasibility_test_type'image (obj)); end xml_string; function xml_ref_string (obj : in feasibility_test_type) return Unbounded_String is begin raise xml_ref_string_error; return To_Unbounded_String (""); end xml_ref_string; function xml_string (obj : in loop_operation_type) return Unbounded_String is begin return To_Unbounded_String (loop_operation_type'image (obj)); end xml_string; function xml_ref_string (obj : in loop_operation_type) return Unbounded_String is begin raise xml_ref_string_error; return To_Unbounded_String (""); end xml_ref_string; end partitioning_algorithms;