Class Datascope.check_annot_visitor

class check_annot_visitor : object .. end
Collect the annotations that can be removed because they are redondant.
Inherits
val mutable proven : (Cil_datatype.Stmt.t * Cil_types.code_annotation * Cil_datatype.Stmt.t)
CA_Map.t
method proven : unit ->
(Cil_datatype.Stmt.t * Cil_types.code_annotation * Cil_datatype.Stmt.t)
CA_Map.t
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction