Module Register_gui


module Register_gui: sig .. end
Extension of the GUI in order to support the value analysis. No function is exported.

val select_kf : < select_global : Cil_types.varinfo -> 'a; .. > -> Kernel_function.t -> 'a
val pretty_offsetmap : Cil_types.lval ->
Format.formatter -> Cvalue_type.V_Offsetmap.t option -> unit
val gui_annot_action : Design.main_window_extension_points -> (unit -> string) -> unit
val gui_compute_values : Design.main_window_extension_points -> unit
val to_do_on_select : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
int -> Pretty_source.localizable -> unit
val reset : Design.main_window_extension_points -> unit
module DegeneratedHighlighted: Computation.Ref(sig
include struct ... end
val default : unit -> 'a option
end)(sig
val name : string
val dependencies : Project.Computation.t list
end)
val main : Design.main_window_extension_points -> unit
val degeneration_occurred : Cil_types.kinstr -> Cil_types.lval option -> unit