cprover
|
#include <cpp_parser.h>
Public Member Functions | |
virtual bool | parse () override |
virtual void | clear () override |
cpp_parsert () | |
cpp_tokent & | current_token () |
void | add_location () |
![]() | |
parsert () | |
virtual | ~parsert () |
bool | read (char &ch) |
bool | eof () |
void | parse_error (const std::string &message, const std::string &before) |
void | inc_line_no () |
void | set_line_no (unsigned _line_no) |
void | set_file (const irep_idt &file) |
irep_idt | get_file () const |
unsigned | get_line_no () const |
unsigned | get_column () const |
void | set_column (unsigned _column) |
void | set_source_location (exprt &e) |
void | set_function (const irep_idt &function) |
void | advance_column (unsigned token_width) |
Public Attributes | |
cpp_parse_treet | parse_tree |
ansi_c_parsert::modet | mode |
bool | recognize_wchar_t |
cpp_token_buffert | token_buffer |
unsigned | parenthesis_counter |
bool | asm_block_following |
![]() | |
std::istream * | in |
std::string | this_line |
std::string | last_line |
std::vector< exprt > | stack |
Additional Inherited Members | |
![]() | |
source_locationt | source_location |
unsigned | line_no |
unsigned | previous_line_no |
unsigned | column |
Definition at line 26 of file cpp_parser.h.
|
inline |
Definition at line 41 of file cpp_parser.h.
|
inline |
Definition at line 63 of file cpp_parser.h.
References cpp_token_buffert::current_token(), cpp_tokent::filename, source_locationt::get_file(), parsert::get_line_no(), cpp_tokent::line_no, parsert::source_location, and token_buffer.
|
inlineoverridevirtual |
Reimplemented from parsert.
Definition at line 33 of file cpp_parser.h.
References asm_block_following, cpp_parse_treet::clear(), parsert::clear(), cpp_token_buffert::clear(), parse_tree, and token_buffer.
Referenced by cpp_languaget::parse(), and cpp_languaget::to_expr().
|
inline |
Definition at line 58 of file cpp_parser.h.
References cpp_token_buffert::current_token(), and token_buffer.
|
overridevirtual |
Implements parsert.
Definition at line 20 of file cpp_parser.cpp.
References ansi_c_parser, config, configt::cpp, ansi_c_parsert::cpp11, configt::cppt::CPP11, configt::cppt::CPP14, ansi_c_parsert::cpp98, cpp_parse(), configt::cppt::cpp_standard, ansi_c_parsert::Float128_type, parsert::get_file(), messaget::get_message_handler(), parsert::in, mode, ansi_c_parsert::mode, parsert::set_file(), messaget::set_message_handler(), and ansi_c_parsert::ts_18661_3_Floatn_types.
Referenced by cpp_languaget::parse(), and cpp_languaget::to_expr().
bool cpp_parsert::asm_block_following |
Definition at line 71 of file cpp_parser.h.
Referenced by clear().
ansi_c_parsert::modet cpp_parsert::mode |
Definition at line 50 of file cpp_parser.h.
Referenced by cpp_languaget::parse(), and parse().
unsigned cpp_parsert::parenthesis_counter |
Definition at line 70 of file cpp_parser.h.
cpp_parse_treet cpp_parsert::parse_tree |
Definition at line 29 of file cpp_parser.h.
Referenced by clear(), Parser::operator()(), cpp_languaget::parse(), and cpp_languaget::to_expr().
bool cpp_parsert::recognize_wchar_t |
Definition at line 54 of file cpp_parser.h.
cpp_token_buffert cpp_parsert::token_buffer |
Definition at line 56 of file cpp_parser.h.
Referenced by add_location(), clear(), and current_token().