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