#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 BEGIN yy_start = 1 + 2 * |
#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 |
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 | ( | c | ) | ((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 | ( | n | ) |
#define yyless | ( | n | ) |
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 struct yy_buffer_state* YY_BUFFER_STATE |
typedef unsigned char YY_CHAR |
typedef unsigned int yy_size_t |
typedef int yy_state_type |
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) | ) |
FILE* file |
int len |
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 |
![]() |