Class Visitor.frama_c_copy

class frama_c_copy : Project.t -> frama_c_visitor

Copying visitor. The Project.t argument specifies in which project the visitor creates the new values. (Technically, the method fill_global_tables is called inside this project.) See File.init_project_from_visitor and create_project_from_visitor for possible uses.