X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=glafp-utils%2Fverbatim%2Fverbatim.c;fp=glafp-utils%2Fverbatim%2Fverbatim.c;h=033314e9187f9a761e7f53fa44a04c35e34f8292;hb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;hp=0000000000000000000000000000000000000000;hpb=e48474bff05e6cfb506660420f025f694c870d38;p=ghc-hetmet.git

diff --git a/glafp-utils/verbatim/verbatim.c b/glafp-utils/verbatim/verbatim.c
new file mode 100644
index 0000000..033314e
--- /dev/null
+++ b/glafp-utils/verbatim/verbatim.c
@@ -0,0 +1,540 @@
+# include "stdio.h"
+# define U(x) x
+# define NLSTATE yyprevious=YYNEWLINE
+# define BEGIN yybgin = yysvec + 1 +
+# define INITIAL 0
+# define YYLERR yysvec
+# define YYSTATE (yyestate-yysvec-1)
+# define YYOPTIM 1
+# define YYLMAX BUFSIZ
+# define output(c) putc(c,yyout)
+# define input() (((yytchar=yysptr>yysbuf?U(*--yysptr):getc(yyin))==10?(yylineno++,yytchar):yytchar)==EOF?0:yytchar)
+# define unput(c) {yytchar= (c);if(yytchar=='\n')yylineno--;*yysptr++=yytchar;}
+# define yymore() (yymorfg=1)
+# define ECHO fprintf(yyout, "%s",yytext)
+# define REJECT { nstr = yyreject(); goto yyfussy;}
+int yyleng; extern char yytext[];
+int yymorfg;
+extern char *yysptr, yysbuf[];
+int yytchar;
+FILE *yyin = {stdin}, *yyout = {stdout};
+extern int yylineno;
+struct yysvf { 
+	struct yywork *yystoff;
+	struct yysvf *yyother;
+	int *yystops;};
+struct yysvf *yyestate;
+extern struct yysvf yysvec[], *yybgin;
+  /*	This Lex script acts as a filter to pre-process Latex files.
+	It surrounds groups of lines beginning with a ">" sign, and
+	preceded and followed by a blank line, with \begin{verbatim} 
+	and \end{verbatim}.  The ">" may be preceded by a digit or digit
+	range (eg 4>, 2-5>, 3->); in this case the digits are removed.  
+	They are meant to be used for filtering out versions.
+	It takes words surrounded with @ signs (thus @letrec@) and makes them
+	come out in typewriter font, regardless of the current mode.
+  */
+# define NORM 2
+# define VERB 4
+# define MIRANDA 6
+# define VERBATIM 8
+# define VERBATIMSIM 10
+#define PUSH		states[top++] =
+#define POP		BEGIN states[--top]
+#define yywrap() 	1
+# define YYNEWLINE 10
+yylex(){
+int nstr; extern int yyprevious;
+		int states[256];
+		int top;
+		BEGIN NORM;
+		top = 0;
+while((nstr = yylook()) >= 0)
+yyfussy: switch(nstr){
+case 0:
+if(yywrap()) return(0); break;
+case 1:
+	{ printf ("@"); }
+break;
+case 2:
+		{ printf ("\\mbox{\\tt "); PUSH NORM;  BEGIN VERB; }
+break;
+case 3:
+		{ printf ("}");  POP; }
+break;
+case 4:
+	{ printf ("}\\\\{}\n\\mbox{\\tt "); }
+break;
+case 5:
+	{ printf ("\\ "); }
+break;
+case 6:
+	{ printf ("@"); }
+break;
+case 7:
+	{ printf ("{\\char'43}"); }
+break;
+case 8:
+	{ printf ("{\\char'44}"); }
+break;
+case 9:
+	{ printf ("{\\char'45}"); }
+break;
+case 10:
+	{ printf ("{\\char'46}"); }
+break;
+case 11:
+	{ printf ("{\\char'176}"); }
+break;
+case 12:
+	{ printf ("{\\char'137}"); }
+break;
+case 13:
+	{ printf ("{\\char'136}"); }
+break;
+case 14:
+	{ printf ("{\\char'134}"); }
+break;
+case 15:
+	{ printf ("{\\char'173}"); }
+break;
+case 16:
+	{ printf ("{\\char'175}"); }
+break;
+case 17:
+	{ printf( "\\begin{verbatim}\n" ); 
+			  PUSH NORM; BEGIN VERBATIMSIM; }
+break;
+case 18:
+{ printf( "\\end{verbatim}\n" ); POP; }
+break;
+case 19:
+{ printf( "\\begin{verbatim}" ); 
+				  PUSH NORM; BEGIN VERBATIM; }
+break;
+case 20:
+{ printf( "\\end{verbatim}" ); POP; }
+break;
+case 21:
+{ printf ("\\begin{verbatim}\n>" ); 
+			  PUSH NORM; BEGIN MIRANDA; }
+break;
+case 22:
+{ printf( "\n>" ); }
+break;
+case 23:
+	{ printf ("\\end{verbatim}\n"); POP; }
+break;
+case -1:
+break;
+default:
+fprintf(yyout,"bad switch yylook %d",nstr);
+} return(0); }
+/* end of yylex */
+int
+main()
+{
+    yylex();
+    return(0);
+}
+int yyvstop[] = {
+0,
+
+2,
+0,
+
+2,
+0,
+
+4,
+0,
+
+5,
+0,
+
+7,
+0,
+
+8,
+0,
+
+9,
+0,
+
+10,
+0,
+
+3,
+0,
+
+14,
+0,
+
+13,
+0,
+
+12,
+0,
+
+15,
+0,
+
+16,
+0,
+
+11,
+0,
+
+23,
+0,
+
+1,
+0,
+
+21,
+0,
+
+17,
+0,
+
+6,
+0,
+
+22,
+0,
+
+18,
+0,
+
+20,
+0,
+
+19,
+0,
+0};
+# define YYTYPE char
+struct yywork { YYTYPE verify, advance; } yycrank[] = {
+0,0,	0,0,	0,0,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+4,15,	5,17,	7,30,	8,31,	
+33,43,	0,0,	0,0,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+0,0,	0,0,	16,38,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+0,0,	0,0,	0,0,	5,18,	
+0,0,	0,0,	5,19,	5,20,	
+5,21,	5,22,	0,0,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+36,45,	40,46,	0,0,	45,45,	
+45,45,	45,45,	45,45,	45,45,	
+45,45,	45,45,	45,45,	45,45,	
+45,45,	0,0,	0,0,	0,0,	
+0,0,	3,13,	4,16,	5,23,	
+12,33,	13,34,	15,36,	15,36,	
+15,36,	15,36,	15,36,	15,36,	
+15,36,	15,36,	15,36,	15,36,	
+16,34,	23,39,	0,0,	0,0,	
+15,37,	0,0,	0,0,	0,0,	
+0,0,	0,0,	0,0,	0,0,	
+0,0,	3,14,	4,14,	5,24,	
+9,32,	5,25,	5,26,	0,0,	
+0,0,	14,35,	30,40,	30,40,	
+30,40,	30,40,	30,40,	30,40,	
+30,40,	30,40,	30,40,	30,40,	
+32,42,	35,44,	42,47,	44,48,	
+30,41,	47,49,	48,50,	53,55,	
+56,58,	57,59,	59,61,	60,62,	
+50,52,	62,64,	5,27,	63,65,	
+5,28,	5,29,	46,46,	46,46,	
+46,46,	46,46,	46,46,	46,46,	
+46,46,	46,46,	46,46,	46,46,	
+49,51,	51,53,	52,54,	54,56,	
+55,57,	58,60,	61,63,	64,66,	
+65,67,	66,68,	67,69,	68,70,	
+70,71,	0,0,	0,0,	0,0,	
+0,0};
+struct yysvf yysvec[] = {
+0,	0,	0,
+yycrank+0,	0,		0,	
+yycrank+0,	0,		0,	
+yycrank+1,	0,		0,	
+yycrank+2,	0,		0,	
+yycrank+3,	0,		0,	
+yycrank+0,	yysvec+5,	0,	
+yycrank+4,	0,		0,	
+yycrank+5,	0,		0,	
+yycrank+4,	0,		0,	
+yycrank+0,	yysvec+9,	0,	
+yycrank+0,	0,		0,	
+yycrank+4,	0,		0,	
+yycrank+5,	0,		yyvstop+1,
+yycrank+3,	0,		0,	
+yycrank+22,	0,		0,	
+yycrank+16,	0,		yyvstop+3,
+yycrank+0,	0,		yyvstop+5,
+yycrank+0,	0,		yyvstop+7,
+yycrank+0,	0,		yyvstop+9,
+yycrank+0,	0,		yyvstop+11,
+yycrank+0,	0,		yyvstop+13,
+yycrank+0,	0,		yyvstop+15,
+yycrank+17,	0,		yyvstop+17,
+yycrank+0,	0,		yyvstop+19,
+yycrank+0,	0,		yyvstop+21,
+yycrank+0,	0,		yyvstop+23,
+yycrank+0,	0,		yyvstop+25,
+yycrank+0,	0,		yyvstop+27,
+yycrank+0,	0,		yyvstop+29,
+yycrank+54,	0,		0,	
+yycrank+0,	yysvec+30,	yyvstop+31,
+yycrank+11,	0,		0,	
+yycrank+6,	0,		0,	
+yycrank+0,	0,		yyvstop+33,
+yycrank+12,	0,		0,	
+yycrank+3,	yysvec+15,	0,	
+yycrank+0,	0,		yyvstop+35,
+yycrank+0,	0,		yyvstop+37,
+yycrank+0,	0,		yyvstop+39,
+yycrank+4,	yysvec+30,	0,	
+yycrank+0,	0,		yyvstop+41,
+yycrank+4,	0,		0,	
+yycrank+0,	0,		yyvstop+43,
+yycrank+12,	0,		0,	
+yycrank+3,	yysvec+15,	0,	
+yycrank+82,	yysvec+30,	0,	
+yycrank+17,	0,		0,	
+yycrank+13,	0,		0,	
+yycrank+17,	0,		0,	
+yycrank+14,	0,		0,	
+yycrank+23,	0,		0,	
+yycrank+19,	0,		0,	
+yycrank+18,	0,		0,	
+yycrank+25,	0,		0,	
+yycrank+30,	0,		0,	
+yycrank+19,	0,		0,	
+yycrank+23,	0,		0,	
+yycrank+31,	0,		0,	
+yycrank+25,	0,		0,	
+yycrank+25,	0,		0,	
+yycrank+30,	0,		0,	
+yycrank+28,	0,		0,	
+yycrank+22,	0,		0,	
+yycrank+31,	0,		0,	
+yycrank+39,	0,		0,	
+yycrank+44,	0,		0,	
+yycrank+25,	0,		0,	
+yycrank+42,	0,		0,	
+yycrank+0,	0,		yyvstop+45,
+yycrank+27,	0,		0,	
+yycrank+0,	0,		yyvstop+47,
+0,	0,	0};
+struct yywork *yytop = yycrank+152;
+struct yysvf *yybgin = yysvec+1;
+char yymatch[] = {
+00  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,
+'0' ,'0' ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+01  ,01  ,01  ,01  ,01  ,01  ,01  ,01  ,
+0};
+char yyextra[] = {
+0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,
+0};
+#ifndef lint
+static	char ncform_sccsid[] = "@(#)ncform 1.6 88/02/08 SMI"; /* from S5R2 1.2 */
+#endif
+
+int yylineno =1;
+# define YYU(x) x
+# define NLSTATE yyprevious=YYNEWLINE
+char yytext[YYLMAX];
+struct yysvf *yylstate [YYLMAX], **yylsp, **yyolsp;
+char yysbuf[YYLMAX];
+char *yysptr = yysbuf;
+int *yyfnd;
+extern struct yysvf *yyestate;
+int yyprevious = YYNEWLINE;
+yylook(){
+	register struct yysvf *yystate, **lsp;
+	register struct yywork *yyt;
+	struct yysvf *yyz;
+	int yych, yyfirst;
+	struct yywork *yyr;
+# ifdef LEXDEBUG
+	int debug;
+# endif
+	char *yylastch;
+	/* start off machines */
+# ifdef LEXDEBUG
+	debug = 0;
+# endif
+	yyfirst=1;
+	if (!yymorfg)
+		yylastch = yytext;
+	else {
+		yymorfg=0;
+		yylastch = yytext+yyleng;
+		}
+	for(;;){
+		lsp = yylstate;
+		yyestate = yystate = yybgin;
+		if (yyprevious==YYNEWLINE) yystate++;
+		for (;;){
+# ifdef LEXDEBUG
+			if(debug)fprintf(yyout,"state %d\n",yystate-yysvec-1);
+# endif
+			yyt = yystate->yystoff;
+			if(yyt == yycrank && !yyfirst){  /* may not be any transitions */
+				yyz = yystate->yyother;
+				if(yyz == 0)break;
+				if(yyz->yystoff == yycrank)break;
+				}
+			*yylastch++ = yych = input();
+			yyfirst=0;
+		tryagain:
+# ifdef LEXDEBUG
+			if(debug){
+				fprintf(yyout,"char ");
+				allprint(yych);
+				putchar('\n');
+				}
+# endif
+			yyr = yyt;
+			if ( (int)yyt > (int)yycrank){
+				yyt = yyr + yych;
+				if (yyt <= yytop && yyt->verify+yysvec == yystate){
+					if(yyt->advance+yysvec == YYLERR)	/* error transitions */
+						{unput(*--yylastch);break;}
+					*lsp++ = yystate = yyt->advance+yysvec;
+					goto contin;
+					}
+				}
+# ifdef YYOPTIM
+			else if((int)yyt < (int)yycrank) {		/* r < yycrank */
+				yyt = yyr = yycrank+(yycrank-yyt);
+# ifdef LEXDEBUG
+				if(debug)fprintf(yyout,"compressed state\n");
+# endif
+				yyt = yyt + yych;
+				if(yyt <= yytop && yyt->verify+yysvec == yystate){
+					if(yyt->advance+yysvec == YYLERR)	/* error transitions */
+						{unput(*--yylastch);break;}
+					*lsp++ = yystate = yyt->advance+yysvec;
+					goto contin;
+					}
+				yyt = yyr + YYU(yymatch[yych]);
+# ifdef LEXDEBUG
+				if(debug){
+					fprintf(yyout,"try fall back character ");
+					allprint(YYU(yymatch[yych]));
+					putchar('\n');
+					}
+# endif
+				if(yyt <= yytop && yyt->verify+yysvec == yystate){
+					if(yyt->advance+yysvec == YYLERR)	/* error transition */
+						{unput(*--yylastch);break;}
+					*lsp++ = yystate = yyt->advance+yysvec;
+					goto contin;
+					}
+				}
+			if ((yystate = yystate->yyother) && (yyt= yystate->yystoff) != yycrank){
+# ifdef LEXDEBUG
+				if(debug)fprintf(yyout,"fall back to state %d\n",yystate-yysvec-1);
+# endif
+				goto tryagain;
+				}
+# endif
+			else
+				{unput(*--yylastch);break;}
+		contin:
+# ifdef LEXDEBUG
+			if(debug){
+				fprintf(yyout,"state %d char ",yystate-yysvec-1);
+				allprint(yych);
+				putchar('\n');
+				}
+# endif
+			;
+			}
+# ifdef LEXDEBUG
+		if(debug){
+			fprintf(yyout,"stopped at %d with ",*(lsp-1)-yysvec-1);
+			allprint(yych);
+			putchar('\n');
+			}
+# endif
+		while (lsp-- > yylstate){
+			*yylastch-- = 0;
+			if (*lsp != 0 && (yyfnd= (*lsp)->yystops) && *yyfnd > 0){
+				yyolsp = lsp;
+				if(yyextra[*yyfnd]){		/* must backup */
+					while(yyback((*lsp)->yystops,-*yyfnd) != 1 && lsp > yylstate){
+						lsp--;
+						unput(*yylastch--);
+						}
+					}
+				yyprevious = YYU(*yylastch);
+				yylsp = lsp;
+				yyleng = yylastch-yytext+1;
+				yytext[yyleng] = 0;
+# ifdef LEXDEBUG
+				if(debug){
+					fprintf(yyout,"\nmatch ");
+					sprint(yytext);
+					fprintf(yyout," action %d\n",*yyfnd);
+					}
+# endif
+				return(*yyfnd++);
+				}
+			unput(*yylastch);
+			}
+		if (yytext[0] == 0  /* && feof(yyin) */)
+			{
+			yysptr=yysbuf;
+			return(0);
+			}
+		yyprevious = yytext[0] = input();
+		if (yyprevious>0)
+			output(yyprevious);
+		yylastch=yytext;
+# ifdef LEXDEBUG
+		if(debug)putchar('\n');
+# endif
+		}
+	}
+yyback(p, m)
+	int *p;
+{
+if (p==0) return(0);
+while (*p)
+	{
+	if (*p++ == m)
+		return(1);
+	}
+return(0);
+}
+	/* the following are only used in the lex library */
+yyinput(){
+	return(input());
+	}
+yyoutput(c)
+  int c; {
+	output(c);
+	}
+yyunput(c)
+   int c; {
+	unput(c);
+	}