Classes | Defines | Typedefs | Functions | Variables
pomdp_spec.yy.cc File Reference
#include "mdpCassandra.h"
#include <stdio.h>
#include <unistd.h>
#include <ctype.h>
#include <stdlib.h>
#include <string.h>
#include "parse_err.h"
#include "parse_hash.h"
#include "parse_constant.h"
#include "include/pomdp_spec.tab.hh"
Include dependency graph for pomdp_spec.yy.cc:

Go to the source code of this file.

Classes

struct  yy_buffer_state

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 MAX_IDENT_LENGTH   32
#define NORMAL   0
#define NUM_LETTERS   26
#define NUM_RESERVED_WORDS   16
#define REJECT   reject_used_but_not_detected
#define TO_UPPER_CASE   1
#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   15
#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_INPUT(buf, result, max_size)
#define YY_MAY_BE_UNUSED
#define YY_MORE_ADJ   0
#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   14
#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_START   ((yy_start - 1) / 2)
#define YY_START_STACK_INCR   25
#define YY_STATE_EOF(state)   (YY_END_OF_BUFFER + state + 1)
#define YY_USER_ACTION
#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

Typedefs

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

Functions

int CheckReserved ()
void ERR_enter ()
void FloatToYylval ()
void IntToYylval ()
void StringToYylval ()
void yyrestart YY_PROTO ((FILE *input_file))
void yy_switch_to_buffer YY_PROTO ((YY_BUFFER_STATE new_buffer))
void yy_load_buffer_state YY_PROTO ((void))
YY_BUFFER_STATE yy_create_buffer YY_PROTO ((FILE *file, int size))
void yy_delete_buffer YY_PROTO ((YY_BUFFER_STATE b))
void yy_init_buffer YY_PROTO ((YY_BUFFER_STATE b, FILE *file))
YY_BUFFER_STATE yy_scan_buffer YY_PROTO ((char *base, yy_size_t size))
YY_BUFFER_STATE yy_scan_string YY_PROTO ((yyconst char *yy_str))
YY_BUFFER_STATE yy_scan_bytes YY_PROTO ((yyconst char *bytes, int len))
static void *yy_flex_alloc YY_PROTO ((yy_size_t))
static void *yy_flex_realloc YY_PROTO ((void *, yy_size_t)) YY_MAY_BE_UNUSED
static void yy_flex_free YY_PROTO ((void *))
static yy_state_type
yy_try_NUL_trans 		YY_PROTO ((yy_state_type current_state))
static void yy_fatal_error YY_PROTO ((yyconst char msg[]))
static void yyunput YY_PROTO ((int c, char *buf_ptr))

Variables

long currentLineNumber
FILE * file
int len
static char * reserved_str []
static int reserved_token []
int size
static yyconst long int yy_accept [28]
static yyconst long int yy_base [31]
register char * yy_bp
static char * yy_c_buf_p = (char *) 0
static yyconst long int yy_chk [1222]
static YY_BUFFER_STATE yy_current_buffer = 0
static yyconst long int yy_def [31]
static int yy_did_buffer_switch_on_eof
static char yy_hold_char
static int yy_init = 1
static char * yy_last_accepting_cpos
static yy_state_type yy_last_accepting_state
static int yy_n_chars
static yyconst yy_state_type yy_NUL_trans [27]
static yyconst long int yy_nxt [1222]
static int yy_start = 0
FILE * yyin = (FILE *) 0
int yyleng
FILE * yyout = (FILE *) 0
char * yytext

Define Documentation

#define BEGIN   yy_start = 1 + 2 *

Definition at line 88 of file pomdp_spec.yy.cc.

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

Definition at line 860 of file pomdp_spec.yy.cc.

#define EOB_ACT_CONTINUE_SCAN   0

Definition at line 113 of file pomdp_spec.yy.cc.

#define EOB_ACT_END_OF_FILE   1

Definition at line 114 of file pomdp_spec.yy.cc.

#define EOB_ACT_LAST_MATCH   2

Definition at line 115 of file pomdp_spec.yy.cc.

#define FLEX_SCANNER

