cprover
|
Go to the source code of this file.
Classes | |
struct | language_entryt |
Typedefs | |
typedef std::list< language_entryt > | languagest |
Functions | |
void | register_language (language_factoryt factory) |
languaget * | get_language_from_mode (const irep_idt &mode) |
languaget * | get_language_from_filename (const std::string &filename) |
languaget * | get_default_language () |
Variables | |
languagest | languages |
typedef std::list<language_entryt> languagest |
languaget* get_default_language | ( | ) |
Definition at line 85 of file mode.cpp.
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.
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.
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(), language_entryt::factory, and languaget::id().
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().
languagest languages |
Definition at line 29 of file mode.cpp.
Referenced by language_filest::final(), bmct::show_program(), bmct::show_vcc_json(), and bmct::show_vcc_plain().