lex.yy.c

java interpreter in formal language and translators

#line 3 "lex.yy.c"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#define YY_FLEX_SUBMINOR_VERSION 33
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif

/* First, we deal with  platform-specific or compiler-specific issues. */

/* begin standard C headers. */
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>

/* end standard C headers. */

/* flex integer type definitions */

#ifndef FLEXINT_H
#define FLEXINT_H

/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */

#if __STDC_VERSION__ >= 199901L

/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
 * if you want the limit (max/min) macros for int types. 
 */
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
#endif

#include <inttypes.h>
typedef int8_t flex_int8_t;
typedef uint8_t flex_uint8_t;
typedef int16_t flex_int16_t;
typedef uint16_t flex_uint16_t;
typedef int32_t flex_int32_t;
typedef uint32_t flex_uint32_t;
#else
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
typedef unsigned char flex_uint8_t; 
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;
#endif /* ! C99 */

/* Limits of integral types. */
#ifndef INT8_MIN
#define INT8_MIN               (-128)
#endif
#ifndef INT16_MIN
#define INT16_MIN              (-32767-1)
#endif
#ifndef INT32_MIN
#define INT32_MIN              (-2147483647-1)
#endif
#ifndef INT8_MAX
#define INT8_MAX               (127)
#endif
#ifndef INT16_MAX
#define INT16_MAX              (32767)
#endif
#ifndef INT32_MAX
#define INT32_MAX              (2147483647)
#endif
#ifndef UINT8_MAX
#define UINT8_MAX              (255U)
#endif
#ifndef UINT16_MAX
#define UINT16_MAX             (65535U)
#endif
#ifndef UINT32_MAX
#define UINT32_MAX             (4294967295U)
#endif

#endif /* ! FLEXINT_H */

#ifdef __cplusplus

/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST

#else	/* ! __cplusplus */

#if __STDC__

#define YY_USE_CONST

#endif	/* __STDC__ */
#endif	/* ! __cplusplus */

#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif

/* Returned upon end-of-file. */
#define YY_NULL 0

/* Promotes a possibly negative, possibly signed char to an unsigned
 * integer for use as an array index.  If the signed char is negative,
 * we want to instead treat it as an 8-bit unsigned char, hence the
 * double cast.
 */
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)

/* Enter a start condition.  This macro really ought to take a parameter,
 * but we do it the disgusting crufty way forced on us by the ()-less
 * definition of BEGIN.
 */
#define BEGIN (yy_start) = 1 + 2 *

/* Translate the current start state into a value that can be later handed
 * to BEGIN to return to the state.  The YYSTATE alias is for lex
 * compatibility.
 */
#define YY_START (((yy_start) - 1) / 2)
#define YYSTATE YY_START

/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)

/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart(yyin  )

#define YY_END_OF_BUFFER_CHAR 0

/* Size of default input buffer. */
#ifndef YY_BUF_SIZE
#define YY_BUF_SIZE 16384
#endif

/* The state buf must be large enough to hold one state per character in the main buffer.
 */
#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

#ifndef YY_TYPEDEF_YY_BUFFER_STATE
#define YY_TYPEDEF_YY_BUFFER_STATE
typedef struct yy_buffer_state *YY_BUFFER_STATE;
#endif

extern int yyleng;

