Parser utilities.
More...
#include "expr.h"
#include "message.h"
#include <filesystem>
#include <iosfwd>
#include <limits>
#include <string>
#include <vector>
Go to the source code of this file.
Parser utilities.
Definition in file parser.h.
◆ newstack
Value:
exprt & _newstack(parsert &parser, unsigned &x)
Definition at line 152 of file parser.h.
◆ parser_stack
#define parser_stack |
( |
| x | ) |
|
◆ stack_expr
◆ stack_type
Value: (
static_cast<typet &
>(
static_cast<irept &
>(PARSER.stack[x])))
There are a large number of kinds of tree structured or tree-like data in CPROVER.
The type of an expression, extends irept.
Definition at line 156 of file parser.h.
◆ 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 159 of file parser.h.
◆ YY_USER_ACTION
#define YY_USER_ACTION PARSER.advance_column(yyleng); |
◆ _newstack()