predicate.yy.cpp File Reference

#include <stdio.h>
#include <errno.h>
#include "predicate.h"
#include "predicate.tab.h"
#include <string.h>
#include <unistd.h>

Defines

#define BEGIN   yy_start = 1 + 2 *
#define ECHO   (void) fwrite( yytext, yyleng, 1, yyout )
#define EOB_ACT_CONTINUE_SCAN   0
#define EOB_ACT_END_OF_FILE   1
#define EOB_ACT_LAST_MATCH   2
#define FLEX_SCANNER
#define INITIAL   0
#define REJECT   reject_used_but_not_detected
#define unput(c)   yyunput( c, yytext_ptr )
#define YY_AT_BOL()   (yy_current_buffer->yy_at_bol)
#define YY_BREAK   break;
#define YY_BUF_SIZE   16384
#define YY_BUFFER_EOF_PENDING   2
#define YY_BUFFER_NEW   0
#define YY_BUFFER_NORMAL   1
#define YY_CURRENT_BUFFER   yy_current_buffer
#define YY_DECL   int yylex YY_PROTO(( void ))
#define YY_DO_BEFORE_ACTION
#define YY_END_OF_BUFFER   43
#define YY_END_OF_BUFFER_CHAR   0
#define YY_EXIT_FAILURE   2
#define YY_FATAL_ERROR(msg)   yy_fatal_error( msg )
#define YY_FLEX_MAJOR_VERSION   2
#define YY_FLEX_MINOR_VERSION   5
#define YY_FLUSH_BUFFER   yy_flush_buffer( yy_current_buffer )
#define YY_MORE_ADJ   0
#define YY_NEVER_INTERACTIVE   1
#define yy_new_buffer   yy_create_buffer
#define YY_NEW_FILE   yyrestart( yyin )
#define YY_NO_POP_STATE   1
#define YY_NO_PUSH_STATE   1
#define YY_NO_TOP_STATE   1
#define YY_NULL   0
#define YY_NUM_RULES   42
#define YY_PROTO(proto)   ()
#define YY_READ_BUF_SIZE   8192
#define YY_RESTORE_YY_MORE_OFFSET
#define YY_RULE_SETUP   YY_USER_ACTION
#define YY_SC_TO_UI(c)   ((unsigned int) (unsigned char) c)
#define yy_set_bol(at_bol)
#define yy_set_interactive(is_interactive)
#define YY_SKIP_YYWRAP
#define YY_START   ((yy_start - 1) / 2)
#define YY_START_STACK_INCR   25
#define YY_STATE_EOF(state)   (YY_END_OF_BUFFER + state + 1)
#define yyconst
#define yyless(n)
#define yyless(n)
#define yymore()   yymore_used_but_not_detected
#define YYSTATE   YY_START
#define yyterminate()   return YY_NULL
#define yytext_ptr   yytext
#define yywrap()   1

Typedefs

typedef yy_buffer_state * YY_BUFFER_STATE
typedef unsigned char YY_CHAR
typedef unsigned int yy_size_t
typedef int yy_state_type

Functions

YY_BUFFER_STATE yy_scan_bytes YY_PROTO ((yyconst char *bytes, int len))
YY_BUFFER_STATE yy_scan_string YY_PROTO ((yyconst char *yy_str))
YY_BUFFER_STATE yy_scan_buffer YY_PROTO ((char *base, yy_size_t size))
void yy_init_buffer YY_PROTO ((YY_BUFFER_STATE b, FILE *file))
void yy_delete_buffer YY_PROTO ((YY_BUFFER_STATE b))
YY_BUFFER_STATE yy_create_buffer YY_PROTO ((FILE *file, int size))
void yy_load_buffer_state YY_PROTO ((void))
void yy_switch_to_buffer YY_PROTO ((YY_BUFFER_STATE new_buffer))
void yyrestart YY_PROTO ((FILE *input_file))

Variables

FILE * file
int len
yy_size_t size
yy_size_t size
int size
register char * yy_bp
FILE * yyin = (FILE *) 0
FILE * yyin
int yyleng
int yyleng
FILE * yyout = (FILE *) 0
FILE * yyout
char * yytext
char * yytext

Define Documentation

#define BEGIN   yy_start = 1 + 2 *

#define ECHO   (void) fwrite( yytext, yyleng, 1, yyout )

#define EOB_ACT_CONTINUE_SCAN   0

#define EOB_ACT_END_OF_FILE   1

#define EOB_ACT_LAST_MATCH   2

#define FLEX_SCANNER

#define INITIAL   0

#define REJECT   reject_used_but_not_detected

#define unput (  )     yyunput( c, yytext_ptr )

 
#define YY_AT_BOL (  )     (yy_current_buffer->yy_at_bol)

#define YY_BREAK   break;

