mode.cpp File Reference

#include "mode.h"
#include <list>
#include <memory>
#include <set>
#include <util/language.h>

Include dependency graph for mode.cpp:

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 Documentation

languagest

typedef std::list<language_entryt> languagest

Definition at line 28 of file mode.cpp.

Function Documentation

get_default_language()

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().

get_language_from_filename()

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().

get_language_from_mode()

languaget* get_language_from_mode

(

const irep_idt &

mode

)

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().

register_language()

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().

Variable Documentation

languages

languagest languages

Definition at line 29 of file mode.cpp.

Referenced by language_filest::final(), get_default_language(), goto_diff_parse_optionst::get_goto_program(), get_language_from_filename(), get_language_from_mode(), register_language(), bmct::show_program(), bmct::show_vcc_json(), and bmct::show_vcc_plain().