let pp_my_metrics fmt metrics =
let format_heading fmt () =
if metrics.cfile_name = "" && metrics.cfunc_name = "" then
Format.fprintf fmt "Global metrics"
else Format.fprintf fmt "Stats for function <%s/%s>"
metrics.cfile_name metrics.cfunc_name
in
Format.fprintf fmt "@[<v 0>%a @ ----------------------@ #assigns = %d@ #calls = %d@ #exits = %d@ #funcs = %d@ #gotos = %d@ #ifs = %d@ #loops = %d@ #pointer dereferencings = %d@ #decision points = %d@ #slocs = %d@ cyclomatic complexity = %d@ @]"
format_heading ()
metrics.cassigns metrics.ccalls
metrics.cexits metrics.cfuncs
metrics.cgotos metrics.cifs
metrics.cloops metrics.cptrs
metrics.cdecision_points
metrics.cslocs (cyclo metrics)