unit ->
object
  val mutable current_column_model : Dbf_dbStores.column_store
  val mutable db : Dbf_sql.SQL_db.db
  val mutable filename : string option
  val mutable saved : bool
  method private _add_column_internal :
    table:Dbf_sql.SQL_db.table ->
    model:Dbf_dbStores.column_store ->
    name:string ->
    comment:string ->
    ty:Dbf_sql.SQL_db.ty ->
    ?nullable:bool ->
    ?ocaml_type:string ->
    ?sql2ml:string ->
    ?ml2sql:string ->
    ?options:string list Dbf_misc.StringMap.t ->
    ?spec_ty:string Dbf_misc.StringMap.t -> unit -> unit
  method private _add_table_internal :
    name:string -> comment:string -> logged:bool -> unit
  method private _cb__add_column : unit -> unit
  method private _cb__add_index : unit -> unit
  method private _cb__add_query : unit -> unit
  method private _cb__add_table : unit -> unit
  method private _cb__add_vtable : unit -> unit
  method private _cb__edit_column : unit -> unit
  method private _cb__edit_index : unit -> unit
  method private _cb__edit_query : unit -> unit
  method private _cb__edit_table : unit -> unit
  method private _cb__edit_vtable : unit -> unit
  method private _cb__new : unit -> unit
  method private _cb__open : unit -> unit
  method private _cb__quit : unit -> unit
  method private _cb__remove_column : unit -> unit
  method private _cb__remove_index : unit -> unit
  method private _cb__remove_query : unit -> unit
  method private _cb__remove_table : unit -> unit
  method private _cb__remove_vtable : unit -> unit
  method private _cb__save : unit -> unit
  method private _cb__save_as : unit -> unit
  method private _cb__table_selection_changed : unit -> unit
  method private _check_gui_query : Dbf_gui.QGUI.query_gui_input -> unit
  method private _check_saved : bool
  method private _column_gui_answer : Dbf_gui.CGUI.column_gui_type -> unit
  method private _column_gui_update_answer :
    GTree.row_reference ->
    Dbf_sql.SQL_db.column -> Dbf_gui.CGUI.column_gui_type -> unit
  method private _do_quit : bool
  method private _document_changed : unit -> unit
  method private _get_selection :
    ((Gtk.tree_path * Dbf_dbStores.table_data) *
     (Gtk.tree_path * Dbf_sql.SQL_db.column) option)
    option
  method private _index_gui_answer : Dbf_gui.IGUI.table_gui_input -> unit
  method private _index_gui_update_answer :
    GTree.row_reference ->
    Dbf_sql.SQL_db.index -> Dbf_gui.IGUI.table_gui_input -> unit
  method private _query_gui_answer : Dbf_gui.QGUI.query_gui_input -> unit
  method private _query_gui_update_answer :
    GTree.row_reference ->
    Dbf_sql.SQL_db.query -> Dbf_gui.QGUI.query_gui_input -> unit
  method private _remove_index_from_store : string -> unit
  method private _remove_table_internal : Gtk.tree_path -> unit
  method private _remove_vtable_from_store : string -> unit
  method private _set_column_model : Dbf_dbStores.column_store -> unit
  method private _table_gui_answer : Dbf_gui.TGUI.table_gui_input -> unit
  method private _table_gui_update_answer :
    GTree.row_reference ->
    Dbf_sql.SQL_db.table -> Dbf_gui.TGUI.table_gui_input -> unit
  method private _update_column_internal :
    GTree.row_reference ->
    Dbf_sql.SQL_db.column ->
    name:string option ->
    comment:string ->
    ty:Dbf_sql.SQL_db.ty ->
    nullable:bool ->
    options:string list Dbf_misc.StringMap.t ->
    spec_ty:string Dbf_misc.StringMap.t ->
    ocaml_type:string -> sql2ml:string -> ml2sql:string -> unit -> unit
  method private _update_display : unit
  method private _update_table_internal :
    GTree.row_reference ->
    Dbf_sql.SQL_db.table ->
    ?name:string ->
    comment:string ->
    logged:bool -> pkey:Dbf_sql.SQL_db.column list -> unit -> unit
  method private _vtable_gui_answer : Dbf_gui.VTGUI.vtable_gui_input -> unit
  method private _vtable_gui_update_answer :
    GTree.row_reference ->
    Dbf_sql.SQL_db.vtable -> Dbf_gui.VTGUI.vtable_gui_input -> unit
  method clear : unit -> unit
  method open_file : string -> unit
  method reparent : GObj.widget -> unit
  method save : string -> unit
  method save_current : unit
  method vbox : GPack.box
end