module ValueCoverageGUI: sig
.. end
GUI hooks value coverage
val name : string
val result : Metrics_coverage.coverage_metrics option Pervasives.ref
val highlight : bool Pervasives.ref
val update_filetree : ([ `Contents | `Visibility ] -> unit) Pervasives.ref
val filetree_enabled : bool Pervasives.ref
val filetree_visible : unit -> bool
val compute : libc:bool -> Metrics_coverage.coverage_metrics
val decorate_filetree : Design.main_window_extension_points -> unit
val highlighter : < buffer : GSourceView2.source_buffer; .. > ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val display_result : libc:bool -> < rehighlight : unit -> unit; .. > -> GPack.box -> unit
val register : libc:bool ->
< register_source_highlighter : (< buffer : GSourceView2.source_buffer; .. > ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'a;
rehighlight : unit -> unit; .. > ->
unit