module BasicMetrics:sig
..end
type
t = {
|
cfile_name : |
(* |
Filename
| *) |
|
cfunc_name : |
(* |
Function name if applicable, eg. not for
global metrics
| *) |
|
cslocs : |
(* |
Lines of code w.r.t. statements
| *) |
|
cifs : |
(* |
If / cases of switch
| *) |
|
cloops : |
(* |
Loops: for, while, do...while
| *) |
|
ccalls : |
(* |
Function calls
| *) |
|
cgotos : |
(* |
Gotos
| *) |
|
cassigns : |
(* |
Assignments
| *) |
|
cexits : |
(* |
Exit points: return
| *) |
|
cfuncs : |
(* |
Functions defined: 1 in the case of a single
function, possibly more for a file.
| *) |
|
cptrs : |
(* |
Access to pointers
| *) |
|
cdecision_points : |
(* |
Decision points of the program: ifs,
switch cases, exception handlers, ...
| *) |
|
cglob_vars : |
(* |
Global variables
| *) |
val empty_metrics : t
val apply_then_set : ('a -> 'a) -> 'a Pervasives.ref -> unit
val incr_slocs : t -> t
val incr_assigns : t -> t
val incr_calls : t -> t
val incr_exits : t -> t
val incr_funcs : t -> t
val incr_gotos : t -> t
val incr_ifs : t -> t
val incr_loops : t -> t
val incr_ptrs : t -> t
val incr_dpoints : t -> t
val incr_glob_vars : t -> t
val cyclo : t -> int
val labels : string list
val str_values : t -> string list
val to_list : t -> string list list
val pp_base_metrics : Format.formatter -> 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 : cell_type -> string
val pp_cell_type_html : Format.formatter -> cell_type -> unit
val pp_cell : 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 -> t -> unit