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 () |
bool | parse (message_handlert &message_handler) |
void | show_parse (std::ostream &out) |
bool | generate_support_functions (symbol_table_baset &symbol_table) |
bool | typecheck (symbol_table_baset &symbol_table, const bool keep_file_local, message_handlert &message_handler) |
bool | typecheck (symbol_table_baset &symbol_table, message_handlert &message_handler) |
bool | final (symbol_table_baset &symbol_table) |
bool | interfaces (symbol_table_baset &symbol_table) |
void | convert_lazy_method (const irep_idt &id, symbol_table_baset &symbol_table, message_handlert &message_handler) |
bool | can_convert_lazy_method (const irep_idt &id) const |
void | clear () |
Protected Member Functions | |
bool | typecheck_module (symbol_table_baset &symbol_table, language_modulet &module, const bool keep_file_local, message_handlert &message_handler) |
bool | typecheck_module (symbol_table_baset &symbol_table, const std::string &module, const bool keep_file_local, message_handlert &message_handler) |
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 |
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.
|
inline |
Definition at line 140 of file language_file.h.
|
inline |
Definition at line 145 of file language_file.h.
|
inline |
Definition at line 98 of file language_file.h.
|
inline |
Definition at line 129 of file language_file.h.
bool language_filest::final | ( | symbol_table_baset & | symbol_table | ) |
Definition at line 182 of file language_file.cpp.
bool language_filest::generate_support_functions | ( | symbol_table_baset & | symbol_table | ) |
Definition at line 167 of file language_file.cpp.
bool language_filest::interfaces | ( | symbol_table_baset & | symbol_table | ) |
Definition at line 196 of file language_file.cpp.
bool language_filest::parse | ( | message_handlert & | message_handler | ) |
Definition at line 51 of file language_file.cpp.
|
inline |
Definition at line 82 of file language_file.h.
void language_filest::show_parse | ( | std::ostream & | out | ) |
Definition at line 45 of file language_file.cpp.
bool language_filest::typecheck | ( | symbol_table_baset & | symbol_table, |
const bool | keep_file_local, | ||
message_handlert & | message_handler ) |
Definition at line 85 of file language_file.cpp.
|
inline |
Definition at line 117 of file language_file.h.
|
protected |
Definition at line 207 of file language_file.cpp.
|
protected |
Definition at line 229 of file language_file.cpp.
|
private |
Definition at line 65 of file language_file.h.
|
private |
Definition at line 73 of file language_file.h.
|
private |
Definition at line 68 of file language_file.h.