cprover
parse.cpp File Reference

C++ Language Parsing. More...

#include "cpp_parser.h"
#include <cassert>
#include <map>
#include <util/c_types.h>
#include <util/expr.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/std_types.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 8374 of file parse.cpp.