cprover
mode.h File Reference
#include <util/irep.h>
Include dependency graph for mode.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef languaget *(* language_factoryt) ()
 

Functions

languagetget_language_from_mode (const irep_idt &mode)
 
languagetget_language_from_filename (const std::string &filename)
 
languagetget_default_language ()
 
void register_language (language_factoryt factory)
 

Typedef Documentation

◆ language_factoryt

typedef languaget*(* language_factoryt) ()

Definition at line 21 of file mode.h.

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

◆ get_language_from_mode()

languaget* get_language_from_mode ( const irep_idt mode)

◆ register_language()