cprover
mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_LANGAPI_MODE_H
11 #define CPROVER_LANGAPI_MODE_H
12 
13 #include <util/irep.h>
14 
15 class languaget;
16 
18 languaget *get_language_from_filename(const std::string &filename);
20 
21 typedef languaget *(*language_factoryt)();
23 
24 #endif // CPROVER_LANGAPI_MODE_H
languaget * get_language_from_filename(const std::string &filename)
Definition: mode.cpp:51
languaget * get_default_language()
Definition: mode.cpp:85
void register_language(language_factoryt factory)
Definition: mode.cpp:31
languaget * get_language_from_mode(const irep_idt &mode)
Definition: mode.cpp:40
languaget *(* language_factoryt)()
Definition: mode.h:21