Up
Next
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.