extern FILE *yyin, *yyout;

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

    #define YY_LESS_LINENO(n)
    
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
	do \
		{ \
		/* Undo effects of setting up yytext. */ \
        int yyless_macro_arg = (n); \
        YY_LESS_LINENO(yyless_macro_arg);\
		*yy_cp = (yy_hold_char); \
		YY_RESTORE_YY_MORE_OFFSET \
		(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
		YY_DO_BEFORE_ACTION; /* set up yytext again */ \
		} \
	while ( 0 )

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

/* The following is because we cannot portably get our hands on size_t
 * (without autoconf's help, which isn't available because we want
 * flex-generated scanners to compile on their own).
 */

#ifndef YY_TYPEDEF_YY_SIZE_T
#define YY_TYPEDEF_YY_SIZE_T
typedef unsigned int yy_size_t;
#endif

#ifndef YY_STRUCT_YY_BUFFER_STATE
#define YY_STRUCT_YY_BUFFER_STATE
struct yy_buffer_state
	{
	FILE *yy_input_file;

	char *yy_ch_buf;		/* input buffer */
	char *yy_buf_pos;		/* current position in input buffer */

	/* Size of input buffer in bytes, not including room for EOB
	 * characters.
	 */
	yy_size_t yy_buf_size;

	/* Number of characters read into yy_ch_buf, not including EOB
	 * characters.
	 */
	int yy_n_chars;

	/* Whether we "own" the buffer - i.e., we know we created it,
	 * and can realloc() it to grow it, and should free() it to
	 * delete it.
	 */
	int yy_is_our_buffer;

	/* Whether this is an "interactive" input source; if so, and
	 * if we're using stdio for input, then we want to use getc()
	 * instead of fread(), to make sure we stop fetching input after
	 * each newline.
	 */
	int yy_is_interactive;

	/* Whether we're considered to be at the beginning of a line.
	 * If so, '^' rules will be active on the next match, otherwise
	 * not.
	 */
	int yy_at_bol;

    int yy_bs_lineno; /**< The line count. */
    int yy_bs_column; /**< The column count. */
    
	/* Whether to try to fill the input buffer when we reach the
	 * end of it.
	 */
	int yy_fill_buffer;

	int yy_buffer_status;

#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
	/* When an EOF's been seen but there's still some text to process
	 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
	 * shouldn't try reading from the input source any more.  We might
	 * still have a bunch of tokens to match, though, because of
	 * possible backing-up.
	 *
	 * When we actually see the EOF, we change the status to "new"
	 * (via yyrestart()), so that the user can continue scanning by
	 * just pointing yyin at a new input file.
	 */
#define YY_BUFFER_EOF_PENDING 2

	};
#endif /* !YY_STRUCT_YY_BUFFER_STATE */

/* Stack of input buffers. */
static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */

/* We provide macros for accessing buffer states in case in the
 * future we want to put the buffer states in a more general
 * "scanner state".
 *
 * Returns the top of the stack, or NULL.
 */
#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
                          ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
                          : NULL)

/* Same as previous macro, but useful when we know that the buffer stack is not
 * NULL or when we need an lvalue. For internal use only.
 */
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]

/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static int yy_n_chars;		/* number of characters read into yy_ch_buf */
int yyleng;

/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 0;		/* whether we need to initialize */
static int yy_start = 0;	/* start state number */

/* Flag which is used to allow yywrap()'s to do buffer switches
 * instead of setting up a fresh yyin.  A bit of a hack ...
 */
static int yy_did_buffer_switch_on_eof;

void yyrestart (FILE *input_file  );
void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
void yy_delete_buffer (YY_BUFFER_STATE b  );
void yy_flush_buffer (YY_BUFFER_STATE b  );
void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
void yypop_buffer_state (void );

static void yyensure_buffer_stack (void );
static void yy_load_buffer_state (void );
static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );

#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )

YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );

void *yyalloc (yy_size_t  );
void *yyrealloc (void *,yy_size_t  );
void yyfree (void *  );

#define yy_new_buffer yy_create_buffer

#define yy_set_interactive(is_interactive) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){ \
        yyensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
	}

#define yy_set_bol(at_bol) \
	{ \
	if ( ! YY_CURRENT_BUFFER ){\
        yyensure_buffer_stack (); \
		YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
	} \
	YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
	}

#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

typedef unsigned char YY_CHAR;

FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;

typedef int yy_state_type;

extern int yylineno;

int yylineno = 1;

extern char *yytext;
#define yytext_ptr yytext

static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
static int yy_get_next_buffer (void );
static void yy_fatal_error (yyconst char msg[]  );

/* Done after the current pattern has been matched and before the
 * corresponding action - sets up yytext.
 */
#define YY_DO_BEFORE_ACTION \
	(yytext_ptr) = yy_bp; \
	yyleng = (size_t) (yy_cp - yy_bp); \
	(yy_hold_char) = *yy_cp; \
	*yy_cp = '\0'; \
	(yy_c_buf_p) = yy_cp;

#define YY_NUM_RULES 47
#define YY_END_OF_BUFFER 48
/* This struct is not used in this scanner,
   but its presence is necessary. */
struct yy_trans_info
	{
	flex_int32_t yy_verify;
	flex_int32_t yy_nxt;
	};
