class annot_visitor :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 visiblefilter:(Cil_types.code_annotation -> bool) -> Db.Pdg.t ->
object
..end
val mutable to_select : (bool * BoolMark.prop_mode) PdgMarks.t_select
method get_select : (bool * BoolMark.prop_mode) PdgMarks.t_select
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction