Class Rep_gui.file


class file : < set_text : string -> 'a; .. > -> string option -> object .. end
Inherits
val mutable filename : string option
val mutable report_params : string list
val mutable report_header : string
method save : unit -> unit
method save_as : unit -> unit
method close : unit -> bool
method delete : ?cut:bool -> unit -> unit
method copy : unit -> unit
method paste : unit -> unit
method move_up : unit -> unit
method move_down : unit -> unit
method selected_rr : GTree.row_reference option
method private params_for_leaf : Rep_desc.leaf -> C.parameter_kind list
method private params_for_sub : Rep_desc.sub -> C.parameter_kind list
method private params_for_tag : Rep_desc.tag -> C.parameter_kind list
method private params_for_mark : Rep_desc.mark -> C.parameter_kind list
method private params_for_list : Rep_desc.liste -> C.parameter_kind list
method private params_for_cond : Rep_desc.cond -> C.parameter_kind list
method insert_in_selected : Rep_desc.report_ele -> unit
method insert_leaf : unit -> unit
method insert_sub : unit -> unit
method insert_tag : unit -> unit
method insert_mark : unit -> unit
method insert_list : unit -> unit
method insert_cond : unit -> unit
method edit_selected : unit -> unit
method edit_params : unit -> unit
method edit_header : unit -> unit
method string_of_desc_ele : Rep_desc.report_ele -> string
method insert_rep_desc : ?parent:GTree.row_reference -> ?pos:int -> Rep_desc.report_ele -> unit
method show_report : Rep_desc.report -> unit
method build_report : unit -> Rep_desc.report
method get_children : Gtk.tree_iter option -> GTree.row_reference list
method build_report_desc : ?row:Gtk.tree_iter -> unit -> Rep_desc.report_ele list
method load : string -> unit