CBMC
Loading...
Searching...
No Matches
goto_cc_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: CM Wintersteiger
6
7\*******************************************************************/
8
11
12#include "goto_cc_mode.h"
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.
Command line interpretation for goto-cc.
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