CBMC
parse.cpp File Reference
#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

bool cpp_parse ()
 

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

Definition at line 8383 of file parse.cpp.