12#ifndef CPROVER_UTIL_PARSER_H
13#define CPROVER_UTIL_PARSER_H
69 const std::string &message,
70 const std::string &before);
87 std::filesystem::current_path().
string());
141#define newstack(x) _newstack(PARSER, (x))
143#define parser_stack(x) (PARSER.stack[x])
144#define stack_expr(x) (PARSER.stack[x])
145#define stack_type(x) \
146 (static_cast<typet &>(static_cast<irept &>(PARSER.stack[x])))
148#define YY_INPUT(buf, result, max_size) \
150 for(result=0; result<max_size;) \
153 if(!PARSER.read(ch)) \
165 PARSER.inc_line_no(); \
175#define YY_USER_ACTION PARSER.advance_column(yyleng);
Base class for all expressions.
source_locationt & add_source_location()
Class that provides messages with a built-in verbosity 'level'.
void advance_column(unsigned token_width)
source_locationt source_location
parsert(message_handlert &message_handler)
void set_column(unsigned _column)
void set_file(const irep_idt &file)
unsigned get_line_no() const
void set_source_location(exprt &e)
unsigned previous_line_no
void parse_error(const std::string &message, const std::string &before)
irep_idt get_file() const
std::vector< exprt > stack
void set_line_no(unsigned _line_no)
unsigned get_column() const
void set_function(const irep_idt &function)
exprt & _newstack(parsert &parser, unsigned &x)