Class Inputs.do_it


class do_it : object .. end
Inherits
val mutable current_stmt : Cil_types.kinstr
val mutable inputs : Locations.Zone.t
method set_current_stmt : Cil_types.stmt -> unit
method result : Locations.Zone.t
method join : Db.Inputs.t -> unit
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method do_assign : Cil_types.lval -> unit
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction