|
cprover
|
#include <cassert>#include <util/string_hash.h>#include <util/parser.h>#include <util/expr.h>#include <ansi-c/ansi_c_parser.h>#include "cpp_parse_tree.h"#include "cpp_token_buffer.h"Go to the source code of this file.
Classes | |
| class | cpp_parsert |
Variables | |
| cpp_parsert | cpp_parser |
C++ Parser.
Definition in file cpp_parser.h.
| cpp_parsert cpp_parser |
Definition at line 16 of file cpp_parser.cpp.
Referenced by cpp_parse(), cpp_languaget::parse(), and cpp_languaget::to_expr().