cprover
cbmc_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 "
cbmc_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
#include <
json-symtab-language/json_symtab_language.h
>
19
20
#ifdef HAVE_JSIL
21
#include <
jsil/jsil_language.h
>
22
#endif
23
24
void
cbmc_parse_optionst::register_languages
()
25
{
26
register_language
(
new_ansi_c_language
);
27
register_language
(
new_cpp_language
);
28
register_language
(
new_json_symtab_language
);
29
30
#ifdef HAVE_JSIL
31
register_language
(
new_jsil_language
);
32
#endif
33
}
jsil_language.h
mode.h
cbmc_parse_optionst::register_languages
void register_languages()
Definition:
cbmc_languages.cpp:24
new_cpp_language
std::unique_ptr< languaget > new_cpp_language()
Definition:
cpp_language.cpp:197
new_json_symtab_language
std::unique_ptr< languaget > new_json_symtab_language()
Definition:
json_symtab_language.h:64
cbmc_parse_options.h
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:142
json_symtab_language.h
new_jsil_language
std::unique_ptr< languaget > new_jsil_language()
Definition:
jsil_language.cpp:102
cpp_language.h
cbmc
cbmc_languages.cpp
Generated by
1.8.17