object
val mutable assigns : int
val mutable calls : int
val mutable current_file_name : string
val mutable current_function_name : string
val mutable exits : int
val mutable funcs : int
val functions_no_source : int Cilutil.VarinfoHashtbl.t
val functions_with_source : int Cilutil.VarinfoHashtbl.t
val mutable gotos : int
val mutable ifs : int
val mutable loops : int
val mutable mem_access : int
val mutable sloc : int
val mutable standalone : bool
val mutable stats : (string * string * Register.int8) list Pervasives.ref
method add_item :
string ->
string ->
Register.int8 ->
(string * string * Register.int8) list ->
(string * string * Register.int8) list
method add_stat : string * string * Register.int8 -> unit
method assigns : int
method behavior : Cil.visitor_behavior
method calls : int
method complete_stats : unit -> unit
method current_func : Cil_types.fundec option
method current_kf : Db_types.kernel_function option
method current_stmt : Cil_types.stmt option
method exits : int
method fill_global_tables : unit
method find_global_function : Cilutil.VarinfoHashtbl.key -> bool * bool
method frama_c_plain_copy : Visitor.frama_c_visitor
method funcs : int
method functions_no_source : int Cilutil.VarinfoHashtbl.t
method functions_with_source : int Cilutil.VarinfoHashtbl.t
method get_filling_actions : (unit -> unit) Queue.t
method gotos : int
method ifs : int
method image : Cil_types.global -> string
method images : Cil_types.global list -> string
method is_annot_before : bool
method loops : int
method mem_access : int
method plain_copy_visitor : Cil.cilVisitor
method pop_stmt : Cil_types.stmt -> unit
method print_all : unit
method print_stats : Format.formatter -> unit
method push_stmt : Cil_types.stmt -> unit
method queueInstr : Cil_types.instr list -> unit
method reset_current_func : unit -> unit
method set_current_func : Cil_types.fundec -> unit
method set_logic_tables : unit -> unit
method set_standalone : bool -> unit
method sloc : int
method stats_of_fic : string -> (string * string * Register.int8) list
method unqueueInstr : unit -> Cil_types.instr list
method vannotation :
Cil_types.global_annotation ->
Cil_types.global_annotation Cil.visitAction
method vassigns :
Cil_types.identified_term Cil_types.assigns ->
Cil_types.identified_term Cil_types.assigns Cil.visitAction
method vattr :
Cil_types.attribute -> Cil_types.attribute list Cil.visitAction
method vattrparam :
Cil_types.attrparam -> Cil_types.attrparam Cil.visitAction
method vbehavior :
Cil_types.funbehavior -> Cil_types.funbehavior Cil.visitAction
method vblock : Cil_types.block -> Cil_types.block Cil.visitAction
method vcode_annot :
Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method vcompinfo : Cil_types.compinfo -> Cil_types.compinfo Cil.visitAction
method venuminfo : Cil_types.enuminfo -> Cil_types.enuminfo Cil.visitAction
method venumitem : Cil_types.enumitem -> Cil_types.enumitem Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vfieldinfo :
Cil_types.fieldinfo -> Cil_types.fieldinfo Cil.visitAction
method vfile : Cil_types.file -> Cil_types.file Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vglob : Cil_types.global -> Cil_types.global list Cil.visitAction
method vglob_aux :
Cil_types.global -> Cil_types.global list Cil.visitAction
method vimpact_pragma :
Cil_types.term Cil_types.impact_pragma ->
Cil_types.term Cil_types.impact_pragma Cil.visitAction
method vinit :
Cil_types.varinfo ->
Cil_types.offset -> Cil_types.init -> Cil_types.init Cil.visitAction
method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vlogic_ctor_info_decl :
Cil_types.logic_ctor_info -> Cil_types.logic_ctor_info Cil.visitAction
method vlogic_ctor_info_use :
Cil_types.logic_ctor_info -> Cil_types.logic_ctor_info Cil.visitAction
method vlogic_info_decl :
Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
method vlogic_info_use :
Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
method vlogic_type :
Cil_types.logic_type -> Cil_types.logic_type Cil.visitAction
method vlogic_type_def :
Cil_types.logic_type_def -> Cil_types.logic_type_def Cil.visitAction
method vlogic_type_info_decl :
Cil_types.logic_type_info -> Cil_types.logic_type_info Cil.visitAction
method vlogic_type_info_use :
Cil_types.logic_type_info -> Cil_types.logic_type_info Cil.visitAction
method vlogic_var_decl :
Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vlogic_var_use :
Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vloop_pragma :
Cil_types.term Cil_types.loop_pragma ->
Cil_types.term Cil_types.loop_pragma Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vpredicate :
Cil_types.predicate -> Cil_types.predicate Cil.visitAction
method vpredicate_named :
Cil_types.predicate Cil_types.named ->
Cil_types.predicate Cil_types.named Cil.visitAction
method vquantifiers :
Cil_types.quantifiers -> Cil_types.quantifiers Cil.visitAction
method vrooted_code_annotation :
Db_types.rooted_code_annotation ->
Db_types.rooted_code_annotation list Cil.visitAction
method vslice_pragma :
Cil_types.term Cil_types.slice_pragma ->
Cil_types.term Cil_types.slice_pragma Cil.visitAction
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vterm_lhost :
Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction
method vterm_lval :
Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vterm_node :
Cil_types.term_node -> Cil_types.term_node Cil.visitAction
method vterm_offset :
Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
method vvdec :
Cilutil.VarinfoHashtbl.key -> Cil_types.varinfo Cil.visitAction
method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
method vzone :
Cil_types.identified_term Cil_types.zone ->
Cil_types.identified_term Cil_types.zone Cil.visitAction
end