with Gtkada.Builder; use Gtkada.Builder; with graphical_editor.draw_scheduling_pkg; use graphical_editor.draw_scheduling_pkg; with Glib; use Glib; with Gdk; use Gdk; with Gdk.Event; use Gdk.Event; with Gdk.GC; use Gdk.GC; with Gdk.Color; use Gdk.Color; with Gtk; use Gtk; with Gtk.Widget; use Gtk.Widget; with Buffer_Set; use Buffer_Set; with Task_Set; use Task_Set; with Resource_Set; use Resource_Set; with Message_Set; use Message_Set; with Multiprocessor_Services_Interface; use Multiprocessor_Services_Interface; use Multiprocessor_Services_Interface.Scheduling_Result_Per_Processor_Package; with Gtk.Drawing_Area; use Gtk.Drawing_Area; package graphical_editor.scheduling_simulation_draw_callbacks is type Draw_Scheduling_Record is tagged record Font : Gdk_Font; --Buffer : Gtk_Double_Buffer; Tasks : Tasks_Set; Resources : Resources_Set; Messages : Messages_Set; Buffers : Buffers_Set; Period : Natural; Start_Draw : Natural; Sched : Scheduling_Table_Ptr; White_Gc : Gdk.GC.Gdk_GC; Black_Gc : Gdk.GC.Gdk_GC; Red_Color : Gdk_Color; Blue_Color : Gdk_Color; Left_Margin : Gint := 0; Right_Margin : Gint := 500; High_Margin : Gint := 20; Interligne : Gint := 50; Timeunit_Margin : Gint := 20; First_Width : Gint := 1000; First_Height : Gint := 500; Current_Width : Gint; Current_Height : Gint; Have_Colors : Boolean := False; --Initialized : Boolean := False; end record; type Draw_Scheduling_Access is access all Draw_Scheduling_Record'Class; Draw_Scheduling : Draw_Scheduling_Access := new Draw_Scheduling_Record; procedure Draw_Scheduling_proc (Object : access Gtkada_Builder_Record'Class); function Expose (W : access Gtk.Drawing_Area.Gtk_Drawing_Area_Record'Class) return boolean; --function Draw_Direct_Scheduling_cbk (Object : access Gtkada_Builder_Record'Class) return boolean; --procedure Draw_Time_Line_cbk(Draw_Scheduling : in out Draw_Scheduling_Access); procedure Draw_Time_Line_cbk; --Draw_Scheduling : access Draw_Scheduling_Record); --procedure Draw_Time_Line_cbk(Draw_Scheduling : Draw_Scheduling_Access); --procedure Draw_Time_Line_cbk; procedure Draw_Direct_Scheduling (Object : access Gtkada_Builder_Record'Class); procedure Close_Widget(Object : access Gtkada_Builder_Record'Class); end graphical_editor.scheduling_simulation_draw_callbacks;