Previous
Up
Class
Visitor.frama_c_inplace
class
frama_c_inplace :
frama_c_visitor
in-place visit. Always in the current project.