------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- This Ada package was automatically generated by the software engineering tool 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-2009 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 Networks; use Networks; with Unicode; use Unicode; with Unicode.CES; use Unicode.CES; with xml_generic_parsers; use xml_generic_parsers; with Strings; use Strings; with Unbounded_Strings; use Unbounded_Strings; use unbounded_strings.Unbounded_String_List_Package; with call_framework_interface; use call_framework_interface; with Debug; use Debug; with Objects; use Objects; with Framework_Config; use Framework_Config; use Framework_Config.Priority_Io; with id_generators; use id_generators; with Text_io; use Text_io; with Convert_Strings; with Convert_Unbounded_Strings; with Ada.Finalization; with Unchecked_Deallocation; with Primitive_XML_Strings; use Primitive_XML_Strings; with Sets; with Task_Groups; use Task_Groups; with Tasks; use Tasks; with Offsets; use Offsets; use offsets.Offsets_Table_Package; with Parameters; use Parameters; use Parameters.Framework_Parameters_Table_Package; use parameters.User_Defined_Parameters_Table_Package; with standards_io; use standards_io; use standards_io.double_io; use standards_io.boolean_io; use standards_io.natural_io; with Dependencies; use Dependencies; with Messages; use Messages; with Buffers; use Buffers; use Buffers.Buffer_Roles_Package; with Resources; use Resources; with ARINC_653_Schema; use ARINC_653_Schema; with Lists; with Sections; use Sections; with Statements; use Statements; with Automaton; use Automaton; use automaton.Transition_Lists_Package; use automaton.State_Lists_Package; with Deployments; use Deployments; with Scheduling_Analysis; use Scheduling_Analysis; with Scheduler_Interface; use Scheduler_Interface; with Expressions; use Expressions; with Simulations; use Simulations; with Generic_Graph; use Generic_Graph; with Access_Lists; with Queueing_Systems; use Queueing_Systems; with Indexed_Tables; with Time_Unit_Events; use Time_Unit_Events; use Time_Unit_Events.Time_Unit_Package; with Caches; use Caches; with natural_util; use natural_util; with Scheduler; use Scheduler; with Tables; with Task_Set; use Task_Set; with Double_Util; use Double_Util; with Multiprocessor_Services_Interface; use Multiprocessor_Services_Interface; with Processors; use Processors; with Laws; use Laws; with AADL_Config; use AADL_Config; with Xml_Architecture_Parser_Interface; use Xml_Architecture_Parser_Interface; with Interpreter; use Interpreter; with processor_interface; use processor_interface; with AADL_Parser_Interface; use AADL_Parser_Interface; with Event_Analyzers; use Event_Analyzers; with Address_Spaces; use Address_Spaces; with DP_Graph; use DP_Graph; with Editor_Config; use Editor_Config; with Sax.Readers; use Sax.Readers; with Sax.Attributes; use Sax.Attributes; with Sax.Locators; use Sax.Locators; with Sax.Exceptions; use Sax.Exceptions; with Ada.Text_IO; use Ada.Text_IO; with Ada.Numerics.Aux; use Ada.Numerics.Aux; with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with ada.strings.unbounded.text_io; use ada.strings.unbounded.text_io; package xml_architecture_io is -- Attributes of the discriminated types type Dependency_io is record type_of_dependency : Dependency_Type; precedence_sink : Unbounded_String; precedence_source : Unbounded_String; buffer_dependent_task : Unbounded_String; buffer_orientation : Orientation_Dependency_Type; buffer_dependency_object : Unbounded_String; communication_dependent_task : Unbounded_String; communication_orientation : Orientation_Dependency_Type; communication_dependency_object : Unbounded_String; time_triggered_communication_sink : Unbounded_String; time_triggered_communication_source : Unbounded_String; timing_property : Time_Triggered_Communication_Timing_Property_Type; resource_dependency_resource : Unbounded_String; resource_dependency_task : Unbounded_String; black_board_dependent_task : Unbounded_String; black_board_orientation : Orientation_Dependency_Type; black_board_dependency_object : Unbounded_String; end record; type PortMappingType_Choice_io is record type_of_PortMappingType_Choice : PortMappingType_Choice_Type; end record; type Time_Unit_Event_io is record type_of_event : Time_Unit_Event_Type; start_task : Unbounded_String; end_task : Unbounded_String; write_buffer : Unbounded_String; write_task : Unbounded_String; write_size : Integer; read_buffer : Unbounded_String; read_task : Unbounded_String; read_size : Integer; switched_task : Unbounded_String; running_core : Unbounded_String; running_task : Unbounded_String; current_priority : Integer; activation_task : Unbounded_String; allocate_task : Unbounded_String; allocate_resource : Unbounded_String; release_task : Unbounded_String; release_resource : Unbounded_String; wait_for_resource_task : Unbounded_String; wait_for_resource : Unbounded_String; send_task : Unbounded_String; send_message : Unbounded_String; receive_task : Unbounded_String; receive_message : Unbounded_String; wait_for_memory_task : Unbounded_String; wait_for_cache : Unbounded_String; activation_address_space : Unbounded_String; duration : Integer; end record; type Parameter_io is record type_of_parameter : Parameter_Type; parameter_name : Unbounded_String; boolean_value : Boolean; integer_value : Integer; double_value : Double; string_value : Unbounded_String; end record; procedure Start_Element( Handler: in out Xml_Generic_Parser; ref : in out unbounded_string; id : in out unbounded_string; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Dependency_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Dependency_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PortMappingType_Choice_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Time_Unit_Event_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Time_Unit_Event_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Parameter_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Initialize(obj : out Dependency_io); procedure Initialize(obj : out PortMappingType_Choice_io); procedure Initialize(obj : out Time_Unit_Event_io); procedure Initialize(obj : out Parameter_io); -- Attributes of the parsed entities type Buffer_Role_io is record the_role : Buffer_Role_Type; size : Integer; time : Integer; timeout : Integer; end record; type Buffer_Size_Item_io is record time : Integer; size : Integer; end record; type Density_Item_io is record response_time : Integer; probability : Double; end record; type Deadlock_Item_io is record time : Integer; task_name : Unbounded_String; resource_name : Unbounded_String; end record; type Priority_Inversion_Item_io is record start_time : Integer; end_time : Integer; task_name : Unbounded_String; resource_name : Unbounded_String; end record; type Scheduling_Result_io is record scheduling_msg : Unbounded_String; has_error : Boolean; error_msg : Unbounded_String; end record; type Framework_Request_io is record statement : Framework_Statement_Type; target : Unbounded_String; end record; type Framework_Response_io is record title : Unbounded_String; text : Unbounded_String; end record; type Scheduling_Parameters_io is record scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Critical_Section_io is record task_begin : Integer; task_end : Integer; end record; type Automaton_Status_io is record current_state : Unbounded_String; end record; type Transition_Status_io is record code : Unbounded_String; status : Status_Type; wakeup_time : Integer; end record; type Binding_Record_Type_io is record cpu_name : Unbounded_String; address_space_name : Unbounded_String; end record; type Offset_Type_io is record offset_value : Integer; activation : Integer; end record; procedure Initialize(obj : out Buffer_Role_io); procedure Initialize(obj : out Buffer_Size_Item_io); procedure Initialize(obj : out Density_Item_io); procedure Initialize(obj : out Deadlock_Item_io); procedure Initialize(obj : out Priority_Inversion_Item_io); procedure Initialize(obj : out Scheduling_Result_io); procedure Initialize(obj : out Framework_Request_io); procedure Initialize(obj : out Framework_Response_io); procedure Initialize(obj : out Scheduling_Parameters_io); procedure Initialize(obj : out Critical_Section_io); procedure Initialize(obj : out Automaton_Status_io); procedure Initialize(obj : out Transition_Status_io); procedure Initialize(obj : out Binding_Record_Type_io); procedure Initialize(obj : out Offset_Type_io); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Role_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Role_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Size_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Size_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Density_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Density_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Deadlock_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Deadlock_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Priority_Inversion_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Priority_Inversion_Item_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Scheduling_Result_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Scheduling_Result_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Framework_Request_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Framework_Request_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Framework_Response_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Framework_Response_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Scheduling_Parameters_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Scheduling_Parameters_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Critical_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Critical_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Automaton_Status_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Automaton_Status_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Transition_Status_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Transition_Status_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Binding_Record_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Binding_Record_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Offset_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Offset_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); type Generic_Object_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; end record; type Named_Object_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; end record; type Generic_Task_Group_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_group_type : Task_Groups_type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; seed : Integer; predictable : Boolean; period : Integer; jitter : Integer; activation_rule : Unbounded_String; end record; type Transaction_Task_Group_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_group_type : Task_Groups_type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; seed : Integer; predictable : Boolean; period : Integer; jitter : Integer; activation_rule : Unbounded_String; end record; type Multiframe_Task_Group_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_group_type : Task_Groups_type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; seed : Integer; predictable : Boolean; period : Integer; jitter : Integer; activation_rule : Unbounded_String; end record; type Network_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; network_type : Networks_Type; end record; type ARINC_653_Object_io is record cheddar_private_id : Unbounded_String; end record; type Error_ID_Type_io is record cheddar_private_id : Unbounded_String; ErrorIdentifier : Unbounded_String; Description : Unbounded_String; PartitionAction : PartitionActionType; ModuleAction : ModuleActionType; end record; type Error_ID_Action_Type_io is record cheddar_private_id : Unbounded_String; ErrorIdentifier : Unbounded_String; Description : Unbounded_String; PartitionAction : PartitionActionType; ModuleAction : ModuleActionType; end record; type Error_ID_Level_Type_io is record cheddar_private_id : Unbounded_String; ErrorIdentifier : Unbounded_String; Description : Unbounded_String; PartitionAction : PartitionActionType; ModuleAction : ModuleActionType; ErrorLevel : ErrorLevelType; ErrorCode : ErrorCodeType; end record; type System_State_Entry_Type_io is record cheddar_private_id : Unbounded_String; SystemState : Unbounded_String; Description : Unbounded_String; end record; type SysHM_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type System_HM_TableType_io is record cheddar_private_id : Unbounded_String; end record; type Mod_HM_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type Module_HM_Type_io is record cheddar_private_id : Unbounded_String; ModuleCallback : Unbounded_String; end record; type PortExt_Type_io is record cheddar_private_id : Unbounded_String; end record; type PortType_io is record cheddar_private_id : Unbounded_String; Name : Unbounded_String; MaxMessageSize : Unbounded_String; Direction : DirectionType; end record; type SamplingPortType_io is record cheddar_private_id : Unbounded_String; Name : Unbounded_String; MaxMessageSize : Unbounded_String; Direction : DirectionType; RefreshRateSeconds : Double; end record; type ProcExt_Type_io is record cheddar_private_id : Unbounded_String; end record; type ProcessType_io is record cheddar_private_id : Unbounded_String; Name : Unbounded_String; StackSize : Unbounded_String; end record; type QueuingPortType_io is record cheddar_private_id : Unbounded_String; Name : Unbounded_String; MaxMessageSize : Unbounded_String; Direction : DirectionType; MaxNbMessages : Integer; end record; type PartitionExt_Type_io is record cheddar_private_id : Unbounded_String; end record; type PartitionType_io is record cheddar_private_id : Unbounded_String; PartitionIdentifier : Unbounded_String; PartitionName : Unbounded_String; Criticality : CriticalityType; SystemPartition : Boolean; EntryPoint : Unbounded_String; end record; type Memory_Requirements_io is record cheddar_private_id : Unbounded_String; regionName : Unbounded_String; memory_type : Unbounded_String; sizeBytes : Unbounded_String; physicalAddress : Unbounded_String; memoryAccess : Unbounded_String; end record; type Memory_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type Partition_Memory_Element_io is record cheddar_private_id : Unbounded_String; PartitionIdentifier : Unbounded_String; PartitionName : Unbounded_String; end record; type Partition_Sched_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type Window_Schedule_Element_io is record cheddar_private_id : Unbounded_String; WindowIdentifier : Unbounded_String; WindowStartSeconds : Double; WindowDurationSeconds : Double; PartitionPeriodStart : Boolean; end record; type Window_Sched_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type Partition_Schedule_Element_io is record cheddar_private_id : Unbounded_String; PartitionIdentifier : Unbounded_String; PartitionName : Unbounded_String; PeriodSeconds : Double; PeriodDurationSeconds : Double; end record; type Module_Schedule_Type_io is record cheddar_private_id : Unbounded_String; MajorFrameSeconds : Double; end record; type Part_HM_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type Partition_HM_Type_io is record cheddar_private_id : Unbounded_String; PartitionIdentifier : Unbounded_String; PartitionName : Unbounded_String; PartitionCallback : Unbounded_String; end record; type Pseudo_Partition_io is record cheddar_private_id : Unbounded_String; Name : Unbounded_String; PhysicalAddress : Unbounded_String; partition_procedure : Unbounded_String; end record; type Standard_Partition_io is record cheddar_private_id : Unbounded_String; PartitionIdentifier : Unbounded_String; PartitionName : Unbounded_String; PortName : Unbounded_String; PhysicalAddress : Unbounded_String; end record; type PortMap_Ext_Type_io is record cheddar_private_id : Unbounded_String; end record; type PortMappingType_io is record cheddar_private_id : Unbounded_String; end record; type Channel_io is record cheddar_private_id : Unbounded_String; ChannelIdentifier : Unbounded_String; ChannelName : Unbounded_String; end record; type ModExt_Type_io is record cheddar_private_id : Unbounded_String; end record; type ARINC_653_Module_io is record cheddar_private_id : Unbounded_String; ModuleName : Unbounded_String; ModuleVersion : Unbounded_String; ModuleId : Unbounded_String; end record; type Generic_Message_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; message_type : Messages_Type; deadline : Integer; size : Integer; response_time : Integer; communication_time : Integer; end record; type Periodic_Message_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; message_type : Messages_Type; deadline : Integer; size : Integer; response_time : Integer; communication_time : Integer; period : Integer; jitter : Integer; end record; type Aperiodic_Message_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; message_type : Messages_Type; deadline : Integer; size : Integer; response_time : Integer; communication_time : Integer; end record; type Generic_Section_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; section_type : Sections_Type; file_name : Unbounded_String; end record; type Computation_Section_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; section_type : Sections_Type; file_name : Unbounded_String; first_statement : Unbounded_String; end record; type Synchronization_Section_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; section_type : Sections_Type; file_name : Unbounded_String; end record; type Generic_Deployment_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; end record; type Static_Deployment_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; allocation : Unbounded_String; end record; type Dynamic_Deployment_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Generic_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; end record; type Constant_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; end record; type Variable_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; identifier : Unbounded_String; variable_type : Simulation_Type; end record; type Array_Variable_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; identifier : Unbounded_String; variable_type : Simulation_Type; array_index : Unbounded_String; end record; type Binary_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; identifier : Unbounded_String; variable_type : Simulation_Type; rvalue : Unbounded_String; lvalue : Unbounded_String; operator : Operator_Type; end record; type Unary_Expression_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; expression_type : Expressions_Type; identifier : Unbounded_String; variable_type : Simulation_Type; operator : Operator_Type; VALUE : Unbounded_String; end record; type Generic_Node_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; end record; type Generic_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; end record; type Graph_io is record cheddar_private_id : Unbounded_String; end record; type Buffer_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; cpu_name : Unbounded_String; address_space_name : Unbounded_String; queueing_system_type : Queueing_Systems_Type; size : Integer; end record; type Generic_Scheduler_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Aperiodic_Task_Server_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Polling_Server_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Deferred_Server_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Sporadic_Server_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Hierarchical_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Compiled_User_Defined_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Automata_User_Defined_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Pipeline_User_Defined_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type User_Defined_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Earliest_Deadline_First_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Least_Laxity_First_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Rate_Monotonic_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Deadline_Monotonic_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Round_Robin_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Time_Sharing_Based_On_Wait_Time_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Posix_1003_Highest_Priority_First_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type D_Over_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Maximum_Urgency_First_Based_On_Laxity_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Maximum_Urgency_First_Based_On_Deadline_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Time_Sharing_Based_On_Cpu_Usage_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type No_Scheduling_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Hierarchical_Cyclic_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Hierarchical_Round_Robin_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Hierarchical_Fixed_Priority_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Hierarchical_Offline_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Fixed_Priority_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Dynamic_Priority_Protocol_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Generic_Cache_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; number_of_block : Integer; block_size : Integer; associativity : Integer; cache_replacement : Cache_Replacement_Type; hit_time : Double; miss_time : Double; miss_rate : Integer; cache_coherence_protocol : Cache_Coherence_Protocol_Type; cache_category : Cache_Type; end record; type Data_Cache_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; number_of_block : Integer; block_size : Integer; associativity : Integer; cache_replacement : Cache_Replacement_Type; hit_time : Double; miss_time : Double; miss_rate : Integer; cache_coherence_protocol : Cache_Coherence_Protocol_Type; cache_category : Cache_Type; write_policy : Write_Policy_Type; end record; type Instruction_Cache_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; number_of_block : Integer; block_size : Integer; associativity : Integer; cache_replacement : Cache_Replacement_Type; hit_time : Double; miss_time : Double; miss_rate : Integer; cache_coherence_protocol : Cache_Coherence_Protocol_Type; cache_category : Cache_Type; end record; type Data_Instruction_Cache_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; number_of_block : Integer; block_size : Integer; associativity : Integer; cache_replacement : Cache_Replacement_Type; hit_time : Double; miss_time : Double; miss_rate : Integer; cache_coherence_protocol : Cache_Coherence_Protocol_Type; cache_category : Cache_Type; write_policy : Write_Policy_Type; end record; type Cache_System_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; end record; type Generic_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; end record; type Nop_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; end record; type Exit_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; end record; type Put_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; put_from : Unbounded_String; put_to : Unbounded_String; expression_to_be_displayed : Unbounded_String; end record; type If_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; bool_expression : Unbounded_String; else_statement : Unbounded_String; then_statement : Unbounded_String; end record; type Assign_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; lvalue : Unbounded_String; rvalue : Unbounded_String; end record; type Clock_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; lvalue : Unbounded_String; rvalue : Unbounded_String; end record; type For_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; for_type : Table_Types; included_statement : Unbounded_String; for_index : Unbounded_String; end record; type Return_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; return_value : Unbounded_String; end record; type While_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; included_statement : Unbounded_String; condition : Unbounded_String; end record; type Random_Initialize_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; lvalue : Unbounded_String; law : Laws_Type; parameter1 : Unbounded_String; parameter2 : Unbounded_String; end record; type Set_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; set_id : Unbounded_String; set_value : Unbounded_String; end record; type Subprogram_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; included_statement : Unbounded_String; is_a_function : Boolean; subprogram_name : Unbounded_String; end record; type Subprogram_Call_Statement_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; statement_type : Statements_Type; line_number : Integer; file_name : Unbounded_String; next_statement : Unbounded_String; is_a_function : Boolean; called_subprogram : Unbounded_String; return_value : Unbounded_String; end record; type Generic_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; end record; type Np_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; end record; type Priority_Constrained_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; ceiling_priority : Integer; end record; type Pip_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; end record; type Pcp_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; ceiling_priority : Integer; end record; type IPcp_Resource_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; state : Integer; size : Integer; address : Integer; protocol : Resources_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; ceiling_priority : Integer; end record; type State_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; is_initial : Boolean; end record; type Synchronization_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; synchronization_type : Synchronizations_Type; end record; type Transition_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; from_state : Unbounded_String; to_state : Unbounded_String; guards : Unbounded_String; clocks : Unbounded_String; synchronization : Unbounded_String; end record; type Core_Unit_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; speed : Double; l1_cache_system_name : Unbounded_String; end record; type Generic_Processor_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; network : Unbounded_String; processor_type : Processors_type; migration_type : migrations_type; end record; type Mono_Core_Processor_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; network : Unbounded_String; processor_type : Processors_type; migration_type : migrations_type; core : Unbounded_String; end record; type Multi_Cores_Processor_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; network : Unbounded_String; processor_type : Processors_type; migration_type : migrations_type; l2_cache_system_name : Unbounded_String; end record; type Event_Analyzer_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; event_analyzer_source_file_name : Unbounded_String; end record; type Address_Space_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; cpu_name : Unbounded_String; text_memory_size : Integer; stack_memory_size : Integer; data_memory_size : Integer; heap_memory_size : Integer; scheduler_type : Schedulers_Type; quantum : Integer; preemptive_type : Preemptives_Type; automaton_name : Unbounded_String; capacity : Integer; period : Integer; priority : Integer; user_defined_scheduler_source : Unbounded_String; user_defined_scheduler_source_file_name : Unbounded_String; start_time : Integer; end record; type Generic_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; end record; type Periodic_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; end record; type Aperiodic_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; end record; type Poisson_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; seed : Integer; predictable : Boolean; end record; type Sporadic_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; seed : Integer; predictable : Boolean; end record; type Parametric_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; seed : Integer; predictable : Boolean; activation_rule : Unbounded_String; end record; type Scheduling_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; seed : Integer; predictable : Boolean; end record; type Frame_Task_io is record cheddar_private_id : Unbounded_String; object_type : Objects_Type; name : Unbounded_String; task_type : Tasks_Type; cpu_name : Unbounded_String; address_space_name : Unbounded_String; capacity : Integer; deadline : Integer; start_time : Integer; priority : Integer; blocking_time : Integer; policy : Policies; text_memory_size : Integer; stack_memory_size : Integer; criticality : Integer; context_switch_overhead : Integer; period : Integer; jitter : Integer; interarrival : Integer; end record; type Task_Node_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; TaskRef : Unbounded_String; Kind : Tasks_Type; Proc : Unbounded_String; end record; type Time_Triggered_Communication_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; Timing_Property : Time_Triggered_Communication_Timing_Property_Type; end record; type Resource_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; Resource_Dependency_Resource : Unbounded_String; end record; type Precedence_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; end record; type Communication_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; Communication_Dependency_Object : Unbounded_String; end record; type Buffer_Edge_io is record cheddar_private_id : Unbounded_String; Id : Unbounded_String; Node_1 : Unbounded_String; Node_2 : Unbounded_String; Buffer_Dependency_Object : Unbounded_String; end record; procedure Initialize(obj : out Generic_Object_io); procedure Initialize(obj : out Named_Object_io); procedure Initialize(obj : out Generic_Task_Group_io); procedure Initialize(obj : out Transaction_Task_Group_io); procedure Initialize(obj : out Multiframe_Task_Group_io); procedure Initialize(obj : out Network_io); procedure Initialize(obj : out ARINC_653_Object_io); procedure Initialize(obj : out Error_ID_Type_io); procedure Initialize(obj : out Error_ID_Action_Type_io); procedure Initialize(obj : out Error_ID_Level_Type_io); procedure Initialize(obj : out System_State_Entry_Type_io); procedure Initialize(obj : out SysHM_Ext_Type_io); procedure Initialize(obj : out System_HM_TableType_io); procedure Initialize(obj : out Mod_HM_Ext_Type_io); procedure Initialize(obj : out Module_HM_Type_io); procedure Initialize(obj : out PortExt_Type_io); procedure Initialize(obj : out PortType_io); procedure Initialize(obj : out SamplingPortType_io); procedure Initialize(obj : out ProcExt_Type_io); procedure Initialize(obj : out ProcessType_io); procedure Initialize(obj : out QueuingPortType_io); procedure Initialize(obj : out PartitionExt_Type_io); procedure Initialize(obj : out PartitionType_io); procedure Initialize(obj : out Memory_Requirements_io); procedure Initialize(obj : out Memory_Ext_Type_io); procedure Initialize(obj : out Partition_Memory_Element_io); procedure Initialize(obj : out Partition_Sched_Ext_Type_io); procedure Initialize(obj : out Window_Schedule_Element_io); procedure Initialize(obj : out Window_Sched_Ext_Type_io); procedure Initialize(obj : out Partition_Schedule_Element_io); procedure Initialize(obj : out Module_Schedule_Type_io); procedure Initialize(obj : out Part_HM_Ext_Type_io); procedure Initialize(obj : out Partition_HM_Type_io); procedure Initialize(obj : out Pseudo_Partition_io); procedure Initialize(obj : out Standard_Partition_io); procedure Initialize(obj : out PortMap_Ext_Type_io); procedure Initialize(obj : out PortMappingType_io); procedure Initialize(obj : out Channel_io); procedure Initialize(obj : out ModExt_Type_io); procedure Initialize(obj : out ARINC_653_Module_io); procedure Initialize(obj : out Generic_Message_io); procedure Initialize(obj : out Periodic_Message_io); procedure Initialize(obj : out Aperiodic_Message_io); procedure Initialize(obj : out Generic_Section_io); procedure Initialize(obj : out Computation_Section_io); procedure Initialize(obj : out Synchronization_Section_io); procedure Initialize(obj : out Generic_Deployment_io); procedure Initialize(obj : out Static_Deployment_io); procedure Initialize(obj : out Dynamic_Deployment_io); procedure Initialize(obj : out Generic_Expression_io); procedure Initialize(obj : out Constant_Expression_io); procedure Initialize(obj : out Variable_Expression_io); procedure Initialize(obj : out Array_Variable_Expression_io); procedure Initialize(obj : out Binary_Expression_io); procedure Initialize(obj : out Unary_Expression_io); procedure Initialize(obj : out Generic_Node_io); procedure Initialize(obj : out Generic_Edge_io); procedure Initialize(obj : out Graph_io); procedure Initialize(obj : out Buffer_io); procedure Initialize(obj : out Generic_Scheduler_io); procedure Initialize(obj : out Aperiodic_Task_Server_Protocol_io); procedure Initialize(obj : out Polling_Server_Protocol_io); procedure Initialize(obj : out Deferred_Server_Protocol_io); procedure Initialize(obj : out Sporadic_Server_Protocol_io); procedure Initialize(obj : out Hierarchical_Protocol_io); procedure Initialize(obj : out Compiled_User_Defined_Protocol_io); procedure Initialize(obj : out Automata_User_Defined_Protocol_io); procedure Initialize(obj : out Pipeline_User_Defined_Protocol_io); procedure Initialize(obj : out User_Defined_Protocol_io); procedure Initialize(obj : out Earliest_Deadline_First_Protocol_io); procedure Initialize(obj : out Least_Laxity_First_Protocol_io); procedure Initialize(obj : out Rate_Monotonic_Protocol_io); procedure Initialize(obj : out Deadline_Monotonic_Protocol_io); procedure Initialize(obj : out Round_Robin_Protocol_io); procedure Initialize(obj : out Time_Sharing_Based_On_Wait_Time_Protocol_io); procedure Initialize(obj : out Posix_1003_Highest_Priority_First_Protocol_io); procedure Initialize(obj : out D_Over_Protocol_io); procedure Initialize(obj : out Maximum_Urgency_First_Based_On_Laxity_Protocol_io); procedure Initialize(obj : out Maximum_Urgency_First_Based_On_Deadline_Protocol_io); procedure Initialize(obj : out Time_Sharing_Based_On_Cpu_Usage_Protocol_io); procedure Initialize(obj : out No_Scheduling_Protocol_io); procedure Initialize(obj : out Hierarchical_Cyclic_Protocol_io); procedure Initialize(obj : out Hierarchical_Round_Robin_Protocol_io); procedure Initialize(obj : out Hierarchical_Fixed_Priority_Protocol_io); procedure Initialize(obj : out Hierarchical_Offline_Protocol_io); procedure Initialize(obj : out Fixed_Priority_Protocol_io); procedure Initialize(obj : out Dynamic_Priority_Protocol_io); procedure Initialize(obj : out Generic_Cache_io); procedure Initialize(obj : out Data_Cache_io); procedure Initialize(obj : out Instruction_Cache_io); procedure Initialize(obj : out Data_Instruction_Cache_io); procedure Initialize(obj : out Cache_System_io); procedure Initialize(obj : out Generic_Statement_io); procedure Initialize(obj : out Nop_Statement_io); procedure Initialize(obj : out Exit_Statement_io); procedure Initialize(obj : out Put_Statement_io); procedure Initialize(obj : out If_Statement_io); procedure Initialize(obj : out Assign_Statement_io); procedure Initialize(obj : out Clock_Statement_io); procedure Initialize(obj : out For_Statement_io); procedure Initialize(obj : out Return_Statement_io); procedure Initialize(obj : out While_Statement_io); procedure Initialize(obj : out Random_Initialize_Statement_io); procedure Initialize(obj : out Set_Statement_io); procedure Initialize(obj : out Subprogram_Statement_io); procedure Initialize(obj : out Subprogram_Call_Statement_io); procedure Initialize(obj : out Generic_Resource_io); procedure Initialize(obj : out Np_Resource_io); procedure Initialize(obj : out Priority_Constrained_Resource_io); procedure Initialize(obj : out Pip_Resource_io); procedure Initialize(obj : out Pcp_Resource_io); procedure Initialize(obj : out IPcp_Resource_io); procedure Initialize(obj : out State_io); procedure Initialize(obj : out Synchronization_io); procedure Initialize(obj : out Transition_io); procedure Initialize(obj : out Core_Unit_io); procedure Initialize(obj : out Generic_Processor_io); procedure Initialize(obj : out Mono_Core_Processor_io); procedure Initialize(obj : out Multi_Cores_Processor_io); procedure Initialize(obj : out Event_Analyzer_io); procedure Initialize(obj : out Address_Space_io); procedure Initialize(obj : out Generic_Task_io); procedure Initialize(obj : out Periodic_Task_io); procedure Initialize(obj : out Aperiodic_Task_io); procedure Initialize(obj : out Poisson_Task_io); procedure Initialize(obj : out Sporadic_Task_io); procedure Initialize(obj : out Parametric_Task_io); procedure Initialize(obj : out Scheduling_Task_io); procedure Initialize(obj : out Frame_Task_io); procedure Initialize(obj : out Task_Node_io); procedure Initialize(obj : out Time_Triggered_Communication_Edge_io); procedure Initialize(obj : out Resource_Edge_io); procedure Initialize(obj : out Precedence_Edge_io); procedure Initialize(obj : out Communication_Edge_io); procedure Initialize(obj : out Buffer_Edge_io); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Object_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Named_Object_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Task_Group_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Transaction_Task_Group_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Multiframe_Task_Group_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Network_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out ARINC_653_Object_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Error_ID_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Error_ID_Action_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Error_ID_Level_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out System_State_Entry_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out SysHM_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out System_HM_TableType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Mod_HM_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Module_HM_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PortExt_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PortType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out SamplingPortType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out ProcExt_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out ProcessType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out QueuingPortType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PartitionExt_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PartitionType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Memory_Requirements_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Memory_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Partition_Memory_Element_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Partition_Sched_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Window_Schedule_Element_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Window_Sched_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Partition_Schedule_Element_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Module_Schedule_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Part_HM_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Partition_HM_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Pseudo_Partition_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Standard_Partition_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PortMap_Ext_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out PortMappingType_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Channel_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out ModExt_Type_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out ARINC_653_Module_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Message_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Periodic_Message_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Aperiodic_Message_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Computation_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Computation_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Synchronization_Section_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Deployment_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Static_Deployment_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Dynamic_Deployment_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Constant_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Variable_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Array_Variable_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Array_Variable_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Binary_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Binary_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Unary_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Unary_Expression_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Node_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Graph_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Scheduler_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Aperiodic_Task_Server_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Polling_Server_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Deferred_Server_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Sporadic_Server_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Hierarchical_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Compiled_User_Defined_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Automata_User_Defined_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Pipeline_User_Defined_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out User_Defined_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Earliest_Deadline_First_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Least_Laxity_First_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Rate_Monotonic_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Deadline_Monotonic_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Round_Robin_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Time_Sharing_Based_On_Wait_Time_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Posix_1003_Highest_Priority_First_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out D_Over_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Maximum_Urgency_First_Based_On_Laxity_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Maximum_Urgency_First_Based_On_Deadline_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Time_Sharing_Based_On_Cpu_Usage_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out No_Scheduling_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Hierarchical_Cyclic_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Hierarchical_Round_Robin_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Hierarchical_Fixed_Priority_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Hierarchical_Offline_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Fixed_Priority_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Dynamic_Priority_Protocol_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Cache_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Data_Cache_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Instruction_Cache_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Data_Instruction_Cache_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Cache_System_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Nop_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Nop_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Exit_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Exit_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Put_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Put_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out If_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out If_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Assign_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Assign_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Clock_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Clock_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out For_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out For_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Return_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Return_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out While_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out While_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Random_Initialize_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Random_Initialize_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Set_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Set_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Subprogram_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Subprogram_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Subprogram_Call_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Subprogram_Call_Statement_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Np_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Priority_Constrained_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Pip_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Pcp_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out IPcp_Resource_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out State_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Synchronization_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Transition_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Transition_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Core_Unit_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Processor_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Mono_Core_Processor_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Mono_Core_Processor_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Multi_Cores_Processor_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Event_Analyzer_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Address_Space_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Generic_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Periodic_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Aperiodic_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Poisson_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Sporadic_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Parametric_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Scheduling_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Frame_Task_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Task_Node_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Task_Node_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Time_Triggered_Communication_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Resource_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Resource_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Precedence_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Communication_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Communication_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); procedure Start_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""; Atts : Sax.Attributes.Attributes'Class); procedure End_Element( Handler : in out Xml_generic_parser; obj : in out Buffer_Edge_io; Namespace_Uri : Unicode.CES.Byte_Sequence := ""; Local_Name : Unicode.CES.Byte_Sequence := ""; Qname : Unicode.CES.Byte_Sequence := ""); end xml_architecture_io;