cprover
Loading...
Searching...
No Matches
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
12
#include "
goto_analyzer_parse_options.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_JSIL
20
# include <
jsil/jsil_language.h
>
21
#endif
22
23
void
goto_analyzer_parse_optionst::register_languages
()
24
{
25
register_language
(
new_ansi_c_language
);
26
register_language
(
new_cpp_language
);
27
28
#ifdef HAVE_JSIL
29
register_language
(
new_jsil_language
);
30
#endif
31
}
new_ansi_c_language
std::unique_ptr< languaget > new_ansi_c_language()
Definition
ansi_c_language.cpp:153
ansi_c_language.h
goto_analyzer_parse_optionst::register_languages
void register_languages() override
Definition
goto_analyzer_languages.cpp:23
new_cpp_language
std::unique_ptr< languaget > new_cpp_language()
Definition
cpp_language.cpp:198
cpp_language.h
C++ Language Module.
goto_analyzer_parse_options.h
Goto-Analyser Command Line Option Processing.
new_jsil_language
std::unique_ptr< languaget > new_jsil_language()
Definition
jsil_language.cpp:102
jsil_language.h
Jsil Language.
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:39
mode.h
goto-analyzer
goto_analyzer_languages.cpp
Generated by
1.10.0