Frama-C:

Plug-ins:

Libraries:

Frama-C API - `stmt_count_visitor`

inherit Frama_c_kernel.Visitor.frama_c_inplace

val count : int Stdlib.ref

method vstmt_aux : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt Frama_c_kernel.Cil.visitAction

method get : int

Frama-C API - stmt_count_visitor