Definition at line 8 of file pomdp_spec.yy.cc.

#define INITIAL   0

Definition at line 623 of file pomdp_spec.yy.cc.

#define MAX_IDENT_LENGTH   32

Definition at line 664 of file pomdp_spec.yy.cc.

#define NORMAL   0

Definition at line 667 of file pomdp_spec.yy.cc.

#define NUM_LETTERS   26

Definition at line 663 of file pomdp_spec.yy.cc.

#define NUM_RESERVED_WORDS   16

Definition at line 676 of file pomdp_spec.yy.cc.

#define REJECT   reject_used_but_not_detected

Definition at line 617 of file pomdp_spec.yy.cc.

#define TO_UPPER_CASE   1

Definition at line 666 of file pomdp_spec.yy.cc.

#define unput (   c)    yyunput( c, yytext_ptr )

Definition at line 144 of file pomdp_spec.yy.cc.

#define YY_AT_BOL ( )    (yy_current_buffer->yy_at_bol)

Definition at line 280 of file pomdp_spec.yy.cc.

#define YY_BREAK   break;

Definition at line 906 of file pomdp_spec.yy.cc.

#define YY_BUF_SIZE   16384

Definition at line 106 of file pomdp_spec.yy.cc.

#define YY_BUFFER_EOF_PENDING   2

Definition at line 216 of file pomdp_spec.yy.cc.

#define YY_BUFFER_NEW   0

Definition at line 204 of file pomdp_spec.yy.cc.

#define YY_BUFFER_NORMAL   1

Definition at line 205 of file pomdp_spec.yy.cc.

#define YY_CURRENT_BUFFER   yy_current_buffer

Definition at line 225 of file pomdp_spec.yy.cc.

#define YY_DECL   int yylex YY_PROTO(( void ))

Definition at line 894 of file pomdp_spec.yy.cc.

#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;

Definition at line 296 of file pomdp_spec.yy.cc.

#define YY_END_OF_BUFFER   15

Definition at line 304 of file pomdp_spec.yy.cc.

#define YY_END_OF_BUFFER_CHAR   0

Definition at line 103 of file pomdp_spec.yy.cc.

#define YY_EXIT_FAILURE   2
#define YY_FATAL_ERROR (   msg)    yy_fatal_error( msg )

Definition at line 887 of file pomdp_spec.yy.cc.

#define YY_FLEX_MAJOR_VERSION   2

Definition at line 9 of file pomdp_spec.yy.cc.

#define YY_FLEX_MINOR_VERSION   5

Definition at line 10 of file pomdp_spec.yy.cc.

#define YY_FLUSH_BUFFER   yy_flush_buffer( yy_current_buffer )

Definition at line 254 of file pomdp_spec.yy.cc.

#define YY_INPUT (   buf,
  result,
  max_size 
)
Value:
if ( (result = read( fileno(yyin), (char *) buf, max_size )) < 0 ) \
                YY_FATAL_ERROR( "input in flex scanner failed" );

Definition at line 867 of file pomdp_spec.yy.cc.

#define YY_MAY_BE_UNUSED

Definition at line 152 of file pomdp_spec.yy.cc.

#define YY_MORE_ADJ   0

Definition at line 619 of file pomdp_spec.yy.cc.

#define yy_new_buffer   yy_create_buffer

Definition at line 264 of file pomdp_spec.yy.cc.

#define YY_NEW_FILE   yyrestart( yyin )

Definition at line 101 of file pomdp_spec.yy.cc.

#define YY_NO_POP_STATE   1

Definition at line 830 of file pomdp_spec.yy.cc.

#define YY_NO_PUSH_STATE   1

Definition at line 829 of file pomdp_spec.yy.cc.

#define YY_NO_TOP_STATE   1

Definition at line 831 of file pomdp_spec.yy.cc.

#define YY_NULL   0

Definition at line 75 of file pomdp_spec.yy.cc.

#define YY_NUM_RULES   14

Definition at line 303 of file pomdp_spec.yy.cc.

#define YY_PROTO (   proto)    ()

Definition at line 71 of file pomdp_spec.yy.cc.

#define YY_READ_BUF_SIZE   8192

