Class List_functions.stmt_count_visitor

val count : int Stdlib.ref
method vstmt_aux : < behavior : Frama_c_kernel.Visitor_behavior.t ; current_func : Frama_c_kernel.Cil_types.fundec option ; current_kf : Frama_c_kernel.Cil_types.kernel_function option ; current_kinstr : Frama_c_kernel.Cil_types.kinstr ; current_stmt : Frama_c_kernel.Cil_types.stmt option ; fill_global_tables : unit ; frama_c_plain_copy : Frama_c_kernel.Visitor.frama_c_visitor ; get : int ; get_filling_actions : ( unit -> unit ) Stdlib.Queue.t ; plain_copy_visitor : Frama_c_kernel.Cil.cilVisitor ; pop_stmt : Frama_c_kernel.Cil_types.stmt -> unit ; project : Frama_c_kernel.Project.t option ; push_stmt : Frama_c_kernel.Cil_types.stmt -> unit ; queueInstr : Frama_c_kernel.Cil_types.instr list -> unit ; reset_current_func : unit -> unit ; reset_current_kf : unit -> unit ; set_current_func : Frama_c_kernel.Cil_types.fundec -> unit ; set_current_kf : Frama_c_kernel.Cil_types.kernel_function -> unit ; unqueueInstr : unit -> Frama_c_kernel.Cil_types.instr list ; vallocates : Frama_c_kernel.Cil_types.identified_term list -> Frama_c_kernel.Cil_types.identified_term list Frama_c_kernel.Cil.visitAction ; vallocation : Frama_c_kernel.Cil_types.allocation -> Frama_c_kernel.Cil_types.allocation Frama_c_kernel.Cil.visitAction ; vannotation : Frama_c_kernel.Cil_types.global_annotation -> Frama_c_kernel.Cil_types.global_annotation Frama_c_kernel.Cil.visitAction ; vassigns : Frama_c_kernel.Cil_types.assigns -> Frama_c_kernel.Cil_types.assigns Frama_c_kernel.Cil.visitAction ; vattr : Frama_c_kernel.Cil_types.attribute -> Frama_c_kernel.Cil_types.attribute list Frama_c_kernel.Cil.visitAction ; vattrparam : Frama_c_kernel.Cil_types.attrparam -> Frama_c_kernel.Cil_types.attrparam Frama_c_kernel.Cil.visitAction ; vbehavior : Frama_c_kernel.Cil_types.funbehavior -> Frama_c_kernel.Cil_types.funbehavior Frama_c_kernel.Cil.visitAction ; vblock : Frama_c_kernel.Cil_types.block -> Frama_c_kernel.Cil_types.block Frama_c_kernel.Cil.visitAction ; vcode_annot : Frama_c_kernel.Cil_types.code_annotation -> Frama_c_kernel.Cil_types.code_annotation Frama_c_kernel.Cil.visitAction ; vcompinfo : Frama_c_kernel.Cil_types.compinfo -> Frama_c_kernel.Cil_types.compinfo Frama_c_kernel.Cil.visitAction ; vdeps : Frama_c_kernel.Cil_types.deps -> Frama_c_kernel.Cil_types.deps Frama_c_kernel.Cil.visitAction ; venuminfo : Frama_c_kernel.Cil_types.enuminfo -> Frama_c_kernel.Cil_types.enuminfo Frama_c_kernel.Cil.visitAction ; venumitem : Frama_c_kernel.Cil_types.enumitem -> Frama_c_kernel.Cil_types.enumitem Frama_c_kernel.Cil.visitAction ; vexpr : Frama_c_kernel.Cil_types.exp -> Frama_c_kernel.Cil_types.exp Frama_c_kernel.Cil.visitAction ; vfieldinfo : Frama_c_kernel.Cil_types.fieldinfo -> Frama_c_kernel.Cil_types.fieldinfo Frama_c_kernel.Cil.visitAction ; vfile : Frama_c_kernel.Cil_types.file -> Frama_c_kernel.Cil_types.file Frama_c_kernel.Cil.visitAction ; vfrees : Frama_c_kernel.Cil_types.identified_term list -> Frama_c_kernel.Cil_types.identified_term list Frama_c_kernel.Cil.visitAction ; vfrom : Frama_c_kernel.Cil_types.from -> Frama_c_kernel.Cil_types.from Frama_c_kernel.Cil.visitAction ; vfunc : Frama_c_kernel.Cil_types.fundec -> Frama_c_kernel.Cil_types.fundec Frama_c_kernel.Cil.visitAction ; vglob : Frama_c_kernel.Cil_types.global -> Frama_c_kernel.Cil_types.global list Frama_c_kernel.Cil.visitAction ; vglob_aux : Frama_c_kernel.Cil_types.global -> Frama_c_kernel.Cil_types.global list Frama_c_kernel.Cil.visitAction ; videntified_predicate : Frama_c_kernel.Cil_types.identified_predicate -> Frama_c_kernel.Cil_types.identified_predicate Frama_c_kernel.Cil.visitAction ; videntified_term : Frama_c_kernel.Cil_types.identified_term -> Frama_c_kernel.Cil_types.identified_term Frama_c_kernel.Cil.visitAction ; vimpact_pragma : Frama_c_kernel.Cil_types.impact_pragma -> Frama_c_kernel.Cil_types.impact_pragma Frama_c_kernel.Cil.visitAction ; vinit : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.offset -> Frama_c_kernel.Cil_types.init -> Frama_c_kernel.Cil_types.init Frama_c_kernel.Cil.visitAction ; vinitoffs : Frama_c_kernel.Cil_types.offset -> Frama_c_kernel.Cil_types.offset Frama_c_kernel.Cil.visitAction ; vinst : Frama_c_kernel.Cil_types.instr -> Frama_c_kernel.Cil_types.instr list Frama_c_kernel.Cil.visitAction ; vlocal_init : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.local_init -> Frama_c_kernel.Cil_types.local_init Frama_c_kernel.Cil.visitAction ; vlogic_ctor_info_decl : Frama_c_kernel.Cil_types.logic_ctor_info -> Frama_c_kernel.Cil_types.logic_ctor_info Frama_c_kernel.Cil.visitAction ; vlogic_ctor_info_use : Frama_c_kernel.Cil_types.logic_ctor_info -> Frama_c_kernel.Cil_types.logic_ctor_info Frama_c_kernel.Cil.visitAction ; vlogic_info_decl : Frama_c_kernel.Cil_types.logic_info -> Frama_c_kernel.Cil_types.logic_info Frama_c_kernel.Cil.visitAction ; vlogic_info_use : Frama_c_kernel.Cil_types.logic_info -> Frama_c_kernel.Cil_types.logic_info Frama_c_kernel.Cil.visitAction ; vlogic_label : Frama_c_kernel.Cil_types.logic_label -> Frama_c_kernel.Cil_types.logic_label Frama_c_kernel.Cil.visitAction ; vlogic_type : Frama_c_kernel.Cil_types.logic_type -> Frama_c_kernel.Cil_types.logic_type Frama_c_kernel.Cil.visitAction ; vlogic_type_def : Frama_c_kernel.Cil_types.logic_type_def -> Frama_c_kernel.Cil_types.logic_type_def Frama_c_kernel.Cil.visitAction ; vlogic_type_info_decl : Frama_c_kernel.Cil_types.logic_type_info -> Frama_c_kernel.Cil_types.logic_type_info Frama_c_kernel.Cil.visitAction ; vlogic_type_info_use : Frama_c_kernel.Cil_types.logic_type_info -> Frama_c_kernel.Cil_types.logic_type_info Frama_c_kernel.Cil.visitAction ; vlogic_var_decl : Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.logic_var Frama_c_kernel.Cil.visitAction ; vlogic_var_use : Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.logic_var Frama_c_kernel.Cil.visitAction ; vloop_pragma : Frama_c_kernel.Cil_types.loop_pragma -> Frama_c_kernel.Cil_types.loop_pragma Frama_c_kernel.Cil.visitAction ; vlval : Frama_c_kernel.Cil_types.lval -> Frama_c_kernel.Cil_types.lval Frama_c_kernel.Cil.visitAction ; vmodel_info : Frama_c_kernel.Cil_types.model_info -> Frama_c_kernel.Cil_types.model_info Frama_c_kernel.Cil.visitAction ; voffs : Frama_c_kernel.Cil_types.offset -> Frama_c_kernel.Cil_types.offset Frama_c_kernel.Cil.visitAction ; vpredicate : Frama_c_kernel.Cil_types.predicate -> Frama_c_kernel.Cil_types.predicate Frama_c_kernel.Cil.visitAction ; vpredicate_node : Frama_c_kernel.Cil_types.predicate_node -> Frama_c_kernel.Cil_types.predicate_node Frama_c_kernel.Cil.visitAction ; vquantifiers : Frama_c_kernel.Cil_types.quantifiers -> Frama_c_kernel.Cil_types.quantifiers Frama_c_kernel.Cil.visitAction ; vslice_pragma : Frama_c_kernel.Cil_types.slice_pragma -> Frama_c_kernel.Cil_types.slice_pragma Frama_c_kernel.Cil.visitAction ; vspec : Frama_c_kernel.Cil_types.funspec -> Frama_c_kernel.Cil_types.funspec Frama_c_kernel.Cil.visitAction ; vstmt : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt Frama_c_kernel.Cil.visitAction ; vstmt_aux : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt Frama_c_kernel.Cil.visitAction ; vterm : Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.term Frama_c_kernel.Cil.visitAction ; vterm_lhost : Frama_c_kernel.Cil_types.term_lhost -> Frama_c_kernel.Cil_types.term_lhost Frama_c_kernel.Cil.visitAction ; vterm_lval : Frama_c_kernel.Cil_types.term_lval -> Frama_c_kernel.Cil_types.term_lval Frama_c_kernel.Cil.visitAction ; vterm_node : Frama_c_kernel.Cil_types.term_node -> Frama_c_kernel.Cil_types.term_node Frama_c_kernel.Cil.visitAction ; vterm_offset : Frama_c_kernel.Cil_types.term_offset -> Frama_c_kernel.Cil_types.term_offset Frama_c_kernel.Cil.visitAction ; vtype : Frama_c_kernel.Cil_types.typ -> Frama_c_kernel.Cil_types.typ Frama_c_kernel.Cil.visitAction ; vvdec : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.varinfo Frama_c_kernel.Cil.visitAction ; vvrbl : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.varinfo Frama_c_kernel.Cil.visitAction.. > -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt Frama_c_kernel.Cil.visitAction
method get : 'a -> int