Metrics_base.BasicMetrics
type t = {
cfile_name : Frama_c_kernel.Filepath.Normalized.t; |
cfunc : Frama_c_kernel.Kernel_function.t option; |
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; |
}