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