?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Bump for 3.6-28
[LibreOffice.git] / hwpfilter / source / lexer.cxx
blob5d7fe3ca74a5977a8215fc685cfbc7b31e18ce19
1 /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
2 /*************************************************************************
3 ************************************************************************/
4
5 /* A lexical scanner generated by flex */
6
7 /* Scanner skeleton version:
8 */
9 #ifndef YY_STACK_USED
10 #define YY_STACK_USED 0
11 #endif
12 #ifndef YY_ALWAYS_INTERACTIVE
13 #define YY_ALWAYS_INTERACTIVE 0
14 #endif
15 #ifndef YY_NEVER_INTERACTIVE
16 #define YY_NEVER_INTERACTIVE 0
17 #endif
18 #ifndef YY_MAIN
19 #define YY_MAIN 0
20 #endif
21
22 #define FLEX_SCANNER
23 #define YY_FLEX_MAJOR_VERSION 2
24 #define YY_FLEX_MINOR_VERSION 5
25
26 #include <stdio.h>
27
28
29 /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
30 #ifdef c_plusplus
31 #ifndef __cplusplus
32 #define __cplusplus
33 #endif
34 #endif
35
36
37 #ifdef __cplusplus
38
39 #include <stdlib.h>
40 #ifndef WIN32
41 #include <unistd.h>
42 #else
43 #include <io.h>
44 #endif
45
46
47 /* Use prototypes in function declarations. */
48 #define YY_USE_PROTOS
49
50 /* The "const" storage-class-modifier is valid. */
51 #define YY_USE_CONST
52
53 #else /* ! __cplusplus */
54
55 #if __STDC__
56
57 #define YY_USE_PROTOS
58 #define YY_USE_CONST
59
60 #endif /* __STDC__ */
61 #endif /* ! __cplusplus */
62
63 #ifdef YY_USE_CONST
64 #define yyconst const
65 #else
66 #define yyconst
67 #endif
68
69
70 #ifdef YY_USE_PROTOS
71 #define YY_PROTO(proto) proto
72 #else
73 #define YY_PROTO(proto) ()
74 #endif
75
76 /* Returned upon end-of-file. */
77 #define YY_NULL 0
78
79 /* Promotes a possibly negative, possibly signed char to an unsigned
80 * integer for use as an array index. If the signed char is negative,
81 * we want to instead treat it as an 8-bit unsigned char, hence the
82 * double cast.
83 */
84 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
85
86 /* Enter a start condition. This macro really ought to take a parameter,
87 * but we do it the disgusting crufty way forced on us by the ()-less
88 * definition of BEGIN.
89 */
90 #define BEGIN yy_start = 1 + 2 *
91
92 /* Translate the current start state into a value that can be later handed
93 * to BEGIN to return to the state. The YYSTATE alias is for lex
94 * compatibility.
95 */
96 #define YY_START ((yy_start - 1) / 2)
97 #define YYSTATE YY_START
98
99 /* Action number for EOF rule of a given start state. */
100 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
101
102 /* Special action meaning "start processing a new file". */
103 #define YY_NEW_FILE yyrestart( yyin )
104
105 #define YY_END_OF_BUFFER_CHAR 0
106
107 /* Size of default input buffer. */
108 #define YY_BUF_SIZE 16384
109
110 typedef struct yy_buffer_state *YY_BUFFER_STATE;
111
112 extern int yyleng;
113 extern FILE *yyin, *yyout;
114
115 #define EOB_ACT_CONTINUE_SCAN 0
116 #define EOB_ACT_END_OF_FILE 1
117 #define EOB_ACT_LAST_MATCH 2
118
119 /* The funky do-while in the following #define is used to turn the definition
120 * int a single C statement (which needs a semi-colon terminator). This
121 * avoids problems with code like:
122 *
123 * if ( condition_holds )
124 * yyless( 5 );
125 * else
126 * do_something_else();
127 *
128 * Prior to using the do-while the compiler would get upset at the
129 * "else" because it interpreted the "if" statement as being all
130 * done when it reached the ';' after the yyless() call.
131 */
132
133 /* Return all but the first 'n' matched characters back to the input stream. */
134
135 #define yyless(n) \
136 do \
137 { \
138 /* Undo effects of setting up yytext. */ \
139 *yy_cp = yy_hold_char; \
140 YY_RESTORE_YY_MORE_OFFSET \
141 yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
142 YY_DO_BEFORE_ACTION; /* set up yytext again */ \
143 } \
144 while ( 0 )
145
146 //#define unput(c) yyunput( c, yytext_ptr )
147
148 /* The following is because we cannot portably get our hands on size_t
149 * (without autoconf's help, which isn't available because we want
150 * flex-generated scanners to compile on their own).
151 */
152 typedef unsigned int yy_size_t;
153
154
155 struct yy_buffer_state
156 {
157 FILE *yy_input_file;
158
159 char *yy_ch_buf; /* input buffer */
160 char *yy_buf_pos; /* current position in input buffer */
161
162 /* Size of input buffer in bytes, not including room for EOB
163 * characters.
164 */
165 yy_size_t yy_buf_size;
166
167 /* Number of characters read into yy_ch_buf, not including EOB
168 * characters.
169 */
170 int yy_n_chars;
171
172 /* Whether we "own" the buffer - i.e., we know we created it,
173 * and can realloc() it to grow it, and should free() it to
174 * delete it.
175 */
176 int yy_is_our_buffer;
177
178 /* Whether this is an "interactive" input source; if so, and
179 * if we're using stdio for input, then we want to use getc()
180 * instead of fread(), to make sure we stop fetching input after
181 * each newline.
182 */
183 int yy_is_interactive;
184
185 /* Whether we're considered to be at the beginning of a line.
186 * If so, '^' rules will be active on the next match, otherwise
187 * not.
188 */
189 int yy_at_bol;
190
191 /* Whether to try to fill the input buffer when we reach the
192 * end of it.
193 */
194 int yy_fill_buffer;
195
196 int yy_buffer_status;
197 #define YY_BUFFER_NEW 0
198 #define YY_BUFFER_NORMAL 1
199 /* When an EOF's been seen but there's still some text to process
200 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
201 * shouldn't try reading from the input source any more. We might
202 * still have a bunch of tokens to match, though, because of
203 * possible backing-up.
204 *
205 * When we actually see the EOF, we change the status to "new"
206 * (via yyrestart()), so that the user can continue scanning by
207 * just pointing yyin at a new input file.
208 */
209 #define YY_BUFFER_EOF_PENDING 2
210 };
211
212 static YY_BUFFER_STATE yy_current_buffer = 0;
213
214 /* We provide macros for accessing buffer states in case in the
215 * future we want to put the buffer states in a more general
216 * "scanner state".
217 */
218 #define YY_CURRENT_BUFFER yy_current_buffer
219
220
221 /* yy_hold_char holds the character lost when yytext is formed. */
222 static char yy_hold_char;
223
224 static int yy_n_chars; /* number of characters read into yy_ch_buf */
225
226
227 int yyleng;
228
229 /* Points to current character in buffer. */
230 static char *yy_c_buf_p = (char *) 0;
231 static int yy_init = 1; /* whether we need to initialize */
232 static int yy_start = 0; /* start state number */
233
234 /* Flag which is used to allow yywrap()'s to do buffer switches
235 * instead of setting up a fresh yyin. A bit of a hack ...
236 */
237 static int yy_did_buffer_switch_on_eof;
238
239 void yyrestart YY_PROTO(( FILE *input_file ));
240
241 void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
242 void yy_load_buffer_state YY_PROTO(( void ));
243 YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
244 void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
245 void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
246 void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
247 #define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
248
249 YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
250 YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
251 YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
252
253 static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
254 static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
255 static void yy_flex_free YY_PROTO(( void * ));
256
257 #define yy_new_buffer yy_create_buffer
258
259 #define yy_set_interactive(is_interactive) \
260 { \
261 if ( ! yy_current_buffer ) \
262 yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
263 yy_current_buffer->yy_is_interactive = is_interactive; \
264 }
265
266 #define yy_set_bol(at_bol) \
267 { \
268 if ( ! yy_current_buffer ) \
269 yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
270 yy_current_buffer->yy_at_bol = at_bol; \
271 }
272
273 #define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
274
275 typedef unsigned char YY_CHAR;
276 FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
277 typedef int yy_state_type;
278 extern char *yytext;
279 #define yytext_ptr yytext
280
281 static yy_state_type yy_get_previous_state YY_PROTO(( void ));
282 static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
283 static int yy_get_next_buffer YY_PROTO(( void ));
284 static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
285
286 /* Done after the current pattern has been matched and before the
287 * corresponding action - sets up yytext.
288 */
289 #define YY_DO_BEFORE_ACTION \
290 yytext_ptr = yy_bp; \
291 yyleng = (int) (yy_cp - yy_bp); \
292 yy_hold_char = *yy_cp; \
293 *yy_cp = '\0'; \
294 yy_c_buf_p = yy_cp;
295
296 #define YY_NUM_RULES 45
297 #define YY_END_OF_BUFFER 46
298 static yyconst short int yy_accept[994] =
299 { 0,
300 0, 0, 46, 44, 41, 41, 44, 42, 39, 37,
301 37, 36, 39, 39, 44, 44, 38, 40, 35, 43,
302 13, 21, 36, 36, 22, 16, 17, 0, 34, 0,
303 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
304 0, 0, 24, 0, 24, 0, 0, 0, 0, 0,
305 7, 0, 0, 0, 0, 0, 0, 0, 0, 0,
306 0, 0, 0, 0, 42, 0, 0, 0, 0, 0,
307 0, 0, 0, 0, 0, 0, 4, 31, 5, 43,
308 36, 20, 14, 15, 0, 0, 0, 0, 0, 0,
309 0, 0, 0, 0, 0, 0, 24, 0, 0, 0,
310
311 0, 0, 0, 10, 0, 0, 27, 0, 0, 0,
312 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
313 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
314 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
315 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
316 0, 0, 0, 0, 0, 0, 12, 12, 0, 0,
317 0, 0, 0, 0, 0, 12, 0, 0, 0, 0,
318 0, 0, 0, 0, 12, 0, 27, 0, 0, 0,
319 0, 0, 0, 0, 0, 11, 0, 9, 0, 0,
320 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
321
322 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
323 0, 0, 0, 23, 0, 0, 0, 0, 0, 0,
324 0, 0, 0, 0, 0, 0, 0, 0, 19, 0,
325 0, 0, 0, 0, 0, 0, 0, 0, 0, 18,
326 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
327 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
328 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
329 0, 0, 0, 0, 8, 0, 0, 0, 0, 0,
330 0, 0, 0, 0, 0, 0, 0, 0, 0, 27,
331 27, 0, 0, 0, 0, 12, 0, 0, 8, 0,
332
333 0, 0, 2, 0, 0, 0, 0, 0, 0, 0,
334 0, 0, 0, 0, 0, 0, 0, 27, 26, 0,
335 0, 0, 0, 0, 0, 0, 0, 0, 0, 27,
336 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
337 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
338 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
339 0, 0, 0, 0, 0, 0, 0, 0, 12, 27,
340 0, 0, 0, 0, 0, 0, 0, 0, 0, 27,
341 0, 0, 27, 0, 0, 0, 0, 0, 0, 0,
342 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
343
344 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
345 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
346 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
347 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
348 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
349 0, 11, 0, 0, 0, 0, 0, 0, 8, 0,
350 0, 0, 0, 0, 0, 0, 0, 0, 0, 29,
351 0, 0, 0, 0, 0, 0, 24, 0, 0, 0,
352 0, 0, 0, 0, 0, 3, 0, 0, 0, 0,
353 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
354
355 0, 0, 0, 0, 0, 0, 0, 30, 0, 0,
356 12, 0, 0, 0, 0, 0, 0, 0, 0, 0,
357 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
358 0, 0, 0, 28, 0, 0, 12, 0, 0, 0,
359 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
360 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
361 19, 0, 0, 0, 0, 0, 0, 0, 0, 0,
362 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
363 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
364 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
365
366 0, 0, 0, 0, 0, 0, 25, 0, 0, 0,
367 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
368 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
369 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
370 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
371 0, 0, 0, 0, 0, 6, 0, 0, 0, 0,
372 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
373 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
374 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
375 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
376
377 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
378 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
379 0, 0, 0, 0, 0, 0, 0, 0, 32, 0,
380 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
381 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
382 0, 0, 0, 0, 0, 12, 0, 12, 0, 0,
383 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
384 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
385 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
386 0, 0, 0, 0, 0, 0, 11, 0, 0, 0,
387
388 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
389 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
390 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
391 0, 0, 0, 0, 0, 33, 0, 0, 0, 0,
392 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
393 0, 0, 0, 0, 0, 19, 0, 0, 0, 0,
394 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
395 0, 0, 12, 12, 0, 24, 0, 0, 0, 0,
396 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
397 0, 0, 19, 0, 0, 0, 0, 0, 0, 0,
398
399 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
400 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
401 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
402 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
403 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
404 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
405 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
406 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
407 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
408 0, 0, 0
409
410 } ;
411
412 static yyconst int yy_ec[256] =
413 { 0,
414 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
415 1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
416 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
417 1, 1, 4, 1, 1, 1, 1, 5, 1, 6,
418 7, 8, 8, 9, 10, 11, 8, 12, 12, 12,
419 12, 12, 12, 12, 12, 12, 12, 13, 14, 15,
420 16, 17, 1, 1, 18, 19, 20, 21, 22, 1,
421 23, 1, 24, 25, 26, 27, 28, 29, 30, 31,
422 1, 32, 33, 34, 35, 36, 1, 37, 1, 38,
423 39, 40, 41, 42, 42, 1, 43, 44, 45, 46,
424
425 47, 48, 49, 50, 51, 52, 53, 54, 55, 56,
426 57, 58, 59, 60, 61, 62, 63, 64, 65, 66,
427 67, 68, 69, 70, 71, 72, 1, 1, 1, 1,
428 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
429 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
430 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
431 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
432 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
433 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
434 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
435
436 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
437 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
438 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
439 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
440 73, 73, 73, 73, 73, 73, 73, 73, 73, 73,
441 73, 73, 73, 73, 1
442 } ;
443
444 static yyconst int yy_meta[74] =
445 { 0,
446 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
447 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
448 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
449 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
450 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
451 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
452 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
453 1, 1, 1
454 } ;
455
456 static yyconst short int yy_base[995] =
457 { 0,
458 0, 72, 1314, 1315, 1315, 1315, 1297, 1315, 1315, 1315,
459 1295, 2, 8, 1294, 1281, 142, 1315, 1315, 1315, 1236,
460 1315, 1315, 1296, 8, 1290, 1291, 1288, 1274, 1315, 0,
461 0, 1253, 1, 1, 1259, 7, 1244, 1257, 8, 1236,
462 1235, 1242, 35, 43, 1245, 0, 1237, 1251, 1242, 1245,
463 1315, 46, 72, 171, 79, 62, 77, 184, 192, 92,
464 1236, 2, 207, 216, 225, 234, 250, 46, 269, 278,
465 295, 10, 111, 255, 10, 1243, 1315, 1315, 1315, 1216,
466 1276, 1315, 1315, 1315, 1253, 1228, 1225, 1222, 1217, 1231,
467 1227, 1237, 1214, 1217, 1234, 1221, 1315, 1213, 1223, 1215,
468
469 1217, 1223, 1214, 1315, 168, 1218, 1315, 1217, 1210, 1217,
470 1216, 1201, 1216, 177, 1202, 1199, 1197, 34, 1216, 1209,
471 1199, 181, 36, 164, 198, 1207, 119, 199, 1201, 1196,
472 1196, 218, 1192, 1188, 225, 1205, 1191, 78, 40, 245,
473 280, 1197, 175, 1184, 1192, 1187, 1198, 1182, 1179, 1198,
474 101, 1197, 1179, 227, 1183, 1191, 1177, 1315, 1192, 1172,
475 1190, 1189, 53, 1184, 1187, 260, 1167, 1171, 1184, 1168,
476 1165, 248, 1177, 1166, 291, 1168, 1161, 1174, 1164, 1161,
477 222, 268, 1160, 0, 1170, 1315, 1172, 1315, 247, 299,
478 1152, 1170, 1155, 1155, 300, 1156, 1155, 1157, 1160, 1146,
479
480 1145, 1153, 302, 1152, 1139, 1158, 1144, 1152, 1147, 1143,
481 1136, 308, 1146, 1137, 1150, 1136, 317, 1148, 308, 318,
482 1147, 311, 1146, 322, 1145, 312, 1140, 319, 1128, 1134,
483 324, 340, 1124, 333, 340, 1137, 1136, 1121, 1118, 1315,
484 1129, 1121, 1134, 1114, 1120, 1118, 1122, 1117, 1128, 1114,
485 1111, 1124, 1105, 1117, 1116, 1119, 1113, 1107, 1099, 1100,
486 1102, 1107, 344, 1114, 1094, 1097, 1104, 1099, 327, 1092,
487 347, 1094, 1095, 1096, 1315, 1105, 1096, 1103, 350, 1083,
488 1099, 1079, 1088, 1079, 1095, 1094, 1094, 1088, 1076, 1085,
489 1084, 1084, 1082, 1082, 1068, 1067, 1073, 1071, 1079, 1069,
490
491 1069, 1061, 1315, 1071, 1070, 1059, 1057, 1075, 1072, 1051,
492 1060, 1050, 1053, 1052, 1058, 1054, 348, 1047, 1315, 1065,
493 1045, 1048, 1061, 1055, 1052, 1040, 1039, 1043, 1042, 338,
494 1035, 1048, 1035, 1048, 1038, 1039, 1029, 1031, 276, 1030,
495 1027, 1026, 1038, 371, 1023, 1042, 1029, 1023, 355, 1024,
496 1036, 1025, 372, 1036, 1032, 1028, 1025, 1020, 1017, 1016,
497 1022, 1008, 1014, 1020, 1008, 1012, 1006, 1010, 1017, 1013,
498 1008, 1007, 1014, 360, 997, 995, 997, 995, 1010, 372,
499 1008, 993, 1002, 156, 1005, 1003, 1006, 1001, 997, 996,
500 985, 987, 980, 991, 374, 980, 978, 977, 989, 990,
501
502 993, 992, 969, 990, 975, 988, 976, 986, 985, 981,
503 379, 191, 983, 965, 962, 980, 979, 961, 955, 965,
504 960, 374, 967, 965, 965, 967, 963, 969, 962, 963,
505 947, 951, 950, 955, 962, 939, 945, 941, 938, 944,
506 377, 383, 940, 938, 939, 949, 948, 943, 946, 945,
507 944, 929, 936, 927, 930, 939, 921, 935, 922, 939,
508 924, 933, 920, 935, 910, 922, 911, 912, 919, 1315,
509 916, 928, 923, 907, 388, 906, 920, 916, 898, 914,
510 920, 916, 907, 906, 898, 400, 901, 894, 900, 892,
511 893, 392, 891, 898, 902, 907, 889, 888, 891, 895,
512
513 885, 901, 883, 879, 880, 879, 892, 405, 884, 886,
514 889, 888, 872, 887, 878, 877, 887, 872, 865, 865,
515 865, 876, 870, 863, 871, 863, 877, 860, 864, 870,
516 869, 857, 856, 1315, 400, 866, 865, 851, 863, 849,
517 861, 864, 859, 844, 848, 843, 856, 855, 840, 834,
518 837, 843, 838, 403, 845, 843, 843, 834, 841, 829,
519 1315, 842, 401, 824, 831, 826, 828, 841, 823, 831,
520 834, 829, 822, 835, 820, 820, 818, 813, 822, 815,
521 822, 823, 809, 802, 806, 810, 809, 800, 809, 801,
522 1315, 803, 800, 801, 404, 807, 803, 805, 810, 803,
523
524 799, 805, 805, 803, 785, 786, 1315, 784, 800, 785,
525 797, 787, 782, 780, 783, 778, 784, 776, 789, 784,
526 783, 790, 785, 771, 787, 778, 768, 769, 778, 767,
527 762, 776, 779, 770, 763, 758, 764, 774, 759, 93,
528 126, 187, 225, 269, 333, 415, 345, 372, 388, 397,
529 400, 417, 418, 408, 411, 427, 409, 418, 426, 417,
530 419, 415, 417, 418, 419, 419, 423, 422, 422, 428,
531 438, 438, 444, 432, 434, 434, 431, 442, 437, 446,
532 449, 436, 456, 449, 454, 456, 443, 448, 445, 457,
533 459, 459, 453, 450, 446, 469, 457, 463, 460, 454,
534
535 460, 471, 476, 473, 476, 458, 461, 468, 462, 471,
536 484, 485, 466, 481, 484, 481, 473, 488, 475, 489,
537 481, 475, 491, 491, 496, 482, 483, 495, 1315, 502,
538 498, 490, 500, 503, 497, 487, 488, 498, 512, 508,
539 501, 509, 512, 506, 514, 502, 520, 521, 518, 501,
540 504, 505, 506, 523, 524, 525, 526, 527, 510, 519,
541 523, 518, 528, 515, 538, 526, 532, 529, 523, 535,
542 525, 534, 529, 533, 534, 542, 531, 544, 535, 536,
543 543, 555, 556, 545, 541, 541, 540, 543, 558, 548,
544 549, 552, 548, 563, 551, 550, 552, 557, 553, 565,
545
546 555, 568, 576, 563, 563, 572, 578, 562, 564, 576,
547 582, 566, 582, 580, 577, 572, 573, 589, 574, 581,
548 586, 576, 577, 581, 579, 583, 583, 597, 602, 590,
549 587, 594, 606, 607, 597, 1315, 606, 591, 589, 590,
550 594, 614, 596, 602, 600, 604, 600, 613, 603, 604,
551 617, 605, 605, 604, 608, 628, 610, 619, 610, 619,
552 615, 628, 636, 618, 619, 635, 640, 622, 628, 628,
553 637, 626, 642, 643, 644, 646, 648, 647, 635, 640,
554 641, 652, 658, 642, 652, 661, 640, 650, 652, 655,
555 659, 651, 669, 656, 671, 668, 656, 666, 661, 676,
556
557 660, 678, 657, 666, 677, 666, 667, 680, 677, 682,
558 673, 675, 676, 673, 674, 686, 676, 672, 691, 677,
559 680, 681, 686, 683, 684, 696, 686, 687, 688, 692,
560 702, 702, 687, 693, 697, 705, 696, 711, 701, 699,
561 714, 701, 705, 713, 704, 708, 706, 711, 706, 719,
562 713, 706, 710, 716, 718, 718, 713, 722, 723, 723,
563 725, 718, 722, 728, 721, 730, 742, 727, 725, 748,
564 727, 728, 729, 730, 731, 754, 733, 734, 743, 743,
565 742, 747, 748, 746, 742, 748, 749, 754, 754, 755,
566 748, 749, 1315, 814
567
568 } ;
569
570 static yyconst short int yy_def[995] =
571 { 0,
572 994, 994, 993, 993, 993, 993, 993, 993, 993, 993,
573 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
574 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
575 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
576 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
577 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
578 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
579 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
580 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
581 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
582
583 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
584 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
585 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
586 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
587 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
588 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
589 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
590 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
591 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
592 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
593
594 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
595 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
596 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
597 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
598 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
599 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
600 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
601 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
602 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
603 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
604
605 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
606 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
607 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
608 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
609 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
610 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
611 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
612 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
613 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
614 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
615
616 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
617 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
618 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
619 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
620 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
621 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
622 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
623 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
624 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
625 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
626
627 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
628 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
629 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
630 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
631 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
632 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
633 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
634 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
635 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
636 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
637
638 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
639 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
640 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
641 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
642 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
643 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
644 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
645 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
646 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
647 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
648
649 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
650 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
651 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
652 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
653 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
654 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
655 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
656 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
657 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
658 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
659
660 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
661 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
662 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
663 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
664 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
665 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
666 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
667 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
668 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
669 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
670
671 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
672 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
673 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
674 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
675 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
676 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
677 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
678 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
679 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
680 993, 993, 0, 993
681
682 } ;
683
684 static yyconst short int yy_nxt[1389] =
685 { 0,
686 993, 5, 6, 7, 8, 9, 9, 10, 993, 11,
687 993, 12, 23, 24, 13, 10, 14, 25, 23, 24,
688 993, 993, 26, 993, 993, 993, 15, 993, 993, 993,
689 993, 993, 993, 993, 993, 993, 993, 993, 9, 16,
690 9, 17, 112, 993, 170, 158, 88, 91, 171, 113,
691 101, 92, 993, 86, 102, 107, 89, 93, 94, 87,
692 188, 97, 95, 98, 103, 231, 238, 232, 9, 18,
693 9, 19, 20, 5, 6, 7, 8, 9, 9, 10,
694 266, 11, 294, 12, 106, 104, 13, 10, 14, 97,
695 117, 267, 109, 110, 107, 108, 295, 186, 15, 118,
696
697 119, 120, 273, 121, 205, 122, 123, 107, 206, 315,
698 9, 16, 9, 17, 124, 145, 146, 147, 125, 148,
699 149, 138, 126, 150, 139, 140, 292, 151, 127, 141,
700 152, 128, 142, 153, 129, 143, 154, 164, 293, 144,
701 9, 18, 9, 19, 20, 29, 165, 166, 167, 737,
702 29, 306, 168, 233, 29, 29, 234, 235, 107, 30,
703 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
704 41, 42, 43, 44, 45, 46, 47, 48, 49, 50,
705 97, 51, 738, 280, 52, 53, 54, 55, 56, 57,
706 58, 59, 60, 61, 62, 63, 64, 65, 66, 67,
707
708 68, 69, 70, 71, 72, 73, 74, 75, 274, 76,
709 77, 78, 79, 130, 255, 541, 131, 542, 256, 260,
710 132, 133, 261, 275, 134, 271, 155, 135, 156, 107,
711 157, 136, 158, 137, 160, 161, 299, 262, 162, 300,
712 272, 281, 276, 159, 571, 282, 277, 186, 163, 172,
713 572, 173, 174, 175, 176, 177, 178, 179, 182, 278,
714 158, 180, 107, 181, 285, 183, 184, 189, 188, 309,
715 107, 190, 185, 186, 186, 158, 187, 332, 188, 193,
716 288, 191, 289, 310, 194, 290, 291, 188, 195, 192,
717 336, 196, 200, 107, 197, 198, 201, 199, 296, 202,
718
719 188, 236, 323, 324, 186, 237, 107, 318, 337, 203,
720 204, 207, 97, 208, 186, 209, 210, 211, 212, 213,
721 216, 319, 297, 214, 217, 333, 499, 218, 219, 186,
722 215, 500, 220, 107, 107, 221, 222, 226, 327, 223,
723 224, 338, 225, 186, 227, 228, 343, 97, 351, 158,
724 344, 229, 352, 186, 230, 374, 368, 158, 353, 365,
725 371, 107, 369, 370, 188, 378, 379, 383, 372, 388,
726 375, 376, 385, 386, 188, 396, 319, 389, 366, 380,
727 430, 381, 391, 390, 275, 392, 186, 431, 489, 397,
728 421, 433, 739, 393, 441, 742, 477, 509, 490, 398,
729
730 394, 422, 532, 423, 424, 425, 442, 434, 435, 478,
731 443, 444, 445, 446, 447, 503, 510, 319, 538, 592,
732 553, 569, 533, 579, 104, 743, 504, 593, 595, 513,
733 744, 554, 539, 555, 556, 557, 558, 596, 570, 594,
734 597, 619, 624, 664, 598, 632, 633, 620, 645, 625,
735 683, 634, 678, 188, 706, 158, 158, 665, 646, 626,
736 707, 740, 684, 79, 647, 741, 745, 79, 729, 746,
737 748, 749, 97, 750, 751, 752, 747, 753, 754, 755,
738 756, 158, 757, 758, 759, 760, 761, 762, 764, 765,
739 766, 767, 188, 188, 768, 769, 770, 763, 771, 772,
740
741 773, 97, 774, 104, 775, 776, 777, 778, 104, 779,
742 561, 780, 104, 781, 782, 783, 784, 785, 786, 158,
743 186, 319, 319, 787, 788, 789, 790, 792, 793, 794,
744 795, 796, 186, 797, 798, 799, 188, 800, 801, 802,
745 803, 804, 805, 806, 807, 808, 791, 809, 810, 97,
746 97, 561, 561, 188, 811, 812, 813, 814, 815, 97,
747 158, 816, 817, 818, 97, 561, 819, 820, 821, 822,
748 823, 824, 825, 826, 561, 827, 828, 829, 830, 561,
749 831, 188, 832, 833, 834, 835, 836, 837, 838, 839,
750 840, 841, 842, 843, 844, 845, 846, 104, 104, 97,
751
752 847, 848, 849, 319, 850, 319, 319, 851, 319, 319,
753 852, 97, 853, 854, 97, 855, 856, 857, 858, 859,
754 860, 861, 862, 863, 864, 865, 866, 867, 836, 868,
755 158, 869, 870, 871, 186, 319, 872, 873, 874, 158,
756 158, 158, 875, 876, 877, 878, 879, 880, 188, 188,
757 881, 882, 729, 561, 561, 883, 884, 886, 887, 888,
758 889, 729, 78, 319, 319, 890, 729, 891, 561, 97,
759 892, 893, 158, 885, 561, 894, 895, 896, 897, 899,
760 900, 836, 901, 902, 903, 904, 905, 97, 906, 907,
761 158, 97, 910, 836, 911, 898, 912, 913, 836, 908,
762
763 914, 915, 916, 917, 561, 909, 918, 104, 919, 920,
764 921, 922, 923, 924, 729, 925, 926, 561, 927, 928,
765 929, 561, 930, 729, 158, 158, 931, 932, 836, 933,
766 188, 188, 934, 935, 936, 937, 561, 938, 97, 939,
767 940, 941, 942, 943, 944, 945, 946, 947, 948, 949,
768 950, 561, 951, 952, 953, 954, 955, 957, 958, 959,
769 961, 962, 963, 964, 965, 966, 967, 186, 968, 969,
770 561, 970, 971, 956, 972, 186, 960, 561, 973, 974,
771 561, 975, 561, 976, 977, 836, 978, 979, 186, 561,
772 981, 561, 982, 561, 983, 561, 984, 561, 836, 985,
773
774 561, 986, 186, 561, 980, 987, 988, 989, 990, 561,
775 991, 992, 561, 561, 4, 736, 735, 734, 158, 561,
776 733, 732, 731, 730, 107, 107, 729, 77, 728, 727,
777 726, 77, 188, 725, 724, 723, 722, 97, 97, 721,
778 720, 719, 718, 717, 186, 319, 716, 186, 715, 158,
779 714, 319, 713, 712, 711, 710, 709, 708, 319, 705,
780 319, 704, 703, 702, 107, 107, 107, 158, 701, 700,
781 699, 104, 104, 698, 697, 696, 695, 694, 693, 692,
782 691, 690, 689, 104, 688, 687, 686, 685, 186, 607,
783 158, 682, 681, 680, 679, 677, 676, 186, 675, 674,
784
785 186, 186, 673, 672, 186, 275, 188, 671, 670, 669,
786 668, 667, 666, 186, 186, 663, 158, 662, 158, 188,
787 97, 661, 660, 659, 658, 657, 656, 655, 654, 653,
788 79, 652, 29, 651, 97, 650, 649, 648, 644, 643,
789 186, 642, 641, 188, 640, 158, 158, 639, 638, 97,
790 637, 636, 635, 631, 630, 629, 628, 627, 607, 77,
791 623, 622, 188, 97, 607, 97, 158, 621, 618, 275,
792 188, 158, 617, 616, 158, 615, 614, 613, 158, 561,
793 612, 188, 607, 611, 158, 610, 609, 608, 275, 607,
794 606, 275, 605, 604, 603, 602, 601, 600, 599, 591,
795
796 590, 589, 158, 588, 587, 586, 585, 584, 583, 97,
797 186, 188, 97, 275, 582, 581, 580, 578, 577, 576,
798 575, 104, 104, 574, 573, 104, 568, 104, 104, 567,
799 566, 565, 104, 564, 104, 188, 563, 562, 561, 560,
800 559, 552, 551, 550, 549, 548, 547, 546, 545, 544,
801 543, 107, 540, 97, 537, 536, 186, 535, 534, 531,
802 530, 529, 107, 528, 527, 526, 525, 524, 523, 522,
803 521, 520, 519, 518, 517, 516, 515, 29, 514, 512,
804 511, 158, 508, 507, 506, 505, 502, 319, 186, 501,
805 498, 497, 496, 495, 494, 493, 492, 491, 488, 487,
806
807 486, 485, 484, 483, 482, 481, 480, 188, 479, 476,
808 475, 474, 97, 473, 472, 471, 470, 469, 97, 468,
809 467, 466, 465, 186, 464, 463, 462, 461, 460, 459,
810 458, 457, 456, 107, 107, 455, 158, 454, 186, 453,
811 452, 451, 450, 449, 448, 188, 440, 439, 438, 437,
812 436, 432, 429, 428, 427, 426, 104, 420, 419, 418,
813 417, 416, 415, 414, 413, 412, 411, 410, 409, 158,
814 104, 408, 407, 406, 405, 404, 104, 403, 402, 401,
815 158, 400, 399, 395, 387, 97, 384, 382, 377, 373,
816 367, 364, 363, 362, 361, 360, 359, 358, 357, 356,
817
818 355, 354, 188, 188, 350, 349, 348, 347, 346, 345,
819 342, 341, 340, 339, 335, 334, 97, 331, 330, 186,
820 329, 328, 326, 325, 107, 322, 321, 158, 320, 317,
821 316, 314, 313, 275, 312, 158, 107, 311, 308, 307,
822 188, 305, 304, 303, 302, 97, 301, 298, 186, 107,
823 287, 286, 284, 186, 283, 279, 270, 269, 268, 265,
824 264, 263, 259, 104, 258, 257, 104, 104, 104, 254,
825 253, 252, 251, 250, 249, 248, 104, 247, 246, 245,
826 244, 104, 97, 243, 242, 241, 240, 81, 80, 239,
827 169, 116, 104, 115, 114, 111, 105, 104, 104, 100,
828
829 99, 96, 90, 85, 84, 83, 82, 81, 80, 28,
830 27, 22, 21, 993, 3, 993, 993, 993, 993, 993,
831 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
832 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
833 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
834 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
835 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
836 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
837 993, 993, 993, 993, 993, 993, 993, 993
838 } ;
839
840 static yyconst short int yy_chk[1389] =
841 { 0,
842 0, 1, 1, 1, 1, 1, 1, 1, 0, 1,
843 0, 1, 12, 12, 1, 1, 1, 13, 24, 24,
844 0, 0, 13, 0, 0, 0, 1, 0, 0, 0,
845 0, 0, 0, 0, 0, 0, 0, 0, 1, 1,
846 1, 1, 46, 0, 62, 184, 31, 33, 62, 46,
847 39, 33, 0, 30, 39, 184, 31, 33, 34, 30,
848 75, 36, 34, 36, 39, 72, 75, 72, 1, 1,
849 1, 1, 1, 2, 2, 2, 2, 2, 2, 2,
850 118, 2, 139, 2, 43, 43, 2, 2, 2, 44,
851 52, 118, 44, 44, 43, 43, 139, 123, 2, 52,
852
853 52, 52, 123, 52, 68, 52, 52, 163, 68, 163,
854 2, 2, 2, 2, 53, 56, 56, 56, 53, 56,
855 56, 55, 53, 56, 55, 55, 138, 56, 53, 55,
856 57, 53, 55, 57, 53, 55, 57, 60, 138, 55,
857 2, 2, 2, 2, 2, 16, 60, 60, 60, 640,
858 16, 151, 60, 73, 16, 16, 73, 73, 151, 16,
859 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
860 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
861 127, 16, 641, 127, 16, 16, 16, 16, 16, 16,
862 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
863
864 16, 16, 16, 16, 16, 16, 16, 16, 124, 16,
865 16, 16, 16, 54, 105, 384, 54, 384, 105, 114,
866 54, 54, 114, 124, 54, 122, 58, 54, 58, 122,
867 58, 54, 58, 54, 59, 59, 143, 114, 59, 143,
868 122, 128, 125, 58, 412, 128, 125, 642, 59, 63,
869 412, 63, 63, 63, 63, 63, 63, 63, 64, 125,
870 63, 63, 63, 63, 132, 64, 64, 65, 132, 154,
871 181, 65, 64, 64, 643, 65, 64, 181, 64, 66,
872 135, 65, 135, 154, 66, 135, 135, 65, 66, 65,
873 189, 66, 67, 140, 66, 66, 67, 66, 140, 67,
874
875 67, 74, 172, 172, 67, 74, 140, 166, 189, 67,
876 67, 69, 74, 69, 74, 69, 69, 69, 69, 69,
877 70, 166, 141, 69, 70, 182, 339, 70, 70, 644,
878 69, 339, 70, 182, 141, 70, 70, 71, 175, 70,
879 70, 190, 70, 141, 71, 71, 195, 190, 203, 175,
880 195, 71, 203, 212, 71, 222, 219, 190, 203, 217,
881 220, 217, 219, 219, 212, 224, 224, 226, 220, 231,
882 222, 222, 228, 228, 226, 234, 224, 231, 217, 224,
883 269, 224, 232, 231, 235, 232, 235, 269, 330, 234,
884 263, 271, 645, 232, 279, 647, 317, 349, 330, 235,
885
886 232, 263, 374, 263, 263, 263, 279, 271, 271, 317,
887 279, 279, 279, 279, 279, 344, 349, 353, 380, 441,
888 395, 411, 374, 422, 422, 648, 344, 441, 442, 353,
889 649, 395, 380, 395, 395, 395, 395, 442, 411, 441,
890 442, 475, 486, 535, 442, 492, 492, 475, 508, 486,
891 563, 492, 554, 554, 595, 650, 651, 535, 508, 486,
892 595, 646, 563, 652, 508, 646, 653, 654, 655, 656,
893 657, 658, 659, 660, 661, 662, 656, 663, 664, 665,
894 666, 667, 668, 669, 670, 671, 672, 673, 674, 675,
895 676, 677, 678, 679, 680, 681, 682, 673, 683, 684,
896
897 685, 686, 687, 688, 689, 690, 691, 692, 693, 694,
898 695, 696, 697, 698, 699, 700, 701, 702, 703, 704,
899 705, 706, 707, 708, 709, 710, 711, 712, 713, 714,
900 715, 716, 717, 718, 719, 720, 721, 722, 723, 724,
901 725, 726, 727, 728, 730, 731, 711, 732, 733, 734,
902 735, 736, 737, 738, 739, 740, 741, 742, 743, 744,
903 745, 746, 747, 748, 749, 750, 751, 752, 753, 754,
904 755, 756, 757, 758, 759, 760, 761, 762, 763, 764,
905 765, 766, 767, 768, 769, 770, 771, 772, 773, 774,
906 775, 776, 777, 778, 779, 780, 781, 782, 783, 784,
907
908 785, 786, 787, 788, 789, 790, 791, 792, 793, 794,
909 795, 796, 797, 798, 799, 800, 801, 802, 803, 804,
910 805, 806, 807, 808, 809, 810, 811, 812, 813, 814,
911 815, 816, 817, 818, 819, 820, 821, 822, 823, 824,
912 825, 826, 827, 828, 829, 830, 831, 832, 833, 834,
913 835, 837, 838, 839, 840, 841, 842, 843, 844, 845,
914 846, 847, 848, 849, 850, 851, 852, 853, 854, 855,
915 856, 857, 858, 842, 859, 860, 861, 862, 863, 864,
916 865, 866, 867, 868, 869, 870, 871, 872, 873, 874,
917 875, 876, 877, 878, 879, 863, 880, 881, 882, 876,
918
919 883, 884, 885, 886, 887, 876, 888, 889, 890, 891,
920 892, 893, 894, 895, 896, 897, 898, 899, 900, 901,
921 902, 903, 904, 905, 906, 907, 908, 909, 910, 911,
922 912, 913, 914, 915, 916, 917, 918, 919, 920, 921,
923 922, 923, 924, 925, 926, 927, 928, 929, 930, 931,
924 932, 933, 934, 935, 936, 937, 938, 939, 940, 941,
925 942, 943, 944, 945, 946, 947, 948, 949, 950, 951,
926 952, 953, 954, 938, 955, 956, 941, 957, 958, 959,
927 960, 961, 962, 963, 964, 965, 966, 967, 968, 969,
928 970, 971, 972, 973, 974, 975, 976, 977, 978, 979,
929
930 980, 981, 982, 983, 967, 984, 985, 986, 987, 988,
931 989, 990, 991, 992, 994, 639, 638, 637, 636, 635,
932 634, 633, 632, 631, 630, 629, 628, 627, 626, 625,
933 624, 623, 622, 621, 620, 619, 618, 617, 616, 615,
934 614, 613, 612, 611, 610, 609, 608, 606, 605, 604,
935 603, 602, 601, 600, 599, 598, 597, 596, 594, 593,
936 592, 590, 589, 588, 587, 586, 585, 584, 583, 582,
937 581, 580, 579, 578, 577, 576, 575, 574, 573, 572,
938 571, 570, 569, 568, 567, 566, 565, 564, 562, 560,
939 559, 558, 557, 556, 555, 553, 552, 551, 550, 549,
940
941 548, 547, 546, 545, 544, 543, 542, 541, 540, 539,
942 538, 537, 536, 533, 532, 531, 530, 529, 528, 527,
943 526, 525, 524, 523, 522, 521, 520, 519, 518, 517,
944 516, 515, 514, 513, 512, 511, 510, 509, 507, 506,
945 505, 504, 503, 502, 501, 500, 499, 498, 497, 496,
946 495, 494, 493, 491, 490, 489, 488, 487, 485, 484,
947 483, 482, 481, 480, 479, 478, 477, 476, 474, 473,
948 472, 471, 469, 468, 467, 466, 465, 464, 463, 462,
949 461, 460, 459, 458, 457, 456, 455, 454, 453, 452,
950 451, 450, 449, 448, 447, 446, 445, 444, 443, 440,
951
952 439, 438, 437, 436, 435, 434, 433, 432, 431, 430,
953 429, 428, 427, 426, 425, 424, 423, 421, 420, 419,
954 418, 417, 416, 415, 414, 413, 410, 409, 408, 407,
955 406, 405, 404, 403, 402, 401, 400, 399, 398, 397,
956 396, 394, 393, 392, 391, 390, 389, 388, 387, 386,
957 385, 383, 382, 381, 379, 378, 377, 376, 375, 373,
958 372, 371, 370, 369, 368, 367, 366, 365, 364, 363,
959 362, 361, 360, 359, 358, 357, 356, 355, 354, 352,
960 351, 350, 348, 347, 346, 345, 343, 342, 341, 340,
961 338, 337, 336, 335, 334, 333, 332, 331, 329, 328,
962
963 327, 326, 325, 324, 323, 322, 321, 320, 318, 316,
964 315, 314, 313, 312, 311, 310, 309, 308, 307, 306,
965 305, 304, 302, 301, 300, 299, 298, 297, 296, 295,
966 294, 293, 292, 291, 290, 289, 288, 287, 286, 285,
967 284, 283, 282, 281, 280, 278, 277, 276, 274, 273,
968 272, 270, 268, 267, 266, 265, 264, 262, 261, 260,
969 259, 258, 257, 256, 255, 254, 253, 252, 251, 250,
970 249, 248, 247, 246, 245, 244, 243, 242, 241, 239,
971 238, 237, 236, 233, 230, 229, 227, 225, 223, 221,
972 218, 216, 215, 214, 213, 211, 210, 209, 208, 207,
973
974 206, 205, 204, 202, 201, 200, 199, 198, 197, 196,
975 194, 193, 192, 191, 187, 185, 183, 180, 179, 178,
976 177, 176, 174, 173, 171, 170, 169, 168, 167, 165,
977 164, 162, 161, 160, 159, 157, 156, 155, 153, 152,
978 150, 149, 148, 147, 146, 145, 144, 142, 137, 136,
979 134, 133, 131, 130, 129, 126, 121, 120, 119, 117,
980 116, 115, 113, 112, 111, 110, 109, 108, 106, 103,
981 102, 101, 100, 99, 98, 96, 95, 94, 93, 92,
982 91, 90, 89, 88, 87, 86, 85, 81, 80, 76,
983 61, 50, 49, 48, 47, 45, 42, 41, 40, 38,
984
985 37, 35, 32, 28, 27, 26, 25, 23, 20, 15,
986 14, 11, 7, 3, 993, 993, 993, 993, 993, 993,
987 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
988 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
989 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
990 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
991 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
992 993, 993, 993, 993, 993, 993, 993, 993, 993, 993,
993 993, 993, 993, 993, 993, 993, 993, 993
994 } ;
995
996 static yy_state_type yy_last_accepting_state;
997 static char *yy_last_accepting_cpos;
998
999 /* The intent behind this definition is that it'll catch
1000 * any uses of REJECT which flex missed.
1001 */
1002 #define REJECT reject_used_but_not_detected
1003 #define yymore() yymore_used_but_not_detected
1004 #define YY_MORE_ADJ 0
1005 #define YY_RESTORE_YY_MORE_OFFSET
1006 char *yytext;
1007 #line 1 "lexer.l"
1008 #define INITIAL 0
1009 #line 2 "lexer.l"
1010 #include <stdlib.h>
1011 #include <string.h>
1012 #include "nodes.h"
1013
1014 #ifdef WIN32
1015 #define strdup _strdup
1016 #define fileno _fileno
1017 #define isatty _isatty
1018 #endif
1019
1020 /* enlarge token buffer to tokenize whole strings */
1021 #undef YYLMAX
1022 #define YYLMAX 64000
1023
1024 #ifdef __cplusplus
1025 extern "C" {
1026 #endif
1027 #include "grammar.h"
1028 int yywrap();
1029 #ifdef __cplusplus
1030 }
1031 #endif
1032
1033 #ifdef WIN32
1034 extern YYSTYPE yylval;
1035 #endif
1036 #ifdef TOKEN_DEBUG
1037 #define token_debug printf
1038 #else
1039 int token_debug(const char *format, ...);
1040 #endif
1041 #line 1026 "lex.yy.c"
1042
1043 /* Macros after this point can all be overridden by user definitions in
1044 * section 1.
1045 */
1046
1047 #ifndef YY_SKIP_YYWRAP
1048 #ifdef __cplusplus
1049 extern "C" int yywrap YY_PROTO(( void ));
1050 #else
1051 extern int yywrap YY_PROTO(( void ));
1052 #endif
1053 #endif
1054
1055 #ifndef YY_NO_UNPUT
1056 //static void yyunput YY_PROTO(( int c, char *buf_ptr ));
1057 #endif
1058
1059 #ifndef yytext_ptr
1060 static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
1061 #endif
1062
1063 #ifdef YY_NEED_STRLEN
1064 static int yy_flex_strlen YY_PROTO(( yyconst char * ));
1065 #endif
1066
1067 #if YY_STACK_USED
1068 static int yy_start_stack_ptr = 0;
1069 static int yy_start_stack_depth = 0;
1070 static int *yy_start_stack = 0;
1071 #ifndef YY_NO_PUSH_STATE
1072 static void yy_push_state YY_PROTO(( int new_state ));
1073 #endif
1074 #ifndef YY_NO_POP_STATE
1075 static void yy_pop_state YY_PROTO(( void ));
1076 #endif
1077 #ifndef YY_NO_TOP_STATE
1078 static int yy_top_state YY_PROTO(( void ));
1079 #endif
1080
1081 #else
1082 #define YY_NO_PUSH_STATE 1
1083 #define YY_NO_POP_STATE 1
1084 #define YY_NO_TOP_STATE 1
1085 #endif
1086
1087 #ifdef YY_MALLOC_DECL
1088 YY_MALLOC_DECL
1089 #else
1090 #if __STDC__
1091 #ifndef __cplusplus
1092 #include <stdlib.h>
1093 #endif
1094 #else
1095 /* Just try to get by without declaring the routines. This will fail
1096 * miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
1097 * or sizeof(void*) != sizeof(int).
1098 */
1099 #endif
1100 #endif
1101
1102 /* Amount of stuff to slurp up with each read. */
1103 #ifndef YY_READ_BUF_SIZE
1104 #define YY_READ_BUF_SIZE 8192
1105 #endif
1106
1107 /* Copy whatever the last rule matched to the standard output. */
1108
1109 #ifndef ECHO
1110 /* This used to be an fputs(), but since the string might contain NUL's,
1111 * we now use fwrite().
1112 */
1113 #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
1114 #endif
1115
1116 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
1117 * is returned in "result".
1118 */
1119 #ifndef YY_INPUT
1120 #define YY_INPUT(buf,result,max_size) \
1121 if ( yy_current_buffer->yy_is_interactive ) \
1122 { \
1123 int c = '*', n; \
1124 for ( n = 0; n < max_size && \
1125 (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
1126 buf[n] = (char) c; \
1127 if ( c == '\n' ) \
1128 buf[n++] = (char) c; \
1129 if ( c == EOF && ferror( yyin ) ) \
1130 YY_FATAL_ERROR( "input in flex scanner failed" ); \
1131 result = n; \
1132 } \
1133 else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
1134 && ferror( yyin ) ) \
1135 YY_FATAL_ERROR( "input in flex scanner failed" );
1136 #endif
1137
1138 /* No semi-colon after return; correct usage is to write "yyterminate();" -
1139 * we don't want an extra ';' after the "return" because that will cause
1140 * some compilers to complain about unreachable statements.
1141 */
1142 #ifndef yyterminate
1143 #define yyterminate() return YY_NULL
1144 #endif
1145
1146 /* Number of entries by which start-condition stack grows. */
1147 #ifndef YY_START_STACK_INCR
1148 #define YY_START_STACK_INCR 25
1149 #endif
1150
1151 /* Report a fatal error. */
1152 #ifndef YY_FATAL_ERROR
1153 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
1154 #endif
1155
1156 /* Default declaration of generated scanner - a define so the user can
1157 * easily add parameters.
1158 */
1159 #ifndef YY_DECL
1160 #define YY_DECL int yylex YY_PROTO(( void ))
1161 #endif
1162
1163 /* Code executed at the beginning of each rule, after yytext and yyleng
1164 * have been set up.
1165 */
1166 #ifndef YY_USER_ACTION
1167 #define YY_USER_ACTION
1168 #endif
1169
1170 /* Code executed at the end of each rule. */
1171 #ifndef YY_BREAK
1172 #define YY_BREAK break;
1173 #endif
1174
1175 #define YY_RULE_SETUP \
1176 YY_USER_ACTION
1177
1178 YY_DECL
1179 {
1180 register yy_state_type yy_current_state;
1181 register char *yy_cp, *yy_bp;
1182 register int yy_act;
1183
1184 #line 90 "lexer.l"
1185
1186 #line 1179 "lex.yy.c"
1187
1188 if ( yy_init )
1189 {
1190 yy_init = 0;
1191
1192 #ifdef YY_USER_INIT
1193 YY_USER_INIT;
1194 #endif
1195
1196 if ( ! yy_start )
1197 yy_start = 1; /* first start state */
1198
1199 if ( ! yyin )
1200 yyin = stdin;
1201
1202 if ( ! yyout )
1203 yyout = stdout;
1204
1205 if ( ! yy_current_buffer )
1206 yy_current_buffer =
1207 yy_create_buffer( yyin, YY_BUF_SIZE );
1208
1209 yy_load_buffer_state();
1210 }
1211
1212 while ( 1 ) /* loops until end-of-file is reached */
1213 {
1214 yy_cp = yy_c_buf_p;
1215
1216 /* Support of yytext. */
1217 *yy_cp = yy_hold_char;
1218
1219 /* yy_bp points to the position in yy_ch_buf of the start of
1220 * the current run.
1221 */
1222 yy_bp = yy_cp;
1223
1224 yy_current_state = yy_start;
1225 yy_match:
1226 do
1227 {
1228 register YY_CHAR yy_c = sal::static_int_cast<YY_CHAR>(yy_ec[YY_SC_TO_UI(*yy_cp)]);
1229 if ( yy_accept[yy_current_state] )
1230 {
1231 yy_last_accepting_state = yy_current_state;
1232 yy_last_accepting_cpos = yy_cp;
1233 }
1234 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1235 {
1236 yy_current_state = (int) yy_def[yy_current_state];
1237 if ( yy_current_state >= 994 )
1238 yy_c = sal::static_int_cast<YY_CHAR>(yy_meta[(unsigned int) yy_c]);
1239 }
1240 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1241 ++yy_cp;
1242 }
1243 while ( yy_base[yy_current_state] != 1315 );
1244
1245 yy_find_action:
1246 yy_act = yy_accept[yy_current_state];
1247 if ( yy_act == 0 )
1248 { /* have to back up */
1249 yy_cp = yy_last_accepting_cpos;
1250 yy_current_state = yy_last_accepting_state;
1251 yy_act = yy_accept[yy_current_state];
1252 }
1253
1254 YY_DO_BEFORE_ACTION;
1255
1256
1257 do_action: /* This label is used only to access EOF actions. */
1258
1259
1260 switch ( yy_act )
1261 { /* beginning of action switch */
1262 case 0: /* must back up */
1263 /* undo the effects of YY_DO_BEFORE_ACTION */
1264 *yy_cp = yy_hold_char;
1265 yy_cp = yy_last_accepting_cpos;
1266 yy_current_state = yy_last_accepting_state;
1267 goto yy_find_action;
1268
1269 case 1:
1270 YY_RULE_SETUP
1271 #line 91 "lexer.l"
1272 { yylval.str = yytext+1; token_debug(" ==>Begin[%s]\n",yytext+1); return EQBEGIN; }
1273 //YY_BREAK
1274 case 2:
1275 YY_RULE_SETUP
1276 #line 92 "lexer.l"
1277 { yylval.str = yytext+1; token_debug(" ==>End[%s]\n",yytext+1); return EQEND; }
1278 //YY_BREAK
1279 case 3:
1280 YY_RULE_SETUP
1281 #line 93 "lexer.l"
1282 { yylval.str = yytext+1; token_debug(" ==>Left[%s]\n",yytext+1); return EQLEFT; }
1283 //YY_BREAK
1284 case 4:
1285 YY_RULE_SETUP
1286 #line 94 "lexer.l"
1287 { yylval.str = yytext+1; token_debug(" ==>LeftDelim[%s]\n",yytext+1); return LEFT_DELIM; }
1288 //YY_BREAK
1289 case 5:
1290 YY_RULE_SETUP
1291 #line 95 "lexer.l"
1292 { yylval.str = yytext+1; token_debug(" ==>RightDelim[%s]\n",yytext+1); return RIGHT_DELIM; }
1293 //YY_BREAK
1294 case 6:
1295 YY_RULE_SETUP
1296 #line 96 "lexer.l"
1297 { yylval.str = yytext+1; token_debug(" ==>Right[%s]\n",yytext+1); return EQRIGHT; }
1298 //YY_BREAK
1299 case 7:
1300 YY_RULE_SETUP
1301 #line 97 "lexer.l"
1302 { yylval.str = yytext; token_debug(" ==>NewLine[%s]\n",yytext); return NEWLINE; }
1303 //YY_BREAK
1304 case 8:
1305 YY_RULE_SETUP
1306 #line 99 "lexer.l"
1307 { yylval.str = yytext+1; token_debug(" ==>Accent[%s]\n",yytext+1); return ACCENT; }
1308 //YY_BREAK
1309 case 9:
1310 YY_RULE_SETUP
1311 #line 100 "lexer.l"
1312 { yylval.str = yytext+1; token_debug(" ==>Small_Greek[%s]\n",yytext+1); return SMALL_GREEK; }
1313 //YY_BREAK
1314 case 10:
1315 YY_RULE_SETUP
1316 #line 101 "lexer.l"
1317 { yylval.str = yytext+1; token_debug(" ==>Capital_Greek[%s]\n",yytext+1); return CAPITAL_GREEK; }
1318 //YY_BREAK
1319 case 11:
1320 YY_RULE_SETUP
1321 #line 102 "lexer.l"
1322 { yylval.str = yytext+1; token_debug(" ==>Binary_Operator[%s]\n",yytext+1); return BINARY_OPERATOR; }
1323 //YY_BREAK
1324 case 12:
1325 YY_RULE_SETUP
1326 #line 103 "lexer.l"
1327 { yylval.str = yytext+1; token_debug(" ==>Relation_Symbol[%s]\n",yytext+1); return RELATION_OPERATOR; }
1328 //YY_BREAK
1329 case 13:
1330 YY_RULE_SETUP
1331 #line 105 "lexer.l"
1332 { yylval.str = strdup("neq"); token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1333 //YY_BREAK
1334 case 14:
1335 YY_RULE_SETUP
1336 #line 106 "lexer.l"
1337 { yylval.str = strdup("vmlt"); token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1338 //YY_BREAK
1339 case 15:
1340 YY_RULE_SETUP
1341 #line 107 "lexer.l"
1342 { yylval.str = strdup("vmgt"); token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1343 //YY_BREAK
1344 case 16:
1345 YY_RULE_SETUP
1346 #line 108 "lexer.l"
1347 { yylval.str = strdup("mlt"); token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1348 //YY_BREAK
1349 case 17:
1350 YY_RULE_SETUP
1351 #line 109 "lexer.l"
1352 { yylval.str = strdup("mgt"); token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1353 //YY_BREAK
1354 case 18:
1355 YY_RULE_SETUP
1356 #line 110 "lexer.l"
1357 { yylval.str = yytext; token_debug(" ==>Relation_Symbol[neq]\n"); return RELATION_OPERATOR; }
1358 //YY_BREAK
1359 case 19:
1360 YY_RULE_SETUP
1361 #line 112 "lexer.l"
1362 { yylval.str = yytext+1; token_debug(" ==>Arrow[%s]\n",yytext+1); return ARROW; }
1363 //YY_BREAK
1364 case 20:
1365 YY_RULE_SETUP
1366 #line 113 "lexer.l"
1367 { yylval.str = strdup("leftrightarrow"); token_debug(" ==>Arrow[leftrightarrow]\n"); return ARROW; }
1368 //YY_BREAK
1369 case 21:
1370 YY_RULE_SETUP
1371 #line 114 "lexer.l"
1372 { yylval.str = strdup("rightarrow"); token_debug(" ==>Arrow[rightarrow]\n"); return ARROW; }
1373 //YY_BREAK
1374 case 22:
1375 YY_RULE_SETUP
1376 #line 115 "lexer.l"
1377 { yylval.str = strdup("leftarrow"); token_debug(" ==>Arrow[leftarrow]\n"); return ARROW; }
1378 //YY_BREAK
1379
1380 case 23:
1381 YY_RULE_SETUP
1382 #line 116 "lexer.l"
1383 { token_debug(" ==>Ignore[\\rm]\n"); }
1384 //YY_BREAK
1385 case 24:
1386 YY_RULE_SETUP
1387 #line 117 "lexer.l"
1388 { yylval.str = yytext+1; token_debug(" ==>General_Iden[%s]\n",yytext+1); return GENERAL_IDEN; }
1389 //YY_BREAK
1390 case 25:
1391 YY_RULE_SETUP
1392 #line 118 "lexer.l"
1393 { yylval.str = yytext+1; token_debug(" ==>General_Oper[%s]\n",yytext+1); return GENERAL_OPER; }
1394 //YY_BREAK
1395 case 26:
1396 YY_RULE_SETUP
1397 #line 119 "lexer.l"
1398 { yylval.str = yytext+1; token_debug(" ==>Big_Symbol[%s]\n",yytext+1); return BIG_SYMBOL; }
1399 //YY_BREAK
1400 case 27:
1401 YY_RULE_SETUP
1402 #line 120 "lexer.l"
1403 { yylval.str = yytext+1; token_debug(" ==>Function[%s]\n",yytext+1); return FUNCTION; }
1404 //YY_BREAK
1405 case 28:
1406 YY_RULE_SETUP
1407 #line 121 "lexer.l"
1408 { yylval.str = yytext+1; token_debug(" ==>Root[%s]\n",yytext+1); return ROOT; }
1409 //YY_BREAK
1410 case 29:
1411 YY_RULE_SETUP
1412 #line 122 "lexer.l"
1413 { yylval.str = yytext+1; token_debug(" ==>Fraction[%s]\n",yytext+1); return FRACTION; }
1414 //YY_BREAK
1415 case 30:
1416 YY_RULE_SETUP
1417 #line 123 "lexer.l"
1418 { yylval.str = yytext+1; token_debug(" ==>Over[%s]\n",yytext+1); return EQOVER; }
1419 //YY_BREAK
1420 case 31:
1421 YY_RULE_SETUP
1422 #line 124 "lexer.l"
1423 { yylval.str = yytext+1; token_debug(" ==>Delimeter[%s]\n",yytext+1); return DELIMETER; }
1424 //YY_BREAK
1425 case 32:
1426 YY_RULE_SETUP
1427 #line 125 "lexer.l"
1428 { yylval.str = yytext+1; token_debug(" ==>Large_Delim[%s]\n",yytext+1); return LARGE_DELIM; }
1429 //YY_BREAK
1430 case 33:
1431 YY_RULE_SETUP
1432 #line 126 "lexer.l"
1433 { yylval.str = yytext+1; token_debug(" ==>Decoration[%s]\n",yytext+1); return DECORATION; }
1434 //YY_BREAK
1435 case 34:
1436 YY_RULE_SETUP
1437 #line 127 "lexer.l"
1438 { yylval.str = yytext+1; token_debug(" ==>Space_Symbol[%s]\n",yytext+1); /*return SPACE_SYMBOL;*/ }
1439 //YY_BREAK
1440 case 35:
1441 YY_RULE_SETUP
1442 #line 128 "lexer.l"
1443 { yylval.str = strdup("quad"); token_debug(" ==>Space_Symbol[quad]\n"); /* return SPACE_SYMBOL;*/ }
1444 //YY_BREAK
1445 case 36:
1446 YY_RULE_SETUP
1447 #line 129 "lexer.l"
1448 { yylval.dval = yytext; token_debug(" ==>Digit[%s]\n",yytext); return DIGIT; }
1449 //YY_BREAK
1450 case 37:
1451 YY_RULE_SETUP
1452 #line 130 "lexer.l"
1453 { yylval.str = yytext; token_debug(" ==>Operator[%s]\n",yytext); return OPERATOR; }
1454 //YY_BREAK
1455 case 38:
1456 YY_RULE_SETUP
1457 #line 131 "lexer.l"
1458 { token_debug(" ==>SubSup[%s]\n",yytext); return yytext[0]; }
1459 //YY_BREAK
1460 case 39:
1461 YY_RULE_SETUP
1462 #line 132 "lexer.l"
1463 { token_debug(" ==>Paren[%s]\n",yytext); return yytext[0];}
1464 //YY_BREAK
1465 case 40:
1466 YY_RULE_SETUP
1467 #line 133 "lexer.l"
1468 { token_debug(" ==>Abs[%s]\n",yytext); return yytext[0];}
1469 //YY_BREAK
1470 case 41:
1471 YY_RULE_SETUP
1472 #line 134 "lexer.l"
1473 { token_debug(" ==>Space[0x%2x]\n",yytext[0]); }
1474 YY_BREAK
1475 case 42:
1476 YY_RULE_SETUP
1477 #line 135 "lexer.l"
1478 { token_debug(" ==>Ignore[0x%2x]\n",yytext[0]); }
1479 YY_BREAK
1480 case 43:
1481 YY_RULE_SETUP
1482 #line 136 "lexer.l"
1483 { yylval.str = yytext; token_debug(" ==>String[%s]\n",yytext); return STRING; }
1484 //YY_BREAK
1485 case 44:
1486 YY_RULE_SETUP
1487 #line 137 "lexer.l"
1488 { yylval.str = yytext; token_debug(" ==>Else[%s]\n",yytext); return CHARACTER; }
1489 //YY_BREAK
1490 case 45:
1491 YY_RULE_SETUP
1492 #line 138 "lexer.l"
1493 ECHO;
1494 YY_BREAK
1495 #line 1487 "lex.yy.c"
1496 case YY_STATE_EOF(INITIAL):
1497 yyterminate();
1498
1499 case YY_END_OF_BUFFER:
1500 {
1501 /* Amount of text matched not including the EOB char. */
1502 int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
1503
1504 /* Undo the effects of YY_DO_BEFORE_ACTION. */
1505 *yy_cp = yy_hold_char;
1506 YY_RESTORE_YY_MORE_OFFSET
1507
1508 if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
1509 {
1510 /* We're scanning a new file or input source. It's
1511 * possible that this happened because the user
1512 * just pointed yyin at a new source and called
1513 * yylex(). If so, then we have to assure
1514 * consistency between yy_current_buffer and our
1515 * globals. Here is the right place to do so, because
1516 * this is the first action (other than possibly a
1517 * back-up) that will match for the new input source.
1518 */
1519 yy_n_chars = yy_current_buffer->yy_n_chars;
1520 yy_current_buffer->yy_input_file = yyin;
1521 yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
1522 }
1523
1524 /* Note that here we test for yy_c_buf_p "<=" to the position
1525 * of the first EOB in the buffer, since yy_c_buf_p will
1526 * already have been incremented past the NUL character
1527 * (since all states make transitions on EOB to the
1528 * end-of-buffer state). Contrast this with the test
1529 * in input().
1530 */
1531 if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
1532 { /* This was really a NUL. */
1533 yy_state_type yy_next_state;
1534
1535 yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
1536
1537 yy_current_state = yy_get_previous_state();
1538
1539 /* Okay, we're now positioned to make the NUL
1540 * transition. We couldn't have
1541 * yy_get_previous_state() go ahead and do it
1542 * for us because it doesn't know how to deal
1543 * with the possibility of jamming (and we don't
1544 * want to build jamming into it because then it
1545 * will run more slowly).
1546 */
1547
1548 yy_next_state = yy_try_NUL_trans( yy_current_state );
1549
1550 yy_bp = yytext_ptr + YY_MORE_ADJ;
1551
1552 if ( yy_next_state )
1553 {
1554 /* Consume the NUL. */
1555 yy_cp = ++yy_c_buf_p;
1556 yy_current_state = yy_next_state;
1557 goto yy_match;
1558 }
1559
1560 else
1561 {
1562 yy_cp = yy_c_buf_p;
1563 goto yy_find_action;
1564 }
1565 }
1566
1567 else switch ( yy_get_next_buffer() )
1568 {
1569 case EOB_ACT_END_OF_FILE:
1570 {
1571 yy_did_buffer_switch_on_eof = 0;
1572
1573 if ( yywrap() )
1574 {
1575 /* Note: because we've taken care in
1576 * yy_get_next_buffer() to have set up
1577 * yytext, we can now set up
1578 * yy_c_buf_p so that if some total
1579 * hoser (like flex itself) wants to
1580 * call the scanner after we return the
1581 * YY_NULL, it'll still work - another
1582 * YY_NULL will get returned.
1583 */
1584 yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
1585
1586 yy_act = YY_STATE_EOF(YY_START);
1587 goto do_action;
1588 }
1589
1590 else
1591 {
1592 if ( ! yy_did_buffer_switch_on_eof )
1593 YY_NEW_FILE;
1594 }
1595 break;
1596 }
1597
1598 case EOB_ACT_CONTINUE_SCAN:
1599 yy_c_buf_p =
1600 yytext_ptr + yy_amount_of_matched_text;
1601
1602 yy_current_state = yy_get_previous_state();
1603
1604 yy_cp = yy_c_buf_p;
1605 yy_bp = yytext_ptr + YY_MORE_ADJ;
1606 goto yy_match;
1607
1608 case EOB_ACT_LAST_MATCH:
1609 yy_c_buf_p =
1610 &yy_current_buffer->yy_ch_buf[yy_n_chars];
1611
1612 yy_current_state = yy_get_previous_state();
1613
1614 yy_cp = yy_c_buf_p;
1615 yy_bp = yytext_ptr + YY_MORE_ADJ;
1616 goto yy_find_action;
1617 }
1618 break;
1619 }
1620
1621 default:
1622 YY_FATAL_ERROR(
1623 "fatal flex scanner internal error--no action found" );
1624 } /* end of action switch */
1625 } /* end of scanning one token */
1626 } /* end of yylex */
1627
1628
1629 /* yy_get_next_buffer - try to read in a new buffer
1630 *
1631 * Returns a code representing an action:
1632 * EOB_ACT_LAST_MATCH -
1633 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1634 * EOB_ACT_END_OF_FILE - end of file
1635 */
1636
1637 static int yy_get_next_buffer()
1638 {
1639 register char *dest = yy_current_buffer->yy_ch_buf;
1640 register char *source = yytext_ptr;
1641 register int number_to_move, i;
1642 int ret_val;
1643
1644 if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
1645 YY_FATAL_ERROR(
1646 "fatal flex scanner internal error--end of buffer missed" );
1647
1648 if ( yy_current_buffer->yy_fill_buffer == 0 )
1649 { /* Don't try to fill the buffer, so this is an EOF. */
1650 if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
1651 {
1652 /* We matched a single character, the EOB, so
1653 * treat this as a final EOF.
1654 */
1655 return EOB_ACT_END_OF_FILE;
1656 }
1657
1658 else
1659 {
1660 /* We matched some text prior to the EOB, first
1661 * process it.
1662 */
1663 return EOB_ACT_LAST_MATCH;
1664 }
1665 }
1666
1667 /* Try to read more data. */
1668
1669 /* First move last chars to start of buffer. */
1670 number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
1671
1672 for ( i = 0; i < number_to_move; ++i )
1673 *(dest++) = *(source++);
1674
1675 if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1676 /* don't do the read, it's not guaranteed to return an EOF,
1677 * just force an EOF
1678 */
1679 yy_current_buffer->yy_n_chars = yy_n_chars = 0;
1680
1681 else
1682 {
1683 int num_to_read =
1684 yy_current_buffer->yy_buf_size - number_to_move - 1;
1685
1686 while ( num_to_read <= 0 )
1687 { /* Not enough room in the buffer - grow it. */
1688 #ifdef YY_USES_REJECT
1689 YY_FATAL_ERROR(
1690 "input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
1691 #else
1692
1693 /* just a shorter name for the current buffer */
1694 YY_BUFFER_STATE b = yy_current_buffer;
1695
1696 int yy_c_buf_p_offset =
1697 (int) (yy_c_buf_p - b->yy_ch_buf);
1698
1699 if ( b->yy_is_our_buffer )
1700 {
1701 int new_size = b->yy_buf_size * 2;
1702
1703 if ( new_size <= 0 )
1704 b->yy_buf_size += b->yy_buf_size / 8;
1705 else
1706 b->yy_buf_size *= 2;
1707
1708 b->yy_ch_buf = (char *)
1709 /* Include room in for 2 EOB chars. */
1710 yy_flex_realloc( (void *) b->yy_ch_buf,
1711 b->yy_buf_size + 2 );
1712 }
1713 else
1714 /* Can't grow it, we don't own it. */
1715 b->yy_ch_buf = 0;
1716
1717 if ( ! b->yy_ch_buf )
1718 YY_FATAL_ERROR(
1719 "fatal error - scanner input buffer overflow" );
1720
1721 yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
1722
1723 num_to_read = yy_current_buffer->yy_buf_size -
1724 number_to_move - 1;
1725 #endif
1726 }
1727
1728 if ( num_to_read > YY_READ_BUF_SIZE )
1729 num_to_read = YY_READ_BUF_SIZE;
1730
1731 /* Read in more data. */
1732 YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
1733 yy_n_chars, num_to_read );
1734
1735 yy_current_buffer->yy_n_chars = yy_n_chars;
1736 }
1737
1738 if ( yy_n_chars == 0 )
1739 {
1740 if ( number_to_move == YY_MORE_ADJ )
1741 {
1742 ret_val = EOB_ACT_END_OF_FILE;
1743 yyrestart( yyin );
1744 }
1745
1746 else
1747 {
1748 ret_val = EOB_ACT_LAST_MATCH;
1749 yy_current_buffer->yy_buffer_status =
1750 YY_BUFFER_EOF_PENDING;
1751 }
1752 }
1753
1754 else
1755 ret_val = EOB_ACT_CONTINUE_SCAN;
1756
1757 yy_n_chars += number_to_move;
1758 yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
1759 yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
1760
1761 yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
1762
1763 return ret_val;
1764 }
1765
1766
1767 /* yy_get_previous_state - get the state just before the EOB char was reached */
1768
1769 static yy_state_type yy_get_previous_state()
1770 {
1771 register yy_state_type yy_current_state;
1772 register char *yy_cp;
1773
1774 yy_current_state = yy_start;
1775
1776 for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
1777 {
1778 register YY_CHAR yy_c = sal::static_int_cast<YY_CHAR>(*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1779 if ( yy_accept[yy_current_state] )
1780 {
1781 yy_last_accepting_state = yy_current_state;
1782 yy_last_accepting_cpos = yy_cp;
1783 }
1784 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1785 {
1786 yy_current_state = (int) yy_def[yy_current_state];
1787 if ( yy_current_state >= 994 )
1788 yy_c = sal::static_int_cast<YY_CHAR>(yy_meta[(unsigned int) yy_c]);
1789 }
1790 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1791 }
1792
1793 return yy_current_state;
1794 }
1795
1796
1797 /* yy_try_NUL_trans - try to make a transition on the NUL character
1798 *
1799 * synopsis
1800 * next_state = yy_try_NUL_trans( current_state );
1801 */
1802
1803 #ifdef YY_USE_PROTOS
1804 static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
1805 #else
1806 static yy_state_type yy_try_NUL_trans( yy_current_state )
1807 yy_state_type yy_current_state;
1808 #endif
1809 {
1810 register int yy_is_jam;
1811 register char *yy_cp = yy_c_buf_p;
1812
1813 register YY_CHAR yy_c = 1;
1814 if ( yy_accept[yy_current_state] )
1815 {
1816 yy_last_accepting_state = yy_current_state;
1817 yy_last_accepting_cpos = yy_cp;
1818 }
1819 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1820 {
1821 yy_current_state = (int) yy_def[yy_current_state];
1822 if ( yy_current_state >= 994 )
1823 yy_c = sal::static_int_cast<YY_CHAR>(yy_meta[(unsigned int) yy_c]);
1824 }
1825 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1826 yy_is_jam = (yy_current_state == 993);
1827
1828 return yy_is_jam ? 0 : yy_current_state;
1829 }
1830
1831 #ifdef YY_USE_PROTOS
1832 void yyrestart( FILE *input_file )
1833 #else
1834 void yyrestart( input_file )
1835 FILE *input_file;
1836 #endif
1837 {
1838 if ( ! yy_current_buffer )
1839 yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
1840
1841 yy_init_buffer( yy_current_buffer, input_file );
1842 yy_load_buffer_state();
1843 }
1844
1845
1846 #ifdef YY_USE_PROTOS
1847 void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
1848 #else
1849 void yy_switch_to_buffer( new_buffer )
1850 YY_BUFFER_STATE new_buffer;
1851 #endif
1852 {
1853 if ( yy_current_buffer == new_buffer )
1854 return;
1855
1856 if ( yy_current_buffer )
1857 {
1858 /* Flush out information for old buffer. */
1859 *yy_c_buf_p = yy_hold_char;
1860 yy_current_buffer->yy_buf_pos = yy_c_buf_p;
1861 yy_current_buffer->yy_n_chars = yy_n_chars;
1862 }
1863
1864 yy_current_buffer = new_buffer;
1865 yy_load_buffer_state();
1866
1867 /* We don't actually know whether we did this switch during
1868 * EOF (yywrap()) processing, but the only time this flag
1869 * is looked at is after yywrap() is called, so it's safe
1870 * to go ahead and always set it.
1871 */
1872 yy_did_buffer_switch_on_eof = 1;
1873 }
1874
1875
1876 #ifdef YY_USE_PROTOS
1877 void yy_load_buffer_state( void )
1878 #else
1879 void yy_load_buffer_state()
1880 #endif
1881 {
1882 yy_n_chars = yy_current_buffer->yy_n_chars;
1883 yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
1884 yyin = yy_current_buffer->yy_input_file;
1885 yy_hold_char = *yy_c_buf_p;
1886 }
1887
1888
1889 #ifdef YY_USE_PROTOS
1890 YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
1891 #else
1892 YY_BUFFER_STATE yy_create_buffer( file, size )
1893 FILE *file;
1894 int size;
1895 #endif
1896 {
1897 YY_BUFFER_STATE b;
1898
1899 b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
1900 if ( ! b )
1901 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1902
1903 b->yy_buf_size = size;
1904
1905 /* yy_ch_buf has to be 2 characters longer than the size given because
1906 * we need to put in 2 end-of-buffer characters.
1907 */
1908 b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
1909 if ( ! b->yy_ch_buf )
1910 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1911
1912 b->yy_is_our_buffer = 1;
1913
1914 yy_init_buffer( b, file );
1915
1916 return b;
1917 }
1918
1919
1920 #ifdef YY_USE_PROTOS
1921 void yy_delete_buffer( YY_BUFFER_STATE b )
1922 #else
1923 void yy_delete_buffer( b )
1924 YY_BUFFER_STATE b;
1925 #endif
1926 {
1927 if ( ! b )
1928 return;
1929
1930 if ( b == yy_current_buffer )
1931 yy_current_buffer = (YY_BUFFER_STATE) 0;
1932
1933 if ( b->yy_is_our_buffer )
1934 yy_flex_free( (void *) b->yy_ch_buf );
1935
1936 yy_flex_free( (void *) b );
1937 }
1938
1939
1940 #ifndef YY_ALWAYS_INTERACTIVE
1941 #ifndef YY_NEVER_INTERACTIVE
1942 extern int isatty YY_PROTO(( int ));
1943 #endif
1944 #endif
1945
1946 #ifdef YY_USE_PROTOS
1947 void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
1948 #else
1949 void yy_init_buffer( b, file )
1950 YY_BUFFER_STATE b;
1951 FILE *file;
1952 #endif
1953
1954
1955 {
1956 yy_flush_buffer( b );
1957
1958 b->yy_input_file = file;
1959 b->yy_fill_buffer = 1;
1960
1961 #if YY_ALWAYS_INTERACTIVE
1962 b->yy_is_interactive = 1;
1963 #else
1964 #if YY_NEVER_INTERACTIVE
1965 b->yy_is_interactive = 0;
1966 #else
1967 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1968 #endif
1969 #endif
1970 }
1971
1972
1973 #ifdef YY_USE_PROTOS
1974 void yy_flush_buffer( YY_BUFFER_STATE b )
1975 #else
1976 void yy_flush_buffer( b )
1977 YY_BUFFER_STATE b;
1978 #endif
1979
1980 {
1981 if ( ! b )
1982 return;
1983
1984 b->yy_n_chars = 0;
1985
1986 /* We always need two end-of-buffer characters. The first causes
1987 * a transition to the end-of-buffer state. The second causes
1988 * a jam in that state.
1989 */
1990 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1991 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1992
1993 b->yy_buf_pos = &b->yy_ch_buf[0];
1994
1995 b->yy_at_bol = 1;
1996 b->yy_buffer_status = YY_BUFFER_NEW;
1997
1998 if ( b == yy_current_buffer )
1999 yy_load_buffer_state();
2000 }
2001
2002
2003 #ifndef YY_NO_SCAN_BUFFER
2004 #ifdef YY_USE_PROTOS
2005 YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
2006 #else
2007 YY_BUFFER_STATE yy_scan_buffer( base, size )
2008 char *base;
2009 yy_size_t size;
2010 #endif
2011 {
2012 YY_BUFFER_STATE b;
2013
2014 if ( size < 2 ||
2015 base[size-2] != YY_END_OF_BUFFER_CHAR ||
2016 base[size-1] != YY_END_OF_BUFFER_CHAR )
2017 /* They forgot to leave room for the EOB's. */
2018 return 0;
2019
2020 b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
2021 if ( ! b )
2022 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
2023
2024 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
2025 b->yy_buf_pos = b->yy_ch_buf = base;
2026 b->yy_is_our_buffer = 0;
2027 b->yy_input_file = 0;
2028 b->yy_n_chars = b->yy_buf_size;
2029 b->yy_is_interactive = 0;
2030 b->yy_at_bol = 1;
2031 b->yy_fill_buffer = 0;
2032 b->yy_buffer_status = YY_BUFFER_NEW;
2033
2034 yy_switch_to_buffer( b );
2035
2036 return b;
2037 }
2038 #endif
2039
2040
2041 #ifndef YY_NO_SCAN_STRING
2042 #ifdef YY_USE_PROTOS
2043 YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
2044 #else
2045 YY_BUFFER_STATE yy_scan_string( yy_str )
2046 yyconst char *yy_str;
2047 #endif
2048 {
2049 int len;
2050 for ( len = 0; yy_str[len]; ++len )
2051 ;
2052
2053 return yy_scan_bytes( yy_str, len );
2054 }
2055 #endif
2056
2057
2058 #ifndef YY_NO_SCAN_BYTES
2059 #ifdef YY_USE_PROTOS
2060 YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
2061 #else
2062 YY_BUFFER_STATE yy_scan_bytes( bytes, len )
2063 yyconst char *bytes;
2064 int len;
2065 #endif
2066 {
2067 YY_BUFFER_STATE b;
2068 char *buf;
2069 yy_size_t n;
2070 int i;
2071
2072 /* Get memory for full buffer, including space for trailing EOB's. */
2073 n = len + 2;
2074 buf = (char *) yy_flex_alloc( n );
2075 if ( ! buf )
2076 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
2077
2078 for ( i = 0; i < len; ++i )
2079 buf[i] = bytes[i];
2080
2081 buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
2082
2083 b = yy_scan_buffer( buf, n );
2084 if ( ! b )
2085 YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
2086
2087 /* It's okay to grow etc. this buffer, and we should throw it
2088 * away when we're done.
2089 */
2090 b->yy_is_our_buffer = 1;
2091
2092 return b;
2093 }
2094 #endif
2095
2096
2097 #ifndef YY_NO_PUSH_STATE
2098 #ifdef YY_USE_PROTOS
2099 static void yy_push_state( int new_state )
2100 #else
2101 static void yy_push_state( new_state )
2102 int new_state;
2103 #endif
2104 {
2105 if ( yy_start_stack_ptr >= yy_start_stack_depth )
2106 {
2107 yy_size_t new_size;
2108
2109 yy_start_stack_depth += YY_START_STACK_INCR;
2110 new_size = yy_start_stack_depth * sizeof( int );
2111
2112 if ( ! yy_start_stack )
2113 yy_start_stack = (int *) yy_flex_alloc( new_size );
2114
2115 else
2116 yy_start_stack = (int *) yy_flex_realloc(
2117 (void *) yy_start_stack, new_size );
2118
2119 if ( ! yy_start_stack )
2120 YY_FATAL_ERROR(
2121 "out of memory expanding start-condition stack" );
2122 }
2123
2124 yy_start_stack[yy_start_stack_ptr++] = YY_START;
2125
2126 BEGIN(new_state);
2127 }
2128 #endif
2129
2130
2131 #ifndef YY_NO_POP_STATE
2132 static void yy_pop_state()
2133 {
2134 if ( --yy_start_stack_ptr < 0 )
2135 YY_FATAL_ERROR( "start-condition stack underflow" );
2136
2137 BEGIN(yy_start_stack[yy_start_stack_ptr]);
2138 }
2139 #endif
2140
2141
2142 #ifndef YY_NO_TOP_STATE
2143 static int yy_top_state()
2144 {
2145 return yy_start_stack[yy_start_stack_ptr - 1];
2146 }
2147 #endif
2148
2149 #ifndef YY_EXIT_FAILURE
2150 #define YY_EXIT_FAILURE 2
2151 #endif
2152
2153 #ifdef YY_USE_PROTOS
2154 static void yy_fatal_error( yyconst char msg[] )
2155 #else
2156 static void yy_fatal_error( msg )
2157 char msg[];
2158 #endif
2159 {
2160 (void) fprintf( stderr, "%s\n", msg );
2161 exit( YY_EXIT_FAILURE );
2162 }
2163
2164
2165
2166 /* Redefine yyless() so it works in section 3 code. */
2167
2168 #undef yyless
2169 #define yyless(n) \
2170 do \
2171 { \
2172 /* Undo effects of setting up yytext. */ \
2173 yytext[yyleng] = yy_hold_char; \
2174 yy_c_buf_p = yytext + n; \
2175 yy_hold_char = *yy_c_buf_p; \
2176 *yy_c_buf_p = '\0'; \
2177 yyleng = n; \
2178 } \
2179 while ( 0 )
2180
2181
2182 /* Internal utility routines. */
2183
2184 #ifndef yytext_ptr
2185 #ifdef YY_USE_PROTOS
2186 static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
2187 #else
2188 static void yy_flex_strncpy( s1, s2, n )
2189 char *s1;
2190 yyconst char *s2;
2191 int n;
2192 #endif
2193 {
2194 register int i;
2195 for ( i = 0; i < n; ++i )
2196 s1[i] = s2[i];
2197 }
2198 #endif
2199
2200 #ifdef YY_NEED_STRLEN
2201 #ifdef YY_USE_PROTOS
2202 static int yy_flex_strlen( yyconst char *s )
2203 #else
2204 static int yy_flex_strlen( s )
2205 yyconst char *s;
2206 #endif
2207 {
2208 register int n;
2209 for ( n = 0; s[n]; ++n )
2210 ;
2211
2212 return n;
2213 }
2214 #endif
2215
2216
2217 #ifdef YY_USE_PROTOS
2218 static void *yy_flex_alloc( yy_size_t size )
2219 #else
2220 static void *yy_flex_alloc( size )
2221 yy_size_t size;
2222 #endif
2223 {
2224 return (void *) malloc( size );
2225 }
2226
2227 #ifdef YY_USE_PROTOS
2228 static void *yy_flex_realloc( void *ptr, yy_size_t size )
2229 #else
2230 static void *yy_flex_realloc( ptr, size )
2231 void *ptr;
2232 yy_size_t size;
2233 #endif
2234 {
2235 /* The cast to (char *) in the following accommodates both
2236 * implementations that use char* generic pointers, and those
2237 * that use void* generic pointers. It works with the latter
2238 * because both ANSI C and C++ allow castless assignment from
2239 * any pointer type to void*, and deal with argument conversions
2240 * as though doing an assignment.
2241 */
2242 return (void *) realloc( (char *) ptr, size );
2243 }
2244
2245 #ifdef YY_USE_PROTOS
2246 static void yy_flex_free( void *ptr )
2247 #else
2248 static void yy_flex_free( ptr )
2249 void *ptr;
2250 #endif
2251 {
2252 free( ptr );
2253 }
2254
2255 #if YY_MAIN
2256 int main()
2257 {
2258 yylex();
2259 return 0;
2260 }
2261 #endif
2262 #line 138 "lexer.l"
2263
2264
2265 void initFlex(const char *_code )
2266 {
2267 yy_switch_to_buffer( yy_scan_string(_code) );
2268 }
2269
2270 int yywrap()
2271 {
2272 yy_delete_buffer( YY_CURRENT_BUFFER );
2273 return 1;
2274 }
2275
2276 #ifndef TOKEN_DEBUG
2277 int token_debug(const char * /*format*/, ...)
2278 {
2279 return 0;
2280 }
2281 #endif
2282
2283 /* vim:set shiftwidth=4 softtabstop=4 expandtab: */
FREE OFFICE SUITE