Class Visitor.generic_frama_c_visitor

class generic_frama_c_visitor : Cil.visitor_behavior -> frama_c_visitor
Generic class that abstracts over frama_c_inplace and frama_c_copy.
Consult the Plugin Development Guide for additional details.