cprover
|
C++ Language Module. More...
#include <memory>
#include <util/make_unique.h>
#include <langapi/language.h>
#include "cpp_parse_tree.h"
Go to the source code of this file.
Classes | |
class | cpp_languaget |
Functions | |
std::unique_ptr< languaget > | new_cpp_language () |
C++ Language Module.
Definition in file cpp_language.h.
std::unique_ptr<languaget> new_cpp_language | ( | ) |
Definition at line 206 of file cpp_language.cpp.
Referenced by clobber_parse_optionst::doit(), dump_cpp(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), cbmc_parse_optionst::register_languages(), goto_instrument_parse_optionst::register_languages(), and goto_analyzer_parse_optionst::register_languages().