12#ifndef CPROVER_CPP_CPP_PARSER_H
13#define CPROVER_CPP_CPP_PARSER_H
29 virtual bool parse()
override;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Globally accessible architectural configuration.
cpp_tokent & current_token()
cpp_token_buffert token_buffer
cpp_parse_treet parse_tree
std::optional< bool > support_float16
virtual bool parse() override
ansi_c_parsert::modet mode
cpp_parsert(message_handlert &message_handler)
unsigned parenthesis_counter
cpp_tokent & current_token()
const source_locationt & source_location()
unsigned get_line_no() const
C++ Parser: Token Buffer.