Class Split_return.ReturnUsage.visitorVarUsage

class visitorVarUsage : object .. end
Inherits
val mutable usage : return_usage_by_lv MapLval.t
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method result : unit -> return_usage