CBMC
parse.cpp File Reference

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)
 

Detailed Description

C++ Language Parsing.

Definition in file parse.cpp.

Macro Definition Documentation

◆ ERROR_TOKENS

#define ERROR_TOKENS   4

Function Documentation

◆ cpp_parse()

bool cpp_parse ( cpp_parsert cpp_parser,
message_handlert message_handler 
)

Definition at line 8436 of file parse.cpp.

◆ is_identifier()

static bool is_identifier ( int  token)
static

Definition at line 421 of file parse.cpp.