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"
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 | ||
) |