class generic_frama_c_visitor : Project.t -> Cil.visitor_behavior -> frama_c_visitor
Project.t -> Cil.visitor_behavior ->
frama_c_visitor
File.init_project_from_visitor