Class Usedef.useDefVisitorClass

class useDefVisitorClass : ( object
Inherits

method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
this will be invoked on variable definitions only because we intercept all uses of variables in expressions !
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
If onlyNoOffsetsAreDefs is true, then we need to see the varinfo in an lval along with the offset. Otherwise just DoChildren
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
end : object ... end )
Inherits
method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
this will be invoked on variable definitions only because we intercept all uses of variables in expressions !
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
If onlyNoOffsetsAreDefs is true, then we need to see the varinfo in an lval along with the offset. Otherwise just DoChildren
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction