List_functions.stmt_count_visitor
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