Module Metrics_gui

module Metrics_gui: sig .. end
Display the table_contents matrix as a GTK table

GUI utilities for Metrics



type ('a, 'b, 'c) metrics_panel = {
   top : 'a option;
   bottom : 'b option;
   actions : 'c list;
}
val display_as_table : string list list -> GPack.box -> unit
Display the table_contents matrix as a GTK table

Diplay the list of list of strings in a LablgGTK table object

val clear_container : < children : < destroy : unit -> unit; .. > list; .. > -> unit
Remove all sub-elements of a GUI object
val init_panel : unit -> GPack.box
The panel of Metrics has two parts:

Initialize the main Metrics panel into an upper and lower part.

val reset_panel : 'a -> unit
Reset metrics panel to pristine conditions by removeing children from bottom container
val coerce_panel_to_ui : < coerce : 'a; .. > -> 'b -> string * 'a * 'c option
Returning a value to register in Frama-C's GUI
val register_metrics : string -> (GPack.box -> unit) -> unit
Add a new metrics to its dedicated panel. The text is added to the combox box while the action is added to the association lists of possible actions.

register_metrics metrics_name display_function () adds a selectable choice for the metrics metrics_name and add a hook calling display_function whenever this metrics is selected and launched.