12 #ifndef CPROVER_CPP_CPP_PARSER_H 13 #define CPROVER_CPP_CPP_PARSER_H 31 virtual bool parse()
override;
76 #endif // CPROVER_CPP_CPP_PARSER_H virtual void clear() override
Globally accessible architectural configuration.
C++ Parser: Token Buffer.
cpp_token_buffert token_buffer
virtual bool parse() override
cpp_parse_treet parse_tree
cpp_tokent & current_token()
ansi_c_parsert::modet mode
unsigned get_line_no() const
unsigned parenthesis_counter
const irep_idt & get_file() const
cpp_tokent & current_token()
source_locationt source_location