DataMuseum.dk

top - metrics - download

    Length: 1316 (0x524)
    Types: TextFile
    Names: »destex.l«

└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
    └─⟦this⟧ »./babel/swedish/SLaTeX/spell/destex.l« 
└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
    └─⟦23cd347d5⟧ »unix3.0/babel.tar.Z« 
        └─⟦2fb9f645a⟧ 
            └─⟦this⟧ »babel/swedish/SLaTeX/spell/destex.l« 

TextFile

/* Make this with:  lex detex.lex;  cc lex.yy.c -ll -o detex */
L [A-Za-z}{|\]\[\\]
%Start Display Normal
%%
<Normal>\'	{yyleng--; yymore(); /* ignore apostrophes */}
<Normal>{L}+!- {yyleng-=2; yymore(); /* ignore hyphens */}
<Normal>[a-z]/[^A-Za-z] ; /* ignore single letter "words" */
<Normal>[A-Z]+	; /* ignore words all in uppercase */
<Normal>{L}+('{L}*)*{L}	{printf("%s\n",yytext); /* any other letter seq is a word */} 
<Normal>!.	; /* ignore single character control sequences */
<Normal>!\n	; /* more of the same */
<Normal>"%".*	; /* ignore comments */
<Normal>!{L}+	; /* ignore other control sequences */
<Normal>[0-9]+	; /* ignore numbers */
<Normal,Display>\$([^$]|!\$)+\$	;  /* ignore things in math mode */
<Normal>\$\$		BEGIN Display; /* now in Display math mode */
<Display>[^$]|!\$|!!	; /* ignore most things in display math mode */
<Display>\$\$	BEGIN Normal; /* get out of Display math mode */
<Normal>\n|.	; /* ignore anything else, a character at a time */
%%
main(argc,argv)
	char **argv;
{
	int i;
	
	BEGIN Normal; /* Starts yylex off in the right state */
	if (argc==1) {
	    yyin = stdin;
	    yylex();
	    }
	else for (i=1; i<argc; i++) {
	    yyin = fopen(argv[i],"r");
	    if (yyin==NULL) {
		fprintf(stderr,"can't open %s\n",argv[i]);
		exit(1);
		}
	    yylex();
	    }
	exit(0);
}