class metricsCabsVisitor :
object
.. end
Inherits
val global_metrics : Metrics_base.BasicMetrics.t Pervasives.ref
val local_metrics : Metrics_base.BasicMetrics.t Pervasives.ref
val was_case : bool Pervasives.ref
val mutable metrics_map : Metrics_base.BasicMetrics.t Datatype.String.Map.t Datatype.String.Map.t
val functions_no_source : (string, int) Hashtbl.t
val functions_with_source : (string, int) Hashtbl.t
val mutable standalone : bool
method functions_no_source : (string, int) Hashtbl.t
method functions_with_source : (string, int) Hashtbl.t
method set_standalone : bool -> unit
method get_metrics : Metrics_base.BasicMetrics.t
method private update_metrics_map : Datatype.String.Map.key ->
Metrics_base.BasicMetrics.t Datatype.String.Map.t -> unit
method private incr_both_metrics : (Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t) -> unit
method add_to_functions_with_source : string -> unit
method private record_and_clear : Metrics_base.BasicMetrics.t -> unit
method vdef : Cabs.definition -> Cabs.definition list Cil.visitAction
method vexpr : Cabs.expression -> Cabs.expression Cil.visitAction
method private set_case : Cabs.statement -> unit
method vstmt : Cabs.statement -> Cabs.statement list Cil.visitAction
method private stats_of_filename : Datatype.String.Map.key -> Metrics_base.BasicMetrics.t Datatype.String.Map.t
method pp_file_metrics : Format.formatter -> Datatype.String.Map.key -> unit
method pp_detailed_text_metrics : Format.formatter -> unit -> unit