module Metrics_gui: sig .. end

type ('a, 'b, 'c) metrics_panel = {

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 : Design.main_window_extension_points -> GPack.box

The panel of Metrics has two parts:

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

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.