Class Visitor.frama_c_inplace

class frama_c_inplace : frama_c_visitor
in-place visitor; always act in the current project.
Consult the Plugin Development Guide for additional details.