cprover
|
#include <language_file.h>
Public 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 |
Public Member Functions | |
void | clear_files () |
bool | parse () |
void | show_parse (std::ostream &out) |
bool | typecheck (symbol_tablet &symbol_table) |
bool | final (symbol_tablet &symbol_table) |
bool | interfaces (symbol_tablet &symbol_table) |
bool | has_lazy_method (const irep_idt &id) |
void | convert_lazy_method (const irep_idt &id, symbol_tablet &symbol_table) |
void | clear () |
Public Attributes | |
file_mapt | file_map |
module_mapt | module_map |
lazy_method_mapt | lazy_method_map |
Protected Member Functions | |
bool | typecheck_module (symbol_tablet &symbol_table, language_modulet &module) |
bool | typecheck_module (symbol_tablet &symbol_table, const std::string &module) |
Additional Inherited Members |
Definition at line 59 of file language_file.h.
typedef std::map<std::string, language_filet> language_filest::file_mapt |
Definition at line 62 of file language_file.h.
typedef std::map<irep_idt, language_filet *> language_filest::lazy_method_mapt |
Definition at line 71 of file language_file.h.
typedef std::map<std::string, language_modulet> language_filest::module_mapt |
Definition at line 66 of file language_file.h.
|
inline |
Definition at line 104 of file language_file.h.
Referenced by language_uit::clear_parse().
|
inline |
Definition at line 74 of file language_file.h.
|
inline |
Definition at line 97 of file language_file.h.
bool language_filest::final | ( | symbol_tablet & | symbol_table | ) |
Definition at line 154 of file language_file.cpp.
References languages.
Referenced by language_uit::final(), and initialize_goto_model().
|
inline |
Definition at line 89 of file language_file.h.
bool language_filest::interfaces | ( | symbol_tablet & | symbol_table | ) |
Definition at line 170 of file language_file.cpp.
bool language_filest::parse | ( | ) |
Definition at line 47 of file language_file.cpp.
References language_filet::language, and languaget::parse().
void language_filest::show_parse | ( | std::ostream & | out | ) |
Definition at line 40 of file language_file.cpp.
bool language_filest::typecheck | ( | symbol_tablet & | symbol_table | ) |
Definition at line 80 of file language_file.cpp.
References language_modulet::file, language_filet::modules, and language_modulet::name.
Referenced by initialize_goto_model(), and language_uit::typecheck().
|
protected |
Definition at line 200 of file language_file.cpp.
References languaget::dependencies(), language_modulet::file, language_modulet::in_progress, language_filet::language, language_modulet::name, language_modulet::type_checked, and languaget::typecheck().
|
protected |
Definition at line 183 of file language_file.cpp.
file_mapt language_filest::file_map |
Definition at line 63 of file language_file.h.
Referenced by initialize_goto_model(), language_uit::parse(), compilet::parse(), and compilet::parse_source().
lazy_method_mapt language_filest::lazy_method_map |
Definition at line 72 of file language_file.h.
module_mapt language_filest::module_map |
Definition at line 67 of file language_file.h.