sig
type t = {
cfile_name : string;
cfunc_name : string;
cslocs : int;
cifs : int;
cloops : int;
ccalls : int;
cgotos : int;
cassigns : int;
cexits : int;
cfuncs : int;
cptrs : int;
cdecision_points : int;
cglob_vars : int;
}
val empty_metrics : Metrics_base.BasicMetrics.t
val apply_then_set : ('a -> 'a) -> 'a Pervasives.ref -> unit
val incr_slocs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_assigns :
Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_calls : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_exits : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_funcs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_gotos : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_ifs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_loops : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_ptrs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_dpoints :
Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_glob_vars :
Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val cyclo : Metrics_base.BasicMetrics.t -> int
val labels : string list
val str_values : Metrics_base.BasicMetrics.t -> string list
val to_list : Metrics_base.BasicMetrics.t -> string list list
val pp_base_metrics :
Format.formatter -> Metrics_base.BasicMetrics.t -> unit
val pp_strg : Format.formatter -> string -> unit
val pp_int : Format.formatter -> int -> unit
type cell_type = Classic | Entry | Result
val cell_type_to_string : Metrics_base.BasicMetrics.cell_type -> string
val pp_cell_type_html :
Format.formatter -> Metrics_base.BasicMetrics.cell_type -> unit
val pp_cell :
Metrics_base.BasicMetrics.cell_type ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val pp_cell_default :
(Format.formatter -> int -> unit) -> Format.formatter -> int -> unit
val pp_base_metrics_as_html_row :
Format.formatter -> Metrics_base.BasicMetrics.t -> unit
end