------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- 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 &
" " &
XML_String (obj.Name, level) &
" " &
Unbounded_Lf;
result := result &
ASCII.HT &
" " &
XML_String (obj.Result, level) &
" " &
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 := "" & Unbounded_Lf;
Build_Attributes_XML_String (obj, level, result);
result := result & "" & 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 &
" " &
XML_String (obj.Name, level) &
" " &
Unbounded_Lf;
result := result &
ASCII.HT &
" " &
XML_String (obj.Feasibility_Test_Names, level) &
" " &
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 := "" & Unbounded_Lf;
Build_Attributes_XML_String (obj, level, result);
result := result & "" & 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 := "" & Unbounded_Lf;
Build_Attributes_XML_String (obj, level, result);
result := result & "" & 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;