with Gtkada.Builder; use Gtkada.Builder;
with Gtk.Text_Buffer; use Gtk.Text_Buffer;
with Gtk.Arguments;
 
package graphical_editor.cheddar_callbacks is

	function new_quit (Object : access Gtkada_Builder_Record'Class) return   Boolean;

	procedure Quit (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 new_Quit_proc (Object : access Gtkada_Builder_Record'Class);

	procedure initialyse_system (Object : access Gtkada_Builder_Record'Class);

	procedure about (Object : access Gtkada_Builder_Record'Class);

	procedure manual (Object : access Gtkada_Builder_Record'Class);

	procedure cache (Object : access Gtkada_Builder_Record'Class);

	procedure static_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 scheduling_simulation (Object : access Gtkada_Builder_Record'Class);

	procedure taskc (Object : access Gtkada_Builder_Record'Class);
  
	procedure message (Object : access Gtkada_Builder_Record'Class);

	procedure dependencies (Object : access Gtkada_Builder_Record'Class);

	procedure buffer (Object : access Gtkada_Builder_Record'Class);

	procedure resource (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 set_priorities_rm (Object : access Gtkada_Builder_Record'Class);

	procedure set_priorities_dm (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 adress_space (Object : access Gtkada_Builder_Record'Class);

	procedure scheduling_ref (Object : access Gtkada_Builder_Record'Class);

	procedure clear_workspace (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 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);

end graphical_editor.cheddar_callbacks;