Up
Class
File.check_file
class
check_file
:
string ->
Visitor.frama_c_visitor