Module Db.Metrics


module Metrics: sig .. end
Metrics.
See also internal documentation.


type t = {
   sloc : int;
   call_statements : int;
   goto_statements : int;
   assign_statements : int;
   if_statements : int;
   loop_statements : int;
   mem_access : int;
   functions_without_source : int Cilutil.VarinfoHashtbl.t;
   functions_with_source : int Cilutil.VarinfoHashtbl.t;
}
val compute : (unit -> unit) Pervasives.ref
val pretty : (Format.formatter -> unit) Pervasives.ref
val dump : (unit -> unit) Pervasives.ref
val last_result : (unit -> t) Pervasives.ref
Raises Not_found if there is no last result