10 #ifndef CPROVER_UTIL_LANGUAGE_FILE_H 11 #define CPROVER_UTIL_LANGUAGE_FILE_H 62 typedef std::map<std::string, language_filet>
file_mapt;
118 const std::string &module);
121 #endif // CPROVER_UTIL_LANGUAGE_FILE_H
void show_parse(std::ostream &out)
bool interfaces(symbol_tablet &symbol_table)
std::set< std::string > modulest
void convert_lazy_method(const irep_idt &id, symbol_tablet &symbol_table)
bool typecheck_module(symbol_tablet &symbol_table, language_modulet &module)
std::map< std::string, language_filet > file_mapt
bool typecheck(symbol_tablet &symbol_table)
std::map< irep_idt, language_filet * > lazy_method_mapt
lazy_method_mapt lazy_method_map
std::map< std::string, language_modulet > module_mapt
bool has_lazy_method(const irep_idt &id)
void convert_lazy_method(const irep_idt &id, symbol_tablet &symbol_table)