object
val functions_no_source : (string, int) Hashtbl.t
val functions_with_source : (string, int) Hashtbl.t
val global_metrics : Metrics_base.BasicMetrics.t Pervasives.ref
val local_metrics : Metrics_base.BasicMetrics.t Pervasives.ref
val mutable metrics_map :
Metrics_base.BasicMetrics.t Datatype.String.Map.t Datatype.String.Map.t
val mutable standalone : bool
val was_case : bool Pervasives.ref
method add_to_functions_with_source : string -> unit
method functions_no_source : (string, int) Hashtbl.t
method functions_with_source : (string, int) Hashtbl.t
method get_metrics : Metrics_base.BasicMetrics.t
method private incr_both_metrics :
(Metrics_base.BasicMetrics.t -> Metrics_base.BasicMetrics.t) -> unit
method pp_detailed_text_metrics : Format.formatter -> unit -> unit
method pp_file_metrics :
Format.formatter -> Datatype.String.Map.key -> unit
method private record_and_clear : Metrics_base.BasicMetrics.t -> unit
method private set_case : Cabs.statement -> unit
method set_standalone : bool -> unit
method private stats_of_filename :
Datatype.String.Map.key ->
Metrics_base.BasicMetrics.t Datatype.String.Map.t
method private update_metrics_map :
Datatype.String.Map.key ->
Metrics_base.BasicMetrics.t Datatype.String.Map.t -> unit
method vEnterScope : unit -> unit
method vExitScope : unit -> unit
method vattr : Cabs.attribute -> Cabs.attribute list Cil.visitAction
method vblock : Cabs.block -> Cabs.block Cil.visitAction
method vdecltype : Cabs.decl_type -> Cabs.decl_type Cil.visitAction
method vdef : Cabs.definition -> Cabs.definition list Cil.visitAction
method vexpr : Cabs.expression -> Cabs.expression Cil.visitAction
method vinitexpr :
Cabs.init_expression -> Cabs.init_expression Cil.visitAction
method vname :
Cabsvisit.nameKind ->
Cabs.specifier -> Cabs.name -> Cabs.name Cil.visitAction
method vspec : Cabs.specifier -> Cabs.specifier Cil.visitAction
method vstmt : Cabs.statement -> Cabs.statement list Cil.visitAction
method vtypespec : Cabs.typeSpecifier -> Cabs.typeSpecifier Cil.visitAction
method vvar : string -> string
end