Commit 32d805b3 authored by sof's avatar sof

[project @ 1997-03-23 22:01:13 by sof]

Resurrected
parent a5db3342
BuildPgmFromCFiles(verbatim,verbatim.o,$(LEX_LIB),)
InstallBinaryTarget(verbatim,$(INSTBINDIR))
CDependTarget( $(SRCS_C) )
TOP=..
include $(TOP)/mk/boilerplate.mk
C_SRCS = verbatim.c
C_PROG = verbatim
LIBS = $(FLEX_LIB)
#
# For src distributions, include flex output.
#
SRC_DIST_FILES += verbatim.c
include $(TOP)/mk/target.mk
# 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);
}
/* 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.
*/
%START NORM VERB MIRANDA VERBATIM VERBATIMSIM
sp [ \t]*
nl {sp}\n{sp}
miranda ([0-9]+(\-([0-9]+)?)?)?>
%{
#define PUSH states[top++] =
#define POP BEGIN states[--top]
#define yywrap() 1
%}
%%
int states[256];
int top;
BEGIN NORM;
top = 0;
<NORM>@@ { printf ("@"); }
<NORM>@ { printf ("\\mbox{\\tt "); PUSH NORM; BEGIN VERB; }
<VERB>@ { printf ("}"); POP; }
<VERB>\n { printf ("}\\\\{}\n\\mbox{\\tt "); }
<VERB>" " { printf ("\\ "); }
<VERB>@@ { printf ("@"); }
<VERB>\# { printf ("{\\char'43}"); }
<VERB>\$ { printf ("{\\char'44}"); }
<VERB>\% { printf ("{\\char'45}"); }
<VERB>\& { printf ("{\\char'46}"); }
<VERB>\~ { printf ("{\\char'176}"); }
<VERB>\_ { printf ("{\\char'137}"); }
<VERB>\^ { printf ("{\\char'136}"); }
<VERB>\\ { printf ("{\\char'134}"); }
<VERB>\{ { printf ("{\\char'173}"); }
<VERB>\} { printf ("{\\char'175}"); }
<NORM>^@\n { printf( "\\begin{verbatim}\n" );
PUSH NORM; BEGIN VERBATIMSIM; }
<VERBATIMSIM>^@\n { printf( "\\end{verbatim}\n" ); POP; }