cprover
goto_diff_languages.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Language Registration
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #include "goto_diff_languages.h"
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_SPECC
20 #include <specc/specc_language.h>
21 #endif
22 
23 #ifdef HAVE_JAVA_BYTECODE
25 #endif
26 
28 {
31 
32  #ifdef HAVE_SPECC
33  register_language(new_specc_language);
34  #endif
35 
36  #ifdef HAVE_JAVA_BYTECODE
38  #endif
39 }
languaget * new_ansi_c_language()
C++ Language Module.
languaget * new_cpp_language()
languaget * new_java_bytecode_language()
GOTO-DIFF Languages.
virtual void register_languages()
void register_language(language_factoryt factory)
Definition: mode.cpp:31