|
cprover
|
#include <cpp_parser.h>
Inheritance diagram for cpp_parsert:
Collaboration diagram for cpp_parsert: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 |
| messaget | log |
Protected Attributes | |
| std::optional< bool > | support_float16 |
Protected Attributes inherited from parsert | |
| source_locationt | source_location |
| unsigned | line_no |
| unsigned | previous_line_no |
| unsigned | column |
Definition at line 24 of file cpp_parser.h.
|
inline |
Definition at line 39 of file cpp_parser.h.
|
inline |
Definition at line 62 of file cpp_parser.h.
|
inlineoverridevirtual |
Reimplemented from parsert.
Definition at line 31 of file cpp_parser.h.
|
inline |
Definition at line 57 of file cpp_parser.h.
|
overridevirtual |
Implements parsert.
Definition at line 22 of file cpp_parser.cpp.
| bool cpp_parsert::asm_block_following |
Definition at line 70 of file cpp_parser.h.
| ansi_c_parsert::modet cpp_parsert::mode |
Definition at line 49 of file cpp_parser.h.
| unsigned cpp_parsert::parenthesis_counter |
Definition at line 69 of file cpp_parser.h.
| cpp_parse_treet cpp_parsert::parse_tree |
Definition at line 27 of file cpp_parser.h.
| bool cpp_parsert::recognize_wchar_t |
Definition at line 53 of file cpp_parser.h.
|
protected |
Definition at line 73 of file cpp_parser.h.
| cpp_token_buffert cpp_parsert::token_buffer |
Definition at line 55 of file cpp_parser.h.