Class File.check_file


class check_file : Visitor.frama_c_visitor