|
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 () |
Public Member Functions inherited from parsert | |
| 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 |
Public Attributes inherited from parsert | |
| std::istream * | in |
| std::string | this_line |
| std::string | last_line |
| std::vector< exprt > | stack |
Additional Inherited Members | |
Protected Attributes inherited from parsert | |
| 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, parsert::get_file(), messaget::get_message_handler(), parsert::in, mode, ansi_c_parsert::mode, parsert::set_file(), and messaget::set_message_handler().
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().