------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- 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-2020, 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 AUTHORS.txt and SPONSORS.txt -- -- 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$ -- $Date$ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Gtkada.Builder; use Gtkada.Builder; with Gtk.Text_Buffer; use Gtk.Text_Buffer; with Gtk.Arguments; package graphical_editor.cheddar_callbacks is -- File menu -- function new_quit (object : access gtkada_builder_record'class) return Boolean; procedure quit (object : access gtkada_builder_record'class); procedure new_quit_proc (object : access gtkada_builder_record'class); procedure initialyse_system (object : access gtkada_builder_record'class); procedure open_xml (object : access gtkada_builder_record'class); procedure import_aadl (object : access gtkada_builder_record'class); procedure export_aadl (object : access gtkada_builder_record'class); procedure aadl_option (object : access gtkada_builder_record'class); procedure save_xml (object : access gtkada_builder_record'class); procedure save_as_xml (object : access gtkada_builder_record'class); procedure export_cheddar_properties_set (object : access gtkada_builder_record'class); procedure export_aadl_standard_properties_set (object : access gtkada_builder_record'class); procedure clear_workspace (object : access gtkada_builder_record'class); procedure clear_workspace; -- Help menu -- procedure about (object : access gtkada_builder_record'class); procedure manual (object : access gtkada_builder_record'class); procedure scheduling_ref (object : access gtkada_builder_record'class); -- Edit menu -- procedure cache (object : access gtkada_builder_record'class); procedure deployment (object : access gtkada_builder_record'class); procedure core (object : access gtkada_builder_record'class); procedure processor (object : access gtkada_builder_record'class); procedure event_analyzer (object : access gtkada_builder_record'class); procedure network (object : access gtkada_builder_record'class); procedure address_space (object : access gtkada_builder_record'class); procedure taskc (object : access gtkada_builder_record'class); procedure task_group (object : access gtkada_builder_record'class); procedure message (object : access gtkada_builder_record'class); procedure buffer (object : access gtkada_builder_record'class); procedure resource (object : access gtkada_builder_record'class); procedure time_triggered_dependency (object : access gtkada_builder_record'class); procedure precedence_dependency (object : access gtkada_builder_record'class); procedure black_board_buffer_dependency (object : access gtkada_builder_record'class); procedure resource_dependency (object : access gtkada_builder_record'class); procedure queueing_buffer_dependency (object : access gtkada_builder_record'class); procedure asynchronous_communication_dependency (object : access gtkada_builder_record'class); -- Tool menu -- 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;