Class Register.slocVisitor


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 Cilutil.VarinfoHashtbl.t
val functions_with_source : int Cilutil.VarinfoHashtbl.t
method functions_no_source : int Cilutil.VarinfoHashtbl.t
method functions_with_source : int Cilutil.VarinfoHashtbl.t
method vvdec : Cilutil.VarinfoHashtbl.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 : Cilutil.VarinfoHashtbl.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