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);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
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)
void set_working_directory(const irep_idt &cwd)
const irep_idt & get_file() const
void set_file(const irep_idt &file)
void set_line(const irep_idt &line)
void set_function(const irep_idt &function)
exprt & _newstack(parsert &parser, unsigned &x)