parser.h File Reference

#include <string>
#include <util/irep/expr.h>
#include <util/message/message.h>
#include <vector>
#include <istream>

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	YY_INPUT(buf, result, max_size)

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

Macro Definition Documentation

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.line_no;                                                    \
          break;                                                               \
        }                                                                      \
      }                                                                        \
    }                                                                          \
  } while (0)

Function Documentation

_newstack()

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