Go to the documentation of this file.
12 #ifndef CPROVER_ANSI_C_ANSI_C_TYPECHECK_H
13 #define CPROVER_ANSI_C_ANSI_C_TYPECHECK_H
21 const std::string &module,
35 const std::string &_module,
46 const std::string &_module,
49 _module, _message_handler),
62 #endif // CPROVER_ANSI_C_ANSI_C_TYPECHECK_H
ansi_c_typecheckt(ansi_c_parse_treet &_parse_tree, symbol_tablet &_symbol_table, const std::string &_module, message_handlert &_message_handler)
ANSI-C Language Type Checking.
ansi_c_parse_treet & parse_tree
Base class for all expressions.
virtual ~ansi_c_typecheckt()
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bool ansi_c_typecheck(ansi_c_parse_treet &parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
ansi_c_typecheckt(ansi_c_parse_treet &_parse_tree, symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2, const std::string &_module, message_handlert &_message_handler)