CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
goto_analyzer_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: Martin Brain, martin.brain@cs.ox.ac.uk
6
7\*******************************************************************/
8
11
13
14#include <langapi/mode.h>
15
17#include <cpp/cpp_language.h>
18
std::unique_ptr< languaget > new_ansi_c_language()
std::unique_ptr< languaget > new_cpp_language()
C++ Language Module.
Goto-Analyser Command Line Option Processing.
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