cprover
goto_cc_languages.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Language Registration
4 
5 Author: CM Wintersteiger
6 
7 \*******************************************************************/
8 
11 
12 #include "goto_cc_mode.h"
13 
14 #include <langapi/mode.h>
15 
16 #include <ansi-c/ansi_c_language.h>
17 #include <cpp/cpp_language.h>
18 #include <jsil/jsil_language.h>
19 
21 {
25 }
goto_cc_modet::register_languages
void register_languages()
Definition: goto_cc_languages.cpp:20
jsil_language.h
Jsil Language.
mode.h
new_cpp_language
std::unique_ptr< languaget > new_cpp_language()
Definition: cpp_language.cpp:201
register_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:38
ansi_c_language.h
new_ansi_c_language
std::unique_ptr< languaget > new_ansi_c_language()
Definition: ansi_c_language.cpp:143
goto_cc_mode.h
Command line interpretation for goto-cc.
new_jsil_language
std::unique_ptr< languaget > new_jsil_language()
Definition: jsil_language.cpp:102
cpp_language.h
C++ Language Module.