------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- 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 GNU GPL real-time scheduling analysis tool. -- This program provides services to automatically check schedulability and -- other performance criteria of real-time architecture models. -- -- Copyright (C) 2002-2016 Frank Singhoff, Alain Plantec, Jerome Legrand -- -- The Cheddar project was started in 2002 by -- Frank Singhoff, Lab-STICC UMR 6285 laboratory, Université de Bretagne Occidentale -- -- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- The full list of contributors and sponsors can be found in AUTHORS.txt and SPONSORS.txt -- -- 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 Caches is function XML_String(obj : in Cache_Addressing_Type) return Unbounded_String is begin return to_unbounded_string(Cache_Addressing_Type'image (obj) ); end XML_String; function XML_Ref_String (obj : in Cache_Addressing_Type) return Unbounded_String is begin raise xml_ref_string_error; return to_unbounded_string(""); end XML_Ref_String; function XML_String(obj : in Cache_Type) return Unbounded_String is begin return to_unbounded_string(Cache_Type'image (obj) ); end XML_String; function XML_Ref_String (obj : in Cache_Type) return Unbounded_String is begin raise xml_ref_string_error; return to_unbounded_string(""); end XML_Ref_String; function XML_String(obj : in Cache_Coherence_Protocol_Type) return Unbounded_String is begin return to_unbounded_string(Cache_Coherence_Protocol_Type'image (obj) ); end XML_String; function XML_Ref_String (obj : in Cache_Coherence_Protocol_Type) return Unbounded_String is begin raise xml_ref_string_error; return to_unbounded_string(""); end XML_Ref_String; function XML_String(obj : in Cache_Replacement_Policy_Type) return Unbounded_String is begin return to_unbounded_string(Cache_Replacement_Policy_Type'image (obj) ); end XML_String; function XML_Ref_String (obj : in Cache_Replacement_Policy_Type) return Unbounded_String is begin raise xml_ref_string_error; return to_unbounded_string(""); end XML_Ref_String; function XML_String(obj : in Write_Policy_Type) return Unbounded_String is begin return to_unbounded_string(Write_Policy_Type'image (obj) ); end XML_String; function XML_Ref_String (obj : in Write_Policy_Type) return Unbounded_String is begin raise xml_ref_string_error; return to_unbounded_string(""); end XML_Ref_String; -- --------= Cache_Block =-------- procedure Initialize(obj : in out Cache_Block) is begin initialize(Named_Object(obj)); obj.cache_block_number := 0; obj.object_type := Cache_Block_Object_Type; end Initialize; function Copy ( obj : in Cache_Block ) return Cache_Block_Ptr is New_Cache_Block : Cache_Block_Ptr; begin New_Cache_Block := new Cache_Block'(obj); return (New_Cache_Block); end Copy; function Copy ( obj : in Cache_Block_Ptr ) return Cache_Block_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Cache_Block) is begin put(Named_Object(obj)); put("cache_block_number: "); standards_io.natural_io.put(obj.cache_block_number); put ( "; " ); end Put; procedure Put(obj : in Cache_Block_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Cache_Block_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Cache_Block) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Cache_Block_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Cache_Block ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.CACHE_BLOCK"); Add (list, s); return list; end type_of; function type_of ( obj : in Cache_Block_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Cache_Block; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Named_Object(obj), result); if (XML_String(obj.cache_block_number) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.cache_block_number) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Cache_Block) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Cache_Block_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Cache_Block) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Cache_Block_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Cache_Access_Profile =-------- procedure Initialize(obj : in out Cache_Access_Profile) is begin initialize(Named_Object(obj)); obj.object_type := Cache_Access_Profile_Object_Type; end Initialize; function Copy ( obj : in Cache_Access_Profile ) return Cache_Access_Profile_Ptr is New_Cache_Access_Profile : Cache_Access_Profile_Ptr; begin New_Cache_Access_Profile := new Cache_Access_Profile'(obj); return (New_Cache_Access_Profile); end Copy; function Copy ( obj : in Cache_Access_Profile_Ptr ) return Cache_Access_Profile_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Cache_Access_Profile) is begin put(Named_Object(obj)); put("UCBs: "); put(obj.UCBs); put ( "; " ); put("ECBs: "); put(obj.ECBs); put ( "; " ); end Put; procedure Put(obj : in Cache_Access_Profile_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Cache_Access_Profile_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Cache_Access_Profile) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Cache_Access_Profile_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Cache_Access_Profile ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.CACHE_ACCESS_PROFILE"); Add (list, s); return list; end type_of; function type_of ( obj : in Cache_Access_Profile_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Cache_Access_Profile; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Named_Object(obj), result); if (XML_String(obj.UCBs) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.UCBs) & to_unbounded_string(""); end if; if (XML_String(obj.ECBs) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.ECBs) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Cache_Access_Profile) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Cache_Access_Profile_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Cache_Access_Profile) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Cache_Access_Profile_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Generic_Cache =-------- procedure Initialize(obj : in out Generic_Cache) is begin initialize(Named_Object(obj)); obj.cache_size := 0; obj.line_size := 0; obj.associativity := 0; obj.block_reload_time := 0; obj.replacement_policy := Random; obj.coherence_protocol := Private_Cache_Protocol; obj.cache_category := Data_Cache_Type; obj.object_type := Cache_Object_Type; end Initialize; function Copy ( obj : in Generic_Cache ) return Generic_Cache_Ptr is New_Generic_Cache : Generic_Cache_Ptr; begin New_Generic_Cache := new Generic_Cache'(obj); return (New_Generic_Cache); end Copy; function Copy ( obj : in Generic_Cache_Ptr ) return Generic_Cache_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Generic_Cache) is begin put(Named_Object(obj)); put("cache_size: "); standards_io.natural_io.put(obj.cache_size); put ( "; " ); put("line_size: "); standards_io.natural_io.put(obj.line_size); put ( "; " ); put("associativity: "); standards_io.natural_io.put(obj.associativity); put ( "; " ); put("block_reload_time: "); standards_io.natural_io.put(obj.block_reload_time); put ( "; " ); put("replacement_policy: "); put(obj.replacement_policy); put ( "; " ); put("coherence_protocol: "); put(obj.coherence_protocol); put ( "; " ); put("cache_category: "); put(obj.cache_category); put ( "; " ); put("cache_blocks: "); put(obj.cache_blocks); put ( "; " ); end Put; procedure Put(obj : in Generic_Cache_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Generic_Cache_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Generic_Cache) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Generic_Cache_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Generic_Cache ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.GENERIC_CACHE"); Add (list, s); return list; end type_of; function type_of ( obj : in Generic_Cache_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Generic_Cache; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Named_Object(obj), result); if (XML_String(obj.cache_size) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.cache_size) & to_unbounded_string(""); end if; if (XML_String(obj.line_size) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.line_size) & to_unbounded_string(""); end if; if (XML_String(obj.associativity) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.associativity) & to_unbounded_string(""); end if; if (XML_String(obj.block_reload_time) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.block_reload_time) & to_unbounded_string(""); end if; if (XML_String(obj.replacement_policy) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.replacement_policy) & to_unbounded_string(""); end if; if (XML_String(obj.coherence_protocol) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.coherence_protocol) & to_unbounded_string(""); end if; if (XML_String(obj.cache_category) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.cache_category) & to_unbounded_string(""); end if; if (XML_String(obj.cache_blocks) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.cache_blocks) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Generic_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Generic_Cache_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Generic_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Generic_Cache_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Data_Cache =-------- procedure Initialize(obj : in out Data_Cache) is begin initialize(Generic_Cache(obj)); obj.write_policy := Copy_Back; obj.cache_category := Data_Cache_Type; end Initialize; function Copy ( obj : in Data_Cache ) return Generic_Cache_Ptr is New_Data_Cache : Data_Cache_Ptr; begin New_Data_Cache := new Data_Cache'(obj); return Generic_Cache_Ptr(New_Data_Cache); end Copy; function Copy ( obj : in Data_Cache_Ptr ) return Generic_Cache_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Data_Cache) is begin put(Generic_Cache(obj)); put("write_policy: "); put(obj.write_policy); put ( "; " ); end Put; procedure Put(obj : in Data_Cache_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Data_Cache_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Data_Cache) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Data_Cache_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Data_Cache ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.GENERIC_CACHE"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.DATA_CACHE"); Add (list, s); return list; end type_of; function type_of ( obj : in Data_Cache_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Data_Cache; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Generic_Cache(obj), result); if (XML_String(obj.write_policy) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.write_policy) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Data_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Data_Cache_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Data_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Data_Cache_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Instruction_Cache =-------- procedure Initialize(obj : in out Instruction_Cache) is begin initialize(Generic_Cache(obj)); obj.cache_category := Instruction_Cache_Type; end Initialize; function Copy ( obj : in Instruction_Cache ) return Generic_Cache_Ptr is New_Instruction_Cache : Instruction_Cache_Ptr; begin New_Instruction_Cache := new Instruction_Cache'(obj); return Generic_Cache_Ptr(New_Instruction_Cache); end Copy; function Copy ( obj : in Instruction_Cache_Ptr ) return Generic_Cache_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Instruction_Cache) is begin put(Generic_Cache(obj)); end Put; procedure Put(obj : in Instruction_Cache_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Instruction_Cache_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Instruction_Cache) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Instruction_Cache_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Instruction_Cache ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.GENERIC_CACHE"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.INSTRUCTION_CACHE"); Add (list, s); return list; end type_of; function type_of ( obj : in Instruction_Cache_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Instruction_Cache; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Generic_Cache(obj), result); end Build_Attributes_XML_String; function XML_String(obj : in Instruction_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Instruction_Cache_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Instruction_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Instruction_Cache_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Data_Instruction_Cache =-------- procedure Initialize(obj : in out Data_Instruction_Cache) is begin initialize(Generic_Cache(obj)); obj.write_policy := Copy_Back; obj.cache_category := Data_Instruction_Cache_Type; end Initialize; function Copy ( obj : in Data_Instruction_Cache ) return Generic_Cache_Ptr is New_Data_Instruction_Cache : Data_Instruction_Cache_Ptr; begin New_Data_Instruction_Cache := new Data_Instruction_Cache'(obj); return Generic_Cache_Ptr(New_Data_Instruction_Cache); end Copy; function Copy ( obj : in Data_Instruction_Cache_Ptr ) return Generic_Cache_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Data_Instruction_Cache) is begin put(Generic_Cache(obj)); put("write_policy: "); put(obj.write_policy); put ( "; " ); end Put; procedure Put(obj : in Data_Instruction_Cache_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Data_Instruction_Cache_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Data_Instruction_Cache) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Data_Instruction_Cache_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Data_Instruction_Cache ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.GENERIC_CACHE"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.DATA_INSTRUCTION_CACHE"); Add (list, s); return list; end type_of; function type_of ( obj : in Data_Instruction_Cache_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Data_Instruction_Cache; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Generic_Cache(obj), result); if (XML_String(obj.write_policy) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.write_policy) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Data_Instruction_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Data_Instruction_Cache_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Data_Instruction_Cache) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Data_Instruction_Cache_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; -- --------= Cache_System =-------- procedure Initialize(obj : in out Cache_System) is begin initialize(Named_Object(obj)); end Initialize; function Copy ( obj : in Cache_System ) return Cache_System_Ptr is New_Cache_System : Cache_System_Ptr; begin New_Cache_System := new Cache_System'(obj); return (New_Cache_System); end Copy; function Copy ( obj : in Cache_System_Ptr ) return Cache_System_Ptr is begin return copy(obj.all); end Copy; procedure Put(obj : in Cache_System) is begin put(Named_Object(obj)); put("caches: "); put(obj.caches); put ( "; " ); end Put; procedure Put(obj : in Cache_System_Ptr) is begin Put(Obj.All); end Put; procedure Put_Name ( obj : in Cache_System_Ptr) is begin Put ( To_String ( Obj.Name ) ); end Put_Name; function Get_Name (obj : in Cache_System) return Unbounded_String is begin return obj.name; end Get_Name; function Get_Name (obj : in Cache_System_ptr) return Unbounded_String is begin return obj.name; end Get_Name; function type_of ( obj : in Cache_System ) return unbounded_string_list is list : unbounded_string_list; s : unbounded_string_ptr; begin Initialize(list); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.GENERIC_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("OBJECTS.NAMED_OBJECT"); Add (list, s); s := new unbounded_string; s.all := to_unbounded_string("CACHES.CACHE_SYSTEM"); Add (list, s); return list; end type_of; function type_of ( obj : in Cache_System_Ptr ) return unbounded_string_list is begin return type_of(obj.all); end type_of; procedure Build_Attributes_XML_String(obj : in Cache_System; result : in out Unbounded_String) is begin Build_Attributes_XML_String(Named_Object(obj), result); if (XML_String(obj.caches) /= Empty_String) then result := result & to_unbounded_string("") & XML_String(obj.caches) & to_unbounded_string(""); end if; end Build_Attributes_XML_String; function XML_String(obj : in Cache_System) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); Build_Attributes_XML_String(obj, result); result := result & to_unbounded_string(""); return (result); end XML_String; function XML_String(obj : in Cache_System_Ptr) return Unbounded_String is begin if obj /= null then return XML_String(obj.all); else return Empty_String; end if; end XML_String; function XML_Ref_String(obj : in Cache_System) return Unbounded_String is result : Unbounded_String; begin result := to_unbounded_string(""); return (result); end XML_Ref_String; function XML_Ref_String(obj : in Cache_System_Ptr) return Unbounded_String is begin return XML_Ref_String(obj.all); end XML_Ref_String; End Caches;