cprover
Loading...
Searching...
No Matches
parser.h File Reference

Parser utilities. More...

#include "expr.h"
#include "message.h"
#include <filesystem>
#include <iosfwd>
#include <limits>
#include <string>
#include <vector>
Include dependency graph for parser.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  parsert

Macros

#define newstack(x)
#define parser_stack(x)
#define stack_expr(x)
#define stack_type(x)
#define YY_INPUT(buf, result, max_size)
#define YY_USER_ACTION   PARSER.advance_column(yyleng);

Functions

exprt_newstack (parsert &parser, unsigned &x)

Detailed Description

Parser utilities.

Definition in file parser.h.

Macro Definition Documentation

◆ newstack

#define newstack ( x)
Value:
_newstack(PARSER, (x))
exprt & _newstack(parsert &parser, unsigned &x)
Definition parser.cpp:19

Definition at line 152 of file parser.h.

◆ parser_stack

#define parser_stack ( x)
Value:
(PARSER.stack[x])

Definition at line 154 of file parser.h.

◆ stack_expr

#define stack_expr ( x)
Value:
(PARSER.stack[x])

Definition at line 155 of file parser.h.

◆ stack_type

#define stack_type ( x)
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.
Definition irep.h:364
The type of an expression, extends irept.
Definition type.h:29

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)) /* NOLINT(readability/braces) */ \
{ \
if(result==0) \
result=YY_NULL; \
break; \
} \
\
if(ch!='\r') /* NOLINT(readability/braces) */ \
{ \
buf[result++]=ch; \
if(ch=='\n') /* NOLINT(readability/braces) */ \
{ \
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);

Definition at line 186 of file parser.h.

Function Documentation

◆ _newstack()

exprt & _newstack ( parsert & parser,
unsigned & x )

Definition at line 19 of file parser.cpp.