Module Register_gui

module Register_gui: sig .. end

This module defines abstraction for Metrics use


val mk_bi_label : GPack.box -> string -> GMisc.label
module HalsteadMetricsGUI: sig .. end
module CyclomaticMetricsGUI: sig .. end
module ValueCoverageGUI: sig .. end

GUI hooks value coverage

val register_final : ?libc:Metrics_parameters.Libc.t ->
Design.main_window_extension_points -> string * GObj.widget * 'a option
val gui : Design.main_window_extension_points -> unit