Module Register_gui.ValueCoverageGUI

module ValueCoverageGUI: sig .. end
GUI hooks value coverage

val name : string
val result : Metrics_coverage.reachable_functions option Pervasives.ref
val highlight : bool Pervasives.ref
val compute : unit -> Metrics_coverage.reachable_functions
val highlighter : GSourceView2.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val display_result : < rehighlight : unit -> unit; .. > -> GPack.box -> unit
val register : < register_source_highlighter : (GSourceView2.source_buffer ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'a;
rehighlight : unit -> unit; .. > ->
unit