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