cprover
|
#include <language_file.h>
Public Member Functions | |
language_filet & | add_file (const std::string &filename) |
void | remove_file (const std::string &filename) |
void | clear_files () |
void | set_should_generate_opaque_method_stubs (bool stubs_enabled) |
Turn on or off stub generation for all the languages. More... | |
bool | parse () |
void | show_parse (std::ostream &out) |
bool | generate_support_functions (symbol_tablet &symbol_table) |
bool | typecheck (symbol_tablet &symbol_table) |
bool | final (symbol_table_baset &symbol_table) |
bool | interfaces (symbol_tablet &symbol_table) |
void | convert_lazy_method (const irep_idt &id, symbol_table_baset &symbol_table) |
bool | can_convert_lazy_method (const irep_idt &id) const |
void | clear () |
Protected Member Functions | |
bool | typecheck_module (symbol_tablet &symbol_table, language_modulet &module) |
bool | typecheck_module (symbol_tablet &symbol_table, const std::string &module) |
Private Types | |
typedef std::map< std::string, language_filet > | file_mapt |
typedef std::map< std::string, language_modulet > | module_mapt |
typedef std::map< irep_idt, language_filet * > | lazy_method_mapt |
Private Attributes | |
file_mapt | file_map |
module_mapt | module_map |
lazy_method_mapt | lazy_method_map |
Additional Inherited Members |
Definition at line 61 of file language_file.h.
|
private |
Definition at line 64 of file language_file.h.
|
private |
Definition at line 72 of file language_file.h.
|
private |
Definition at line 67 of file language_file.h.
|
inline |
Definition at line 76 of file language_file.h.
References file_map.
Referenced by lazy_goto_modelt::add_language_file(), initialize_goto_model(), language_uit::parse(), and compilet::parse().
|
inline |
Definition at line 131 of file language_file.h.
References lazy_method_map.
Referenced by lazy_goto_functions_mapt::can_produce_function(), and lazy_goto_functions_mapt::ensure_entry_converted().
|
inline |
Definition at line 136 of file language_file.h.
References file_map, lazy_method_map, and module_map.
Referenced by language_uit::clear_parse(), and lazy_goto_modelt::finalize().
|
inline |
Definition at line 98 of file language_file.h.
References file_map, and lazy_method_map.
|
inline |
Definition at line 121 of file language_file.h.
References symbol_table_baset::has_symbol(), lazy_method_map, and PRECONDITION.
Referenced by lazy_goto_functions_mapt::ensure_entry_converted().
bool language_filest::final | ( | symbol_table_baset & | symbol_table | ) |
Definition at line 180 of file language_file.cpp.
References file_map, and languages.
Referenced by language_uit::final(), lazy_goto_modelt::finalize(), and initialize_goto_model().
bool language_filest::generate_support_functions | ( | symbol_tablet & | symbol_table | ) |
Definition at line 165 of file language_file.cpp.
References file_map, and languages.
Referenced by lazy_goto_modelt::initialize(), and initialize_goto_model().
bool language_filest::interfaces | ( | symbol_tablet & | symbol_table | ) |
Definition at line 194 of file language_file.cpp.
References file_map.
bool language_filest::parse | ( | ) |
Definition at line 63 of file language_file.cpp.
References messaget::eom(), messaget::error(), file_map, and languaget::parse().
|
inline |
Definition at line 82 of file language_file.h.
References file_map, and lazy_method_map.
Referenced by compilet::parse_source().
void language_filest::set_should_generate_opaque_method_stubs | ( | bool | stubs_enabled | ) |
Turn on or off stub generation for all the languages.
should_generate_stubs | Should stub generation be enabled |
Definition at line 53 of file language_file.cpp.
References file_map.
Referenced by language_uit::final(), lazy_goto_modelt::initialize(), and initialize_goto_model().
void language_filest::show_parse | ( | std::ostream & | out | ) |
Definition at line 45 of file language_file.cpp.
References file_map.
bool language_filest::typecheck | ( | symbol_tablet & | symbol_table | ) |
Definition at line 95 of file language_file.cpp.
References language_modulet::file, file_map, lazy_method_map, module_map, language_modulet::name, to_string(), and typecheck_module().
Referenced by lazy_goto_modelt::initialize(), initialize_goto_model(), and language_uit::typecheck().
|
protected |
Definition at line 223 of file language_file.cpp.
References messaget::eom(), messaget::error(), language_modulet::file, language_modulet::in_progress, language_filet::language, language_modulet::name, messaget::status(), and language_modulet::type_checked.
Referenced by typecheck(), and typecheck_module().
|
protected |
Definition at line 206 of file language_file.cpp.
References messaget::eom(), messaget::error(), module_map, and typecheck_module().
|
private |
Definition at line 65 of file language_file.h.
Referenced by add_file(), clear(), clear_files(), final(), generate_support_functions(), interfaces(), parse(), remove_file(), set_should_generate_opaque_method_stubs(), show_parse(), and typecheck().
|
private |
Definition at line 73 of file language_file.h.
Referenced by can_convert_lazy_method(), clear(), clear_files(), convert_lazy_method(), remove_file(), and typecheck().
|
private |
Definition at line 68 of file language_file.h.
Referenced by clear(), typecheck(), and typecheck_module().