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 to_be_removed : Cil_types.code_annotation list
method get_to_be_removed : unit -> Cil_types.code_annotation list
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