Class Spare_marks.annot_visitor

class annot_visitor : filter:(Cil_types.code_annotation -> bool) -> Db.Pdg.t -> object .. end
used to visit all the annotations of a given function and to find the PDG nodes to select so that the reachable annotations can be visible
Inherits
val mutable to_select : (bool * BoolMark.prop_mode) PdgMarks.select
method get_select : (bool * BoolMark.prop_mode) PdgMarks.select
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction