/* A lexical scanner generated by flex */ /* scanner skeleton version: * $Header: /usr/fsys/odin/a/vern/flex/RCS/flex.skel,v 2.16 90/08/03 14:09:36 vern Exp $ */ #define FLEX_SCANNER #include /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ #ifdef c_plusplus #ifndef __cplusplus #define __cplusplus #endif #endif #ifdef __cplusplus #include #include /* use prototypes in function declarations */ #define YY_USE_PROTOS /* the "const" storage-class-modifier is valid */ #define YY_USE_CONST #else /* ! __cplusplus */ #ifdef __STDC__ #ifdef __GNUC__ #include void *malloc( size_t ); void free( void* ); #else #include #endif /* __GNUC__ */ #define YY_USE_PROTOS #define YY_USE_CONST #endif /* __STDC__ */ #endif /* ! __cplusplus */ #ifdef __TURBOC__ #define YY_USE_CONST #endif #ifndef YY_USE_CONST #define const #endif #ifdef YY_USE_PROTOS #define YY_PROTO(proto) proto #else #define YY_PROTO(proto) () /* we can't get here if it's an ANSI C compiler, or a C++ compiler, * so it's got to be a K&R compiler, and therefore there's no standard * place from which to include these definitions */ char *malloc(); int free(); int read(); #endif /* amount of stuff to slurp up with each read */ #ifndef YY_READ_BUF_SIZE #define YY_READ_BUF_SIZE 8192 #endif /* returned upon end-of-file */ #define YY_END_TOK 0 /* copy whatever the last rule matched to the standard output */ /* cast to (char *) is because for 8-bit chars, yytext is (unsigned char *) */ /* this used to be an fputs(), but since the string might contain NUL's, * we now use fwrite() */ #define ECHO (void) fwrite( (char *) yytext, yyleng, 1, yyout ) /* gets input and stuffs it into "buf". number of characters read, or YY_NULL, * is returned in "result". */ #define YY_INPUT(buf,result,max_size) \ if ( (result = read( fileno(yyin), (char *) buf, max_size )) < 0 ) \ YY_FATAL_ERROR( "read() in flex scanner failed" ); #define YY_NULL 0 /* no semi-colon after return; correct usage is to write "yyterminate();" - * we don't want an extra ';' after the "return" because that will cause * some compilers to complain about unreachable statements. */ #define yyterminate() return ( YY_NULL ) /* report a fatal error */ /* The funky do-while is used to turn this macro definition into * a single C statement (which needs a semi-colon terminator). * This avoids problems with code like: * * if ( something_happens ) * YY_FATAL_ERROR( "oops, the something happened" ); * else * everything_okay(); * * Prior to using the do-while the compiler would get upset at the * "else" because it interpreted the "if" statement as being all * done when it reached the ';' after the YY_FATAL_ERROR() call. */ #define YY_FATAL_ERROR(msg) \ do \ { \ (void) fputs( msg, stderr ); \ (void) putc( '\n', stderr ); \ exit( 1 ); \ } \ while ( 0 ) /* default yywrap function - always treat EOF as an EOF */ #define yywrap() 1 /* enter a start condition. This macro really ought to take a parameter, * but we do it the disgusting crufty way forced on us by the ()-less * definition of BEGIN */ #define BEGIN yy_start = 1 + 2 * /* action number for EOF rule of a given start state */ #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) /* special action meaning "start processing a new file" */ #define YY_NEW_FILE \ do \ { \ yy_init_buffer( yy_current_buffer, yyin ); \ yy_load_buffer_state(); \ } \ while ( 0 ) /* default declaration of generated scanner - a define so the user can * easily add parameters */ #define YY_DECL int yylex YY_PROTO(( void )) /* code executed at the end of each rule */ #define YY_BREAK break; #define YY_END_OF_BUFFER_CHAR 0 #ifndef YY_BUF_SIZE #define YY_BUF_SIZE (YY_READ_BUF_SIZE * 2) /* size of default input buffer */ #endif typedef struct yy_buffer_state *YY_BUFFER_STATE; #define YY_CHAR unsigned char #define INITIAL 0 #ifndef lint static char rcsid[] = "$Header: /usr/src/local/bin/detex/RCS/detex.l,v 2.14 1992/09/02 15:35:44 trinkle Exp $"; #endif /* * detex [-e environment-list] [-c] [-l] [-n] [-s] [-t] [-w] [file[.tex]] * * This program is used to remove TeX or LaTeX constructs from a text * file. * * Written by: * Daniel Trinkle * Department of Computer Science * Purdue University * */ #include "detex.h" #ifdef USG #include #define index strchr #define rindex strrchr #else #include #endif #ifndef MAXPATHLEN #include #endif #define LaBEGIN if (fLatex) BEGIN #define CITEBEGIN if (fLatex && !fCite) BEGIN #define IGNORE if (fSpace && !fWord) putchar(' ') #define SPACE if (!fWord) putchar(' ') #define NEWLINE if (!fWord) putchar('\n') #ifdef FLEX_SCANNER #undef yywrap #endif #ifndef __STDC__ char *malloc(); #else #include #include #include #include "detex_protos.h" #endif char *rgsbEnvIgnore[MAXENVS]; /* list of environments ignored */ char *rgsbIncList[MAXINCLIST]; /* list of includeonly files */ char *rgsbInputPaths[MAXINPUTPATHS]; /* list of input paths in order */ char sbCurrentEnv[CCHMAXENV]; /* current environment being ignored */ char *sbProgName; /* name we were invoked with */ FILE *rgfp[NOFILE+1]; /* stack of input/include files */ int cfp = 0; /* count of files in stack */ int cOpenBrace = 0; /* count of `{' in */ int csbEnvIgnore; /* count of environments ignored */ int csbIncList = 0; /* count of includeonly files */ int csbInputPaths; /* count of input paths */ int fLatex = 0; /* flag to indicated delatex */ int fWord = 0; /* flag for -w option */ int fFollow = 1; /* flag to follow input/include */ int fCite = 0; /* flag to echo \cite and \ref args */ int fSpace = 0; /* flag to replace \cs with space */ int fForcetex = 0; /* flag to inhibit latex mode */ #define Define 1 #define Display 2 #define IncludeOnly 3 #define Input 4 #define Math 5 #define Normal 6 #define Control 7 #define LaBegin 8 #define LaDisplay 9 #define LaEnd 10 #define LaEnv 11 #define LaFormula 12 #define LaInclude 13 #define LaMacro 14 #define LaMacro2 15 #define LaVerbatim 16 /* done after the current pattern has been matched and before the * corresponding action - sets up yytext */ #define YY_DO_BEFORE_ACTION \ yytext = yy_bp; \ yyleng = yy_cp - yy_bp; \ yy_hold_char = *yy_cp; \ *yy_cp = '\0'; \ yy_c_buf_p = yy_cp; #define EOB_ACT_CONTINUE_SCAN 0 #define EOB_ACT_END_OF_FILE 1 #define EOB_ACT_LAST_MATCH 2 /* return all but the first 'n' matched characters back to the input stream */ #define yyless(n) \ do \ { \ /* undo effects of setting up yytext */ \ *yy_cp = yy_hold_char; \ yy_c_buf_p = yy_cp = yy_bp + n; \ YY_DO_BEFORE_ACTION; /* set up yytext again */ \ } \ while ( 0 ) #define unput(c) yyunput( c, yytext ) struct yy_buffer_state { FILE *yy_input_file; YY_CHAR *yy_ch_buf; /* input buffer */ YY_CHAR *yy_buf_pos; /* current position in input buffer */ /* size of input buffer in bytes, not including room for EOB characters*/ int yy_buf_size; /* number of characters read into yy_ch_buf, not including EOB characters */ int yy_n_chars; int yy_eof_status; /* whether we've seen an EOF on this buffer */ #define EOF_NOT_SEEN 0 /* "pending" happens when the EOF has been seen but there's still * some text process */ #define EOF_PENDING 1 #define EOF_DONE 2 }; static YY_BUFFER_STATE yy_current_buffer; /* we provide macros for accessing buffer states in case in the * future we want to put the buffer states in a more general * "scanner state" */ #define YY_CURRENT_BUFFER yy_current_buffer /* yy_hold_char holds the character lost when yytext is formed */ static YY_CHAR yy_hold_char; static int yy_n_chars; /* number of characters read into yy_ch_buf */ #ifndef YY_USER_ACTION #define YY_USER_ACTION #endif #ifndef YY_USER_INIT #define YY_USER_INIT #endif extern YY_CHAR *yytext; extern int yyleng; extern FILE *yyin, *yyout; YY_CHAR *yytext; int yyleng; FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0; #define YY_END_OF_BUFFER 88 typedef int yy_state_type; static const short int yy_accept[278] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 79, 79, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 88, 87, 40, 39, 38, 52, 51, 52, 63, 66, 65, 64, 68, 70, 69, 57, 55, 54, 57, 86, 86, 53, 1, 85, 86, 81, 81, 83, 80, 79, 78, 77, 80, 80, 9, 9, 8, 7, 9, 48, 47, 48, 16, 15, 13, 14, 12, 11, 12, 44, 43, 44, 59, 61, 60, 32, 31, 30, 36, 35, 33, 34, 6, 6, 50, 63, 68, 56, 82, 49, 1, 85, 0, 84, 75, 74, 41, 73, 73, 73, 73, 45, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 79, 77, 77, 0, 76, 0, 0, 7, 0, 0, 46, 13, 0, 42, 59, 0, 84, 73, 73, 72, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 0, 0, 0, 71, 73, 73, 73, 37, 73, 22, 73, 73, 73, 73, 73, 27, 73, 73, 0, 10, 0, 73, 73, 73, 73, 20, 73, 73, 73, 73, 73, 73, 73, 29, 0, 0, 0, 3, 73, 73, 73, 73, 73, 23, 67, 24, 73, 73, 73, 0, 0, 0, 0, 0, 73, 73, 73, 73, 73, 73, 73, 73, 0, 0, 0, 0, 17, 73, 73, 73, 58, 25, 73, 73, 0, 0, 0, 73, 19, 73, 73, 73, 73, 0, 0, 0, 73, 73, 73, 26, 73, 0, 4, 0, 0, 73, 73, 73, 28, 0, 0, 73, 73, 62, 0, 0, 18, 73, 0, 0, 21, 0, 5, 0, 0, 2, 0 } ; static const YY_CHAR yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4, 5, 1, 1, 6, 7, 1, 8, 9, 10, 1, 1, 11, 12, 1, 1, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 1, 1, 1, 12, 1, 5, 14, 15, 16, 16, 16, 17, 16, 16, 16, 16, 16, 16, 18, 16, 16, 19, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 20, 21, 22, 1, 1, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 18, 16, 33, 34, 35, 36, 37, 16, 38, 39, 40, 41, 42, 16, 43, 44, 16, 45, 46, 47, 48, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } ; static const YY_CHAR yy_meta[49] = { 0, 1, 2, 3, 2, 1, 1, 1, 4, 1, 1, 5, 6, 6, 7, 8, 8, 8, 8, 8, 1, 1, 1, 6, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 2, 1, 9, 1 } ; static const short int yy_base[303] = { 0, 0, 0, 0, 1, 2, 3, 8, 11, 14, 21, 23, 27, 68, 0, 116, 0, 164, 0, 17, 18, 212, 0, 28, 29, 31, 33, 259, 262, 4, 264, 265, 268, 39, 44, 709, 710, 710, 710, 710, 710, 710, 702, 0, 710, 710, 710, 0, 710, 710, 710, 710, 710, 701, 710, 683, 699, 0, 691, 695, 315, 710, 710, 710, 273, 710, 0, 261, 0, 710, 362, 365, 0, 369, 710, 710, 680, 710, 710, 0, 710, 710, 710, 673, 710, 710, 690, 0, 710, 710, 710, 710, 710, 710, 710, 710, 710, 710, 671, 710, 0, 0, 710, 710, 710, 0, 685, 689, 688, 710, 710, 710, 0, 20, 691, 23, 710, 39, 242, 662, 244, 658, 279, 272, 274, 668, 663, 251, 662, 372, 0, 0, 274, 0, 375, 379, 0, 382, 661, 710, 0, 653, 710, 0, 652, 675, 0, 678, 710, 651, 649, 633, 637, 632, 630, 261, 629, 623, 623, 604, 598, 597, 603, 601, 710, 595, 260, 479, 0, 465, 0, 471, 475, 460, 472, 470, 0, 471, 470, 469, 710, 385, 458, 452, 459, 450, 0, 455, 447, 443, 445, 451, 256, 447, 0, 458, 388, 392, 395, 453, 444, 435, 450, 450, 0, 0, 0, 448, 435, 433, 433, 399, 444, 402, 410, 437, 440, 436, 433, 439, 437, 405, 413, 414, 407, 423, 403, 0, 400, 408, 395, 396, 0, 398, 389, 394, 398, 396, 395, 0, 379, 381, 387, 381, 440, 384, 359, 356, 340, 342, 0, 332, 449, 710, 268, 271, 272, 257, 256, 0, 259, 261, 241, 248, 0, 30, 27, 0, 29, 452, 3, 0, 455, 710, 458, 461, 710, 710, 508, 517, 526, 535, 544, 553, 562, 571, 580, 589, 598, 607, 616, 625, 633, 641, 647, 655, 661, 663, 33, 20, 671, 676, 678 } ; static const short int yy_def[303] = { 0, 278, 278, 279, 279, 280, 280, 281, 281, 282, 282, 283, 283, 277, 13, 277, 15, 277, 17, 284, 284, 277, 21, 285, 285, 286, 286, 287, 287, 288, 288, 289, 289, 290, 290, 277, 277, 277, 277, 277, 277, 277, 277, 291, 277, 277, 277, 292, 277, 277, 277, 277, 277, 277, 277, 277, 277, 293, 277, 294, 277, 277, 277, 277, 277, 277, 295, 296, 297, 277, 277, 277, 298, 277, 277, 277, 277, 277, 277, 299, 277, 277, 277, 277, 277, 277, 277, 300, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 291, 292, 277, 277, 277, 293, 277, 301, 294, 277, 277, 277, 302, 302, 302, 302, 277, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 277, 295, 295, 296, 297, 277, 277, 298, 277, 277, 277, 299, 277, 277, 300, 277, 301, 302, 302, 277, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 277, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 277, 277, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 277, 302, 302, 302, 302, 302, 302, 302, 302, 277, 277, 277, 302, 302, 302, 302, 302, 302, 277, 277, 277, 302, 302, 302, 302, 302, 277, 277, 277, 277, 302, 302, 302, 302, 277, 277, 302, 302, 302, 277, 277, 302, 302, 277, 277, 302, 277, 277, 277, 277, 277, 0, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277 } ; static const short int yy_nxt[759] = { 0, 277, 277, 38, 38, 41, 41, 91, 42, 42, 44, 45, 44, 44, 45, 44, 48, 49, 48, 44, 75, 75, 44, 48, 49, 48, 51, 148, 140, 52, 51, 82, 82, 52, 85, 147, 85, 147, 76, 76, 147, 136, 36, 274, 53, 39, 39, 36, 53, 83, 83, 92, 86, 44, 86, 46, 44, 271, 46, 48, 98, 48, 270, 147, 269, 98, 48, 147, 48, 54, 54, 54, 54, 55, 56, 57, 54, 54, 54, 54, 54, 58, 54, 59, 59, 59, 59, 59, 54, 60, 54, 54, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 61, 61, 61, 62, 63, 64, 65, 64, 63, 63, 63, 66, 63, 63, 63, 66, 67, 67, 67, 67, 67, 67, 67, 63, 68, 63, 66, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 67, 64, 63, 63, 63, 69, 70, 71, 70, 69, 69, 69, 69, 69, 69, 69, 69, 69, 69, 72, 72, 72, 72, 72, 69, 69, 69, 69, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 73, 69, 69, 69, 77, 77, 78, 77, 77, 77, 77, 77, 77, 77, 77, 77, 77, 77, 79, 79, 79, 79, 79, 77, 77, 77, 77, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 79, 77, 77, 80, 77, 88, 89, 88, 88, 89, 88, 91, 94, 131, 149, 94, 152, 131, 150, 129, 148, 129, 148, 159, 153, 268, 131, 148, 131, 267, 131, 171, 172, 266, 147, 265, 183, 184, 207, 208, 156, 131, 173, 185, 264, 263, 147, 262, 88, 261, 88, 88, 260, 88, 95, 92, 96, 95, 155, 96, 109, 109, 129, 110, 109, 109, 109, 109, 111, 109, 109, 109, 109, 112, 113, 112, 112, 114, 115, 116, 109, 109, 109, 117, 118, 119, 120, 121, 112, 112, 112, 122, 123, 112, 112, 124, 125, 126, 127, 112, 112, 128, 112, 112, 109, 109, 109, 109, 134, 134, 134, 134, 134, 134, 259, 137, 137, 137, 129, 258, 129, 134, 134, 134, 257, 137, 137, 137, 137, 137, 137, 196, 196, 196, 196, 196, 196, 256, 211, 211, 211, 213, 213, 213, 255, 211, 211, 211, 213, 213, 213, 135, 254, 251, 135, 138, 225, 225, 225, 250, 249, 129, 248, 247, 135, 138, 246, 245, 138, 225, 225, 225, 244, 243, 197, 242, 241, 197, 212, 240, 239, 226, 238, 237, 214, 212, 252, 252, 252, 236, 235, 214, 234, 233, 226, 252, 252, 252, 272, 272, 272, 272, 272, 272, 275, 275, 275, 275, 275, 275, 232, 231, 230, 229, 228, 227, 224, 223, 222, 221, 220, 219, 218, 217, 216, 215, 210, 209, 206, 205, 204, 253, 203, 202, 201, 200, 199, 198, 195, 194, 253, 193, 192, 273, 191, 190, 273, 189, 188, 276, 187, 186, 276, 36, 36, 36, 36, 36, 36, 36, 36, 36, 37, 37, 37, 37, 37, 37, 37, 37, 37, 40, 40, 40, 40, 40, 40, 40, 40, 40, 43, 43, 43, 43, 43, 43, 43, 43, 43, 47, 47, 47, 47, 47, 47, 47, 47, 47, 50, 50, 50, 50, 50, 50, 50, 50, 50, 74, 74, 74, 74, 74, 74, 74, 74, 74, 81, 81, 81, 81, 81, 81, 81, 81, 81, 84, 84, 84, 84, 84, 84, 84, 84, 84, 87, 87, 87, 87, 87, 87, 87, 87, 87, 90, 90, 90, 90, 90, 90, 90, 90, 90, 93, 93, 93, 93, 93, 93, 93, 93, 93, 97, 97, 97, 97, 97, 97, 97, 97, 97, 100, 182, 181, 100, 180, 100, 100, 100, 101, 179, 178, 101, 101, 101, 101, 101, 105, 105, 177, 105, 105, 105, 105, 105, 105, 108, 176, 175, 174, 108, 130, 170, 169, 130, 130, 130, 130, 130, 130, 132, 168, 132, 132, 132, 133, 133, 143, 167, 166, 143, 143, 143, 143, 143, 145, 165, 164, 277, 145, 146, 146, 163, 162, 161, 160, 158, 157, 154, 151, 148, 107, 107, 106, 144, 142, 141, 139, 107, 106, 104, 103, 102, 99, 277, 35, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277 } ; static const short int yy_chk[759] = { 0, 0, 0, 3, 4, 5, 6, 29, 5, 6, 7, 7, 7, 8, 8, 8, 9, 9, 9, 7, 19, 20, 8, 10, 10, 10, 11, 115, 299, 11, 12, 23, 24, 12, 25, 113, 26, 113, 19, 20, 115, 298, 33, 270, 11, 3, 4, 34, 12, 23, 24, 29, 25, 7, 26, 7, 8, 268, 8, 9, 33, 9, 266, 117, 265, 34, 10, 117, 10, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 27, 27, 27, 28, 28, 28, 30, 31, 67, 118, 32, 120, 67, 118, 64, 123, 64, 124, 127, 120, 263, 132, 122, 67, 262, 132, 155, 155, 261, 127, 260, 166, 166, 192, 192, 123, 132, 155, 166, 258, 257, 124, 256, 27, 255, 27, 28, 254, 28, 31, 30, 31, 32, 122, 32, 60, 60, 64, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 70, 70, 70, 71, 71, 71, 251, 73, 73, 73, 129, 249, 129, 134, 134, 134, 248, 135, 135, 135, 137, 137, 137, 181, 181, 181, 196, 196, 196, 247, 197, 197, 197, 198, 198, 198, 246, 211, 211, 211, 213, 213, 213, 70, 245, 243, 71, 73, 214, 214, 214, 242, 241, 129, 240, 238, 134, 135, 237, 236, 137, 225, 225, 225, 235, 234, 181, 233, 231, 196, 197, 230, 229, 214, 228, 226, 198, 211, 244, 244, 244, 224, 223, 213, 222, 221, 225, 252, 252, 252, 269, 269, 269, 272, 272, 272, 274, 274, 274, 275, 275, 275, 220, 219, 218, 217, 216, 215, 212, 210, 209, 208, 207, 203, 202, 201, 200, 199, 195, 193, 191, 190, 189, 244, 188, 187, 185, 184, 183, 182, 179, 178, 252, 177, 175, 269, 174, 173, 272, 172, 171, 274, 169, 167, 275, 278, 278, 278, 278, 278, 278, 278, 278, 278, 279, 279, 279, 279, 279, 279, 279, 279, 279, 280, 280, 280, 280, 280, 280, 280, 280, 280, 281, 281, 281, 281, 281, 281, 281, 281, 281, 282, 282, 282, 282, 282, 282, 282, 282, 282, 283, 283, 283, 283, 283, 283, 283, 283, 283, 284, 284, 284, 284, 284, 284, 284, 284, 284, 285, 285, 285, 285, 285, 285, 285, 285, 285, 286, 286, 286, 286, 286, 286, 286, 286, 286, 287, 287, 287, 287, 287, 287, 287, 287, 287, 288, 288, 288, 288, 288, 288, 288, 288, 288, 289, 289, 289, 289, 289, 289, 289, 289, 289, 290, 290, 290, 290, 290, 290, 290, 290, 290, 291, 165, 163, 291, 162, 291, 291, 291, 292, 161, 160, 292, 292, 292, 292, 292, 293, 293, 159, 293, 293, 293, 293, 293, 293, 294, 158, 157, 156, 294, 295, 154, 153, 295, 295, 295, 295, 295, 295, 296, 152, 296, 296, 296, 297, 297, 300, 151, 150, 300, 300, 300, 300, 300, 301, 149, 147, 145, 301, 302, 302, 144, 141, 138, 128, 126, 125, 121, 119, 114, 108, 107, 106, 98, 86, 83, 76, 59, 58, 56, 55, 53, 42, 35, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277 } ; static yy_state_type yy_last_accepting_state; static YY_CHAR *yy_last_accepting_cpos; /* the intent behind this definition is that it'll catch * any uses of REJECT which flex missed */ #define REJECT reject_used_but_not_detected #define yymore() yymore_used_but_not_detected #define YY_MORE_ADJ 0 /* these variables are all declared out here so that section 3 code can * manipulate them */ /* points to current character in buffer */ static YY_CHAR *yy_c_buf_p = (YY_CHAR *) 0; static int yy_init = 1; /* whether we need to initialize */ static int yy_start = 0; /* start state number */ /* flag which is used to allow yywrap()'s to do buffer switches * instead of setting up a fresh yyin. A bit of a hack ... */ static int yy_did_buffer_switch_on_eof; static yy_state_type yy_get_previous_state YY_PROTO(( void )); static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state )); static int yy_get_next_buffer YY_PROTO(( void )); static void yyunput YY_PROTO(( YY_CHAR c, YY_CHAR *buf_ptr )); void yyrestart YY_PROTO(( FILE *input_file )); void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer )); void yy_load_buffer_state YY_PROTO(( void )); YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size )); void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b )); void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file )); #define yy_new_buffer yy_create_buffer #ifdef __cplusplus static int yyinput YY_PROTO(( void )); #else static int input YY_PROTO(( void )); #endif YY_DECL { register yy_state_type yy_current_state; register YY_CHAR *yy_cp, *yy_bp; register int yy_act; if ( yy_init ) { YY_USER_INIT; if ( ! yy_start ) yy_start = 1; /* first start state */ if ( ! yyin ) yyin = stdin; if ( ! yyout ) yyout = stdout; if ( yy_current_buffer ) yy_init_buffer( yy_current_buffer, yyin ); else yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); yy_load_buffer_state(); yy_init = 0; } while ( 1 ) /* loops until end-of-file is reached */ { yy_cp = yy_c_buf_p; /* support of yytext */ *yy_cp = yy_hold_char; /* yy_bp points to the position in yy_ch_buf of the start of the * current run. */ yy_bp = yy_cp; yy_current_state = yy_start; yy_match: do { register YY_CHAR yy_c = yy_ec[*yy_cp]; if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 278 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; ++yy_cp; } while ( yy_current_state != 277 ); yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; yy_find_action: yy_act = yy_accept[yy_current_state]; YY_DO_BEFORE_ACTION; YY_USER_ACTION; do_action: /* this label is used only to access EOF actions */ switch ( yy_act ) { case 0: /* must backtrack */ /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yy_hold_char; yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; goto yy_find_action; case 1: /* ignore comments */ ; YY_BREAK case 2: {fLatex = !fForcetex; IGNORE;} YY_BREAK case 3: /* environment start */ {LaBEGIN LaBegin; IGNORE;} YY_BREAK case 4: { if (BeginEnv("verbatim")) BEGIN LaEnv; else BEGIN LaVerbatim; IGNORE; } YY_BREAK case 5: /* verbatim mode */ {BEGIN Normal; IGNORE;} YY_BREAK case 6: ECHO; YY_BREAK case 7: { if (BeginEnv(yytext)) BEGIN LaEnv; else BEGIN LaMacro; IGNORE; } YY_BREAK case 8: NEWLINE; YY_BREAK case 9: ; YY_BREAK case 10: /* absorb some environments */ {LaBEGIN LaEnd; IGNORE;} YY_BREAK case 11: NEWLINE; YY_BREAK case 12: ; YY_BREAK case 13: /* end environment */ { if (EndEnv(yytext)) BEGIN Normal; IGNORE; } YY_BREAK case 14: {BEGIN LaEnv; IGNORE;} YY_BREAK case 15: NEWLINE; YY_BREAK case 16: ; YY_BREAK case 17: /* ignore args */ {LaBEGIN LaMacro2; IGNORE;} YY_BREAK case 18: /* of these \cs */ {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 19: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 20: {CITEBEGIN LaMacro2; IGNORE;} YY_BREAK case 21: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 22: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 23: {LaBEGIN LaMacro2; SPACE;} YY_BREAK case 24: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 25: {CITEBEGIN LaMacro; IGNORE;} YY_BREAK case 26: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 27: {CITEBEGIN LaMacro; IGNORE;} YY_BREAK case 28: {LaBEGIN LaMacro; IGNORE;} YY_BREAK case 29: /* ignore \verb... */ { if (fLatex) { char verbchar, c; verbchar = input(); while ((c = input()) != verbchar) if (c == '\n') NEWLINE; } IGNORE; } YY_BREAK case 30: BEGIN Normal; YY_BREAK case 31: NEWLINE; YY_BREAK case 32: ; YY_BREAK case 33: { cOpenBrace++; } YY_BREAK case 34: { cOpenBrace--; if (cOpenBrace == 0) BEGIN Normal; } YY_BREAK case 35: NEWLINE; YY_BREAK case 36: ; YY_BREAK case 37: /* ignore def begin */ {BEGIN Define; IGNORE;} YY_BREAK case 38: BEGIN Normal; YY_BREAK case 39: NEWLINE; YY_BREAK case 40: ; YY_BREAK case 41: /* formula mode */ {LaBEGIN LaFormula; IGNORE;} YY_BREAK case 42: BEGIN Normal; YY_BREAK case 43: NEWLINE; YY_BREAK case 44: ; YY_BREAK case 45: /* display mode */ {LaBEGIN LaDisplay; IGNORE;} YY_BREAK case 46: BEGIN Normal; YY_BREAK case 47: NEWLINE; YY_BREAK case 48: ; YY_BREAK case 49: /* display mode */ {BEGIN Display; IGNORE;} YY_BREAK case 50: BEGIN Normal; YY_BREAK case 51: NEWLINE; YY_BREAK case 52: ; YY_BREAK case 53: /* math mode */ {BEGIN Math; IGNORE;} YY_BREAK case 54: BEGIN Normal; YY_BREAK case 55: NEWLINE; YY_BREAK case 56: ; YY_BREAK case 57: ; YY_BREAK case 58: /* process files */ {LaBEGIN LaInclude; IGNORE;} YY_BREAK case 59: { IncludeFile(yytext); BEGIN Normal; } YY_BREAK case 60: NEWLINE; YY_BREAK case 61: ; YY_BREAK case 62: {BEGIN IncludeOnly; IGNORE;} YY_BREAK case 63: AddInclude(yytext); YY_BREAK case 64: { if (csbIncList == 0) rgsbIncList[csbIncList++] = '\0'; BEGIN Normal; } YY_BREAK case 65: NEWLINE; YY_BREAK case 66: ; YY_BREAK case 67: {BEGIN Input; IGNORE;} YY_BREAK case 68: { InputFile(yytext); BEGIN Normal; } YY_BREAK case 69: NEWLINE; YY_BREAK case 70: ; YY_BREAK case 71: /* handle ligatures */ {printf("%.2s", yytext+1);} YY_BREAK case 72: {printf("%.1s", yytext+1);} YY_BREAK case 73: /* ignore other \cs */ {BEGIN Control; IGNORE;} YY_BREAK case 74: SPACE; YY_BREAK case 75: IGNORE; YY_BREAK case 76: IGNORE; YY_BREAK case 77: IGNORE; YY_BREAK case 78: {BEGIN Normal; NEWLINE;} YY_BREAK case 79: {BEGIN Normal; IGNORE;} YY_BREAK case 80: {yyless(0);BEGIN Normal;} YY_BREAK case 81: /* special characters */ IGNORE; YY_BREAK case 82: IGNORE; YY_BREAK case 83: SPACE; YY_BREAK case 84: { if (fWord) printf("%s\n", yytext); else ECHO; } YY_BREAK case 85: if (!fWord) ECHO; YY_BREAK case 86: if (!fWord) ECHO; YY_BREAK case 87: ECHO; YY_BREAK case YY_STATE_EOF(INITIAL): case YY_STATE_EOF(Define): case YY_STATE_EOF(Display): case YY_STATE_EOF(IncludeOnly): case YY_STATE_EOF(Input): case YY_STATE_EOF(Math): case YY_STATE_EOF(Normal): case YY_STATE_EOF(Control): case YY_STATE_EOF(LaBegin): case YY_STATE_EOF(LaDisplay): case YY_STATE_EOF(LaEnd): case YY_STATE_EOF(LaEnv): case YY_STATE_EOF(LaFormula): case YY_STATE_EOF(LaInclude): case YY_STATE_EOF(LaMacro): case YY_STATE_EOF(LaMacro2): case YY_STATE_EOF(LaVerbatim): yyterminate(); case YY_END_OF_BUFFER: { /* amount of text matched not including the EOB char */ int yy_amount_of_matched_text = yy_cp - yytext - 1; /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yy_hold_char; /* note that here we test for yy_c_buf_p "<=" to the position * of the first EOB in the buffer, since yy_c_buf_p will * already have been incremented past the NUL character * (since all states make transitions on EOB to the end- * of-buffer state). Contrast this with the test in yyinput(). */ if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] ) /* this was really a NUL */ { yy_state_type yy_next_state; yy_c_buf_p = yytext + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state(); /* okay, we're now positioned to make the * NUL transition. We couldn't have * yy_get_previous_state() go ahead and do it * for us because it doesn't know how to deal * with the possibility of jamming (and we * don't want to build jamming into it because * then it will run more slowly) */ yy_next_state = yy_try_NUL_trans( yy_current_state ); yy_bp = yytext + YY_MORE_ADJ; if ( yy_next_state ) { /* consume the NUL */ yy_cp = ++yy_c_buf_p; yy_current_state = yy_next_state; goto yy_match; } else { yy_cp = yy_last_accepting_cpos; yy_current_state = yy_last_accepting_state; goto yy_find_action; } } else switch ( yy_get_next_buffer() ) { case EOB_ACT_END_OF_FILE: { yy_did_buffer_switch_on_eof = 0; if ( yywrap() ) { /* note: because we've taken care in * yy_get_next_buffer() to have set up yytext, * we can now set up yy_c_buf_p so that if some * total hoser (like flex itself) wants * to call the scanner after we return the * YY_NULL, it'll still work - another YY_NULL * will get returned. */ yy_c_buf_p = yytext + YY_MORE_ADJ; yy_act = YY_STATE_EOF((yy_start - 1) / 2); goto do_action; } else { if ( ! yy_did_buffer_switch_on_eof ) YY_NEW_FILE; } } break; case EOB_ACT_CONTINUE_SCAN: yy_c_buf_p = yytext + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state(); yy_cp = yy_c_buf_p; yy_bp = yytext + YY_MORE_ADJ; goto yy_match; case EOB_ACT_LAST_MATCH: yy_c_buf_p = &yy_current_buffer->yy_ch_buf[yy_n_chars]; yy_current_state = yy_get_previous_state(); yy_cp = yy_c_buf_p; yy_bp = yytext + YY_MORE_ADJ; goto yy_find_action; } break; } default: #ifdef FLEX_DEBUG printf( "action # %d\n", yy_act ); #endif YY_FATAL_ERROR( "fatal flex scanner internal error--no action found" ); } } } /* yy_get_next_buffer - try to read in a new buffer * * synopsis * int yy_get_next_buffer(); * * returns a code representing an action * EOB_ACT_LAST_MATCH - * EOB_ACT_CONTINUE_SCAN - continue scanning from current position * EOB_ACT_END_OF_FILE - end of file */ static int yy_get_next_buffer() { register YY_CHAR *dest = yy_current_buffer->yy_ch_buf; register YY_CHAR *source = yytext - 1; /* copy prev. char, too */ register int number_to_move, i; int ret_val; if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] ) YY_FATAL_ERROR( "fatal flex scanner internal error--end of buffer missed" ); /* try to read more data */ /* first move last chars to start of buffer */ number_to_move = yy_c_buf_p - yytext; for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++); if ( yy_current_buffer->yy_eof_status != EOF_NOT_SEEN ) /* don't do the read, it's not guaranteed to return an EOF, * just force an EOF */ yy_n_chars = 0; else { int num_to_read = yy_current_buffer->yy_buf_size - number_to_move - 1; if ( num_to_read > YY_READ_BUF_SIZE ) num_to_read = YY_READ_BUF_SIZE; else if ( num_to_read <= 0 ) YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" ); /* read in more data */ YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]), yy_n_chars, num_to_read ); } if ( yy_n_chars == 0 ) { if ( number_to_move == 1 ) { ret_val = EOB_ACT_END_OF_FILE; yy_current_buffer->yy_eof_status = EOF_DONE; } else { ret_val = EOB_ACT_LAST_MATCH; yy_current_buffer->yy_eof_status = EOF_PENDING; } } else ret_val = EOB_ACT_CONTINUE_SCAN; yy_n_chars += number_to_move; yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR; yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR; /* yytext begins at the second character in yy_ch_buf; the first * character is the one which preceded it before reading in the latest * buffer; it needs to be kept around in case it's a newline, so * yy_get_previous_state() will have with '^' rules active */ yytext = &yy_current_buffer->yy_ch_buf[1]; return ( ret_val ); } /* yy_get_previous_state - get the state just before the EOB char was reached * * synopsis * yy_state_type yy_get_previous_state(); */ static yy_state_type yy_get_previous_state() { register yy_state_type yy_current_state; register YY_CHAR *yy_cp; yy_current_state = yy_start; for ( yy_cp = yytext + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp ) { register YY_CHAR yy_c = (*yy_cp ? yy_ec[*yy_cp] : 1); if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 278 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; } return ( yy_current_state ); } /* yy_try_NUL_trans - try to make a transition on the NUL character * * synopsis * next_state = yy_try_NUL_trans( current_state ); */ #ifdef YY_USE_PROTOS static yy_state_type yy_try_NUL_trans( register yy_state_type yy_current_state ) #else static yy_state_type yy_try_NUL_trans( yy_current_state ) register yy_state_type yy_current_state; #endif { register int yy_is_jam; register YY_CHAR *yy_cp = yy_c_buf_p; register YY_CHAR yy_c = 1; if ( yy_accept[yy_current_state] ) { yy_last_accepting_state = yy_current_state; yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = yy_def[yy_current_state]; if ( yy_current_state >= 278 ) yy_c = yy_meta[yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; yy_is_jam = (yy_current_state == 277); return ( yy_is_jam ? 0 : yy_current_state ); } #ifdef YY_USE_PROTOS static void yyunput( YY_CHAR c, register YY_CHAR *yy_bp ) #else static void yyunput( c, yy_bp ) YY_CHAR c; register YY_CHAR *yy_bp; #endif { register YY_CHAR *yy_cp = yy_c_buf_p; /* undo effects of setting up yytext */ *yy_cp = yy_hold_char; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) { /* need to shift things up to make room */ register int number_to_move = yy_n_chars + 2; /* +2 for EOB chars */ register YY_CHAR *dest = &yy_current_buffer->yy_ch_buf[yy_current_buffer->yy_buf_size + 2]; register YY_CHAR *source = &yy_current_buffer->yy_ch_buf[number_to_move]; while ( source > yy_current_buffer->yy_ch_buf ) *--dest = *--source; yy_cp += dest - source; yy_bp += dest - source; yy_n_chars = yy_current_buffer->yy_buf_size; if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); } if ( yy_cp > yy_bp && yy_cp[-1] == '\n' ) yy_cp[-2] = '\n'; *--yy_cp = c; /* note: the formal parameter *must* be called "yy_bp" for this * macro to now work correctly */ YY_DO_BEFORE_ACTION; /* set up yytext again */ } #ifdef __cplusplus static int yyinput() #else static int input() #endif { int c; YY_CHAR *yy_cp = yy_c_buf_p; *yy_cp = yy_hold_char; if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) { /* yy_c_buf_p now points to the character we want to return. * If this occurs *before* the EOB characters, then it's a * valid NUL; if not, then we've hit the end of the buffer. */ if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] ) /* this was really a NUL */ *yy_c_buf_p = '\0'; else { /* need more input */ yytext = yy_c_buf_p; ++yy_c_buf_p; switch ( yy_get_next_buffer() ) { case EOB_ACT_END_OF_FILE: { if ( yywrap() ) { yy_c_buf_p = yytext + YY_MORE_ADJ; return ( EOF ); } YY_NEW_FILE; #ifdef __cplusplus return ( yyinput() ); #else return ( input() ); #endif } break; case EOB_ACT_CONTINUE_SCAN: yy_c_buf_p = yytext + YY_MORE_ADJ; break; case EOB_ACT_LAST_MATCH: #ifdef __cplusplus YY_FATAL_ERROR( "unexpected last match in yyinput()" ); #else YY_FATAL_ERROR( "unexpected last match in input()" ); #endif } } } c = *yy_c_buf_p; yy_hold_char = *++yy_c_buf_p; return ( c ); } #ifdef YY_USE_PROTOS void yyrestart( FILE *input_file ) #else void yyrestart( input_file ) FILE *input_file; #endif { yy_init_buffer( yy_current_buffer, input_file ); yy_load_buffer_state(); } #ifdef YY_USE_PROTOS void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer ) #else void yy_switch_to_buffer( new_buffer ) YY_BUFFER_STATE new_buffer; #endif { if ( yy_current_buffer == new_buffer ) return; if ( yy_current_buffer ) { /* flush out information for old buffer */ *yy_c_buf_p = yy_hold_char; yy_current_buffer->yy_buf_pos = yy_c_buf_p; yy_current_buffer->yy_n_chars = yy_n_chars; } yy_current_buffer = new_buffer; yy_load_buffer_state(); /* we don't actually know whether we did this switch during * EOF (yywrap()) processing, but the only time this flag * is looked at is after yywrap() is called, so it's safe * to go ahead and always set it. */ yy_did_buffer_switch_on_eof = 1; } #ifdef YY_USE_PROTOS void yy_load_buffer_state( void ) #else void yy_load_buffer_state() #endif { yy_n_chars = yy_current_buffer->yy_n_chars; yytext = yy_c_buf_p = yy_current_buffer->yy_buf_pos; yyin = yy_current_buffer->yy_input_file; yy_hold_char = *yy_c_buf_p; } #ifdef YY_USE_PROTOS YY_BUFFER_STATE yy_create_buffer( FILE *file, int size ) #else YY_BUFFER_STATE yy_create_buffer( file, size ) FILE *file; int size; #endif { YY_BUFFER_STATE b; b = (YY_BUFFER_STATE) malloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); b->yy_buf_size = size; /* yy_ch_buf has to be 2 characters longer than the size given because * we need to put in 2 end-of-buffer characters. */ b->yy_ch_buf = (YY_CHAR *) malloc( (unsigned) (b->yy_buf_size + 2) ); if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); yy_init_buffer( b, file ); return ( b ); } #ifdef YY_USE_PROTOS void yy_delete_buffer( YY_BUFFER_STATE b ) #else void yy_delete_buffer( b ) YY_BUFFER_STATE b; #endif { if ( b == yy_current_buffer ) yy_current_buffer = (YY_BUFFER_STATE) 0; free( (char *) b->yy_ch_buf ); free( (char *) b ); } #ifdef YY_USE_PROTOS void yy_init_buffer( YY_BUFFER_STATE b, FILE *file ) #else void yy_init_buffer( b, file ) YY_BUFFER_STATE b; FILE *file; #endif { b->yy_input_file = file; /* we put in the '\n' and start reading from [1] so that an * initial match-at-newline will be true. */ b->yy_ch_buf[0] = '\n'; b->yy_n_chars = 1; /* we always need two end-of-buffer characters. The first causes * a transition to the end-of-buffer state. The second causes * a jam in that state. */ b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; b->yy_ch_buf[2] = YY_END_OF_BUFFER_CHAR; b->yy_buf_pos = &b->yy_ch_buf[1]; b->yy_eof_status = EOF_NOT_SEEN; } /****** ** main -- ** Set sbProgName to the base of arg 0. ** Set the input paths. ** Check for options ** -c echo LaTeX \cite, \ref, and \pageref values ** -e list of LaTeX environments to ignore ** -l force latex mode ** -n do not follow \input and \include ** -s replace control sequences with space ** -t force tex mode ** -w word only output ** Set the list of LaTeX environments to ignore. ** Process each input file. ** If no input files are specified on the command line, process stdin. ******/ main(int cArgs, char *rgsbArgs[]) { char *pch, *sbEnvList = DEFAULTENV, sbBadOpt[2]; #ifndef __STDC__ FILE *TexOpen(); #endif int fSawFile = 0, iArgs = 1; /* get base name and decide what we are doing, detex or delatex */ if ((sbProgName = rindex(rgsbArgs[0], '/')) != NULL) sbProgName++; else sbProgName = rgsbArgs[0]; if (strcmp("delatex",sbProgName) == 0) fLatex = 1; /* set rgsbInputPaths for use with TexOpen() */ SetInputPaths(); /* process command line options */ while (iArgs < cArgs && *(pch = rgsbArgs[iArgs]) == CHOPT) { while (*++pch) switch (*pch) { case CHCITEOPT: fCite = 1; break; case CHENVOPT: sbEnvList = rgsbArgs[++iArgs]; break; case CHLATEXOPT: fLatex = 1; break; case CHNOFOLLOWOPT: fFollow = 0; break; case CHSPACEOPT: fSpace = 1; break; case CHTEXOPT: fForcetex = 1; break; case CHWORDOPT: fWord = 1; break; default: sbBadOpt[0] = *pch; sbBadOpt[1] = '\0'; Warning("unknown option ignored -", sbBadOpt); } iArgs++; } SetEnvIgnore(sbEnvList); /* process input files */ for (; iArgs < cArgs; iArgs++) { fSawFile++; if ((yyin = TexOpen(rgsbArgs[iArgs])) == NULL) { Warning("can't open file", rgsbArgs[iArgs]); continue;; } BEGIN Normal; (void)yylex(); } /* if there were no input files, assume stdin */ if (!fSawFile) { yyin = stdin; BEGIN Normal; (void)yylex(); } #ifndef FLEX_SCANNER if (YYSTATE != Normal) ErrorExit("input contains an unterminated mode or environment"); #endif exit(0); } /****** ** yywrap -- handles EOF for lex. Check to see if the stack of open files ** has anything on it. If it does, set yyin to the to value. If not ** return the termination signal for lex. ******/ int yywrap(void) { (void)fclose(yyin); if (cfp > 0) { yyin = rgfp[--cfp]; return(0); } return(1); } /****** ** SetEnvIgnore -- sets rgsbEnvIgnore to the values indicated by the ** sbEnvList. ******/ void SetEnvIgnore(char *sbEnvList) { csbEnvIgnore = SeparateList(sbEnvList, rgsbEnvIgnore, CHENVSEP, MAXENVS); if (csbEnvIgnore == ERROR) ErrorExit("The environtment list contains too many environments"); } /****** ** BeginEnv -- checks to see if sbEnv is in the list rgsbEnvIgnore. If it ** is, sbCurrentEnv is set to sbEnv. ******/ int BeginEnv(char *sbEnv) { int i; if (!fLatex) return(0); for (i = 0; i < csbEnvIgnore; i++) if (strcmp(sbEnv, rgsbEnvIgnore[i]) == 0) { (void)strcpy(sbCurrentEnv, sbEnv); return(1); } return(0); } /****** ** EndEnv -- checks to see if sbEnv is the current environment being ignored. ******/ int EndEnv(char *sbEnv) { if (!fLatex) return(0); if (strcmp(sbEnv, sbCurrentEnv) == 0) return(1); return(0); } /****** ** InputFile -- push the current yyin and open sbFile. If the open fails, ** the sbFile is ignored. ******/ void InputFile(char *sbFile) { #ifndef __STDC__ FILE *TexOpen(); #endif if (!fFollow) return; rgfp[cfp++] = yyin; if ((yyin = TexOpen(sbFile)) == NULL) { Warning("can't open \\input file", sbFile); yyin = rgfp[--cfp]; } } /****** ** IncludeFile -- if sbFile is not in the rgsbIncList, push current yyin ** and open sbFile. If the open fails, the sbFile is ignored. ******/ void IncludeFile(char *sbFile) { #ifndef __STDC__ FILE *TexOpen(); #endif if (!fFollow) return; if (!InList(sbFile)) return; rgfp[cfp++] = yyin; if ((yyin = TexOpen(sbFile)) == NULL) { Warning("can't open \\include file", sbFile); yyin = rgfp[--cfp]; } } /****** ** AddInclude -- adds sbFile to the rgsbIncList and increments csbIncList. ** If the include list is too long, sbFile is ignored. ******/ void AddInclude(char *sbFile) { if (!fFollow) return; if (csbIncList >= MAXINCLIST) Warning("\\includeonly list is too long, ignoring", sbFile); rgsbIncList[csbIncList] = malloc((unsigned)(strlen(sbFile) + 1)); (void)strcpy(rgsbIncList[csbIncList++], sbFile); } /****** ** InList -- checks to see if sbFile is in the rgsbIncList. If there is ** no list, all files are assumed to be "in the list". ******/ int InList(char *sbFile) { char *pch, sbBase[MAXPATHLEN]; int i; if (csbIncList == 0) /* no list */ return(1); (void)strcpy(sbBase, sbFile); if ((pch = rindex(sbBase, '.')) != NULL) *pch = '\0'; i = 0; while ((i < csbIncList) && rgsbIncList[i]) if (strcmp(rgsbIncList[i++], sbBase) == 0) return(1); return(0); } /****** ** SetInputPaths -- sets rgsbInputPaths to the values indicated by the ** TEXINPUTS environment variable if set or else DEFAULTINPUTS. ******/ void SetInputPaths(void) { char *sb, *sbPaths, *getenv(); if ((sb = getenv("TEXINPUTS")) == NULL) sbPaths = DEFAULTINPUTS; else { sbPaths = malloc((unsigned)(strlen(sb) + 1)); (void)strcpy(sbPaths, sb); } csbInputPaths = SeparateList(sbPaths, rgsbInputPaths, CHPATHSEP, MAXINPUTPATHS); if (csbInputPaths == ERROR) ErrorExit("TEXINPUTS environment variable has too many paths"); } /****** ** SeparateList -- takes a chSep separated list sbList, replaces the ** chSep's with NULLs and sets rgsbList[i] to the beginning of ** the ith word in sbList. The number of words is returned. A ** ERROR is returned if there are more than csbMax words. ******/ int SeparateList(char *sbList, char *rgsbList[], char chSep, int csbMax) { int csbList = 0; while (sbList && *sbList && csbList < csbMax) { rgsbList[csbList++] = sbList; if (sbList = index(sbList, chSep)) *sbList++ = '\0'; } return(sbList && *sbList ? ERROR : csbList); } /****** ** TexOpen -- tries to open sbFile in each of the rgsbInputPaths in turn. ** For each input path the following order is used: ** file.tex - must be as named, if not there go to the next path ** file.ext - random extension, try it ** file - base name, add .tex and try it ** file - try it as is ** Notice that if file exists in the first path and file.tex exists in ** one of the other paths, file in the first path is what is opened. ** If the sbFile begins with a '/', no paths are searched. ******/ FILE *TexOpen(char *sbFile) { char *pch, *sbNew; FILE *fp; int iPath; static char sbFullPath[MAXPATHLEN]; for (iPath = 0; iPath < csbInputPaths; iPath++) { #ifdef _AMIGA if(strchr(sbFile,':')) { #else if (*sbFile == '/') { /* absolute path */ #endif (void)sprintf(sbFullPath, "%s", sbFile); iPath = csbInputPaths; /* only check once */ } else { #ifdef _AMIGA if(0 == strcmp(rgsbInputPaths[iPath],".")) { (void) sprintf(sbFullPath, "%s", sbFile); } else { char *tmp = rgsbInputPaths[iPath]; if(tmp[strlen(tmp)-1] == ':' || tmp[strlen(tmp)-1] == '/') { (void)sprintf(sbFullPath, "%s%s", rgsbInputPaths[iPath], sbFile); } else { (void)sprintf(sbFullPath, "%s/%s", rgsbInputPaths[iPath], sbFile); } } #else (void)sprintf(sbFullPath, "%s/%s", rgsbInputPaths[iPath], sbFile); #endif } /* If sbFile ends in .tex then it must be there */ if ((pch = rindex(sbFullPath, '.')) != NULL && (strcmp(pch, ".tex") == 0)) if ((fp = fopen(sbFullPath, "r")) != NULL) return(fp); else continue; /* if . then try to open it. the '.' represents */ /* the beginning of an extension if it is not the first */ /* character and it does not follow a '.' or a '/' */ if (pch != NULL && pch > &(sbFullPath[0]) && *(pch - 1) != '.' && *(pch - 1) != '/' && (fp = fopen(sbFullPath, "r")) != NULL) return(fp); /* just base name, add .tex to the name */ sbNew = malloc((unsigned)(strlen(sbFullPath) + 5)); (void)strcpy(sbNew, sbFullPath); (void)strcat(sbNew, ".tex"); if ((fp = fopen(sbNew, "r")) != NULL) return(fp); /* try sbFile regardless */ if ((fp = fopen(sbFullPath, "r")) != NULL) return(fp); } return((FILE *)NULL); } /****** ** Warning -- print a warning message preceded by the program name. ******/ void Warning(char *sb1, char *sb2) { fprintf(stderr, "%s: warning: %s %s\n", sbProgName, sb1, sb2); } /****** ** ErrorExit -- print an error message preceded by the program name. ** Stdout is flushed and detex exits. ******/ void ErrorExit(char *sb1) { (void)fflush(stdout); fprintf(stderr, "%s: error: %s\n", sbProgName, sb1); exit(1); }