cprover
cbmc_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#include "cbmc_parse_options.h"
13
14#include <langapi/mode.h>
15
17#include <cpp/cpp_language.h>
20
21#ifdef HAVE_JSIL
22# include <jsil/jsil_language.h>
23#endif
24
26{
31
32#ifdef HAVE_JSIL
34#endif
35}
std::unique_ptr< languaget > new_ansi_c_language()
CBMC Command Line Option Processing.
void register_languages() override
std::unique_ptr< languaget > new_cpp_language()
C++ Language Module.
std::unique_ptr< languaget > new_jsil_language()
Jsil Language.
std::unique_ptr< languaget > new_json_symtab_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
std::unique_ptr< languaget > new_statement_list_language()
Statement List Language Interface.