|
CBMC
|
C++ Language Parsing. More...
#include "cpp_parser.h"#include <map>#include <util/c_types.h>#include <util/std_code.h>#include <ansi-c/ansi_c_y.tab.h>#include <ansi-c/merged_type.h>#include "cpp_token_buffer.h"#include "cpp_member_spec.h"#include "cpp_enum_type.h"
Include dependency graph for parse.cpp:Go to the source code of this file.
Classes | |
| class | new_scopet |
| class | save_scopet |
| class | Parser |
Macros | |
| #define | ERROR_TOKENS 4 |
Functions | |
| static bool | is_identifier (int token) |
| bool | cpp_parse (cpp_parsert &cpp_parser, message_handlert &message_handler) |
C++ Language Parsing.
Definition in file parse.cpp.
| #define ERROR_TOKENS 4 |
| bool cpp_parse | ( | cpp_parsert & | cpp_parser, |
| message_handlert & | message_handler | ||
| ) |