#define YY_BUF_SIZE   16384

#define YY_BUFFER_EOF_PENDING   2

#define YY_BUFFER_NEW   0

#define YY_BUFFER_NORMAL   1

#define YY_CURRENT_BUFFER   yy_current_buffer

#define YY_DECL   int yylex YY_PROTO(( void ))

#define YY_DO_BEFORE_ACTION

Value:

yytext_ptr = yy_bp; \
        yyleng = (int) (yy_cp - yy_bp); \
        yy_hold_char = *yy_cp; \
        *yy_cp = '\0'; \
        yy_c_buf_p = yy_cp;

#define YY_END_OF_BUFFER   43

#define YY_END_OF_BUFFER_CHAR   0

#define YY_EXIT_FAILURE   2

#define YY_FATAL_ERROR ( msg   )     yy_fatal_error( msg )

#define YY_FLEX_MAJOR_VERSION   2

#define YY_FLEX_MINOR_VERSION   5

#define YY_FLUSH_BUFFER   yy_flush_buffer( yy_current_buffer )

#define YY_MORE_ADJ   0

#define YY_NEVER_INTERACTIVE   1

#define yy_new_buffer   yy_create_buffer

#define YY_NEW_FILE   yyrestart( yyin )

#define YY_NO_POP_STATE   1

#define YY_NO_PUSH_STATE   1

#define YY_NO_TOP_STATE   1

#define YY_NULL   0

#define YY_NUM_RULES   42

#define YY_PROTO ( proto   )     ()

#define YY_READ_BUF_SIZE   8192

#define YY_RESTORE_YY_MORE_OFFSET

#define YY_RULE_SETUP   YY_USER_ACTION

#define YY_SC_TO_UI (  )     ((unsigned int) (unsigned char) c)

#define yy_set_bol ( at_bol   ) 

Value:

{ \
        if ( ! yy_current_buffer ) \
                yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
        yy_current_buffer->yy_at_bol = at_bol; \
        }

#define yy_set_interactive ( is_interactive   ) 

Value:

{ \
        if ( ! yy_current_buffer ) \
                yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
        yy_current_buffer->yy_is_interactive = is_interactive; \
        }

#define YY_SKIP_YYWRAP

#define YY_START   ((yy_start - 1) / 2)

#define YY_START_STACK_INCR   25

#define YY_STATE_EOF ( state   )     (YY_END_OF_BUFFER + state + 1)

#define yyconst

#define yyless (  ) 

Value:

do \
                { \
                /* Undo effects of setting up yytext. */ \
                yytext[yyleng] = yy_hold_char; \
                yy_c_buf_p = yytext + n; \
                yy_hold_char = *yy_c_buf_p; \
                *yy_c_buf_p = '\0'; \
                yyleng = n; \
                } \
        while ( 0 )

#define yyless (  ) 

Value:

do \
                { \
                /* Undo effects of setting up yytext. */ \
                *yy_cp = yy_hold_char; \
                YY_RESTORE_YY_MORE_OFFSET \
                yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
                YY_DO_BEFORE_ACTION; /* set up yytext again */ \
                } \
        while ( 0 )

 
#define yymore (  )     yymore_used_but_not_detected

#define YYSTATE   YY_START

 
#define yyterminate (  )     return YY_NULL

#define yytext_ptr   yytext

 
#define yywrap (  )     1


Typedef Documentation

typedef struct yy_buffer_state* YY_BUFFER_STATE

typedef unsigned char YY_CHAR

typedef unsigned int yy_size_t

typedef int yy_state_type


Function Documentation

YY_BUFFER_STATE yy_scan_bytes YY_PROTO ( (yyconst char *bytes, int len  ) 

YY_BUFFER_STATE yy_scan_string YY_PROTO ( (yyconst char *yy_str)   ) 

YY_BUFFER_STATE yy_scan_buffer YY_PROTO ( (char *base, yy_size_t size  ) 

void yy_init_buffer YY_PROTO ( (YY_BUFFER_STATE b, FILE *file  ) 

void yy_flush_buffer YY_PROTO ( (YY_BUFFER_STATE b)   ) 

YY_BUFFER_STATE yy_create_buffer YY_PROTO ( (FILE *file, int size  ) 

static int input YY_PROTO ( (void)   ) 

void yy_switch_to_buffer YY_PROTO ( (YY_BUFFER_STATE new_buffer)   ) 

void yyrestart YY_PROTO ( (FILE *input_file)   ) 


Variable Documentation

FILE* file

int len

yy_size_t size

yy_size_t size

int size

register char* yy_bp

FILE* yyin = (FILE *) 0

FILE* yyin

int yyleng

int yyleng

FILE * yyout = (FILE *) 0

FILE * yyout

char* yytext

char* yytext

Make It A Bit Faster