class instrument : Project.t -> [< `Assert of 'a | `Read of HLV.key | `Write of HLV.key ]
Cil_datatype.Stmt.Hashtbl.t -> Cil_types.varinfo HLV.t ->
object
.. end
Inherits
val mutable change_lv : skip_change list
val mutable is_alarm : bool
val mutable changed : Cil_types.varinfo list
method private self : Visitor.frama_c_visitor
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vpredicate_named : Cil_types.predicate Cil_types.named ->
Cil_types.predicate Cil_types.named Cil.visitAction
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method private read_lv : HLV.key -> Cil_types.location -> GraphDeps.V.t
method private write_lv : HLV.key -> Cil_types.location -> Cil_types.stmt
method vstmt_aux : Cil_datatype.Stmt.t -> Cil_types.stmt Cil.visitAction