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().