Class Ciltools.callBBVisitor


class callBBVisitor : object .. end
Inherits
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vvdec : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction