------------------------------------------------------------------------------
------------------------------------------------------------------------------
--  This Ada package was automatically generated by the software engineering
--tool Platypus
--  see http://cassoulet.univ-brest.fr/mme
--
--  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-2009   Frank Singhoff
-- Cheddar is developed by the LISYC 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 primitive_xml_strings; use primitive_xml_strings;

with Unbounded_Strings; use Unbounded_Strings;
use Unbounded_Strings.Unbounded_String_List_Package;

with Systems; use Systems;

with Processor_Set; use Processor_Set;

package body Applicability_Constraints_Main_Structure is

   -- --------= Applicability_Constraint =--------

   procedure Initialize (obj : out Applicability_Constraint) is
   begin
      obj.Name                   := Empty_String;
      obj.Result                 := False;
      obj.Corresponding_Function := null;
   end Initialize;

   procedure Initialize (obj : out Applicability_Constraint_Ptr) is
   begin
      obj                            := new Applicability_Constraint;
      obj.all.Name                   := Empty_String;
      obj.all.Result                 := False;
      obj.all.Corresponding_Function := null;
   end Initialize;

   procedure Put (obj : in Applicability_Constraint) is
   begin
      Put ("Name: ");
      Put (obj.Name);
      Put_Line ("; ");
      Put ("Result: ");
      Put (obj.Result'Img);
      Put_Line ("; ");
   end Put;

   procedure Put (obj : in Applicability_Constraint_Ptr) is
   begin
      Put (obj.all);
   end Put;

   procedure Build_Attributes_XML_String
     (obj    : in Applicability_Constraint;
      level  : in Natural := 0;
      result : in out Unbounded_String)
   is
   begin
      result := result &
                ASCII.HT &
                "<Name> " &
                XML_String (obj.Name, level) &
                " </Name>" &
                Unbounded_Lf;
      result := result &
                ASCII.HT &
                "<Result> " &
                XML_String (obj.Result, level) &
                " </Result>" &
                Unbounded_Lf;

   end Build_Attributes_XML_String;

   function XML_String
     (obj   : in Applicability_Constraint;
      level : in Natural := 0)
      return  Unbounded_String
   is
      result : Unbounded_String;
   begin
      result := "<Applicability_Constraint>" & Unbounded_Lf;
      Build_Attributes_XML_String (obj, level, result);
      result := result & "</Applicability_Constraint>" & Unbounded_Lf;
      return (result);
   end XML_String;

   function XML_String
     (obj   : in Applicability_Constraint_Ptr;
      level : in Natural := 0)
      return  Unbounded_String
   is
      
   begin
      return XML_String(obj.all,level);
   end XML_String;

   -- --------= Applicability_Constraint_Case =--------

   procedure Initialize (obj : out Applicability_Constraint_Case) is
   begin
      obj.Name                   := Empty_String;
      obj.Feasibility_Test_Names := Empty_String;
      Initialize (obj.Applicability_Constraints);
   end Initialize;

   procedure Initialize (obj : out Applicability_Constraint_Case_Ptr) is
   begin
      obj                            := new Applicability_Constraint_Case;
      obj.all.Name                   := Empty_String;
      obj.all.Feasibility_Test_Names := Empty_String;
      Initialize (obj.all.Applicability_Constraints);
   end Initialize;

   procedure Put (obj : in Applicability_Constraint_Case) is
   begin
      Put ("Name: ");
      Put (obj.Name);
      Put_Line ("; ");
      Put ("Feasibility_Test_Names: ");
      Put (obj.Feasibility_Test_Names);
      Put_Line ("; ");
      Put ("Applicability_Constraints: ");
      Put (obj.Applicability_Constraints);
      Put_Line ("; ");
   end Put;

   procedure Put (obj : in Applicability_Constraint_Case_Ptr) is
   begin
      Put (obj.all);
   end Put;

   procedure Build_Attributes_XML_String
     (obj    : in Applicability_Constraint_Case;
      level  : in Natural := 0;
      result : in out Unbounded_String)
   is
   begin
      result := result &
                ASCII.HT &
                "<Name> " &
                XML_String (obj.Name, level) &
                " </Name>" &
                Unbounded_Lf;
      result := result &
                ASCII.HT &
                "<Feasibility_Test_Names> " &
                XML_String (obj.Feasibility_Test_Names, level) &
                " </Feasibility_Test_Names>" &
                Unbounded_Lf;

   end Build_Attributes_XML_String;

   function XML_String
     (obj   : in Applicability_Constraint_Case;
      level : in Natural := 0)
      return  Unbounded_String
   is
      result : Unbounded_String;
   begin
      result := "<Applicability_Constraint_Case>" & Unbounded_Lf;
      Build_Attributes_XML_String (obj, level, result);
      result := result & "</Applicability_Constraint_Case>" & Unbounded_Lf;
      return (result);
   end XML_String;

   function XML_String
     (obj   : in Applicability_Constraint_Case_Ptr;
      level : in Natural := 0)
      return  Unbounded_String
   is
      
   begin
      return XML_String(obj.all,level);
   end XML_String;

   -- --------= All_Cases_Structure =--------

   procedure Initialize (obj : out All_Cases_Structure) is
   begin
      Initialize (obj.Cases);
   end Initialize;

   procedure Put (obj : in All_Cases_Structure) is
   begin
      Put ("Cases: ");
      Put (obj.Cases);
      Put_Line ("; ");
   end Put;

   procedure Put (obj : in All_Cases_Structure_Ptr) is
   begin
      Put (obj.all);
   end Put;

   procedure Build_Attributes_XML_String
     (obj    : in All_Cases_Structure;
      level  : in Natural := 0;
      result : in out Unbounded_String)
   is
   begin
      null; 
   end Build_Attributes_XML_String;

   function XML_String
     (obj   : in All_Cases_Structure;
      level : in Natural := 0)
      return  Unbounded_String
   is
      result : Unbounded_String;
   begin
      result := "<All_Cases_Structure>" & Unbounded_Lf;
      Build_Attributes_XML_String (obj, level, result);
      result := result & "</All_Cases_Structure>" & Unbounded_Lf;
      return (result);
   end XML_String;


   function copy
     (obj  : in Applicability_Constraint_Ptr)
      return Applicability_Constraint_Ptr
   is
      obj2 : Applicability_Constraint_Ptr;

   begin

      Initialize (obj2);
      obj2.all.Name                   := obj.all.Name;
      obj2.all.Result                 := obj.all.Result;
      obj2.all.Corresponding_Function := obj.all.Corresponding_Function;

      return obj2;

   end copy;
   function Copy
     (obj  : in Applicability_Constraint_Case_Ptr)
      return Applicability_Constraint_Case_Ptr
   is
      obj2 : Applicability_Constraint_Case_Ptr;

   begin

      Initialize (obj2);
      obj2.all.Name                   := obj.all.Name;
      obj2.all.Feasibility_Test_Names := obj.all.Feasibility_Test_Names;
      Duplicate
        (obj.all.Applicability_Constraints,
         obj2.all.Applicability_Constraints,
         True);

      return obj2;

   end Copy;

end Applicability_Constraints_Main_Structure;