------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real-time scheduling analysis tool. -- This program provides services to automatically check schedulability and -- other performance criteria of real-time architecture models. -- -- Copyright (C) 2002-2023, Frank Singhoff, Alain Plantec, Jerome Legrand, -- Hai Nam Tran, Stephane Rubini -- -- The Cheddar project was started in 2002 by -- Frank Singhoff, Lab-STICC UMR 6285, Université de Bretagne Occidentale -- -- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- The full list of contributors and sponsors can be found in README.md -- -- 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 -- ------------------------------------------------------------------------------ -- Last update : -- $Rev: 3657 $ -- $Date: 2020-12-13 13:25:49 +0100 (dim., 13 déc. 2020) $ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Gtkada.Builder; use Gtkada.Builder; with Gtk.Text_Buffer; use Gtk.Text_Buffer; with Gtk.Arguments; package graphical_editor.cheddar_callbacks.tool_menu is procedure scheduling_simulation (object : access gtkada_builder_record'Class); procedure export_event_table (object : access gtkada_builder_record'Class); procedure import_event_table (object : access gtkada_builder_record'Class); procedure set_priorities_rm (object : access gtkada_builder_record'Class); procedure set_priorities_dm (object : access gtkada_builder_record'Class); procedure set_priorities_audsley_opa (object : access gtkada_builder_record'Class); procedure set_priorities_opa_crpd_pt (object : access gtkada_builder_record'Class); procedure set_priorities_opa_crpd_pt_simplified (object : access gtkada_builder_record'Class); procedure set_priorities_opa_crpd_tree (object : access gtkada_builder_record'Class); procedure scheduling_feasibility (object : access gtkada_builder_record'Class); procedure scheduling_feasibility_widget (object : access gtkada_builder_record'Class); procedure analysis_buffer_feasibility (object : access gtkada_builder_record'Class); procedure analysis_buffer_simulation (object : access gtkada_builder_record'Class); procedure scheduling_partition_best_fit (object : access gtkada_builder_record'Class); procedure scheduling_partition_first_fit (object : access gtkada_builder_record'Class); procedure scheduling_partition_next_fit (object : access gtkada_builder_record'Class); procedure scheduling_partition_small_task (object : access gtkada_builder_record'Class); procedure scheduling_partition_general (object : access gtkada_builder_record'Class); procedure compute_response_time_density (object : access gtkada_builder_record'Class); procedure priorities_display_chetto (object : access gtkada_builder_record'Class); procedure priorities_update_chetto (object : access gtkada_builder_record'Class); procedure deadline_display_chetto (object : access gtkada_builder_record'Class); procedure deadline_update_chetto (object : access gtkada_builder_record'Class); procedure end_to_end_display_one_step (object : access gtkada_builder_record'Class); procedure end_to_end_update_one_step (object : access gtkada_builder_record'Class); procedure end_to_end_display_all_steps (object : access gtkada_builder_record'Class); procedure end_to_end_update_all_steps (object : access gtkada_builder_record'Class); procedure resource_deadlock (object : access gtkada_builder_record'Class); procedure resource_priority_inversion (object : access gtkada_builder_record'Class); procedure bound_blocking_display (object : access gtkada_builder_record'Class); procedure bound_blocking_update (object : access gtkada_builder_record'Class); procedure ceiling_priority_display (object : access gtkada_builder_record'Class); procedure ceiling_priority_update (object : access gtkada_builder_record'Class); procedure check_address_space (object : access gtkada_builder_record'Class); procedure check_address_space_update (object : access gtkada_builder_record'Class); procedure draw_time_line_from_event_table (object : access gtkada_builder_record'Class); procedure run_analysis_on_event_table (object : access gtkada_builder_record'Class); procedure scheduling_option (object : access gtkada_builder_record'Class); procedure feasibility_test_option (object : access gtkada_builder_record'Class); procedure tindell_transaction_wcrt (object : access gtkada_builder_record'Class); procedure audsley_transaction_wcrt (object : access gtkada_builder_record'Class); procedure palencia_transaction_wcrt (object : access gtkada_builder_record'Class); procedure wcdops_plus_transaction_wcrt (object : access gtkada_builder_record'Class); procedure wcdops_plus_nim_transaction_wcrt (object : access gtkada_builder_record'Class); procedure compute_task_cache_access_profile (object : access gtkada_builder_record'Class); procedure import_cfg (object : access gtkada_builder_record'Class); procedure export_arinc653_tsp (object : access gtkada_builder_record'Class); procedure design_pattern_analysis (object : access gtkada_builder_record'Class); procedure compute_mils_biba (object : access gtkada_builder_record'Class); procedure compute_mils_belllapadula (object : access gtkada_builder_record'Class); procedure compute_mils_chinesewall (object : access gtkada_builder_record'Class); procedure compute_mils_warshall (object : access gtkada_builder_record'Class); procedure compute_spacewire_scm_transformation (object : access gtkada_builder_record'Class); procedure compute_ectm_saf_transformation (object : access gtkada_builder_record'Class); procedure compute_wcctm_saf_transformation (object : access gtkada_builder_record'Class); procedure compute_ectm_wormhole_transformation (object : access gtkada_builder_record'Class); procedure compute_wcctm_wormhole_transformation (object : access gtkada_builder_record'Class); procedure set_spacewire_scm_transformation (object : access gtkada_builder_record'Class); procedure set_ectm_saf_transformation (object : access gtkada_builder_record'Class); procedure set_wcctm_saf_transformation (object : access gtkada_builder_record'Class); procedure set_ectm_wormhole_transformation (object : access gtkada_builder_record'Class); procedure set_wcctm_wormhole_transformation (object : access gtkada_builder_record'Class); procedure compute_noc_path_delay (object : access gtkada_builder_record'Class); procedure compute_noc_direct_delay (object : access gtkada_builder_record'Class); procedure compute_noc_indirect_delay (object : access gtkada_builder_record'Class); procedure compute_noc_communication_delay (object : access gtkada_builder_record'Class); procedure compute_scheduling_anomalies (object : access gtkada_builder_record'Class); end graphical_editor.cheddar_callbacks.tool_menu;