class slocVisitor :
object
.. end
Inherits
val mutable current_file_name : string
val mutable current_function_name : string
val mutable sloc : int
val mutable ifs : int
val mutable loops : int
val mutable calls : int
val mutable gotos : int
val mutable assigns : int
val mutable exits : int
val mutable funcs : int
val mutable stats : (string * string * int8) list Pervasives.ref
method stats_of_fic : string -> (string * string * int8) list
method complete_stats : unit -> unit
method print_stats : Format.formatter -> unit
method add_item : string ->
string ->
int8 ->
(string * string * int8) list ->
(string * string * int8) list
method add_stat : string * string * int8 -> unit
method assigns : int
method calls : int
method gotos : int
method loops : int
method ifs : int
method exits : int
method funcs : int
val mutable standalone : bool
method set_standalone : bool -> unit
val mutable mem_access : int
method mem_access : int
val functions_no_source : int Cil_datatype.Varinfo.Hashtbl.t
val functions_with_source : int Cil_datatype.Varinfo.Hashtbl.t
method functions_no_source : int Cil_datatype.Varinfo.Hashtbl.t
method functions_with_source : int Cil_datatype.Varinfo.Hashtbl.t
method vvdec : Cil_datatype.Varinfo.Hashtbl.key -> Cil_types.varinfo Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method sloc : int
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method find_global_function : Cil_datatype.Varinfo.Hashtbl.key -> bool * bool
method image : Cil_types.global -> string
method images : Cil_types.global list -> string
method print_all : unit
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction