with Gtkada.Builder; use Gtkada.Builder; with Gtk.Tree_Model; use Gtk.Tree_Model; with generic_callbacks; with generic_package_widget; use generic_package_widget; with Glib; use Glib; with Glib.Object; use Glib.Object; with Glib.Values; use Glib.Values; with Scheduler_Interface; use Scheduler_Interface; package graphical_editor.cores is procedure Show_Core_Widget; procedure Initialize_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class); procedure Check_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class; Error_Message: in out Unbounded_String; Ok: in out Boolean); procedure Add_In_Sys_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class); procedure Deleted_In_Sys_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class); procedure Show_In_Sys_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class); procedure Modify_In_Sys_Core(my_tab: in out table_widget_id ; Object : access Gtkada_Builder_Record'Class; name: unbounded_string); function get_compatible_preemptive(mypreemptive: preemptives_type) return unbounded_string; function get_compatible_preemptive(mypreemptive: GValue) return preemptives_type; function get_compatible_preemptive(mypreemptive: unbounded_string) return preemptives_type; function get_compatible_scheduler(myscheduler: Gvalue) return Schedulers_Type; function get_compatible_scheduler(myscheduler: String) return Schedulers_Type; function get_compatible_scheduler(myscheduler: schedulers_type) return unbounded_string; end graphical_editor.cores;