Up
Class
File.check_file
class
check_file
:
string ->
Visitor.frama_c_visitor
visitor that performs various consistency checks over the AST. The string argument will be used in the error message in case of inconsistency, in order to trace the issue.