cprover
goto_analyzer_languages.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Language Registration
4 
5 Author: Martin Brain, martin.brain@cs.ox.ac.uk
6 
7 \*******************************************************************/
8 
11 
13 
14 #include <langapi/mode.h>
15 
16 #include <ansi-c/ansi_c_language.h>
17 #include <cpp/cpp_language.h>
18 
19 #ifdef HAVE_JSIL
20 # include <jsil/jsil_language.h>
21 #endif
22 
24 {
27 
28 #ifdef HAVE_JSIL
30 #endif
31 }
std::unique_ptr< languaget > new_ansi_c_language()
std::unique_ptr< languaget > new_cpp_language()
C++ Language Module.
Goto-Analyser Command Line Option Processing.
std::unique_ptr< languaget > new_jsil_language()
Jsil Language.
void register_language(language_factoryt factory)
Register a language Note: registering a language is required for using the functions in language_util...
Definition: mode.cpp:39