17 for(ansi_c_parse_treet::itemst::iterator
33 ansi_c_parse_tree, symbol_table, module, message_handler);
42 const unsigned errors_before=
49 ansi_c_parse_tree, symbol_table,
67 catch(
const std::string &e)
void typecheck_declaration(ansi_c_declarationt &)
bool ansi_c_typecheck(ansi_c_parse_treet &ansi_c_parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
const symbol_tablet & get_symbol_table() const
ANSI-C Language Type Checking.
static mstreamt & eom(mstreamt &m)
symbol_tablet & symbol_table
ansi_c_parse_treet & parse_tree
virtual void start_typecheck_code()
Base class for all expressions.
message_handlert * message_handler
virtual bool typecheck_main()
unsigned get_message_count(unsigned level) const