|
cprover
|
#include <memory>#include <util/make_unique.h>#include <langapi/language.h>#include "ansi_c_parse_tree.h"Go to the source code of this file.
Classes | |
| class | ansi_c_languaget |
Functions | |
| std::unique_ptr< languaget > | new_ansi_c_language () |
| std::unique_ptr<languaget> new_ansi_c_language | ( | ) |
Definition at line 149 of file ansi_c_language.cpp.
Referenced by clobber_parse_optionst::doit(), jbmc_parse_optionst::doit(), dump_c(), 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().