Class Rewrite.annotateCodeStrlen


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