cprover
|
ANSI-C Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | ansi_c_typecheckt |
Functions | |
bool | ansi_c_typecheck (ansi_c_parse_treet &parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler) |
bool | ansi_c_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns) |
ANSI-C Language Type Checking.
Definition in file ansi_c_typecheck.h.
bool ansi_c_typecheck | ( | ansi_c_parse_treet & | parse_tree, |
symbol_tablet & | symbol_table, | ||
const std::string & | module, | ||
message_handlert & | message_handler | ||
) |
Definition at line 26 of file ansi_c_typecheck.cpp.
References ansi_c_typecheck(), and typecheckt::typecheck_main().
Referenced by ansi_c_typecheck(), ansi_c_languaget::to_expr(), and ansi_c_languaget::typecheck().
bool ansi_c_typecheck | ( | exprt & | expr, |
message_handlert & | message_handler, | ||
const namespacet & | ns | ||
) |
Definition at line 37 of file ansi_c_typecheck.cpp.
References ansi_c_typecheck(), messaget::eom(), message_handlert::get_message_count(), namespacet::get_symbol_table(), messaget::M_ERROR, messaget::message_handler, and c_typecheck_baset::symbol_table.