home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / c / cpp2latx.zip / C__2LATE.C < prev    next >
C/C++ Source or Header  |  1992-05-16  |  64KB  |  2,059 lines
  1. /* A lexical scanner generated by flex */
  2.  
  3. /* scanner skeleton version:
  4.  * $Header: /usr/fsys/odin/a/vern/flex/RCS/flex.skel,v 2.16 90/08/03 14:09:36 vern Exp $
  5.  */
  6.  
  7. #define FLEX_SCANNER
  8.  
  9. #include <stdio.h>
  10.  
  11.  
  12. /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
  13. #ifdef c_plusplus
  14. #ifndef __cplusplus
  15. #define __cplusplus
  16. #endif
  17. #endif
  18.  
  19.  
  20. #ifdef __cplusplus
  21.  
  22. #include <stdlib.h>
  23. #include <osfcn.h>
  24.  
  25. /* use prototypes in function declarations */
  26. #define YY_USE_PROTOS
  27.  
  28. /* the "const" storage-class-modifier is valid */
  29. #define YY_USE_CONST
  30.  
  31. #else    /* ! __cplusplus */
  32.  
  33. #ifdef __STDC__
  34.  
  35. #ifdef __GNUC__
  36. #include <stddef.h>
  37. void *malloc( size_t );
  38. void free( void* );
  39. #else
  40. #include <stdlib.h>
  41. #endif    /* __GNUC__ */
  42.  
  43. #define YY_USE_PROTOS
  44. #define YY_USE_CONST
  45.  
  46. #endif    /* __STDC__ */
  47. #endif    /* ! __cplusplus */
  48.  
  49.  
  50. #ifdef __TURBOC__
  51. #define YY_USE_CONST
  52. #endif
  53.  
  54.  
  55. #ifndef YY_USE_CONST
  56. #define const
  57. #endif
  58.  
  59.  
  60. #ifdef YY_USE_PROTOS
  61. #define YY_PROTO(proto) proto
  62. #else
  63. #define YY_PROTO(proto) ()
  64. /* we can't get here if it's an ANSI C compiler, or a C++ compiler,
  65.  * so it's got to be a K&R compiler, and therefore there's no standard
  66.  * place from which to include these definitions
  67.  */
  68. char *malloc();
  69. int free();
  70. int read();
  71. #endif
  72.  
  73.  
  74. /* amount of stuff to slurp up with each read */
  75. #ifndef YY_READ_BUF_SIZE
  76. #define YY_READ_BUF_SIZE 8192
  77. #endif
  78.  
  79. /* returned upon end-of-file */
  80. #define YY_END_TOK 0
  81.  
  82. /* copy whatever the last rule matched to the standard output */
  83.  
  84. /* cast to (char *) is because for 8-bit chars, yytext is (unsigned char *) */
  85. /* this used to be an fputs(), but since the string might contain NUL's,
  86.  * we now use fwrite()
  87.  */
  88. #define ECHO (void) fwrite( (char *) yytext, yyleng, 1, yyout )
  89.  
  90. /* gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
  91.  * is returned in "result".
  92.  */
  93. #define YY_INPUT(buf,result,max_size) \
  94.     if ( (result = read( fileno(yyin), (char *) buf, max_size )) < 0 ) \
  95.         YY_FATAL_ERROR( "read() in flex scanner failed" );
  96. #define YY_NULL 0
  97.  
  98. /* no semi-colon after return; correct usage is to write "yyterminate();" -
  99.  * we don't want an extra ';' after the "return" because that will cause
  100.  * some compilers to complain about unreachable statements.
  101.  */
  102. #define yyterminate() return ( YY_NULL )
  103.  
  104. /* report a fatal error */
  105.  
  106. /* The funky do-while is used to turn this macro definition into
  107.  * a single C statement (which needs a semi-colon terminator).
  108.  * This avoids problems with code like:
  109.  *
  110.  *     if ( something_happens )
  111.  *        YY_FATAL_ERROR( "oops, the something happened" );
  112.  *    else
  113.  *        everything_okay();
  114.  *
  115.  * Prior to using the do-while the compiler would get upset at the
  116.  * "else" because it interpreted the "if" statement as being all
  117.  * done when it reached the ';' after the YY_FATAL_ERROR() call.
  118.  */
  119.  
  120. #define YY_FATAL_ERROR(msg) \
  121.     do \
  122.         { \
  123.         (void) fputs( msg, stderr ); \
  124.         (void) putc( '\n', stderr ); \
  125.         exit( 1 ); \
  126.         } \
  127.     while ( 0 )
  128.  
  129. /* default yywrap function - always treat EOF as an EOF */
  130. #define yywrap() 1
  131.  
  132. /* enter a start condition.  This macro really ought to take a parameter,
  133.  * but we do it the disgusting crufty way forced on us by the ()-less
  134.  * definition of BEGIN
  135.  */
  136. #define BEGIN yy_start = 1 + 2 *
  137.  
  138. /* action number for EOF rule of a given start state */
  139. #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
  140.  
  141. /* special action meaning "start processing a new file" */
  142. #define YY_NEW_FILE \
  143.     do \
  144.         { \
  145.         yy_init_buffer( yy_current_buffer, yyin ); \
  146.         yy_load_buffer_state(); \
  147.         } \
  148.     while ( 0 )
  149.  
  150. /* default declaration of generated scanner - a define so the user can
  151.  * easily add parameters
  152.  */
  153. #define YY_DECL int yylex YY_PROTO(( void )) 
  154.  
  155. /* code executed at the end of each rule */
  156. #define YY_BREAK break;
  157.  
  158. #define YY_END_OF_BUFFER_CHAR 0
  159.  
  160. #ifndef YY_BUF_SIZE
  161. #define YY_BUF_SIZE (YY_READ_BUF_SIZE * 2) /* size of default input buffer */
  162. #endif
  163.  
  164. typedef struct yy_buffer_state *YY_BUFFER_STATE;
  165.  
  166. #define YY_CHAR char
  167. # line 1 "c++2latex.l"
  168. #define INITIAL 0
  169. /*
  170.  *  This is a flex input file but should be edited in -*-C-*- mode
  171.  *
  172.  *  C++2LaTeX: Produce prettyprinted LaTeX files from  C++ or C sources.
  173.  *  Copyright (C) 1990 Norbert Kiesel
  174.  *
  175.  *  This program is free software; you can redistribute it and/or modify
  176.  *  it under the terms of the GNU General Public License as published by
  177.  *  the Free Software Foundation; either version 1, or (at your option)
  178.  *  any later version.
  179.  *
  180.  *  This program is distributed in the hope that it will be useful,
  181.  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  182.  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  183.  *  GNU General Public License for more details.
  184.  *
  185.  *  You should have received a copy of the GNU General Public License
  186.  *  along with this program; if not, write to the Free Software
  187.  *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  188.  *
  189.  *  Norbert Kiesel     
  190.  *  RWTH Aachen / Institut f. Informatik III
  191.  *  Ahornstr. 55
  192.  *  D-5100 Aachen
  193.  *  West Germany  
  194.  *
  195.  *  Phone:  +49 241 80-7266
  196.  *  EUNET:  norbert@rwthi3.uucp
  197.  *  USENET: ...!mcvax!unido!rwthi3!norbert
  198.  *  X.400:  norbert@rwthi3.informatik.rwth-aachen.de
  199.  *
  200.  *  Please contact me for any bugs you find in this code or any
  201.  *  improvements! I'd also be very happy to get feedback where and
  202.  *  how frequently this program is used (just drop a little mail :-).
  203.  *
  204.  *  ---------------------------------------------------------------------
  205.  *
  206.  *  C++2LaTeX 2.0:
  207.  *  Produce even more prettyprinted LaTeX files from C++ or C sources.
  208.  *
  209.  *  Copyright (C) 1991    Joerg Heitkoetter
  210.  *  Systems Analysis Group, University of Dortmund, Germany.
  211.  *  (heitkoet@gorbi.informatik.uni-dortmund.de).
  212.  *
  213.  */
  214. #define STRING 1
  215. #define BCOMMENT 2
  216. #define INCLUDE 3
  217. #define SLASHCOMMENT 4
  218. #define CPLUSPLUS 5
  219. # line 51 "c++2latex.l"
  220. #define KEY        printf ("{\\%s %s}", keyword_font, yytext)
  221. #define CPP        printf ("{\\%s \\%s}", cpp_font, yytext)
  222. #define SYM(x)        printf ("$\\%s$", x)
  223. #define OUT(x)        printf ("%s", x)
  224. #define BTAB        printf ("\\hspace*{%d\\indentation}", tabtobrace)
  225. #define CTAB        printf ("\\hspace*{%d\\indentation}", tabtocomment)
  226. #define FONT(x)        printf ("{\\%s ",x);
  227. #define SUB(x)        substitute(x)
  228. #define IND        indent(yytext)
  229. #define INIT        BEGIN (cplusplus_mode ? CPLUSPLUS : INITIAL);
  230. #define REPARSE        yyless (0)
  231.  
  232. #include <stdio.h>
  233.  
  234. #ifdef ANSI_C
  235.   #ifdef C_PLUSPLUS
  236.     #error ANSI_C and C_PLUSPLUS are mutually exclusive
  237.   #else
  238.     int cplusplus_mode = 0;
  239.   #endif
  240. #else /* CPLUSPLUS or default */
  241.   int cplusplus_mode = 1;
  242. #endif
  243.  
  244. int complete_file    = 0;
  245. int header        = 0;
  246. int tabtotab        = 8;
  247. int piped        = 0;
  248.  
  249. int aligntoright    = 1;        /* align comments to the right  -joke */
  250. int tabtobrace        = 2;        /* distance between closing brace and corresponding comment  -joke */
  251. int tabtocomment    = 4;        /* distance between statement and corresponding comment  -joke */
  252.  
  253. char *font_size        = "10";        /* used to be 11  -joke */
  254. char *indentation    = "0.5em";
  255. char *comment_font    = "it";
  256. char *keyword_font    = "bf";
  257. char *header_font    = "sl";
  258. char *cpp_font        = "tt";
  259. char *string_font    = "tt";
  260.  
  261. #ifdef __STDC__
  262. void substitute(const char *);
  263. void indent(const char *);
  264. void newpage(int);
  265. void usage(const char *);
  266. #else
  267. void substitute();
  268. void indent();
  269. void newpage();
  270. void usage();
  271. #endif
  272. # line 105 "c++2latex.l"
  273.  
  274. /* done after the current pattern has been matched and before the
  275.  * corresponding action - sets up yytext
  276.  */
  277. #define YY_DO_BEFORE_ACTION \
  278.     yytext = yy_bp; \
  279.     yyleng = yy_cp - yy_bp; \
  280.     yy_hold_char = *yy_cp; \
  281.     *yy_cp = '\0'; \
  282.     yy_c_buf_p = yy_cp;
  283.  
  284. #define EOB_ACT_CONTINUE_SCAN 0
  285. #define EOB_ACT_END_OF_FILE 1
  286. #define EOB_ACT_LAST_MATCH 2
  287.  
  288. /* return all but the first 'n' matched characters back to the input stream */
  289. #define yyless(n) \
  290.     do \
  291.         { \
  292.         /* undo effects of setting up yytext */ \
  293.         *yy_cp = yy_hold_char; \
  294.         yy_c_buf_p = yy_cp = yy_bp + n; \
  295.         YY_DO_BEFORE_ACTION; /* set up yytext again */ \
  296.         } \
  297.     while ( 0 )
  298.  
  299. #define unput(c) yyunput( c, yytext )
  300.  
  301.  
  302. struct yy_buffer_state
  303.     {
  304.     FILE *yy_input_file;
  305.  
  306.     YY_CHAR *yy_ch_buf;        /* input buffer */
  307.     YY_CHAR *yy_buf_pos;    /* current position in input buffer */
  308.  
  309.     /* size of input buffer in bytes, not including room for EOB characters*/
  310.     int yy_buf_size;    
  311.  
  312.     /* number of characters read into yy_ch_buf, not including EOB characters */
  313.     int yy_n_chars;
  314.  
  315.     int yy_eof_status;        /* whether we've seen an EOF on this buffer */
  316. #define EOF_NOT_SEEN 0
  317.     /* "pending" happens when the EOF has been seen but there's still
  318.      * some text process
  319.      */
  320. #define EOF_PENDING 1
  321. #define EOF_DONE 2
  322.     };
  323.  
  324. static YY_BUFFER_STATE yy_current_buffer;
  325.  
  326. /* we provide macros for accessing buffer states in case in the
  327.  * future we want to put the buffer states in a more general
  328.  * "scanner state"
  329.  */
  330. #define YY_CURRENT_BUFFER yy_current_buffer
  331.  
  332.  
  333. /* yy_hold_char holds the character lost when yytext is formed */
  334. static YY_CHAR yy_hold_char;
  335.  
  336. static int yy_n_chars;        /* number of characters read into yy_ch_buf */
  337.  
  338.  
  339.  
  340. #ifndef YY_USER_ACTION
  341. #define YY_USER_ACTION
  342. #endif
  343.  
  344. #ifndef YY_USER_INIT
  345. #define YY_USER_INIT
  346. #endif
  347.  
  348. extern YY_CHAR *yytext;
  349. extern int yyleng;
  350. extern FILE *yyin, *yyout;
  351.  
  352. YY_CHAR *yytext;
  353. int yyleng;
  354.  
  355. FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
  356.  
  357. #define YY_END_OF_BUFFER 162
  358. typedef int yy_state_type;
  359. static const short int yy_accept[609] =
  360.     {   0,
  361.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  362.         0,    0,  162,  161,  158,  160,  159,  110,  138,  161,
  363.       101,  100,  161,  118,  119,   88,  112,  107,  111,  108,
  364.        92,  149,  149,  105,  109,   93,  106,   94,  104,  124,
  365.       124,  120,  161,  121,   89,  124,  124,  124,  124,  124,
  366.       124,  124,  124,  124,  124,  124,  124,  124,  124,  124,
  367.        98,   90,   99,   87,  157,   92,  144,  142,  141,  144,
  368.       143,  131,  130,  129,  131,   18,   16,   17,   18,   18,
  369.       137,  136,  135,  123,  111,  108,   92,  105,  123,  123,
  370.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  371.  
  372.       123,  123,  123,  123,  123,  123,  123,  123,   99,  157,
  373.        92,  158,  159,   79,    0,    0,    0,    0,    0,    0,
  374.         0,   96,   95,   97,    0,    0,   82,  115,  116,  102,
  375.       117,   74,    0,  145,  127,  113,  146,  149,  149,    0,
  376.       149,    0,   75,   77,  114,   78,   76,  124,  138,    0,
  377.       156,   85,  124,  124,  124,  124,  124,  124,   47,  124,
  378.       124,  124,  124,  124,  124,   48,  124,  124,  124,  124,
  379.       124,  124,  124,  124,  124,  124,  124,   86,   80,    0,
  380.         0,  157,    0,  126,  140,  139,  143,  130,  128,   16,
  381.         0,   15,    0,   14,  136,  123,   74,  103,  134,  122,
  382.  
  383.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  384.        47,  123,  123,  123,  123,  123,  123,  123,  123,   48,
  385.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  386.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  387.         0,    0,  157,    0,  133,    0,    0,    0,    0,   12,
  388.         5,    0,    0,    0,    0,  150,    0,  150,    0,    0,
  389.        81,    0,  145,  145,    0,  146,  149,    0,  147,  155,
  390.        83,   84,  124,  124,  124,  124,  124,  124,  124,  124,
  391.       124,  124,  124,   40,  124,   21,  124,  124,  124,  124,
  392.       124,  124,  124,  124,  124,  124,  124,  124,  124,  124,
  393.  
  394.       124,  125,  126,   91,   64,   71,  123,  123,  123,  123,
  395.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  396.       123,  123,   40,  123,  123,  123,   21,  123,   51,  123,
  397.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  398.       123,  123,  123,  123,  123,   70,  123,  123,  123,  123,
  399.       123,  123,  123,  132,  133,    0,    0,    0,    0,    0,
  400.         0,    0,    0,    0,    0,    0,  151,  152,    0,    0,
  401.         0,  147,  145,    0,  148,  155,   19,  124,   27,   31,
  402.       124,  124,  124,  124,   24,   28,  124,  124,   44,   25,
  403.       124,  124,  124,  124,  124,  124,  124,  124,  124,  124,
  404.  
  405.       124,   42,  124,  124,   19,  123,   27,  123,   31,  123,
  406.       123,  123,  123,  123,  123,  123,   24,   28,  123,  123,
  407.       123,  123,   44,  123,   25,  123,  123,  123,  123,  123,
  408.       123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
  409.        53,  123,  123,  123,  123,   42,  123,  123,    0,    8,
  410.         9,    0,    0,    0,    0,    0,   11,    0,    0,    0,
  411.       153,    0,   23,   35,  124,  124,  124,  124,   36,  124,
  412.       124,   37,  124,  124,  124,  124,  124,  124,   34,  124,
  413.       124,   50,   23,   72,   55,   35,  123,  123,  123,  123,
  414.       123,  123,  123,   36,  123,  123,  123,  123,  123,  123,
  415.  
  416.       123,   67,  123,  123,  123,   37,  123,  123,  123,  123,
  417.       123,  123,  123,   34,  123,  123,  123,   50,    0,   13,
  418.        10,    6,    0,    0,    0,    3,  124,  124,   20,   32,
  419.       124,   33,   41,   45,   49,   22,   26,  124,  124,  124,
  420.       123,  123,   52,   20,  123,   65,   32,   60,   61,  123,
  421.       123,  123,  123,   56,   68,  123,  123,   33,   41,   45,
  422.        49,   22,   26,  123,   63,  123,  123,  123,    2,    7,
  423.         0,    4,  124,   43,  124,   30,  124,  124,  123,   43,
  424.        62,  123,  123,  123,   58,  123,  123,   69,   30,  123,
  425.        59,  123,    1,   39,   29,   38,   46,   39,  123,   54,
  426.  
  427.        73,  123,   29,   38,   46,   66,   57,    0
  428.     } ;
  429.  
  430. static const YY_CHAR yy_ec[128] =
  431.     {   0,
  432.         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
  433.         1,    4,    1,    1,    1,    1,    1,    1,    1,    1,
  434.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  435.         1,    5,    6,    7,    8,    9,   10,   11,   12,   13,
  436.        14,   15,   16,   17,   18,   19,   20,   21,   22,   22,
  437.        22,   22,   22,   22,   22,   23,   23,   24,   25,   26,
  438.        27,   28,   29,   30,   31,   31,   31,   31,   32,   33,
  439.        34,   34,   34,   34,   34,   35,   34,   34,   34,   34,
  440.        34,   34,   34,   34,   36,   34,   34,   34,   34,   34,
  441.        37,   38,   39,   40,   34,   30,   41,   42,   43,   44,
  442.  
  443.        45,   46,   47,   48,   49,   34,   50,   51,   52,   53,
  444.        54,   55,   34,   56,   57,   58,   59,   60,   61,   62,
  445.        63,   64,   65,   66,   67,   68,    1
  446.     } ;
  447.  
  448. static const YY_CHAR yy_meta[69] =
  449.     {   0,
  450.         1,    1,    1,    1,    2,    2,    3,    2,    4,    2,
  451.         2,    5,    2,    2,    2,    2,    2,    2,    2,    2,
  452.         6,    6,    7,    2,    2,    2,    2,    2,    3,    2,
  453.         7,    7,    7,    8,    8,    8,    2,    3,    2,    2,
  454.         6,    6,    7,    7,    7,    6,    8,    8,    8,    8,
  455.         8,    8,    9,    8,    8,    9,    8,    9,    8,    9,
  456.         8,    9,    8,    8,    2,    2,    2,    2
  457.     } ;
  458.  
  459. static const short int yy_base[623] =
  460.     {   0,
  461.         0,   67,   67,   73,   79,   83,   88,   94,  101,  105,
  462.       120,  187, 1148, 1149,   87, 1149, 1144, 1119, 1149,  188,
  463.      1118,   89, 1106, 1149, 1149, 1116,   86, 1149,   91,  175,
  464.        56,  229,  183, 1149, 1149,  173, 1115,  181, 1149,    0,
  465.       105, 1149, 1138, 1149, 1113, 1080, 1082,  162,  166,  161,
  466.       170, 1083,  176, 1082, 1090,  177, 1071, 1080, 1078, 1083,
  467.      1149,  164,  239, 1149,  251,  186, 1149, 1149, 1149,  248,
  468.       244, 1149,  252, 1149, 1110, 1149,  261, 1149, 1122, 1100,
  469.      1149,  265, 1149,    0,  250,  260,  269, 1103, 1117,  286,
  470.       260,  231,  264,  276,  263,  290,  208,  267,  249,   70,
  471.  
  472.       283,  291,  186,  300,  314,  298,  288,  315,  351,  352,
  473.       307,  324, 1149, 1149,  330, 1080,  331,  287, 1075, 1067,
  474.      1069, 1149, 1149, 1149, 1109,  343, 1149, 1149, 1149, 1149,
  475.      1149, 1149, 1101,  369, 1149, 1149,  376,  407,  412,  433,
  476.      1149,    0, 1092, 1149, 1149, 1149, 1091,    0, 1149, 1079,
  477.      1149, 1149, 1058, 1070, 1057, 1072, 1059, 1065, 1051, 1052,
  478.      1049, 1049, 1052, 1049, 1046,    0, 1045, 1049,  320, 1047,
  479.       281,  327, 1051, 1044,  253,  337, 1049, 1149, 1149,  398,
  480.      1082,  405, 1081, 1149, 1149, 1149,  364,  371, 1149,  411,
  481.      1088, 1149, 1066, 1149,  435,    0, 1078, 1149, 1149, 1149,
  482.  
  483.      1083,  343,  371,  387,  350,  403,  397,  423,  415,  427,
  484.       408,  432,  437,  410,  441,  444,  450,  453,  456, 1082,
  485.       461,  463,  465,  466,  468,  471,  467,  472,  477,  473,
  486.       470,  474,  479,  480,  478,  481,  482,  484,  494,  483,
  487.       502,  316,  503,  480, 1149, 1044,  461, 1045, 1032, 1149,
  488.       192, 1044, 1033, 1044, 1040, 1149, 1071, 1070,  525,    0,
  489.      1149,  532, 1149,  535,  543, 1149, 1149,  550,  553,  542,
  490.      1149, 1149, 1027, 1039, 1034, 1022,  439, 1036, 1034, 1030,
  491.      1022, 1028, 1031,    0, 1017,    0, 1023, 1020, 1009, 1011,
  492.      1013, 1020, 1006, 1004, 1004, 1016, 1006, 1010, 1014, 1016,
  493.  
  494.      1005, 1149, 1149, 1149, 1046, 1045,  529,  543,  540,  551,
  495.       533,  535,  542,  554,  553,  560,  570,  573,  578,  579,
  496.       581,  582, 1044,  587,  588,  594, 1043,  597, 1042,  595,
  497.       596,  598,  599,  603,  604,  600,  605,  601,  606,  610,
  498.       608,  607,  611,  613,  612, 1041,  619,  618,  624,  616,
  499.       622,  626,  625, 1149, 1149, 1000, 1002, 1002,  997,  991,
  500.       999,  999,  991,  996,  993,  994, 1149, 1149,  617, 1026,
  501.       656,  659, 1149,  662,  665, 1149,    0,  987,    0,    0,
  502.       978,  986,  975,  982,    0,    0,  976,  973,    0,    0,
  503.       973,  973,  970,  982,  972,  976,  981,  980,  978,  968,
  504.  
  505.       973,    0,  961,  973, 1008,  639, 1007,  627, 1006,  636,
  506.       632,  646,  638,  641,  647,  650, 1005, 1004,  659,  682,
  507.       683,  687, 1003,  691, 1002,  685,  692,  694,  697,  696,
  508.       701,  695,  698,  699,  700,  703,  702,  704,  706,  707,
  509.      1001,  710,  708,  712,  709, 1000,  711,  715,  955, 1149,
  510.      1149,  961,  950,  959,  959,  944, 1149,  950,  955,  988,
  511.      1149,  987,    0,    0,  945,  946,  951,  942,    0,  936,
  512.       940,    0,  948,  945,  947,  931,  940,  942,    0,  933,
  513.       936,    0,  975,  974,  973,  972,  713,  714,  718,  722,
  514.       721,  716,  719,  971,  727,  728,  720,  723,  724,  742,
  515.  
  516.       748,  730,  725,  753,  766,  970,  767,  770,  771,  772,
  517.       775,  777,  779,  969,  780,  783,  785,  968,  931, 1149,
  518.      1149, 1149,  929,  930,  932, 1149,  913,  913,    0,    0,
  519.       925,    0,    0,    0,    0,    0,    0,  923,  923,  916,
  520.       781,  784,  957,  956,  786,  787,  955,  954,  953,  789,
  521.       790,  792,  788,  952,  951,  793,  794,  950,  949,  948,
  522.       947,  938,  937,  795,  934,  799,  796,  797, 1149, 1149,
  523.       892, 1149,  886,    0,  804,    0,  814,  812,  800,  846,
  524.       845,  798,  803,  791,  842,  804,  806,  841,  823,  809,
  525.       818,  811, 1149,    0,    0,    0,    0,  817,  808,  812,
  526.  
  527.       631,  819,  628,  492,  351,   68,   64, 1149,  863,  872,
  528.       881,  890,  898,  902,  911,  920,  926,  932,  939,  943,
  529.       945,  948
  530.     } ;
  531.  
  532. static const short int yy_def[623] =
  533.     {   0,
  534.       608,    1,  609,  609,  610,  610,  611,  611,  612,  612,
  535.       608,   11,  608,  608,  608,  608,  608,  608,  608,  608,
  536.       608,  608,  613,  608,  608,  608,  608,  608,  608,  608,
  537.       608,  608,  608,  608,  608,  608,  608,  608,  608,  614,
  538.       614,  608,  608,  608,  608,  614,  614,  614,  614,  614,
  539.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  540.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  541.       608,  608,  608,  608,  608,  608,  608,  608,  615,  616,
  542.       608,  608,  608,  617,  608,  608,  608,  608,  618,  618,
  543.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  544.  
  545.       618,  618,  618,  618,  618,  618,  618,  618,  608,  608,
  546.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  547.       608,  608,  608,  608,  608,  619,  608,  608,  608,  608,
  548.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  549.       608,  620,  608,  608,  608,  608,  608,  614,  608,  613,
  550.       608,  608,  614,  614,  614,  614,  614,  614,  614,  614,
  551.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  552.       614,  614,  614,  614,  614,  614,  614,  608,  608,  608,
  553.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  554.       615,  608,  616,  608,  608,  617,  608,  608,  608,  608,
  555.  
  556.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  557.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  558.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  559.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  560.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  561.       608,  608,  608,  608,  608,  608,  608,  608,  608,  621,
  562.       608,  608,  608,  608,  608,  608,  608,  608,  608,  620,
  563.       608,  608,  614,  614,  614,  614,  614,  614,  614,  614,
  564.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  565.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  566.  
  567.       614,  608,  608,  608,  618,  618,  618,  618,  618,  618,
  568.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  569.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  570.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  571.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  572.       618,  618,  618,  608,  608,  608,  608,  608,  608,  608,
  573.       608,  608,  608,  608,  608,  608,  608,  608,  608,  622,
  574.       608,  608,  608,  608,  608,  608,  614,  614,  614,  614,
  575.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  576.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  577.  
  578.       614,  614,  614,  614,  618,  618,  618,  618,  618,  618,
  579.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  580.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  581.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  582.       618,  618,  618,  618,  618,  618,  618,  618,  608,  608,
  583.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  584.       608,  608,  614,  614,  614,  614,  614,  614,  614,  614,
  585.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  586.       614,  614,  618,  618,  618,  618,  618,  618,  618,  618,
  587.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  588.  
  589.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  590.       618,  618,  618,  618,  618,  618,  618,  618,  608,  608,
  591.       608,  608,  608,  608,  608,  608,  614,  614,  614,  614,
  592.       614,  614,  614,  614,  614,  614,  614,  614,  614,  614,
  593.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  594.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  595.       618,  618,  618,  618,  618,  618,  618,  618,  608,  608,
  596.       608,  608,  614,  614,  614,  614,  614,  614,  618,  618,
  597.       618,  618,  618,  618,  618,  618,  618,  618,  618,  618,
  598.       618,  618,  608,  614,  614,  614,  614,  618,  618,  618,
  599.  
  600.       618,  618,  618,  618,  618,  618,  618,    0,  608,  608,
  601.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  602.       608,  608
  603.     } ;
  604.  
  605. static const short int yy_nxt[1218] =
  606.     {   0,
  607.        14,   15,   16,   17,   15,   18,   19,   20,   14,   21,
  608.        22,   23,   24,   25,   26,   27,   28,   29,   30,   31,
  609.        32,   33,   33,   34,   35,   36,   37,   38,   39,   14,
  610.        40,   40,   40,   40,   41,   40,   42,   43,   44,   45,
  611.        46,   47,   48,   49,   50,   51,   52,   40,   53,   40,
  612.        54,   40,   40,   40,   40,   55,   56,   57,   58,   59,
  613.        60,   40,   40,   40,   61,   62,   63,   64,   65,   68,
  614.       135,   65,  196,   69,   71,   68,  196,   71,  196,   69,
  615.        73,   74,  136,   73,   73,   74,   66,   73,  112,   77,
  616.        78,  112,   77,   75,   79,   77,   78,   75,   77,  123,
  617.  
  618.        79,  128,   82,   83,   70,   82,   82,   83,  130,   82,
  619.        70,  149,  129,   80,  223,  124,  150,  131,  132,   80,
  620.        14,   15,   16,   17,   15,   18,   19,   20,   84,   21,
  621.        22,   23,   24,   25,   26,   27,   28,   85,   86,   87,
  622.        32,   33,   33,   88,   35,   36,   37,   38,   39,   14,
  623.        89,   89,   89,   89,   90,   89,   42,   43,   44,   45,
  624.        91,   92,   93,   94,   95,   96,   97,   89,   98,   89,
  625.        99,   89,  100,  101,  102,  103,  104,  105,  106,  107,
  626.       108,   89,   89,   89,   61,   62,  109,   64,  110,  115,
  627.       178,  110,  115,  133,  196,  134,  134,  134,  143,  144,
  628.  
  629.       184,  137,  155,  139,  139,  139,  111,  146,  147,  156,
  630.       158,  160,  136,  161,  140,  157,  196,  141,  141,  159,
  631.       163,  166,  162,  164,  170,  171,  228,  140,  167,  179,
  632.       229,  116,  117,  141,  172,  361,  118,  173,  119,  196,
  633.       180,  141,  120,  180,  362,  187,  121,  137,  187,  138,
  634.       138,  139,  182,  188,  185,  182,  188,  196,  181,  185,
  635.       140,  219,  190,  141,  141,  190,  195,  130,  196,  195,
  636.       183,  196,  196,  140,  198,  196,  131,  197,  133,  141,
  637.       134,  134,  134,  135,  196,  186,  205,  141,  199,  185,
  638.       142,  196,  149,  185,  196,  136,  196,  150,  196,  196,
  639.  
  640.       185,  297,  222,  185,  206,  185,  196,  185,  196,  298,
  641.       202,  207,  220,  213,  208,  214,  203,  209,  204,  221,
  642.       210,  184,  196,  196,  215,  112,  245,  291,  112,  211,
  643.       302,  115,  251,  136,  115,  354,  238,  224,  212,  252,
  644.       216,  239,  225,  217,  292,  218,  226,  230,  231,  227,
  645.       237,  196,  241,  243,  258,  241,  243,  232,  196,  196,
  646.       233,  234,  240,  259,  259,  187,  288,  293,  187,  235,
  647.       242,  244,  188,  116,  117,  188,  236,  289,  118,  196,
  648.       119,  247,  294,  248,  120,  299,  249,  300,  121,  134,
  649.       134,  134,  250,  305,  308,  196,  264,  264,  264,  180,
  650.  
  651.       262,  263,  180,  263,  260,  196,  182,  265,  266,  182,
  652.       266,  196,  190,  262,  263,  190,  196,  181,  196,  263,
  653.       265,  266,  306,  196,  183,  137,  266,  138,  138,  139,
  654.       137,  196,  139,  139,  139,  196,  195,  311,  140,  195,
  655.       196,  267,  267,  140,  307,  196,  141,  141,  268,  196,
  656.       268,  140,  196,  269,  269,  269,  140,  267,  196,  309,
  657.       310,  196,  141,  312,  196,  267,  316,  313,  319,  196,
  658.       141,  196,  314,  196,  196,  196,  196,  315,  196,  196,
  659.       196,  196,  196,  320,  317,  196,  196,  196,  196,  196,
  660.       196,  196,  196,  318,  303,  381,  382,  322,  321,  355,
  661.  
  662.       196,  324,  196,  241,  243,  323,  241,  243,  334,  357,
  663.       330,  326,  331,  325,  342,  328,  340,  358,  327,  332,
  664.       335,  242,  244,  336,  333,  329,  339,  344,  345,  343,
  665.       348,  353,  337,  341,  338,  347,  368,  196,  349,  350,
  666.       346,  196,  351,  196,  352,  369,  369,  371,  196,  371,
  667.       196,  196,  372,  372,  372,  264,  264,  264,  374,  196,
  668.       374,  196,  196,  375,  375,  375,  140,  373,  196,  373,
  669.       269,  269,  269,  269,  269,  269,  376,  376,  196,  140,
  670.       373,  196,  405,  406,  407,  373,  196,  196,  409,  196,
  671.       196,  410,  376,  408,  413,  196,  196,  414,  411,  412,
  672.  
  673.       376,  415,  196,  196,  196,  196,  196,  196,  196,  196,
  674.       416,  196,  196,  196,  196,  196,  196,  417,  196,  196,
  675.       196,  196,  421,  419,  196,  420,  196,  196,  368,  418,
  676.       196,  422,  196,  196,  196,  196,  196,  460,  460,  196,
  677.       196,  423,  424,  425,  196,  433,  196,  196,  432,  196,
  678.       426,  427,  437,  430,  196,  196,  429,  428,  196,  434,
  679.       431,  435,  436,  442,  438,  446,  447,  196,  441,  439,
  680.       440,  443,  444,  445,  484,  448,  372,  372,  372,  372,
  681.       372,  372,  375,  375,  375,  375,  375,  375,  483,  486,
  682.       196,  196,  485,  196,  487,  196,  488,  490,  489,  196,
  683.  
  684.       196,  491,  196,  196,  196,  196,  196,  196,  196,  196,
  685.       196,  196,  196,  492,  196,  196,  196,  196,  196,  196,
  686.       196,  196,  196,  196,  196,  497,  196,  196,  196,  196,
  687.       196,  196,  196,  196,  499,  196,  196,  493,  196,  495,
  688.       494,  500,  498,  496,  501,  502,  504,  507,  510,  511,
  689.       196,  503,  509,  512,  505,  508,  196,  506,  515,  518,
  690.       514,  196,  543,  513,  542,  541,  544,  516,  517,  545,
  691.       548,  547,  549,  546,  196,  196,  551,  550,  196,  196,
  692.       196,  552,  556,  196,  553,  196,  555,  196,  196,  196,
  693.       554,  196,  196,  196,  196,  196,  196,  196,  196,  196,
  694.  
  695.       196,  196,  196,  196,  196,  196,  196,  196,  196,  557,
  696.       559,  196,  196,  561,  196,  560,  196,  196,  558,  196,
  697.       196,  564,  563,  567,  565,  196,  196,  196,  581,  562,
  698.       584,  196,  566,  568,  601,  582,  585,  587,  588,  579,
  699.       589,  580,  583,  590,  598,  586,  591,  592,  602,  196,
  700.       196,  599,  604,  196,  196,  605,  597,  596,  600,  595,
  701.       606,  603,  607,   67,   67,   67,   67,   67,   67,   67,
  702.        67,   67,   72,   72,   72,   72,   72,   72,   72,   72,
  703.        72,   76,   76,   76,   76,   76,   76,   76,   76,   76,
  704.        81,   81,   81,   81,   81,   81,   81,   81,   81,  125,
  705.  
  706.       125,  125,  125,  125,  125,  125,  125,  148,  148,  148,
  707.       148,  191,  191,  191,  191,  191,  191,  191,  191,  191,
  708.       193,  193,  193,  193,  193,  193,  193,  193,  193,  196,
  709.       594,  196,  196,  196,  196,  201,  593,  201,  201,  201,
  710.       201,  257,  196,  257,  257,  196,  196,  257,  270,  270,
  711.       370,  370,  462,  462,  462,  196,  196,  196,  196,  196,
  712.       196,  196,  196,  196,  196,  196,  578,  577,  576,  575,
  713.       574,  573,  572,  571,  570,  569,  196,  196,  196,  196,
  714.       196,  196,  196,  196,  540,  539,  538,  537,  536,  535,
  715.       534,  533,  532,  531,  530,  529,  528,  527,  461,  368,
  716.  
  717.       526,  525,  524,  523,  522,  521,  520,  519,  196,  196,
  718.       196,  196,  196,  196,  196,  196,  196,  482,  481,  480,
  719.       479,  478,  477,  476,  475,  474,  473,  472,  471,  470,
  720.       469,  468,  467,  466,  465,  464,  463,  461,  459,  458,
  721.       457,  456,  455,  454,  453,  452,  451,  450,  449,  196,
  722.       196,  196,  196,  196,  196,  404,  403,  402,  401,  400,
  723.       399,  398,  397,  396,  395,  394,  393,  392,  391,  390,
  724.       389,  388,  387,  386,  385,  384,  383,  380,  379,  378,
  725.       377,  367,  367,  366,  365,  364,  363,  360,  359,  356,
  726.       196,  196,  304,  194,  192,  303,  302,  301,  296,  295,
  727.  
  728.       290,  287,  286,  285,  284,  283,  282,  281,  280,  279,
  729.       278,  277,  276,  275,  274,  273,  126,  272,  271,  261,
  730.       256,  255,  254,  253,  246,  196,  200,  194,  192,  189,
  731.       177,  176,  175,  174,  169,  168,  165,  154,  153,  152,
  732.       151,  145,  127,  126,  122,  114,  113,  608,   13,  608,
  733.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  734.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  735.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  736.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  737.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  738.  
  739.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  740.       608,  608,  608,  608,  608,  608,  608
  741.     } ;
  742.  
  743. static const short int yy_chk[1218] =
  744.     {   0,
  745.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  746.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  747.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  748.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  749.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  750.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  751.         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
  752.        31,    2,  607,    3,    4,    4,  606,    4,  100,    4,
  753.         5,    5,   31,    5,    6,    6,    2,    6,   15,    7,
  754.         7,   15,    7,    5,    7,    8,    8,    6,    8,   22,
  755.  
  756.         8,   27,    9,    9,    3,    9,   10,   10,   29,   10,
  757.         4,   41,   27,    7,  100,   22,   41,   29,   29,    8,
  758.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  759.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  760.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  761.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  762.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  763.        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
  764.        11,   11,   11,   11,   11,   11,   11,   11,   12,   20,
  765.        62,   12,   20,   30,  103,   30,   30,   30,   36,   36,
  766.  
  767.        66,   33,   48,   33,   33,   33,   12,   38,   38,   48,
  768.        49,   50,   66,   50,   33,   48,   97,   33,   33,   49,
  769.        51,   53,   50,   51,   56,   56,  103,   33,   53,   62,
  770.       103,   20,   20,   33,   56,  251,   20,   56,   20,   92,
  771.        63,   33,   20,   63,  251,   71,   20,   32,   71,   32,
  772.        32,   32,   65,   73,   70,   65,   73,   99,   63,   70,
  773.        32,   97,   77,   32,   32,   77,   82,   85,   91,   82,
  774.        65,   95,   93,   32,   86,   98,   85,   85,   86,   32,
  775.        86,   86,   86,   87,   94,   70,   92,   32,   87,   70,
  776.        32,  101,   90,   70,   90,   87,  107,   90,   96,  102,
  777.  
  778.        70,  175,   99,   70,   93,   70,  106,   70,  104,  175,
  779.        91,   93,   98,   95,   93,   95,   91,   93,   91,   98,
  780.        94,  111,  105,  108,   95,  112,  111,  171,  112,   94,
  781.       242,  115,  118,  111,  115,  242,  107,  101,   94,  118,
  782.        96,  107,  101,   96,  171,   96,  102,  104,  104,  102,
  783.       106,  202,  109,  110,  126,  109,  110,  104,  205,  605,
  784.       104,  105,  108,  126,  126,  187,  169,  172,  187,  105,
  785.       109,  110,  188,  115,  115,  188,  105,  169,  115,  203,
  786.       115,  117,  172,  117,  115,  176,  117,  176,  115,  134,
  787.       134,  134,  117,  202,  205,  204,  137,  137,  137,  180,
  788.  
  789.       134,  134,  180,  134,  126,  207,  182,  137,  137,  182,
  790.       137,  206,  190,  134,  134,  190,  211,  180,  214,  134,
  791.       137,  137,  203,  209,  182,  138,  137,  138,  138,  138,
  792.       139,  208,  139,  139,  139,  210,  195,  207,  138,  195,
  793.       212,  138,  138,  139,  204,  213,  139,  139,  140,  215,
  794.       140,  138,  216,  140,  140,  140,  139,  138,  217,  206,
  795.       206,  218,  139,  208,  219,  138,  211,  209,  214,  221,
  796.       139,  222,  210,  223,  224,  227,  225,  210,  231,  226,
  797.       228,  230,  232,  215,  212,  229,  235,  233,  234,  236,
  798.       237,  240,  238,  213,  244,  277,  277,  216,  215,  244,
  799.  
  800.       604,  218,  239,  241,  243,  217,  241,  243,  227,  247,
  801.       224,  221,  225,  219,  232,  222,  231,  247,  221,  226,
  802.       228,  241,  243,  229,  226,  223,  230,  233,  234,  232,
  803.       237,  240,  229,  231,  229,  236,  259,  307,  237,  238,
  804.       235,  311,  239,  312,  239,  259,  259,  262,  309,  262,
  805.       313,  308,  262,  262,  262,  264,  264,  264,  265,  310,
  806.       265,  315,  314,  265,  265,  265,  264,  264,  316,  264,
  807.       268,  268,  268,  269,  269,  269,  270,  270,  317,  264,
  808.       264,  318,  307,  308,  309,  264,  319,  320,  311,  321,
  809.       322,  312,  270,  310,  314,  324,  325,  315,  313,  313,
  810.  
  811.       270,  316,  326,  330,  331,  328,  332,  333,  336,  338,
  812.       317,  334,  335,  337,  339,  342,  341,  318,  340,  343,
  813.       345,  344,  322,  320,  350,  321,  348,  347,  369,  319,
  814.       351,  324,  349,  353,  352,  408,  603,  369,  369,  601,
  815.       411,  325,  326,  328,  410,  337,  413,  406,  336,  414,
  816.       330,  331,  341,  334,  412,  415,  333,  332,  416,  338,
  817.       335,  339,  340,  347,  342,  351,  352,  419,  345,  343,
  818.       344,  348,  349,  350,  408,  353,  371,  371,  371,  372,
  819.       372,  372,  374,  374,  374,  375,  375,  375,  406,  411,
  820.       420,  421,  410,  426,  412,  422,  413,  415,  414,  424,
  821.  
  822.       427,  416,  428,  432,  430,  429,  433,  434,  435,  431,
  823.       437,  436,  438,  419,  439,  440,  443,  445,  442,  447,
  824.       444,  487,  488,  448,  492,  426,  489,  493,  497,  491,
  825.       490,  498,  499,  503,  428,  495,  496,  420,  502,  422,
  826.       421,  429,  427,  424,  430,  431,  433,  436,  439,  440,
  827.       500,  432,  438,  442,  434,  437,  501,  435,  444,  448,
  828.       443,  504,  489,  442,  488,  487,  490,  445,  447,  491,
  829.       495,  493,  496,  492,  505,  507,  498,  497,  508,  509,
  830.       510,  499,  503,  511,  500,  512,  502,  513,  515,  541,
  831.       501,  516,  542,  517,  545,  546,  553,  550,  551,  584,
  832.  
  833.       552,  556,  557,  564,  567,  568,  582,  566,  579,  504,
  834.       507,  583,  586,  509,  587,  508,  599,  590,  505,  592,
  835.       600,  512,  511,  516,  513,  598,  591,  602,  545,  510,
  836.       551,  589,  515,  517,  584,  546,  552,  556,  557,  541,
  837.       564,  542,  550,  566,  579,  553,  567,  568,  586,  588,
  838.       585,  582,  590,  581,  580,  592,  578,  577,  583,  575,
  839.       599,  587,  602,  609,  609,  609,  609,  609,  609,  609,
  840.       609,  609,  610,  610,  610,  610,  610,  610,  610,  610,
  841.       610,  611,  611,  611,  611,  611,  611,  611,  611,  611,
  842.       612,  612,  612,  612,  612,  612,  612,  612,  612,  613,
  843.  
  844.       613,  613,  613,  613,  613,  613,  613,  614,  614,  614,
  845.       614,  615,  615,  615,  615,  615,  615,  615,  615,  615,
  846.       616,  616,  616,  616,  616,  616,  616,  616,  616,  617,
  847.       573,  617,  617,  617,  617,  618,  571,  618,  618,  618,
  848.       618,  619,  565,  619,  619,  563,  562,  619,  620,  620,
  849.       621,  621,  622,  622,  622,  561,  560,  559,  558,  555,
  850.       554,  549,  548,  547,  544,  543,  540,  539,  538,  531,
  851.       528,  527,  525,  524,  523,  519,  518,  514,  506,  494,
  852.       486,  485,  484,  483,  481,  480,  478,  477,  476,  475,
  853.       474,  473,  471,  470,  468,  467,  466,  465,  462,  460,
  854.  
  855.       459,  458,  456,  455,  454,  453,  452,  449,  446,  441,
  856.       425,  423,  418,  417,  409,  407,  405,  404,  403,  401,
  857.       400,  399,  398,  397,  396,  395,  394,  393,  392,  391,
  858.       388,  387,  384,  383,  382,  381,  378,  370,  366,  365,
  859.       364,  363,  362,  361,  360,  359,  358,  357,  356,  346,
  860.       329,  327,  323,  306,  305,  301,  300,  299,  298,  297,
  861.       296,  295,  294,  293,  292,  291,  290,  289,  288,  287,
  862.       285,  283,  282,  281,  280,  279,  278,  276,  275,  274,
  863.       273,  258,  257,  255,  254,  253,  252,  249,  248,  246,
  864.       220,  201,  197,  193,  191,  183,  181,  177,  174,  173,
  865.  
  866.       170,  168,  167,  165,  164,  163,  162,  161,  160,  159,
  867.       158,  157,  156,  155,  154,  153,  150,  147,  143,  133,
  868.       125,  121,  120,  119,  116,   89,   88,   80,   79,   75,
  869.        60,   59,   58,   57,   55,   54,   52,   47,   46,   45,
  870.        43,   37,   26,   23,   21,   18,   17,   13,  608,  608,
  871.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  872.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  873.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  874.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  875.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  876.  
  877.       608,  608,  608,  608,  608,  608,  608,  608,  608,  608,
  878.       608,  608,  608,  608,  608,  608,  608
  879.     } ;
  880.  
  881. static yy_state_type yy_last_accepting_state;
  882. static YY_CHAR *yy_last_accepting_cpos;
  883.  
  884. /* the intent behind this definition is that it'll catch
  885.  * any uses of REJECT which flex missed
  886.  */
  887. #define REJECT reject_used_but_not_detected
  888. #define yymore() yymore_used_but_not_detected
  889. #define YY_MORE_ADJ 0
  890.  
  891. /* these variables are all declared out here so that section 3 code can
  892.  * manipulate them
  893.  */
  894. /* points to current character in buffer */
  895. static YY_CHAR *yy_c_buf_p = (YY_CHAR *) 0;
  896. static int yy_init = 1;        /* whether we need to initialize */
  897. static int yy_start = 0;    /* start state number */
  898.  
  899. /* flag which is used to allow yywrap()'s to do buffer switches
  900.  * instead of setting up a fresh yyin.  A bit of a hack ...
  901.  */
  902. static int yy_did_buffer_switch_on_eof;
  903.  
  904. static yy_state_type yy_get_previous_state YY_PROTO(( void ));
  905. static yy_state_type yy_try_NUL_trans YY_PROTO(( register yy_state_type current_state ));
  906. static int yy_get_next_buffer YY_PROTO(( void ));
  907. static void yyunput YY_PROTO(( YY_CHAR c, register YY_CHAR *buf_ptr ));
  908. void yyrestart YY_PROTO(( FILE *input_file ));
  909. void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
  910. void yy_load_buffer_state YY_PROTO(( void ));
  911. YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
  912. void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
  913. void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
  914.  
  915. #define yy_new_buffer yy_create_buffer
  916.  
  917. #ifdef __cplusplus
  918. static int yyinput YY_PROTO(( void ));
  919. #else
  920. static int input YY_PROTO(( void ));
  921. #endif
  922.  
  923. YY_DECL
  924.     {
  925.     register yy_state_type yy_current_state;
  926.     register YY_CHAR *yy_cp, *yy_bp;
  927.     register int yy_act;
  928.  
  929.  
  930.  
  931.             INIT;
  932.  
  933.  
  934.     if ( yy_init )
  935.     {
  936.     YY_USER_INIT;
  937.  
  938.     if ( ! yy_start )
  939.         yy_start = 1;    /* first start state */
  940.  
  941.     if ( ! yyin )
  942.         yyin = stdin;
  943.  
  944.     if ( ! yyout )
  945.         yyout = stdout;
  946.  
  947.     if ( yy_current_buffer )
  948.         yy_init_buffer( yy_current_buffer, yyin );
  949.     else
  950.         yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
  951.  
  952.     yy_load_buffer_state();
  953.  
  954.     yy_init = 0;
  955.     }
  956.  
  957.     while ( 1 )        /* loops until end-of-file is reached */
  958.     {
  959.     yy_cp = yy_c_buf_p;
  960.  
  961.     /* support of yytext */
  962.     *yy_cp = yy_hold_char;
  963.  
  964.     /* yy_bp points to the position in yy_ch_buf of the start of the
  965.      * current run.
  966.      */
  967.     yy_bp = yy_cp;
  968.  
  969.     yy_current_state = yy_start;
  970.     if ( yy_bp[-1] == '\n' )
  971.         ++yy_current_state;
  972. yy_match:
  973.     do
  974.         {
  975.         register YY_CHAR yy_c = yy_ec[*yy_cp];
  976.         if ( yy_accept[yy_current_state] )
  977.         {
  978.         yy_last_accepting_state = yy_current_state;
  979.         yy_last_accepting_cpos = yy_cp;
  980.         }
  981.         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  982.         {
  983.         yy_current_state = yy_def[yy_current_state];
  984.         if ( yy_current_state >= 609 )
  985.             yy_c = yy_meta[yy_c];
  986.         }
  987.         yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
  988.         ++yy_cp;
  989.         }
  990.     while ( yy_current_state != 608 );
  991.     yy_cp = yy_last_accepting_cpos;
  992.     yy_current_state = yy_last_accepting_state;
  993.  
  994. yy_find_action:
  995.     yy_act = yy_accept[yy_current_state];
  996.  
  997.     YY_DO_BEFORE_ACTION;
  998.     YY_USER_ACTION;
  999.  
  1000. do_action:    /* this label is used only to access EOF actions */
  1001.  
  1002.  
  1003.     switch ( yy_act )
  1004.         {
  1005.         case 0: /* must backtrack */
  1006.         /* undo the effects of YY_DO_BEFORE_ACTION */
  1007.         *yy_cp = yy_hold_char;
  1008.         yy_cp = yy_last_accepting_cpos;
  1009.         yy_current_state = yy_last_accepting_state;
  1010.         goto yy_find_action;
  1011.  
  1012. case 1:
  1013. # line 109 "c++2latex.l"
  1014. { CPP; BEGIN (INCLUDE); }
  1015.     YY_BREAK
  1016. case 2:
  1017. # line 111 "c++2latex.l"
  1018. case 3:
  1019. # line 112 "c++2latex.l"
  1020. case 4:
  1021. # line 113 "c++2latex.l"
  1022. case 5:
  1023. # line 114 "c++2latex.l"
  1024. case 6:
  1025. # line 115 "c++2latex.l"
  1026. case 7:
  1027. # line 116 "c++2latex.l"
  1028. case 8:
  1029. # line 117 "c++2latex.l"
  1030. case 9:
  1031. # line 118 "c++2latex.l"
  1032. case 10:
  1033. # line 119 "c++2latex.l"
  1034. case 11:
  1035. # line 120 "c++2latex.l"
  1036. case 12:
  1037. # line 121 "c++2latex.l"
  1038. case 13:
  1039. # line 121 "c++2latex.l"
  1040. CPP;
  1041.     YY_BREAK
  1042. case 14:
  1043. *yy_cp = yy_hold_char; /* undo effects of setting up yytext */
  1044. yy_c_buf_p = yy_cp -= 1;
  1045. YY_DO_BEFORE_ACTION; /* set up yytext again */
  1046. # line 124 "c++2latex.l"
  1047. { OUT ("$<$"); FONT (string_font);
  1048.               SUB (yytext+1); OUT ("}$>$");
  1049.               input(); INIT; }
  1050.     YY_BREAK
  1051. case 15:
  1052. *yy_cp = yy_hold_char; /* undo effects of setting up yytext */
  1053. yy_c_buf_p = yy_cp -= 1;
  1054. YY_DO_BEFORE_ACTION; /* set up yytext again */
  1055. # line 127 "c++2latex.l"
  1056. { OUT ("\""); FONT (string_font);
  1057.               SUB (yytext+1); OUT ("}\"");
  1058.               input(); INIT; }
  1059.     YY_BREAK
  1060. case 16:
  1061. # line 130 "c++2latex.l"
  1062. ECHO;
  1063.     YY_BREAK
  1064. case 17:
  1065. # line 131 "c++2latex.l"
  1066. OUT ("\\mbox{}\\\\\n");
  1067.     YY_BREAK
  1068. case 18:
  1069. # line 132 "c++2latex.l"
  1070. { REPARSE; INIT; }
  1071.     YY_BREAK
  1072. case 19:
  1073. # line 135 "c++2latex.l"
  1074. case 20:
  1075. # line 136 "c++2latex.l"
  1076. case 21:
  1077. # line 137 "c++2latex.l"
  1078. case 22:
  1079. # line 138 "c++2latex.l"
  1080. case 23:
  1081. # line 139 "c++2latex.l"
  1082. case 24:
  1083. # line 140 "c++2latex.l"
  1084. case 25:
  1085. # line 141 "c++2latex.l"
  1086. case 26:
  1087. # line 142 "c++2latex.l"
  1088. case 27:
  1089. # line 143 "c++2latex.l"
  1090. case 28:
  1091. # line 144 "c++2latex.l"
  1092. case 29:
  1093. # line 145 "c++2latex.l"
  1094. case 30:
  1095. # line 146 "c++2latex.l"
  1096. case 31:
  1097. # line 147 "c++2latex.l"
  1098. case 32:
  1099. # line 148 "c++2latex.l"
  1100. case 33:
  1101. # line 149 "c++2latex.l"
  1102. case 34:
  1103. # line 150 "c++2latex.l"
  1104. case 35:
  1105. # line 151 "c++2latex.l"
  1106. case 36:
  1107. # line 152 "c++2latex.l"
  1108. case 37:
  1109. # line 153 "c++2latex.l"
  1110. case 38:
  1111. # line 154 "c++2latex.l"
  1112. case 39:
  1113. # line 155 "c++2latex.l"
  1114. case 40:
  1115. # line 156 "c++2latex.l"
  1116. case 41:
  1117. # line 157 "c++2latex.l"
  1118. case 42:
  1119. # line 158 "c++2latex.l"
  1120. case 43:
  1121. # line 159 "c++2latex.l"
  1122. case 44:
  1123. # line 160 "c++2latex.l"
  1124. case 45:
  1125. # line 161 "c++2latex.l"
  1126. case 46:
  1127. # line 162 "c++2latex.l"
  1128. case 47:
  1129. # line 163 "c++2latex.l"
  1130. case 48:
  1131. # line 164 "c++2latex.l"
  1132. case 49:
  1133. # line 165 "c++2latex.l"
  1134. case 50:
  1135. # line 166 "c++2latex.l"
  1136. case 51:
  1137. # line 167 "c++2latex.l"
  1138. case 52:
  1139. # line 168 "c++2latex.l"
  1140. case 53:
  1141. # line 169 "c++2latex.l"
  1142. case 54:
  1143. # line 170 "c++2latex.l"
  1144. case 55:
  1145. # line 171 "c++2latex.l"
  1146. case 56:
  1147. # line 172 "c++2latex.l"
  1148. case 57:
  1149. # line 173 "c++2latex.l"
  1150. case 58:
  1151. # line 174 "c++2latex.l"
  1152. case 59:
  1153. # line 175 "c++2latex.l"
  1154. case 60:
  1155. # line 176 "c++2latex.l"
  1156. case 61:
  1157. # line 177 "c++2latex.l"
  1158. case 62:
  1159. # line 178 "c++2latex.l"
  1160. case 63:
  1161. # line 179 "c++2latex.l"
  1162. case 64:
  1163. # line 180 "c++2latex.l"
  1164. case 65:
  1165. # line 181 "c++2latex.l"
  1166. case 66:
  1167. # line 182 "c++2latex.l"
  1168. case 67:
  1169. # line 183 "c++2latex.l"
  1170. case 68:
  1171. # line 184 "c++2latex.l"
  1172. case 69:
  1173. # line 185 "c++2latex.l"
  1174. case 70:
  1175. # line 186 "c++2latex.l"
  1176. case 71:
  1177. # line 187 "c++2latex.l"
  1178. case 72:
  1179. # line 188 "c++2latex.l"
  1180. case 73:
  1181. # line 188 "c++2latex.l"
  1182. KEY;
  1183.     YY_BREAK
  1184. case 74:
  1185. # line 189 "c++2latex.l"
  1186. SYM ("rightarrow");
  1187.     YY_BREAK
  1188. case 75:
  1189. # line 190 "c++2latex.l"
  1190. SYM ("ll");
  1191.     YY_BREAK
  1192. case 76:
  1193. # line 191 "c++2latex.l"
  1194. SYM ("gg");
  1195.     YY_BREAK
  1196. case 77:
  1197. # line 192 "c++2latex.l"
  1198. SYM ("leq");
  1199.     YY_BREAK
  1200. case 78:
  1201. # line 193 "c++2latex.l"
  1202. SYM ("geq");
  1203.     YY_BREAK
  1204. case 79:
  1205. # line 194 "c++2latex.l"
  1206. SYM ("neq");
  1207.     YY_BREAK
  1208. case 80:
  1209. # line 195 "c++2latex.l"
  1210. SYM ("mid\\mid");
  1211.     YY_BREAK
  1212. case 81:
  1213. # line 196 "c++2latex.l"
  1214. SYM ("ldots");
  1215.     YY_BREAK
  1216. case 82:
  1217. # line 197 "c++2latex.l"
  1218. SYM ("ast=");
  1219.     YY_BREAK
  1220. case 83:
  1221. # line 198 "c++2latex.l"
  1222. SYM ("ll=");
  1223.     YY_BREAK
  1224. case 84:
  1225. # line 199 "c++2latex.l"
  1226. SYM ("gg=");
  1227.     YY_BREAK
  1228. case 85:
  1229. # line 200 "c++2latex.l"
  1230. SYM ("vee=");
  1231.     YY_BREAK
  1232. case 86:
  1233. # line 201 "c++2latex.l"
  1234. SYM ("mid=");
  1235.     YY_BREAK
  1236. case 87:
  1237. # line 202 "c++2latex.l"
  1238. SYM ("sim");
  1239.     YY_BREAK
  1240. case 88:
  1241. # line 203 "c++2latex.l"
  1242. SYM ("ast");
  1243.     YY_BREAK
  1244. case 89:
  1245. # line 204 "c++2latex.l"
  1246. SYM ("wedge");
  1247.     YY_BREAK
  1248. case 90:
  1249. # line 205 "c++2latex.l"
  1250. SYM ("mid");
  1251.     YY_BREAK
  1252. case 91:
  1253. # line 206 "c++2latex.l"
  1254. SYM ("rightarrow\\ast");
  1255.     YY_BREAK
  1256. case 92:
  1257. # line 207 "c++2latex.l"
  1258. OUT ("$/$");
  1259.     YY_BREAK
  1260. case 93:
  1261. # line 208 "c++2latex.l"
  1262. OUT ("$<$");
  1263.     YY_BREAK
  1264. case 94:
  1265. # line 209 "c++2latex.l"
  1266. OUT ("$>$");
  1267.     YY_BREAK
  1268. case 95:
  1269. # line 210 "c++2latex.l"
  1270. OUT ("\\&\\&");
  1271.     YY_BREAK
  1272. case 96:
  1273. # line 211 "c++2latex.l"
  1274. OUT ("\\%=");
  1275.     YY_BREAK
  1276. case 97:
  1277. # line 212 "c++2latex.l"
  1278. OUT ("\\&=");
  1279.     YY_BREAK
  1280. case 98:
  1281. # line 213 "c++2latex.l"
  1282. OUT ("\\{");
  1283.     YY_BREAK
  1284. case 99:
  1285. # line 214 "c++2latex.l"
  1286. OUT ("\\}");
  1287.     YY_BREAK
  1288. case 100:
  1289. # line 215 "c++2latex.l"
  1290. OUT ("\\&");
  1291.     YY_BREAK
  1292. case 101:
  1293. # line 216 "c++2latex.l"
  1294. OUT ("\\%");
  1295.     YY_BREAK
  1296. case 102:
  1297. # line 217 "c++2latex.l"
  1298. OUT ("-{}-");
  1299.     YY_BREAK
  1300. case 103:
  1301. # line 218 "c++2latex.l"
  1302. OUT (".$\\ast$");
  1303.     YY_BREAK
  1304. case 104:
  1305. # line 220 "c++2latex.l"
  1306. case 105:
  1307. # line 221 "c++2latex.l"
  1308. case 106:
  1309. # line 222 "c++2latex.l"
  1310. case 107:
  1311. # line 223 "c++2latex.l"
  1312. case 108:
  1313. # line 224 "c++2latex.l"
  1314. case 109:
  1315. # line 225 "c++2latex.l"
  1316. case 110:
  1317. # line 226 "c++2latex.l"
  1318. case 111:
  1319. # line 227 "c++2latex.l"
  1320. case 112:
  1321. # line 228 "c++2latex.l"
  1322. case 113:
  1323. # line 229 "c++2latex.l"
  1324. case 114:
  1325. # line 230 "c++2latex.l"
  1326. case 115:
  1327. # line 231 "c++2latex.l"
  1328. case 116:
  1329. # line 232 "c++2latex.l"
  1330. case 117:
  1331. # line 233 "c++2latex.l"
  1332. case 118:
  1333. # line 234 "c++2latex.l"
  1334. case 119:
  1335. # line 235 "c++2latex.l"
  1336. case 120:
  1337. # line 236 "c++2latex.l"
  1338. case 121:
  1339. # line 237 "c++2latex.l"
  1340. case 122:
  1341. # line 237 "c++2latex.l"
  1342. ECHO;
  1343.     YY_BREAK
  1344. case 123:
  1345. # line 240 "c++2latex.l"
  1346. case 124:
  1347. # line 240 "c++2latex.l"
  1348. SUB (yytext);
  1349.     YY_BREAK
  1350.  /*    1.   Asterisk comments mini scanner */
  1351.  /*    1.1. Curly  brace comment */
  1352. case 125:
  1353. # line 244 "c++2latex.l"
  1354. { BEGIN (BCOMMENT);
  1355.                                 OUT ("\\}");
  1356.                                 BTAB;
  1357.                                 FONT (comment_font);
  1358.                                 OUT ("/$\\ast$"); }
  1359.     YY_BREAK
  1360.  /*    1.2. Comments at the beginning of a line */
  1361. case 126:
  1362. # line 251 "c++2latex.l"
  1363. { BEGIN (BCOMMENT);
  1364.                 FONT (comment_font);
  1365.                                 REPARSE; }
  1366.     YY_BREAK
  1367.  /*    1.3. Other comments, aligned to right side of paper */
  1368. case 127:
  1369. # line 256 "c++2latex.l"
  1370. { BEGIN (BCOMMENT);
  1371.                                 if (aligntoright) {
  1372.                     OUT ("\\hfill");
  1373.                 } else {
  1374.                     CTAB;
  1375.                 }
  1376.                 FONT (comment_font);
  1377.                                 OUT ("/$\\ast$"); }
  1378.     YY_BREAK
  1379. case 128:
  1380. # line 265 "c++2latex.l"
  1381. { INIT; OUT ("$\\ast$/}"); }
  1382.     YY_BREAK
  1383. case 129:
  1384. # line 266 "c++2latex.l"
  1385. OUT ("\\mbox{}\\\\\n");
  1386.     YY_BREAK
  1387. case 130:
  1388. # line 267 "c++2latex.l"
  1389. IND;
  1390.     YY_BREAK
  1391. case 131:
  1392. # line 268 "c++2latex.l"
  1393. SUB (yytext);
  1394.     YY_BREAK
  1395.  /*    2.   Double slash ``//'' comments mini scanner */
  1396.  /*    2.1. Curly brace comment */
  1397. case 132:
  1398. # line 272 "c++2latex.l"
  1399. { BEGIN (SLASHCOMMENT);
  1400.                                 OUT ("\\}");
  1401.                                 BTAB;
  1402.                 FONT (comment_font);
  1403.                                 OUT ("//");}
  1404.     YY_BREAK
  1405.  /*    2.2. Complete line comment */
  1406. case 133:
  1407. # line 279 "c++2latex.l"
  1408. { BEGIN (SLASHCOMMENT);
  1409.                                 FONT (comment_font);
  1410.                 REPARSE; }
  1411.     YY_BREAK
  1412.  /*    2.3. Other comments */
  1413. case 134:
  1414. # line 284 "c++2latex.l"
  1415. { BEGIN (SLASHCOMMENT);
  1416.                                 if (aligntoright) {
  1417.                     OUT ("\\hfill");
  1418.                 } else {
  1419.                     CTAB;
  1420.                 }
  1421.                 FONT (comment_font);
  1422.                                 OUT ("//"); }
  1423.     YY_BREAK
  1424. case 135:
  1425. # line 293 "c++2latex.l"
  1426. { INIT; OUT ("}\\mbox{}\\\\\n"); }
  1427.     YY_BREAK
  1428. case 136:
  1429. # line 294 "c++2latex.l"
  1430. IND;
  1431.     YY_BREAK
  1432. case 137:
  1433. # line 295 "c++2latex.l"
  1434. SUB (yytext);
  1435.     YY_BREAK
  1436. case 138:
  1437. # line 298 "c++2latex.l"
  1438. { BEGIN (STRING);
  1439.                 FONT (string_font); OUT ("\""); }
  1440.     YY_BREAK
  1441. case 139:
  1442. # line 300 "c++2latex.l"
  1443. OUT ("$\\backslash\\backslash$");
  1444.     YY_BREAK
  1445. case 140:
  1446. # line 301 "c++2latex.l"
  1447. { OUT ("$\\backslash$"); SUB (yytext+1); }
  1448.     YY_BREAK
  1449. case 141:
  1450. # line 302 "c++2latex.l"
  1451. { INIT; OUT ("\"}"); }
  1452.     YY_BREAK
  1453. case 142:
  1454. # line 303 "c++2latex.l"
  1455. OUT ("\\mbox{}\\\\\n");
  1456.     YY_BREAK
  1457. case 143:
  1458. # line 304 "c++2latex.l"
  1459. IND;
  1460.     YY_BREAK
  1461. case 144:
  1462. # line 305 "c++2latex.l"
  1463. SUB (yytext);
  1464.     YY_BREAK
  1465. case 145:
  1466. # line 308 "c++2latex.l"
  1467. case 146:
  1468. # line 309 "c++2latex.l"
  1469. case 147:
  1470. # line 310 "c++2latex.l"
  1471. case 148:
  1472. # line 310 "c++2latex.l"
  1473. ECHO;
  1474.     YY_BREAK
  1475. case 149:
  1476. # line 312 "c++2latex.l"
  1477. ECHO;
  1478.     YY_BREAK
  1479. case 150:
  1480. # line 315 "c++2latex.l"
  1481. case 151:
  1482. # line 316 "c++2latex.l"
  1483. case 152:
  1484. # line 317 "c++2latex.l"
  1485. case 153:
  1486. # line 317 "c++2latex.l"
  1487. SUB (yytext);
  1488.     YY_BREAK
  1489. case 154:
  1490. # line 319 "c++2latex.l"
  1491. ECHO;
  1492.     YY_BREAK
  1493. case 155:
  1494. # line 321 "c++2latex.l"
  1495. ECHO;
  1496.     YY_BREAK
  1497. case 156:
  1498. # line 323 "c++2latex.l"
  1499. OUT ("$\\backslash$\\\\\n");
  1500.     YY_BREAK
  1501. case 157:
  1502. # line 324 "c++2latex.l"
  1503. IND;
  1504.     YY_BREAK
  1505. case 158:
  1506. # line 325 "c++2latex.l"
  1507. ECHO;
  1508.     YY_BREAK
  1509. case 159:
  1510. # line 326 "c++2latex.l"
  1511. OUT ("\\newpage\n");
  1512.     YY_BREAK
  1513. case 160:
  1514. # line 327 "c++2latex.l"
  1515. OUT ("\\mbox{}\\\\\n");
  1516.     YY_BREAK
  1517. case 161:
  1518. # line 329 "c++2latex.l"
  1519. ECHO;
  1520.     YY_BREAK
  1521. case YY_STATE_EOF(INITIAL):
  1522. case YY_STATE_EOF(STRING):
  1523. case YY_STATE_EOF(BCOMMENT):
  1524. case YY_STATE_EOF(INCLUDE):
  1525. case YY_STATE_EOF(SLASHCOMMENT):
  1526. case YY_STATE_EOF(CPLUSPLUS):
  1527.     yyterminate();
  1528.  
  1529.         case YY_END_OF_BUFFER:
  1530.         {
  1531.         /* amount of text matched not including the EOB char */
  1532.         int yy_amount_of_matched_text = yy_cp - yytext - 1;
  1533.  
  1534.         /* undo the effects of YY_DO_BEFORE_ACTION */
  1535.         *yy_cp = yy_hold_char;
  1536.  
  1537.         /* note that here we test for yy_c_buf_p "<=" to the position
  1538.          * of the first EOB in the buffer, since yy_c_buf_p will
  1539.          * already have been incremented past the NUL character
  1540.          * (since all states make transitions on EOB to the end-
  1541.          * of-buffer state).  Contrast this with the test in yyinput().
  1542.          */
  1543.         if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
  1544.             /* this was really a NUL */
  1545.             {
  1546.             yy_state_type yy_next_state;
  1547.  
  1548.             yy_c_buf_p = yytext + yy_amount_of_matched_text;
  1549.  
  1550.             yy_current_state = yy_get_previous_state();
  1551.  
  1552.             /* okay, we're now positioned to make the
  1553.              * NUL transition.  We couldn't have
  1554.              * yy_get_previous_state() go ahead and do it
  1555.              * for us because it doesn't know how to deal
  1556.              * with the possibility of jamming (and we
  1557.              * don't want to build jamming into it because
  1558.              * then it will run more slowly)
  1559.              */
  1560.  
  1561.             yy_next_state = yy_try_NUL_trans( yy_current_state );
  1562.  
  1563.             yy_bp = yytext + YY_MORE_ADJ;
  1564.  
  1565.             if ( yy_next_state )
  1566.             {
  1567.             /* consume the NUL */
  1568.             yy_cp = ++yy_c_buf_p;
  1569.             yy_current_state = yy_next_state;
  1570.             goto yy_match;
  1571.             }
  1572.  
  1573.             else
  1574.             {
  1575.                 yy_cp = yy_last_accepting_cpos;
  1576.                 yy_current_state = yy_last_accepting_state;
  1577.             goto yy_find_action;
  1578.             }
  1579.             }
  1580.  
  1581.         else switch ( yy_get_next_buffer() )
  1582.             {
  1583.             case EOB_ACT_END_OF_FILE:
  1584.             {
  1585.             yy_did_buffer_switch_on_eof = 0;
  1586.  
  1587.             if ( yywrap() )
  1588.                 {
  1589.                 /* note: because we've taken care in
  1590.                  * yy_get_next_buffer() to have set up yytext,
  1591.                  * we can now set up yy_c_buf_p so that if some
  1592.                  * total hoser (like flex itself) wants
  1593.                  * to call the scanner after we return the
  1594.                  * YY_NULL, it'll still work - another YY_NULL
  1595.                  * will get returned.
  1596.                  */
  1597.                 yy_c_buf_p = yytext + YY_MORE_ADJ;
  1598.  
  1599.                 yy_act = YY_STATE_EOF((yy_start - 1) / 2);
  1600.                 goto do_action;
  1601.                 }
  1602.  
  1603.             else
  1604.                 {
  1605.                 if ( ! yy_did_buffer_switch_on_eof )
  1606.                 YY_NEW_FILE;
  1607.                 }
  1608.             }
  1609.             break;
  1610.  
  1611.             case EOB_ACT_CONTINUE_SCAN:
  1612.             yy_c_buf_p = yytext + yy_amount_of_matched_text;
  1613.  
  1614.             yy_current_state = yy_get_previous_state();
  1615.  
  1616.             yy_cp = yy_c_buf_p;
  1617.             yy_bp = yytext + YY_MORE_ADJ;
  1618.             goto yy_match;
  1619.  
  1620.             case EOB_ACT_LAST_MATCH:
  1621.             yy_c_buf_p =
  1622.                 &yy_current_buffer->yy_ch_buf[yy_n_chars];
  1623.  
  1624.             yy_current_state = yy_get_previous_state();
  1625.  
  1626.             yy_cp = yy_c_buf_p;
  1627.             yy_bp = yytext + YY_MORE_ADJ;
  1628.             goto yy_find_action;
  1629.             }
  1630.         break;
  1631.         }
  1632.  
  1633.         default:
  1634. #ifdef FLEX_DEBUG
  1635.         printf( "action # %d\n", yy_act );
  1636. #endif
  1637.         YY_FATAL_ERROR(
  1638.             "fatal flex scanner internal error--no action found" );
  1639.         }
  1640.     }
  1641.     }
  1642.  
  1643.  
  1644. /* yy_get_next_buffer - try to read in a new buffer
  1645.  *
  1646.  * synopsis
  1647.  *     int yy_get_next_buffer();
  1648.  *     
  1649.  * returns a code representing an action
  1650.  *     EOB_ACT_LAST_MATCH - 
  1651.  *     EOB_ACT_CONTINUE_SCAN - continue scanning from current position
  1652.  *     EOB_ACT_END_OF_FILE - end of file
  1653.  */
  1654.  
  1655. static int yy_get_next_buffer()
  1656.  
  1657.     {
  1658.     register YY_CHAR *dest = yy_current_buffer->yy_ch_buf;
  1659.     register YY_CHAR *source = yytext - 1; /* copy prev. char, too */
  1660.     register int number_to_move, i;
  1661.     int ret_val;
  1662.  
  1663.     if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
  1664.     YY_FATAL_ERROR(
  1665.         "fatal flex scanner internal error--end of buffer missed" );
  1666.  
  1667.     /* try to read more data */
  1668.  
  1669.     /* first move last chars to start of buffer */
  1670.     number_to_move = yy_c_buf_p - yytext;
  1671.  
  1672.     for ( i = 0; i < number_to_move; ++i )
  1673.     *(dest++) = *(source++);
  1674.  
  1675.     if ( yy_current_buffer->yy_eof_status != EOF_NOT_SEEN )
  1676.     /* don't do the read, it's not guaranteed to return an EOF,
  1677.      * just force an EOF
  1678.      */
  1679.     yy_n_chars = 0;
  1680.  
  1681.     else
  1682.     {
  1683.     int num_to_read = yy_current_buffer->yy_buf_size - number_to_move - 1;
  1684.  
  1685.     if ( num_to_read > YY_READ_BUF_SIZE )
  1686.         num_to_read = YY_READ_BUF_SIZE;
  1687.  
  1688.     else if ( num_to_read <= 0 )
  1689.         YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" );
  1690.  
  1691.     /* read in more data */
  1692.     YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
  1693.           yy_n_chars, num_to_read );
  1694.     }
  1695.  
  1696.     if ( yy_n_chars == 0 )
  1697.     {
  1698.     if ( number_to_move == 1 )
  1699.         {
  1700.         ret_val = EOB_ACT_END_OF_FILE;
  1701.         yy_current_buffer->yy_eof_status = EOF_DONE;
  1702.         }
  1703.  
  1704.     else
  1705.         {
  1706.         ret_val = EOB_ACT_LAST_MATCH;
  1707.         yy_current_buffer->yy_eof_status = EOF_PENDING;
  1708.         }
  1709.     }
  1710.  
  1711.     else
  1712.     ret_val = EOB_ACT_CONTINUE_SCAN;
  1713.  
  1714.     yy_n_chars += number_to_move;
  1715.     yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
  1716.     yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
  1717.  
  1718.     /* yytext begins at the second character in yy_ch_buf; the first
  1719.      * character is the one which preceded it before reading in the latest
  1720.      * buffer; it needs to be kept around in case it's a newline, so
  1721.      * yy_get_previous_state() will have with '^' rules active
  1722.      */
  1723.  
  1724.     yytext = &yy_current_buffer->yy_ch_buf[1];
  1725.  
  1726.     return ( ret_val );
  1727.     }
  1728.  
  1729.  
  1730. /* yy_get_previous_state - get the state just before the EOB char was reached
  1731.  *
  1732.  * synopsis
  1733.  *     yy_state_type yy_get_previous_state();
  1734.  */
  1735.  
  1736. static yy_state_type yy_get_previous_state()
  1737.  
  1738.     {
  1739.     register yy_state_type yy_current_state;
  1740.     register YY_CHAR *yy_cp;
  1741.  
  1742.     register YY_CHAR *yy_bp = yytext;
  1743.  
  1744.     yy_current_state = yy_start;
  1745.     if ( yy_bp[-1] == '\n' )
  1746.     ++yy_current_state;
  1747.  
  1748.     for ( yy_cp = yytext + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
  1749.     {
  1750.     register YY_CHAR yy_c = (*yy_cp ? yy_ec[*yy_cp] : 1);
  1751.     if ( yy_accept[yy_current_state] )
  1752.         {
  1753.         yy_last_accepting_state = yy_current_state;
  1754.         yy_last_accepting_cpos = yy_cp;
  1755.         }
  1756.     while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  1757.         {
  1758.         yy_current_state = yy_def[yy_current_state];
  1759.         if ( yy_current_state >= 609 )
  1760.         yy_c = yy_meta[yy_c];
  1761.         }
  1762.     yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
  1763.     }
  1764.  
  1765.     return ( yy_current_state );
  1766.     }
  1767.  
  1768.  
  1769. /* yy_try_NUL_trans - try to make a transition on the NUL character
  1770.  *
  1771.  * synopsis
  1772.  *     next_state = yy_try_NUL_trans( current_state );
  1773.  */
  1774.  
  1775. #ifdef YY_USE_PROTOS
  1776. static yy_state_type yy_try_NUL_trans( register yy_state_type yy_current_state )
  1777. #else
  1778. static yy_state_type yy_try_NUL_trans( yy_current_state )
  1779. register yy_state_type yy_current_state;
  1780. #endif
  1781.  
  1782.     {
  1783.     register int yy_is_jam;
  1784.     register YY_CHAR *yy_cp = yy_c_buf_p;
  1785.  
  1786.     register YY_CHAR yy_c = 1;
  1787.     if ( yy_accept[yy_current_state] )
  1788.     {
  1789.     yy_last_accepting_state = yy_current_state;
  1790.     yy_last_accepting_cpos = yy_cp;
  1791.     }
  1792.     while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  1793.     {
  1794.     yy_current_state = yy_def[yy_current_state];
  1795.     if ( yy_current_state >= 609 )
  1796.         yy_c = yy_meta[yy_c];
  1797.     }
  1798.     yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
  1799.     yy_is_jam = (yy_current_state == 608);
  1800.  
  1801.     return ( yy_is_jam ? 0 : yy_current_state );
  1802.     }
  1803.  
  1804.  
  1805. #ifdef YY_USE_PROTOS
  1806. static void yyunput( YY_CHAR c, register YY_CHAR *yy_bp )
  1807. #else
  1808. static void yyunput( c, yy_bp )
  1809. YY_CHAR c;
  1810. register YY_CHAR *yy_bp;
  1811. #endif
  1812.  
  1813.     {
  1814.     register YY_CHAR *yy_cp = yy_c_buf_p;
  1815.  
  1816.     /* undo effects of setting up yytext */
  1817.     *yy_cp = yy_hold_char;
  1818.  
  1819.     if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
  1820.     { /* need to shift things up to make room */
  1821.     register int number_to_move = yy_n_chars + 2; /* +2 for EOB chars */
  1822.     register YY_CHAR *dest =
  1823.         &yy_current_buffer->yy_ch_buf[yy_current_buffer->yy_buf_size + 2];
  1824.     register YY_CHAR *source =
  1825.         &yy_current_buffer->yy_ch_buf[number_to_move];
  1826.  
  1827.     while ( source > yy_current_buffer->yy_ch_buf )
  1828.         *--dest = *--source;
  1829.  
  1830.     yy_cp += dest - source;
  1831.     yy_bp += dest - source;
  1832.     yy_n_chars = yy_current_buffer->yy_buf_size;
  1833.  
  1834.     if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
  1835.         YY_FATAL_ERROR( "flex scanner push-back overflow" );
  1836.     }
  1837.  
  1838.     if ( yy_cp > yy_bp && yy_cp[-1] == '\n' )
  1839.     yy_cp[-2] = '\n';
  1840.  
  1841.     *--yy_cp = c;
  1842.  
  1843.     /* note: the formal parameter *must* be called "yy_bp" for this
  1844.      *       macro to now work correctly
  1845.      */
  1846.     YY_DO_BEFORE_ACTION; /* set up yytext again */
  1847.     }
  1848.  
  1849.  
  1850. #ifdef __cplusplus
  1851. static int yyinput()
  1852. #else
  1853. static int input()
  1854. #endif
  1855.  
  1856.     {
  1857.     int c;
  1858.     YY_CHAR *yy_cp = yy_c_buf_p;
  1859.  
  1860.     *yy_cp = yy_hold_char;
  1861.  
  1862.     if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
  1863.     {
  1864.     /* yy_c_buf_p now points to the character we want to return.
  1865.      * If this occurs *before* the EOB characters, then it's a
  1866.      * valid NUL; if not, then we've hit the end of the buffer.
  1867.      */
  1868.     if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
  1869.         /* this was really a NUL */
  1870.         *yy_c_buf_p = '\0';
  1871.  
  1872.     else
  1873.         { /* need more input */
  1874.         yytext = yy_c_buf_p;
  1875.         ++yy_c_buf_p;
  1876.  
  1877.         switch ( yy_get_next_buffer() )
  1878.         {
  1879.         case EOB_ACT_END_OF_FILE:
  1880.             {
  1881.             if ( yywrap() )
  1882.             {
  1883.             yy_c_buf_p = yytext + YY_MORE_ADJ;
  1884.             return ( EOF );
  1885.             }
  1886.  
  1887.             YY_NEW_FILE;
  1888.  
  1889. #ifdef __cplusplus
  1890.             return ( yyinput() );
  1891. #else
  1892.             return ( input() );
  1893. #endif
  1894.             }
  1895.             break;
  1896.  
  1897.         case EOB_ACT_CONTINUE_SCAN:
  1898.             yy_c_buf_p = yytext + YY_MORE_ADJ;
  1899.             break;
  1900.  
  1901.         case EOB_ACT_LAST_MATCH:
  1902. #ifdef __cplusplus
  1903.             YY_FATAL_ERROR( "unexpected last match in yyinput()" );
  1904. #else
  1905.             YY_FATAL_ERROR( "unexpected last match in input()" );
  1906. #endif
  1907.         }
  1908.         }
  1909.     }
  1910.  
  1911.     c = *yy_c_buf_p;
  1912.     yy_hold_char = *++yy_c_buf_p;
  1913.  
  1914.     return ( c );
  1915.     }
  1916.  
  1917.  
  1918. #ifdef YY_USE_PROTOS
  1919. void yyrestart( FILE *input_file )
  1920. #else
  1921. void yyrestart( input_file )
  1922. FILE *input_file;
  1923. #endif
  1924.  
  1925.     {
  1926.     yy_init_buffer( yy_current_buffer, input_file );
  1927.     yy_load_buffer_state();
  1928.     }
  1929.  
  1930.  
  1931. #ifdef YY_USE_PROTOS
  1932. void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
  1933. #else
  1934. void yy_switch_to_buffer( new_buffer )
  1935. YY_BUFFER_STATE new_buffer;
  1936. #endif
  1937.  
  1938.     {
  1939.     if ( yy_current_buffer == new_buffer )
  1940.     return;
  1941.  
  1942.     if ( yy_current_buffer )
  1943.     {
  1944.     /* flush out information for old buffer */
  1945.     *yy_c_buf_p = yy_hold_char;
  1946.     yy_current_buffer->yy_buf_pos = yy_c_buf_p;
  1947.     yy_current_buffer->yy_n_chars = yy_n_chars;
  1948.     }
  1949.  
  1950.     yy_current_buffer = new_buffer;
  1951.     yy_load_buffer_state();
  1952.  
  1953.     /* we don't actually know whether we did this switch during
  1954.      * EOF (yywrap()) processing, but the only time this flag
  1955.      * is looked at is after yywrap() is called, so it's safe
  1956.      * to go ahead and always set it.
  1957.      */
  1958.     yy_did_buffer_switch_on_eof = 1;
  1959.     }
  1960.  
  1961.  
  1962. #ifdef YY_USE_PROTOS
  1963. void yy_load_buffer_state( void )
  1964. #else
  1965. void yy_load_buffer_state()
  1966. #endif
  1967.  
  1968.     {
  1969.     yy_n_chars = yy_current_buffer->yy_n_chars;
  1970.     yytext = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
  1971.     yyin = yy_current_buffer->yy_input_file;
  1972.     yy_hold_char = *yy_c_buf_p;
  1973.     }
  1974.  
  1975.  
  1976. #ifdef YY_USE_PROTOS
  1977. YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
  1978. #else
  1979. YY_BUFFER_STATE yy_create_buffer( file, size )
  1980. FILE *file;
  1981. int size;
  1982. #endif
  1983.  
  1984.     {
  1985.     YY_BUFFER_STATE b;
  1986.  
  1987.     b = (YY_BUFFER_STATE) malloc( sizeof( struct yy_buffer_state ) );
  1988.  
  1989.     if ( ! b )
  1990.     YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
  1991.  
  1992.     b->yy_buf_size = size;
  1993.  
  1994.     /* yy_ch_buf has to be 2 characters longer than the size given because
  1995.      * we need to put in 2 end-of-buffer characters.
  1996.      */
  1997.     b->yy_ch_buf = (YY_CHAR *) malloc( (unsigned) (b->yy_buf_size + 2) );
  1998.  
  1999.     if ( ! b->yy_ch_buf )
  2000.     YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
  2001.  
  2002.     yy_init_buffer( b, file );
  2003.  
  2004.     return ( b );
  2005.     }
  2006.  
  2007.  
  2008. #ifdef YY_USE_PROTOS
  2009. void yy_delete_buffer( YY_BUFFER_STATE b )
  2010. #else
  2011. void yy_delete_buffer( b )
  2012. YY_BUFFER_STATE b;
  2013. #endif
  2014.  
  2015.     {
  2016.     if ( b == yy_current_buffer )
  2017.     yy_current_buffer = (YY_BUFFER_STATE) 0;
  2018.  
  2019.     free( (char *) b->yy_ch_buf );
  2020.     free( (char *) b );
  2021.     }
  2022.  
  2023.  
  2024. #ifdef YY_USE_PROTOS
  2025. void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
  2026. #else
  2027. void yy_init_buffer( b, file )
  2028. YY_BUFFER_STATE b;
  2029. FILE *file;
  2030. #endif
  2031.  
  2032.     {
  2033.     b->yy_input_file = file;
  2034.  
  2035.     /* we put in the '\n' and start reading from [1] so that an
  2036.      * initial match-at-newline will be true.
  2037.      */
  2038.  
  2039.     b->yy_ch_buf[0] = '\n';
  2040.     b->yy_n_chars = 1;
  2041.  
  2042.     /* we always need two end-of-buffer characters.  The first causes
  2043.      * a transition to the end-of-buffer state.  The second causes
  2044.      * a jam in that state.
  2045.      */
  2046.     b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
  2047.     b->yy_ch_buf[2] = YY_END_OF_BUFFER_CHAR;
  2048.  
  2049.     b->yy_buf_pos = &b->yy_ch_buf[1];
  2050.  
  2051.     b->yy_eof_status = EOF_NOT_SEEN;
  2052.     }
  2053. # line 329 "c++2latex.l"
  2054.  
  2055.  
  2056. #ifndef LATTICE
  2057. #include "main.c"
  2058. #endif
  2059.