----------------------------------------------------------- --------------------- -- -- -- OCARINA COMPONENTS -- -- -- -- G A I 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 Gaia.Pn.Debug; use Gaia.Pn.Debug; package body Gaia.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_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_encapsulate_list_node 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_token or else Table (node_id (N)).Kind = k_guard 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_loop_declaration or else Table (node_id (N)).Kind = k_fifo_extremities or else Table (node_id (N)).Kind = k_symbolic_value 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_colored_token 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_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box 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_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_encapsulate_list_node 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_token or else Table (node_id (N)).Kind = k_guard 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_loop_declaration or else Table (node_id (N)).Kind = k_fifo_extremities or else Table (node_id (N)).Kind = k_symbolic_value 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_colored_token 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_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box 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 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 Gaia_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 Gaia_Node; procedure Set_Gaia_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_Gaia_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_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration 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_colored_token or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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 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_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration 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_colored_token or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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_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 (3)); 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 (3) := 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 Refered_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_encapsulate_list_node); return node_id (Table (node_id (N)).L (1)); end Refered_Node; procedure Set_Refered_Node (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_encapsulate_list_node); Table (node_id (N)).L (1) := int (V); end Set_Refered_Node; 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_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration 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_colored_token or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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 (3)); 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_place_declaration or else Table (node_id (N)).Kind = k_transition_declaration 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_colored_token or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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 (3) := 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_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_token or else Table (node_id (N)).Kind = k_guard); Table (node_id (N)).L (1) := int (V); end Set_Value; function Color (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_token or else Table (node_id (N)).Kind = k_guard); return node_id (Table (node_id (N)).L (3)); end Color; procedure Set_Color (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_token or else Table (node_id (N)).Kind = k_guard); Table (node_id (N)).L (3) := int (V); end Set_Color; function Variable (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_guard); return node_id (Table (node_id (N)).L (4)); end Variable; procedure Set_Variable (N : node_id; V : node_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_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 (5)); 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 (5) := 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_place_declaration); return list_id (Table (node_id (N)).L (4)); end Tokens; procedure Set_Tokens (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_place_declaration); Table (node_id (N)).L (4) := int (V); end Set_Tokens; function Domains (N : node_id) return list_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); return list_id (Table (node_id (N)).L (5)); end Domains; procedure Set_Domains (N : node_id; V : list_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); Table (node_id (N)).L (5) := int (V); end Set_Domains; 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); return node_id (Table (node_id (N)).L (6)); 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); Table (node_id (N)).L (6) := int (V); end Set_Position; function Guard (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_transition_declaration); return node_id (Table (node_id (N)).L (4)); end Guard; procedure Set_Guard (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_transition_declaration); Table (node_id (N)).L (4) := int (V); end Set_Guard; 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 (3)); 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 (3) := 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 (4)); 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 (4) := int (V); end Set_Second_Reference; function Is_Link_Place_To_Transition (N : node_id) return Boolean is begin pragma assert (False or else Table (node_id (N)).Kind = k_connect_statement); return Boolean (Table (node_id (N)).B (1)); end Is_Link_Place_To_Transition; procedure Set_Is_Link_Place_To_Transition (N : node_id; V : Boolean) is begin pragma assert (False or else Table (node_id (N)).Kind = k_connect_statement); Table (node_id (N)).B (1) := Boolean (V); end Set_Is_Link_Place_To_Transition; 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 (1)); 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 (1) := int (V); end Set_New_Scoped_Name; function Iteration_Nb (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return value_id (Table (node_id (N)).L (1)); end Iteration_Nb; procedure Set_Iteration_Nb (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (1) := int (V); end Set_Iteration_Nb; function Place_Declarations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return list_id (Table (node_id (N)).L (3)); end Place_Declarations; procedure Set_Place_Declarations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (3) := int (V); end Set_Place_Declarations; function Transition_Declarations (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return list_id (Table (node_id (N)).L (4)); end Transition_Declarations; procedure Set_Transition_Declarations (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (4) := int (V); end Set_Transition_Declarations; function Connection_to_Locals (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return list_id (Table (node_id (N)).L (5)); end Connection_to_Locals; procedure Set_Connection_to_Locals (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (5) := int (V); end Set_Connection_to_Locals; function Connection_to_Externs (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return list_id (Table (node_id (N)).L (6)); end Connection_to_Externs; procedure Set_Connection_to_Externs (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (6) := int (V); end Set_Connection_to_Externs; function Connection_Local (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); return list_id (Table (node_id (N)).L (7)); end Connection_Local; procedure Set_Connection_Local (N : node_id; V : list_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_loop_declaration); Table (node_id (N)).L (7) := int (V); end Set_Connection_Local; function Pop_Transition (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_fifo_extremities); return node_id (Table (node_id (N)).L (1)); 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_fifo_extremities); Table (node_id (N)).L (1) := 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_fifo_extremities); return node_id (Table (node_id (N)).L (3)); 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_fifo_extremities); Table (node_id (N)).L (3) := int (V); end Set_Push_Transition; function Port_Reference (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_fifo_extremities); return node_id (Table (node_id (N)).L (4)); end Port_Reference; procedure Set_Port_Reference (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_fifo_extremities); Table (node_id (N)).L (4) := int (V); end Set_Port_Reference; function Ack_Place (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_fifo_extremities); return node_id (Table (node_id (N)).L (5)); 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_fifo_extremities); Table (node_id (N)).L (5) := int (V); end Set_Ack_Place; function Refered_Nodes (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_fifo_extremities); return list_id (Table (node_id (N)).L (6)); 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_fifo_extremities); Table (node_id (N)).L (6) := 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_fifo_extremities); return value_id (Table (node_id (N)).L (7)); 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_fifo_extremities); Table (node_id (N)).L (7) := 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_fifo_extremities); return node_id (Table (node_id (N)).L (8)); 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_fifo_extremities); Table (node_id (N)).L (8) := int (V); end Set_Thread_Reference; function Value_Name (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 Value_Name; procedure Set_Value_Name (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_Value_Name; function Color_Variable (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_color_declaration); return node_id (Table (node_id (N)).L (4)); 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_color_declaration); Table (node_id (N)).L (4) := int (V); end Set_Color_Variable; function Symbolic_Values (N : node_id) return list_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_color_declaration); return list_id (Table (node_id (N)).L (5)); 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_color_declaration); Table (node_id (N)).L (5) := int (V); end Set_Symbolic_Values; function Color_Declaration (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_colored_token); return node_id (Table (node_id (N)).L (4)); end Color_Declaration; procedure Set_Color_Declaration (N : node_id; V : node_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_colored_token); Table (node_id (N)).L (4) := int (V); end Set_Color_Declaration; function Number (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_colored_token); return value_id (Table (node_id (N)).L (5)); end Number; procedure Set_Number (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_colored_token); Table (node_id (N)).L (5) := int (V); end Set_Number; 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_fonctionnal_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 (4)); 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_fonctionnal_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 (4) := int (V); end Set_Include_Call; function Length (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return value_id (Table (node_id (N)).L (5)); end Length; procedure Set_Length (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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_Length; function Width (N : node_id) return value_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box or else Table (node_id (N)).Kind = k_root_node); return value_id (Table (node_id (N)).L (6)); end Width; procedure Set_Width (N : node_id; V : value_id) is begin pragma assert (False or else Table (node_id (N)).Kind = k_container or else Table (node_id (N)).Kind = k_fonctionnal_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 (6) := int (V); end Set_Width; 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_fonctionnal_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 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_fonctionnal_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_Places; function Transitions (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_fonctionnal_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 (8)); end Transitions; procedure Set_Transitions (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_fonctionnal_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_Transitions; 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_fonctionnal_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 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_fonctionnal_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_Connections; function Loop_Declarations (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_fonctionnal_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 Loop_Declarations; procedure Set_Loop_Declarations (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_fonctionnal_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_Loop_Declarations; function Places_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_fonctionnal_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 Places_Fusions; procedure Set_Places_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_fonctionnal_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_Places_Fusions; function Transitions_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_fonctionnal_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 (12)); end Transitions_Fusions; procedure Set_Transitions_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_fonctionnal_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 (12) := int (V); end Set_Transitions_Fusions; function Sub_Components (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_fonctionnal_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 (13)); end Sub_Components; procedure Set_Sub_Components (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_fonctionnal_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 (13) := int (V); end Set_Sub_Components; function Begin_Node (N : node_id) return node_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (14)); 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_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (14) := 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_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box); return node_id (Table (node_id (N)).L (15)); 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_fonctionnal_entity or else Table (node_id (N)).Kind = k_thread_box); Table (node_id (N)).L (15) := 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 (16)); 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 (16) := int (V); end Set_Reset_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 (17)); 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 (17) := 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 (18)); 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 (18) := int (V); end Set_Ack_Receiver_Link; function 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 (19)); end Color_Value; procedure Set_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 (19) := int (V); end Set_Color_Value; function Fifos (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 (20)); end Fifos; procedure Set_Fifos (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 (20) := int (V); end Set_Fifos; function Directory_Name (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return name_id (Table (node_id (N)).L (14)); end Directory_Name; procedure Set_Directory_Name (N : node_id; V : name_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_Directory_Name; function File_Name (N : node_id) return name_id is begin pragma assert (False or else Table (node_id (N)).Kind = k_root_node); return name_id (Table (node_id (N)).L (15)); end File_Name; procedure Set_File_Name (N : node_id; V : name_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_File_Name; 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 (16)); 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 (16) := int (V); end Set_Color_Declarations; procedure W_Node (N : node_id) is begin case Kind (N) is 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_encapsulate_list_node => W_Encapsulate_List_Node (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_token => W_Token (node_id (N)); when k_guard => W_Guard (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_loop_declaration => W_Loop_Declaration (node_id (N)); when k_fifo_extremities => W_Fifo_Extremities (node_id (N)); when k_symbolic_value => W_Symbolic_Value (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_colored_token => W_Colored_Token (node_id (N)); when k_include_call => W_Include_Call (node_id (N)); when k_container => W_Container (node_id (N)); when k_fonctionnal_entity => W_Fonctionnal_Entity (node_id (N)); when k_thread_box => W_Thread_Box (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_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 ("Gaia_Node", "Node_Id", Image (Gaia_Node (N)), int (Gaia_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_Encapsulate_List_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 ("Refered_Node", "Node_Id", Image (Refered_Node (N)), int (Refered_Node (N))); end W_Encapsulate_List_Node; 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_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", "Node_Id", Image (Color (N)), int (Color (N))); end W_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 ("Color", "Node_Id", Image (Color (N)), int (Color (N))); W_Node_Attribute ("Variable", "Node_Id", Image (Variable (N)), int (Variable (N))); W_Node_Attribute ("Operator", "Value_Id", Image (Operator (N))); end W_Guard; 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 ("Domains", "List_Id", Image (Domains (N)), int (Domains (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 ("Guard", "Node_Id", Image (Guard (N)), int (Guard (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 ("Domains", "List_Id", Image (Domains (N)), int (Domains (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 ("Is_Link_Place_To_Transition", "Boolean", Image (Is_Link_Place_To_Transition (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_Loop_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 ("Iteration_Nb", "Value_Id", Image (Iteration_Nb (N))); W_Node_Attribute ("Place_Declarations", "List_Id", Image (Place_Declarations (N)), int (Place_Declarations (N))); W_Node_Attribute ("Transition_Declarations", "List_Id", Image (Transition_Declarations (N)), int (Transition_Declarations (N))); W_Node_Attribute ("Connection_to_Locals", "List_Id", Image (Connection_to_Locals (N)), int (Connection_to_Locals (N))); W_Node_Attribute ("Connection_to_Externs", "List_Id", Image (Connection_to_Externs (N)), int (Connection_to_Externs (N))); W_Node_Attribute ("Connection_Local", "List_Id", Image (Connection_Local (N)), int (Connection_Local (N))); end W_Loop_Declaration; procedure W_Fifo_Extremities (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 ("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 ("Port_Reference", "Node_Id", Image (Port_Reference (N)), int (Port_Reference (N))); W_Node_Attribute ("Ack_Place", "Node_Id", Image (Ack_Place (N)), int (Ack_Place (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_Fifo_Extremities; 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 ("Value_Name", "Value_Id", Image (Value_Name (N))); end W_Symbolic_Value; 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 ("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_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))); W_Node_Attribute ("Scoped_Name", "Node_Id", Image (Scoped_Name (N)), int (Scoped_Name (N))); W_Node_Attribute ("Color_Variable", "Node_Id", Image (Color_Variable (N)), int (Color_Variable (N))); W_Node_Attribute ("Symbolic_Values", "List_Id", Image (Symbolic_Values (N)), int (Symbolic_Values (N))); end W_Color_Declaration; procedure W_Colored_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 ("Color_Declaration", "Node_Id", Image (Color_Declaration (N)), int (Color_Declaration (N))); W_Node_Attribute ("Number", "Value_Id", Image (Number (N))); end W_Colored_Token; 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 ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Length", "Value_Id", Image (Length (N))); W_Node_Attribute ("Width", "Value_Id", Image (Width (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Transitions", "List_Id", Image (Transitions (N)), int (Transitions (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Loop_Declarations", "List_Id", Image (Loop_Declarations (N)), int (Loop_Declarations (N))); W_Node_Attribute ("Places_Fusions", "List_Id", Image (Places_Fusions (N)), int (Places_Fusions (N))); W_Node_Attribute ("Transitions_Fusions", "List_Id", Image (Transitions_Fusions (N)), int (Transitions_Fusions (N))); W_Node_Attribute ("Sub_Components", "List_Id", Image (Sub_Components (N)), int (Sub_Components (N))); end W_Container; procedure W_Fonctionnal_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 ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Length", "Value_Id", Image (Length (N))); W_Node_Attribute ("Width", "Value_Id", Image (Width (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Transitions", "List_Id", Image (Transitions (N)), int (Transitions (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Loop_Declarations", "List_Id", Image (Loop_Declarations (N)), int (Loop_Declarations (N))); W_Node_Attribute ("Places_Fusions", "List_Id", Image (Places_Fusions (N)), int (Places_Fusions (N))); W_Node_Attribute ("Transitions_Fusions", "List_Id", Image (Transitions_Fusions (N)), int (Transitions_Fusions (N))); W_Node_Attribute ("Sub_Components", "List_Id", Image (Sub_Components (N)), int (Sub_Components (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_Fonctionnal_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 ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Length", "Value_Id", Image (Length (N))); W_Node_Attribute ("Width", "Value_Id", Image (Width (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Transitions", "List_Id", Image (Transitions (N)), int (Transitions (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Loop_Declarations", "List_Id", Image (Loop_Declarations (N)), int (Loop_Declarations (N))); W_Node_Attribute ("Places_Fusions", "List_Id", Image (Places_Fusions (N)), int (Places_Fusions (N))); W_Node_Attribute ("Transitions_Fusions", "List_Id", Image (Transitions_Fusions (N)), int (Transitions_Fusions (N))); W_Node_Attribute ("Sub_Components", "List_Id", Image (Sub_Components (N)), int (Sub_Components (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 ("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 ("Color_Value", "Value_Id", Image (Color_Value (N))); W_Node_Attribute ("Fifos", "List_Id", Image (Fifos (N)), int (Fifos (N))); end W_Thread_Box; 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 ("Include_Call", "Node_Id", Image (Include_Call (N)), int (Include_Call (N))); W_Node_Attribute ("Length", "Value_Id", Image (Length (N))); W_Node_Attribute ("Width", "Value_Id", Image (Width (N))); W_Node_Attribute ("Places", "List_Id", Image (Places (N)), int (Places (N))); W_Node_Attribute ("Transitions", "List_Id", Image (Transitions (N)), int (Transitions (N))); W_Node_Attribute ("Connections", "List_Id", Image (Connections (N)), int (Connections (N))); W_Node_Attribute ("Loop_Declarations", "List_Id", Image (Loop_Declarations (N)), int (Loop_Declarations (N))); W_Node_Attribute ("Places_Fusions", "List_Id", Image (Places_Fusions (N)), int (Places_Fusions (N))); W_Node_Attribute ("Transitions_Fusions", "List_Id", Image (Transitions_Fusions (N)), int (Transitions_Fusions (N))); W_Node_Attribute ("Sub_Components", "List_Id", Image (Sub_Components (N)), int (Sub_Components (N))); W_Node_Attribute ("Directory_Name", "Name_Id", Image (Directory_Name (N))); W_Node_Attribute ("File_Name", "Name_Id", Image (File_Name (N))); W_Node_Attribute ("Color_Declarations", "List_Id", Image (Color_Declarations (N)), int (Color_Declarations (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 Gaia.Pn.Nodes;