25 const std::string &module,
29 ansi_c_parse_tree, symbol_table, module, message_handler);
38 const unsigned errors_before=
45 ansi_c_parse_tree, symbol_table,
63 catch(
const std::string &e)
bool ansi_c_typecheck(ansi_c_parse_treet &ansi_c_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
void typecheck_declaration(ansi_c_declarationt &)
virtual void start_typecheck_code()
Base class for all expressions.
std::size_t get_message_count(unsigned level) const
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
const symbol_table_baset & get_symbol_table() const
Return first symbol table registered with the namespace.