9 #define YY_INT_ALIGNED short int
11 /* A lexical scanner generated by flex */
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
21 /* First, we deal with platform-specific or compiler-specific issues. */
23 /* begin standard C headers. */
29 /* end standard C headers. */
31 /* flex integer type definitions */
36 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
38 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
40 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
41 * if you want the limit (max/min) macros for int types.
43 #ifndef __STDC_LIMIT_MACROS
44 #define __STDC_LIMIT_MACROS 1
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
;
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
;
62 /* Limits of integral types. */
64 #define INT8_MIN (-128)
67 #define INT16_MIN (-32767-1)
70 #define INT32_MIN (-2147483647-1)
73 #define INT8_MAX (127)
76 #define INT16_MAX (32767)
79 #define INT32_MAX (2147483647)
82 #define UINT8_MAX (255U)
85 #define UINT16_MAX (65535U)
88 #define UINT32_MAX (4294967295U)
92 #define SIZE_MAX (~(size_t)0)
97 #endif /* ! FLEXINT_H */
99 /* begin standard C++ headers. */
101 /* TODO: this is always defined, so inline it */
102 #define yyconst const
104 #if defined(__GNUC__) && __GNUC__ >= 3
105 #define yynoreturn __attribute__((__noreturn__))
110 /* Size of default input buffer. */
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.
117 #define YY_BUF_SIZE 32768
119 #define YY_BUF_SIZE 16384
120 #endif /* __ia64__ */
123 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
124 #define YY_TYPEDEF_YY_BUFFER_STATE
125 typedef struct yy_buffer_state
*YY_BUFFER_STATE
;
128 #ifndef YY_TYPEDEF_YY_SIZE_T
129 #define YY_TYPEDEF_YY_SIZE_T
130 typedef size_t yy_size_t
;
135 extern FILE *yyin
, *yyout
;
137 #ifndef YY_STRUCT_YY_BUFFER_STATE
138 #define YY_STRUCT_YY_BUFFER_STATE
139 struct yy_buffer_state
143 char *yy_ch_buf
; /* input buffer */
144 char *yy_buf_pos
; /* current position in input buffer */
146 /* Size of input buffer in bytes, not including room for EOB
151 /* Number of characters read into yy_ch_buf, not including EOB
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
160 int yy_is_our_buffer
;
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
167 int yy_is_interactive
;
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
175 int yy_bs_lineno
; /**< The line count. */
176 int yy_bs_column
; /**< The column count. */
178 /* Whether to try to fill the input buffer when we reach the
183 int yy_buffer_status
;
186 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
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 );
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
);
200 void *yyalloc ( yy_size_t
);
201 void *yyrealloc ( void *, yy_size_t
);
202 void yyfree ( void * );
204 /* Begin user sect3 */
212 #define yytext_ptr yytext
214 #ifdef YY_HEADER_EXPORT_START_CONDITIONS
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.
227 #ifndef YY_EXTRA_TYPE
228 #define YY_EXTRA_TYPE void *
231 /* Accessor methods to globals.
232 These are made visible to non-reentrant scanners for convenience. */
234 int yylex_destroy ( void );
236 int yyget_debug ( void );
238 void yyset_debug ( int debug_flag
);
240 YY_EXTRA_TYPE
yyget_extra ( void );
242 void yyset_extra ( YY_EXTRA_TYPE user_defined
);
244 FILE *yyget_in ( void );
246 void yyset_in ( FILE * _in_str
);
248 FILE *yyget_out ( void );
250 void yyset_out ( FILE * _out_str
);
252 int yyget_leng ( void );
254 char *yyget_text ( void );
256 int yyget_lineno ( void );
258 void yyset_lineno ( int _line_number
);
260 /* Macros after this point can all be overridden by user definitions in
264 #ifndef YY_SKIP_YYWRAP
266 extern "C" int yywrap ( void );
268 extern int yywrap ( void );
273 static void yy_flex_strncpy ( char *, const char *, int );
276 #ifdef YY_NEED_STRLEN
277 static int yy_flex_strlen ( const char * );
284 /* Amount of stuff to slurp up with each read. */
285 #ifndef YY_READ_BUF_SIZE
287 /* On IA-64, the buffer size is 16k, not 8k */
288 #define YY_READ_BUF_SIZE 16384
290 #define YY_READ_BUF_SIZE 8192
291 #endif /* __ia64__ */
294 /* Number of entries by which start-condition stack grows. */
295 #ifndef YY_START_STACK_INCR
296 #define YY_START_STACK_INCR 25
299 /* Default declaration of generated scanner - a define so the user can
300 * easily add parameters.
303 #define YY_DECL_IS_OURS 1
305 extern int yylex (void);
307 #define YY_DECL int yylex (void)
308 #endif /* !YY_DECL */
310 /* yy_get_previous_state - get the state just before the EOB char was reached */
313 #undef YY_FLUSH_BUFFER
316 #undef yy_set_interactive
317 #undef YY_DO_BEFORE_ACTION
319 #ifdef YY_DECL_IS_OURS
320 #undef YY_DECL_IS_OURS
324 #ifndef yy_create_buffer_ALREADY_DEFINED
325 #undef yy_create_buffer
327 #ifndef yy_delete_buffer_ALREADY_DEFINED
328 #undef yy_delete_buffer
330 #ifndef yy_scan_buffer_ALREADY_DEFINED
331 #undef yy_scan_buffer
333 #ifndef yy_scan_string_ALREADY_DEFINED
334 #undef yy_scan_string
336 #ifndef yy_scan_bytes_ALREADY_DEFINED
339 #ifndef yy_init_buffer_ALREADY_DEFINED
340 #undef yy_init_buffer
342 #ifndef yy_flush_buffer_ALREADY_DEFINED
343 #undef yy_flush_buffer
345 #ifndef yy_load_buffer_state_ALREADY_DEFINED
346 #undef yy_load_buffer_state
348 #ifndef yy_switch_to_buffer_ALREADY_DEFINED
349 #undef yy_switch_to_buffer
351 #ifndef yypush_buffer_state_ALREADY_DEFINED
352 #undef yypush_buffer_state
354 #ifndef yypop_buffer_state_ALREADY_DEFINED
355 #undef yypop_buffer_state
357 #ifndef yyensure_buffer_stack_ALREADY_DEFINED
358 #undef yyensure_buffer_stack
360 #ifndef yylex_ALREADY_DEFINED
363 #ifndef yyrestart_ALREADY_DEFINED
366 #ifndef yylex_init_ALREADY_DEFINED
369 #ifndef yylex_init_extra_ALREADY_DEFINED
370 #undef yylex_init_extra
372 #ifndef yylex_destroy_ALREADY_DEFINED
375 #ifndef yyget_debug_ALREADY_DEFINED
378 #ifndef yyset_debug_ALREADY_DEFINED
381 #ifndef yyget_extra_ALREADY_DEFINED
384 #ifndef yyset_extra_ALREADY_DEFINED
387 #ifndef yyget_in_ALREADY_DEFINED
390 #ifndef yyset_in_ALREADY_DEFINED
393 #ifndef yyget_out_ALREADY_DEFINED
396 #ifndef yyset_out_ALREADY_DEFINED
399 #ifndef yyget_leng_ALREADY_DEFINED
402 #ifndef yyget_text_ALREADY_DEFINED
405 #ifndef yyget_lineno_ALREADY_DEFINED
408 #ifndef yyset_lineno_ALREADY_DEFINED
411 #ifndef yyget_column_ALREADY_DEFINED
414 #ifndef yyset_column_ALREADY_DEFINED
417 #ifndef yywrap_ALREADY_DEFINED
420 #ifndef yyget_lval_ALREADY_DEFINED
423 #ifndef yyset_lval_ALREADY_DEFINED
426 #ifndef yyget_lloc_ALREADY_DEFINED
429 #ifndef yyset_lloc_ALREADY_DEFINED
432 #ifndef yyalloc_ALREADY_DEFINED
435 #ifndef yyrealloc_ALREADY_DEFINED
438 #ifndef yyfree_ALREADY_DEFINED
441 #ifndef yytext_ALREADY_DEFINED
444 #ifndef yyleng_ALREADY_DEFINED
447 #ifndef yyin_ALREADY_DEFINED
450 #ifndef yyout_ALREADY_DEFINED
453 #ifndef yy_flex_debug_ALREADY_DEFINED
456 #ifndef yylineno_ALREADY_DEFINED
459 #ifndef yytables_fload_ALREADY_DEFINED
460 #undef yytables_fload
462 #ifndef yytables_destroy_ALREADY_DEFINED
463 #undef yytables_destroy
465 #ifndef yyTABLES_NAME_ALREADY_DEFINED
472 #line 473 "lambda.yy.h"
474 #endif /* yyHEADER_H */