cprover
|
#include <util/irep.h>
Go to the source code of this file.
Typedefs | |
typedef languaget *(* | language_factoryt) () |
Functions | |
languaget * | get_language_from_mode (const irep_idt &mode) |
languaget * | get_language_from_filename (const std::string &filename) |
languaget * | get_default_language () |
void | register_language (language_factoryt factory) |
languaget* get_default_language | ( | ) |
Definition at line 85 of file mode.cpp.
References languages.
Referenced by get_language(), show_symbol_table_plain(), and language_uit::show_symbol_table_plain().
languaget* get_language_from_filename | ( | const std::string & | filename | ) |
Definition at line 51 of file mode.cpp.
References languages.
Referenced by clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), initialize_goto_model(), language_uit::parse(), compilet::parse(), and cbmc_parse_optionst::preprocessing().
Definition at line 40 of file mode.cpp.
References languages.
Referenced by get_language(), compilet::parse(), show_symbol_table_plain(), and language_uit::show_symbol_table_plain().
void register_language | ( | language_factoryt | factory | ) |
Definition at line 31 of file mode.cpp.
References languaget::extensions(), languaget::id(), and languages.
Referenced by clobber_parse_optionst::doit(), symex_parse_optionst::doit(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), goto_fence_inserter_parse_optionst::register_languages(), goto_analyzer_parse_optionst::register_languages(), cbmc_parse_optionst::register_languages(), and goto_instrument_parse_optionst::register_languages().