diff options
Diffstat (limited to 'web/glasgow/lit2x-0.16/literate/lit-deatify.c')
-rw-r--r-- | web/glasgow/lit2x-0.16/literate/lit-deatify.c | 2084 |
1 files changed, 2084 insertions, 0 deletions
diff --git a/web/glasgow/lit2x-0.16/literate/lit-deatify.c b/web/glasgow/lit2x-0.16/literate/lit-deatify.c new file mode 100644 index 0000000000..39386653a7 --- /dev/null +++ b/web/glasgow/lit2x-0.16/literate/lit-deatify.c @@ -0,0 +1,2084 @@ +/* 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 <stdio.h> + + +/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */ +#ifdef c_plusplus +#ifndef __cplusplus +#define __cplusplus +#endif +#endif + + +#ifdef __cplusplus + +#include <stdlib.h> +#include <osfcn.h> + +/* 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 <stddef.h> +void *malloc( size_t ); +void free( void* ); +#else +#include <stdlib.h> +#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 char +# line 1 "lit-deatify.lex" +#define INITIAL 0 +# line 2 "lit-deatify.lex" +#define LEX_STK_SIZE 256 + +int lex_stk[LEX_STK_SIZE]; +int lex_stk_top = 0; + +#define PUSH(x) lex_stk[++lex_stk_top] = (x); BEGIN(x) +#define POP BEGIN(lex_stk[--lex_stk_top]) +#define LEX_STK_TOP lex_stk[lex_stk_top] +#define LEX_NEXT_TO_STK_TOP lex_stk[lex_stk_top - 1] +#define CHG_TOP(x) lex_stk[lex_stk_top] = (x); BEGIN(x) +#define CHG_NEXT_TO_TOP(x) lex_stk[lex_stk_top - 1] = (x) +/* not a lot in the old stack {over,under}flow dept, what? */ + +extern char *yytext; /* forward decl */ +void print_leading_whitespace(); + +void +print_lex_stk () /* just for debugging */ +{ + int i; + fprintf(stderr,"lex_stk:"); + for (i = lex_stk_top; i >= 0; i--) { + fprintf(stderr," %d",lex_stk[i]); + } + fprintf(stderr,"::%s\n",yytext); +} +int verbose; /* set from first argv */ +int follow_inputs; /* set from second argv */ + +#if defined (SYSV) || defined (SYSV) +#include <string.h> +#include <time.h> +#else +#include <strings.h> +#include <sys/time.h> +#endif + +#if defined (SYSV) +#define index(string, ch) strchr ((string), (ch)) +#endif + +#define INPUTFILE_STK_SIZE 20 +struct { + YY_BUFFER_STATE handle; /* flex-supplied magic */ + char* name; + int lineno; +} inputfile_stk[INPUTFILE_STK_SIZE]; +int inputfile_stk_top = 0; +void push_inputfile(); +void pop_inputfile(); +int i; /* temporary */ +char* rbrace; +int deatify_debug = 0; +int unmatched_lbraces = 0; +int unmatched_lbrackets = 0; + +/* like everything, must track srcfile name and lineno */ +char srcfile_name[1024]; /* too lazy to do this right */ +int lineno = 1; /* count \n's as they go by */ +int lineno_fiddled = 0; /* boolean: incr if newlines get trashed */ + +int exit_status = 0; +void not_OK (); /* prints an error msg and bumps exit_status */ +void warning (); /* same, but no exit-status fiddling */ + +int lit2what; /* set from ARGV */ + +#define IS_LIT2PGM_Q (lit2what == 1) +#define IS_LIT2PGM (lit2what == 2) +#define IS_LIT2TEXI (lit2what == 3) +#define IS_LIT2LATEX (lit2what == 4) +#define IS_LIT2DEPEND (lit2what == 5) +#define IS_LIT2CHANGELOG (lit2what== 6) + +/* the condition for printing to stdout */ +#define SHLD_PRINT (! IS_LIT2PGM_Q || (LEX_STK_TOP == Code || LEX_STK_TOP == Bird)) + +void myecho(); +#define MYECHO myecho() +void myprintstr(); + +#define YY_USER_ACTION if (deatify_debug) print_lex_stk(); /* debugging */ +#define Norm 1 +#define Verb 2 +#define Code 3 +#define Bird 4 +#define Atting 5 +#define Math 6 +#define Index 7 +#define Typing 8 +#define Linify_braces 9 +#define Linify_brackets 10 +# line 89 "lit-deatify.lex" + +/* 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 111 +typedef int yy_state_type; +static const short int yy_accept[398] = + { 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 111, 1, 110, 40, 39, 41, 32, 40, + 30, 40, 40, 40, 39, 47, 48, 47, 47, 47, + 53, 53, 52, 51, 63, 62, 60, 57, 58, 59, + 71, 70, 68, 65, 71, 71, 66, 67, 105, 104, + 103, 102, 89, 93, 100, 74, 78, 83, 86, 74, + 88, 105, 85, 74, 76, 81, 95, 74, 98, 77, + 82, 39, 0, 0, 0, 0, 38, 31, 36, 29, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + + 0, 0, 0, 34, 35, 0, 12, 0, 0, 39, + 0, 46, 0, 0, 0, 52, 0, 0, 50, 51, + 51, 62, 54, 0, 70, 64, 104, 101, 87, 90, + 84, 73, 84, 0, 92, 0, 0, 75, 79, 80, + 94, 96, 97, 0, 0, 0, 11, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 39, 0, + 0, 50, 50, 0, 0, 0, 0, 9, 0, 10, + 37, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 27, 0, 0, 0, 0, 0, 39, + + 0, 0, 0, 91, 72, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 39, 0, 0, 0, 0, 0, 0, 16, + 0, 0, 0, 28, 0, 0, 21, 0, 0, 0, + 0, 0, 0, 39, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 33, 19, 0, 22, 0, 0, + 26, 0, 0, 39, 0, 0, 0, 0, 0, 13, + 0, 0, 17, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 14, 0, + 18, 0, 0, 24, 23, 0, 0, 0, 0, 0, + + 0, 0, 0, 0, 0, 0, 56, 0, 0, 0, + 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, + 45, 0, 0, 20, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 55, 15, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 42, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 44, 25, 0, 0, 0, + 5, 0, 0, 0, 0, 0, 0, 0, 0, 7, + 2, 43, 0, 0, 0, 6, 0 + + } ; + +static const YY_CHAR yy_ec[128] = + { 0, + 1, 1, 1, 2, 2, 2, 2, 2, 3, 4, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 3, 5, 2, 2, 6, 7, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 8, 8, 8, + 8, 8, 8, 8, 8, 8, 8, 2, 2, 2, + 2, 9, 2, 10, 11, 11, 11, 11, 11, 11, + 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, + 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, + 12, 13, 14, 2, 15, 2, 16, 17, 18, 19, + + 20, 21, 22, 23, 24, 11, 11, 25, 26, 27, + 28, 29, 11, 30, 31, 32, 33, 34, 35, 36, + 37, 11, 38, 2, 39, 2, 2 + } ; + +static const YY_CHAR yy_meta[40] = + { 0, + 1, 1, 2, 3, 1, 1, 1, 2, 1, 1, + 2, 1, 1, 1, 1, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 1, 4 + } ; + +static const short int yy_base[425] = + { 0, + 609, 608, 0, 39, 604, 4, 603, 7, 15, 18, + 78, 117, 156, 195, 234, 273, 18, 19, 308, 343, + 378, 0, 606, 611, 611, 611, 0, 33, 611, 601, + 611, 412, 600, 9, 573, 611, 611, 598, 581, 580, + 611, 31, 52, 595, 611, 0, 611, 37, 611, 611, + 611, 0, 611, 611, 594, 51, 611, 611, 611, 0, + 611, 611, 611, 611, 611, 58, 611, 611, 611, 88, + 611, 593, 611, 446, 611, 558, 611, 48, 557, 611, + 611, 0, 63, 585, 589, 588, 69, 611, 611, 611, + 558, 69, 83, 88, 570, 42, 573, 568, 559, 551, + + 560, 108, 51, 611, 611, 580, 611, 116, 78, 565, + 578, 611, 554, 553, 93, 103, 110, 134, 575, 574, + 611, 0, 611, 550, 0, 611, 0, 611, 611, 611, + 611, 611, 611, 572, 131, 533, 453, 611, 611, 611, + 611, 611, 611, 473, 477, 476, 611, 141, 470, 445, + 147, 447, 447, 441, 451, 455, 451, 449, 451, 440, + 447, 438, 426, 445, 446, 429, 438, 123, 437, 438, + 436, 450, 611, 421, 147, 439, 409, 611, 442, 611, + 611, 419, 402, 401, 412, 403, 407, 405, 398, 403, + 388, 400, 395, 611, 382, 386, 387, 387, 377, 385, + + 370, 369, 382, 611, 611, 377, 380, 383, 364, 374, + 376, 363, 386, 372, 376, 357, 364, 369, 370, 367, + 359, 348, 354, 125, 360, 350, 346, 347, 344, 611, + 353, 345, 333, 611, 332, 342, 611, 330, 339, 350, + 327, 326, 325, 342, 336, 329, 339, 330, 338, 317, + 327, 327, 313, 323, 611, 611, 312, 611, 316, 317, + 611, 154, 0, 336, 307, 319, 308, 318, 316, 611, + 297, 310, 611, 295, 302, 165, 303, 302, 304, 297, + 307, 287, 310, 293, 290, 305, 300, 283, 611, 290, + 611, 279, 173, 611, 611, 283, 290, 275, 287, 276, + + 301, 299, 280, 283, 285, 261, 261, 278, 259, 276, + 275, 263, 260, 275, 287, 611, 0, 256, 261, 252, + 611, 242, 238, 611, 243, 231, 246, 249, 251, 261, + 245, 246, 239, 611, 611, 232, 257, 226, 231, 226, + 169, 227, 228, 229, 227, 249, 611, 232, 233, 226, + 240, 225, 218, 193, 203, 200, 201, 202, 171, 211, + 206, 611, 193, 207, 203, 182, 182, 188, 180, 180, + 201, 195, 210, 177, 182, 611, 611, 166, 154, 187, + 611, 184, 127, 124, 116, 208, 76, 85, 105, 611, + 611, 611, 50, 72, 55, 611, 611, 485, 489, 493, + + 497, 501, 505, 509, 513, 28, 517, 521, 525, 529, + 23, 14, 1, 533, 537, 541, 545, 549, 551, 555, + 559, 563, 567, 571 + } ; + +static const short int yy_def[425] = + { 0, + 398, 398, 399, 399, 400, 401, 400, 401, 402, 402, + 403, 403, 404, 404, 405, 405, 16, 16, 16, 16, + 16, 21, 397, 397, 397, 397, 406, 397, 397, 407, + 397, 397, 408, 32, 406, 397, 397, 409, 397, 397, + 397, 397, 397, 410, 397, 411, 397, 397, 397, 397, + 397, 412, 397, 397, 407, 397, 397, 397, 397, 413, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 414, 397, 397, 397, 397, 397, 74, 397, 397, + 397, 406, 397, 397, 415, 407, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + + 397, 397, 397, 397, 397, 408, 397, 397, 397, 406, + 409, 397, 397, 397, 397, 397, 397, 397, 416, 410, + 397, 411, 397, 397, 412, 397, 413, 397, 397, 397, + 397, 397, 397, 414, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 417, 415, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 406, 397, + 397, 416, 397, 397, 397, 397, 397, 397, 417, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 406, + + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 406, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 406, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 418, 406, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 418, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + + 419, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 419, 397, 420, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 420, + 397, 397, 397, 397, 397, 397, 421, 397, 397, 397, + 420, 397, 397, 397, 397, 421, 397, 397, 397, 397, + 420, 397, 397, 397, 397, 397, 397, 397, 420, 397, + 397, 397, 397, 397, 397, 397, 420, 397, 397, 397, + 397, 397, 422, 420, 397, 397, 397, 397, 397, 422, + 397, 420, 397, 397, 423, 420, 397, 397, 423, 397, + 397, 397, 397, 424, 424, 397, 0, 397, 397, 397, + + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397 + } ; + +static const short int yy_nxt[651] = + { 0, + 26, 26, 127, 28, 26, 29, 30, 37, 26, 31, + 37, 26, 32, 26, 26, 125, 39, 42, 43, 40, + 42, 43, 59, 59, 122, 108, 44, 69, 69, 82, + 70, 70, 109, 115, 116, 83, 84, 26, 26, 26, + 26, 85, 28, 26, 29, 30, 123, 33, 31, 124, + 26, 34, 26, 26, 117, 118, 126, 89, 396, 141, + 119, 142, 128, 129, 130, 83, 144, 131, 157, 35, + 132, 148, 149, 158, 166, 396, 26, 26, 45, 45, + 163, 47, 45, 45, 45, 92, 45, 48, 394, 45, + 45, 45, 45, 129, 130, 115, 116, 133, 152, 151, + + 132, 92, 153, 154, 168, 117, 118, 155, 390, 158, + 393, 119, 117, 118, 392, 49, 50, 45, 45, 390, + 47, 45, 45, 45, 92, 45, 48, 164, 45, 45, + 45, 45, 92, 175, 176, 167, 117, 118, 151, 165, + 92, 188, 119, 148, 149, 245, 151, 388, 92, 175, + 176, 199, 387, 246, 49, 50, 51, 51, 247, 53, + 51, 54, 55, 92, 51, 51, 164, 51, 56, 51, + 51, 278, 293, 341, 279, 341, 294, 151, 367, 92, + 293, 341, 280, 351, 294, 351, 374, 281, 386, 367, + 381, 382, 385, 57, 58, 51, 51, 384, 53, 51, + + 54, 55, 295, 51, 51, 383, 51, 56, 51, 51, + 295, 391, 341, 381, 379, 367, 378, 377, 376, 375, + 373, 372, 351, 371, 370, 369, 368, 366, 365, 364, + 363, 362, 57, 58, 59, 59, 361, 61, 62, 63, + 64, 360, 59, 65, 359, 59, 66, 59, 59, 358, + 357, 356, 347, 355, 354, 353, 352, 350, 349, 348, + 347, 345, 344, 343, 342, 341, 340, 339, 338, 337, + 336, 67, 68, 59, 59, 335, 61, 62, 63, 64, + 334, 59, 65, 333, 59, 66, 59, 59, 332, 331, + 316, 329, 328, 327, 326, 325, 324, 323, 322, 321, + + 320, 319, 318, 317, 316, 314, 313, 312, 311, 310, + 67, 68, 59, 71, 72, 309, 308, 73, 307, 306, + 74, 305, 304, 303, 302, 301, 300, 299, 298, 297, + 296, 292, 291, 290, 289, 288, 287, 286, 285, 284, + 283, 277, 276, 275, 274, 75, 76, 59, 71, 72, + 273, 272, 73, 271, 270, 74, 269, 268, 267, 266, + 265, 264, 263, 262, 261, 260, 259, 258, 257, 256, + 255, 254, 253, 252, 251, 250, 249, 248, 244, 243, + 75, 76, 59, 71, 72, 242, 241, 73, 240, 77, + 78, 79, 239, 238, 237, 236, 235, 234, 233, 232, + + 231, 230, 229, 228, 227, 226, 225, 224, 223, 222, + 221, 220, 219, 218, 217, 80, 81, 88, 89, 216, + 215, 90, 214, 213, 212, 211, 210, 91, 92, 93, + 94, 209, 208, 207, 95, 96, 97, 98, 99, 100, + 101, 206, 102, 103, 92, 180, 205, 204, 203, 104, + 105, 129, 130, 173, 202, 133, 201, 200, 132, 198, + 197, 196, 195, 194, 193, 192, 191, 190, 189, 188, + 187, 186, 185, 184, 136, 183, 182, 137, 181, 147, + 180, 178, 177, 138, 139, 25, 25, 25, 25, 27, + 27, 27, 27, 36, 36, 36, 36, 38, 38, 38, + + 38, 41, 41, 41, 41, 46, 46, 46, 46, 52, + 52, 52, 52, 60, 60, 60, 60, 86, 86, 86, + 86, 106, 106, 106, 106, 111, 111, 111, 111, 120, + 120, 120, 120, 134, 134, 134, 134, 146, 146, 146, + 146, 172, 172, 172, 172, 179, 179, 179, 179, 282, + 282, 315, 315, 315, 315, 330, 330, 177, 330, 346, + 346, 346, 346, 380, 380, 380, 380, 389, 389, 389, + 389, 395, 395, 395, 395, 135, 174, 121, 173, 171, + 170, 112, 169, 107, 163, 162, 161, 160, 159, 156, + 150, 87, 147, 145, 143, 140, 135, 87, 121, 114, + + 113, 112, 110, 107, 87, 397, 37, 37, 24, 24, + 23, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397 + } ; + +static const short int yy_chk[651] = + { 0, + 3, 3, 413, 3, 3, 3, 3, 6, 3, 3, + 8, 3, 3, 3, 3, 412, 6, 9, 9, 8, + 10, 10, 17, 18, 411, 34, 10, 17, 18, 406, + 17, 18, 34, 42, 42, 28, 28, 3, 3, 4, + 4, 28, 4, 4, 4, 4, 48, 4, 4, 48, + 4, 4, 4, 4, 43, 43, 56, 56, 395, 78, + 43, 78, 66, 66, 66, 83, 83, 66, 96, 4, + 66, 87, 87, 96, 103, 394, 4, 4, 11, 11, + 103, 11, 11, 11, 11, 92, 11, 11, 393, 11, + 11, 11, 11, 70, 70, 115, 115, 70, 93, 92, + + 70, 92, 93, 94, 109, 116, 116, 94, 389, 109, + 388, 116, 117, 117, 387, 11, 11, 12, 12, 385, + 12, 12, 12, 12, 102, 12, 12, 102, 12, 12, + 12, 12, 108, 135, 135, 108, 118, 118, 102, 102, + 102, 168, 118, 148, 148, 224, 108, 384, 108, 175, + 175, 168, 383, 224, 12, 12, 13, 13, 224, 13, + 13, 13, 13, 151, 13, 13, 151, 13, 13, 13, + 13, 262, 276, 341, 262, 359, 276, 151, 359, 151, + 293, 374, 262, 341, 293, 359, 367, 262, 382, 367, + 380, 374, 379, 13, 13, 14, 14, 378, 14, 14, + + 14, 14, 276, 14, 14, 375, 14, 14, 14, 14, + 293, 386, 386, 373, 372, 386, 371, 370, 369, 368, + 366, 365, 386, 364, 363, 361, 360, 358, 357, 356, + 355, 354, 14, 14, 15, 15, 353, 15, 15, 15, + 15, 352, 15, 15, 351, 15, 15, 15, 15, 350, + 349, 348, 346, 345, 344, 343, 342, 340, 339, 338, + 337, 336, 333, 332, 331, 330, 329, 328, 327, 326, + 325, 15, 15, 16, 16, 323, 16, 16, 16, 16, + 322, 16, 16, 320, 16, 16, 16, 16, 319, 318, + 315, 314, 313, 312, 311, 310, 309, 308, 307, 306, + + 305, 304, 303, 302, 301, 300, 299, 298, 297, 296, + 16, 16, 19, 19, 19, 292, 290, 19, 288, 287, + 19, 286, 285, 284, 283, 282, 281, 280, 279, 278, + 277, 275, 274, 272, 271, 269, 268, 267, 266, 265, + 264, 260, 259, 257, 254, 19, 19, 20, 20, 20, + 253, 252, 20, 251, 250, 20, 249, 248, 247, 246, + 245, 244, 243, 242, 241, 240, 239, 238, 236, 235, + 233, 232, 231, 229, 228, 227, 226, 225, 223, 222, + 20, 20, 21, 21, 21, 221, 220, 21, 219, 21, + 21, 21, 218, 217, 216, 215, 214, 213, 212, 211, + + 210, 209, 208, 207, 206, 203, 202, 201, 200, 199, + 198, 197, 196, 195, 193, 21, 21, 32, 32, 192, + 191, 32, 190, 189, 188, 187, 186, 32, 32, 32, + 32, 185, 184, 183, 32, 32, 32, 32, 32, 32, + 32, 182, 32, 32, 32, 179, 177, 176, 174, 32, + 32, 74, 74, 172, 171, 74, 170, 169, 74, 167, + 166, 165, 164, 163, 162, 161, 160, 159, 158, 157, + 156, 155, 154, 153, 74, 152, 150, 74, 149, 146, + 145, 144, 137, 74, 74, 398, 398, 398, 398, 399, + 399, 399, 399, 400, 400, 400, 400, 401, 401, 401, + + 401, 402, 402, 402, 402, 403, 403, 403, 403, 404, + 404, 404, 404, 405, 405, 405, 405, 407, 407, 407, + 407, 408, 408, 408, 408, 409, 409, 409, 409, 410, + 410, 410, 410, 414, 414, 414, 414, 415, 415, 415, + 415, 416, 416, 416, 416, 417, 417, 417, 417, 418, + 418, 419, 419, 419, 419, 420, 420, 136, 420, 421, + 421, 421, 421, 422, 422, 422, 422, 423, 423, 423, + 423, 424, 424, 424, 424, 134, 124, 120, 119, 114, + 113, 111, 110, 106, 101, 100, 99, 98, 97, 95, + 91, 86, 85, 84, 79, 76, 72, 55, 44, 40, + + 39, 38, 35, 33, 30, 23, 7, 5, 2, 1, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397, + 397, 397, 397, 397, 397, 397, 397, 397, 397, 397 + } ; + +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; + + + CHG_TOP(Norm); /* that's where we start */ + + 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; + if ( yy_bp[-1] == '\n' ) + ++yy_current_state; +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 >= 398 ) + yy_c = yy_meta[yy_c]; + } + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; + ++yy_cp; + } + while ( yy_current_state != 397 ); + 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: +# line 91 "lit-deatify.lex" +{ not_OK("ASCII chars \001, \002, \003 may not appear in literate files\n"); + exit(1); + } + YY_BREAK +case 2: +# line 94 "lit-deatify.lex" +{ + sscanf(yytext+10,"%[^!]!_!%d", srcfile_name, &lineno); + if (lineno > 0) { + ECHO; + } + } + YY_BREAK +case 3: +# line 100 "lit-deatify.lex" +{ lineno++; + if (follow_inputs) { + /* nullify first right brace */ + rbrace = index(yytext+7,'}'); + *rbrace = '\0'; + push_inputfile(yytext+7); + } else { + MYECHO; + } + } + YY_BREAK +case YY_STATE_EOF(Norm): +case YY_STATE_EOF(Bird): +# line 110 "lit-deatify.lex" +{ if ( inputfile_stk_top <= 0 ) { + yyterminate(); + } else { + pop_inputfile(); + } + CHG_TOP(Norm); /* revert */ + } + YY_BREAK +case 5: +# line 118 "lit-deatify.lex" +case 6: +# line 119 "lit-deatify.lex" +case 7: +# line 119 "lit-deatify.lex" +{ lineno++; MYECHO; PUSH(Verb); /* some may have opt arg */ } + YY_BREAK +case 8: +# line 120 "lit-deatify.lex" +{ lineno++; + if (IS_LIT2PGM_Q) { + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name,lineno); + } + MYECHO; + PUSH(Code); + } + YY_BREAK +case 9: +# line 127 "lit-deatify.lex" +{ /* convert to something less weird & try again */ + unput('>'); unput('\n'); unput('\n'); + } + YY_BREAK +case 10: +# line 130 "lit-deatify.lex" +{ lineno += 3; + /* NB: init > converted to space */ + if (IS_LIT2PGM_Q) { + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name,(lineno-1)); + printf("%s",yytext+3); + } else { + ECHO; + } + PUSH(Bird); + } + YY_BREAK +case 11: +# line 140 "lit-deatify.lex" +{ lineno++; /* so msg will have right line # */ + if (lineno > 2) /* I feel guilty about this hack */ + /* to avoid: file is: blank lines, then code */ + not_OK("Bird-style code not preceded by a blank line\n"); + lineno++; /* account for other \n */ + if (IS_LIT2PGM_Q) { + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name,(lineno-1)); + printf("%s",yytext+2); + } else { + ECHO; + } + PUSH(Bird); + } + YY_BREAK +case 12: +# line 153 "lit-deatify.lex" +{ lineno++; /* first line of file */ + if (IS_LIT2PGM_Q) { + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name,(lineno-1)); + printf("%s",yytext+1); + } else { + ECHO; + } + PUSH(Bird); + } + YY_BREAK +case 13: +# line 162 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 14: +# line 163 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 15: +# line 164 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 16: +# line 165 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 17: +# line 166 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 18: +# line 167 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 19: +# line 168 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 20: +# line 169 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 21: +# line 170 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 22: +# line 171 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 23: +# line 172 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 24: +# line 173 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_brackets); } + YY_BREAK +case 25: +# line 174 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 26: +# line 175 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 27: +# line 176 "lit-deatify.lex" +{ MYECHO; unmatched_lbraces = 1; PUSH(Typing); + /* \tr has braces as literals */ + } + YY_BREAK +case 28: +# line 179 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_brackets); } + YY_BREAK +case 29: +# line 180 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 30: +# line 181 "lit-deatify.lex" +{ myprintstr("\\codeInText{"); PUSH(Atting); } + YY_BREAK +case 31: +# line 182 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 32: +# line 183 "lit-deatify.lex" +{ myprintstr("\\MathMode{"); PUSH(Math); } + YY_BREAK +case 33: +# line 184 "lit-deatify.lex" +{ MYECHO; + unmatched_lbraces = 1; + PUSH(Index); + } + YY_BREAK +case 34: +# line 188 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 35: +# line 189 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 36: +# line 190 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 37: +# line 191 "lit-deatify.lex" +{ /* technically this Bird-style code is wrong + (no blank line in front of it, but that's + not intuitively obvious to the casual observer). + Solution? A hack! + */ + unput('>'); unput('\n'); unput('\n'); + } + YY_BREAK +case 38: +# line 198 "lit-deatify.lex" +{ /* throw away */ lineno++; + if (! IS_LIT2PGM_Q) + printf("\nsrcfile!_!%s!_!%d!_!\n",srcfile_name,lineno); + } + YY_BREAK +case 39: +# line 202 "lit-deatify.lex" +{ MYECHO; /* slight efficiency */ } + YY_BREAK +case 40: +# line 203 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 41: +# line 204 "lit-deatify.lex" +{ /* handle line-number fiddling */ + MYECHO; + lineno++; + if (lineno_fiddled) { + if (! IS_LIT2PGM_Q) + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name,lineno); + lineno_fiddled = 0; + } + } + YY_BREAK +case 42: +# line 214 "lit-deatify.lex" +case 43: +# line 215 "lit-deatify.lex" +case 44: +# line 215 "lit-deatify.lex" +{ MYECHO; POP; } + YY_BREAK +case 45: +# line 216 "lit-deatify.lex" +{ if (! IS_LIT2PGM_Q) ECHO; POP; } + YY_BREAK +case 46: +# line 217 "lit-deatify.lex" +{ lineno++; MYECHO; /* a line not started by \ */} + YY_BREAK +case 47: +# line 218 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 48: +# line 219 "lit-deatify.lex" +{ lineno++; MYECHO; } + YY_BREAK +case YY_STATE_EOF(Verb): +case YY_STATE_EOF(Code): +# line 220 "lit-deatify.lex" +{ not_OK("unexpected end-of-file in verbatim text or (pseudo)code\n"); + exit(1); + } + YY_BREAK +case 50: +# line 223 "lit-deatify.lex" +{ /* whitespace/blank-lines do not matter */ + /* count lines... */ + for (i = 0; i < strlen(yytext); i++) { + if (yytext[i] == '\n') + lineno++; + } + if (! IS_LIT2PGM_Q) { + ECHO; + } else { /* don't print leading whitestuff */ + for (i = 0; i < strlen(yytext) && yytext[i] != '>'; i++) + ; /* no-op */ + /* report where this got us...*/ + printf("srcfile!_!%s!_!%d!_!\n",srcfile_name, + ((yytext[yyleng-1] == '\n') ? (lineno-1) : lineno)); + /* putchar(' '); convert leading > to space */ + for ( i++ ; i < strlen(yytext); i++) + putchar(yytext[i]); + } + } + YY_BREAK +case 51: +# line 242 "lit-deatify.lex" +{ if (yytext[yyleng-1] == '\n') { lineno++; } + if (IS_LIT2PGM_Q) printf("%s",yytext+1); else ECHO; + } + YY_BREAK +case 52: +# line 245 "lit-deatify.lex" +{ lineno++; + if ( ! IS_LIT2PGM_Q) ECHO; + POP; + } + YY_BREAK +case 53: +# line 249 "lit-deatify.lex" +{ lineno--; /* to get right # on msg */ + not_OK("Bird-style code not followed by a blank line\n"); + lineno++; /* put it back */ + unput(yytext[0]); + POP; + } + YY_BREAK +case 54: +# line 255 "lit-deatify.lex" +{ myprintstr("@"); } + YY_BREAK +case 55: +# line 257 "lit-deatify.lex" +case 56: +# line 257 "lit-deatify.lex" +{ myprintstr("\001noindex\003}"); + POP; + } + YY_BREAK +case 57: +# line 260 "lit-deatify.lex" +{ myprintstr("}"); + POP; + } + YY_BREAK +case 58: +# line 263 "lit-deatify.lex" +{ myprintstr("\001lbrace\003"); } + YY_BREAK +case 59: +# line 264 "lit-deatify.lex" +{ myprintstr("\001rbrace\003"); } + YY_BREAK +case 60: +# line 265 "lit-deatify.lex" +{ warning("I'm turning a newline inside a @...@ into a space\n"); + myprintstr(" "); + lineno++; + } + YY_BREAK +case YY_STATE_EOF(Atting): +# line 270 "lit-deatify.lex" +{ not_OK("unexpected end-of-file inside an @ ... @\n"); + exit(1); + } + YY_BREAK +case 62: +# line 273 "lit-deatify.lex" +{ MYECHO; /* tiny efficiency */ } + YY_BREAK +case 63: +# line 274 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 64: +# line 275 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 65: +# line 276 "lit-deatify.lex" +{ myprintstr("}"); + POP; + } + YY_BREAK +case 66: +# line 279 "lit-deatify.lex" +{ myprintstr("\001lbrace\003"); } + YY_BREAK +case 67: +# line 280 "lit-deatify.lex" +{ myprintstr("\001rbrace\003"); } + YY_BREAK +case 68: +# line 281 "lit-deatify.lex" +{ myprintstr("\001newline\003"); + lineno++; + } + YY_BREAK +case YY_STATE_EOF(Math): +# line 285 "lit-deatify.lex" +{ not_OK("unexpected end-of-file inside $ ... $ (math mode)\n"); + exit(1); + } + YY_BREAK +case 70: +# line 288 "lit-deatify.lex" +{ MYECHO; /* tiny efficiency */ } + YY_BREAK +case 71: +# line 289 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 72: +# line 290 "lit-deatify.lex" +{ + MYECHO; + unmatched_lbraces = 1; + PUSH(Typing); + } + YY_BREAK +case 73: +# line 296 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 74: +# line 299 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 75: +# line 302 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 76: +# line 306 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_braces); } + YY_BREAK +case 77: +# line 307 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 78: +# line 309 "lit-deatify.lex" +{ unmatched_lbraces++; myprintstr("\001lbrace\003"); } + YY_BREAK +case 79: +# line 311 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 80: +# line 314 "lit-deatify.lex" +{ /* next arg */ MYECHO; } + YY_BREAK +case 81: +# line 316 "lit-deatify.lex" +{ MYECHO; POP; } + YY_BREAK +case 82: +# line 317 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 83: +# line 319 "lit-deatify.lex" +{ if (--unmatched_lbraces == 0) { + MYECHO; + POP; + } else { + myprintstr("\001rbrace\003"); + } + } + YY_BREAK +case 84: +# line 327 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 85: +# line 330 "lit-deatify.lex" +{ + myprintstr("\\codeInText{"); /* no newline */ + PUSH(Atting); + } + YY_BREAK +case 86: +# line 334 "lit-deatify.lex" +{ MYECHO; /* NB: magic <Index> chars below */ } + YY_BREAK +case 87: +# line 336 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 88: +# line 339 "lit-deatify.lex" +{ + myprintstr("\\MathMode{"); /* no newline */ + PUSH(Math); + } + YY_BREAK +case 89: +# line 343 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 90: +# line 345 "lit-deatify.lex" +{ + MYECHO; + } + YY_BREAK +case 91: +# line 348 "lit-deatify.lex" +{ + /* see earlier comments about crimes against humanity */ + unput('>'); unput('\n'); unput('\n'); + } + YY_BREAK +case 92: +# line 352 "lit-deatify.lex" +{ /* throw away */ + lineno++; + lineno_fiddled++; + } + YY_BREAK +case 93: +# line 356 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 94: +# line 358 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 95: +# line 359 "lit-deatify.lex" +{ MYECHO; PUSH(Linify_brackets); } + YY_BREAK +case 96: +# line 361 "lit-deatify.lex" +{ myprintstr("\\\001rbracket\003"); /* cannot have these in the way */ } + YY_BREAK +case 97: +# line 362 "lit-deatify.lex" +{ if (LEX_NEXT_TO_STK_TOP == Norm) { + MYECHO; + } else { + myprintstr("\001rbracket\003\{"); + not_OK("WHAT'S GOING ON? ]{\n"); + print_lex_stk(); + } + CHG_TOP(Linify_braces); + } + YY_BREAK +case 98: +# line 371 "lit-deatify.lex" +{ if (LEX_NEXT_TO_STK_TOP == Norm) { + MYECHO; + } else { + myprintstr("\001rbracket\003"); + } + POP; + } + YY_BREAK +case 99: +# line 379 "lit-deatify.lex" +{ MYECHO; /* my pseudo-makeindex has two magic chars */ } + YY_BREAK +case 100: +# line 380 "lit-deatify.lex" +{ myprintstr("\001idxsort\003"); } + YY_BREAK +case 101: +# line 381 "lit-deatify.lex" +{ MYECHO; } + YY_BREAK +case 102: +# line 382 "lit-deatify.lex" +{ myprintstr("\001idxsubitem\003"); } + YY_BREAK +case 103: +# line 384 "lit-deatify.lex" +{ + lineno++; + lineno_fiddled++; + if (LEX_STK_TOP == Index) { + warning("I'm turning a newline inside an \\index{...} into a space\n"); + myprintstr(" "); + } else if (LEX_STK_TOP == Typing) { + warning("I'm turning a newline inside a \\tr{...} or \\pl{...} into a space\n"); + myprintstr(" "); + } else { + myprintstr("\001newline\003"); + } + } + YY_BREAK +case 104: +# line 398 "lit-deatify.lex" +{ + MYECHO; /* tiny efficiency */ + } + YY_BREAK +case 105: +# line 402 "lit-deatify.lex" +{ MYECHO; /* catch all */ } + YY_BREAK +case YY_STATE_EOF(Index): +# line 404 "lit-deatify.lex" +{ not_OK("unexpected end-of-file inside an \\index{...}\n"); + exit(1); + } + YY_BREAK +case YY_STATE_EOF(Linify_braces): +# line 407 "lit-deatify.lex" +{ not_OK("unexpected end-of-file inside a macro argument\n"); + exit(1); + } + YY_BREAK +case YY_STATE_EOF(Linify_brackets): +# line 410 "lit-deatify.lex" +{not_OK("unexpected end-of-file inside a macro optional argument\n"); + exit(1); + } + YY_BREAK +case YY_STATE_EOF(Typing): +# line 413 "lit-deatify.lex" +{ not_OK("unexpected end-of-file inside a \\tr{...}\n"); + exit(1); + } + YY_BREAK +case 110: +# line 416 "lit-deatify.lex" +ECHO; + YY_BREAK +case YY_STATE_EOF(INITIAL): + 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; + + register YY_CHAR *yy_bp = yytext; + + yy_current_state = yy_start; + if ( yy_bp[-1] == '\n' ) + ++yy_current_state; + + 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] : 2); + 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 >= 398 ) + 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 = 2; + 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 >= 398 ) + yy_c = yy_meta[yy_c]; + } + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; + yy_is_jam = (yy_current_state == 397); + + 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; + } +# line 416 "lit-deatify.lex" + + +main(argc, argv) +int argc; +char **argv; +{ + if (argc != 5) { + fprintf(stderr,"Sorry, %s must have exactly 4 arguments\n", argv[0]); + exit(1); + } + verbose = argv[1][0] - '0'; /* hacks */ + follow_inputs = argv[2][0] - '0'; + lit2what = argv[3][0] - '0'; /* used in IS_LIT2xxx tests */ + if (strcmp(argv[4], "-") == 0) { + yyin = stdin; + } else if ((yyin = fopen(argv[4], "r")) == NULL) { + fprintf(stderr,"%s: can't open file %s\n", argv[0], argv[4]); + exit(1); + } + strcpy(srcfile_name, argv[4]); + inputfile_stk[ inputfile_stk_top /* 0 */ ].name = argv[4]; + if ( ! IS_LIT2PGM_Q ) printf("srcfile!_!%s!_!1!_!\n",argv[4]); + yylex(); + exit(exit_status); +} + +void +push_inputfile (fname) +char* fname; +{ + if ( inputfile_stk_top >= INPUTFILE_STK_SIZE ) { + fprintf(stderr,"\\input's too deeply nested\n"); + exit(1); + } + + /* record where we are in current file */ + inputfile_stk[ inputfile_stk_top ].lineno = lineno; + inputfile_stk[ inputfile_stk_top ].handle = YY_CURRENT_BUFFER; + /* actual push */ + inputfile_stk_top++; + + /* open new file fname */ + if ((yyin = fopen(fname, "r")) == NULL) { + fprintf(stderr,"%s:%d: can't open \\input file %s\n", srcfile_name, lineno, fname); + exit(1); + } + yy_switch_to_buffer( yy_create_buffer( yyin, YY_BUF_SIZE ) ); + + /* report that's where we are */ + if (! IS_LIT2PGM_Q) printf("srcfile!_!%s!_!1!_!\n",fname); + /* set srcfile_name and lineno for new file */ + + strcpy(srcfile_name, fname); /* for my own tracking */ + lineno = 1; + + /* push/record everything for new file */ + inputfile_stk[ inputfile_stk_top ].name = srcfile_name; + inputfile_stk[ inputfile_stk_top ].lineno = lineno; +} + +void +pop_inputfile () +{ + inputfile_stk_top--; /* actual pop */ + + /* remind where we were */ + strcpy(srcfile_name, inputfile_stk[inputfile_stk_top].name); + lineno = inputfile_stk[inputfile_stk_top].lineno; + /* put in an extra newline or two before the next file; + otherwise, the cat'ting of files gives things like: + + > last line of code + \section{Next section} + + which happens to be very bad for lit2stuff. + */ + if (! IS_LIT2PGM_Q) printf("\n\nsrcfile!_!%s!_!%d!_!\n",srcfile_name,lineno); + + /* return to prev inputfile */ + yy_switch_to_buffer( inputfile_stk[inputfile_stk_top].handle ); +} + +void +myecho () +{ + myprintstr(yytext); +} + +void +myprintstr (str) +char *str; +{ + if (SHLD_PRINT) { + printf("%s",str); + } +} + +void +print_leading_whitespace () +{ + int i; + + for (i = 0; yytext[i] == ' ' || yytext[i] == '\t'; i++) { + putchar(yytext[i]); + } +} + +void +not_OK(msg) +char *msg; +{ + /* a good old emacsable error msg */ + fprintf(stderr,"%s:%d: %s", srcfile_name, lineno, msg); + exit_status++; +} + +void +warning(msg) /* exit_status not fiddled */ +char *msg; +{ + /* a good old emacsable warning msg */ + fprintf(stderr,"%s:%d: [warning] %s", srcfile_name, lineno, msg); +} |