------------------------------------------------------- ------------------------- -- -- -- OCARINA COMPONENTS -- -- -- -- O C A R I N A . P N . 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.PN.Debug; use Ocarina.PN.Debug; package body Ocarina.PN.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_indirection or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_pn_definition or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_position or else Table (node_id (N)).Kind = k_color_variable or else Table (node_id (N)).Kind = k_color_declaration or else Table (node_id (N)).Kind = k_control_color_declaration or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration or else Table (node_id (N)).Kind = k_range_class_declaration or else Table (node_id (N)).Kind = k_domain_declaration or else Table (node_id (N)).Kind = k_variables_declaration or else Table (node_id (N)).Kind = k_symbolic_value or else Table (node_id (N)).Kind = k_constant_token or else Table (node_id (N)).Kind = k_token_value or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_guard or else Table (node_id (N)).Kind = k_pn_marking or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_include_call or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node or else Table (node_id (N)).Kind = k_subprogram_declaration); return node_id (Table (node_id (N)).L (2)); 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_indirection or else Table (node_id (N)).Kind = k_identifier or else Table (node_id (N)).Kind = k_pn_definition or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_position or else Table (node_id (N)).Kind = k_color_variable or else Table (node_id (N)).Kind = k_color_declaration or else Table (node_id (N)).Kind = k_control_color_declaration or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration or else Table (node_id (N)).Kind = k_range_class_declaration or else Table (node_id (N)).Kind = k_domain_declaration or else Table (node_id (N)).Kind = k_variables_declaration or else Table (node_id (N)).Kind = k_symbolic_value or else Table (node_id (N)).Kind = k_constant_token or else Table (node_id (N)).Kind = k_token_value or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_guard or else Table (node_id (N)).Kind = k_pn_marking or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_include_call or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node or else Table (node_id (N)).Kind = k_subprogram_declaration); Table (node_id (N)).L (2) := int (V); end Set_Next_Node; function Item (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_indirection); 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_indirection); Table (node_id (N)).L (1) := int (V); end Set_Item; function First_Node (N : list_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_list_id); 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); 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); 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); Table (node_id (N)).L (2) := int (V); end Set_Last_Node; 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 (1)); 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 (1) := int (V); end Set_Name; function Ocarina_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 (3)); end Ocarina_Node; procedure Set_Ocarina_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 (3) := int (V); end Set_Ocarina_Node; function Corresponding_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 (4)); 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_identifier); Table (node_id (N)).L (4) := int (V); end Set_Corresponding_Entity; function Identifier (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_definition or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_color_declaration or else Table (node_id (N)).Kind = k_control_color_declaration or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration or else Table (node_id (N)).Kind = k_range_class_declaration or else Table (node_id (N)).Kind = k_domain_declaration or else Table (node_id (N)).Kind = k_variables_declaration or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (3)); end Identifier; procedure Set_Identifier (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_definition or else Table (node_id (N)).Kind = k_scoped_name or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_color_declaration or else Table (node_id (N)).Kind = k_control_color_declaration or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration or else Table (node_id (N)).Kind = k_range_class_declaration or else Table (node_id (N)).Kind = k_domain_declaration or else Table (node_id (N)).Kind = k_variables_declaration or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (3) := int (V); end Set_Identifier; function Parent_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 (1)); end Parent_Scoped_Name; procedure Set_Parent_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 (1) := int (V); end Set_Parent_Scoped_Name; 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 (4)); 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 (4) := int (V); end Set_Reference; function Scoped_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (4)); end Scoped_Name; procedure Set_Scoped_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_scope_definition or else Table (node_id (N)).Kind = k_variable_token or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (4) := int (V); end Set_Scoped_Name; function X_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_position); return value_id (Table (node_id (N)).L (1)); end X_Value; procedure Set_X_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_position); Table (node_id (N)).L (1) := int (V); end Set_X_Value; function Y_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_position); return value_id (Table (node_id (N)).L (3)); end Y_Value; procedure Set_Y_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_position); Table (node_id (N)).L (3) := int (V); end Set_Y_Value; function Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_color_variable or else Table (node_id (N)).Kind = k_constant_token or else Table (node_id (N)).Kind = k_guard); 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_color_variable or else Table (node_id (N)).Kind = k_constant_token or else Table (node_id (N)).Kind = k_guard); Table (node_id (N)).L (1) := int (V); end Set_Value; function First_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_control_color_declaration); return value_id (Table (node_id (N)).L (1)); end First_Value; procedure Set_First_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_control_color_declaration); Table (node_id (N)).L (1) := int (V); end Set_First_Value; function Last_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_control_color_declaration); return value_id (Table (node_id (N)).L (4)); end Last_Value; procedure Set_Last_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_control_color_declaration); Table (node_id (N)).L (4) := int (V); end Set_Last_Value; function Symbolic_Values (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration); return list_id (Table (node_id (N)).L (1)); end Symbolic_Values; procedure Set_Symbolic_Values (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration or else Table (node_id (N)).Kind = k_enumeration_class_declaration); Table (node_id (N)).L (1) := int (V); end Set_Symbolic_Values; function Default_Valid_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration); return value_id (Table (node_id (N)).L (4)); end Default_Valid_Value; procedure Set_Default_Valid_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration); Table (node_id (N)).L (4) := int (V); end Set_Default_Valid_Value; function Default_Invalid_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration); return value_id (Table (node_id (N)).L (5)); end Default_Invalid_Value; procedure Set_Default_Invalid_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_data_color_declaration); Table (node_id (N)).L (5) := int (V); end Set_Default_Invalid_Value; function Lower_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_class_declaration); return value_id (Table (node_id (N)).L (1)); end Lower_Value; procedure Set_Lower_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_class_declaration); Table (node_id (N)).L (1) := int (V); end Set_Lower_Value; function Higher_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_class_declaration); return value_id (Table (node_id (N)).L (4)); end Higher_Value; procedure Set_Higher_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_range_class_declaration); Table (node_id (N)).L (4) := int (V); end Set_Higher_Value; function Classes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_domain_declaration); return list_id (Table (node_id (N)).L (1)); end Classes; procedure Set_Classes (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_domain_declaration); Table (node_id (N)).L (1) := int (V); end Set_Classes; function Variables (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_variables_declaration); return list_id (Table (node_id (N)).L (1)); end Variables; procedure Set_Variables (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_variables_declaration); Table (node_id (N)).L (1) := int (V); end Set_Variables; function Symbol_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_symbolic_value); return value_id (Table (node_id (N)).L (1)); end Symbol_Value; procedure Set_Symbol_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_symbolic_value); Table (node_id (N)).L (1) := int (V); end Set_Symbol_Value; function Color_Variable (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_token); return node_id (Table (node_id (N)).L (3)); end Color_Variable; procedure Set_Color_Variable (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_token); Table (node_id (N)).L (3) := int (V); end Set_Color_Variable; function Number (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_token); return value_id (Table (node_id (N)).L (4)); end Number; procedure Set_Number (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_constant_token); Table (node_id (N)).L (4) := int (V); end Set_Number; function Constant_Token (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_token_value); return list_id (Table (node_id (N)).L (1)); end Constant_Token; procedure Set_Constant_Token (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_token_value); Table (node_id (N)).L (1) := int (V); end Set_Constant_Token; function Class (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_variable_token); return node_id (Table (node_id (N)).L (1)); end Class; procedure Set_Class (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_variable_token); Table (node_id (N)).L (1) := int (V); end Set_Class; function Variable (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_guard); return value_id (Table (node_id (N)).L (3)); end Variable; procedure Set_Variable (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_guard); Table (node_id (N)).L (3) := int (V); end Set_Variable; function Operator (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_guard); return value_id (Table (node_id (N)).L (4)); end Operator; procedure Set_Operator (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_guard); Table (node_id (N)).L (4) := int (V); end Set_Operator; function Tokens (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_marking or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_port); return list_id (Table (node_id (N)).L (5)); end Tokens; procedure Set_Tokens (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_marking or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (5) := int (V); end Set_Tokens; function Tuple (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_marking); return Boolean (Table (node_id (N)).B (1)); end Tuple; procedure Set_Tuple (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_pn_marking); Table (node_id (N)).B (1) := Boolean (V); end Set_Tuple; function Color (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (6)); end Color; procedure Set_Color (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (6) := int (V); end Set_Color; function Marking (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_connect_statement or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (7)); end Marking; procedure Set_Marking (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_connect_statement or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (7) := int (V); end Set_Marking; function Position (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (8)); end Position; procedure Set_Position (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration or else Table (node_id (N)).Kind = k_port or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (8) := int (V); end Set_Position; function Guards (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_transition_declaration); return list_id (Table (node_id (N)).L (1)); end Guards; procedure Set_Guards (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_transition_declaration); Table (node_id (N)).L (1) := int (V); end Set_Guards; function First_Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); 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_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); 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_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); return node_id (Table (node_id (N)).L (3)); 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_connect_statement or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); Table (node_id (N)).L (3) := int (V); end Set_Second_Reference; function New_Scoped_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); return node_id (Table (node_id (N)).L (4)); end New_Scoped_Name; procedure Set_New_Scoped_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_fusion or else Table (node_id (N)).Kind = k_transition_fusion); Table (node_id (N)).L (4) := int (V); end Set_New_Scoped_Name; function Is_Event_Port (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return Boolean (Table (node_id (N)).B (1)); end Is_Event_Port; procedure Set_Is_Event_Port (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Event_Port; function Pop_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (9)); end Pop_Transition; procedure Set_Pop_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (9) := int (V); end Set_Pop_Transition; function Push_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (10)); end Push_Transition; procedure Set_Push_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (10) := int (V); end Set_Push_Transition; function Corresponding_Feature (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (11)); end Corresponding_Feature; procedure Set_Corresponding_Feature (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (11) := int (V); end Set_Corresponding_Feature; function Parent_Box (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (12)); end Parent_Box; procedure Set_Parent_Box (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (12) := int (V); end Set_Parent_Box; function Refered_Nodes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return list_id (Table (node_id (N)).L (13)); end Refered_Nodes; procedure Set_Refered_Nodes (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (13) := int (V); end Set_Refered_Nodes; function Thread_Color (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return value_id (Table (node_id (N)).L (14)); end Thread_Color; procedure Set_Thread_Color (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (14) := int (V); end Set_Thread_Color; function Thread_Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); return node_id (Table (node_id (N)).L (15)); end Thread_Reference; procedure Set_Thread_Reference (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_port); Table (node_id (N)).L (15) := int (V); end Set_Thread_Reference; function Namespace_Scoped_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_include_call); return node_id (Table (node_id (N)).L (1)); end Namespace_Scoped_Name; procedure Set_Namespace_Scoped_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_include_call); Table (node_id (N)).L (1) := int (V); end Set_Namespace_Scoped_Name; function Subprogram_Scoped_Name (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_include_call); return node_id (Table (node_id (N)).L (3)); end Subprogram_Scoped_Name; procedure Set_Subprogram_Scoped_Name (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_include_call); Table (node_id (N)).L (3) := int (V); end Set_Subprogram_Scoped_Name; function Include_Call (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (1)); end Include_Call; procedure Set_Include_Call (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (1) := int (V); end Set_Include_Call; function Places (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (5)); end Places; procedure Set_Places (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (5) := int (V); end Set_Places; function Arcs (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (6)); end Arcs; procedure Set_Arcs (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_connection or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (6) := int (V); end Set_Arcs; function Connections (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (7)); end Connections; procedure Set_Connections (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (7) := int (V); end Set_Connections; function Place_Fusions (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (9)); end Place_Fusions; procedure Set_Place_Fusions (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (9) := int (V); end Set_Place_Fusions; function Arc_Fusions (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (10)); end Arc_Fusions; procedure Set_Arc_Fusions (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (10) := int (V); end Set_Arc_Fusions; function Subnets (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (11)); end Subnets; procedure Set_Subnets (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (11) := int (V); end Set_Subnets; function Begin_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (12)); end Begin_Node; procedure Set_Begin_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (12) := int (V); end Set_Begin_Node; function End_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (13)); end End_Node; procedure Set_End_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_functionnal_entity or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (13) := int (V); end Set_End_Node; function Reset_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (14)); end Reset_Transition; procedure Set_Reset_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (14) := int (V); end Set_Reset_Transition; function Body_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (15)); end Body_Transition; procedure Set_Body_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (15) := int (V); end Set_Body_Transition; function Ack_Receiver_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (16)); end Ack_Receiver_Transition; procedure Set_Ack_Receiver_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (16) := int (V); end Set_Ack_Receiver_Transition; function Ack_Receiver_Link (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (17)); end Ack_Receiver_Link; procedure Set_Ack_Receiver_Link (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (17) := int (V); end Set_Ack_Receiver_Link; function Ack_Place (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (18)); end Ack_Place; procedure Set_Ack_Place (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (18) := int (V); end Set_Ack_Place; function Ack_Link (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (19)); end Ack_Link; procedure Set_Ack_Link (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (19) := int (V); end Set_Ack_Link; function Control_Color_Value (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return value_id (Table (node_id (N)).L (20)); end Control_Color_Value; procedure Set_Control_Color_Value (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (20) := int (V); end Set_Control_Color_Value; function Ports (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); return list_id (Table (node_id (N)).L (21)); end Ports; procedure Set_Ports (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (21) := int (V); end Set_Ports; function Connection_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); return node_id (Table (node_id (N)).L (5)); end Connection_Transition; procedure Set_Connection_Transition (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); Table (node_id (N)).L (5) := int (V); end Set_Connection_Transition; function Source (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); return node_id (Table (node_id (N)).L (7)); 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); Table (node_id (N)).L (7) := int (V); end Set_Source; function Destinations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); return list_id (Table (node_id (N)).L (8)); end Destinations; procedure Set_Destinations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); Table (node_id (N)).L (8) := int (V); end Set_Destinations; function Is_Event (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_connection); return Boolean (Table (node_id (N)).B (1)); 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_connection); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Event; function Number_Of_Control_Vars (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return value_id (Table (node_id (N)).L (12)); end Number_Of_Control_Vars; procedure Set_Number_Of_Control_Vars (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (12) := int (V); end Set_Number_Of_Control_Vars; function Number_Of_Value_Vars (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return value_id (Table (node_id (N)).L (13)); end Number_Of_Value_Vars; procedure Set_Number_Of_Value_Vars (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (13) := int (V); end Set_Number_Of_Value_Vars; function Number_Of_Threads (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return value_id (Table (node_id (N)).L (14)); end Number_Of_Threads; procedure Set_Number_Of_Threads (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (14) := int (V); end Set_Number_Of_Threads; function Color_Declarations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return list_id (Table (node_id (N)).L (15)); end Color_Declarations; procedure Set_Color_Declarations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (15) := int (V); end Set_Color_Declarations; function Class_Control (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (16)); end Class_Control; procedure Set_Class_Control (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (16) := int (V); end Set_Class_Control; function Class_Value (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (17)); end Class_Value; procedure Set_Class_Value (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (17) := int (V); end Set_Class_Value; function Domain_Comm (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (18)); end Domain_Comm; procedure Set_Domain_Comm (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (18) := int (V); end Set_Domain_Comm; function Control_Variables (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (19)); end Control_Variables; procedure Set_Control_Variables (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (19) := int (V); end Set_Control_Variables; function Value_Variables (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return node_id (Table (node_id (N)).L (20)); end Value_Variables; procedure Set_Value_Variables (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); Table (node_id (N)).L (20) := int (V); end Set_Value_Variables; procedure W_Node (N : node_id) is begin case Kind (N) is when k_indirection => W_Indirection (node_id (N)); when k_identifier => W_Identifier (node_id (N)); when k_pn_definition => W_Pn_Definition (node_id (N)); when k_scoped_name => W_Scoped_Name (node_id (N)); when k_pn_scope_definition => W_Pn_Scope_Definition (node_id (N)); when k_position => W_Position (node_id (N)); when k_color_variable => W_Color_Variable (node_id (N)); when k_color_declaration => W_Color_Declaration (node_id (N)); when k_control_color_declaration => W_Control_Color_Declaration (node_id (N)); when k_data_color_declaration => W_Data_Color_Declaration (node_id (N)); when k_enumeration_class_declaration => W_Enumeration_Class_Declaration (node_id (N)); when k_range_class_declaration => W_Range_Class_Declaration (node_id (N)); when k_domain_declaration => W_Domain_Declaration (node_id (N)); when k_variables_declaration => W_Variables_Declaration (node_id (N)); when k_symbolic_value => W_Symbolic_Value (node_id (N)); when k_constant_token => W_Constant_Token (node_id (N)); when k_token_value => W_Token_Value (node_id (N)); when k_variable_token => W_Variable_Token (node_id (N)); when k_guard => W_Guard (node_id (N)); when k_pn_marking => W_PN_Marking (node_id (N)); when k_place_declaration => W_Place_Declaration (node_id (N)); when k_transition_declaration => W_Transition_Declaration (node_id (N)); when k_connect_statement => W_Connect_Statement (node_id (N)); when k_place_fusion => W_Place_Fusion (node_id (N)); when k_transition_fusion => W_Transition_Fusion (node_id (N)); when k_port => W_Port (node_id (N)); when k_include_call => W_Include_Call (node_id (N)); when k_container => W_Container (node_id (N)); when k_functionnal_entity => W_Functionnal_Entity (node_id (N)); when k_thread_box => W_Thread_Box (node_id (N)); when k_connection => W_Connection (node_id (N)); when k_root_node => W_Root_Node (node_id (N)); when k_subprogram_declaration => W_Subprogram_Declaration (node_id (N)); when others => null; end case; end W_Node; procedure W_Indirection (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))); end W_Indirection; 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 ("Name", "Name_Id", Image (Name (N))); W_Node_Attribute ("Ocarina_Node", "Node_Id", Image (Ocarina_Node (N)), int (Ocarina_Node (N))); W_Node_Attribute ("Corresponding_Entity", "Node_Id", Image (Corresponding_Entity (N)), int (Corresponding_Entity (N))); end W_Identifier; procedure W_Pn_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); end W_Pn_Definition; 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 ("Parent_Scoped_Name", "Node_Id", Image (Parent_Scoped_Name (N)), int (Parent_Scoped_Name (N))); W_Node_Attribute ("Reference", "Node_Id", Image (Reference (N)), int (Reference (N))); end W_Scoped_Name; procedure W_Pn_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); end W_Pn_Scope_Definition; procedure W_Position (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 ("X_Value", "Value_Id", Image (X_Value (N))); W_Node_Attribute ("Y_Value", "Value_Id", Image (Y_Value (N))); end W_Position; procedure W_Color_Variable (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 ("Value", "Value_Id", Image (Value (N))); end W_Color_Variable; procedure W_Color_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); end W_Color_Declaration; procedure W_Control_Color_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("First_Value", "Value_Id", Image (First_Value (N))); W_Node_Attribute ("Last_Value", "Value_Id", Image (Last_Value (N))); end W_Control_Color_Declaration; procedure W_Data_Color_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Symbolic_Values", "List_Id", Image (Symbolic_Values (N)), int (Symbolic_Values (N))); W_Node_Attribute ("Default_Valid_Value", "Value_Id", Image (Default_Valid_Value (N))); W_Node_Attribute ("Default_Invalid_Value", "Value_Id", Image (Default_Invalid_Value (N))); end W_Data_Color_Declaration; procedure W_Enumeration_Class_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Symbolic_Values", "List_Id", Image (Symbolic_Values (N)), int (Symbolic_Values (N))); end W_Enumeration_Class_Declaration; procedure W_Range_Class_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Lower_Value", "Value_Id", Image (Lower_Value (N))); W_Node_Attribute ("Higher_Value", "Value_Id", Image (Higher_Value (N))); end W_Range_Class_Declaration; procedure W_Domain_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Classes", "List_Id", Image (Classes (N)), int (Classes (N))); end W_Domain_Declaration; procedure W_Variables_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Variables", "List_Id", Image (Variables (N)), int (Variables (N))); end W_Variables_Declaration; procedure W_Symbolic_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 ("Symbol_Value", "Value_Id", Image (Symbol_Value (N))); end W_Symbolic_Value; procedure W_Constant_Token (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 ("Value", "Value_Id", Image (Value (N))); W_Node_Attribute ("Color_Variable", "Node_Id", Image (Color_Variable (N)), int (Color_Variable (N))); W_Node_Attribute ("Number", "Value_Id", Image (Number (N))); end W_Constant_Token; procedure W_Token_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 ("Constant_Token", "List_Id", Image (Constant_Token (N)), int (Constant_Token (N))); end W_Token_Value; procedure W_Variable_Token (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 ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Class", "Node_Id", Image (Class (N)), int (Class (N))); end W_Variable_Token; procedure W_Guard (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 ("Value", "Value_Id", Image (Value (N))); W_Node_Attribute ("Variable", "Value_Id", Image (Variable (N))); W_Node_Attribute ("Operator", "Value_Id", Image (Operator (N))); end W_Guard; procedure W_PN_Marking (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 ("Tokens", "List_Id", Image (Tokens (N)), int (Tokens (N))); W_Node_Attribute ("Tuple", "Boolean", Image (Tuple (N))); end W_PN_Marking; procedure W_Place_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Tokens", "List_Id", Image (Tokens (N)), int (Tokens (N))); W_Node_Attribute ("Color", "Node_Id", Image (Color (N)), int (Color (N))); W_Node_Attribute ("Marking", "Node_Id", Image (Marking (N)), int (Marking (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); end W_Place_Declaration; procedure W_Transition_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Guards", "List_Id", Image (Guards (N)), int (Guards (N))); end W_Transition_Declaration; procedure W_Connect_Statement (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 ("Marking", "Node_Id", Image (Marking (N)), int (Marking (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_Connect_Statement; procedure W_Place_Fusion (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))); W_Node_Attribute ("New_Scoped_Name", "Node_Id", Image (New_Scoped_Name (N)), int (New_Scoped_Name (N))); end W_Place_Fusion; procedure W_Transition_Fusion (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))); W_Node_Attribute ("New_Scoped_Name", "Node_Id", Image (New_Scoped_Name (N)), int (New_Scoped_Name (N))); end W_Transition_Fusion; procedure W_Port (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 ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Tokens", "List_Id", Image (Tokens (N)), int (Tokens (N))); W_Node_Attribute ("Color", "Node_Id", Image (Color (N)), int (Color (N))); W_Node_Attribute ("Marking", "Node_Id", Image (Marking (N)), int (Marking (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Is_Event_Port", "Boolean", Image (Is_Event_Port (N))); W_Node_Attribute ("Pop_Transition", "Node_Id", Image (Pop_Transition (N)), int (Pop_Transition (N))); W_Node_Attribute ("Push_Transition", "Node_Id", Image (Push_Transition (N)), int (Push_Transition (N))); W_Node_Attribute ("Corresponding_Feature", "Node_Id", Image (Corresponding_Feature (N)), int (Corresponding_Feature (N))); W_Node_Attribute ("Parent_Box", "Node_Id", Image (Parent_Box (N)), int (Parent_Box (N))); W_Node_Attribute ("Refered_Nodes", "List_Id", Image (Refered_Nodes (N)), int (Refered_Nodes (N))); W_Node_Attribute ("Thread_Color", "Value_Id", Image (Thread_Color (N))); W_Node_Attribute ("Thread_Reference", "Node_Id", Image (Thread_Reference (N)), int (Thread_Reference (N))); end W_Port; procedure W_Include_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 ("Namespace_Scoped_Name", "Node_Id", Image (Namespace_Scoped_Name (N)), int (Namespace_Scoped_Name (N))); W_Node_Attribute ("Subprogram_Scoped_Name", "Node_Id", Image (Subprogram_Scoped_Name (N)), int (Subprogram_Scoped_Name (N))); end W_Include_Call; procedure W_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Arcs", "List_Id", Image (Arcs (N)), int (Arcs (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Place_Fusions", "List_Id", Image (Place_Fusions (N)), int (Place_Fusions (N))); W_Node_Attribute ("Arc_Fusions", "List_Id", Image (Arc_Fusions (N)), int (Arc_Fusions (N))); W_Node_Attribute ("Subnets", "List_Id", Image (Subnets (N)), int (Subnets (N))); end W_Container; procedure W_Functionnal_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Arcs", "List_Id", Image (Arcs (N)), int (Arcs (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Place_Fusions", "List_Id", Image (Place_Fusions (N)), int (Place_Fusions (N))); W_Node_Attribute ("Arc_Fusions", "List_Id", Image (Arc_Fusions (N)), int (Arc_Fusions (N))); W_Node_Attribute ("Subnets", "List_Id", Image (Subnets (N)), int (Subnets (N))); W_Node_Attribute ("Begin_Node", "Node_Id", Image (Begin_Node (N)), int (Begin_Node (N))); W_Node_Attribute ("End_Node", "Node_Id", Image (End_Node (N)), int (End_Node (N))); end W_Functionnal_Entity; procedure W_Thread_Box (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 ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Arcs", "List_Id", Image (Arcs (N)), int (Arcs (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Place_Fusions", "List_Id", Image (Place_Fusions (N)), int (Place_Fusions (N))); W_Node_Attribute ("Arc_Fusions", "List_Id", Image (Arc_Fusions (N)), int (Arc_Fusions (N))); W_Node_Attribute ("Subnets", "List_Id", Image (Subnets (N)), int (Subnets (N))); W_Node_Attribute ("Begin_Node", "Node_Id", Image (Begin_Node (N)), int (Begin_Node (N))); W_Node_Attribute ("End_Node", "Node_Id", Image (End_Node (N)), int (End_Node (N))); W_Node_Attribute ("Reset_Transition", "Node_Id", Image (Reset_Transition (N)), int (Reset_Transition (N))); W_Node_Attribute ("Body_Transition", "Node_Id", Image (Body_Transition (N)), int (Body_Transition (N))); W_Node_Attribute ("Ack_Receiver_Transition", "Node_Id", Image (Ack_Receiver_Transition (N)), int (Ack_Receiver_Transition (N))); W_Node_Attribute ("Ack_Receiver_Link", "Node_Id", Image (Ack_Receiver_Link (N)), int (Ack_Receiver_Link (N))); W_Node_Attribute ("Ack_Place", "Node_Id", Image (Ack_Place (N)), int (Ack_Place (N))); W_Node_Attribute ("Ack_Link", "Node_Id", Image (Ack_Link (N)), int (Ack_Link (N))); W_Node_Attribute ("Control_Color_Value", "Value_Id", Image (Control_Color_Value (N))); W_Node_Attribute ("Ports", "List_Id", Image (Ports (N)), int (Ports (N))); end W_Thread_Box; 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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Arcs", "List_Id", Image (Arcs (N)), int (Arcs (N))); W_Node_Attribute ("Connection_Transition", "Node_Id", Image (Connection_Transition (N)), int (Connection_Transition (N))); W_Node_Attribute ("Source", "Node_Id", Image (Source (N)), int (Source (N))); W_Node_Attribute ("Destinations", "List_Id", Image (Destinations (N)), int (Destinations (N))); W_Node_Attribute ("Is_Event", "Boolean", Image (Is_Event (N))); end W_Connection; procedure W_Root_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 ("Identifier", "Node_Id", Image (Identifier (N)), int (Identifier (N))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Position", "Node_Id", Image (Position (N)), int (Position (N))); W_Node_Attribute ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Arcs", "List_Id", Image (Arcs (N)), int (Arcs (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Place_Fusions", "List_Id", Image (Place_Fusions (N)), int (Place_Fusions (N))); W_Node_Attribute ("Arc_Fusions", "List_Id", Image (Arc_Fusions (N)), int (Arc_Fusions (N))); W_Node_Attribute ("Subnets", "List_Id", Image (Subnets (N)), int (Subnets (N))); W_Node_Attribute ("Number_Of_Control_Vars", "Value_Id", Image (Number_Of_Control_Vars (N))); W_Node_Attribute ("Number_Of_Value_Vars", "Value_Id", Image (Number_Of_Value_Vars (N))); W_Node_Attribute ("Number_Of_Threads", "Value_Id", Image (Number_Of_Threads (N))); W_Node_Attribute ("Color_Declarations", "List_Id", Image (Color_Declarations (N)), int (Color_Declarations (N))); W_Node_Attribute ("Class_Control", "Node_Id", Image (Class_Control (N)), int (Class_Control (N))); W_Node_Attribute ("Class_Value", "Node_Id", Image (Class_Value (N)), int (Class_Value (N))); W_Node_Attribute ("Domain_Comm", "Node_Id", Image (Domain_Comm (N)), int (Domain_Comm (N))); W_Node_Attribute ("Control_Variables", "Node_Id", Image (Control_Variables (N)), int (Control_Variables (N))); W_Node_Attribute ("Value_Variables", "Node_Id", Image (Value_Variables (N)), int (Value_Variables (N))); end W_Root_Node; procedure W_Subprogram_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))); end W_Subprogram_Declaration; end Ocarina.PN.Nodes;