10 #ifndef CPROVER_UTIL_LANGUAGE_FILE_H 11 #define CPROVER_UTIL_LANGUAGE_FILE_H 32 { type_checked=in_progress=
false; }
46 void convert_lazy_method(
62 typedef std::map<std::string, language_filet>
file_mapt;
81 void show_parse(std::ostream &out);
91 return lazy_method_map.count(
id)!=0;
101 return lazy_method_map.at(
id)->convert_lazy_method(
id, symbol_table);
108 lazy_method_map.clear();
112 bool typecheck_module(
116 bool typecheck_module(
118 const std::string &module);
121 #endif // CPROVER_UTIL_LANGUAGE_FILE_H
std::set< std::string > modulest
void convert_lazy_method(const irep_idt &id, symbol_tablet &symbol_table)
std::map< std::string, language_filet > file_mapt
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)