Parser utilities.
More...
#include "expr.h"
#include "message.h"
#include <filesystem>
#include <iosfwd>
#include <string>
#include <vector>
Go to the source code of this file.
Parser utilities.
Definition in file parser.h.
◆ newstack
◆ parser_stack
#define parser_stack |
( |
|
x | ) |
(PARSER.stack[x]) |
◆ stack_expr
#define stack_expr |
( |
|
x | ) |
(PARSER.stack[x]) |
◆ stack_type
#define stack_type |
( |
|
x | ) |
(static_cast<typet &>(static_cast<irept &>(PARSER.stack[x]))) |
◆ YY_INPUT
#define YY_INPUT |
( |
|
buf, |
|
|
|
result, |
|
|
|
max_size |
|
) |
| |
Value: do { \
for(result=0; result<max_size;) \
{ \
char ch; \
if(!PARSER.read(ch)) \
{ \
if(result==0) \
result=YY_NULL; \
break; \
} \
\
if(ch!='\r') \
{ \
buf[result++]=ch; \
if(ch=='\n') \
{ \
PARSER.inc_line_no(); \
break; \
} \
} \
} \
} while(0)
Definition at line 148 of file parser.h.
◆ YY_USER_ACTION
#define YY_USER_ACTION PARSER.advance_column(yyleng); |
◆ _newstack()