sig
type t = {
cfile_name : Datatype.Filepath.t;
cfunc : Metrics_base.OptionKf.t;
cslocs : int;
cifs : int;
cloops : int;
ccalls : int;
cgotos : int;
cassigns : int;
cexits : int;
cfuncs : int;
cptrs : int;
cdecision_points : int;
cglob_vars : int;
ccyclo : int;
}
val incr_funcs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_slocs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_ptrs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_ifs : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_dpoints :
Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_loops : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_gotos : Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val incr_exits : 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_glob_vars :
Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t
val set_cyclo :
Metrics_base.BasicMetrics.t -> int -> Metrics_base.BasicMetrics.t
val apply_then_set :
(Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t) ->
Metrics_base.BasicMetrics.t Pervasives.ref -> unit
val empty_metrics : Metrics_base.BasicMetrics.t
val compute_cyclo : Metrics_base.BasicMetrics.t -> int
val to_list : Metrics_base.BasicMetrics.t -> string list list
val pp_base_metrics :
Format.formatter -> Metrics_base.BasicMetrics.t -> unit
val pp_base_metrics_as_html_row :
Format.formatter -> Metrics_base.BasicMetrics.t -> unit
end