source: git/Singular/libparse.cc @ 0509a99

spielwiese
Last change on this file since 0509a99 was 16f511, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Fixed the usage of "config.h" (if defined HAVE_CONFIG_H)
  • Property mode set to 100644
File size: 107.1 KB
Line 
1#define yy_create_buffer yylp_create_buffer
2#define yy_delete_buffer yylp_delete_buffer
3#define yy_scan_buffer yylp_scan_buffer
4#define yy_scan_string yylp_scan_string
5#define yy_scan_bytes yylp_scan_bytes
6#define yy_flex_debug yylp_flex_debug
7#define yy_init_buffer yylp_init_buffer
8#define yy_flush_buffer yylp_flush_buffer
9#define yy_load_buffer_state yylp_load_buffer_state
10#define yy_switch_to_buffer yylp_switch_to_buffer
11#define yyin yylpin
12#define yyleng yylpleng
13#define yylex yylplex
14#define yyout yylpout
15#define yyrestart yylprestart
16#define yytext yylptext
17#define yywrap yylpwrap
18
19/* A lexical scanner generated by flex */
20
21/* Scanner skeleton version:
22 * $Header: /exports/cvsroot-2/cvsroot/Singular/libparse.cc,v 1.15 2009-07-28 15:22:17 Singular Exp $
23 */
24
25#define FLEX_SCANNER
26#define YY_FLEX_MAJOR_VERSION 2
27#define YY_FLEX_MINOR_VERSION 5
28
29#include <stdio.h>
30
31
32/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
33#ifdef c_plusplus
34#ifndef __cplusplus
35#define __cplusplus
36#endif
37#endif
38
39
40#ifdef __cplusplus
41
42#include <stdlib.h>
43#include <unistd.h>
44
45/* Use prototypes in function declarations. */
46#define YY_USE_PROTOS
47
48/* The "const" storage-class-modifier is valid. */
49#define YY_USE_CONST
50
51#else   /* ! __cplusplus */
52
53#if __STDC__
54
55#define YY_USE_PROTOS
56#define YY_USE_CONST
57
58#endif  /* __STDC__ */
59#endif  /* ! __cplusplus */
60
61#ifdef __TURBOC__
62 #pragma warn -rch
63 #pragma warn -use
64#include <io.h>
65#include <stdlib.h>
66#define YY_USE_CONST
67#define YY_USE_PROTOS
68#endif
69
70#ifdef YY_USE_CONST
71#define yyconst const
72#else
73#define yyconst
74#endif
75
76
77#ifdef YY_USE_PROTOS
78#define YY_PROTO(proto) proto
79#else
80#define YY_PROTO(proto) ()
81#endif
82
83/* Returned upon end-of-file. */
84#define YY_NULL 0
85
86/* Promotes a possibly negative, possibly signed char to an unsigned
87 * integer for use as an array index.  If the signed char is negative,
88 * we want to instead treat it as an 8-bit unsigned char, hence the
89 * double cast.
90 */
91#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
92
93/* Enter a start condition.  This macro really ought to take a parameter,
94 * but we do it the disgusting crufty way forced on us by the ()-less
95 * definition of BEGIN.
96 */
97#define BEGIN yy_start = 1 + 2 *
98
99/* Translate the current start state into a value that can be later handed
100 * to BEGIN to return to the state.  The YYSTATE alias is for lex
101 * compatibility.
102 */
103#define YY_START ((yy_start - 1) / 2)
104#define YYSTATE YY_START
105
106/* Action number for EOF rule of a given start state. */
107#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
108
109/* Special action meaning "start processing a new file". */
110#define YY_NEW_FILE yyrestart( yyin )
111
112#define YY_END_OF_BUFFER_CHAR 0
113
114/* Size of default input buffer. */
115#define YY_BUF_SIZE 16384
116
117typedef struct yy_buffer_state *YY_BUFFER_STATE;
118
119extern int yyleng;
120extern FILE *yyin, *yyout;
121
122#define EOB_ACT_CONTINUE_SCAN 0
123#define EOB_ACT_END_OF_FILE 1
124#define EOB_ACT_LAST_MATCH 2
125
126/* The funky do-while in the following #define is used to turn the definition
127 * int a single C statement (which needs a semi-colon terminator).  This
128 * avoids problems with code like:
129 *
130 *      if ( condition_holds )
131 *              yyless( 5 );
132 *      else
133 *              do_something_else();
134 *
135 * Prior to using the do-while the compiler would get upset at the
136 * "else" because it interpreted the "if" statement as being all
137 * done when it reached the ';' after the yyless() call.
138 */
139
140/* Return all but the first 'n' matched characters back to the input stream. */
141
142#define yyless(n) \
143        do \
144                { \
145                /* Undo effects of setting up yytext. */ \
146                *yy_cp = yy_hold_char; \
147                YY_RESTORE_YY_MORE_OFFSET \
148                yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
149                YY_DO_BEFORE_ACTION; /* set up yytext again */ \
150                } \
151        while ( 0 )
152
153#define unput(c) yyunput( c, yytext_ptr )
154
155/* The following is because we cannot portably get our hands on size_t
156 * (without autoconf's help, which isn't available because we want
157 * flex-generated scanners to compile on their own).
158 */
159typedef unsigned int yy_size_t;
160
161
162struct yy_buffer_state
163        {
164        FILE *yy_input_file;
165
166        char *yy_ch_buf;                /* input buffer */
167        char *yy_buf_pos;               /* current position in input buffer */
168
169        /* Size of input buffer in bytes, not including room for EOB
170         * characters.
171         */
172        yy_size_t yy_buf_size;
173
174        /* Number of characters read into yy_ch_buf, not including EOB
175         * characters.
176         */
177        int yy_n_chars;
178
179        /* Whether we "own" the buffer - i.e., we know we created it,
180         * and can realloc() it to grow it, and should free() it to
181         * delete it.
182         */
183        int yy_is_our_buffer;
184
185        /* Whether this is an "interactive" input source; if so, and
186         * if we're using stdio for input, then we want to use getc()
187         * instead of fread(), to make sure we stop fetching input after
188         * each newline.
189         */
190        int yy_is_interactive;
191
192        /* Whether we're considered to be at the beginning of a line.
193         * If so, '^' rules will be active on the next match, otherwise
194         * not.
195         */
196        int yy_at_bol;
197
198        /* Whether to try to fill the input buffer when we reach the
199         * end of it.
200         */
201        int yy_fill_buffer;
202
203        int yy_buffer_status;
204#define YY_BUFFER_NEW 0
205#define YY_BUFFER_NORMAL 1
206        /* When an EOF's been seen but there's still some text to process
207         * then we mark the buffer as YY_EOF_PENDING, to indicate that we
208         * shouldn't try reading from the input source any more.  We might
209         * still have a bunch of tokens to match, though, because of
210         * possible backing-up.
211         *
212         * When we actually see the EOF, we change the status to "new"
213         * (via yyrestart()), so that the user can continue scanning by
214         * just pointing yyin at a new input file.
215         */
216#define YY_BUFFER_EOF_PENDING 2
217        };
218
219static YY_BUFFER_STATE yy_current_buffer = 0;
220
221/* We provide macros for accessing buffer states in case in the
222 * future we want to put the buffer states in a more general
223 * "scanner state".
224 */
225#define YY_CURRENT_BUFFER yy_current_buffer
226
227
228/* yy_hold_char holds the character lost when yytext is formed. */
229static char yy_hold_char;
230
231static int yy_n_chars;          /* number of characters read into yy_ch_buf */
232
233
234int yyleng;
235
236/* Points to current character in buffer. */
237static char *yy_c_buf_p = (char *) 0;
238static int yy_init = 1;         /* whether we need to initialize */
239static int yy_start = 0;        /* start state number */
240
241/* Flag which is used to allow yywrap()'s to do buffer switches
242 * instead of setting up a fresh yyin.  A bit of a hack ...
243 */
244static int yy_did_buffer_switch_on_eof;
245
246void yyrestart YY_PROTO(( FILE *input_file ));
247
248void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
249void yy_load_buffer_state YY_PROTO(( void ));
250YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
251void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
252void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
253void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
254#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
255
256YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
257YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
258YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
259
260static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
261static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
262static void yy_flex_free YY_PROTO(( void * ));
263
264#define yy_new_buffer yy_create_buffer
265
266#define yy_set_interactive(is_interactive) \
267        { \
268        if ( ! yy_current_buffer ) \
269                yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
270        yy_current_buffer->yy_is_interactive = is_interactive; \
271        }
272
273#define yy_set_bol(at_bol) \
274        { \
275        if ( ! yy_current_buffer ) \
276                yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
277        yy_current_buffer->yy_at_bol = at_bol; \
278        }
279
280#define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
281
282typedef unsigned char YY_CHAR;
283FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
284typedef int yy_state_type;
285extern char *yytext;
286#define yytext_ptr yytext
287
288static yy_state_type yy_get_previous_state YY_PROTO(( void ));
289static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
290static int yy_get_next_buffer YY_PROTO(( void ));
291static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
292
293/* Done after the current pattern has been matched and before the
294 * corresponding action - sets up yytext.
295 */
296#define YY_DO_BEFORE_ACTION \
297        yytext_ptr = yy_bp; \
298        yytext_ptr -= yy_more_len; \
299        yyleng = (int) (yy_cp - yytext_ptr); \
300        yy_hold_char = *yy_cp; \
301        *yy_cp = '\0'; \
302        yy_c_buf_p = yy_cp;
303
304#define YY_NUM_RULES 96
305#define YY_END_OF_BUFFER 97
306static yyconst short int yy_accept[485] =
307    {   0,
308        0,    0,    0,    0,   28,   28,    0,    0,    0,    0,
309        0,    0,    0,    0,    0,    0,   49,   49,    0,    0,
310        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
311        0,    0,    0,    0,    0,    0,    0,    0,   97,   95,
312        1,   92,   93,    2,   94,   95,   95,   95,   95,   95,
313       95,   95,   95,   95,   20,   19,   20,   20,   20,   20,
314       20,   20,   20,   20,   29,   28,   27,   29,   29,   29,
315       29,   29,   29,   29,   29,   96,   30,   96,   96,   96,
316       39,   32,   36,   33,   34,   38,   35,   43,   43,   96,
317       43,   43,   43,   43,   43,   43,   42,   47,   46,   47,
318
319       45,   49,   51,   48,   50,   63,   62,   53,   58,   59,
320       63,   60,   61,   63,   56,   57,   83,   82,   75,   78,
321       79,   83,   80,   81,   76,   77,   88,   87,   84,   88,
322       73,   72,   70,   73,   91,   90,   91,   66,   65,   64,
323       69,   68,   67,    0,    1,    0,    0,    0,    0,    0,
324        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
325        0,    0,    0,   28,   28,    0,    0,    0,    0,    0,
326        0,    0,    0,   30,    0,   31,    0,    0,   37,    0,
327        0,    0,    0,    0,    0,    0,   42,    0,    0,    0,
328        0,    0,   42,   42,   44,   49,   52,    0,   74,   86,
329
330       85,   71,   89,    0,    1,    1,    0,    1,    0,    0,
331        0,    0,    0,    0,    0,    0,    0,    0,   14,   13,
332        0,    0,    0,    0,    0,    0,   28,   28,   28,   28,
333       22,   21,    0,    0,    0,    0,    0,    0,   37,   37,
334        0,    0,    0,   41,    0,   42,    0,    0,    0,    0,
335        0,   52,    0,   74,    0,    0,    0,    1,    0,    0,
336        0,    0,    0,    0,    0,    0,    0,    0,   14,   13,
337       13,    0,    0,    0,    0,    0,    0,    0,   28,   22,
338       21,   21,    0,    0,    0,    0,    0,    0,    0,    0,
339        0,   41,    0,    0,   40,    0,   41,    0,    0,    0,
340
341       10,   11,    0,    0,    0,    0,    0,    0,    0,    0,
342        0,    0,    0,   13,    0,    0,    0,    0,   16,    0,
343       17,    0,   15,   21,    0,    0,    0,    0,   23,    0,
344       25,    0,   24,    0,    0,   40,    0,    0,    0,    0,
345        0,    0,    0,    0,    0,    8,    8,    7,    0,    0,
346        5,    0,    0,    0,    0,   12,    0,    0,    0,   18,
347        0,    0,    0,   26,    0,    0,    0,    0,    0,   55,
348        0,    0,    8,    8,    0,    9,    0,    0,    3,    0,
349        0,    8,    8,    8,    5,    5,    0,    0,   12,   12,
350       12,    0,    0,    0,    0,    0,    0,    8,    8,    8,
351
352        0,    3,    3,    0,    0,    0,    0,    0,    0,    0,
353        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
354        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
355        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
356        0,    6,    0,    0,   12,    0,    0,    0,    0,    0,
357        0,   54,    0,    0,    0,    0,    0,    4,    0,    0,
358        6,    6,   12,   12,   12,    0,    0,    0,    0,    0,
359        0,    0,    4,    4,    0,    0,    0,    0,    0,    0,
360        0,    0,    0,    0
361    } ;
362
363static yyconst int yy_ec[256] =
364    {   0,
365        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
366        1,    1,    4,    1,    1,    1,    1,    1,    1,    1,
367        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
368        1,    5,    6,    7,    8,    9,   10,   11,   12,   13,
369       14,   15,   11,   16,   11,   10,   17,   18,   18,   18,
370       18,   18,   18,   18,   18,   18,   18,   19,   20,   11,
371       21,   11,   11,   12,   22,   23,   22,   22,   22,   22,
372       22,   24,   25,   22,   22,   26,   22,   22,   22,   22,
373       22,   22,   22,   22,   22,   22,   22,   22,   22,   22,
374       27,   28,   29,   30,   31,   11,   32,   22,   33,   34,
375
376       35,   36,   37,   22,   38,   22,   22,   39,   40,   41,
377       42,   43,   22,   44,   45,   46,   47,   48,   22,   49,
378       50,   22,   51,   11,   52,   11,    1,    1,    1,    1,
379        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
380        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
381        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
382        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
383        1,    1,    1,    1,    1,    1,    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
387        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
388        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
389        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
390        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
391        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
392        1,    1,    1,    1,    1
393    } ;
394
395static yyconst int yy_meta[53] =
396    {   0,
397        1,    2,    3,    4,    2,    1,    5,    6,    1,    5,
398        1,    7,    8,    9,    5,   10,    5,   11,    5,    1,
399        1,    7,    7,    7,    7,    7,    1,    1,    1,    5,
400        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
401        7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
402        4,    1
403    } ;
404
405static yyconst short int yy_base[533] =
406    {   0,
407        0,   47,    6,   93,  140,  187,  235,  287,  339,  391,
408        5,   11,  443,    0,    9,   12,   63,   69,  493,  543,
409        0,    0,  593,  643,   72,   80,   81,   90,   26,   31,
410       24,   52,   54,   95,    0,    0,    0,    0, 1250, 2200,
411     1202, 2200, 2200, 1226, 2200, 1213, 1221, 1183, 1164, 1170,
412     1162, 1105, 1106, 1114, 2200, 2200, 1131,   61, 1115, 1105,
413     1100, 1108, 1117, 1096, 2200,   84, 2200, 1121,   95, 1105,
414     1095, 1091, 1098, 1100, 1073, 2200, 2200, 1109, 1099, 1101,
415     2200, 2200, 2200, 2200, 2200, 1083, 2200, 2200,  694,    0,
416        0,  125,  745,  144,  151,  157, 2200, 2200, 2200, 1048,
417
418     2200,   99, 2200, 2200, 2200, 2200, 2200, 2200, 2200, 2200,
419     1080, 2200, 2200, 1052, 2200, 2200, 2200, 2200, 2200, 2200,
420     2200, 1073, 2200, 2200, 2200, 2200, 2200, 2200, 2200,    4,
421     2200, 2200, 2200,   14, 2200, 2200, 1071, 2200, 2200, 2200,
422     2200, 2200, 2200, 1041, 1066, 1056, 1071, 1029, 1042, 1032,
423     1024, 1033, 1024, 1002,  163, 1039, 1027,  984,  992,  983,
424      976,  986,  966,  111,  796,  985,  972,  941,  945,  936,
425      874,  894,  874, 2200,  908, 2200,  900,  906,  895,    0,
426        0,  172,    0,  179,  191,  207, 2200,  904,  903,  219,
427      902,   74,  847,  198, 2200,  119,    0,  866,    0, 2200,
428
429     2200, 2200, 2200,  865,    0,  889,  213,    0,  869,  760,
430      757,  659,  645,  263,  645,  245,   82,  672,    0,  671,
431      651,  643,  274,  639,  132,  650,  665,  651,  649,  642,
432        0,  632,  612,  601,  278,  593,  133,  601,    0,  611,
433      318,  324,  330,    0,  375,  612,    0,    0,  381,    0,
434      609,    0,  578,    0,  576,  349,  594,    0,  562,  555,
435      368,  161,  559,  404,  509,  547,  548,  547,    0,    0,
436      560,  538,  500,  412,  522,  536,  422,  564,    0,    0,
437        0,  551,  530,  550,  530,  559,  527,  571,  553,  586,
438      610, 2200,  622,  628,    0,  307, 2200,  536,  226,  214,
439
440     2200, 2200,  507,  509,  600,  660,  577,  514,  898,  918,
441      495,  491,  500,  501,  475,  637,  969,  975, 2200,  473,
442     2200,  502, 2200,  491,  459,  650,  981,  990, 2200,  457,
443     2200,  491, 2200,  996, 1001,    0,  646, 1051, 1010, 1101,
444     1005,  453,  406, 1014, 1151,  121, 2200, 2200,  433,  432,
445        0,  431,  430,  390,  396, 1203,  384, 1022,  381, 2200,
446      369, 1055,  362, 2200, 1029,  227,  370,  270,  526, 2200,
447      269,    0,  287, 2200,  349, 2200,  380,  358,    0,  357,
448      350,  288,  318,  343, 2200,  348, 1046,  312,    0, 1255,
449      311,  274, 1068,  254, 1089, 1093, 1076,  345,  403,  405,
450
451     1223, 2200,  290, 1118, 1124,  241, 1231, 1216, 1244, 1237,
452     1275, 1287, 1110,  101, 1307, 1293, 1314, 1344, 1334, 1351,
453     1364, 1374, 1394,  254, 1445, 1449, 1455, 1469, 1475, 1481,
454      662, 1300,  238,    0,  239, 1313,  154, 1490, 1510,  245,
455      200,    0,  199,  192, 1562, 1590, 1596, 1591,  605,  214,
456     1035, 2200, 1610, 1332, 1607,  190,  184,    0,  143,  137,
457     2200,  126,    0, 1641,  103, 1622,  155, 1692, 1655, 1673,
458     1722, 1712, 2200,  104, 1618,    0,   91, 1685,  220, 1728,
459      656,  230, 1734, 2200, 1765, 1776, 1787, 1798, 1809, 1820,
460     1831, 1842, 1853, 1864, 1875, 1886, 1897, 1908, 1919, 1926,
461
462     1933, 1944, 1955, 1966, 1977, 1988, 1999, 2010, 2021, 2032,
463     2042, 2048, 2054, 2064, 2065, 2076,   92, 2081, 2092, 2102,
464     2112, 2118, 2124, 2129,   51, 2140, 2150, 2160, 2167, 2177,
465     2183, 2188
466    } ;
467
468static yyconst short int yy_def[533] =
469    {   0,
470      485,  485,  486,  486,  487,  487,  488,  488,  489,  489,
471      490,  490,  484,   13,  491,  491,  492,  492,  493,  493,
472      492,  492,  494,  494,  495,  495,  496,  496,  497,  497,
473      498,  498,  499,  499,  492,  492,  492,  492,  484,  484,
474      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
475      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
476      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
477      484,  484,  484,  484,  484,  484,  484,  500,  484,  501,
478      484,  484,  484,  484,  484,  484,  484,  484,  484,   89,
479       89,   89,  484,   89,   89,   89,  484,  484,  484,  484,
480
481      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
482      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
483      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
484      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
485      484,  484,  484,  484,  502,  484,  484,  484,  484,  484,
486      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
487      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
488      484,  484,  484,  484,  500,  484,  484,  501,  503,   89,
489       89,   89,   93,   89,   89,   89,  484,   93,   93,   93,
490       93,   93,  484,   89,  484,  484,  504,  484,  505,  484,
491
492      484,  484,  484,  484,  502,  502,  484,  506,  484,  484,
493      484,  484,  484,  484,  484,  484,  484,  484,  507,  508,
494      484,  484,  484,  484,  484,  484,  165,  165,  165,  165,
495      509,  510,  484,  484,  484,  484,  484,  484,  503,  503,
496       89,   93,   93,  193,   93,   93,  193,  193,  484,  193,
497      193,  504,  484,  505,  484,  484,  484,  506,  484,  484,
498      484,  484,  484,  484,  484,  484,  484,  484,  507,  508,
499      508,  484,  484,  484,  484,  484,  484,  484,  165,  509,
500      510,  510,  484,  484,  484,  484,  484,  484,  484,   89,
501       89,  484,   93,   93,  193,  484,  484,  193,  511,  484,
502
503      484,  484,  484,  484,  484,  484,  512,  484,  484,  484,
504      484,  484,  484,  508,  484,  484,  484,  484,  484,  484,
505      484,  484,  484,  510,  484,  484,  484,  484,  484,  484,
506      484,  484,  484,  193,  193,  193,  511,  513,  511,  513,
507      514,  484,  484,  484,  484,  515,  484,  484,  310,  310,
508      310,  310,  310,  484,  484,  516,  484,  484,  484,  484,
509      484,  484,  484,  484,  484,  340,  517,  340,  340,  484,
510      339,  340,  518,  484,  484,  484,  345,  345,  345,  345,
511      345,  515,  515,  515,  484,  310,  484,  484,  519,  516,
512      390,  484,  484,  484,  484,  520,  521,  518,  518,  518,
513
514      484,  484,  345,  484,  484,  484,  484,  484,  484,  484,
515      484,  484,  522,  484,  523,  520,  520,  523,  521,  484,
516      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
517      524,  484,  525,  418,  484,  417,  417,  484,  484,  423,
518      423,  423,  423,  423,  526,  484,  484,  524,  484,  484,
519      484,  484,  527,  528,  524,  439,  439,  439,  439,  439,
520      484,  423,  529,  526,  464,  530,  484,  531,  527,  527,
521      531,  528,  484,  439,  532,  471,  484,  470,  470,  532,
522      484,  484,  532,    0,  484,  484,  484,  484,  484,  484,
523      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
524
525      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
526      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
527      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
528      484,  484
529    } ;
530
531static yyconst short int yy_nxt[2253] =
532    {   0,
533      484,   41,   42,   43,   41,  484,   82,   83,   56,   82,
534      200,   99,   82,   83,   99,   82,   44,   84,   85,   45,
535      202,   86,   57,   84,   85,   46,  139,   86,  136,   47,
536      140,  201,   48,  136,   49,   58,  100,   50,   59,  100,
537      137,  202,   51,   60,   52,  137,   53,   54,   41,   42,
538       43,   41,   61,   62,  139,   87,  142,  453,  140,  101,
539      143,   87,  101,   44,  102,  103,   45,  102,  156,  104,
540      102,  103,   46,  102,  128,  104,   47,  157,  129,   48,
541      245,   49,  128,  132,   50,  164,  129,  133,  164,   51,
542      217,   52,  132,   53,   54,   56,  133,  142,  396,  130,
543
544      196,  143,  166,  196,  483,  267,  268,  130,  134,   57,
545      473,  167,  164,  105,  432,  164,  433,  134,   63,  105,
546      196,  465,   58,  196,  246,   59,  182,  185,  185,  182,
547       60,  185,  461,  277,  288,   64,  277,  288,  383,   61,
548       62,   66,   67,  474,   66,  182,  185,  185,  182,  473,
549      185,  384,  182,  185,  185,  182,   68,  185,  182,  185,
550      185,  182,  307,  185,  216,  307,  435,  216,  432,   69,
551      433,  217,   70,  182,  185,  185,  182,   71,  185,  218,
552      182,  185,  185,  182,  437,  185,   72,   73,   66,   67,
553      473,   66,  182,  185,  185,  182,  473,  185,  462,  182,
554
555      185,  185,  182,   68,  185,  461,  461,  194,  182,  185,
556      185,  182,   74,  185,  256,  341,   69,  256,  341,   70,
557      242,  243,  243,  242,   71,  257,  435,  337,  365,   75,
558      337,  365,  477,   72,   73,   76,   76,   76,   76,   76,
559       76,   77,  477,   76,  450,   76,  216,   76,   76,  216,
560      479,  461,  455,  217,   76,   76,  339,  194,  340,  366,
561      482,   76,   76,   76,  264,  264,  264,  264,  454,  244,
562      371,  365,  445,  371,  365,  274,  274,  274,  274,  285,
563      285,  285,  285,  265,  424,   76,   76,   76,   76,   76,
564       76,   76,   76,   77,  275,   76,  402,   76,  286,   76,
565
566       76,  214,  366,  410,  399,  383,   76,   76,  296,  296,
567      296,  296,  223,   76,   76,   76,  235,  400,  384,  290,
568      291,  291,  290,  407,  241,  242,  243,  243,  242,  391,
569      241,  242,  243,  243,  242,  383,  241,   76,   76,   76,
570       76,   76,   76,   76,   76,   79,  406,   76,  384,   76,
571      256,   76,   76,  256,  385,  301,  403,  297,   76,   76,
572      383,  257,  399,  402,  402,   76,   76,   76,  292,  305,
573      305,  305,  305,  384,  244,  400,  293,  294,  294,  293,
574      244,  241,  296,  296,  296,  296,  402,  249,  306,   76,
575       76,   76,   76,   76,   76,   76,   76,   79,  401,   76,
576
577      397,   76,  395,   76,   76,  264,  264,  264,  264,  261,
578       76,   76,  394,  274,  274,  274,  274,   76,   76,   76,
579      399,  393,  399,  277,  265,  295,  277,  392,  321,  388,
580      387,  297,  275,  400,  322,  400,  386,  385,  385,  385,
581      376,   76,   76,   88,   89,   90,   91,   89,   92,   93,
582       92,   94,   92,   92,   94,   92,   92,   92,   92,   92,
583       94,   92,   92,   92,   95,   95,   95,   95,   95,   92,
584       96,   92,   92,   92,   95,   95,   95,   95,   95,   95,
585       95,   95,   95,   95,   95,   95,   95,   95,   95,   95,
586       95,   95,   95,   97,   92,  107,  375,  364,  363,  108,
587
588      361,  316,  316,  316,  316,  109,  110,  282,  360,  111,
589      309,  309,  309,  309,  359,  310,  357,  271,  356,  112,
590      317,  113,  355,  318,  318,  318,  318,  365,  319,  265,
591      365,  285,  285,  285,  285,  114,  354,  334,  335,  335,
592      334,  273,  275,  115,  116,  107,  348,  343,  342,  108,
593      286,  326,  326,  326,  326,  109,  110,  333,  366,  111,
594      328,  328,  328,  328,  330,  329,  325,  324,  323,  112,
595      327,  113,  288,  320,  315,  288,  314,  331,  307,  286,
596      313,  307,  312,  332,  311,  114,  336,  290,  291,  291,
597      290,  284,  185,  115,  116,  118,  308,  304,  303,  119,
598
599      302,  305,  305,  305,  305,  120,  121,  347,  300,  122,
600      299,  290,  291,  291,  290,  298,  185,  435,  241,  123,
601      306,  124,  449,  293,  294,  294,  293,  240,  241,  293,
602      294,  294,  293,  289,  241,  450,  292,  287,  316,  316,
603      316,  316,  284,  125,  126,  118,  283,  337,  282,  119,
604      337,  326,  326,  326,  326,  120,  121,  317,  279,  122,
605      292,  344,  344,  344,  344,  227,  345,  227,  477,  123,
606      327,  124,  295,  481,  435,  432,  339,  433,  295,  449,
607      306,  227,  278,  276,  273,  272,  482,  271,  155,  266,
608      263,  262,  450,  125,  126,  180,  181,  181,  180,  182,
609
610      183,  182,  184,  182,  182,  184,  182,  182,  182,  182,
611      182,  184,  182,  182,  182,  185,  185,  185,  185,  185,
612      182,  186,  182,  182,  182,  185,  185,  185,  185,  185,
613      185,  185,  185,  185,  185,  185,  185,  185,  185,  185,
614      185,  185,  185,  185,  187,  182,  188,  189,  189,  188,
615      188,  190,  188,  191,  188,  188,  191,  188,  188,  188,
616      188,  188,  191,  188,  188,  188,  189,  189,  189,  189,
617      189,  188,  192,  188,  188,  188,  189,  189,  189,  189,
618      189,  189,  189,  189,  189,  189,  189,  189,  189,  189,
619      189,  189,  189,  189,  189,  193,  188,  227,  261,  260,
620
621      227,  227,  228,  227,  229,  227,  227,  229,  227,  227,
622      227,  227,  230,  229,  227,  227,  227,  228,  228,  228,
623      228,  228,  227,  227,  227,  227,  227,  228,  228,  228,
624      228,  228,  228,  228,  228,  228,  228,  228,  228,  228,
625      228,  228,  228,  228,  228,  228,  227,  227,  247,  248,
626      248,  247,  247,  249,  247,  250,  247,  247,  250,  247,
627      247,  247,  247,  247,  250,  247,  247,  247,  248,  248,
628      248,  248,  248,  247,  251,  247,  247,  247,  248,  248,
629      248,  248,  248,  248,  248,  248,  248,  248,  248,  248,
630      248,  248,  248,  248,  248,  248,  248,  247,  247,  309,
631
632      309,  309,  309,  259,  310,  206,  255,  253,  241,  241,
633      241,  240,  177,  176,  174,  238,  237,  236,  265,  349,
634      350,  350,  349,  349,  351,  349,  352,  349,  349,  352,
635      349,  349,  349,  349,  349,  352,  349,  349,  349,  350,
636      350,  350,  350,  350,  349,  353,  349,  349,  349,  350,
637      350,  350,  350,  350,  350,  350,  350,  350,  350,  350,
638      350,  350,  350,  350,  350,  350,  350,  350,  349,  349,
639      358,  358,  358,  358,  235,  319,  318,  318,  318,  318,
640      234,  319,  362,  362,  362,  362,  233,  329,  232,  317,
641      231,  328,  328,  328,  328,  275,  329,  334,  335,  335,
642
643      334,  327,  334,  335,  335,  334,  341,  226,  225,  341,
644      286,  365,  365,  365,  365,  344,  344,  344,  344,  224,
645      345,  223,  367,  358,  358,  358,  358,  222,  319,  221,
646      365,  365,  365,  365,  306,  374,  451,  451,  451,  451,
647      339,  367,  317,  220,  219,  215,  336,  404,  404,  404,
648      404,  336,  365,  365,  365,  365,  362,  362,  362,  362,
649      370,  329,  214,  367,  213,  212,  405,  211,  368,  408,
650      408,  408,  408,  210,  209,  327,  208,  413,  207,  370,
651      413,  369,  206,  414,  204,  452,  387,  203,  409,  199,
652      411,  411,  411,  411,  413,  198,  197,  413,  195,  179,
653
654      414,  370,  371,  365,  365,  371,  419,  177,  393,  412,
655      416,  413,  176,  367,  413,  174,  173,  414,  368,  404,
656      404,  404,  404,  417,  172,  422,  422,  422,  422,  395,
657      423,  369,  171,  372,  170,  169,  168,  165,  405,  163,
658      414,  162,  161,  160,  405,  159,  158,  155,  154,  153,
659      152,  370,  377,  378,  378,  377,  377,  379,  377,  380,
660      377,  377,  380,  377,  377,  377,  377,  377,  380,  377,
661      377,  377,  378,  378,  378,  378,  378,  377,  381,  377,
662      377,  377,  378,  378,  378,  378,  378,  378,  378,  378,
663      378,  378,  378,  378,  378,  378,  378,  378,  378,  378,
664
665      378,  377,  377,  389,  389,  151,  389,  389,  389,  389,
666      150,  389,  149,  389,  148,  389,  389,  408,  408,  408,
667      408,  391,  389,  389,  420,  420,  420,  420,  147,  389,
668      389,  389,  425,  425,  425,  425,  409,  146,  428,  428,
669      428,  428,  145,  421,  144,  427,  427,  427,  427,  484,
670      319,  426,  484,  389,  389,  389,  389,  429,  389,  389,
671      389,  389,  484,  389,  409,  389,  484,  389,  389,  484,
672      484,  484,  401,  484,  389,  389,  411,  411,  411,  411,
673      407,  389,  389,  389,  484,  484,  410,  484,  430,  430,
674      430,  430,  484,  329,  413,  412,  484,  413,  484,  484,
675
676      414,  451,  451,  451,  451,  389,  389,  412,  413,  484,
677      416,  413,  367,  484,  414,  413,  484,  484,  413,  435,
678      432,  414,  433,  417,  436,  435,  484,  432,  484,  433,
679      436,  416,  484,  466,  484,  413,  466,  437,  413,  467,
680      484,  414,  484,  437,  417,  413,  484,  432,  413,  433,
681      452,  414,  420,  420,  420,  420,  435,  432,  484,  433,
682      484,  436,  472,  484,  419,  438,  438,  438,  438,  484,
683      439,  421,  484,  484,  437,  422,  422,  422,  422,  484,
684      423,  484,  484,  484,  421,  484,  484,  484,  484,  484,
685      484,  484,  484,  484,  405,  440,  441,  441,  440,  440,
686
687      442,  440,  443,  440,  440,  443,  440,  440,  440,  440,
688      440,  443,  440,  440,  440,  441,  441,  441,  441,  441,
689      440,  444,  440,  440,  440,  441,  441,  441,  441,  441,
690      441,  441,  441,  441,  441,  441,  441,  441,  441,  441,
691      441,  441,  441,  441,  440,  440,  425,  425,  425,  425,
692      446,  446,  446,  446,  484,  319,  427,  427,  427,  427,
693      484,  319,  484,  484,  484,  426,  484,  484,  484,  426,
694      428,  428,  428,  428,  484,  409,  447,  447,  447,  447,
695      484,  329,  430,  430,  430,  430,  484,  329,  484,  429,
696      484,  438,  438,  438,  438,  429,  439,  484,  484,  484,
697
698      484,  412,  484,  484,  484,  484,  484,  484,  484,  484,
699      421,  456,  457,  457,  456,  456,  458,  456,  459,  456,
700      456,  459,  456,  456,  456,  456,  456,  459,  456,  456,
701      456,  457,  457,  457,  457,  457,  456,  460,  456,  456,
702      456,  457,  457,  457,  457,  457,  457,  457,  457,  457,
703      457,  457,  457,  457,  457,  457,  457,  457,  457,  457,
704      456,  456,  463,  463,  484,  463,  463,  463,  463,  484,
705      463,  484,  463,  484,  463,  463,  484,  484,  484,  484,
706      465,  463,  463,  484,  484,  484,  484,  484,  463,  463,
707      463,  446,  446,  446,  446,  484,  319,  447,  447,  447,
708
709      447,  484,  329,  435,  484,  484,  484,  484,  449,  484,
710      426,  466,  463,  463,  466,  484,  429,  467,  484,  435,
711      432,  450,  433,  466,  449,  484,  466,  469,  484,  467,
712      477,  432,  484,  433,  484,  481,  484,  450,  484,  484,
713      470,  463,  463,  484,  463,  463,  463,  463,  482,  463,
714      484,  463,  467,  463,  463,  484,  466,  484,  484,  466,
715      463,  463,  467,  484,  484,  484,  484,  463,  463,  463,
716      484,  484,  469,  484,  466,  484,  484,  466,  484,  484,
717      467,  484,  484,  484,  484,  470,  432,  484,  433,  484,
718      469,  463,  463,  466,  484,  484,  466,  477,  484,  467,
719
720      484,  484,  478,  470,  477,  432,  484,  433,  484,  478,
721      484,  484,  484,  466,  484,  479,  466,  484,  484,  467,
722      484,  484,  479,  466,  484,  432,  466,  433,  484,  467,
723      484,  484,  484,  484,  477,  432,  484,  433,  484,  478,
724      477,  484,  472,  484,  484,  481,  477,  432,  484,  433,
725      484,  481,  479,  484,  484,  484,  484,  484,  482,  484,
726      484,  484,  484,  484,  482,   40,   40,   40,   40,   40,
727       40,   40,   40,   40,   40,   40,   55,   55,   55,   55,
728       55,   55,   55,   55,   55,   55,   55,   65,   65,   65,
729       65,   65,   65,   65,   65,   65,   65,   65,   78,   78,
730
731       78,   78,   78,   78,   78,   78,   78,   78,   78,   80,
732       80,   80,   80,   80,   80,   80,   80,   80,   80,   80,
733       81,   81,   81,   81,   81,   81,   81,   81,   81,   81,
734       81,   98,   98,   98,   98,   98,   98,   98,   98,   98,
735       98,   98,   76,   76,   76,   76,   76,   76,   76,   76,
736       76,   76,   76,  106,  106,  106,  106,  106,  106,  106,
737      106,  106,  106,  106,  117,  117,  117,  117,  117,  117,
738      117,  117,  117,  117,  117,  127,  127,  127,  127,  127,
739      127,  127,  127,  127,  127,  127,  131,  131,  131,  131,
740      131,  131,  131,  131,  131,  131,  131,  135,  135,  135,
741
742      135,  135,  135,  135,  135,  135,  135,  135,  138,  138,
743      138,  138,  138,  138,  138,  138,  138,  138,  138,  141,
744      141,  141,  141,  141,  141,  141,  141,  141,  141,  141,
745      175,  175,  175,  484,  484,  175,  175,  178,  178,  178,
746      484,  484,  178,  178,  205,  205,  484,  205,  205,  205,
747      205,  205,  205,  205,  205,  239,  239,  484,  239,  239,
748      239,  239,  239,  239,  239,  239,  252,  252,  484,  252,
749      252,  252,  252,  252,  252,  252,  252,  254,  254,  484,
750      254,  254,  254,  254,  254,  254,  254,  254,  258,  258,
751      484,  258,  258,  258,  258,  258,  258,  258,  258,  269,
752
753      269,  484,  269,  269,  269,  269,  269,  269,  269,  269,
754      270,  270,  484,  270,  270,  270,  270,  270,  270,  270,
755      270,  280,  280,  484,  280,  280,  280,  280,  280,  280,
756      280,  280,  281,  281,  484,  281,  281,  281,  281,  281,
757      281,  281,  281,  338,  484,  484,  484,  484,  338,  346,
758      484,  484,  484,  484,  346,  366,  366,  366,  484,  484,
759      366,  366,  484,  484,  366,  373,  484,  484,  484,  484,
760      373,  382,  484,  484,  484,  382,  390,  390,  484,  390,
761      390,  390,  390,  390,  390,  390,  390,  398,  484,  484,
762      484,  398,  389,  389,  484,  389,  389,  389,  389,  389,
763
764      389,  389,  389,  415,  484,  484,  484,  415,  415,  484,
765      484,  484,  415,  418,  484,  484,  484,  418,  418,  431,
766      484,  484,  484,  431,  431,  434,  484,  484,  484,  434,
767      434,  434,  434,  434,  434,  448,  448,  448,  448,  448,
768      464,  464,  484,  464,  464,  464,  464,  464,  464,  464,
769      464,  468,  484,  484,  484,  468,  468,  484,  484,  484,
770      468,  471,  484,  484,  484,  471,  471,  463,  463,  484,
771      463,  463,  463,  463,  463,  463,  463,  463,  475,  484,
772      484,  484,  475,  475,  476,  484,  484,  484,  476,  476,
773      476,  476,  476,  476,  480,  480,  480,  480,  480,   39,
774
775      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
776      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
777      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
778      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
779      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
780      484,  484
781    } ;
782
783static yyconst short int yy_chk[2253] =
784    {   0,
785        0,    1,    1,    1,    1,    0,   11,   11,    3,   11,
786      130,   15,   12,   12,   16,   12,    1,   11,   11,    1,
787      134,   11,    3,   12,   12,    1,   31,   12,   29,    1,
788       31,  130,    1,   30,    1,    3,   15,    1,    3,   16,
789       29,  134,    1,    3,    1,   30,    1,    1,    2,    2,
790        2,    2,    3,    3,   32,   11,   33,  525,   32,   15,
791       33,   12,   16,    2,   17,   17,    2,   17,   58,   17,
792       18,   18,    2,   18,   25,   18,    2,   58,   25,    2,
793      192,    2,   26,   27,    2,   66,   26,   27,   66,    2,
794      217,    2,   28,    2,    2,    4,   28,   34,  517,   25,
795
796      102,   34,   69,  102,  477,  217,  217,   26,   27,    4,
797      474,   69,  164,   17,  414,  164,  414,   28,    4,   18,
798      196,  465,    4,  196,  192,    4,   92,   92,   92,   92,
799        4,   92,  462,  225,  237,    4,  225,  237,  346,    4,
800        4,    5,    5,  460,    5,   94,   94,   94,   94,  459,
801       94,  346,   95,   95,   95,   95,    5,   95,   96,   96,
802       96,   96,  262,   96,  155,  262,  437,  155,  467,    5,
803      467,  155,    5,  182,  182,  182,  182,    5,  182,  155,
804      184,  184,  184,  184,  437,  184,    5,    5,    6,    6,
805      457,    6,  185,  185,  185,  185,  456,  185,  444,  194,
806
807      194,  194,  194,    6,  194,  443,  441,   96,  186,  186,
808      186,  186,    6,  186,  207,  300,    6,  207,  300,    6,
809      190,  190,  190,  190,    6,  207,  450,  299,  366,    6,
810      299,  366,  479,    6,    6,    7,    7,    7,    7,    7,
811        7,    7,  482,    7,  450,    7,  216,    7,    7,  216,
812      479,  440,  435,  216,    7,    7,  299,  186,  299,  366,
813      482,    7,    7,    7,  214,  214,  214,  214,  433,  190,
814      371,  368,  424,  371,  368,  223,  223,  223,  223,  235,
815      235,  235,  235,  214,  406,    7,    7,    8,    8,    8,
816        8,    8,    8,    8,  223,    8,  403,    8,  235,    8,
817
818        8,  214,  368,  394,  373,  382,    8,    8,  296,  296,
819      296,  296,  223,    8,    8,    8,  235,  373,  382,  241,
820      241,  241,  241,  392,  241,  242,  242,  242,  242,  391,
821      242,  243,  243,  243,  243,  383,  243,    8,    8,    9,
822        9,    9,    9,    9,    9,    9,  388,    9,  383,    9,
823      256,    9,    9,  256,  386,  256,  381,  296,    9,    9,
824      384,  256,  398,  380,  378,    9,    9,    9,  241,  261,
825      261,  261,  261,  384,  242,  398,  245,  245,  245,  245,
826      243,  245,  249,  249,  249,  249,  377,  249,  261,    9,
827        9,   10,   10,   10,   10,   10,   10,   10,  375,   10,
828
829      367,   10,  363,   10,   10,  264,  264,  264,  264,  261,
830       10,   10,  361,  274,  274,  274,  274,   10,   10,   10,
831      399,  359,  400,  277,  264,  245,  277,  357,  277,  355,
832      354,  249,  274,  399,  277,  400,  353,  352,  350,  349,
833      343,   10,   10,   13,   13,   13,   13,   13,   13,   13,
834       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
835       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
836       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
837       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
838       13,   13,   13,   13,   13,   19,  342,  332,  330,   19,
839
840      325,  273,  273,  273,  273,   19,   19,  324,  322,   19,
841      265,  265,  265,  265,  320,  265,  315,  314,  313,   19,
842      273,   19,  312,  275,  275,  275,  275,  369,  275,  265,
843      369,  285,  285,  285,  285,   19,  311,  298,  298,  298,
844      298,  273,  275,   19,   19,   20,  308,  304,  303,   20,
845      285,  284,  284,  284,  284,   20,   20,  289,  369,   20,
846      286,  286,  286,  286,  287,  286,  283,  282,  278,   20,
847      284,   20,  288,  276,  272,  288,  271,  288,  307,  286,
848      268,  307,  267,  288,  266,   20,  298,  290,  290,  290,
849      290,  284,  290,   20,   20,   23,  263,  260,  259,   23,
850
851      257,  305,  305,  305,  305,   23,   23,  307,  255,   23,
852      253,  291,  291,  291,  291,  251,  291,  449,  246,   23,
853      305,   23,  449,  293,  293,  293,  293,  240,  293,  294,
854      294,  294,  294,  238,  294,  449,  290,  236,  316,  316,
855      316,  316,  234,   23,   23,   24,  233,  337,  232,   24,
856      337,  326,  326,  326,  326,   24,   24,  316,  230,   24,
857      291,  306,  306,  306,  306,  229,  306,  228,  481,   24,
858      326,   24,  293,  481,  431,  431,  337,  431,  294,  431,
859      306,  227,  226,  224,  222,  221,  481,  220,  218,  215,
860      213,  212,  431,   24,   24,   89,   89,   89,   89,   89,
861
862       89,   89,   89,   89,   89,   89,   89,   89,   89,   89,
863       89,   89,   89,   89,   89,   89,   89,   89,   89,   89,
864       89,   89,   89,   89,   89,   89,   89,   89,   89,   89,
865       89,   89,   89,   89,   89,   89,   89,   89,   89,   89,
866       89,   89,   89,   89,   89,   89,   93,   93,   93,   93,
867       93,   93,   93,   93,   93,   93,   93,   93,   93,   93,
868       93,   93,   93,   93,   93,   93,   93,   93,   93,   93,
869       93,   93,   93,   93,   93,   93,   93,   93,   93,   93,
870       93,   93,   93,   93,   93,   93,   93,   93,   93,   93,
871       93,   93,   93,   93,   93,   93,   93,  165,  211,  210,
872
873      165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
874      165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
875      165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
876      165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
877      165,  165,  165,  165,  165,  165,  165,  165,  193,  193,
878      193,  193,  193,  193,  193,  193,  193,  193,  193,  193,
879      193,  193,  193,  193,  193,  193,  193,  193,  193,  193,
880      193,  193,  193,  193,  193,  193,  193,  193,  193,  193,
881      193,  193,  193,  193,  193,  193,  193,  193,  193,  193,
882      193,  193,  193,  193,  193,  193,  193,  193,  193,  309,
883
884      309,  309,  309,  209,  309,  206,  204,  198,  191,  189,
885      188,  179,  178,  177,  175,  173,  172,  171,  309,  310,
886      310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
887      310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
888      310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
889      310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
890      310,  310,  310,  310,  310,  310,  310,  310,  310,  310,
891      317,  317,  317,  317,  170,  317,  318,  318,  318,  318,
892      169,  318,  327,  327,  327,  327,  168,  327,  167,  317,
893      166,  328,  328,  328,  328,  318,  328,  334,  334,  334,
894
895      334,  327,  335,  335,  335,  335,  341,  163,  162,  341,
896      328,  339,  339,  339,  339,  344,  344,  344,  344,  161,
897      344,  160,  339,  358,  358,  358,  358,  159,  358,  158,
898      365,  365,  365,  365,  344,  341,  451,  451,  451,  451,
899      339,  365,  358,  157,  156,  154,  334,  387,  387,  387,
900      387,  335,  338,  338,  338,  338,  362,  362,  362,  362,
901      339,  362,  153,  338,  152,  151,  387,  150,  338,  393,
902      393,  393,  393,  149,  148,  362,  147,  397,  146,  365,
903      397,  338,  145,  397,  144,  451,  387,  137,  393,  122,
904      395,  395,  395,  395,  396,  114,  111,  396,  100,   86,
905
906      396,  338,  340,  340,  340,  340,  397,   80,  393,  395,
907      396,  413,   79,  340,  413,   78,   75,  413,  340,  404,
908      404,  404,  404,  396,   74,  405,  405,  405,  405,  395,
909      405,  340,   73,  340,   72,   71,   70,   68,  404,   64,
910      413,   63,   62,   61,  405,   60,   59,   57,   54,   53,
911       52,  340,  345,  345,  345,  345,  345,  345,  345,  345,
912      345,  345,  345,  345,  345,  345,  345,  345,  345,  345,
913      345,  345,  345,  345,  345,  345,  345,  345,  345,  345,
914      345,  345,  345,  345,  345,  345,  345,  345,  345,  345,
915      345,  345,  345,  345,  345,  345,  345,  345,  345,  345,
916
917      345,  345,  345,  356,  356,   51,  356,  356,  356,  356,
918       50,  356,   49,  356,   48,  356,  356,  408,  408,  408,
919      408,  356,  356,  356,  401,  401,  401,  401,   47,  356,
920      356,  356,  407,  407,  407,  407,  408,   46,  410,  410,
921      410,  410,   44,  401,   41,  409,  409,  409,  409,   39,
922      409,  407,    0,  356,  356,  390,  390,  410,  390,  390,
923      390,  390,    0,  390,  409,  390,    0,  390,  390,    0,
924        0,    0,  401,    0,  390,  390,  411,  411,  411,  411,
925      407,  390,  390,  390,    0,    0,  410,    0,  412,  412,
926      412,  412,    0,  412,  416,  411,    0,  416,    0,    0,
927
928      416,  432,  432,  432,  432,  390,  390,  412,  415,    0,
929      416,  415,  432,    0,  415,  417,    0,    0,  417,  415,
930      415,  417,  415,  416,  415,  436,  436,  417,  436,  417,
931      436,  417,    0,  454,    0,  419,  454,  415,  419,  454,
932        0,  419,    0,  436,  417,  418,    0,  419,  418,  419,
933      432,  418,  420,  420,  420,  420,  418,  418,    0,  418,
934        0,  418,  454,    0,  419,  421,  421,  421,  421,    0,
935      421,  420,    0,    0,  418,  422,  422,  422,  422,    0,
936      422,    0,    0,    0,  421,    0,    0,    0,    0,    0,
937        0,    0,    0,    0,  422,  423,  423,  423,  423,  423,
938
939      423,  423,  423,  423,  423,  423,  423,  423,  423,  423,
940      423,  423,  423,  423,  423,  423,  423,  423,  423,  423,
941      423,  423,  423,  423,  423,  423,  423,  423,  423,  423,
942      423,  423,  423,  423,  423,  423,  423,  423,  423,  423,
943      423,  423,  423,  423,  423,  423,  425,  425,  425,  425,
944      426,  426,  426,  426,    0,  426,  427,  427,  427,  427,
945        0,  427,    0,    0,    0,  425,    0,    0,    0,  426,
946      428,  428,  428,  428,    0,  427,  429,  429,  429,  429,
947        0,  429,  430,  430,  430,  430,    0,  430,    0,  428,
948        0,  438,  438,  438,  438,  429,  438,    0,    0,    0,
949
950        0,  430,    0,    0,    0,    0,    0,    0,    0,    0,
951      438,  439,  439,  439,  439,  439,  439,  439,  439,  439,
952      439,  439,  439,  439,  439,  439,  439,  439,  439,  439,
953      439,  439,  439,  439,  439,  439,  439,  439,  439,  439,
954      439,  439,  439,  439,  439,  439,  439,  439,  439,  439,
955      439,  439,  439,  439,  439,  439,  439,  439,  439,  439,
956      439,  439,  445,  445,    0,  445,  445,  445,  445,    0,
957      445,    0,  445,    0,  445,  445,    0,    0,    0,    0,
958      445,  445,  445,    0,    0,    0,    0,    0,  445,  445,
959      445,  446,  446,  446,  446,    0,  446,  447,  447,  447,
960
961      447,    0,  447,  448,  448,    0,  448,    0,  448,    0,
962      446,  453,  445,  445,  453,    0,  447,  453,    0,  455,
963      455,  448,  455,  466,  455,    0,  466,  453,    0,  466,
964      475,  475,    0,  475,    0,  475,    0,  455,    0,    0,
965      453,  464,  464,    0,  464,  464,  464,  464,  475,  464,
966        0,  464,  466,  464,  464,    0,  469,    0,    0,  469,
967      464,  464,  469,    0,    0,    0,    0,  464,  464,  464,
968        0,    0,  469,    0,  470,    0,    0,  470,    0,    0,
969      470,    0,    0,    0,    0,  469,  470,    0,  470,    0,
970      470,  464,  464,  468,    0,    0,  468,  478,  478,  468,
971
972      478,    0,  478,  470,  468,  468,    0,  468,    0,  468,
973        0,    0,    0,  472,    0,  478,  472,    0,    0,  472,
974        0,    0,  468,  471,    0,  472,  471,  472,    0,  471,
975        0,    0,    0,    0,  471,  471,    0,  471,    0,  471,
976      480,  480,  472,  480,    0,  480,  483,  483,    0,  483,
977        0,  483,  471,    0,    0,    0,    0,    0,  480,    0,
978        0,    0,    0,    0,  483,  485,  485,  485,  485,  485,
979      485,  485,  485,  485,  485,  485,  486,  486,  486,  486,
980      486,  486,  486,  486,  486,  486,  486,  487,  487,  487,
981      487,  487,  487,  487,  487,  487,  487,  487,  488,  488,
982
983      488,  488,  488,  488,  488,  488,  488,  488,  488,  489,
984      489,  489,  489,  489,  489,  489,  489,  489,  489,  489,
985      490,  490,  490,  490,  490,  490,  490,  490,  490,  490,
986      490,  491,  491,  491,  491,  491,  491,  491,  491,  491,
987      491,  491,  492,  492,  492,  492,  492,  492,  492,  492,
988      492,  492,  492,  493,  493,  493,  493,  493,  493,  493,
989      493,  493,  493,  493,  494,  494,  494,  494,  494,  494,
990      494,  494,  494,  494,  494,  495,  495,  495,  495,  495,
991      495,  495,  495,  495,  495,  495,  496,  496,  496,  496,
992      496,  496,  496,  496,  496,  496,  496,  497,  497,  497,
993
994      497,  497,  497,  497,  497,  497,  497,  497,  498,  498,
995      498,  498,  498,  498,  498,  498,  498,  498,  498,  499,
996      499,  499,  499,  499,  499,  499,  499,  499,  499,  499,
997      500,  500,  500,    0,    0,  500,  500,  501,  501,  501,
998        0,    0,  501,  501,  502,  502,    0,  502,  502,  502,
999      502,  502,  502,  502,  502,  503,  503,    0,  503,  503,
1000      503,  503,  503,  503,  503,  503,  504,  504,    0,  504,
1001      504,  504,  504,  504,  504,  504,  504,  505,  505,    0,
1002      505,  505,  505,  505,  505,  505,  505,  505,  506,  506,
1003        0,  506,  506,  506,  506,  506,  506,  506,  506,  507,
1004
1005      507,    0,  507,  507,  507,  507,  507,  507,  507,  507,
1006      508,  508,    0,  508,  508,  508,  508,  508,  508,  508,
1007      508,  509,  509,    0,  509,  509,  509,  509,  509,  509,
1008      509,  509,  510,  510,    0,  510,  510,  510,  510,  510,
1009      510,  510,  510,  511,    0,    0,    0,    0,  511,  512,
1010        0,    0,    0,    0,  512,  513,  513,  513,    0,    0,
1011      513,  513,    0,    0,  513,  514,    0,    0,    0,    0,
1012      514,  515,    0,    0,    0,  515,  516,  516,    0,  516,
1013      516,  516,  516,  516,  516,  516,  516,  518,    0,    0,
1014        0,  518,  519,  519,    0,  519,  519,  519,  519,  519,
1015
1016      519,  519,  519,  520,    0,    0,    0,  520,  520,    0,
1017        0,    0,  520,  521,    0,    0,    0,  521,  521,  522,
1018        0,    0,    0,  522,  522,  523,    0,    0,    0,  523,
1019      523,  523,  523,  523,  523,  524,  524,  524,  524,  524,
1020      526,  526,    0,  526,  526,  526,  526,  526,  526,  526,
1021      526,  527,    0,    0,    0,  527,  527,    0,    0,    0,
1022      527,  528,    0,    0,    0,  528,  528,  529,  529,    0,
1023      529,  529,  529,  529,  529,  529,  529,  529,  530,    0,
1024        0,    0,  530,  530,  531,    0,    0,    0,  531,  531,
1025      531,  531,  531,  531,  532,  532,  532,  532,  532,  484,
1026
1027      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
1028      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
1029      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
1030      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
1031      484,  484,  484,  484,  484,  484,  484,  484,  484,  484,
1032      484,  484
1033    } ;
1034
1035static yy_state_type yy_last_accepting_state;
1036static char *yy_last_accepting_cpos;
1037
1038/* The intent behind this definition is that it'll catch
1039 * any uses of REJECT which flex missed.
1040 */
1041#define REJECT reject_used_but_not_detected
1042static int yy_more_flag = 0;
1043static int yy_more_len = 0;
1044#define yymore() (yy_more_flag = 1)
1045#define YY_MORE_ADJ yy_more_len
1046#define YY_RESTORE_YY_MORE_OFFSET
1047char *yytext;
1048#line 1 "libparse.l"
1049#define INITIAL 0
1050#line 2 "libparse.l"
1051/****************************************
1052*  Computer Algebra System SINGULAR     *
1053****************************************/
1054#include <stdio.h>
1055#include <string.h>
1056#include <stdlib.h>
1057#include <ctype.h>
1058#ifdef HAVE_CONFIG_H
1059#include "config.h"
1060#endif /* HAVE_CONFIG_H */
1061#include <kernel/mod2.h>
1062#ifdef STANDALONE_PARSER
1063#include <Singular/utils.h>
1064
1065# ifdef HAVE_FACTORY
1066int initializeGMP(){ return 1; } // NEEDED FOR MAIN APP. LINKING!!!
1067int mmInit(void) {return 1; } // ? due to SINGULAR!!!...???
1068# endif
1069
1070  #define HAVE_LIBPARSER
1071  #define YYLPDEBUG 1
1072  #define myfread fread
1073#else
1074  #include <Singular/subexpr.h>
1075  #include <Singular/grammar.h>
1076  #include <Singular/ipshell.h>
1077  #include <Singular/ipid.h>
1078  #include <Singular/tok.h>
1079  #include <misc/options.h>
1080  #include <kernel/febase.h>
1081  #include <omalloc/omalloc.h>
1082#endif
1083#include <Singular/libparse.h>
1084
1085#ifdef HAVE_LIBPARSER
1086#define YY_SKIP_YYWRAP
1087
1088typedef enum { LP_NONE, LP_INFO, LP_CATEGORY, LP_URL, LP_VERSION} lib_cmds;
1089
1090int libread(FILE* f, char* buf, int max_size);
1091int current_pos(int i);
1092void print_version(lp_modes mode, char *p);
1093void copy_string(lp_modes mode);
1094extern void piCleanUp(procinfov pi);
1095void make_version(char *p, int what);
1096
1097int brace1 = 0;  /* { } */
1098int brace2 = 0;  /* ( ) */
1099int brace3 = 0;  /* [ ] */
1100int quote  = 0;  /* " */
1101int offset = 0;
1102BOOLEAN p_static = FALSE;
1103int old_state = 0;
1104lib_cmds last_cmd = LP_NONE;
1105
1106char libnamebuf[128];
1107char *text_buffer=NULL;
1108long string_start;
1109
1110char *yylp_buffer_start;
1111int yylplineno = 1;
1112int lpverbose = 0, check = 0;
1113int texinfo_out = 0;
1114int found_info=0,
1115    found_cat=0,
1116    found_version=0,
1117    found_oldhelp = 0,
1118    found_proc_in_proc = 0;
1119
1120const char *yylp_errlist[]= {
1121   "",
1122   "missing close bracket ')' for proc definition in line %d.",  /*  1 */
1123   "missing close bracket ')' for procbody in line %d.",         /*  2 */
1124   "missing close bracket ']' for procbody in line %d.",         /*  3 */
1125   "too many ')' closed brackets in line %d.",                   /*  4 */
1126   "too many ']' closed brackets in line %d.",                   /*  5 */
1127   "missing close bracket ')' for example in line %d.",          /*  6 */
1128   "missing close bracket ']' for example in line %d.",          /*  7 */
1129   "cannot assign character '%c' in line %d to any group.",      /*  8 */
1130   "there must be a quote missing somewhere before line %d.",    /*  9 */
1131   "missing close bracket '}' at end of library in line %d.",    /* 10 */
1132   "missing close bracket ')' at end of library in line %d.",    /* 11 */
1133   "missing close bracket ']' at end of library in line %d.",    /* 12 */
1134   NULL
1135};
1136int yylp_errno = 0;
1137
1138#ifdef STANDALONE_PARSER
1139procinfov pi;
1140int category_out = 0;
1141void printpi(procinfov pi);
1142void pi_clear(procinfov pi);
1143extern "C" {
1144  int yylpwrap();
1145}
1146void main_init(int argc, char *argv[]);
1147void main_result(char *libname);
1148#else /* STANDALONE_PARSER */
1149idhdl h0;
1150idhdl h_top;
1151#define pi IDPROC(h0)
1152extern "C"
1153{
1154  int yylpwrap();
1155}
1156extern libstackv library_stack;
1157#endif /* STANDALONE_PARSER */
1158
1159static unsigned long help_chksum;
1160
1161#define SET_DEF_END(mode, pi, p) \
1162  if ( mode == LOAD_LIB) pi->data.s.def_end = p;
1163#define SET_HELP_START(mode, pi, p) \
1164  if ( mode == LOAD_LIB) {pi->data.s.help_start = p; help_chksum = 0;}
1165#define SET_HELP_END(mode, pi, p) \
1166  if ( mode == LOAD_LIB) {pi->data.s.help_end = p;  \
1167              pi->data.s.help_chksum = help_chksum;}
1168
1169#define SET_BODY_START(mode, pi, l, p) \
1170     if ( mode == LOAD_LIB)            \
1171     {                                 \
1172       pi->data.s.body_lineno = l;     \
1173       pi->data.s.body_start = p;      \
1174     }
1175#define SET_BODY_END(mode, pi, p) \
1176     if ( mode == LOAD_LIB)       \
1177     {                            \
1178       pi->data.s.body_end = p-1; \
1179       pi->data.s.proc_end = p-1; \
1180     }
1181
1182#define SET_EXAMPLE_START(mode, pi, l, p) \
1183   if ( mode == LOAD_LIB)                 \
1184   {                                      \
1185     pi->data.s.example_lineno = l;       \
1186     pi->data.s.example_start = p;        \
1187   }
1188#define SET_PROC_END(mode, pi, p)   \
1189     if ( mode == LOAD_LIB)         \
1190     {                              \
1191       pi->data.s.proc_end = p-1;   \
1192       if(pi->data.s.body_end==0)   \
1193         pi->data.s.body_end = p-1; \
1194     }
1195
1196#define ROTATE_RIGHT(c) if ((c) & 01) (c) = ((c) >>1) + 0x8000; else (c) >>= 1;
1197#define IncrCheckSum(c)                          \
1198do                                            \
1199{                                             \
1200  ROTATE_RIGHT(help_chksum);                  \
1201  help_chksum += c;                           \
1202  help_chksum &= 0xffff;                      \
1203}                                             \
1204while(0)
1205
1206#undef YY_DECL
1207#define YY_DECL int yylex(char *newlib, const char *libfile, \
1208                           lib_style_types *lib_style, \
1209                           idhdl pl, BOOLEAN autoexport, lp_modes mode)
1210#undef YY_INPUT
1211#define YY_INPUT(buf,result,max_size) \
1212          if ( ((result = libread( (yyin), (char *) buf, max_size )) < 0 ) \
1213                  && ferror( yyin ) ) \
1214                YY_FATAL_ERROR( "read in flex scanner failed" );
1215
1216#define YY_USER_INIT { \
1217       BEGIN(header); \
1218       yylplineno = 1; \
1219       yylp_errno = 0; \
1220       *lib_style = OLD_LIBSTYLE; \
1221       strcpy(libnamebuf,"(**unknown version**)"); \
1222     }
1223
1224#if 0
1225<pbody>proc[ \t]+{name}  {
1226                           printf("MISSING: PROC-cmd found. ERROR!\n"); }
1227<pbody>example[ \t]*\n   {
1228                           yylplineno++;
1229                           printf("MISSING: EXAMPLE-cmd found. ERROR!\n"); }
1230info=+"\"" {
1231#endif
1232
1233/* %start START */
1234#define header 1
1235
1236#define help 2
1237
1238#define libcmd 3
1239
1240#define libcmd2 4
1241
1242#define pdef 5
1243
1244#define phead 6
1245
1246#define poldhelp 7
1247
1248#define phelp 8
1249
1250#define pbody 9
1251
1252#define pstr 10
1253
1254#define pexample 11
1255
1256#define pestr 12
1257
1258#define string 13
1259
1260#define comment 14
1261
1262#define info 15
1263
1264#define category 16
1265
1266#define url 17
1267
1268#define version 18
1269
1270
1271/* Macros after this point can all be overridden by user definitions in
1272 * section 1.
1273 */
1274
1275#ifndef YY_SKIP_YYWRAP
1276#ifdef __cplusplus
1277extern "C" int yywrap YY_PROTO(( void ));
1278#else
1279extern int yywrap YY_PROTO(( void ));
1280#endif
1281#endif
1282
1283#ifndef YY_NO_UNPUT
1284static void yyunput YY_PROTO(( int c, char *buf_ptr ));
1285#endif
1286
1287#ifndef yytext_ptr
1288static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
1289#endif
1290
1291#ifdef YY_NEED_STRLEN
1292static int yy_flex_strlen YY_PROTO(( yyconst char * ));
1293#endif
1294
1295#ifndef YY_NO_INPUT
1296#ifdef __cplusplus
1297static int yyinput YY_PROTO(( void ));
1298#else
1299static int input YY_PROTO(( void ));
1300#endif
1301#endif
1302
1303#if YY_STACK_USED
1304static int yy_start_stack_ptr = 0;
1305static int yy_start_stack_depth = 0;
1306static int *yy_start_stack = 0;
1307#ifndef YY_NO_PUSH_STATE
1308static void yy_push_state YY_PROTO(( int new_state ));
1309#endif
1310#ifndef YY_NO_POP_STATE
1311static void yy_pop_state YY_PROTO(( void ));
1312#endif
1313#ifndef YY_NO_TOP_STATE
1314static int yy_top_state YY_PROTO(( void ));
1315#endif
1316
1317#else
1318#define YY_NO_PUSH_STATE 1
1319#define YY_NO_POP_STATE 1
1320#define YY_NO_TOP_STATE 1
1321#endif
1322
1323#ifdef YY_MALLOC_DECL
1324YY_MALLOC_DECL
1325#else
1326#if __STDC__
1327#ifndef __cplusplus
1328#include <stdlib.h>
1329#endif
1330#else
1331/* Just try to get by without declaring the routines.  This will fail
1332 * miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
1333 * or sizeof(void*) != sizeof(int).
1334 */
1335#endif
1336#endif
1337
1338/* Amount of stuff to slurp up with each read. */
1339#ifndef YY_READ_BUF_SIZE
1340#define YY_READ_BUF_SIZE 8192
1341#endif
1342
1343/* Copy whatever the last rule matched to the standard output. */
1344
1345#ifndef ECHO
1346/* This used to be an fputs(), but since the string might contain NUL's,
1347 * we now use fwrite().
1348 */
1349#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
1350#endif
1351
1352/* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
1353 * is returned in "result".
1354 */
1355#ifndef YY_INPUT
1356#define YY_INPUT(buf,result,max_size) \
1357        if ( yy_current_buffer->yy_is_interactive ) \
1358                { \
1359                int c = '*', n; \
1360                for ( n = 0; n < max_size && \
1361                             (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
1362                        buf[n] = (char) c; \
1363                if ( c == '\n' ) \
1364                        buf[n++] = (char) c; \
1365                if ( c == EOF && ferror( yyin ) ) \
1366                        YY_FATAL_ERROR( "input in flex scanner failed" ); \
1367                result = n; \
1368                } \
1369        else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
1370                  && ferror( yyin ) ) \
1371                YY_FATAL_ERROR( "input in flex scanner failed" );
1372#endif
1373
1374/* No semi-colon after return; correct usage is to write "yyterminate();" -
1375 * we don't want an extra ';' after the "return" because that will cause
1376 * some compilers to complain about unreachable statements.
1377 */
1378#ifndef yyterminate
1379#define yyterminate() return YY_NULL
1380#endif
1381
1382/* Number of entries by which start-condition stack grows. */
1383#ifndef YY_START_STACK_INCR
1384#define YY_START_STACK_INCR 25
1385#endif
1386
1387/* Report a fatal error. */
1388#ifndef YY_FATAL_ERROR
1389#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
1390#endif
1391
1392/* Default declaration of generated scanner - a define so the user can
1393 * easily add parameters.
1394 */
1395#ifndef YY_DECL
1396#define YY_DECL int yylex YY_PROTO(( void ))
1397#endif
1398
1399/* Code executed at the beginning of each rule, after yytext and yyleng
1400 * have been set up.
1401 */
1402#ifndef YY_USER_ACTION
1403#define YY_USER_ACTION
1404#endif
1405
1406/* Code executed at the end of each rule. */
1407#ifndef YY_BREAK
1408#define YY_BREAK break;
1409#endif
1410
1411#define YY_RULE_SETUP \
1412        if ( yyleng > 0 ) \
1413                yy_current_buffer->yy_at_bol = \
1414                                (yytext[yyleng - 1] == '\n'); \
1415        YY_USER_ACTION
1416
1417YY_DECL
1418        {
1419        register yy_state_type yy_current_state;
1420        register char *yy_cp = NULL, *yy_bp = NULL;
1421        register int yy_act;
1422
1423#line 228 "libparse.l"
1424
1425
1426        if ( yy_init )
1427                {
1428                yy_init = 0;
1429
1430#ifdef YY_USER_INIT
1431                YY_USER_INIT;
1432#endif
1433
1434                if ( ! yy_start )
1435                        yy_start = 1;   /* first start state */
1436
1437                if ( ! yyin )
1438                        yyin = stdin;
1439
1440                if ( ! yyout )
1441                        yyout = stdout;
1442
1443                if ( ! yy_current_buffer )
1444                        yy_current_buffer =
1445                                yy_create_buffer( yyin, YY_BUF_SIZE );
1446
1447                yy_load_buffer_state();
1448                }
1449
1450        while ( 1 )             /* loops until end-of-file is reached */
1451                {
1452                yy_more_len = 0;
1453                if ( yy_more_flag )
1454                        {
1455                        yy_more_len = yy_c_buf_p - yytext_ptr;
1456                        yy_more_flag = 0;
1457                        }
1458                yy_cp = yy_c_buf_p;
1459
1460                /* Support of yytext. */
1461                *yy_cp = yy_hold_char;
1462
1463                /* yy_bp points to the position in yy_ch_buf of the start of
1464                 * the current run.
1465                 */
1466                yy_bp = yy_cp;
1467
1468                yy_current_state = yy_start;
1469                yy_current_state += YY_AT_BOL();
1470yy_match:
1471                do
1472                        {
1473                        register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
1474                        if ( yy_accept[yy_current_state] )
1475                                {
1476                                yy_last_accepting_state = yy_current_state;
1477                                yy_last_accepting_cpos = yy_cp;
1478                                }
1479                        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1480                                {
1481                                yy_current_state = (int) yy_def[yy_current_state];
1482                                if ( yy_current_state >= 485 )
1483                                        yy_c = yy_meta[(unsigned int) yy_c];
1484                                }
1485                        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1486                        ++yy_cp;
1487                        }
1488                while ( yy_base[yy_current_state] != 2200 );
1489
1490yy_find_action:
1491                yy_act = yy_accept[yy_current_state];
1492                if ( yy_act == 0 )
1493                        { /* have to back up */
1494                        yy_cp = yy_last_accepting_cpos;
1495                        yy_current_state = yy_last_accepting_state;
1496                        yy_act = yy_accept[yy_current_state];
1497                        }
1498
1499                YY_DO_BEFORE_ACTION;
1500
1501
1502do_action:      /* This label is used only to access EOF actions. */
1503
1504
1505                switch ( yy_act )
1506        { /* beginning of action switch */
1507                        case 0: /* must back up */
1508                        /* undo the effects of YY_DO_BEFORE_ACTION */
1509                        *yy_cp = yy_hold_char;
1510                        yy_cp = yy_last_accepting_cpos;
1511                        yy_current_state = yy_last_accepting_state;
1512                        goto yy_find_action;
1513
1514case 1:
1515YY_RULE_SETUP
1516#line 229 "libparse.l"
1517{ }
1518        YY_BREAK
1519case 2:
1520YY_RULE_SETUP
1521#line 230 "libparse.l"
1522{ old_state = YYSTATE; BEGIN(comment); }
1523        YY_BREAK
1524case 3:
1525YY_RULE_SETUP
1526#line 232 "libparse.l"
1527{
1528         yyless(4); old_state = YYSTATE; BEGIN(info);
1529       }
1530        YY_BREAK
1531case 4:
1532YY_RULE_SETUP
1533#line 235 "libparse.l"
1534{
1535         yyless(8); old_state = YYSTATE; BEGIN(category);
1536       }
1537        YY_BREAK
1538case 5:
1539YY_RULE_SETUP
1540#line 238 "libparse.l"
1541{
1542             if ( mode != GET_INFO )
1543             {
1544               #ifdef STANDALONE_PARSER
1545               if (texinfo_out)
1546               {
1547                 char *c = yytext;
1548                 printf("$url = \"");
1549                 while ((*c != '\0') && (*c != '"')) c++;
1550                 c++;
1551                 while ((*c != '\0') && (*c != '"'))
1552                 {
1553                    if (*c != '\r') putchar(*c);
1554                    c++;
1555                 }
1556                 printf("\";\n");
1557               }
1558               #endif
1559             }
1560       }
1561        YY_BREAK
1562case 6:
1563YY_RULE_SETUP
1564#line 259 "libparse.l"
1565{
1566             found_version++;
1567             if ( mode != GET_INFO )
1568             {
1569               make_version(yytext,1);
1570               #ifdef STANDALONE_PARSER
1571               if (texinfo_out)
1572               {
1573                 char *c = libnamebuf;
1574                 printf("$version = \"");
1575                 while (*c != '\0')
1576                 {
1577                    if (*== '$' || *== '@') putchar('\\');
1578                    if (*c != '\r') putchar(*c);
1579                    if (*== '\\')
1580                    {
1581                      c++;
1582                      if (*c != '"') putchar('\\');
1583                    }
1584                    else
1585                      c++;
1586                 }
1587                 printf("\";\n");
1588               }
1589               else if (!category_out)
1590                 printf("Version:%s;\n", libnamebuf);
1591               #else
1592               if (text_buffer!=NULL) omFree((ADDRESS)text_buffer);
1593               text_buffer = omStrDup(libnamebuf);
1594               omMarkAsStaticAddr(text_buffer);
1595               #endif
1596             }
1597           }
1598        YY_BREAK
1599case 7:
1600YY_RULE_SETUP
1601#line 293 "libparse.l"
1602{ p_static=TRUE; }
1603        YY_BREAK
1604case 8:
1605YY_RULE_SETUP
1606#line 295 "libparse.l"
1607{
1608             char proc[256];
1609             BEGIN(pdef);
1610             found_proc_in_proc = 0;
1611             proc[0]='\0';
1612             sscanf( yytext, "%*[^p]proc %s", proc);
1613             if(strlen(proc)<1) sscanf( yytext, "proc %s", proc);
1614             #if YYLPDEBUG > 1
1615             printf("Newlib:%s\n", newlib);
1616             #endif
1617             #ifdef STANDALONE_PARSER
1618             if ( pi != NULL )
1619             {
1620               printpi(pi);
1621               pi_clear(pi);
1622             }
1623             #ifdef STANDALONE_PARSER
1624             pi = (procinfo *)malloc(sizeof(procinfo));
1625             #else
1626             pi = (procinfo *)omAlloc(sizeof(procinfo));
1627             #endif
1628             iiInitSingularProcinfo(pi, newlib, proc, yylplineno,
1629                                    current_pos(0), p_static);
1630             #else /*STANDALONE_PARSER*/
1631             if( mode == LOAD_LIB)
1632             {
1633               h0 = enterid( proc, 0 /*myynest*/, PROC_CMD,
1634                                 &(IDPACKAGE(pl)->idroot), TRUE, !p_static);
1635               if (h0==NULL) return(1);
1636               if((!p_static) && autoexport)
1637               {
1638                  package save=currPack;
1639                  currPack=basePack;
1640                  h_top = enterid( proc, 0 /*myynest*/, PROC_CMD,
1641                                 &(basePack->idroot), FALSE );
1642                  currPack=save;
1643                  if (h_top==NULL) return(1);
1644               }
1645               /* omCheckAddr(IDID(h0)); */
1646               if (h0!=NULL)
1647               {
1648                 iiInitSingularProcinfo(IDPROC(h0), newlib, proc,
1649                                yylplineno, current_pos(0),p_static);
1650                 if ((!p_static) && (h_top != NULL) && autoexport)
1651                 {
1652                   if(IDPROC(h_top)!=NULL) piCleanUp((procinfo *)IDPROC(h_top));
1653                   IDPROC(h_top)=IDPROC(h0);
1654                   IDPROC(h_top)->ref++;
1655                 }
1656                 IDPROC(h0)->pack=IDPACKAGE(pl);
1657                 if (BVERBOSE(V_LOAD_PROC))
1658                   Warn( "     proc '%s' registered", proc );
1659               }
1660               #endif /*STANDALONE_PARSER*/
1661               SET_DEF_END(mode, pi, current_pos(yyleng+1));
1662               #if YYLPDEBUG
1663               if(lpverbose)
1664               {
1665                  printf("// PROCEDURE '%s' status: %s, ", proc,
1666                      p_static ? "local" : "global");
1667                  printf("starting at line %d,%d: definition end: %d (%d).\n",
1668                      yylplineno, current_pos(0), (int)pi->data.s.def_end, brace1);
1669               }
1670               #endif
1671               p_static=FALSE;
1672             #ifndef STANDALONE_PARSER
1673             }
1674             #endif /*STANDALONE_PARSER*/
1675           }
1676        YY_BREAK
1677case 9:
1678YY_RULE_SETUP
1679#line 364 "libparse.l"
1680{
1681             BEGIN(pexample);
1682             SET_EXAMPLE_START(mode, pi, yylplineno, current_pos(0));
1683             #if YYLPDEBUG
1684             if(lpverbose)
1685             {
1686                printf("//     EXAMPLE at line %d,%d (%d)\n", yylplineno,
1687                    current_pos(0), brace1);
1688             }
1689             #endif
1690           }
1691        YY_BREAK
1692case 10:
1693YY_RULE_SETUP
1694#line 376 "libparse.l"
1695{ quote++;
1696             BEGIN(libcmd);
1697           }
1698        YY_BREAK
1699case 11:
1700YY_RULE_SETUP
1701#line 380 "libparse.l"
1702{ quote++; brace2++;
1703             BEGIN(libcmd2);
1704           }
1705        YY_BREAK
1706case 12:
1707YY_RULE_SETUP
1708#line 384 "libparse.l"
1709{
1710             make_version(yytext, 0);
1711             #if YYLPDEBUG > 1
1712             printf("+(id)HEAD:%s\n", yytext);
1713             #endif
1714           }
1715        YY_BREAK
1716case 13:
1717YY_RULE_SETUP
1718#line 390 "libparse.l"
1719{
1720             #if YYLPDEBUG
1721             printf("+(cmt)HEAD:%s\n", yytext);
1722             #endif
1723           }
1724        YY_BREAK
1725case 14:
1726YY_RULE_SETUP
1727#line 395 "libparse.l"
1728{
1729             #if YYLPDEBUG > 1
1730             printf("-HEAD:%s\n", yytext);
1731             #endif
1732           }
1733        YY_BREAK
1734case 15:
1735YY_RULE_SETUP
1736#line 400 "libparse.l"
1737{ yyless(0);
1738             BEGIN(INITIAL);
1739             yymore();
1740           }
1741        YY_BREAK
1742case 16:
1743YY_RULE_SETUP
1744#line 404 "libparse.l"
1745{
1746             yyless(0);
1747             *lib_style = NEW_LIBSTYLE;
1748             BEGIN(INITIAL);
1749             yymore();
1750           }
1751        YY_BREAK
1752case 17:
1753YY_RULE_SETUP
1754#line 411 "libparse.l"
1755{ quote++;
1756             BEGIN(libcmd);
1757           }
1758        YY_BREAK
1759case 18:
1760YY_RULE_SETUP
1761#line 414 "libparse.l"
1762{ quote++; brace2++;
1763             BEGIN(libcmd2);
1764           }
1765        YY_BREAK
1766case 19:
1767YY_RULE_SETUP
1768#line 417 "libparse.l"
1769{ yylplineno++; }
1770        YY_BREAK
1771case 20:
1772YY_RULE_SETUP
1773#line 418 "libparse.l"
1774{
1775             #if YYLPDEBUG > 1
1776             printf(" HEAD:%s\n", yytext);
1777             #endif
1778             yyless(0);
1779             BEGIN(help);
1780           }
1781        YY_BREAK
1782case 21:
1783YY_RULE_SETUP
1784#line 425 "libparse.l"
1785{
1786             #if YYLPDEBUG > 1
1787             printf(" HELP:%s\n", yytext);
1788             #endif
1789             BEGIN(INITIAL); }
1790        YY_BREAK
1791case 22:
1792YY_RULE_SETUP
1793#line 430 "libparse.l"
1794{
1795             #if YYLPDEBUG > 1
1796             printf(" HELP:%s\n", yytext);
1797             #endif
1798             BEGIN(INITIAL);
1799           }
1800        YY_BREAK
1801case 23:
1802YY_RULE_SETUP
1803#line 436 "libparse.l"
1804{
1805             yyless(0);
1806             *lib_style = NEW_LIBSTYLE;
1807             BEGIN(INITIAL);
1808             yymore();
1809           }
1810        YY_BREAK
1811case 24:
1812YY_RULE_SETUP
1813#line 442 "libparse.l"
1814{
1815             yyless(0);
1816             //printf("2) proc found.\n");
1817             BEGIN(INITIAL);
1818             yymore();
1819           }
1820        YY_BREAK
1821case 25:
1822YY_RULE_SETUP
1823#line 448 "libparse.l"
1824{ quote++;
1825             BEGIN(libcmd);
1826           }
1827        YY_BREAK
1828case 26:
1829YY_RULE_SETUP
1830#line 451 "libparse.l"
1831{ quote++; brace2++;
1832             BEGIN(libcmd2);
1833           }
1834        YY_BREAK
1835case 27:
1836YY_RULE_SETUP
1837#line 455 "libparse.l"
1838{ yylplineno++; }
1839        YY_BREAK
1840case 28:
1841YY_RULE_SETUP
1842#line 456 "libparse.l"
1843{
1844             #if YYLPDEBUG
1845             if(lpverbose>2) printf("--->%s<---\n", yytext);
1846             #endif
1847           }
1848        YY_BREAK
1849case 29:
1850YY_RULE_SETUP
1851#line 461 "libparse.l"
1852{
1853             found_oldhelp=1;
1854             #if YYLPDEBUG > 1
1855             printf("-HELP:%s\n", yytext);
1856             #endif
1857           }
1858        YY_BREAK
1859case 30:
1860YY_RULE_SETUP
1861#line 469 "libparse.l"
1862{ quote--;
1863             yytext[yyleng-1] = '\0';
1864             #ifndef STANDALONE_PARSER
1865             if ( mode == LOAD_LIB )
1866             {
1867               library_stack->push(newlib, yytext);
1868             }
1869             #endif /* STANDALONE_PARSER */
1870             #if YYLPDEBUG
1871             if(lpverbose>1) printf("LIB:'%s'\n", yytext);
1872             #endif
1873             BEGIN(INITIAL);
1874           }
1875        YY_BREAK
1876case 31:
1877YY_RULE_SETUP
1878#line 482 "libparse.l"
1879{ quote--; brace2--;
1880             yytext[yyleng-1] = '\0';
1881             #ifndef STANDALONE_PARSER
1882             if ( mode == LOAD_LIB )
1883             {
1884               library_stack->push(newlib, yytext);
1885             }
1886             #endif /* STANDALONE_PARSER */
1887             #if YYLPDEBUG
1888             if(lpverbose>1) printf("LIB:'%s'\n", yytext);
1889             #endif
1890             BEGIN(INITIAL);
1891           }
1892        YY_BREAK
1893case 32:
1894YY_RULE_SETUP
1895#line 496 "libparse.l"
1896{ }
1897        YY_BREAK
1898case 33:
1899YY_RULE_SETUP
1900#line 497 "libparse.l"
1901{
1902             brace2++;
1903             #if YYLPDEBUG > 1
1904             printf("%s", yytext);
1905             #endif
1906           }
1907        YY_BREAK
1908case 34:
1909YY_RULE_SETUP
1910#line 503 "libparse.l"
1911{
1912             brace2--;
1913             #if YYLPDEBUG > 1
1914             printf(">%s<\n", yytext);
1915             printf("{=%d, (=%d, [=%d\n", brace1, brace2, brace3);
1916             #endif
1917             if(brace2<=0)
1918             {
1919               #if YYLPDEBUG > 1
1920               printf("BEGIN(phead){=%d, (=%d, [=%d\n", brace1, brace2, brace3);
1921               #endif
1922               SET_DEF_END(mode, pi, current_pos(yyleng));
1923               BEGIN(phead);
1924             }
1925           }
1926        YY_BREAK
1927case 35:
1928YY_RULE_SETUP
1929#line 518 "libparse.l"
1930{
1931             if(brace2>0)
1932             {
1933               #if YYLPDEBUG > 1
1934               printf("{=%d, (=%d, [=%d\n", brace1, brace2, brace3);
1935               #endif
1936               yylp_errno = YYLP_DEF_BR2;
1937               return(1);
1938             }
1939             else
1940             {
1941               brace1++; BEGIN(pbody);
1942               if(lpverbose)
1943                  printf("//     BODY at line %d,%d (%d)\n", yylplineno,
1944                      current_pos(0), brace1);
1945               SET_BODY_START(mode, pi, yylplineno, current_pos(0));
1946             }
1947           }
1948        YY_BREAK
1949case 36:
1950YY_RULE_SETUP
1951#line 536 "libparse.l"
1952{ yylplineno++;
1953              if(brace2<=0)
1954              {
1955#if YYLPDEBUG > 1
1956                printf("BEGIN(phead-2){=%d, (=%d, [=%d\n", brace1, brace2, brace3);
1957#endif
1958                BEGIN(phead);
1959              }
1960            }
1961        YY_BREAK
1962case 37:
1963YY_RULE_SETUP
1964#line 545 "libparse.l"
1965{ }
1966        YY_BREAK
1967case 38:
1968YY_RULE_SETUP
1969#line 546 "libparse.l"
1970{ old_state = YYSTATE; BEGIN(comment); }
1971        YY_BREAK
1972case 39:
1973YY_RULE_SETUP
1974#line 547 "libparse.l"
1975{
1976             if(brace2<=0)
1977             {
1978               BEGIN(phead);
1979               yyless(0);
1980             }
1981           }
1982        YY_BREAK
1983case 40:
1984YY_RULE_SETUP
1985#line 555 "libparse.l"
1986{
1987              #if YYLPDEBUG
1988              if(lpverbose>2)printf("0-Len=%d;\n", yyleng);
1989              #endif
1990              if(check)
1991              {
1992                printf("Procedure %s (line %d) has OLD-STYLE-HELP!\n",
1993                       pi->procname, pi->data.s.proc_lineno);
1994              }
1995              SET_HELP_START(mode, pi, current_pos(0));
1996              BEGIN(poldhelp);
1997              yyless(0);
1998           }
1999        YY_BREAK
2000case 41:
2001YY_RULE_SETUP
2002#line 568 "libparse.l"
2003{
2004              #if YYLPDEBUG
2005              if(lpverbose>2)printf("1-Len=%d;\n", yyleng);
2006              #endif
2007              BEGIN(phelp);
2008              yyless(0);
2009           }
2010        YY_BREAK
2011case 42:
2012YY_RULE_SETUP
2013#line 575 "libparse.l"
2014{
2015              if(check && yyleng>2)
2016              {
2017                printf("Procedure %s (line %d) has OLD-STYLE-HELP!\n",
2018                       pi->procname, pi->data.s.proc_lineno);
2019              }
2020              #if YYLPDEBUG
2021              if(lpverbose>2 && yyleng>2)
2022                 printf("2-Len=%d, %s;\n", yyleng, pi->procname);
2023              #endif
2024              SET_HELP_START(mode, pi, current_pos(0));
2025              BEGIN(poldhelp);
2026              yyless(0);
2027           }
2028        YY_BREAK
2029case 43:
2030YY_RULE_SETUP
2031#line 589 "libparse.l"
2032{ printf("[%s]", yytext); }
2033        YY_BREAK
2034case 44:
2035YY_RULE_SETUP
2036#line 591 "libparse.l"
2037{ }
2038        YY_BREAK
2039case 45:
2040YY_RULE_SETUP
2041#line 592 "libparse.l"
2042{
2043                SET_HELP_END(mode, pi, current_pos(0));
2044                brace1++; BEGIN(pbody);
2045                if(lpverbose)
2046                {
2047                   printf("//     HELP from %d to %d\n",
2048                       (int)pi->data.s.help_start, (int)pi->data.s.help_end);
2049                   printf("//     BODY at line %d,%d (%d)\n", yylplineno,
2050                       current_pos(0), brace1);
2051                }
2052#if YYLPDEBUG > 1
2053                printf("BEGIN(pbody){=%d, (=%d, [=%d\n", brace1, brace2, brace3);
2054#endif
2055                SET_BODY_START(mode, pi, yylplineno, current_pos(0));
2056#if YYLPDEBUG > 1
2057                printf("BODY at %d/%d", yylplineno, current_pos(0));
2058#endif
2059              }
2060        YY_BREAK
2061case 46:
2062YY_RULE_SETUP
2063#line 610 "libparse.l"
2064{ yylplineno++; }
2065        YY_BREAK
2066case 47:
2067YY_RULE_SETUP
2068#line 611 "libparse.l"
2069{ }
2070        YY_BREAK
2071case 48:
2072YY_RULE_SETUP
2073#line 613 "libparse.l"
2074{
2075             old_state = YYSTATE;
2076             BEGIN(string);
2077             SET_HELP_START(mode, pi, current_pos(1));
2078           }
2079        YY_BREAK
2080case 49:
2081YY_RULE_SETUP
2082#line 618 "libparse.l"
2083{}
2084        YY_BREAK
2085case 50:
2086YY_RULE_SETUP
2087#line 619 "libparse.l"
2088{
2089             brace1++; BEGIN(pbody);
2090             if(lpverbose)
2091             {
2092                printf("//     HELP from %d to %d\n",
2093                    (int)pi->data.s.help_start, (int)pi->data.s.help_end);
2094                printf("//     BODY at line %d,%d (%d)\n", yylplineno,
2095                    current_pos(0), brace1);
2096             }
2097             #if YYLPDEBUG > 1
2098             printf("BEGIN(pbody){=%d, (=%d, [=%d\n", brace1, brace2, brace3);
2099             #endif
2100             SET_BODY_START(mode, pi, yylplineno, current_pos(0));
2101             #if YYLPDEBUG > 1
2102             printf("BODY at %d/%d", yylplineno, current_pos(0));
2103             #endif
2104           }
2105        YY_BREAK
2106case 51:
2107YY_RULE_SETUP
2108#line 636 "libparse.l"
2109{ yylplineno++;}
2110        YY_BREAK
2111case 52:
2112YY_RULE_SETUP
2113#line 638 "libparse.l"
2114{ }
2115        YY_BREAK
2116case 53:
2117YY_RULE_SETUP
2118#line 639 "libparse.l"
2119{ quote++; old_state = YYSTATE;
2120                 BEGIN(string); /* printf("%s", yytext); */
2121               }
2122        YY_BREAK
2123case 54:
2124YY_RULE_SETUP
2125#line 643 "libparse.l"
2126{
2127             if(check) printf("*** found 2 proc whithin procedure '%s'.\n",
2128                          pi->procname);
2129             yyless(yyleng-1);
2130           }
2131        YY_BREAK
2132case 55:
2133YY_RULE_SETUP
2134#line 648 "libparse.l"
2135{
2136             if(check) printf("*** found 1 proc whithin procedure '%s'.\n",
2137                          pi->procname);
2138             yyless(yyleng-1);
2139           }
2140        YY_BREAK
2141case 56:
2142YY_RULE_SETUP
2143#line 653 "libparse.l"
2144{
2145                 brace1++;
2146                 #if YYLPDEBUG > 1
2147                 printf("line: %d, (%d)%s\n", yylplineno, brace1, yytext);
2148                 #endif
2149                }
2150        YY_BREAK
2151case 57:
2152YY_RULE_SETUP
2153#line 659 "libparse.l"
2154{
2155                           #if YYLPDEBUG > 1
2156                           printf("line: %d, (%d)%s\n",
2157                             yylplineno, brace1, yytext);
2158                           #endif
2159                           brace1--;
2160                           if(brace2>0)
2161                           {
2162                             yylp_errno = YYLP_BODY_BR2;
2163                             return(1);
2164                           }
2165                           if(brace3>0)
2166                           {
2167                             yylp_errno = YYLP_BODY_BR3;
2168                             return(1);
2169                           }
2170                           if(brace1<=0)
2171                           {
2172                             SET_BODY_END(mode, pi, current_pos(yyleng));
2173                             SET_PROC_END(mode, pi, current_pos(yyleng));
2174                             #if YYLPDEBUG > 1
2175                               printf("-%d\n", current_pos(0));
2176                             #endif
2177                             BEGIN(INITIAL);
2178                           }
2179                         }
2180        YY_BREAK
2181case 58:
2182YY_RULE_SETUP
2183#line 685 "libparse.l"
2184{
2185                           brace2++; /* printf("%s", yytext); */
2186                         }
2187        YY_BREAK
2188case 59:
2189YY_RULE_SETUP
2190#line 688 "libparse.l"
2191{
2192                           brace2--; /* printf("%s", yytext); */
2193                           if(brace2<0) {
2194                             yylp_errno = YYLP_BODY_TMBR2;
2195                             return(1);
2196                           }
2197                         }
2198        YY_BREAK
2199case 60:
2200YY_RULE_SETUP
2201#line 695 "libparse.l"
2202{
2203                           brace3++; /* printf("%s", yytext); */
2204                         }
2205        YY_BREAK
2206case 61:
2207YY_RULE_SETUP
2208#line 698 "libparse.l"
2209{
2210                           brace3--; /* printf("%s", yytext); */
2211                           if(brace3<0) {
2212                             yylp_errno = YYLP_BODY_TMBR3;
2213                             return(1);
2214                           }
2215                         }
2216        YY_BREAK
2217case 62:
2218YY_RULE_SETUP
2219#line 705 "libparse.l"
2220{ yylplineno++; }
2221        YY_BREAK
2222case 63:
2223YY_RULE_SETUP
2224#line 706 "libparse.l"
2225{ }
2226        YY_BREAK
2227case 64:
2228YY_RULE_SETUP
2229#line 708 "libparse.l"
2230{
2231             quote++; BEGIN(string);
2232             found_info++;
2233             string_start = current_pos(yyleng);
2234             *lib_style = NEW_LIBSTYLE;
2235             last_cmd = LP_INFO;
2236       }
2237        YY_BREAK
2238case 65:
2239YY_RULE_SETUP
2240#line 715 "libparse.l"
2241{ yylplineno++; }
2242        YY_BREAK
2243case 66:
2244YY_RULE_SETUP
2245#line 716 "libparse.l"
2246{ }
2247        YY_BREAK
2248case 67:
2249YY_RULE_SETUP
2250#line 718 "libparse.l"
2251{
2252             quote++; BEGIN(string);
2253             found_cat++;
2254             string_start = current_pos(yyleng);
2255             *lib_style = NEW_LIBSTYLE;
2256             last_cmd = LP_CATEGORY;
2257       }
2258        YY_BREAK
2259case 68:
2260YY_RULE_SETUP
2261#line 725 "libparse.l"
2262{ yylplineno++; }
2263        YY_BREAK
2264case 69:
2265YY_RULE_SETUP
2266#line 726 "libparse.l"
2267{ }
2268        YY_BREAK
2269case 70:
2270YY_RULE_SETUP
2271#line 729 "libparse.l"
2272{ quote--;
2273                           copy_string(mode);
2274                           last_cmd = LP_NONE;
2275                           if(old_state==phelp)
2276                           {
2277                              SET_HELP_END(mode, pi, current_pos(0));
2278                           }
2279                           BEGIN(old_state); /* printf("%s", yytext); */
2280                         }
2281        YY_BREAK
2282case 71:
2283YY_RULE_SETUP
2284#line 738 "libparse.l"
2285{ if (old_state == phelp) IncrCheckSum(*yytext);}
2286        YY_BREAK
2287case 72:
2288YY_RULE_SETUP
2289#line 739 "libparse.l"
2290{ yylplineno++; if (old_state == phelp) IncrCheckSum('\n');}
2291        YY_BREAK
2292case 73:
2293YY_RULE_SETUP
2294#line 740 "libparse.l"
2295{ if (old_state == phelp) IncrCheckSum(*yytext);}
2296        YY_BREAK
2297case 74:
2298YY_RULE_SETUP
2299#line 742 "libparse.l"
2300{ }
2301        YY_BREAK
2302case 75:
2303YY_RULE_SETUP
2304#line 743 "libparse.l"
2305{ quote++; old_state = YYSTATE;
2306                           BEGIN(string); /* printf("%s", yytext); */
2307                         }
2308        YY_BREAK
2309case 76:
2310YY_RULE_SETUP
2311#line 746 "libparse.l"
2312{
2313                           brace1++; /* printf("(%d)%s", brace1, yytext); */
2314                         }
2315        YY_BREAK
2316case 77:
2317YY_RULE_SETUP
2318#line 749 "libparse.l"
2319{
2320                           brace1--; /* printf("(%d)%s", brace1, yytext); */
2321                           if(brace1<=0) {
2322                             if(brace2>0) { yylp_errno=YYLP_EX_BR2; return(1); }
2323                             if(brace3>0) { yylp_errno=YYLP_EX_BR3; return(1); }
2324                             BEGIN(INITIAL);
2325                             SET_PROC_END(mode, pi, current_pos(yyleng));
2326                           }
2327                         }
2328        YY_BREAK
2329case 78:
2330YY_RULE_SETUP
2331#line 758 "libparse.l"
2332{
2333                           brace2++; /* printf("%s", yytext); */
2334                         }
2335        YY_BREAK
2336case 79:
2337YY_RULE_SETUP
2338#line 761 "libparse.l"
2339{
2340                           brace2--; /* printf("%s", yytext); */
2341                         }
2342        YY_BREAK
2343case 80:
2344YY_RULE_SETUP
2345#line 764 "libparse.l"
2346{
2347                           brace3++; /* printf("%s", yytext); */
2348                         }
2349        YY_BREAK
2350case 81:
2351YY_RULE_SETUP
2352#line 767 "libparse.l"
2353{
2354                           brace3--; /* printf("%s", yytext); */
2355                         }
2356        YY_BREAK
2357case 82:
2358YY_RULE_SETUP
2359#line 770 "libparse.l"
2360{ yylplineno++; }
2361        YY_BREAK
2362case 83:
2363YY_RULE_SETUP
2364#line 771 "libparse.l"
2365{ }
2366        YY_BREAK
2367case 84:
2368YY_RULE_SETUP
2369#line 773 "libparse.l"
2370{ quote--;
2371                           BEGIN(pexample); /* printf("%s", yytext); */
2372                         }
2373        YY_BREAK
2374case 85:
2375YY_RULE_SETUP
2376#line 776 "libparse.l"
2377{ }
2378        YY_BREAK
2379case 86:
2380YY_RULE_SETUP
2381#line 777 "libparse.l"
2382{ }
2383        YY_BREAK
2384case 87:
2385YY_RULE_SETUP
2386#line 778 "libparse.l"
2387{ yylplineno++; }
2388        YY_BREAK
2389case 88:
2390YY_RULE_SETUP
2391#line 779 "libparse.l"
2392{ }
2393        YY_BREAK
2394case 89:
2395YY_RULE_SETUP
2396#line 781 "libparse.l"
2397{ BEGIN(old_state); }
2398        YY_BREAK
2399case 90:
2400YY_RULE_SETUP
2401#line 782 "libparse.l"
2402{ yylplineno++; }
2403        YY_BREAK
2404case 91:
2405YY_RULE_SETUP
2406#line 783 "libparse.l"
2407{ }
2408        YY_BREAK
2409case 92:
2410YY_RULE_SETUP
2411#line 785 "libparse.l"
2412{ yylplineno++; }
2413        YY_BREAK
2414case 93:
2415YY_RULE_SETUP
2416#line 786 "libparse.l"
2417{ }
2418        YY_BREAK
2419case 94:
2420YY_RULE_SETUP
2421#line 787 "libparse.l"
2422{ p_static = FALSE;
2423                            #if YYLPDEBUG > 1
2424                            printf("%s", yytext);
2425                            #endif
2426                         }
2427        YY_BREAK
2428case 95:
2429YY_RULE_SETUP
2430#line 792 "libparse.l"
2431{ p_static = FALSE;
2432                           yylp_errno = YYLP_BAD_CHAR;
2433                           #ifdef STANDALONE_PARSER
2434                           printf("[%d]", *yytext);
2435                           #else
2436                           if (text_buffer!=NULL) omFree((ADDRESS)text_buffer);
2437                           text_buffer = omStrDup(yytext);
2438                           omMarkAsStaticAddr(text_buffer);
2439                           #endif
2440                           #if YYLPDEBUG > 1
2441                             printf("[%s]", yytext);
2442                           #endif
2443                           return(1);
2444                         }
2445        YY_BREAK
2446case 96:
2447YY_RULE_SETUP
2448#line 807 "libparse.l"
2449ECHO;
2450        YY_BREAK
2451case YY_STATE_EOF(INITIAL):
2452case YY_STATE_EOF(header):
2453case YY_STATE_EOF(help):
2454case YY_STATE_EOF(libcmd):
2455case YY_STATE_EOF(libcmd2):
2456case YY_STATE_EOF(pdef):
2457case YY_STATE_EOF(phead):
2458case YY_STATE_EOF(poldhelp):
2459case YY_STATE_EOF(phelp):
2460case YY_STATE_EOF(pbody):
2461case YY_STATE_EOF(pstr):
2462case YY_STATE_EOF(pexample):
2463case YY_STATE_EOF(pestr):
2464case YY_STATE_EOF(string):
2465case YY_STATE_EOF(comment):
2466case YY_STATE_EOF(info):
2467case YY_STATE_EOF(category):
2468case YY_STATE_EOF(url):
2469case YY_STATE_EOF(version):
2470        yyterminate();
2471
2472        case YY_END_OF_BUFFER:
2473                {
2474                /* Amount of text matched not including the EOB char. */
2475                int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
2476
2477                /* Undo the effects of YY_DO_BEFORE_ACTION. */
2478                *yy_cp = yy_hold_char;
2479                YY_RESTORE_YY_MORE_OFFSET
2480
2481                if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
2482                        {
2483                        /* We're scanning a new file or input source.  It's
2484                         * possible that this happened because the user
2485                         * just pointed yyin at a new source and called
2486                         * yylex().  If so, then we have to assure
2487                         * consistency between yy_current_buffer and our
2488                         * globals.  Here is the right place to do so, because
2489                         * this is the first action (other than possibly a
2490                         * back-up) that will match for the new input source.
2491                         */
2492                        yy_n_chars = yy_current_buffer->yy_n_chars;
2493                        yy_current_buffer->yy_input_file = yyin;
2494                        yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
2495                        }
2496
2497                /* Note that here we test for yy_c_buf_p "<=" to the position
2498                 * of the first EOB in the buffer, since yy_c_buf_p will
2499                 * already have been incremented past the NUL character
2500                 * (since all states make transitions on EOB to the
2501                 * end-of-buffer state).  Contrast this with the test
2502                 * in input().
2503                 */
2504                if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
2505                        { /* This was really a NUL. */
2506                        yy_state_type yy_next_state;
2507
2508                        yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
2509
2510                        yy_current_state = yy_get_previous_state();
2511
2512                        /* Okay, we're now positioned to make the NUL
2513                         * transition.  We couldn't have
2514                         * yy_get_previous_state() go ahead and do it
2515                         * for us because it doesn't know how to deal
2516                         * with the possibility of jamming (and we don't
2517                         * want to build jamming into it because then it
2518                         * will run more slowly).
2519                         */
2520
2521                        yy_next_state = yy_try_NUL_trans( yy_current_state );
2522
2523                        yy_bp = yytext_ptr + YY_MORE_ADJ;
2524
2525                        if ( yy_next_state )
2526                                {
2527                                /* Consume the NUL. */
2528                                yy_cp = ++yy_c_buf_p;
2529                                yy_current_state = yy_next_state;
2530                                goto yy_match;
2531                                }
2532
2533                        else
2534                                {
2535                                yy_cp = yy_c_buf_p;
2536                                goto yy_find_action;
2537                                }
2538                        }
2539
2540                else switch ( yy_get_next_buffer() )
2541                        {
2542                        case EOB_ACT_END_OF_FILE:
2543                                {
2544                                yy_did_buffer_switch_on_eof = 0;
2545
2546                                if ( yywrap() )
2547                                        {
2548                                        /* Note: because we've taken care in
2549                                         * yy_get_next_buffer() to have set up
2550                                         * yytext, we can now set up
2551                                         * yy_c_buf_p so that if some total
2552                                         * hoser (like flex itself) wants to
2553                                         * call the scanner after we return the
2554                                         * YY_NULL, it'll still work - another
2555                                         * YY_NULL will get returned.
2556                                         */
2557                                        yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
2558
2559                                        yy_act = YY_STATE_EOF(YY_START);
2560                                        goto do_action;
2561                                        }
2562
2563                                else
2564                                        {
2565                                        if ( ! yy_did_buffer_switch_on_eof )
2566                                                YY_NEW_FILE;
2567                                        }
2568                                break;
2569                                }
2570
2571                        case EOB_ACT_CONTINUE_SCAN:
2572                                yy_c_buf_p =
2573                                        yytext_ptr + yy_amount_of_matched_text;
2574
2575                                yy_current_state = yy_get_previous_state();
2576
2577                                yy_cp = yy_c_buf_p;
2578                                yy_bp = yytext_ptr + YY_MORE_ADJ;
2579                                goto yy_match;
2580
2581                        case EOB_ACT_LAST_MATCH:
2582                                yy_c_buf_p =
2583                                &yy_current_buffer->yy_ch_buf[yy_n_chars];
2584
2585                                yy_current_state = yy_get_previous_state();
2586
2587                                yy_cp = yy_c_buf_p;
2588                                yy_bp = yytext_ptr + YY_MORE_ADJ;
2589                                goto yy_find_action;
2590                        }
2591                break;
2592                }
2593
2594        default:
2595                YY_FATAL_ERROR(
2596                        "fatal flex scanner internal error--no action found" );
2597        } /* end of action switch */
2598                } /* end of scanning one token */
2599        } /* end of yylex */
2600
2601
2602/* yy_get_next_buffer - try to read in a new buffer
2603 *
2604 * Returns a code representing an action:
2605 *      EOB_ACT_LAST_MATCH -
2606 *      EOB_ACT_CONTINUE_SCAN - continue scanning from current position
2607 *      EOB_ACT_END_OF_FILE - end of file
2608 */
2609
2610static int yy_get_next_buffer()
2611        {
2612        register char *dest = yy_current_buffer->yy_ch_buf;
2613        register char *source = yytext_ptr;
2614        register int number_to_move, i;
2615        int ret_val;
2616
2617        if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
2618                YY_FATAL_ERROR(
2619                "fatal flex scanner internal error--end of buffer missed" );
2620
2621        if ( yy_current_buffer->yy_fill_buffer == 0 )
2622                { /* Don't try to fill the buffer, so this is an EOF. */
2623                if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
2624                        {
2625                        /* We matched a single character, the EOB, so
2626                         * treat this as a final EOF.
2627                         */
2628                        return EOB_ACT_END_OF_FILE;
2629                        }
2630
2631                else
2632                        {
2633                        /* We matched some text prior to the EOB, first
2634                         * process it.
2635                         */
2636                        return EOB_ACT_LAST_MATCH;
2637                        }
2638                }
2639
2640        /* Try to read more data. */
2641
2642        /* First move last chars to start of buffer. */
2643        number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
2644
2645        for ( i = 0; i < number_to_move; ++i )
2646                *(dest++) = *(source++);
2647
2648        if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
2649                /* don't do the read, it's not guaranteed to return an EOF,
2650                 * just force an EOF
2651                 */
2652                yy_current_buffer->yy_n_chars = yy_n_chars = 0;
2653
2654        else
2655                {
2656                int num_to_read =
2657                        yy_current_buffer->yy_buf_size - number_to_move - 1;
2658
2659                while ( num_to_read <= 0 )
2660                        { /* Not enough room in the buffer - grow it. */
2661#ifdef YY_USES_REJECT
2662                        YY_FATAL_ERROR(
2663"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
2664#else
2665
2666                        /* just a shorter name for the current buffer */
2667                        YY_BUFFER_STATE b = yy_current_buffer;
2668
2669                        int yy_c_buf_p_offset =
2670                                (int) (yy_c_buf_p - b->yy_ch_buf);
2671
2672                        if ( b->yy_is_our_buffer )
2673                                {
2674                                int new_size = b->yy_buf_size * 2;
2675
2676                                if ( new_size <= 0 )
2677                                        b->yy_buf_size += b->yy_buf_size / 8;
2678                                else
2679                                        b->yy_buf_size *= 2;
2680
2681                                b->yy_ch_buf = (char *)
2682                                        /* Include room in for 2 EOB chars. */
2683                                        yy_flex_realloc( (void *) b->yy_ch_buf,
2684                                                         b->yy_buf_size + 2 );
2685                                }
2686                        else
2687                                /* Can't grow it, we don't own it. */
2688                                b->yy_ch_buf = 0;
2689
2690                        if ( ! b->yy_ch_buf )
2691                                YY_FATAL_ERROR(
2692                                "fatal error - scanner input buffer overflow" );
2693
2694                        yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
2695
2696                        num_to_read = yy_current_buffer->yy_buf_size -
2697                                                number_to_move - 1;
2698#endif
2699                        }
2700
2701                if ( num_to_read > YY_READ_BUF_SIZE )
2702                        num_to_read = YY_READ_BUF_SIZE;
2703
2704                /* Read in more data. */
2705                YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
2706                        yy_n_chars, num_to_read );
2707
2708                yy_current_buffer->yy_n_chars = yy_n_chars;
2709                }
2710
2711        if ( yy_n_chars == 0 )
2712                {
2713                if ( number_to_move == YY_MORE_ADJ )
2714                        {
2715                        ret_val = EOB_ACT_END_OF_FILE;
2716                        yyrestart( yyin );
2717                        }
2718
2719                else
2720                        {
2721                        ret_val = EOB_ACT_LAST_MATCH;
2722                        yy_current_buffer->yy_buffer_status =
2723                                YY_BUFFER_EOF_PENDING;
2724                        }
2725                }
2726
2727        else
2728                ret_val = EOB_ACT_CONTINUE_SCAN;
2729
2730        yy_n_chars += number_to_move;
2731        yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
2732        yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
2733
2734        yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
2735
2736        return ret_val;
2737        }
2738
2739
2740/* yy_get_previous_state - get the state just before the EOB char was reached */
2741
2742static yy_state_type yy_get_previous_state()
2743        {
2744        register yy_state_type yy_current_state;
2745        register char *yy_cp;
2746
2747        yy_current_state = yy_start;
2748        yy_current_state += YY_AT_BOL();
2749
2750        for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
2751                {
2752                register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
2753                if ( yy_accept[yy_current_state] )
2754                        {
2755                        yy_last_accepting_state = yy_current_state;
2756                        yy_last_accepting_cpos = yy_cp;
2757                        }
2758                while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2759                        {
2760                        yy_current_state = (int) yy_def[yy_current_state];
2761                        if ( yy_current_state >= 485 )
2762                                yy_c = yy_meta[(unsigned int) yy_c];
2763                        }
2764                yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2765                }
2766
2767        return yy_current_state;
2768        }
2769
2770
2771/* yy_try_NUL_trans - try to make a transition on the NUL character
2772 *
2773 * synopsis
2774 *      next_state = yy_try_NUL_trans( current_state );
2775 */
2776
2777#ifdef YY_USE_PROTOS
2778static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
2779#else
2780static yy_state_type yy_try_NUL_trans( yy_current_state )
2781yy_state_type yy_current_state;
2782#endif
2783        {
2784        register int yy_is_jam;
2785        register char *yy_cp = yy_c_buf_p;
2786
2787        register YY_CHAR yy_c = 1;
2788        if ( yy_accept[yy_current_state] )
2789                {
2790                yy_last_accepting_state = yy_current_state;
2791                yy_last_accepting_cpos = yy_cp;
2792                }
2793        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2794                {
2795                yy_current_state = (int) yy_def[yy_current_state];
2796                if ( yy_current_state >= 485 )
2797                        yy_c = yy_meta[(unsigned int) yy_c];
2798                }
2799        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
2800        yy_is_jam = (yy_current_state == 484);
2801
2802        return yy_is_jam ? 0 : yy_current_state;
2803        }
2804
2805
2806#ifndef YY_NO_UNPUT
2807#ifdef YY_USE_PROTOS
2808static void yyunput( int c, register char *yy_bp )
2809#else
2810static void yyunput( c, yy_bp )
2811int c;
2812register char *yy_bp;
2813#endif
2814        {
2815        register char *yy_cp = yy_c_buf_p;
2816
2817        /* undo effects of setting up yytext */
2818        *yy_cp = yy_hold_char;
2819
2820        if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
2821                { /* need to shift things up to make room */
2822                /* +2 for EOB chars. */
2823                register int number_to_move = yy_n_chars + 2;
2824                register char *dest = &yy_current_buffer->yy_ch_buf[
2825                                        yy_current_buffer->yy_buf_size + 2];
2826                register char *source =
2827                                &yy_current_buffer->yy_ch_buf[number_to_move];
2828
2829                while ( source > yy_current_buffer->yy_ch_buf )
2830                        *--dest = *--source;
2831
2832                yy_cp += (int) (dest - source);
2833                yy_bp += (int) (dest - source);
2834                yy_current_buffer->yy_n_chars =
2835                        yy_n_chars = yy_current_buffer->yy_buf_size;
2836
2837                if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
2838                        YY_FATAL_ERROR( "flex scanner push-back overflow" );
2839                }
2840
2841        *--yy_cp = (char) c;
2842
2843
2844        yytext_ptr = yy_bp;
2845        yy_hold_char = *yy_cp;
2846        yy_c_buf_p = yy_cp;
2847        }
2848#endif  /* ifndef YY_NO_UNPUT */
2849
2850
2851#ifdef __cplusplus
2852static int yyinput()
2853#else
2854static int input()
2855#endif
2856        {
2857        int c;
2858
2859        *yy_c_buf_p = yy_hold_char;
2860
2861        if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
2862                {
2863                /* yy_c_buf_p now points to the character we want to return.
2864                 * If this occurs *before* the EOB characters, then it's a
2865                 * valid NUL; if not, then we've hit the end of the buffer.
2866                 */
2867                if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
2868                        /* This was really a NUL. */
2869                        *yy_c_buf_p = '\0';
2870
2871                else
2872                        { /* need more input */
2873                        int offset = yy_c_buf_p - yytext_ptr;
2874                        ++yy_c_buf_p;
2875
2876                        switch ( yy_get_next_buffer() )
2877                                {
2878                                case EOB_ACT_LAST_MATCH:
2879                                        /* This happens because yy_g_n_b()
2880                                         * sees that we've accumulated a
2881                                         * token and flags that we need to
2882                                         * try matching the token before
2883                                         * proceeding.  But for input(),
2884                                         * there's no matching to consider.
2885                                         * So convert the EOB_ACT_LAST_MATCH
2886                                         * to EOB_ACT_END_OF_FILE.
2887                                         */
2888
2889                                        /* Reset buffer status. */
2890                                        yyrestart( yyin );
2891
2892                                        /* fall through */
2893
2894                                case EOB_ACT_END_OF_FILE:
2895                                        {
2896                                        if ( yywrap() )
2897                                                return EOF;
2898
2899                                        if ( ! yy_did_buffer_switch_on_eof )
2900                                                YY_NEW_FILE;
2901#ifdef __cplusplus
2902                                        return yyinput();
2903#else
2904                                        return input();
2905#endif
2906                                        }
2907
2908                                case EOB_ACT_CONTINUE_SCAN:
2909                                        yy_c_buf_p = yytext_ptr + offset;
2910                                        break;
2911                                }
2912                        }
2913                }
2914
2915        c = *(unsigned char *) yy_c_buf_p;      /* cast for 8-bit char's */
2916        *yy_c_buf_p = '\0';     /* preserve yytext */
2917        yy_hold_char = *++yy_c_buf_p;
2918
2919        yy_current_buffer->yy_at_bol = (c == '\n');
2920
2921        return c;
2922        }
2923
2924
2925#ifdef YY_USE_PROTOS
2926void yyrestart( FILE *input_file )
2927#else
2928void yyrestart( input_file )
2929FILE *input_file;
2930#endif
2931        {
2932        if ( ! yy_current_buffer )
2933                yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
2934
2935        yy_init_buffer( yy_current_buffer, input_file );
2936        yy_load_buffer_state();
2937        }
2938
2939
2940#ifdef YY_USE_PROTOS
2941void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
2942#else
2943void yy_switch_to_buffer( new_buffer )
2944YY_BUFFER_STATE new_buffer;
2945#endif
2946        {
2947        if ( yy_current_buffer == new_buffer )
2948                return;
2949
2950        if ( yy_current_buffer )
2951                {
2952                /* Flush out information for old buffer. */
2953                *yy_c_buf_p = yy_hold_char;
2954                yy_current_buffer->yy_buf_pos = yy_c_buf_p;
2955                yy_current_buffer->yy_n_chars = yy_n_chars;
2956                }
2957
2958        yy_current_buffer = new_buffer;
2959        yy_load_buffer_state();
2960
2961        /* We don't actually know whether we did this switch during
2962         * EOF (yywrap()) processing, but the only time this flag
2963         * is looked at is after yywrap() is called, so it's safe
2964         * to go ahead and always set it.
2965         */
2966        yy_did_buffer_switch_on_eof = 1;
2967        }
2968
2969
2970#ifdef YY_USE_PROTOS
2971void yy_load_buffer_state( void )
2972#else
2973void yy_load_buffer_state()
2974#endif
2975        {
2976        yy_n_chars = yy_current_buffer->yy_n_chars;
2977        yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
2978        yyin = yy_current_buffer->yy_input_file;
2979        yy_hold_char = *yy_c_buf_p;
2980        }
2981
2982
2983#ifdef YY_USE_PROTOS
2984YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
2985#else
2986YY_BUFFER_STATE yy_create_buffer( file, size )
2987FILE *file;
2988int size;
2989#endif
2990        {
2991        YY_BUFFER_STATE b;
2992
2993        b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
2994        if ( ! b )
2995                YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
2996
2997        b->yy_buf_size = size;
2998
2999        /* yy_ch_buf has to be 2 characters longer than the size given because
3000         * we need to put in 2 end-of-buffer characters.
3001         */
3002        b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
3003        if ( ! b->yy_ch_buf )
3004                YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
3005
3006        b->yy_is_our_buffer = 1;
3007
3008        yy_init_buffer( b, file );
3009
3010        return b;
3011        }
3012
3013
3014#ifdef YY_USE_PROTOS
3015void yy_delete_buffer( YY_BUFFER_STATE b )
3016#else
3017void yy_delete_buffer( b )
3018YY_BUFFER_STATE b;
3019#endif
3020        {
3021        if ( ! b )
3022                return;
3023
3024        if ( b == yy_current_buffer )
3025                yy_current_buffer = (YY_BUFFER_STATE) 0;
3026
3027        if ( b->yy_is_our_buffer )
3028                yy_flex_free( (void *) b->yy_ch_buf );
3029
3030        yy_flex_free( (void *) b );
3031        }
3032
3033
3034#ifndef YY_ALWAYS_INTERACTIVE
3035#ifndef YY_NEVER_INTERACTIVE
3036// extern int isatty YY_PROTO(( int ));
3037#endif
3038#endif
3039
3040#ifdef YY_USE_PROTOS
3041void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
3042#else
3043void yy_init_buffer( b, file )
3044YY_BUFFER_STATE b;
3045FILE *file;
3046#endif
3047
3048
3049        {
3050        yy_flush_buffer( b );
3051
3052        b->yy_input_file = file;
3053        b->yy_fill_buffer = 1;
3054
3055#if YY_ALWAYS_INTERACTIVE
3056        b->yy_is_interactive = 1;
3057#else
3058#if YY_NEVER_INTERACTIVE
3059        b->yy_is_interactive = 0;
3060#else
3061        b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
3062#endif
3063#endif
3064        }
3065
3066
3067#ifdef YY_USE_PROTOS
3068void yy_flush_buffer( YY_BUFFER_STATE b )
3069#else
3070void yy_flush_buffer( b )
3071YY_BUFFER_STATE b;
3072#endif
3073
3074        {
3075        if ( ! b )
3076                return;
3077
3078        b->yy_n_chars = 0;
3079
3080        /* We always need two end-of-buffer characters.  The first causes
3081         * a transition to the end-of-buffer state.  The second causes
3082         * a jam in that state.
3083         */
3084        b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
3085        b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
3086
3087        b->yy_buf_pos = &b->yy_ch_buf[0];
3088
3089        b->yy_at_bol = 1;
3090        b->yy_buffer_status = YY_BUFFER_NEW;
3091
3092        if ( b == yy_current_buffer )
3093                yy_load_buffer_state();
3094        }
3095
3096
3097#ifndef YY_NO_SCAN_BUFFER
3098#ifdef YY_USE_PROTOS
3099YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
3100#else
3101YY_BUFFER_STATE yy_scan_buffer( base, size )
3102char *base;
3103yy_size_t size;
3104#endif
3105        {
3106        YY_BUFFER_STATE b;
3107
3108        if ( size < 2 ||
3109             base[size-2] != YY_END_OF_BUFFER_CHAR ||
3110             base[size-1] != YY_END_OF_BUFFER_CHAR )
3111                /* They forgot to leave room for the EOB's. */
3112                return 0;
3113
3114        b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
3115        if ( ! b )
3116                YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
3117
3118        b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
3119        b->yy_buf_pos = b->yy_ch_buf = base;
3120        b->yy_is_our_buffer = 0;
3121        b->yy_input_file = 0;
3122        b->yy_n_chars = b->yy_buf_size;
3123        b->yy_is_interactive = 0;
3124        b->yy_at_bol = 1;
3125        b->yy_fill_buffer = 0;
3126        b->yy_buffer_status = YY_BUFFER_NEW;
3127
3128        yy_switch_to_buffer( b );
3129
3130        return b;
3131        }
3132#endif
3133
3134
3135#ifndef YY_NO_SCAN_STRING
3136#ifdef YY_USE_PROTOS
3137YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
3138#else
3139YY_BUFFER_STATE yy_scan_string( yy_str )
3140yyconst char *yy_str;
3141#endif
3142        {
3143        int len;
3144        for ( len = 0; yy_str[len]; ++len )
3145                ;
3146
3147        return yy_scan_bytes( yy_str, len );
3148        }
3149#endif
3150
3151
3152#ifndef YY_NO_SCAN_BYTES
3153#ifdef YY_USE_PROTOS
3154YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
3155#else
3156YY_BUFFER_STATE yy_scan_bytes( bytes, len )
3157yyconst char *bytes;
3158int len;
3159#endif
3160        {
3161        YY_BUFFER_STATE b;
3162        char *buf;
3163        yy_size_t n;
3164        int i;
3165
3166        /* Get memory for full buffer, including space for trailing EOB's. */
3167        n = len + 2;
3168        buf = (char *) yy_flex_alloc( n );
3169        if ( ! buf )
3170                YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
3171
3172        for ( i = 0; i < len; ++i )
3173                buf[i] = bytes[i];
3174
3175        buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
3176
3177        b = yy_scan_buffer( buf, n );
3178        if ( ! b )
3179                YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
3180
3181        /* It's okay to grow etc. this buffer, and we should throw it
3182         * away when we're done.
3183         */
3184        b->yy_is_our_buffer = 1;
3185
3186        return b;
3187        }
3188#endif
3189
3190
3191#ifndef YY_NO_PUSH_STATE
3192#ifdef YY_USE_PROTOS
3193static void yy_push_state( int new_state )
3194#else
3195static void yy_push_state( new_state )
3196int new_state;
3197#endif
3198        {
3199        if ( yy_start_stack_ptr >= yy_start_stack_depth )
3200                {
3201                yy_size_t new_size;
3202
3203                yy_start_stack_depth += YY_START_STACK_INCR;
3204                new_size = yy_start_stack_depth * sizeof( int );
3205
3206                if ( ! yy_start_stack )
3207                        yy_start_stack = (int *) yy_flex_alloc( new_size );
3208
3209                else
3210                        yy_start_stack = (int *) yy_flex_realloc(
3211                                        (void *) yy_start_stack, new_size );
3212
3213                if ( ! yy_start_stack )
3214                        YY_FATAL_ERROR(
3215                        "out of memory expanding start-condition stack" );
3216                }
3217
3218        yy_start_stack[yy_start_stack_ptr++] = YY_START;
3219
3220        BEGIN(new_state);
3221        }
3222#endif
3223
3224
3225#ifndef YY_NO_POP_STATE
3226static void yy_pop_state()
3227        {
3228        if ( --yy_start_stack_ptr < 0 )
3229                YY_FATAL_ERROR( "start-condition stack underflow" );
3230
3231        BEGIN(yy_start_stack[yy_start_stack_ptr]);
3232        }
3233#endif
3234
3235
3236#ifndef YY_NO_TOP_STATE
3237static int yy_top_state()
3238        {
3239        return yy_start_stack[yy_start_stack_ptr - 1];
3240        }
3241#endif
3242
3243#ifndef YY_EXIT_FAILURE
3244#define YY_EXIT_FAILURE 2
3245#endif
3246
3247#ifdef YY_USE_PROTOS
3248static void yy_fatal_error( yyconst char msg[] )
3249#else
3250static void yy_fatal_error( msg )
3251char msg[];
3252#endif
3253        {
3254        (void) fprintf( stderr, "%s\n", msg );
3255        exit( YY_EXIT_FAILURE );
3256        }
3257
3258
3259
3260/* Redefine yyless() so it works in section 3 code. */
3261
3262#undef yyless
3263#define yyless(n) \
3264        do \
3265                { \
3266                /* Undo effects of setting up yytext. */ \
3267                yytext[yyleng] = yy_hold_char; \
3268                yy_c_buf_p = yytext + n; \
3269                yy_hold_char = *yy_c_buf_p; \
3270                *yy_c_buf_p = '\0'; \
3271                yyleng = n; \
3272                } \
3273        while ( 0 )
3274
3275
3276/* Internal utility routines. */
3277
3278#ifndef yytext_ptr
3279#ifdef YY_USE_PROTOS
3280static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
3281#else
3282static void yy_flex_strncpy( s1, s2, n )
3283char *s1;
3284yyconst char *s2;
3285int n;
3286#endif
3287        {
3288        register int i;
3289        for ( i = 0; i < n; ++i )
3290                s1[i] = s2[i];
3291        }
3292#endif
3293
3294#ifdef YY_NEED_STRLEN
3295#ifdef YY_USE_PROTOS
3296static int yy_flex_strlen( yyconst char *s )
3297#else
3298static int yy_flex_strlen( s )
3299yyconst char *s;
3300#endif
3301        {
3302        register int n;
3303        for ( n = 0; s[n]; ++n )
3304                ;
3305
3306        return n;
3307        }
3308#endif
3309
3310
3311#ifdef YY_USE_PROTOS
3312static void *yy_flex_alloc( yy_size_t size )
3313#else
3314static void *yy_flex_alloc( size )
3315yy_size_t size;
3316#endif
3317        {
3318        return (void *) malloc( size );
3319        }
3320
3321#ifdef YY_USE_PROTOS
3322static void *yy_flex_realloc( void *ptr, yy_size_t size )
3323#else
3324static void *yy_flex_realloc( ptr, size )
3325void *ptr;
3326yy_size_t size;
3327#endif
3328        {
3329        /* The cast to (char *) in the following accommodates both
3330         * implementations that use char* generic pointers, and those
3331         * that use void* generic pointers.  It works with the latter
3332         * because both ANSI C and C++ allow castless assignment from
3333         * any pointer type to void*, and deal with argument conversions
3334         * as though doing an assignment.
3335         */
3336        return (void *) realloc( (char *) ptr, size );
3337        }
3338
3339#ifdef YY_USE_PROTOS
3340static void yy_flex_free( void *ptr )
3341#else
3342static void yy_flex_free( ptr )
3343void *ptr;
3344#endif
3345        {
3346        free( ptr );
3347        }
3348
3349#if YY_MAIN
3350int main()
3351        {
3352        yylex();
3353        return 0;
3354        }
3355#endif
3356#line 807 "libparse.l"
3357
3358
3359int current_pos(int i)
3360{
3361  return(i+offset+(int)(yytext-yylp_buffer_start));
3362}
3363
3364int libread(FILE* f, char* buf, int max_size)
3365{ int rc;
3366
3367  offset = ftell(f);
3368  rc  = myfread( buf, 1, max_size, f );
3369  #if YYLPDEBUG >2
3370    printf("fread: %d of %d\n", rc, max_size);
3371  #endif
3372  yylp_buffer_start = buf;
3373  return rc;
3374}
3375
3376extern "C" {
3377  int yylpwrap()
3378  {
3379    //printf("======================= YYWRAP ====================\n");
3380    if(brace1>0) { yylp_errno=YYLP_MISS_BR1; }
3381    if(brace2>0) { yylp_errno=YYLP_MISS_BR2; }
3382    if(brace3>0) { yylp_errno=YYLP_MISS_BR3; }
3383    if(quote>0) { yylp_errno=YYLP_MISSQUOT; }
3384    /* printf("{=%d, (=%d, [=%d\n", brace1, brace2, brace3);/**/
3385    if(feof(yyin)) return 1; else return 0;
3386  }
3387}
3388
3389void reinit_yylp()
3390{
3391   brace1 = 0;
3392   brace2 = 0;
3393   brace3 = 0;
3394   quote  = 0;
3395   yy_init=1;
3396   yy_delete_buffer(yy_current_buffer);
3397}
3398
3399void make_version(char *p,int what)
3400{
3401  char ver[10];
3402  char date[16];
3403  ver[0]='?'; ver[1]='.'; ver[2]='?'; ver[3]='\0';
3404  date[0]='?'; date[1]='\0';
3405  if(what) sscanf(p,"%*[^=]= %*s %*s %10s %16s",ver,date);
3406  else sscanf(p,"// %*s %*s %10s %16s",ver,date);
3407  strcpy(libnamebuf,"(");
3408  strcat(libnamebuf,ver);
3409  strcat(libnamebuf,",");
3410  strcat(libnamebuf,date);
3411  strcat(libnamebuf,")");
3412  if(what && strcmp(libnamebuf, "(?.?,?)")==0)
3413  {
3414    sscanf(p,"%*[^\"]\"%[^\"]\"",libnamebuf);
3415  }
3416  //printf("ID=(%d)%s; \n", what, p);
3417}
3418
3419void copy_string(lp_modes mode)
3420{
3421#ifdef STANDALONE_PARSER
3422  if ((texinfo_out
3423     && (last_cmd == LP_INFO || last_cmd == LP_CATEGORY || last_cmd == LP_URL))
3424  || (category_out && last_cmd == LP_CATEGORY)
3425)
3426  {
3427    long current_location = ftell(yylpin), i = string_start, quote = 0;
3428    char c;
3429    if (texinfo_out)
3430    {
3431     if (last_cmd == LP_INFO)
3432     {
3433       printf("$info = <<EOT;\n");
3434     }
3435     else if (last_cmd == LP_URL)
3436     {
3437       printf("$url = <<EOT;\n");
3438     }
3439     else
3440     {
3441       printf("$category = <<EOT;\n");
3442     }
3443    }
3444    fseek (yylpin, i, SEEK_SET);
3445    while (i< current_location)
3446    {
3447      c = fgetc(yylpin);
3448      if (c == '\\')
3449      {
3450        quote = (! quote);
3451      }
3452      else if (c == '"')
3453      {
3454        if (! quote) break;
3455      }
3456      else
3457        quote = 0;
3458      if (c == '@' || c == '$') putchar('\\');
3459      if (c != '\r') putchar(c);
3460      i++;
3461    }
3462    if (category_out) exit(0);
3463    fseek (yylpin, current_location, SEEK_SET);
3464    printf("\nEOT\n");
3465  }
3466#else
3467  if((last_cmd == LP_INFO)&&(mode == GET_INFO))
3468  {
3469    int i, offset=0;
3470    long current_location = ftell(yylpin);
3471    int len = (int)(current_pos(0) - string_start);
3472    fseek(yylpin, string_start, SEEK_SET);
3473    if (text_buffer!=NULL) omFree((ADDRESS)text_buffer);
3474    text_buffer = (char *)omAlloc(len+2);
3475    omMarkAsStaticAddr(text_buffer);
3476    myfread(text_buffer, len, 1, yylpin);
3477    fseek(yylpin, current_location, SEEK_SET);
3478    text_buffer[len]='\0';
3479    offset=0;
3480    for(i=0;i<=len; i++)
3481    {
3482      if(text_buffer[i]=='\\' &&
3483         (text_buffer[i+1]=='\"' || text_buffer[i+1]=='{' ||
3484          text_buffer[i+1]=='}' || text_buffer[i+1]=='\\'))
3485      {
3486        i++;
3487        offset++;
3488      }
3489      if(offset>0) text_buffer[i-offset] = text_buffer[i];
3490    }
3491  }
3492#endif /* STANDALONE_PARSER */
3493}
3494
3495void print_init()
3496{
3497   printf("Init=%d\n", yy_init);
3498}
3499
3500void print_version(lp_modes mode, char *p)
3501{
3502#ifdef STANDALONE_PARSER
3503  //printf("loading %s%s", p, libnamebuf);
3504#else
3505  if ( mode == LOAD_LIB )
3506  {
3507    if (BVERBOSE(V_LOAD_LIB) && p!=NULL ) Print(" %s...", p);
3508       //Warn( "loading %s%s", p, libnamebuf);
3509  }
3510#endif
3511}
3512
3513#ifdef STANDALONE_PARSER
3514int main( int argc, char *argv[] )
3515{
3516  lib_style_types lib_style;
3517  main_init(argc, argv);
3518  if(yyin == NULL)
3519  {
3520    fprintf(stderr, "No library found to parse.\n");
3521    return 1;
3522  }
3523  if (! (texinfo_out || category_out))
3524  {
3525    if(lpverbose)printf("Verbose level=%d\n", lpverbose);
3526    if(check)printf("Reporting most possible annomalies.\n");
3527    if(lpverbose||check)printf("\n");
3528
3529    printf( "  %-15s  %20s      %s,%s    %s,%s     %s,%s\n", "Library",
3530            "function", "line", "start-eod", "line", "body-eob",
3531            "line", "example-eoe");
3532  }
3533  yylplex(argv[0], argv[0], &lib_style,NULL);
3534  if(yylp_errno)
3535  {
3536    printf("ERROR occured: [%d] ", yylp_errno);
3537    printf(yylp_errlist[yylp_errno], yylplineno);
3538    printf("\n");
3539  }
3540  else if(pi!=NULL) printpi(pi);
3541  if (texinfo_out)
3542    printf("1;");
3543  return 0;
3544}
3545
3546#endif /* STANDALONE_PARSER */
3547#endif /* HAVE_LIBPARSE */
Note: See TracBrowser for help on using the repository browser.