static yyconst flex_int16_t yy_accept[217] =
    {   0,
        0,    0,   48,   47,   45,   45,    4,   47,    4,   47,
        3,    4,    4,    4,    4,   44,    4,    4,    4,   43,
        3,   43,   43,   43,   43,   43,   43,   43,   43,   43,
       43,   43,   43,   43,   43,    4,   46,   12,    0,   44,
        0,   14,    0,    0,   15,   16,    0,   44,   10,    9,
       11,   43,    0,    0,    0,   42,   43,   43,   43,   43,
       40,   43,   43,   43,   43,   43,   37,   43,   43,   43,
       43,   43,   43,   43,   43,   43,   43,   43,   43,   43,
       13,   46,    0,    0,    0,    0,    0,   43,   43,   43,
       43,   43,   43,   43,   43,   41,   43,   31,   43,   43,

       43,   43,   43,   43,   43,   43,   43,   43,   43,   43,
       46,    0,    0,    0,    0,    0,   42,    0,    0,    0,
       43,   43,   32,   43,   38,   43,   43,   43,   43,   43,
       43,   36,   43,   43,   43,   43,   43,   43,   43,   35,
        1,   30,   43,    0,    0,    0,    0,    0,    0,   42,
        0,   43,   43,   17,   43,    2,   28,   43,   43,   43,
       43,   43,   43,   43,   43,   43,   34,   39,    0,    0,
        0,   42,    0,    0,   43,   43,   43,   43,   23,   43,
       43,   43,   43,   24,   29,   25,    0,    0,    0,    0,
        0,    0,    0,    0,    0,   42,   43,   33,   21,   43,

       43,   22,   26,   43,    0,    0,    0,   18,   43,   43,
       43,   43,   20,   27,   19,    0
    } ;

static yyconst flex_int32_t yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    2,    3,    4,
        1,    1,    5,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    6,    7,    8,    1,    1,    1,    9,   10,   11,
       11,   12,   13,   11,   14,   11,   15,   16,   16,   16,
       16,   16,   16,   16,   16,   16,   16,    1,   11,   17,
       18,   19,    1,    1,   20,   20,   20,   20,   20,   20,
       20,   20,   20,   20,   20,   20,   20,   20,   20,   20,
       20,   20,   20,   20,   20,   20,   20,   20,   20,   20,
       21,   22,   23,    1,    1,    1,   24,   25,   26,   27,

       28,   29,   30,   31,   32,   20,   33,   34,   35,   36,
       37,   38,   20,   39,   40,   41,   42,   43,   44,   45,
       20,   20,   11,   46,   11,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,

        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1
    } ;

static yyconst flex_int32_t yy_meta[47] =
    {   0,
        1,    1,    1,    2,    1,    1,    1,    1,    1,    3,
        1,    1,    1,    1,    1,    4,    1,    1,    1,    4,
        1,    1,    1,    4,    4,    4,    4,    4,    4,    4,
        4,    4,    4,    4,    4,    4,    4,    4,    4,    4,
        4,    4,    4,    4,    4,    1
    } ;

static yyconst flex_int16_t yy_base[227] =
    {   0,
        0,    0,  274,  798,  798,  258,  254,   39,  262,  248,
      798,  798,  255,  253,   36,  250,  247,  246,  245,    0,
       60,  237,  224,   18,  217,   22,   36,   41,  211,   30,
      224,   16,   40,  214,  219,  203,    0,  798,   66,  798,
       56,  798,  238,   60,  798,  798,  234,  229,  798,  798,
      798,    0,    0,  228,   38,  798,  202,  204,  216,  215,
        0,  192,  190,  196,  193,  189,    0,  189,  185,  190,
      197,   52,  196,  179,  195,  180,  185,  168,  177,  176,
      798,    0,  195,  191,  100,  193,  122,  163,  168,  162,
      160,  171,  170,  157,  172,    0,   53,  167,  154,  154,

      143,  144,  150,  141,  141,  152,  139,  150,  150,  142,
      798,  144,  166,  188,  210,  232,  254,  163,  159,  276,
      134,  138,    0,  125,    0,  128,  135,  128,  133,  121,
      119,    0,  133,  132,  127,  122,  114,  120,  112,    0,
        0,    0,  116,  298,  320,  342,  364,  386,  408,  430,
        0,  119,  118,    0,  114,    0,    0,  105,   98,  109,
      106,   94,  108,  107,   96,  105,    0,    0,  452,  474,
       79,  118,  496,  518,  103,   86,   81,   92,    0,   95,
       90,   89,   75,    0,    0,    0,  540,   95,  562,  584,
      606,  628,  650,  672,  694,  716,   73,    0,    0,   77,

       83,    0,    0,   72,   86,   96,  738,    0,   52,   58,
       53,   19,    0,    0,    0,  798,  761,  765,   51,  769,
      773,  777,  781,  785,  789,  793
    } ;

