---------------------------------------------------------- ---------------------- -- -- -- OCARINA COMPONENTS -- -- -- -- O C A R I N A . N O D E S -- -- -- -- B o d y -- -- -- -- Copyright (C) 2007, GET-Telecom Paris. -- -- -- -- Ocarina is free software; you can redistribute it and/or modify -- -- it under terms of the GNU General Public License as published by the -- -- Free Software Foundation; either version 2, or (at your option) any -- -- later version. Ocarina 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 distributed with Ocarina; see file COPYING. -- -- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth -- -- Floor, Boston, MA 02111-1301, USA. -- -- -- -- As a special exception, if other files instantiate generics from this -- -- unit, or you link this unit with other files to produce an executable, -- -- this unit does not by itself cause the resulting executable to be -- -- covered by the GNU General Public License. This exception does not -- -- however invalidate any other reasons why the executable file might be -- -- covered by the GNU Public License. -- -- -- -- Ocarina is maintained by the Ocarina team -- -- (ocarina-users@listes.enst.fr) -- -- -- ------------------------------------------------------------------------------ pragma style_checks ("NM32766"); -- This file has been generated automatically by `mknodes'. Do not -- hand modify this file since your changes will be overridden. with Ocarina.Debug; use Ocarina.Debug; package body Ocarina.Nodes is pragma warnings (Off); use Entries; function Kind (N : node_id) return node_kind is begin return Table (node_id (N)).Kind; end Kind; procedure Set_Kind (N : node_id; V : node_kind) is begin Table (node_id (N)).Kind := V; end Set_Kind; function Loc (N : node_id) return location is begin return Table (node_id (N)).Loc; end Loc; procedure Set_Loc (N : node_id; V : location) is begin Table (node_id (N)).Loc := V; end Set_Loc; function Next_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_id or else Table (node_id (N)).Kind = k_invalid_node or else Table (node_id (N)).Kind = k_annotated_node or else Table (node_id (N)).Kind = k_annotation_item or else Table (node_id (N)).Kind = k_node_container or else Table (node_id (N)).Kind = k_scope_definition or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_pair_of_entity_references or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_category or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_in_modes or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_value or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_in_binding or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_literal or else Table (node_id (N)).Kind = k_signed_aadlnumber or else Table (node_id (N)).Kind = k_not_boolean_term or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term or else Table (node_id (N)).Kind = k_parenthesis_boolean_term or else Table (node_id (N)).Kind = k_minus_numeric_term or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_boolean_type or else Table (node_id (N)).Kind = k_string_type or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type or else Table (node_id (N)).Kind = k_enumeration_type or else Table (node_id (N)).Kind = k_number_range or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_units_type or else Table (node_id (N)).Kind = k_range_type or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_property_owner_category or else Table (node_id (N)).Kind = k_applies_to or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_content or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_architecture_instance or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (7)); end Next_Node; procedure Set_Next_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_id or else Table (node_id (N)).Kind = k_invalid_node or else Table (node_id (N)).Kind = k_annotated_node or else Table (node_id (N)).Kind = k_annotation_item or else Table (node_id (N)).Kind = k_node_container or else Table (node_id (N)).Kind = k_scope_definition or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_pair_of_entity_references or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_category or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_in_modes or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_value or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_in_binding or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_literal or else Table (node_id (N)).Kind = k_signed_aadlnumber or else Table (node_id (N)).Kind = k_not_boolean_term or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term or else Table (node_id (N)).Kind = k_parenthesis_boolean_term or else Table (node_id (N)).Kind = k_minus_numeric_term or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_boolean_type or else Table (node_id (N)).Kind = k_string_type or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type or else Table (node_id (N)).Kind = k_enumeration_type or else Table (node_id (N)).Kind = k_number_range or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_units_type or else Table (node_id (N)).Kind = k_range_type or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_property_owner_category or else Table (node_id (N)).Kind = k_applies_to or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_content or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_architecture_instance or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (7) := int (V); end Set_Next_Node; function First_Node (N : list_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_list_id or else Table (node_id (N)).Kind = k_identifiers_list or else Table (node_id (N)).Kind = k_aadl_declarations_list or else Table (node_id (N)).Kind = k_property_list_value or else Table (node_id (N)).Kind = k_classifier_type or else Table (node_id (N)).Kind = k_reference_type); return node_id (Table (node_id (N)).L (1)); end First_Node; procedure Set_First_Node (N : list_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_list_id or else Table (node_id (N)).Kind = k_identifiers_list or else Table (node_id (N)).Kind = k_aadl_declarations_list or else Table (node_id (N)).Kind = k_property_list_value or else Table (node_id (N)).Kind = k_classifier_type or else Table (node_id (N)).Kind = k_reference_type); Table (node_id (N)).L (1) := int (V); end Set_First_Node; function Last_Node (N : list_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_list_id or else Table (node_id (N)).Kind = k_identifiers_list or else Table (node_id (N)).Kind = k_aadl_declarations_list or else Table (node_id (N)).Kind = k_property_list_value or else Table (node_id (N)).Kind = k_classifier_type or else Table (node_id (N)).Kind = k_reference_type); return node_id (Table (node_id (N)).L (2)); end Last_Node; procedure Set_Last_Node (N : list_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_list_id or else Table (node_id (N)).Kind = k_identifiers_list or else Table (node_id (N)).Kind = k_aadl_declarations_list or else Table (node_id (N)).Kind = k_property_list_value or else Table (node_id (N)).Kind = k_classifier_type or else Table (node_id (N)).Kind = k_reference_type); Table (node_id (N)).L (2) := int (V); end Set_Last_Node; function Annotations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotated_node or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_value or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_literal or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_architecture_instance or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return list_id (Table (node_id (N)).L (8)); end Annotations; procedure Set_Annotations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotated_node or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_value or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_literal or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_architecture_instance or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (8) := int (V); end Set_Annotations; function Annotation_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); return node_id (Table (node_id (N)).L (1)); end Annotation_Node; procedure Set_Annotation_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); Table (node_id (N)).L (1) := int (V); end Set_Annotation_Node; function Annotation_Name (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); return name_id (Table (node_id (N)).L (2)); end Annotation_Name; procedure Set_Annotation_Name (N : node_id; V : name_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); Table (node_id (N)).L (2) := int (V); end Set_Annotation_Name; function Annotation_Info (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); return node_id (Table (node_id (N)).L (3)); end Annotation_Info; procedure Set_Annotation_Info (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annotation_item); Table (node_id (N)).L (3) := int (V); end Set_Annotation_Info; function Item (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_container); return node_id (Table (node_id (N)).L (1)); end Item; procedure Set_Item (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_container); Table (node_id (N)).L (1) := int (V); end Set_Item; function Extra_Item (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_container); return node_id (Table (node_id (N)).L (2)); end Extra_Item; procedure Set_Extra_Item (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_node_container); Table (node_id (N)).L (2) := int (V); end Set_Extra_Item; function Scoped_Identifiers (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_scope_definition); return node_id (Table (node_id (N)).L (1)); end Scoped_Identifiers; procedure Set_Scoped_Identifiers (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scope_definition); Table (node_id (N)).L (1) := int (V); end Set_Scoped_Identifiers; function Corresponding_Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_scope_definition or else Table (node_id (N)).Kind = k_identifier); return node_id (Table (node_id (N)).L (2)); end Corresponding_Entity; procedure Set_Corresponding_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scope_definition or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (2) := int (V); end Set_Corresponding_Entity; function Name (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return name_id (Table (node_id (N)).L (3)); end Name; procedure Set_Name (N : node_id; V : name_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (3) := int (V); end Set_Name; function Display_Name (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return name_id (Table (node_id (N)).L (4)); end Display_Name; procedure Set_Display_Name (N : node_id; V : name_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (4) := int (V); end Set_Display_Name; function Scope_Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return node_id (Table (node_id (N)).L (5)); end Scope_Entity; procedure Set_Scope_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (5) := int (V); end Set_Scope_Entity; function Potential_Scope (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return node_id (Table (node_id (N)).L (6)); end Potential_Scope; procedure Set_Potential_Scope (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (6) := int (V); end Set_Potential_Scope; function Homonym (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return node_id (Table (node_id (N)).L (9)); end Homonym; procedure Set_Homonym (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (9) := int (V); end Set_Homonym; function Visible (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return Boolean (Table (node_id (N)).B (1)); end Visible; procedure Set_Visible (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).B (1) := Boolean (V); end Set_Visible; function Backend_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); return node_id (Table (node_id (N)).L (10)); end Backend_Node; procedure Set_Backend_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_identifier); Table (node_id (N)).L (10) := int (V); end Set_Backend_Node; function Next_Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (9)); end Next_Entity; procedure Set_Next_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_entity or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (9) := int (V); end Set_Next_Entity; function Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (10)); end Identifier; procedure Set_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_named_aadl_entity or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_constant_property_declaration or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unit_definition or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (10) := int (V); end Set_Identifier; function Entity_Scope (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_property_set); return node_id (Table (node_id (N)).L (4)); end Entity_Scope; procedure Set_Entity_Scope (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_property_set); Table (node_id (N)).L (4) := int (V); end Set_Entity_Scope; function Property_Scope (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection); return node_id (Table (node_id (N)).L (11)); end Property_Scope; procedure Set_Property_Scope (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection); Table (node_id (N)).L (11) := int (V); end Set_Property_Scope; function Is_Private (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_component_instance); return Boolean (Table (node_id (N)).B (1)); end Is_Private; procedure Set_Is_Private (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_annex_library or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Private; function First_Visited_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); return node_id (Table (node_id (N)).L (2)); end First_Visited_Node; procedure Set_First_Visited_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); Table (node_id (N)).L (2) := int (V); end Set_First_Visited_Node; function Namespace (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance); return node_id (Table (node_id (N)).L (5)); end Namespace; procedure Set_Namespace (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (5) := int (V); end Set_Namespace; function Default_Instance (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); return node_id (Table (node_id (N)).L (6)); end Default_Instance; procedure Set_Default_Instance (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_declaration or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); Table (node_id (N)).L (6) := int (V); end Set_Default_Instance; function Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); return node_id (Table (node_id (N)).L (1)); end Reference; procedure Set_Reference (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); Table (node_id (N)).L (1) := int (V); end Set_Reference; function Parent_Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); return node_id (Table (node_id (N)).L (2)); end Parent_Entity; procedure Set_Parent_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); Table (node_id (N)).L (2) := int (V); end Set_Parent_Entity; function Depth (N : node_id) return int is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); return int (Table (node_id (N)).L (3)); end Depth; procedure Set_Depth (N : node_id; V : int) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); Table (node_id (N)).L (3) := int (V); end Set_Depth; function Next_Scoped_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); return node_id (Table (node_id (N)).L (4)); end Next_Scoped_Name; procedure Set_Next_Scoped_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_scoped_name); Table (node_id (N)).L (4) := int (V); end Set_Next_Scoped_Name; function Path (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_call_instance); return list_id (Table (node_id (N)).L (2)); end Path; procedure Set_Path (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier or else Table (node_id (N)).Kind = k_entity_reference_instance or else Table (node_id (N)).Kind = k_call_instance); Table (node_id (N)).L (2) := int (V); end Set_Path; function Namespace_Path (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); return list_id (Table (node_id (N)).L (3)); end Namespace_Path; procedure Set_Namespace_Path (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); Table (node_id (N)).L (3) := int (V); end Set_Namespace_Path; function Namespace_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); return node_id (Table (node_id (N)).L (4)); end Namespace_Identifier; procedure Set_Namespace_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); Table (node_id (N)).L (4) := int (V); end Set_Namespace_Identifier; function Full_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); return node_id (Table (node_id (N)).L (5)); end Full_Identifier; procedure Set_Full_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); Table (node_id (N)).L (5) := int (V); end Set_Full_Identifier; function Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); return node_id (Table (node_id (N)).L (6)); end Entity; procedure Set_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_reference or else Table (node_id (N)).Kind = k_property_term or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_reference_term or else Table (node_id (N)).Kind = k_unique_property_type_identifier or else Table (node_id (N)).Kind = k_unique_property_const_identifier); Table (node_id (N)).L (6) := int (V); end Set_Entity; function First_Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_pair_of_entity_references); return node_id (Table (node_id (N)).L (1)); end First_Reference; procedure Set_First_Reference (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pair_of_entity_references); Table (node_id (N)).L (1) := int (V); end Set_First_Reference; function Second_Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_pair_of_entity_references); return node_id (Table (node_id (N)).L (2)); end Second_Reference; procedure Set_Second_Reference (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pair_of_entity_references); Table (node_id (N)).L (2) := int (V); end Set_Second_Reference; function Declarations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_namespace_instance); return list_id (Table (node_id (N)).L (3)); end Declarations; procedure Set_Declarations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_aadl_specification or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_property_set or else Table (node_id (N)).Kind = k_namespace_instance); Table (node_id (N)).L (3) := int (V); end Set_Declarations; function Has_Private_Part (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification); return Boolean (Table (node_id (N)).B (1)); end Has_Private_Part; procedure Set_Has_Private_Part (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification); Table (node_id (N)).B (1) := Boolean (V); end Set_Has_Private_Part; function Has_Public_Part (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification); return Boolean (Table (node_id (N)).B (2)); end Has_Public_Part; procedure Set_Has_Public_Part (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification); Table (node_id (N)).B (2) := Boolean (V); end Set_Has_Public_Part; function Properties (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return list_id (Table (node_id (N)).L (12)); end Properties; procedure Set_Properties (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_package_specification or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (12) := int (V); end Set_Properties; function Category (N : node_id) return byte is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_category or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_property_owner_category); return byte (Table (node_id (N)).O (3)); end Category; procedure Set_Category (N : node_id; V : byte) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_category or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_property_owner_category); Table (node_id (N)).O (3) := byte (V); end Set_Category; function Features (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance); return list_id (Table (node_id (N)).L (13)); end Features; procedure Set_Features (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance); Table (node_id (N)).L (13) := int (V); end Set_Features; function Flows (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (14)); end Flows; procedure Set_Flows (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (14) := int (V); end Set_Flows; function Annexes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (15)); end Annexes; procedure Set_Annexes (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (15) := int (V); end Set_Annexes; function Parent (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); return node_id (Table (node_id (N)).L (16)); end Parent; procedure Set_Parent (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_port_group_type); Table (node_id (N)).L (16) := int (V); end Set_Parent; function Instances (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation); return list_id (Table (node_id (N)).L (17)); end Instances; procedure Set_Instances (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_type or else Table (node_id (N)).Kind = k_component_implementation); Table (node_id (N)).L (17) := int (V); end Set_Instances; function Component_Type_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation); return node_id (Table (node_id (N)).L (13)); end Component_Type_Identifier; procedure Set_Component_Type_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation); Table (node_id (N)).L (13) := int (V); end Set_Component_Type_Identifier; function Refines_Type (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation); return list_id (Table (node_id (N)).L (18)); end Refines_Type; procedure Set_Refines_Type (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation); Table (node_id (N)).L (18) := int (V); end Set_Refines_Type; function Subcomponents (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (19)); end Subcomponents; procedure Set_Subcomponents (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (19) := int (V); end Set_Subcomponents; function Calls (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (20)); end Calls; procedure Set_Calls (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (20) := int (V); end Set_Calls; function Connections (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (21)); end Connections; procedure Set_Connections (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (21) := int (V); end Set_Connections; function Modes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_in_modes or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (22)); end Modes; procedure Set_Modes (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_implementation or else Table (node_id (N)).Kind = k_in_modes or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (22) := int (V); end Set_Modes; function Container_Component (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_annex_subclause); return node_id (Table (node_id (N)).L (13)); end Container_Component; procedure Set_Container_Component (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_contained_entity or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_annex_subclause); Table (node_id (N)).L (13) := int (V); end Set_Container_Component; function Entity_Ref (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection); return node_id (Table (node_id (N)).L (14)); end Entity_Ref; procedure Set_Entity_Ref (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subclause or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection); Table (node_id (N)).L (14) := int (V); end Set_Entity_Ref; function Is_Implicit_Inverse (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent); return Boolean (Table (node_id (N)).B (1)); end Is_Implicit_Inverse; procedure Set_Is_Implicit_Inverse (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Implicit_Inverse; function Inversed_Entity (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent); return node_id (Table (node_id (N)).L (15)); end Inversed_Entity; procedure Set_Inversed_Entity (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent); Table (node_id (N)).L (15) := int (V); end Set_Inversed_Entity; function Is_Refinement (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection); return Boolean (Table (node_id (N)).B (2)); end Is_Refinement; procedure Set_Is_Refinement (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_refinable_feature or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_group_spec or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_flow_spec or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection); Table (node_id (N)).B (2) := Boolean (V); end Set_Is_Refinement; function Is_In (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance); return Boolean (Table (node_id (N)).B (3)); end Is_In; procedure Set_Is_In (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance); Table (node_id (N)).B (3) := Boolean (V); end Set_Is_In; function Is_Out (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance); return Boolean (Table (node_id (N)).B (4)); end Is_Out; procedure Set_Is_Out (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_parameter or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance); Table (node_id (N)).B (4) := Boolean (V); end Set_Is_Out; function Is_Event (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_spec_instance); return Boolean (Table (node_id (N)).B (5)); end Is_Event; procedure Set_Is_Event (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_spec_instance); Table (node_id (N)).B (5) := Boolean (V); end Set_Is_Event; function Is_Data (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); return Boolean (Table (node_id (N)).B (6)); end Is_Data; procedure Set_Is_Data (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_spec or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); Table (node_id (N)).B (6) := Boolean (V); end Set_Is_Data; function Is_Server (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_subprogram_spec_instance); return Boolean (Table (node_id (N)).B (3)); end Is_Server; procedure Set_Is_Server (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_spec or else Table (node_id (N)).Kind = k_subprogram_spec_instance); Table (node_id (N)).B (3) := Boolean (V); end Set_Is_Server; function Is_Provided (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_subcomponent_access_instance); return Boolean (Table (node_id (N)).B (3)); end Is_Provided; procedure Set_Is_Provided (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_access or else Table (node_id (N)).Kind = k_subcomponent_access_instance); Table (node_id (N)).B (3) := Boolean (V); end Set_Is_Provided; function Subcomponent_Category (N : node_id) return byte is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_access); return byte (Table (node_id (N)).O (4)); end Subcomponent_Category; procedure Set_Subcomponent_Category (N : node_id; V : byte) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_access); Table (node_id (N)).O (4) := byte (V); end Set_Subcomponent_Category; function Source_Flow (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_spec); return node_id (Table (node_id (N)).L (4)); end Source_Flow; procedure Set_Source_Flow (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_spec); Table (node_id (N)).L (4) := int (V); end Set_Source_Flow; function Sink_Flow (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_spec); return node_id (Table (node_id (N)).L (5)); end Sink_Flow; procedure Set_Sink_Flow (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_spec); Table (node_id (N)).L (5) := int (V); end Set_Sink_Flow; function Is_Initial (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_instance); return Boolean (Table (node_id (N)).B (3)); end Is_Initial; procedure Set_Is_Initial (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode or else Table (node_id (N)).Kind = k_mode_instance); Table (node_id (N)).B (3) := Boolean (V); end Set_Is_Initial; function Source_Modes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); return list_id (Table (node_id (N)).L (1)); end Source_Modes; procedure Set_Source_Modes (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); Table (node_id (N)).L (1) := int (V); end Set_Source_Modes; function Unique_Ports (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); return list_id (Table (node_id (N)).L (2)); end Unique_Ports; procedure Set_Unique_Ports (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); Table (node_id (N)).L (2) := int (V); end Set_Unique_Ports; function Destination_Mode (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); return node_id (Table (node_id (N)).L (3)); end Destination_Mode; procedure Set_Destination_Mode (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_mode_transition or else Table (node_id (N)).Kind = k_mode_transition_instance); Table (node_id (N)).L (3) := int (V); end Set_Destination_Mode; function In_Modes (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (5)); end In_Modes; procedure Set_In_Modes (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_flow_implementation or else Table (node_id (N)).Kind = k_end_to_end_flow_spec or else Table (node_id (N)).Kind = k_flow_implementation_refinement or else Table (node_id (N)).Kind = k_end_to_end_flow_refinement or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_subcomponent or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_property_association or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (5) := int (V); end Set_In_Modes; function Parent_Sequence (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_call_instance); return node_id (Table (node_id (N)).L (1)); end Parent_Sequence; procedure Set_Parent_Sequence (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_call or else Table (node_id (N)).Kind = k_call_instance); Table (node_id (N)).L (1) := int (V); end Set_Parent_Sequence; function Subprogram_Calls (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_call_sequence_instance); return list_id (Table (node_id (N)).L (1)); end Subprogram_Calls; procedure Set_Subprogram_Calls (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subprogram_call_sequence or else Table (node_id (N)).Kind = k_call_sequence_instance); Table (node_id (N)).L (1) := int (V); end Set_Subprogram_Calls; function Inverse_Of (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_group_type); return node_id (Table (node_id (N)).L (3)); end Inverse_Of; procedure Set_Inverse_Of (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port_group_type); Table (node_id (N)).L (3) := int (V); end Set_Inverse_Of; function Source (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (1)); end Source; procedure Set_Source (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (1) := int (V); end Set_Source; function Destination (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (4)); end Destination; procedure Set_Destination (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (4) := int (V); end Set_Destination; function Property_Set_Context (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_set); return node_id (Table (node_id (N)).L (1)); end Property_Set_Context; procedure Set_Property_Set_Context (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_set); Table (node_id (N)).L (1) := int (V); end Set_Property_Set_Context; function Is_List (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type); return Boolean (Table (node_id (N)).B (1)); end Is_List; procedure Set_Is_List (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_List; function Property_Type_Designator (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property); return node_id (Table (node_id (N)).L (2)); end Property_Type_Designator; procedure Set_Property_Type_Designator (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type or else Table (node_id (N)).Kind = k_property_type_declaration or else Table (node_id (N)).Kind = k_single_valued_property or else Table (node_id (N)).Kind = k_multi_valued_property); Table (node_id (N)).L (2) := int (V); end Set_Property_Type_Designator; function Expanded_Type_Designator (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type); return node_id (Table (node_id (N)).L (3)); end Expanded_Type_Designator; procedure Set_Expanded_Type_Designator (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_type); Table (node_id (N)).L (3) := int (V); end Set_Expanded_Type_Designator; function Property_Expression (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_single_valued_property); return node_id (Table (node_id (N)).L (1)); end Property_Expression; procedure Set_Property_Expression (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_single_valued_property); Table (node_id (N)).L (1) := int (V); end Set_Property_Expression; function Property_Expressions (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_multi_valued_property); return list_id (Table (node_id (N)).L (1)); end Property_Expressions; procedure Set_Property_Expressions (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_multi_valued_property); Table (node_id (N)).L (1) := int (V); end Set_Property_Expressions; function Constant_Type (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); return node_id (Table (node_id (N)).L (1)); end Constant_Type; procedure Set_Constant_Type (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); Table (node_id (N)).L (1) := int (V); end Set_Constant_Type; function Unique_Unit_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); return node_id (Table (node_id (N)).L (2)); end Unique_Unit_Identifier; procedure Set_Unique_Unit_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); Table (node_id (N)).L (2) := int (V); end Set_Unique_Unit_Identifier; function Constant_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); return node_id (Table (node_id (N)).L (3)); end Constant_Value; procedure Set_Constant_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_property_declaration); Table (node_id (N)).L (3) := int (V); end Set_Constant_Value; function Value_Container (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); return node_id (Table (node_id (N)).L (1)); end Value_Container; procedure Set_Value_Container (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); Table (node_id (N)).L (1) := int (V); end Set_Value_Container; function Single_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); return node_id (Table (node_id (N)).L (2)); end Single_Value; procedure Set_Single_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); Table (node_id (N)).L (2) := int (V); end Set_Single_Value; function Multi_Value (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); return list_id (Table (node_id (N)).L (3)); end Multi_Value; procedure Set_Multi_Value (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); Table (node_id (N)).L (3) := int (V); end Set_Multi_Value; function Expanded_Single_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); return node_id (Table (node_id (N)).L (4)); end Expanded_Single_Value; procedure Set_Expanded_Single_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); Table (node_id (N)).L (4) := int (V); end Set_Expanded_Single_Value; function Expanded_Multi_Value (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); return list_id (Table (node_id (N)).L (5)); end Expanded_Multi_Value; procedure Set_Expanded_Multi_Value (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_value); Table (node_id (N)).L (5) := int (V); end Set_Expanded_Multi_Value; function Is_Access (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association); return Boolean (Table (node_id (N)).B (2)); end Is_Access; procedure Set_Is_Access (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).B (2) := Boolean (V); end Set_Is_Access; function Is_Inherit (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); return Boolean (Table (node_id (N)).B (1)); end Is_Inherit; procedure Set_Is_Inherit (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Inherit; function Property_Name_Type (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); return node_id (Table (node_id (N)).L (3)); end Property_Name_Type; procedure Set_Property_Name_Type (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); Table (node_id (N)).L (3) := int (V); end Set_Property_Name_Type; function Default_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); return node_id (Table (node_id (N)).L (4)); end Default_Value; procedure Set_Default_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); Table (node_id (N)).L (4) := int (V); end Set_Default_Value; function Applies_To (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); return node_id (Table (node_id (N)).L (5)); end Applies_To; procedure Set_Applies_To (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_name_declaration); Table (node_id (N)).L (5) := int (V); end Set_Applies_To; function Binding (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_in_binding); return list_id (Table (node_id (N)).L (1)); end Binding; procedure Set_Binding (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_in_binding); Table (node_id (N)).L (1) := int (V); end Set_Binding; function Property_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return node_id (Table (node_id (N)).L (6)); end Property_Name; procedure Set_Property_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).L (6) := int (V); end Set_Property_Name; function Is_Additive_Association (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return Boolean (Table (node_id (N)).B (3)); end Is_Additive_Association; procedure Set_Is_Additive_Association (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).B (3) := Boolean (V); end Set_Is_Additive_Association; function Is_Constant (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return Boolean (Table (node_id (N)).B (4)); end Is_Constant; procedure Set_Is_Constant (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).B (4) := Boolean (V); end Set_Is_Constant; function Property_Association_Type (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return node_id (Table (node_id (N)).L (11)); end Property_Association_Type; procedure Set_Property_Association_Type (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).L (11) := int (V); end Set_Property_Association_Type; function Property_Association_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return node_id (Table (node_id (N)).L (12)); end Property_Association_Value; procedure Set_Property_Association_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).L (12) := int (V); end Set_Property_Association_Value; function Applies_To_Prop (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return list_id (Table (node_id (N)).L (13)); end Applies_To_Prop; procedure Set_Applies_To_Prop (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).L (13) := int (V); end Set_Applies_To_Prop; function In_Binding (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); return node_id (Table (node_id (N)).L (14)); end In_Binding; procedure Set_In_Binding (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_association); Table (node_id (N)).L (14) := int (V); end Set_In_Binding; function Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_literal); return value_id (Table (node_id (N)).L (1)); end Value; procedure Set_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_literal); Table (node_id (N)).L (1) := int (V); end Set_Value; function Number_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_signed_aadlnumber); return node_id (Table (node_id (N)).L (1)); end Number_Value; procedure Set_Number_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_signed_aadlnumber); Table (node_id (N)).L (1) := int (V); end Set_Number_Value; function Unit_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_signed_aadlnumber or else Table (node_id (N)).Kind = k_unit_definition); return node_id (Table (node_id (N)).L (2)); end Unit_Identifier; procedure Set_Unit_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_signed_aadlnumber or else Table (node_id (N)).Kind = k_unit_definition); Table (node_id (N)).L (2) := int (V); end Set_Unit_Identifier; function Boolean_Term (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_not_boolean_term or else Table (node_id (N)).Kind = k_parenthesis_boolean_term); return node_id (Table (node_id (N)).L (1)); end Boolean_Term; procedure Set_Boolean_Term (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_not_boolean_term or else Table (node_id (N)).Kind = k_parenthesis_boolean_term); Table (node_id (N)).L (1) := int (V); end Set_Boolean_Term; function First_Term (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term); return node_id (Table (node_id (N)).L (1)); end First_Term; procedure Set_First_Term (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term); Table (node_id (N)).L (1) := int (V); end Set_First_Term; function Second_Term (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term); return node_id (Table (node_id (N)).L (2)); end Second_Term; procedure Set_Second_Term (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_and_boolean_term or else Table (node_id (N)).Kind = k_or_boolean_term); Table (node_id (N)).L (2) := int (V); end Set_Second_Term; function Numeric_Term (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_minus_numeric_term); return node_id (Table (node_id (N)).L (1)); end Numeric_Term; procedure Set_Numeric_Term (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_minus_numeric_term); Table (node_id (N)).L (1) := int (V); end Set_Numeric_Term; function Lower_Bound (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_number_range); return node_id (Table (node_id (N)).L (1)); end Lower_Bound; procedure Set_Lower_Bound (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_number_range); Table (node_id (N)).L (1) := int (V); end Set_Lower_Bound; function Upper_Bound (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_number_range); return node_id (Table (node_id (N)).L (2)); end Upper_Bound; procedure Set_Upper_Bound (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term or else Table (node_id (N)).Kind = k_number_range); Table (node_id (N)).L (2) := int (V); end Set_Upper_Bound; function Delta_Term (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term); return node_id (Table (node_id (N)).L (3)); end Delta_Term; procedure Set_Delta_Term (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_number_range_term); Table (node_id (N)).L (3) := int (V); end Set_Delta_Term; function Component_Cat (N : node_id) return byte is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_property_owner_category); return byte (Table (node_id (N)).O (1)); end Component_Cat; procedure Set_Component_Cat (N : node_id; V : byte) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_classifier_term or else Table (node_id (N)).Kind = k_referable_element_category or else Table (node_id (N)).Kind = k_property_owner_category); Table (node_id (N)).O (1) := byte (V); end Set_Component_Cat; function Type_Range (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type); return node_id (Table (node_id (N)).L (1)); end Type_Range; procedure Set_Type_Range (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type); Table (node_id (N)).L (1) := int (V); end Set_Type_Range; function Unit_Designator (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type); return node_id (Table (node_id (N)).L (2)); end Unit_Designator; procedure Set_Unit_Designator (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_real_type or else Table (node_id (N)).Kind = k_integer_type); Table (node_id (N)).L (2) := int (V); end Set_Unit_Designator; function Identifiers (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_enumeration_type); return list_id (Table (node_id (N)).L (1)); end Identifiers; procedure Set_Identifiers (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_enumeration_type); Table (node_id (N)).L (1) := int (V); end Set_Identifiers; function Enumeration_Context (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_enumeration_type); return node_id (Table (node_id (N)).L (2)); end Enumeration_Context; procedure Set_Enumeration_Context (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_enumeration_type); Table (node_id (N)).L (2) := int (V); end Set_Enumeration_Context; function Numeric_Literal (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_unit_definition); return node_id (Table (node_id (N)).L (1)); end Numeric_Literal; procedure Set_Numeric_Literal (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_unit_definition); Table (node_id (N)).L (1) := int (V); end Set_Numeric_Literal; function Base_Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); return node_id (Table (node_id (N)).L (1)); end Base_Identifier; procedure Set_Base_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); Table (node_id (N)).L (1) := int (V); end Set_Base_Identifier; function Unit_Definitions (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); return list_id (Table (node_id (N)).L (2)); end Unit_Definitions; procedure Set_Unit_Definitions (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); Table (node_id (N)).L (2) := int (V); end Set_Unit_Definitions; function Units_Context (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); return node_id (Table (node_id (N)).L (3)); end Units_Context; procedure Set_Units_Context (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_units_type); Table (node_id (N)).L (3) := int (V); end Set_Units_Context; function Number_Type (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_type); return node_id (Table (node_id (N)).L (1)); end Number_Type; procedure Set_Number_Type (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_type); Table (node_id (N)).L (1) := int (V); end Set_Number_Type; function Classifier_Ref (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_owner_category); return node_id (Table (node_id (N)).L (2)); end Classifier_Ref; procedure Set_Classifier_Ref (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_property_owner_category); Table (node_id (N)).L (2) := int (V); end Set_Classifier_Ref; function Is_All (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_applies_to); return Boolean (Table (node_id (N)).B (1)); end Is_All; procedure Set_Is_All (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_applies_to); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_All; function Owner_Categories (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_applies_to); return list_id (Table (node_id (N)).L (2)); end Owner_Categories; procedure Set_Owner_Categories (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_applies_to); Table (node_id (N)).L (2) := int (V); end Set_Owner_Categories; function Raw_Text (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_content); return name_id (Table (node_id (N)).L (1)); end Raw_Text; procedure Set_Raw_Text (N : node_id; V : name_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_content); Table (node_id (N)).L (1) := int (V); end Set_Raw_Text; function Annex_Content (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library); return node_id (Table (node_id (N)).L (2)); end Annex_Content; procedure Set_Annex_Content (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_subclause or else Table (node_id (N)).Kind = k_annex_library); Table (node_id (N)).L (2) := int (V); end Set_Annex_Content; function Container_Package (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_library); return node_id (Table (node_id (N)).L (3)); end Container_Package; procedure Set_Container_Package (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_annex_library); Table (node_id (N)).L (3) := int (V); end Set_Container_Package; function Root_System (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); return node_id (Table (node_id (N)).L (1)); end Root_System; procedure Set_Root_System (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); Table (node_id (N)).L (1) := int (V); end Set_Root_System; function Virtual_Connections (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); return list_id (Table (node_id (N)).L (2)); end Virtual_Connections; procedure Set_Virtual_Connections (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); Table (node_id (N)).L (2) := int (V); end Set_Virtual_Connections; function Namespaces (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); return list_id (Table (node_id (N)).L (3)); end Namespaces; procedure Set_Namespaces (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); Table (node_id (N)).L (3) := int (V); end Set_Namespaces; function Unnamed_Namespace (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); return node_id (Table (node_id (N)).L (4)); end Unnamed_Namespace; procedure Set_Unnamed_Namespace (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_architecture_instance); Table (node_id (N)).L (4) := int (V); end Set_Unnamed_Namespace; function Corresponding_Declaration (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (11)); end Corresponding_Declaration; procedure Set_Corresponding_Declaration (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (11) := int (V); end Set_Corresponding_Declaration; function Annotation (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (16)); end Annotation; procedure Set_Annotation (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_entity_instance or else Table (node_id (N)).Kind = k_declaration_instance or else Table (node_id (N)).Kind = k_component_instance or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_namespace_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_call_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (16) := int (V); end Set_Annotation; function Mode_transitions (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); return list_id (Table (node_id (N)).L (2)); end Mode_transitions; procedure Set_Mode_transitions (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (2) := int (V); end Set_Mode_transitions; function Parent_Subcomponent (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); return node_id (Table (node_id (N)).L (3)); end Parent_Subcomponent; procedure Set_Parent_Subcomponent (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (3) := int (V); end Set_Parent_Subcomponent; function First_Homonym_In_Namespace (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); return node_id (Table (node_id (N)).L (4)); end First_Homonym_In_Namespace; procedure Set_First_Homonym_In_Namespace (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_component_instance); Table (node_id (N)).L (4) := int (V); end Set_First_Homonym_In_Namespace; function Parent_Component (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (14)); end Parent_Component; procedure Set_Parent_Component (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_sequence_instance or else Table (node_id (N)).Kind = k_mode_instance or else Table (node_id (N)).Kind = k_mode_transition_instance or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (14) := int (V); end Set_Parent_Component; function Corresponding_Instance (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_instance); return node_id (Table (node_id (N)).L (13)); end Corresponding_Instance; procedure Set_Corresponding_Instance (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance or else Table (node_id (N)).Kind = k_call_instance); Table (node_id (N)).L (13) := int (V); end Set_Corresponding_Instance; function Destinations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); return list_id (Table (node_id (N)).L (1)); end Destinations; procedure Set_Destinations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_subcomponent_instance or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); Table (node_id (N)).L (1) := int (V); end Set_Destinations; function Sources (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); return list_id (Table (node_id (N)).L (2)); end Sources; procedure Set_Sources (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_feature_instance or else Table (node_id (N)).Kind = k_port_spec_instance or else Table (node_id (N)).Kind = k_port_group_spec_instance or else Table (node_id (N)).Kind = k_subprogram_spec_instance or else Table (node_id (N)).Kind = k_parameter_instance or else Table (node_id (N)).Kind = k_subcomponent_access_instance); Table (node_id (N)).L (2) := int (V); end Set_Sources; function Associated_Type (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); return node_id (Table (node_id (N)).L (2)); end Associated_Type; procedure Set_Associated_Type (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection_instance or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (2) := int (V); end Set_Associated_Type; function Connection_Instances (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_virtual_connection); return list_id (Table (node_id (N)).L (3)); end Connection_Instances; procedure Set_Connection_Instances (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_virtual_connection); Table (node_id (N)).L (3) := int (V); end Set_Connection_Instances; procedure W_Node (N : node_id) is begin case Kind (N) is when k_invalid_node => W_Invalid_Node (node_id (N)); when k_annotated_node => W_Annotated_Node (node_id (N)); when k_annotation_item => W_Annotation_Item (node_id (N)); when k_node_container => W_Node_Container (node_id (N)); when k_scope_definition => W_Scope_Definition (node_id (N)); when k_identifier => W_Identifier (node_id (N)); when k_aadl_entity => W_AADL_Entity (node_id (N)); when k_named_aadl_entity => W_Named_AADL_Entity (node_id (N)); when k_aadl_declaration => W_AADL_Declaration (node_id (N)); when k_scoped_name => W_Scoped_Name (node_id (N)); when k_entity_reference => W_Entity_Reference (node_id (N)); when k_pair_of_entity_references => W_Pair_Of_Entity_References (node_id (N)); when k_identifiers_list => W_Identifiers_List (list_id (N)); when k_aadl_specification => W_AADL_Specification (node_id (N)); when k_aadl_declarations_list => W_AADL_Declarations_List (list_id (N)); when k_package_specification => W_Package_Specification (node_id (N)); when k_component_category => W_Component_Category (node_id (N)); when k_component_type => W_Component_Type (node_id (N)); when k_component_implementation => W_Component_Implementation (node_id (N)); when k_contained_entity => W_Contained_Entity (node_id (N)); when k_subclause => W_Subclause (node_id (N)); when k_feature => W_Feature (node_id (N)); when k_refinable_feature => W_Refinable_Feature (node_id (N)); when k_port_spec => W_Port_Spec (node_id (N)); when k_port_group_spec => W_Port_Group_Spec (node_id (N)); when k_subprogram_spec => W_Subprogram_Spec (node_id (N)); when k_parameter => W_Parameter (node_id (N)); when k_subcomponent_access => W_Subcomponent_Access (node_id (N)); when k_flow_spec => W_Flow_Spec (node_id (N)); when k_mode => W_Mode (node_id (N)); when k_mode_transition => W_Mode_Transition (node_id (N)); when k_in_modes => W_In_Modes (node_id (N)); when k_flow_implementation => W_Flow_Implementation (node_id (N)); when k_end_to_end_flow_spec => W_End_To_End_Flow_Spec (node_id (N)); when k_flow_implementation_refinement => W_Flow_Implementation_Refinement (node_id (N)); when k_end_to_end_flow_refinement => W_End_To_End_Flow_Refinement (node_id (N)); when k_subprogram_call => W_Subprogram_Call (node_id (N)); when k_subprogram_call_sequence => W_Subprogram_Call_Sequence (node_id (N)); when k_subcomponent => W_Subcomponent (node_id (N)); when k_port_group_type => W_Port_Group_Type (node_id (N)); when k_connection => W_Connection (node_id (N)); when k_property_set => W_Property_Set (node_id (N)); when k_property_type => W_Property_Type (node_id (N)); when k_property_type_declaration => W_Property_Type_Declaration (node_id (N)); when k_single_valued_property => W_Single_Valued_Property (node_id (N)); when k_multi_valued_property => W_Multi_Valued_Property (node_id (N)); when k_constant_property_declaration => W_Constant_Property_Declaration (node_id (N)); when k_property_value => W_Property_Value (node_id (N)); when k_property_name_declaration => W_Property_Name_Declaration (node_id (N)); when k_property_list_value => W_Property_List_Value (list_id (N)); when k_in_binding => W_In_Binding (node_id (N)); when k_property_association => W_Property_Association (node_id (N)); when k_literal => W_Literal (node_id (N)); when k_signed_aadlnumber => W_Signed_AADLNumber (node_id (N)); when k_not_boolean_term => W_Not_Boolean_Term (node_id (N)); when k_and_boolean_term => W_And_Boolean_Term (node_id (N)); when k_or_boolean_term => W_Or_Boolean_Term (node_id (N)); when k_parenthesis_boolean_term => W_Parenthesis_Boolean_Term (node_id (N)); when k_minus_numeric_term => W_Minus_Numeric_Term (node_id (N)); when k_property_term => W_Property_Term (node_id (N)); when k_number_range_term => W_Number_Range_Term (node_id (N)); when k_component_classifier_term => W_Component_Classifier_Term (node_id (N)); when k_reference_term => W_Reference_Term (node_id (N)); when k_boolean_type => W_Boolean_Type (node_id (N)); when k_string_type => W_String_Type (node_id (N)); when k_real_type => W_Real_Type (node_id (N)); when k_integer_type => W_Integer_Type (node_id (N)); when k_enumeration_type => W_Enumeration_Type (node_id (N)); when k_number_range => W_Number_Range (node_id (N)); when k_unit_definition => W_Unit_Definition (node_id (N)); when k_units_type => W_Units_Type (node_id (N)); when k_range_type => W_Range_Type (node_id (N)); when k_classifier_type => W_Classifier_Type (list_id (N)); when k_referable_element_category => W_Referable_Element_Category (node_id (N)); when k_reference_type => W_Reference_Type (list_id (N)); when k_unique_property_type_identifier => W_Unique_Property_Type_Identifier (node_id (N)); when k_property_owner_category => W_Property_Owner_Category (node_id (N)); when k_applies_to => W_Applies_To (node_id (N)); when k_unique_property_const_identifier => W_Unique_Property_Const_Identifier (node_id (N)); when k_annex_content => W_Annex_Content (node_id (N)); when k_annex_subclause => W_Annex_Subclause (node_id (N)); when k_annex_library => W_Annex_Library (node_id (N)); when k_architecture_instance => W_Architecture_Instance (node_id (N)); when k_entity_instance => W_Entity_Instance (node_id (N)); when k_entity_reference_instance => W_Entity_Reference_Instance (node_id (N)); when k_declaration_instance => W_Declaration_Instance (node_id (N)); when k_component_instance => W_Component_Instance (node_id (N)); when k_subcomponent_instance => W_Subcomponent_Instance (node_id (N)); when k_namespace_instance => W_Namespace_Instance (node_id (N)); when k_feature_instance => W_Feature_Instance (node_id (N)); when k_port_spec_instance => W_Port_Spec_Instance (node_id (N)); when k_port_group_spec_instance => W_Port_Group_Spec_Instance (node_id (N)); when k_subprogram_spec_instance => W_Subprogram_Spec_Instance (node_id (N)); when k_parameter_instance => W_Parameter_Instance (node_id (N)); when k_subcomponent_access_instance => W_Subcomponent_Access_Instance (node_id (N)); when k_call_sequence_instance => W_Call_Sequence_Instance (node_id (N)); when k_call_instance => W_Call_Instance (node_id (N)); when k_mode_instance => W_Mode_Instance (node_id (N)); when k_mode_transition_instance => W_Mode_Transition_Instance (node_id (N)); when k_connection_instance => W_Connection_Instance (node_id (N)); when k_virtual_connection => W_Virtual_Connection (node_id (N)); when others => null; end case; end W_Node; procedure W_Invalid_Node (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); end W_Invalid_Node; procedure W_Annotated_Node (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); end W_Annotated_Node; procedure W_Annotation_Item (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotation_Node", "Node_Id", Image (Annotation_Node (N)), int (Annotation_Node (N))); W_Node_Attribute ("Annotation_Name", "Name_Id", Image (Annotation_Name (N))); W_Node_Attribute ("Annotation_Info", "Node_Id", Image (Annotation_Info (N)), int (Annotation_Info (N))); end W_Annotation_Item; procedure W_Node_Container (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Item", "Node_Id", Image (Item (N)), int (Item (N))); W_Node_Attribute ("Extra_Item", "Node_Id", Image (Extra_Item (N)), int (Extra_Item (N))); end W_Node_Container; procedure W_Scope_Definition (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Scoped_Identifiers", "Node_Id", Image (Scoped_Identifiers (N)), int (Scoped_Identifiers (N))); W_Node_Attribute ("Corresponding_Entity", "Node_Id", Image (Corresponding_Entity (N)), int (Corresponding_Entity (N))); end W_Scope_Definition; procedure W_Identifier (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Corresponding_Entity", "Node_Id", Image (Corresponding_Entity (N)), int (Corresponding_Entity (N))); W_Node_Attribute ("Name", "Name_Id", Image (Name (N))); W_Node_Attribute ("Display_Name", "Name_Id", Image (Display_Name (N))); W_Node_Attribute ("Scope_Entity", "Node_Id", Image (Scope_Entity (N)), int (Scope_Entity (N))); W_Node_Attribute ("Potential_Scope", "Node_Id", Image (Potential_Scope (N)), int (Potential_Scope (N))); W_Node_Attribute ("Homonym", "Node_Id", Image (Homonym (N)), int (Homonym (N))); W_Node_Attribute ("Visible", "Boolean", Image (Visible (N))); W_Node_Attribute ("Backend_Node", "Node_Id", Image (Backend_Node (N)), int (Backend_Node (N))); end W_Identifier; procedure W_AADL_Entity (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); end W_AADL_Entity; procedure W_Named_AADL_Entity (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); end W_Named_AADL_Entity; procedure W_AADL_Declaration (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("First_Visited_Node", "Node_Id", Image (First_Visited_Node (N)), int (First_Visited_Node (N))); W_Node_Attribute ("Namespace", "Node_Id", Image (Namespace (N)), int (Namespace (N))); W_Node_Attribute ("Default_Instance", "Node_Id", Image (Default_Instance (N)), int (Default_Instance (N))); end W_AADL_Declaration; procedure W_Scoped_Name (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Reference", "Node_Id", Image (Reference (N)), int (Reference (N))); W_Node_Attribute ("Parent_Entity", "Node_Id", Image (Parent_Entity (N)), int (Parent_Entity (N))); W_Node_Attribute ("Depth", "Int", Image (Depth (N))); W_Node_Attribute ("Next_Scoped_Name", "Node_Id", Image (Next_Scoped_Name (N)), int (Next_Scoped_Name (N))); end W_Scoped_Name; procedure W_Entity_Reference (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); end W_Entity_Reference; procedure W_Pair_Of_Entity_References (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("First_Reference", "Node_Id", Image (First_Reference (N)), int (First_Reference (N))); W_Node_Attribute ("Second_Reference", "Node_Id", Image (Second_Reference (N)), int (Second_Reference (N))); end W_Pair_Of_Entity_References; procedure W_Identifiers_List (N : list_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("First_Node", "Node_Id", Image (First_Node (N)), int (First_Node (N))); W_Node_Attribute ("Last_Node", "Node_Id", Image (Last_Node (N)), int (Last_Node (N))); end W_Identifiers_List; procedure W_AADL_Specification (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Declarations", "List_Id", Image (Declarations (N)), int (Declarations (N))); end W_AADL_Specification; procedure W_AADL_Declarations_List (N : list_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("First_Node", "Node_Id", Image (First_Node (N)), int (First_Node (N))); W_Node_Attribute ("Last_Node", "Node_Id", Image (Last_Node (N)), int (Last_Node (N))); end W_AADL_Declarations_List; procedure W_Package_Specification (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Declarations", "List_Id", Image (Declarations (N)), int (Declarations (N))); W_Node_Attribute ("Has_Private_Part", "Boolean", Image (Has_Private_Part (N))); W_Node_Attribute ("Has_Public_Part", "Boolean", Image (Has_Public_Part (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); end W_Package_Specification; procedure W_Component_Category (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); end W_Component_Category; procedure W_Component_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("First_Visited_Node", "Node_Id", Image (First_Visited_Node (N)), int (First_Visited_Node (N))); W_Node_Attribute ("Namespace", "Node_Id", Image (Namespace (N)), int (Namespace (N))); W_Node_Attribute ("Default_Instance", "Node_Id", Image (Default_Instance (N)), int (Default_Instance (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Features", "List_Id", Image (Features (N)), int (Features (N))); W_Node_Attribute ("Flows", "List_Id", Image (Flows (N)), int (Flows (N))); W_Node_Attribute ("Annexes", "List_Id", Image (Annexes (N)), int (Annexes (N))); W_Node_Attribute ("Parent", "Node_Id", Image (Parent (N)), int (Parent (N))); W_Node_Attribute ("Instances", "List_Id", Image (Instances (N)), int (Instances (N))); end W_Component_Type; procedure W_Component_Implementation (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("First_Visited_Node", "Node_Id", Image (First_Visited_Node (N)), int (First_Visited_Node (N))); W_Node_Attribute ("Namespace", "Node_Id", Image (Namespace (N)), int (Namespace (N))); W_Node_Attribute ("Default_Instance", "Node_Id", Image (Default_Instance (N)), int (Default_Instance (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Flows", "List_Id", Image (Flows (N)), int (Flows (N))); W_Node_Attribute ("Annexes", "List_Id", Image (Annexes (N)), int (Annexes (N))); W_Node_Attribute ("Parent", "Node_Id", Image (Parent (N)), int (Parent (N))); W_Node_Attribute ("Instances", "List_Id", Image (Instances (N)), int (Instances (N))); W_Node_Attribute ("Component_Type_Identifier", "Node_Id", Image (Component_Type_Identifier (N)), int (Component_Type_Identifier (N))); W_Node_Attribute ("Refines_Type", "List_Id", Image (Refines_Type (N)), int (Refines_Type (N))); W_Node_Attribute ("Subcomponents", "List_Id", Image (Subcomponents (N)), int (Subcomponents (N))); W_Node_Attribute ("Calls", "List_Id", Image (Calls (N)), int (Calls (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Modes", "List_Id", Image (Modes (N)), int (Modes (N))); end W_Component_Implementation; procedure W_Contained_Entity (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); end W_Contained_Entity; procedure W_Subclause (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); end W_Subclause; procedure W_Feature (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); end W_Feature; procedure W_Refinable_Feature (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); end W_Refinable_Feature; procedure W_Port_Spec (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Is_In", "Boolean", Image (Is_In (N))); W_Node_Attribute ("Is_Out", "Boolean", Image (Is_Out (N))); W_Node_Attribute ("Is_Event", "Boolean", Image (Is_Event (N))); W_Node_Attribute ("Is_Data", "Boolean", Image (Is_Data (N))); end W_Port_Spec; procedure W_Port_Group_Spec (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); end W_Port_Group_Spec; procedure W_Subprogram_Spec (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Is_Server", "Boolean", Image (Is_Server (N))); end W_Subprogram_Spec; procedure W_Parameter (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Is_In", "Boolean", Image (Is_In (N))); W_Node_Attribute ("Is_Out", "Boolean", Image (Is_Out (N))); end W_Parameter; procedure W_Subcomponent_Access (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Is_Provided", "Boolean", Image (Is_Provided (N))); W_Node_Attribute ("Subcomponent_Category", "Byte", Image (Subcomponent_Category (N))); end W_Subcomponent_Access; procedure W_Flow_Spec (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Source_Flow", "Node_Id", Image (Source_Flow (N)), int (Source_Flow (N))); W_Node_Attribute ("Sink_Flow", "Node_Id", Image (Sink_Flow (N)), int (Sink_Flow (N))); end W_Flow_Spec; procedure W_Mode (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("Is_Initial", "Boolean", Image (Is_Initial (N))); end W_Mode; procedure W_Mode_Transition (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Source_Modes", "List_Id", Image (Source_Modes (N)), int (Source_Modes (N))); W_Node_Attribute ("Unique_Ports", "List_Id", Image (Unique_Ports (N)), int (Unique_Ports (N))); W_Node_Attribute ("Destination_Mode", "Node_Id", Image (Destination_Mode (N)), int (Destination_Mode (N))); end W_Mode_Transition; procedure W_In_Modes (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Modes", "List_Id", Image (Modes (N)), int (Modes (N))); end W_In_Modes; procedure W_Flow_Implementation (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); end W_Flow_Implementation; procedure W_End_To_End_Flow_Spec (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); end W_End_To_End_Flow_Spec; procedure W_Flow_Implementation_Refinement (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); end W_Flow_Implementation_Refinement; procedure W_End_To_End_Flow_Refinement (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); end W_End_To_End_Flow_Refinement; procedure W_Subprogram_Call (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Parent_Sequence", "Node_Id", Image (Parent_Sequence (N)), int (Parent_Sequence (N))); end W_Subprogram_Call; procedure W_Subprogram_Call_Sequence (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Subprogram_Calls", "List_Id", Image (Subprogram_Calls (N)), int (Subprogram_Calls (N))); end W_Subprogram_Call_Sequence; procedure W_Subcomponent (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Implicit_Inverse", "Boolean", Image (Is_Implicit_Inverse (N))); W_Node_Attribute ("Inversed_Entity", "Node_Id", Image (Inversed_Entity (N)), int (Inversed_Entity (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); end W_Subcomponent; procedure W_Port_Group_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("First_Visited_Node", "Node_Id", Image (First_Visited_Node (N)), int (First_Visited_Node (N))); W_Node_Attribute ("Namespace", "Node_Id", Image (Namespace (N)), int (Namespace (N))); W_Node_Attribute ("Default_Instance", "Node_Id", Image (Default_Instance (N)), int (Default_Instance (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Features", "List_Id", Image (Features (N)), int (Features (N))); W_Node_Attribute ("Annexes", "List_Id", Image (Annexes (N)), int (Annexes (N))); W_Node_Attribute ("Parent", "Node_Id", Image (Parent (N)), int (Parent (N))); W_Node_Attribute ("Inverse_Of", "Node_Id", Image (Inverse_Of (N)), int (Inverse_Of (N))); end W_Port_Group_Type; procedure W_Connection (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Scope", "Node_Id", Image (Property_Scope (N)), int (Property_Scope (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Entity_Ref", "Node_Id", Image (Entity_Ref (N)), int (Entity_Ref (N))); W_Node_Attribute ("Is_Refinement", "Boolean", Image (Is_Refinement (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Source", "Node_Id", Image (Source (N)), int (Source (N))); W_Node_Attribute ("Destination", "Node_Id", Image (Destination (N)), int (Destination (N))); end W_Connection; procedure W_Property_Set (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Entity_Scope", "Node_Id", Image (Entity_Scope (N)), int (Entity_Scope (N))); W_Node_Attribute ("Declarations", "List_Id", Image (Declarations (N)), int (Declarations (N))); W_Node_Attribute ("Property_Set_Context", "Node_Id", Image (Property_Set_Context (N)), int (Property_Set_Context (N))); end W_Property_Set; procedure W_Property_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Is_List", "Boolean", Image (Is_List (N))); W_Node_Attribute ("Property_Type_Designator", "Node_Id", Image (Property_Type_Designator (N)), int (Property_Type_Designator (N))); W_Node_Attribute ("Expanded_Type_Designator", "Node_Id", Image (Expanded_Type_Designator (N)), int (Expanded_Type_Designator (N))); end W_Property_Type; procedure W_Property_Type_Declaration (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Property_Type_Designator", "Node_Id", Image (Property_Type_Designator (N)), int (Property_Type_Designator (N))); end W_Property_Type_Declaration; procedure W_Single_Valued_Property (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Property_Type_Designator", "Node_Id", Image (Property_Type_Designator (N)), int (Property_Type_Designator (N))); W_Node_Attribute ("Property_Expression", "Node_Id", Image (Property_Expression (N)), int (Property_Expression (N))); end W_Single_Valued_Property; procedure W_Multi_Valued_Property (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Property_Type_Designator", "Node_Id", Image (Property_Type_Designator (N)), int (Property_Type_Designator (N))); W_Node_Attribute ("Property_Expressions", "List_Id", Image (Property_Expressions (N)), int (Property_Expressions (N))); end W_Multi_Valued_Property; procedure W_Constant_Property_Declaration (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Constant_Type", "Node_Id", Image (Constant_Type (N)), int (Constant_Type (N))); W_Node_Attribute ("Unique_Unit_Identifier", "Node_Id", Image (Unique_Unit_Identifier (N)), int (Unique_Unit_Identifier (N))); W_Node_Attribute ("Constant_Value", "Node_Id", Image (Constant_Value (N)), int (Constant_Value (N))); end W_Constant_Property_Declaration; procedure W_Property_Value (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Value_Container", "Node_Id", Image (Value_Container (N)), int (Value_Container (N))); W_Node_Attribute ("Single_Value", "Node_Id", Image (Single_Value (N)), int (Single_Value (N))); W_Node_Attribute ("Multi_Value", "List_Id", Image (Multi_Value (N)), int (Multi_Value (N))); W_Node_Attribute ("Expanded_Single_Value", "Node_Id", Image (Expanded_Single_Value (N)), int (Expanded_Single_Value (N))); W_Node_Attribute ("Expanded_Multi_Value", "List_Id", Image (Expanded_Multi_Value (N)), int (Expanded_Multi_Value (N))); end W_Property_Value; procedure W_Property_Name_Declaration (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Is_Access", "Boolean", Image (Is_Access (N))); W_Node_Attribute ("Is_Inherit", "Boolean", Image (Is_Inherit (N))); W_Node_Attribute ("Property_Name_Type", "Node_Id", Image (Property_Name_Type (N)), int (Property_Name_Type (N))); W_Node_Attribute ("Default_Value", "Node_Id", Image (Default_Value (N)), int (Default_Value (N))); W_Node_Attribute ("Applies_To", "Node_Id", Image (Applies_To (N)), int (Applies_To (N))); end W_Property_Name_Declaration; procedure W_Property_List_Value (N : list_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("First_Node", "Node_Id", Image (First_Node (N)), int (First_Node (N))); W_Node_Attribute ("Last_Node", "Node_Id", Image (Last_Node (N)), int (Last_Node (N))); end W_Property_List_Value; procedure W_In_Binding (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Binding", "List_Id", Image (Binding (N)), int (Binding (N))); end W_In_Binding; procedure W_Property_Association (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Is_Access", "Boolean", Image (Is_Access (N))); W_Node_Attribute ("Property_Name", "Node_Id", Image (Property_Name (N)), int (Property_Name (N))); W_Node_Attribute ("Is_Additive_Association", "Boolean", Image (Is_Additive_Association (N))); W_Node_Attribute ("Is_Constant", "Boolean", Image (Is_Constant (N))); W_Node_Attribute ("Property_Association_Type", "Node_Id", Image (Property_Association_Type (N)), int (Property_Association_Type (N))); W_Node_Attribute ("Property_Association_Value", "Node_Id", Image (Property_Association_Value (N)), int (Property_Association_Value (N))); W_Node_Attribute ("Applies_To_Prop", "List_Id", Image (Applies_To_Prop (N)), int (Applies_To_Prop (N))); W_Node_Attribute ("In_Binding", "Node_Id", Image (In_Binding (N)), int (In_Binding (N))); end W_Property_Association; procedure W_Literal (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Value", "Value_Id", Image (Value (N))); end W_Literal; procedure W_Signed_AADLNumber (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Number_Value", "Node_Id", Image (Number_Value (N)), int (Number_Value (N))); W_Node_Attribute ("Unit_Identifier", "Node_Id", Image (Unit_Identifier (N)), int (Unit_Identifier (N))); end W_Signed_AADLNumber; procedure W_Not_Boolean_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Boolean_Term", "Node_Id", Image (Boolean_Term (N)), int (Boolean_Term (N))); end W_Not_Boolean_Term; procedure W_And_Boolean_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("First_Term", "Node_Id", Image (First_Term (N)), int (First_Term (N))); W_Node_Attribute ("Second_Term", "Node_Id", Image (Second_Term (N)), int (Second_Term (N))); end W_And_Boolean_Term; procedure W_Or_Boolean_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("First_Term", "Node_Id", Image (First_Term (N)), int (First_Term (N))); W_Node_Attribute ("Second_Term", "Node_Id", Image (Second_Term (N)), int (Second_Term (N))); end W_Or_Boolean_Term; procedure W_Parenthesis_Boolean_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Boolean_Term", "Node_Id", Image (Boolean_Term (N)), int (Boolean_Term (N))); end W_Parenthesis_Boolean_Term; procedure W_Minus_Numeric_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Numeric_Term", "Node_Id", Image (Numeric_Term (N)), int (Numeric_Term (N))); end W_Minus_Numeric_Term; procedure W_Property_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); end W_Property_Term; procedure W_Number_Range_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Lower_Bound", "Node_Id", Image (Lower_Bound (N)), int (Lower_Bound (N))); W_Node_Attribute ("Upper_Bound", "Node_Id", Image (Upper_Bound (N)), int (Upper_Bound (N))); W_Node_Attribute ("Delta_Term", "Node_Id", Image (Delta_Term (N)), int (Delta_Term (N))); end W_Number_Range_Term; procedure W_Component_Classifier_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); W_Node_Attribute ("Component_Cat", "Byte", Image (Component_Cat (N))); end W_Component_Classifier_Term; procedure W_Reference_Term (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); end W_Reference_Term; procedure W_Boolean_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); end W_Boolean_Type; procedure W_String_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); end W_String_Type; procedure W_Real_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Type_Range", "Node_Id", Image (Type_Range (N)), int (Type_Range (N))); W_Node_Attribute ("Unit_Designator", "Node_Id", Image (Unit_Designator (N)), int (Unit_Designator (N))); end W_Real_Type; procedure W_Integer_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Type_Range", "Node_Id", Image (Type_Range (N)), int (Type_Range (N))); W_Node_Attribute ("Unit_Designator", "Node_Id", Image (Unit_Designator (N)), int (Unit_Designator (N))); end W_Integer_Type; procedure W_Enumeration_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Identifiers", "List_Id", Image (Identifiers (N)), int (Identifiers (N))); W_Node_Attribute ("Enumeration_Context", "Node_Id", Image (Enumeration_Context (N)), int (Enumeration_Context (N))); end W_Enumeration_Type; procedure W_Number_Range (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Lower_Bound", "Node_Id", Image (Lower_Bound (N)), int (Lower_Bound (N))); W_Node_Attribute ("Upper_Bound", "Node_Id", Image (Upper_Bound (N)), int (Upper_Bound (N))); end W_Number_Range; procedure W_Unit_Definition (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Unit_Identifier", "Node_Id", Image (Unit_Identifier (N)), int (Unit_Identifier (N))); W_Node_Attribute ("Numeric_Literal", "Node_Id", Image (Numeric_Literal (N)), int (Numeric_Literal (N))); end W_Unit_Definition; procedure W_Units_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Base_Identifier", "Node_Id", Image (Base_Identifier (N)), int (Base_Identifier (N))); W_Node_Attribute ("Unit_Definitions", "List_Id", Image (Unit_Definitions (N)), int (Unit_Definitions (N))); W_Node_Attribute ("Units_Context", "Node_Id", Image (Units_Context (N)), int (Units_Context (N))); end W_Units_Type; procedure W_Range_Type (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Number_Type", "Node_Id", Image (Number_Type (N)), int (Number_Type (N))); end W_Range_Type; procedure W_Classifier_Type (N : list_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("First_Node", "Node_Id", Image (First_Node (N)), int (First_Node (N))); W_Node_Attribute ("Last_Node", "Node_Id", Image (Last_Node (N)), int (Last_Node (N))); end W_Classifier_Type; procedure W_Referable_Element_Category (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Component_Cat", "Byte", Image (Component_Cat (N))); end W_Referable_Element_Category; procedure W_Reference_Type (N : list_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("First_Node", "Node_Id", Image (First_Node (N)), int (First_Node (N))); W_Node_Attribute ("Last_Node", "Node_Id", Image (Last_Node (N)), int (Last_Node (N))); end W_Reference_Type; procedure W_Unique_Property_Type_Identifier (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); end W_Unique_Property_Type_Identifier; procedure W_Property_Owner_Category (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Category", "Byte", Image (Category (N))); W_Node_Attribute ("Component_Cat", "Byte", Image (Component_Cat (N))); W_Node_Attribute ("Classifier_Ref", "Node_Id", Image (Classifier_Ref (N)), int (Classifier_Ref (N))); end W_Property_Owner_Category; procedure W_Applies_To (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Is_All", "Boolean", Image (Is_All (N))); W_Node_Attribute ("Owner_Categories", "List_Id", Image (Owner_Categories (N)), int (Owner_Categories (N))); end W_Applies_To; procedure W_Unique_Property_Const_Identifier (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Namespace_Path", "List_Id", Image (Namespace_Path (N)), int (Namespace_Path (N))); W_Node_Attribute ("Namespace_Identifier", "Node_Id", Image (Namespace_Identifier (N)), int (Namespace_Identifier (N))); W_Node_Attribute ("Full_Identifier", "Node_Id", Image (Full_Identifier (N)), int (Full_Identifier (N))); W_Node_Attribute ("Entity", "Node_Id", Image (Entity (N)), int (Entity (N))); end W_Unique_Property_Const_Identifier; procedure W_Annex_Content (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Raw_Text", "Name_Id", Image (Raw_Text (N))); end W_Annex_Content; procedure W_Annex_Subclause (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Container_Component", "Node_Id", Image (Container_Component (N)), int (Container_Component (N))); W_Node_Attribute ("Annex_Content", "Node_Id", Image (Annex_Content (N)), int (Annex_Content (N))); end W_Annex_Subclause; procedure W_Annex_Library (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("Annex_Content", "Node_Id", Image (Annex_Content (N)), int (Annex_Content (N))); W_Node_Attribute ("Container_Package", "Node_Id", Image (Container_Package (N)), int (Container_Package (N))); end W_Annex_Library; procedure W_Architecture_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Root_System", "Node_Id", Image (Root_System (N)), int (Root_System (N))); W_Node_Attribute ("Virtual_Connections", "List_Id", Image (Virtual_Connections (N)), int (Virtual_Connections (N))); W_Node_Attribute ("Namespaces", "List_Id", Image (Namespaces (N)), int (Namespaces (N))); W_Node_Attribute ("Unnamed_Namespace", "Node_Id", Image (Unnamed_Namespace (N)), int (Unnamed_Namespace (N))); end W_Architecture_Instance; procedure W_Entity_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); end W_Entity_Instance; procedure W_Entity_Reference_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); end W_Entity_Reference_Instance; procedure W_Declaration_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); end W_Declaration_Instance; procedure W_Component_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Is_Private", "Boolean", Image (Is_Private (N))); W_Node_Attribute ("Namespace", "Node_Id", Image (Namespace (N)), int (Namespace (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Features", "List_Id", Image (Features (N)), int (Features (N))); W_Node_Attribute ("Flows", "List_Id", Image (Flows (N)), int (Flows (N))); W_Node_Attribute ("Annexes", "List_Id", Image (Annexes (N)), int (Annexes (N))); W_Node_Attribute ("Subcomponents", "List_Id", Image (Subcomponents (N)), int (Subcomponents (N))); W_Node_Attribute ("Calls", "List_Id", Image (Calls (N)), int (Calls (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Modes", "List_Id", Image (Modes (N)), int (Modes (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Mode_transitions", "List_Id", Image (Mode_transitions (N)), int (Mode_transitions (N))); W_Node_Attribute ("Parent_Subcomponent", "Node_Id", Image (Parent_Subcomponent (N)), int (Parent_Subcomponent (N))); W_Node_Attribute ("First_Homonym_In_Namespace", "Node_Id", Image (First_Homonym_In_Namespace (N)), int (First_Homonym_In_Namespace (N))); end W_Component_Instance; procedure W_Subcomponent_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); end W_Subcomponent_Instance; procedure W_Namespace_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Declarations", "List_Id", Image (Declarations (N)), int (Declarations (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); end W_Namespace_Instance; procedure W_Feature_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Feature_Instance; procedure W_Port_Spec_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Is_In", "Boolean", Image (Is_In (N))); W_Node_Attribute ("Is_Out", "Boolean", Image (Is_Out (N))); W_Node_Attribute ("Is_Event", "Boolean", Image (Is_Event (N))); W_Node_Attribute ("Is_Data", "Boolean", Image (Is_Data (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Port_Spec_Instance; procedure W_Port_Group_Spec_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Features", "List_Id", Image (Features (N)), int (Features (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Port_Group_Spec_Instance; procedure W_Subprogram_Spec_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Is_Server", "Boolean", Image (Is_Server (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Subprogram_Spec_Instance; procedure W_Parameter_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Is_In", "Boolean", Image (Is_In (N))); W_Node_Attribute ("Is_Out", "Boolean", Image (Is_Out (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Parameter_Instance; procedure W_Subcomponent_Access_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Is_Data", "Boolean", Image (Is_Data (N))); W_Node_Attribute ("Is_Provided", "Boolean", Image (Is_Provided (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Sources", "List_Id", Image (Sources (N)), int (Sources (N))); end W_Subcomponent_Access_Instance; procedure W_Call_Sequence_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Subprogram_Calls", "List_Id", Image (Subprogram_Calls (N)), int (Subprogram_Calls (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); end W_Call_Sequence_Instance; procedure W_Call_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Path", "List_Id", Image (Path (N)), int (Path (N))); W_Node_Attribute ("Parent_Sequence", "Node_Id", Image (Parent_Sequence (N)), int (Parent_Sequence (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Corresponding_Instance", "Node_Id", Image (Corresponding_Instance (N)), int (Corresponding_Instance (N))); end W_Call_Instance; procedure W_Mode_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("Is_Initial", "Boolean", Image (Is_Initial (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); end W_Mode_Instance; procedure W_Mode_Transition_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Source_Modes", "List_Id", Image (Source_Modes (N)), int (Source_Modes (N))); W_Node_Attribute ("Unique_Ports", "List_Id", Image (Unique_Ports (N)), int (Unique_Ports (N))); W_Node_Attribute ("Destination_Mode", "Node_Id", Image (Destination_Mode (N)), int (Destination_Mode (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); end W_Mode_Transition_Instance; procedure W_Connection_Instance (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Source", "Node_Id", Image (Source (N)), int (Source (N))); W_Node_Attribute ("Destination", "Node_Id", Image (Destination (N)), int (Destination (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Associated_Type", "Node_Id", Image (Associated_Type (N)), int (Associated_Type (N))); end W_Connection_Instance; procedure W_Virtual_Connection (N : node_id) is begin W_Node_Header (node_id (N)); W_Node_Attribute ("Next_Node", "Node_Id", Image (Next_Node (N)), int (Next_Node (N))); W_Node_Attribute ("Annotations", "List_Id", Image (Annotations (N)), int (Annotations (N))); W_Node_Attribute ("Next_Entity", "Node_Id", Image (Next_Entity (N)), int (Next_Entity (N))); W_Node_Attribute ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Properties", "List_Id", Image (Properties (N)), int (Properties (N))); W_Node_Attribute ("In_Modes", "Node_Id", Image (In_Modes (N)), int (In_Modes (N))); W_Node_Attribute ("Source", "Node_Id", Image (Source (N)), int (Source (N))); W_Node_Attribute ("Destination", "Node_Id", Image (Destination (N)), int (Destination (N))); W_Node_Attribute ("Corresponding_Declaration", "Node_Id", Image (Corresponding_Declaration (N)), int (Corresponding_Declaration (N))); W_Node_Attribute ("Annotation", "Node_Id", Image (Annotation (N)), int (Annotation (N))); W_Node_Attribute ("Parent_Component", "Node_Id", Image (Parent_Component (N)), int (Parent_Component (N))); W_Node_Attribute ("Associated_Type", "Node_Id", Image (Associated_Type (N)), int (Associated_Type (N))); W_Node_Attribute ("Connection_Instances", "List_Id", Image (Connection_Instances (N)), int (Connection_Instances (N))); end W_Virtual_Connection; end Ocarina.Nodes;