Class Visitor.generic_frama_c_visitor


class generic_frama_c_visitor : Project.t -> Cil.visitor_behavior -> frama_c_visitor
Generic visitor. The tables are filled on the project given in argument. See also File.init_project_from_visitor.
Consult the Plugin Development Guide for additional details.