Definition at line 851 of file pomdp_spec.yy.cc.

#define YY_RESTORE_YY_MORE_OFFSET

Definition at line 620 of file pomdp_spec.yy.cc.

#define YY_RULE_SETUP   YY_USER_ACTION

Definition at line 909 of file pomdp_spec.yy.cc.

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

Definition at line 82 of file pomdp_spec.yy.cc.

#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; \
        }

Definition at line 273 of file pomdp_spec.yy.cc.

#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; \
        }

Definition at line 266 of file pomdp_spec.yy.cc.

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

Definition at line 94 of file pomdp_spec.yy.cc.

#define YY_START_STACK_INCR   25

Definition at line 882 of file pomdp_spec.yy.cc.

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

Definition at line 98 of file pomdp_spec.yy.cc.

#define YY_USER_ACTION

Definition at line 901 of file pomdp_spec.yy.cc.

#define yyconst

Definition at line 64 of file pomdp_spec.yy.cc.

#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 )

Definition at line 133 of file pomdp_spec.yy.cc.

#define yyless (   n)
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 )

Definition at line 133 of file pomdp_spec.yy.cc.

#define yymore ( )    yymore_used_but_not_detected

Definition at line 618 of file pomdp_spec.yy.cc.

#define YYSTATE   YY_START

Definition at line 95 of file pomdp_spec.yy.cc.

#define yyterminate ( )    return YY_NULL

Definition at line 877 of file pomdp_spec.yy.cc.

#define yytext_ptr   yytext

Definition at line 286 of file pomdp_spec.yy.cc.

Typedef Documentation

typedef struct yy_buffer_state* YY_BUFFER_STATE

Definition at line 108 of file pomdp_spec.yy.cc.

typedef unsigned char YY_CHAR

Definition at line 282 of file pomdp_spec.yy.cc.

typedef unsigned int yy_size_t

Definition at line 159 of file pomdp_spec.yy.cc.

typedef int yy_state_type

Definition at line 284 of file pomdp_spec.yy.cc.

Function Documentation

int CheckReserved ( )

Definition at line 768 of file pomdp_spec.yy.cc.

void ERR_enter ( )
void FloatToYylval ( )

Definition at line 729 of file pomdp_spec.yy.cc.

void IntToYylval ( )

Definition at line 716 of file pomdp_spec.yy.cc.

void StringToYylval ( )

Definition at line 742 of file pomdp_spec.yy.cc.

void yyrestart YY_PROTO ( (FILE *input_file)  )
void yy_switch_to_buffer YY_PROTO ( (YY_BUFFER_STATE new_buffer)  )
static int input YY_PROTO ( (void)  )
YY_BUFFER_STATE yy_create_buffer YY_PROTO ( (FILE *file, int size)  )
void yy_flush_buffer YY_PROTO ( (YY_BUFFER_STATE b)  )
void yy_init_buffer YY_PROTO ( (YY_BUFFER_STATE b, FILE *file)  )
YY_BUFFER_STATE yy_scan_buffer YY_PROTO ( (char *base, yy_size_t size)  )
YY_BUFFER_STATE yy_scan_string YY_PROTO ( (yyconst char *yy_str)  )
YY_BUFFER_STATE yy_scan_bytes YY_PROTO ( (yyconst char *bytes, int len)  )
static void* yy_flex_alloc YY_PROTO ( (yy_size_t)  ) [static]
static void* yy_flex_realloc YY_PROTO ( (void *, yy_size_t)  ) [static]
static void yy_flex_free YY_PROTO ( (void *)  ) [static]
static yy_state_type yy_try_NUL_trans YY_PROTO ( (yy_state_type current_state)  ) [static]
static void yy_fatal_error YY_PROTO ( (yyconst char msg[])  ) [static]
static void yyunput YY_PROTO ( (int c, char *buf_ptr)  ) [static]

Variable Documentation

long currentLineNumber

Definition at line 191 of file pomdp_spec.tab.cc.

FILE* file

Definition at line 1644 of file pomdp_spec.yy.cc.

int len

Definition at line 1761 of file pomdp_spec.yy.cc.

