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