static yyconst flex_int16_t yy_def[227] =
    {   0,
      216,    1,  216,  216,  216,  216,  216,  217,  216,  218,
      216,  216,  216,  216,  216,  216,  216,  216,  216,  219,
      216,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  216,  220,  216,  217,  216,
      216,  216,  216,  216,  216,  216,  221,  216,  216,  216,
      216,  219,   21,   21,  216,  216,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      216,  220,  221,  221,  222,  223,  222,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,

      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      216,  222,  222,  222,  224,  222,  222,  223,  223,  222,
      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  224,  224,  224,  223,  224,  224,  224,
       21,  219,  219,  219,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  219,  219,  224,  223,
      223,  223,  222,  225,  219,  219,  219,  219,  219,  219,
      219,  219,  219,  219,  219,  219,  224,  226,  224,  224,
      224,  224,  223,  225,  224,  224,  219,  219,  219,  219,

      219,  219,  219,  219,  223,  226,  223,  219,  219,  219,
      219,  219,  219,  219,  219,    0,  216,  216,  216,  216,
      216,  216,  216,  216,  216,  216
    } ;

static yyconst flex_int16_t yy_nxt[845] =
    {   0,
        4,    5,    6,    5,    5,    5,    7,    8,    9,   10,
       11,   12,   13,   14,   15,   16,   17,   18,   19,   20,
       21,    4,   11,   22,   23,   24,   25,   26,   27,   20,
       20,   28,   20,   20,   20,   29,   20,   30,   31,   32,
       33,   20,   34,   35,   20,   36,   40,   47,   59,   86,
       37,   60,   87,   71,   52,   62,   75,   76,  215,   64,
       41,   53,   54,   53,   53,   53,   63,   65,   72,   67,
       77,   73,   66,   40,   55,   68,   69,   39,   78,  214,
       39,   43,   56,  101,   43,  213,  129,   41,  102,  130,
      188,   39,  212,  189,   39,   43,   39,  119,   43,  211,

       43,  113,  114,   53,  113,  113,  206,  206,  210,  207,
      207,  115,  209,  208,  116,  204,  203,  202,  201,  200,
      199,  198,  117,  113,  114,   53,  113,  113,  197,  119,
      186,  185,  184,  183,  182,  181,  120,  180,  179,  178,
      177,  176,  175,  168,  117,  113,  114,   53,  113,  113,
      167,  166,  165,  164,  163,  162,  161,  160,  120,  159,
      158,  157,  156,  155,  154,  153,  117,  113,  114,   53,
      113,  113,  152,  151,  119,  143,  142,  141,  140,  139,
      120,  138,  137,  136,  135,  134,  133,  132,  117,  113,
      114,   53,  113,  113,  131,  128,  127,  126,  125,  124,

      123,  122,  116,  121,  119,  111,   84,  110,  109,  108,
      117,  145,  146,  147,  145,  145,  107,  106,  105,  104,
      103,  148,  100,   99,  149,   98,   97,   96,   95,   94,
       93,   92,  150,  113,  114,   53,  113,  113,   91,   90,
       89,   88,   85,  115,   48,   84,  116,   40,   81,   80,
       79,   74,   70,   61,  117,  113,  114,   53,  113,  113,
       58,   57,   51,   50,   49,   48,   46,   45,  120,   44,
       42,   38,   37,  216,  216,  216,  117,  113,  114,   53,
      113,  113,  216,  216,  216,  216,  216,  115,  216,  216,
      116,  216,  216,  216,  216,  216,  216,  216,  117,  145,

      146,  147,  145,  145,  216,  216,  216,  216,  216,  148,
      216,  216,  149,  216,  216,  216,  216,  216,  216,  216,
      150,  145,  146,  147,  145,  145,  216,  216,  216,  216,
      216,  148,  216,  216,  149,  216,  216,  216,  216,  216,
      216,  216,  150,  145,  146,  147,  145,  145,  216,  216,
      216,  216,  216,  148,  216,  216,  169,  216,  216,  216,
      216,  216,  216,  216,  150,  147,  170,  147,  147,  147,
      216,  216,  216,  216,  216,  119,  216,  216,  171,  216,
      216,  216,  216,  216,  216,  216,  172,  145,  146,  147,
      145,  145,  216,  216,  216,  216,  216,  216,  216,  216,