stmt_count_visitor
inherit Frama_c_kernel.Visitor.frama_c_inplace
val count : int Stdlib.ref
method vstmt_aux : Frama_c_kernel_base.Cil_types.stmt -> Frama_c_kernel_base.Cil_types.stmt Frama_c_kernel_base.Cil.visitAction
method get : int
Frama-C Frama-C