class stmt_collector : Cil_datatype.Kf.Set.t -> object .. end
Cil_datatype.Kf.Set.t ->
object
end
Visitor.frama_c_inplace
val instr_stmts : Cil_types.stmt list Pervasives.ref
Cil_types.stmt list Pervasives.ref
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method get_instr_stmts : Cil_types.stmt list
Cil_types.stmt list