char* reserved_str[] [static]
Initial value:
 {
   "discount",
   "values",
   "states",
   "actions",
   "observations",
   "T",
   "O",
   "R",
   "uniform",
   "identity",
   "reward",
   "cost",
   "start",
   "include",
   "exclude",
   "reset"
}

Definition at line 677 of file pomdp_spec.yy.cc.

int reserved_token[] [static]
Initial value:
 {
   DISCOUNTTOK,
   VALUESTOK,
   STATETOK,
   ACTIONTOK,
   OBSTOK,
   TTOK,
   OTOK,
   RTOK,
   UNIFORMTOK,
   IDENTITYTOK,
   REWARDTOK,
   COSTTOK,
   STARTTOK,
   INCLUDETOK,
   EXCLUDETOK,
   RESETTOK
}

Definition at line 695 of file pomdp_spec.yy.cc.

yy_size_t size

Definition at line 1555 of file pomdp_spec.yy.cc.

yyconst long int yy_accept[28] [static]
Initial value:
    {   0,
        0,    0,   15,   13,   10,   12,   11,    9,    4,    5,
        7,    6,    1,    8,    3,    4,    2,    1,    0,    3,
        2,    0,    0,    2,    0,    2,    0
    }

Definition at line 305 of file pomdp_spec.yy.cc.

yyconst long int yy_base[31] [static]
Initial value:
    {   0,
        0,  114,    1,  965,  965,  965,  965,  965,    0,  965,
      965,  965,  191,  965,    0,    0,  201,  225,   83,    0,
      255,  280,  265,  290,  309,  319,  965,  376,  631,  842
    }

Definition at line 312 of file pomdp_spec.yy.cc.

register char* yy_bp

Definition at line 1420 of file pomdp_spec.yy.cc.

char* yy_c_buf_p = (char *) 0 [static]

Definition at line 237 of file pomdp_spec.yy.cc.

yyconst long int yy_chk[1222] [static]

Definition at line 465 of file pomdp_spec.yy.cc.

YY_BUFFER_STATE yy_current_buffer = 0 [static]

Definition at line 219 of file pomdp_spec.yy.cc.

yyconst long int yy_def[31] [static]
Initial value:
    {   0,
       28,   28,   27,   27,   27,   27,   27,   27,   29,   27,
       27,   27,   27,   27,   30,   29,   27,   27,   27,   30,
       27,   27,   27,   27,   27,   27,    0,   27,   27,   27
    }

Definition at line 319 of file pomdp_spec.yy.cc.

int yy_did_buffer_switch_on_eof [static]

Definition at line 244 of file pomdp_spec.yy.cc.

char yy_hold_char [static]

Definition at line 229 of file pomdp_spec.yy.cc.

int yy_init = 1 [static]

Definition at line 238 of file pomdp_spec.yy.cc.

char* yy_last_accepting_cpos [static]

Definition at line 605 of file pomdp_spec.yy.cc.

yy_state_type yy_last_accepting_state [static]

Definition at line 604 of file pomdp_spec.yy.cc.

int yy_n_chars [static]

Definition at line 231 of file pomdp_spec.yy.cc.

yyconst yy_state_type yy_NUL_trans[27] [static]
Initial value:
    {   0,
        4,    4,    0,    0,    0,    0,    0,    0,   16,    0,
        0,    0,    0,    0,    0,   16,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0
    }

Definition at line 607 of file pomdp_spec.yy.cc.

yyconst long int yy_nxt[1222] [static]

Definition at line 326 of file pomdp_spec.yy.cc.

int yy_start = 0 [static]

Definition at line 239 of file pomdp_spec.yy.cc.

FILE * yyin = (FILE *) 0

Definition at line 283 of file pomdp_spec.yy.cc.

int yyleng

Definition at line 234 of file pomdp_spec.yy.cc.

FILE * yyout = (FILE *) 0

Definition at line 283 of file pomdp_spec.yy.cc.

char * yytext

Definition at line 621 of file pomdp_spec.yy.cc.


appl
Author(s): petercai
autogenerated on Tue Jan 7 2014 11:02:30