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