class annotateCodeStrlen : Cil_types.logic_info -> object .. end
Cil_types.logic_info ->
object
end
Visitor.generic_frama_c_visitor
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
Cil_types.exp -> Cil_types.exp Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
Cil_types.stmt -> Cil_types.stmt Cil.visitAction