Class Rewrite.rewriteCursorPointers


class rewriteCursorPointers : Cilutil.VarinfoHashtbl.key Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoHashtbl.key Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t -> object .. end
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction