------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- This source file was automatically generated by Platypus -- see http://dossen.univ-brest.fr/apl -- -- Any modification of this file will be lost. -- Please see the "platypus" directory instead : it contains the Cheddar's -- model and its meta-model. ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a free real time scheduling tool. -- This program provides services to automatically check temporal constraints -- of real time tasks. -- -- Copyright (C) 2002-2014 Frank Singhoff -- Cheddar is developed by the LAB-STICC Team, University of Brest -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- To post to this mailing list, you must be subscribed -- (see http//beru.univ-brest.fr/~singhoff/cheddar for details) -- ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Framework_Config; use Framework_Config; with id_generators; use id_generators; with Objects; use Objects; with CFG_Nodes; use CFG_Nodes; use CFG_Nodes.CFG_Nodes_Table_Package; with CFGs; use CFGs; with Ada.Finalization; with unbounded_strings; use unbounded_strings; use unbounded_strings.unbounded_string_list_package; with Unchecked_Deallocation; with primitive_xml_strings; use primitive_xml_strings; with tables; with standards_io; use standards_io; use standards_io.natural_io; with Framework_Config; use Framework_Config; package dfg_nodes is type dfg_variable; type dfg_variable_ptr is access all dfg_variable'class; type dfg_statement; type dfg_statement_ptr is access all dfg_statement'class; type dfg_cfg_type; type dfg_cfg_type_ptr is access all dfg_cfg_type; type dfg_def_use_association; type dfg_def_use_association_ptr is access all dfg_def_use_association; type dfg_var_association; type dfg_var_association_ptr is access all dfg_var_association; type dfg_def_use_info; type dfg_def_use_info_ptr is access all dfg_def_use_info; -- --------= DFG_Variable =-------- type dfg_variable is new named_object with null record; procedure initialize (obj : in out dfg_variable); procedure put (obj : in dfg_variable); procedure put (obj : in dfg_variable_ptr); procedure put_name (obj : in dfg_variable_ptr); procedure build_attributes_xml_string (obj : in dfg_variable; result : in out Unbounded_String); function xml_string (obj : in dfg_variable) return Unbounded_String; function xml_string (obj : in dfg_variable_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_variable) return Unbounded_String; function xml_ref_string (obj : in dfg_variable_ptr) return Unbounded_String; function get_name (obj : in dfg_variable) return Unbounded_String; function get_name (obj : in dfg_variable_ptr) return Unbounded_String; function copy (obj : in dfg_variable_ptr) return dfg_variable_ptr; function copy (obj : in dfg_variable) return dfg_variable_ptr; function type_of (obj : in dfg_variable) return unbounded_string_list; function type_of (obj : in dfg_variable_ptr) return unbounded_string_list; procedure free is new Unchecked_Deallocation (dfg_variable'class, dfg_variable_ptr); package dfg_variables_table_package is new tables (dfg_variable_ptr, Framework_Config.MAX_NB_USED_VAR_STATEMENT, put, xml_string, xml_ref_string); use dfg_variables_table_package; subtype dfg_variables_range is dfg_variables_table_package.table_range; subtype dfg_variables_range_ptr is dfg_variables_table_package.table_range_ptr; subtype dfg_variables_table is dfg_variables_table_package.table; subtype dfg_variables_table_ptr is dfg_variables_table_package.table_ptr; -- --------= DFG_Statement =-------- type dfg_statement is new named_object with record defined_variable : dfg_variable_ptr; used_variables : dfg_variables_table; end record; procedure initialize (obj : in out dfg_statement); procedure put (obj : in dfg_statement); procedure put (obj : in dfg_statement_ptr); procedure put_name (obj : in dfg_statement_ptr); procedure build_attributes_xml_string (obj : in dfg_statement; result : in out Unbounded_String); function xml_string (obj : in dfg_statement) return Unbounded_String; function xml_string (obj : in dfg_statement_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_statement) return Unbounded_String; function xml_ref_string (obj : in dfg_statement_ptr) return Unbounded_String; function get_name (obj : in dfg_statement) return Unbounded_String; function get_name (obj : in dfg_statement_ptr) return Unbounded_String; function copy (obj : in dfg_statement_ptr) return dfg_statement_ptr; function copy (obj : in dfg_statement) return dfg_statement_ptr; function type_of (obj : in dfg_statement) return unbounded_string_list; function type_of (obj : in dfg_statement_ptr) return unbounded_string_list; procedure free is new Unchecked_Deallocation (dfg_statement'class, dfg_statement_ptr); package dfg_statements_table_package is new tables (dfg_statement_ptr, Framework_Config.MAX_NB_STATEMENTS_BLOCK, put, xml_string, xml_ref_string); use dfg_statements_table_package; subtype dfg_statements_range is dfg_statements_table_package.table_range; subtype dfg_statements_range_ptr is dfg_statements_table_package.table_range_ptr; subtype dfg_statements_table is dfg_statements_table_package.table; subtype dfg_statements_table_ptr is dfg_statements_table_package.table_ptr; -- --------= DFG_Cfg_Type =-------- type dfg_cfg_type is record blocks : cfg_nodes_table; nb_blocks : Natural; end record; procedure initialize (obj : out dfg_cfg_type); procedure put (obj : in dfg_cfg_type); procedure put (obj : in dfg_cfg_type_ptr); function copy (obj : in dfg_cfg_type_ptr) return dfg_cfg_type_ptr; function copy (obj : in dfg_cfg_type) return dfg_cfg_type_ptr; procedure build_attributes_xml_string (obj : in dfg_cfg_type; result : in out Unbounded_String); function xml_string (obj : in dfg_cfg_type) return Unbounded_String; function xml_string (obj : in dfg_cfg_type_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_cfg_type) return Unbounded_String; procedure free is new Unchecked_Deallocation (dfg_cfg_type, dfg_cfg_type_ptr); -- --------= DFG_Def_Use_Association =-------- type dfg_def_use_association is record def_variable : dfg_variable_ptr; def_statement : dfg_statement_ptr; use_statement : dfg_statement_ptr; end record; procedure initialize (obj : out dfg_def_use_association); procedure put (obj : in dfg_def_use_association); procedure put (obj : in dfg_def_use_association_ptr); function copy (obj : in dfg_def_use_association_ptr) return dfg_def_use_association_ptr; function copy (obj : in dfg_def_use_association) return dfg_def_use_association_ptr; procedure build_attributes_xml_string (obj : in dfg_def_use_association; result : in out Unbounded_String); function xml_string (obj : in dfg_def_use_association) return Unbounded_String; function xml_string (obj : in dfg_def_use_association_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_def_use_association) return Unbounded_String; procedure free is new Unchecked_Deallocation (dfg_def_use_association, dfg_def_use_association_ptr); package dfg_def_use_associations_table_package is new tables (dfg_def_use_association_ptr, Framework_Config.MAX_DEF_USE, put, xml_string, xml_string); use dfg_def_use_associations_table_package; subtype dfg_def_use_associations_range is dfg_def_use_associations_table_package.table_range; subtype dfg_def_use_associations_range_ptr is dfg_def_use_associations_table_package.table_range_ptr; subtype dfg_def_use_associations_table is dfg_def_use_associations_table_package.table; subtype dfg_def_use_associations_table_ptr is dfg_def_use_associations_table_package.table_ptr; -- --------= DFG_Var_Association =-------- type dfg_var_association is record def_variable : dfg_variable_ptr; statement : dfg_statement_ptr; end record; procedure initialize (obj : out dfg_var_association); procedure put (obj : in dfg_var_association); procedure put (obj : in dfg_var_association_ptr); function copy (obj : in dfg_var_association_ptr) return dfg_var_association_ptr; function copy (obj : in dfg_var_association) return dfg_var_association_ptr; procedure build_attributes_xml_string (obj : in dfg_var_association; result : in out Unbounded_String); function xml_string (obj : in dfg_var_association) return Unbounded_String; function xml_string (obj : in dfg_var_association_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_var_association) return Unbounded_String; procedure free is new Unchecked_Deallocation (dfg_var_association, dfg_var_association_ptr); package dfg_var_association_defs_table_package is new tables (dfg_var_association_ptr, Framework_Config.MAX_DEF, put, xml_string, xml_string); use dfg_var_association_defs_table_package; subtype dfg_var_association_defs_range is dfg_var_association_defs_table_package.table_range; subtype dfg_var_association_defs_range_ptr is dfg_var_association_defs_table_package.table_range_ptr; subtype dfg_var_association_defs_table is dfg_var_association_defs_table_package.table; subtype dfg_var_association_defs_table_ptr is dfg_var_association_defs_table_package.table_ptr; package dfg_var_association_uses_table_package is new tables (dfg_var_association_ptr, Framework_Config.MAX_USE, put, xml_string, xml_string); use dfg_var_association_uses_table_package; subtype dfg_var_association_uses_range is dfg_var_association_uses_table_package.table_range; subtype dfg_var_association_uses_range_ptr is dfg_var_association_uses_table_package.table_range_ptr; subtype dfg_var_association_uses_table is dfg_var_association_uses_table_package.table; subtype dfg_var_association_uses_table_ptr is dfg_var_association_uses_table_package.table_ptr; -- --------= DFG_Def_Use_Info =-------- type dfg_def_use_info is record def_in : dfg_var_association_defs_table; def_out : dfg_var_association_defs_table; use_out : dfg_var_association_uses_table; def_use_asso : dfg_def_use_associations_table; end record; procedure initialize (obj : out dfg_def_use_info); procedure put (obj : in dfg_def_use_info); procedure put (obj : in dfg_def_use_info_ptr); function copy (obj : in dfg_def_use_info_ptr) return dfg_def_use_info_ptr; function copy (obj : in dfg_def_use_info) return dfg_def_use_info_ptr; procedure build_attributes_xml_string (obj : in dfg_def_use_info; result : in out Unbounded_String); function xml_string (obj : in dfg_def_use_info) return Unbounded_String; function xml_string (obj : in dfg_def_use_info_ptr) return Unbounded_String; function xml_ref_string (obj : in dfg_def_use_info) return Unbounded_String; procedure free is new Unchecked_Deallocation (dfg_def_use_info, dfg_def_use_info_ptr); package dfg_def_use_infos_table_package is new tables (dfg_def_use_info_ptr, Framework_Config.MAX_USE, put, xml_string, xml_string); use dfg_def_use_infos_table_package; subtype dfg_def_use_infos_range is dfg_def_use_infos_table_package.table_range; subtype dfg_def_use_infos_range_ptr is dfg_def_use_infos_table_package.table_range_ptr; subtype dfg_def_use_infos_table is dfg_def_use_infos_table_package.table; subtype dfg_def_use_infos_table_ptr is dfg_def_use_infos_table_package.table_ptr; end dfg_nodes;