lambda.yy.h

   1 #ifndef yyHEADER_H
   2 #define yyHEADER_H 1
   3 #define yyIN_HEADER 1
   4
   5 #line 6 "lambda.yy.h"
   6
   7 #line 8 "lambda.yy.h"
   8
   9 #define  YY_INT_ALIGNED short int
  10
  11 /* A lexical scanner generated by flex */
  12
  13 #define FLEX_SCANNER
  14 #define YY_FLEX_MAJOR_VERSION 2
  15 #define YY_FLEX_MINOR_VERSION 6
  16 #define YY_FLEX_SUBMINOR_VERSION 4
  17 #if YY_FLEX_SUBMINOR_VERSION > 0
  18 #define FLEX_BETA
  19 #endif
  20
  21 /* First, we deal with  platform-specific or compiler-specific issues. */
  22
  23 /* begin standard C headers. */
  24 #include <stdio.h>
  25 #include <string.h>
  26 #include <errno.h>
  27 #include <stdlib.h>
  28
  29 /* end standard C headers. */
  30
  31 /* flex integer type definitions */
  32
  33 #ifndef FLEXINT_H
  34 #define FLEXINT_H
  35
  36 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
  37
  38 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
  39
  40 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
  41  * if you want the limit (max/min) macros for int types.
  42  */
  43 #ifndef __STDC_LIMIT_MACROS
  44 #define __STDC_LIMIT_MACROS 1
  45 #endif
  46
  47 #include <inttypes.h>
  48 typedef int8_t flex_int8_t;
  49 typedef uint8_t flex_uint8_t;
  50 typedef int16_t flex_int16_t;
  51 typedef uint16_t flex_uint16_t;
  52 typedef int32_t flex_int32_t;
  53 typedef uint32_t flex_uint32_t;
  54 #else
  55 typedef signed char flex_int8_t;
  56 typedef short int flex_int16_t;
  57 typedef int flex_int32_t;
  58 typedef unsigned char flex_uint8_t;
  59 typedef unsigned short int flex_uint16_t;
  60 typedef unsigned int flex_uint32_t;
  61
  62 /* Limits of integral types. */
  63 #ifndef INT8_MIN
  64 #define INT8_MIN               (-128)
  65 #endif
  66 #ifndef INT16_MIN
  67 #define INT16_MIN              (-32767-1)
  68 #endif
  69 #ifndef INT32_MIN
  70 #define INT32_MIN              (-2147483647-1)
  71 #endif
  72 #ifndef INT8_MAX
  73 #define INT8_MAX               (127)
  74 #endif
  75 #ifndef INT16_MAX
  76 #define INT16_MAX              (32767)
  77 #endif
  78 #ifndef INT32_MAX
  79 #define INT32_MAX              (2147483647)
  80 #endif
  81 #ifndef UINT8_MAX
  82 #define UINT8_MAX              (255U)
  83 #endif
  84 #ifndef UINT16_MAX
  85 #define UINT16_MAX             (65535U)
  86 #endif
  87 #ifndef UINT32_MAX
  88 #define UINT32_MAX             (4294967295U)
  89 #endif
  90
  91 #ifndef SIZE_MAX
  92 #define SIZE_MAX               (~(size_t)0)
  93 #endif
  94
  95 #endif /* ! C99 */
  96
  97 #endif /* ! FLEXINT_H */
  98
  99 /* begin standard C++ headers. */
 100
 101 /* TODO: this is always defined, so inline it */
 102 #define yyconst const
 103
 104 #if defined(__GNUC__) && __GNUC__ >= 3
 105 #define yynoreturn __attribute__((__noreturn__))
 106 #else
 107 #define yynoreturn
 108 #endif
 109
 110 /* Size of default input buffer. */
 111 #ifndef YY_BUF_SIZE
 112 #ifdef __ia64__
 113 /* On IA-64, the buffer size is 16k, not 8k.
 114  * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
 115  * Ditto for the __ia64__ case accordingly.
 116  */
 117 #define YY_BUF_SIZE 32768
 118 #else
 119 #define YY_BUF_SIZE 16384
 120 #endif /* __ia64__ */
 121 #endif
 122
 123 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
 124 #define YY_TYPEDEF_YY_BUFFER_STATE
 125 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 126 #endif
 127
 128 #ifndef YY_TYPEDEF_YY_SIZE_T
 129 #define YY_TYPEDEF_YY_SIZE_T
 130 typedef size_t yy_size_t;
 131 #endif
 132
 133 extern int yyleng;
 134
 135 extern FILE *yyin, *yyout;
 136
 137 #ifndef YY_STRUCT_YY_BUFFER_STATE
 138 #define YY_STRUCT_YY_BUFFER_STATE
 139 struct yy_buffer_state
 140         {
 141         FILE *yy_input_file;
 142
 143         char *yy_ch_buf;                /* input buffer */
 144         char *yy_buf_pos;               /* current position in input buffer */
 145
 146         /* Size of input buffer in bytes, not including room for EOB
 147          * characters.
 148          */
 149         int yy_buf_size;
 150
 151         /* Number of characters read into yy_ch_buf, not including EOB
 152          * characters.
 153          */
 154         int yy_n_chars;
 155
 156         /* Whether we "own" the buffer - i.e., we know we created it,
 157          * and can realloc() it to grow it, and should free() it to
 158          * delete it.
 159          */
 160         int yy_is_our_buffer;
 161
 162         /* Whether this is an "interactive" input source; if so, and
 163          * if we're using stdio for input, then we want to use getc()
 164          * instead of fread(), to make sure we stop fetching input after
 165          * each newline.
 166          */
 167         int yy_is_interactive;
 168
 169         /* Whether we're considered to be at the beginning of a line.
 170          * If so, '^' rules will be active on the next match, otherwise
 171          * not.
 172          */
 173         int yy_at_bol;
 174
 175     int yy_bs_lineno; /**< The line count. */
 176     int yy_bs_column; /**< The column count. */
 177
 178         /* Whether to try to fill the input buffer when we reach the
 179          * end of it.
 180          */
 181         int yy_fill_buffer;
 182
 183         int yy_buffer_status;
 184
 185         };
 186 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
 187
 188 void yyrestart ( FILE *input_file  );
 189 void yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer  );
 190 YY_BUFFER_STATE yy_create_buffer ( FILE *file, int size  );
 191 void yy_delete_buffer ( YY_BUFFER_STATE b  );
 192 void yy_flush_buffer ( YY_BUFFER_STATE b  );
 193 void yypush_buffer_state ( YY_BUFFER_STATE new_buffer  );
 194 void yypop_buffer_state ( void );
 195
 196 YY_BUFFER_STATE yy_scan_buffer ( char *base, yy_size_t size  );
 197 YY_BUFFER_STATE yy_scan_string ( const char *yy_str  );
 198 YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len  );
 199
 200 void *yyalloc ( yy_size_t  );
 201 void *yyrealloc ( void *, yy_size_t  );
 202 void yyfree ( void *  );
 203
 204 /* Begin user sect3 */
 205
 206 extern int yylineno;
 207
 208 extern char *yytext;
 209 #ifdef yytext_ptr
 210 #undef yytext_ptr
 211 #endif
 212 #define yytext_ptr yytext
 213
 214 #ifdef YY_HEADER_EXPORT_START_CONDITIONS
 215 #define INITIAL 0
 216
 217 #endif
 218
 219 #ifndef YY_NO_UNISTD_H
 220 /* Special case for "unistd.h", since it is non-ANSI. We include it way
 221  * down here because we want the user's section 1 to have been scanned first.
 222  * The user has a chance to override it with an option.
 223  */
 224 #include <unistd.h>
 225 #endif
 226
 227 #ifndef YY_EXTRA_TYPE
 228 #define YY_EXTRA_TYPE void *
 229 #endif
 230
 231 /* Accessor methods to globals.
 232    These are made visible to non-reentrant scanners for convenience. */
 233
 234 int yylex_destroy ( void );
 235
 236 int yyget_debug ( void );
 237
 238 void yyset_debug ( int debug_flag  );
 239
 240 YY_EXTRA_TYPE yyget_extra ( void );
 241
 242 void yyset_extra ( YY_EXTRA_TYPE user_defined  );
 243
 244 FILE *yyget_in ( void );
 245
 246 void yyset_in  ( FILE * _in_str  );
 247
 248 FILE *yyget_out ( void );
 249
 250 void yyset_out  ( FILE * _out_str  );
 251
 252                         int yyget_leng ( void );
 253
 254 char *yyget_text ( void );
 255
 256 int yyget_lineno ( void );
 257
 258 void yyset_lineno ( int _line_number  );
 259
 260 /* Macros after this point can all be overridden by user definitions in
 261  * section 1.
 262  */
 263
 264 #ifndef YY_SKIP_YYWRAP
 265 #ifdef __cplusplus
 266 extern "C" int yywrap ( void );
 267 #else
 268 extern int yywrap ( void );
 269 #endif
 270 #endif
 271
 272 #ifndef yytext_ptr
 273 static void yy_flex_strncpy ( char *, const char *, int );
 274 #endif
 275
 276 #ifdef YY_NEED_STRLEN
 277 static int yy_flex_strlen ( const char * );
 278 #endif
 279
 280 #ifndef YY_NO_INPUT
 281
 282 #endif
 283
 284 /* Amount of stuff to slurp up with each read. */
 285 #ifndef YY_READ_BUF_SIZE
 286 #ifdef __ia64__
 287 /* On IA-64, the buffer size is 16k, not 8k */
 288 #define YY_READ_BUF_SIZE 16384
 289 #else
 290 #define YY_READ_BUF_SIZE 8192
 291 #endif /* __ia64__ */
 292 #endif
 293
 294 /* Number of entries by which start-condition stack grows. */
 295 #ifndef YY_START_STACK_INCR
 296 #define YY_START_STACK_INCR 25
 297 #endif
 298
 299 /* Default declaration of generated scanner - a define so the user can
 300  * easily add parameters.
 301  */
 302 #ifndef YY_DECL
 303 #define YY_DECL_IS_OURS 1
 304
 305 extern int yylex (void);
 306
 307 #define YY_DECL int yylex (void)
 308 #endif /* !YY_DECL */
 309
 310 /* yy_get_previous_state - get the state just before the EOB char was reached */
 311
 312 #undef YY_NEW_FILE
 313 #undef YY_FLUSH_BUFFER
 314 #undef yy_set_bol
 315 #undef yy_new_buffer
 316 #undef yy_set_interactive
 317 #undef YY_DO_BEFORE_ACTION
 318
 319 #ifdef YY_DECL_IS_OURS
 320 #undef YY_DECL_IS_OURS
 321 #undef YY_DECL
 322 #endif
 323
 324 #ifndef yy_create_buffer_ALREADY_DEFINED
 325 #undef yy_create_buffer
 326 #endif
 327 #ifndef yy_delete_buffer_ALREADY_DEFINED
 328 #undef yy_delete_buffer
 329 #endif
 330 #ifndef yy_scan_buffer_ALREADY_DEFINED
 331 #undef yy_scan_buffer
 332 #endif
 333 #ifndef yy_scan_string_ALREADY_DEFINED
 334 #undef yy_scan_string
 335 #endif
 336 #ifndef yy_scan_bytes_ALREADY_DEFINED
 337 #undef yy_scan_bytes
 338 #endif
 339 #ifndef yy_init_buffer_ALREADY_DEFINED
 340 #undef yy_init_buffer
 341 #endif
 342 #ifndef yy_flush_buffer_ALREADY_DEFINED
 343 #undef yy_flush_buffer
 344 #endif
 345 #ifndef yy_load_buffer_state_ALREADY_DEFINED
 346 #undef yy_load_buffer_state
 347 #endif
 348 #ifndef yy_switch_to_buffer_ALREADY_DEFINED
 349 #undef yy_switch_to_buffer
 350 #endif
 351 #ifndef yypush_buffer_state_ALREADY_DEFINED
 352 #undef yypush_buffer_state
 353 #endif
 354 #ifndef yypop_buffer_state_ALREADY_DEFINED
 355 #undef yypop_buffer_state
 356 #endif
 357 #ifndef yyensure_buffer_stack_ALREADY_DEFINED
 358 #undef yyensure_buffer_stack
 359 #endif
 360 #ifndef yylex_ALREADY_DEFINED
 361 #undef yylex
 362 #endif
 363 #ifndef yyrestart_ALREADY_DEFINED
 364 #undef yyrestart
 365 #endif
 366 #ifndef yylex_init_ALREADY_DEFINED
 367 #undef yylex_init
 368 #endif
 369 #ifndef yylex_init_extra_ALREADY_DEFINED
 370 #undef yylex_init_extra
 371 #endif
 372 #ifndef yylex_destroy_ALREADY_DEFINED
 373 #undef yylex_destroy
 374 #endif
 375 #ifndef yyget_debug_ALREADY_DEFINED
 376 #undef yyget_debug
 377 #endif
 378 #ifndef yyset_debug_ALREADY_DEFINED
 379 #undef yyset_debug
 380 #endif
 381 #ifndef yyget_extra_ALREADY_DEFINED
 382 #undef yyget_extra
 383 #endif
 384 #ifndef yyset_extra_ALREADY_DEFINED
 385 #undef yyset_extra
 386 #endif
 387 #ifndef yyget_in_ALREADY_DEFINED
 388 #undef yyget_in
 389 #endif
 390 #ifndef yyset_in_ALREADY_DEFINED
 391 #undef yyset_in
 392 #endif
 393 #ifndef yyget_out_ALREADY_DEFINED
 394 #undef yyget_out
 395 #endif
 396 #ifndef yyset_out_ALREADY_DEFINED
 397 #undef yyset_out
 398 #endif
 399 #ifndef yyget_leng_ALREADY_DEFINED
 400 #undef yyget_leng
 401 #endif
 402 #ifndef yyget_text_ALREADY_DEFINED
 403 #undef yyget_text
 404 #endif
 405 #ifndef yyget_lineno_ALREADY_DEFINED
 406 #undef yyget_lineno
 407 #endif
 408 #ifndef yyset_lineno_ALREADY_DEFINED
 409 #undef yyset_lineno
 410 #endif
 411 #ifndef yyget_column_ALREADY_DEFINED
 412 #undef yyget_column
 413 #endif
 414 #ifndef yyset_column_ALREADY_DEFINED
 415 #undef yyset_column
 416 #endif
 417 #ifndef yywrap_ALREADY_DEFINED
 418 #undef yywrap
 419 #endif
 420 #ifndef yyget_lval_ALREADY_DEFINED
 421 #undef yyget_lval
 422 #endif
 423 #ifndef yyset_lval_ALREADY_DEFINED
 424 #undef yyset_lval
 425 #endif
 426 #ifndef yyget_lloc_ALREADY_DEFINED
 427 #undef yyget_lloc
 428 #endif
 429 #ifndef yyset_lloc_ALREADY_DEFINED
 430 #undef yyset_lloc
 431 #endif
 432 #ifndef yyalloc_ALREADY_DEFINED
 433 #undef yyalloc
 434 #endif
 435 #ifndef yyrealloc_ALREADY_DEFINED
 436 #undef yyrealloc
 437 #endif
 438 #ifndef yyfree_ALREADY_DEFINED
 439 #undef yyfree
 440 #endif
 441 #ifndef yytext_ALREADY_DEFINED
 442 #undef yytext
 443 #endif
 444 #ifndef yyleng_ALREADY_DEFINED
 445 #undef yyleng
 446 #endif
 447 #ifndef yyin_ALREADY_DEFINED
 448 #undef yyin
 449 #endif
 450 #ifndef yyout_ALREADY_DEFINED
 451 #undef yyout
 452 #endif
 453 #ifndef yy_flex_debug_ALREADY_DEFINED
 454 #undef yy_flex_debug
 455 #endif
 456 #ifndef yylineno_ALREADY_DEFINED
 457 #undef yylineno
 458 #endif
 459 #ifndef yytables_fload_ALREADY_DEFINED
 460 #undef yytables_fload
 461 #endif
 462 #ifndef yytables_destroy_ALREADY_DEFINED
 463 #undef yytables_destroy
 464 #endif
 465 #ifndef yyTABLES_NAME_ALREADY_DEFINED
 466 #undef yyTABLES_NAME
 467 #endif
 468
 469 #line 22 "lambda.l"
 470
 471
 472 #line 473 "lambda.yy.h"
 473 #undef yyIN_HEADER
 474 #endif /* yyHEADER_H */