module Metrics_gui: sig .. end

val init_panel : Design.main_window_extension_points -> GPack.box

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

The panel of Metrics has two parts:

• The upper part contains the various choices of the user;
• The bottom part displays the result.

val coerce_panel_to_ui : < coerce : 'a; .. > -> 'b -> string * 'a * 'c option

Returning a value to register in Frama-C's GUI

val display_as_table : string list list -> GPack.box -> unit

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

Display the table_contents matrix as a GTK table

val reset_panel : 'a -> unit

Reset metrics panel to pristine conditions by removeing children from bottom container

val register_metrics : string -> (GPack.box -> unit) -> unit

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.

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.