cpp_language.cpp File Reference

C++ Language Module. More...

#include "cpp_language.h"
#include <cstring>
#include <sstream>
#include <fstream>
#include <util/config.h>
#include <util/replace_symbol.h>
#include <util/get_base_name.h>
#include <linking/linking.h>
#include <ansi-c/ansi_c_entry_point.h>
#include <ansi-c/c_preprocess.h>
#include "cpp_internal_additions.h"
#include "expr2cpp.h"
#include "cpp_parser.h"
#include "cpp_typecheck.h"
#include "cpp_type2name.h"

Include dependency graph for cpp_language.cpp:

Go to the source code of this file.

Functions
languaget *	new_cpp_language ()

Detailed Description

C++ Language Module.

Definition in file cpp_language.cpp.

Function Documentation

new_cpp_language()

languaget* new_cpp_language

(

)

Definition at line 208 of file cpp_language.cpp.

Referenced by clobber_parse_optionst::doit(), symex_parse_optionst::doit(), dump_cpp(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), goto_analyzer_parse_optionst::register_languages(), cbmc_parse_optionst::register_languages(), and goto_instrument_parse_optionst::register_languages().