------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- 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 GNAT.OS_Lib; use GNAT.OS_Lib; with Ada.Direct_IO; with Ada.Exceptions; use Ada.Exceptions; with Ada.Text_IO; use Ada.Text_IO; with Ada.Text_IO.Text_Streams; use Ada.Text_IO.Text_Streams; with graphical_editor.scheduling_refs; use graphical_editor.scheduling_refs; with graphical_editor.manuals; use graphical_editor.manuals; with graphical_editor.about; use graphical_editor.about; with graphical_editor.caches; use graphical_editor.caches; with graphical_editor.cores; use graphical_editor.cores; with graphical_editor.address_spaces; use graphical_editor.address_spaces; with graphical_editor.processors; use graphical_editor.processors; with graphical_editor.networks; use graphical_editor.networks; with graphical_editor.aadl_options; use graphical_editor.aadl_options; with graphical_editor.tasks; use graphical_editor.tasks; with graphical_editor.task_groups; use graphical_editor.task_groups; with graphical_editor.messages; use graphical_editor.messages; with graphical_editor.precedence_dependency; use graphical_editor.precedence_dependency; with graphical_editor.queueing_buffer_dependency; use graphical_editor.queueing_buffer_dependency; with graphical_editor.black_board_buffer_dependency; use graphical_editor.black_board_buffer_dependency; with graphical_editor.resource_dependency; use graphical_editor.resource_dependency; with graphical_editor.asynchronous_communication_dependency; use graphical_editor.asynchronous_communication_dependency; with graphical_editor.time_triggered_communication_dependency; use graphical_editor.time_triggered_communication_dependency; with graphical_editor.resources; use graphical_editor.resources; with graphical_editor.buffers; use graphical_editor.buffers; with graphical_editor.event_tables; use graphical_editor.event_tables; with graphical_editor.event_analyzers; use graphical_editor.event_analyzers; with graphical_editor.analysis_on_event_table; use graphical_editor.analysis_on_event_table; with graphical_editor.scheduling_simulations; use graphical_editor.scheduling_simulations; with graphical_editor.scheduling_options; use graphical_editor.scheduling_options; with graphical_editor.feasibility_test_options; use graphical_editor.feasibility_test_options; with graphical_editor.priorities; use graphical_editor.priorities; with graphical_editor.scheduling_feasibility_widgets; use graphical_editor.scheduling_feasibility_widgets; with graphical_editor.message_text; use graphical_editor.message_text; with graphical_editor.file_selector; use graphical_editor.file_selector; with graphical_editor.draw_scheduling; use graphical_editor.draw_scheduling; with Gtk.Main; with Glib; use Glib; with Glib.Object; use Glib.Object; with Gtk.Widget; use Gtk.Widget; with Gdk.Window; use Gdk.Window; with Gdk.Color; use Gdk.Color; with Gdk.Event; use Gdk.Event; with Gtk.Text_Iter; use Gtk.Text_Iter; with Gtk.Tooltip; use Gtk.Tooltip; with gtk.file_chooser_dialog; use gtk.file_chooser_dialog; with gtk.file_chooser; use gtk.file_chooser; with call_framework; use call_framework; with call_framework_interface; use call_framework_interface; use call_framework_interface.framework_request_package; use call_framework_interface.framework_response_package; with call_scheduling_framework; use call_scheduling_framework; with tasks; use tasks; with task_set; use task_set; use task_set.generic_task_set; with buffers; use buffers; with buffer_set; use buffer_set; use buffer_set.generic_buffer_set; with address_spaces; use address_spaces; with address_space_set; use address_space_set; use address_space_set.generic_address_space_set; with resources; use resources; with resource_set; use resource_set; use resource_set.generic_resource_set; with messages; use messages; with message_set; use message_set; use message_set.generic_message_set; with processors; use processors; with processor_set; use processor_set; use processor_set.generic_processor_set; use processor_set.generic_core_unit_set; with task_group_set; use task_group_set; use task_group_set.generic_task_group_set; with multiprocessor_services; use multiprocessor_services; with multiprocessor_services_interface; use multiprocessor_services_interface; use multiprocessor_services_interface.scheduling_result_per_processor_package; with graphical_editor.user_message; use graphical_editor.user_message; with translate; use translate; with framework_config; use framework_config; with time_unit_events; use time_unit_events; with call_memory_framework; use call_memory_framework; use call_memory_framework.buffer_result_package; with graphical_editor.scheduling_simulations_callbacks; use graphical_editor.scheduling_simulations_callbacks; with cache_set; use cache_set; with network_set; use network_set; use network_set.generic_network_set; with caches; use caches; with caches; use caches.cache_blocks_table_package; with cache_access_profile_set; use cache_access_profile_set; with cache_access_profile_set; use cache_access_profile_set.cache_access_profile_set; with io_tools; use io_tools; package body graphical_editor.cheddar_callbacks.file_menu is procedure export_cheddar_properties_set (object : access gtkada_builder_record'Class) is begin write_cheddar_property_sets_to_file (sys); end export_cheddar_properties_set; procedure export_aadl_standard_properties_set (object : access gtkada_builder_record'Class) is begin write_aadl_standard_properties_set_to_file (sys); end export_aadl_standard_properties_set; procedure open_xml (object : access gtkada_builder_record'Class) is begin show_fileselector_widget (open_xml_file); end open_xml; procedure import_aadl (object : access gtkada_builder_record'Class) is begin show_fileselector_widget (aadl_import); end import_aadl; procedure export_aadl (object : access gtkada_builder_record'Class) is begin show_fileselector_widget (aadl_export); end export_aadl; procedure aadl_option (object : access gtkada_builder_record'Class) is begin graphical_editor.aadl_options.show_aadl_option_widget; end aadl_option; procedure save_xml (object : access gtkada_builder_record'Class) is begin if (xml_project_file_name /= To_Unbounded_String ("")) then systems.write_to_xml_file (sys, xml_project_file_name); is_saved := True; else show_fileselector_widget (saveas_xml_file); end if; end save_xml; procedure save_as_xml (object : access gtkada_builder_record'Class) is begin show_fileselector_widget (saveas_xml_file); end save_as_xml; end graphical_editor.cheddar_callbacks.file_menu;