------------------------------------------------------------------------------
------------------------------------------------------------------------------
--  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 Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

with Ada.Strings.Unbounded.Text_IO; use Ada.Strings.Unbounded.Text_IO;

with Text_IO; use Text_IO;

with Unbounded_Strings; use Unbounded_Strings;

with Convert_Strings;

with Convert_Unbounded_Strings;

with Standards_Io; use Standards_Io;

use Standards_Io.Boolean_Io;

with Ada.Finalization;

use Unbounded_Strings.Unbounded_String_List_Package;

with Unchecked_Deallocation;

with Lists;

with Access_Lists;

with Framework_Config; use Framework_Config;

with Systems; use Systems;

package Applicability_Constraints_Main_Structure is

   type Applicability_Constraint_Function is access function
     (Context : in System)
   return       Boolean;
   -- --------= Applicability_Constraint =--------

   type Applicability_Constraint is record
      Name                   : Unbounded_String;
      Result                 : Boolean;
      Corresponding_Function : Applicability_Constraint_Function;
   end record;

   type Applicability_Constraint_Ptr is access all Applicability_Constraint;

   procedure Initialize (obj : out Applicability_Constraint);
   procedure Initialize (obj : out Applicability_Constraint_Ptr);
   procedure Put (obj : in Applicability_Constraint);
   procedure Put (obj : in Applicability_Constraint_Ptr);
   procedure Build_Attributes_XML_String
     (obj    : in Applicability_Constraint;
      level  : in Natural := 0;
      result : in out Unbounded_String);
   function XML_String
     (obj   : in Applicability_Constraint;
      level : in Natural := 0)
      return  Unbounded_String;
   function XML_String
     (obj   : in Applicability_Constraint_Ptr;
      level : in Natural := 0)
      return  Unbounded_String;
   procedure Free is new Unchecked_Deallocation (
      Applicability_Constraint,
      Applicability_Constraint_Ptr);
   -- added manually by Vincent for access_list modification
   --
   function Copy
     (obj  : in Applicability_Constraint_Ptr)
      return Applicability_Constraint_Ptr;

   package Applicability_Constraints_List_Package is new Access_Lists (
      Applicability_Constraint,
      Applicability_Constraint_Ptr,
      Put,
      Free,
      Copy,
      XML_String);
   use Applicability_Constraints_List_Package;
   subtype Applicability_Constraints_List is
     Applicability_Constraints_List_Package.List;
   subtype Applicability_Constraints_List_Iterator is
     Applicability_Constraints_List_Package.Iterator;

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

   type Applicability_Constraint_Case is record
      Name                      : Unbounded_String;
      Feasibility_Test_Names    : Unbounded_String;
      Applicability_Constraints : Applicability_Constraints_List;
   end record;

   type Applicability_Constraint_Case_Ptr is access all
     Applicability_Constraint_Case;

   procedure Initialize (obj : out Applicability_Constraint_Case);
   procedure Initialize (obj : out Applicability_Constraint_Case_Ptr);
   procedure Put (obj : in Applicability_Constraint_Case);
   procedure Put (obj : in Applicability_Constraint_Case_Ptr);
   procedure Build_Attributes_XML_String
     (obj    : in Applicability_Constraint_Case;
      level  : in Natural := 0;
      result : in out Unbounded_String);
   function XML_String
     (obj   : in Applicability_Constraint_Case;
      level : in Natural := 0)
      return  Unbounded_String;
   function XML_String
     (obj   : in Applicability_Constraint_Case_Ptr;
      level : in Natural := 0)
      return  Unbounded_String;
   procedure Free is new Unchecked_Deallocation (
      Applicability_Constraint_Case,
      Applicability_Constraint_Case_Ptr);
   -- added manually by Vincent for access_list modification
   --
   function Copy
     (obj  : in Applicability_Constraint_Case_Ptr)
      return Applicability_Constraint_Case_Ptr;

   package Applicability_Constraint_Cases_List_Package is new Access_Lists (
      Applicability_Constraint_Case,
      Applicability_Constraint_Case_Ptr,
      Put,
      Free,
      Copy,
      XML_String);
   use Applicability_Constraint_Cases_List_Package;
   subtype Applicability_Constraint_Cases_List is
     Applicability_Constraint_Cases_List_Package.List;
   subtype Applicability_Constraint_Cases_List_Iterator is
     Applicability_Constraint_Cases_List_Package.Iterator;

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

   type All_Cases_Structure is record
      Cases : Applicability_Constraint_Cases_List;
   end record;

   type All_Cases_Structure_Ptr is access all All_Cases_Structure;

   procedure Initialize (obj : out All_Cases_Structure);
   procedure Put (obj : in All_Cases_Structure);
   procedure Put (obj : in All_Cases_Structure_Ptr);
   procedure Build_Attributes_XML_String
     (obj    : in All_Cases_Structure;
      level  : in Natural := 0;
      result : in out Unbounded_String);
   function XML_String
     (obj   : in All_Cases_Structure;
      level : in Natural := 0)
      return  Unbounded_String;


end Applicability_Constraints_Main_Structure;