CBMC
Loading...
Searching...
No Matches
Classes | Macros | Functions
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.

AltStyle によって変換されたページ (->オリジナル) /