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

§ get_language_from_filename()

§ get_language_from_mode()

languaget* get_language_from_mode ( const irep_idt mode)

§ register_language()