xref: /plan9/sys/src/cmd/eqn/input.c (revision 7dd7cddf99dd7472612f1413b4da293630e6b1bc)
13e12c5d1SDavid du Colombier #include "e.h"
23e12c5d1SDavid du Colombier #include "y.tab.h"
33e12c5d1SDavid du Colombier #include <ctype.h>
43e12c5d1SDavid du Colombier #include <errno.h>
53e12c5d1SDavid du Colombier 
63e12c5d1SDavid du Colombier Infile	infile[10];
73e12c5d1SDavid du Colombier Infile	*curfile = infile;
83e12c5d1SDavid du Colombier 
93e12c5d1SDavid du Colombier #define	MAXSRC	50
103e12c5d1SDavid du Colombier Src	src[MAXSRC];	/* input source stack */
113e12c5d1SDavid du Colombier Src	*srcp	= src;
123e12c5d1SDavid du Colombier 
133e12c5d1SDavid du Colombier extern int getarg(char *);
143e12c5d1SDavid du Colombier extern	void eprint(void);
153e12c5d1SDavid du Colombier 
pushsrc(int type,char * ptr)163e12c5d1SDavid du Colombier void pushsrc(int type, char *ptr)	/* new input source */
173e12c5d1SDavid du Colombier {
183e12c5d1SDavid du Colombier 	if (++srcp >= src + MAXSRC)
193e12c5d1SDavid du Colombier 		ERROR "inputs nested too deep" FATAL;
203e12c5d1SDavid du Colombier 	srcp->type = type;
213e12c5d1SDavid du Colombier 	srcp->sp = ptr;
223e12c5d1SDavid du Colombier 	if (dbg > 1) {
233e12c5d1SDavid du Colombier 		printf("\n%3d ", srcp - src);
243e12c5d1SDavid du Colombier 		switch (srcp->type) {
253e12c5d1SDavid du Colombier 		case File:
263e12c5d1SDavid du Colombier 			printf("push file %s\n", ((Infile *)ptr)->fname);
273e12c5d1SDavid du Colombier 			break;
283e12c5d1SDavid du Colombier 		case Macro:
293e12c5d1SDavid du Colombier 			printf("push macro <%s>\n", ptr);
303e12c5d1SDavid du Colombier 			break;
313e12c5d1SDavid du Colombier 		case Char:
323e12c5d1SDavid du Colombier 			printf("push char <%c>\n", *ptr);
333e12c5d1SDavid du Colombier 			break;
343e12c5d1SDavid du Colombier 		case String:
353e12c5d1SDavid du Colombier 			printf("push string <%s>\n", ptr);
363e12c5d1SDavid du Colombier 			break;
373e12c5d1SDavid du Colombier 		case Free:
383e12c5d1SDavid du Colombier 			printf("push free <%s>\n", ptr);
393e12c5d1SDavid du Colombier 			break;
403e12c5d1SDavid du Colombier 		default:
413e12c5d1SDavid du Colombier 			ERROR "pushed bad type %d\n", srcp->type FATAL;
423e12c5d1SDavid du Colombier 		}
433e12c5d1SDavid du Colombier 	}
443e12c5d1SDavid du Colombier }
453e12c5d1SDavid du Colombier 
popsrc(void)463e12c5d1SDavid du Colombier void popsrc(void)	/* restore an old one */
473e12c5d1SDavid du Colombier {
483e12c5d1SDavid du Colombier 	if (srcp <= src)
493e12c5d1SDavid du Colombier 		ERROR "too many inputs popped" FATAL;
503e12c5d1SDavid du Colombier 	if (dbg > 1) {
513e12c5d1SDavid du Colombier 		printf("%3d ", srcp - src);
523e12c5d1SDavid du Colombier 		switch (srcp->type) {
533e12c5d1SDavid du Colombier 		case File:
543e12c5d1SDavid du Colombier 			printf("pop file\n");
553e12c5d1SDavid du Colombier 			break;
563e12c5d1SDavid du Colombier 		case Macro:
573e12c5d1SDavid du Colombier 			printf("pop macro\n");
583e12c5d1SDavid du Colombier 			break;
593e12c5d1SDavid du Colombier 		case Char:
603e12c5d1SDavid du Colombier 			printf("pop char <%c>\n", *srcp->sp);
613e12c5d1SDavid du Colombier 			break;
623e12c5d1SDavid du Colombier 		case String:
633e12c5d1SDavid du Colombier 			printf("pop string\n");
643e12c5d1SDavid du Colombier 			break;
653e12c5d1SDavid du Colombier 		case Free:
663e12c5d1SDavid du Colombier 			printf("pop free\n");
673e12c5d1SDavid du Colombier 			break;
683e12c5d1SDavid du Colombier 		default:
693e12c5d1SDavid du Colombier 			ERROR "pop weird input %d\n", srcp->type FATAL;
703e12c5d1SDavid du Colombier 		}
713e12c5d1SDavid du Colombier 	}
723e12c5d1SDavid du Colombier 	srcp--;
733e12c5d1SDavid du Colombier }
743e12c5d1SDavid du Colombier 
753e12c5d1SDavid du Colombier Arg	args[10];	/* argument frames */
763e12c5d1SDavid du Colombier Arg	*argfp = args;	/* frame pointer */
773e12c5d1SDavid du Colombier int	argcnt;		/* number of arguments seen so far */
783e12c5d1SDavid du Colombier 
dodef(tbl * stp)793e12c5d1SDavid du Colombier void dodef(tbl *stp)	/* collect args and switch input to defn */
803e12c5d1SDavid du Colombier {
813e12c5d1SDavid du Colombier 	int i, len;
823e12c5d1SDavid du Colombier 	char *p;
833e12c5d1SDavid du Colombier 	Arg *ap;
843e12c5d1SDavid du Colombier 
853e12c5d1SDavid du Colombier 	ap = argfp+1;
863e12c5d1SDavid du Colombier 	if (ap >= args+10)
873e12c5d1SDavid du Colombier 		ERROR "more than arguments\n" FATAL;
883e12c5d1SDavid du Colombier 	argcnt = 0;
893e12c5d1SDavid du Colombier 	if (input() != '(')
903e12c5d1SDavid du Colombier 		ERROR "disaster in dodef\n"FATAL;
913e12c5d1SDavid du Colombier 	if (ap->argval == 0)
923e12c5d1SDavid du Colombier 		ap->argval = malloc(1000);
933e12c5d1SDavid du Colombier 	for (p = ap->argval; (len = getarg(p)) != -1; p += len) {
943e12c5d1SDavid du Colombier 		ap->argstk[argcnt++] = p;
953e12c5d1SDavid du Colombier 		if (input() == ')')
963e12c5d1SDavid du Colombier 			break;
973e12c5d1SDavid du Colombier 	}
983e12c5d1SDavid du Colombier 	for (i = argcnt; i < MAXARGS; i++)
993e12c5d1SDavid du Colombier 		ap->argstk[i] = "";
1003e12c5d1SDavid du Colombier 	if (dbg)
1013e12c5d1SDavid du Colombier 		for (i = 0; i < argcnt; i++)
1023e12c5d1SDavid du Colombier 			printf("arg %d.%d = <%s>\n", ap-args, i+1, ap->argstk[i]);
1033e12c5d1SDavid du Colombier 	argfp = ap;
1043e12c5d1SDavid du Colombier 	pushsrc(Macro, stp->cval);
1053e12c5d1SDavid du Colombier }
1063e12c5d1SDavid du Colombier 
getarg(char * p)1073e12c5d1SDavid du Colombier getarg(char *p)	/* pick up single argument, store in p, return length */
1083e12c5d1SDavid du Colombier {
1093e12c5d1SDavid du Colombier 	int n, c, npar;
1103e12c5d1SDavid du Colombier 
1113e12c5d1SDavid du Colombier 	n = npar = 0;
1123e12c5d1SDavid du Colombier 	for ( ;; ) {
1133e12c5d1SDavid du Colombier 		c = input();
1143e12c5d1SDavid du Colombier 		if (c == EOF)
1153e12c5d1SDavid du Colombier 			ERROR "end of file in getarg!\n" FATAL;
1163e12c5d1SDavid du Colombier 		if (npar == 0 && (c == ',' || c == ')'))
1173e12c5d1SDavid du Colombier 			break;
1183e12c5d1SDavid du Colombier 		if (c == '"')	/* copy quoted stuff intact */
1193e12c5d1SDavid du Colombier 			do {
1203e12c5d1SDavid du Colombier 				*p++ = c;
1213e12c5d1SDavid du Colombier 				n++;
1223e12c5d1SDavid du Colombier 			} while ((c = input()) != '"' && c != EOF);
1233e12c5d1SDavid du Colombier 		else if (c == '(')
1243e12c5d1SDavid du Colombier 			npar++;
1253e12c5d1SDavid du Colombier 		else if (c == ')')
1263e12c5d1SDavid du Colombier 			npar--;
1273e12c5d1SDavid du Colombier 		n++;
1283e12c5d1SDavid du Colombier 		*p++ = c;
1293e12c5d1SDavid du Colombier 	}
1303e12c5d1SDavid du Colombier 	*p = 0;
1313e12c5d1SDavid du Colombier 	unput(c);
1323e12c5d1SDavid du Colombier 	return(n + 1);
1333e12c5d1SDavid du Colombier }
1343e12c5d1SDavid du Colombier 
1353e12c5d1SDavid du Colombier #define	PBSIZE	2000
1363e12c5d1SDavid du Colombier char	pbuf[PBSIZE];		/* pushback buffer */
1373e12c5d1SDavid du Colombier char	*pb	= pbuf-1;	/* next pushed back character */
1383e12c5d1SDavid du Colombier 
1393e12c5d1SDavid du Colombier char	ebuf[200];		/* collect input here for error reporting */
1403e12c5d1SDavid du Colombier char	*ep	= ebuf;
1413e12c5d1SDavid du Colombier 
input(void)1423e12c5d1SDavid du Colombier input(void)
1433e12c5d1SDavid du Colombier {
1443e12c5d1SDavid du Colombier 	register int c = 0;
1453e12c5d1SDavid du Colombier 
1463e12c5d1SDavid du Colombier   loop:
1473e12c5d1SDavid du Colombier 	switch (srcp->type) {
1483e12c5d1SDavid du Colombier 	case File:
1493e12c5d1SDavid du Colombier 		c = getc(curfile->fin);
1503e12c5d1SDavid du Colombier 		if (c == EOF) {
1513e12c5d1SDavid du Colombier 			if (curfile == infile)
1523e12c5d1SDavid du Colombier 				break;
1533e12c5d1SDavid du Colombier 			if (curfile->fin != stdin) {
1543e12c5d1SDavid du Colombier 				fclose(curfile->fin);
1553e12c5d1SDavid du Colombier 				free(curfile->fname);	/* assumes allocated */
1563e12c5d1SDavid du Colombier 			}
1573e12c5d1SDavid du Colombier 			curfile--;
1583e12c5d1SDavid du Colombier 			printf(".lf %d %s\n", curfile->lineno, curfile->fname);
1593e12c5d1SDavid du Colombier 			popsrc();
1603e12c5d1SDavid du Colombier 			goto loop;
1613e12c5d1SDavid du Colombier 		}
1623e12c5d1SDavid du Colombier 		if (c == '\n')
1633e12c5d1SDavid du Colombier 			curfile->lineno++;
1643e12c5d1SDavid du Colombier 		break;
1653e12c5d1SDavid du Colombier 	case Char:
1663e12c5d1SDavid du Colombier 		if (pb >= pbuf) {
1673e12c5d1SDavid du Colombier 			c = *pb--;
1683e12c5d1SDavid du Colombier 			popsrc();
1693e12c5d1SDavid du Colombier 			break;
1703e12c5d1SDavid du Colombier 		} else {	/* can't happen? */
1713e12c5d1SDavid du Colombier 			popsrc();
1723e12c5d1SDavid du Colombier 			goto loop;
1733e12c5d1SDavid du Colombier 		}
1743e12c5d1SDavid du Colombier 	case String:
1753e12c5d1SDavid du Colombier 		c = *srcp->sp++;
1763e12c5d1SDavid du Colombier 		if (c == '\0') {
1773e12c5d1SDavid du Colombier 			popsrc();
1783e12c5d1SDavid du Colombier 			goto loop;
1793e12c5d1SDavid du Colombier 		} else {
1803e12c5d1SDavid du Colombier 			if (*srcp->sp == '\0')	/* empty, so pop */
1813e12c5d1SDavid du Colombier 				popsrc();
1823e12c5d1SDavid du Colombier 			break;
1833e12c5d1SDavid du Colombier 		}
1843e12c5d1SDavid du Colombier 	case Macro:
1853e12c5d1SDavid du Colombier 		c = *srcp->sp++;
1863e12c5d1SDavid du Colombier 		if (c == '\0') {
1873e12c5d1SDavid du Colombier 			if (--argfp < args)
1883e12c5d1SDavid du Colombier 				ERROR "argfp underflow" FATAL;
1893e12c5d1SDavid du Colombier 			popsrc();
1903e12c5d1SDavid du Colombier 			goto loop;
1913e12c5d1SDavid du Colombier 		} else if (c == '$' && isdigit(*srcp->sp)) {
1923e12c5d1SDavid du Colombier 			int n = 0;
1933e12c5d1SDavid du Colombier 			while (isdigit(*srcp->sp))
1943e12c5d1SDavid du Colombier 				n = 10 * n + *srcp->sp++ - '0';
1953e12c5d1SDavid du Colombier 			if (n > 0 && n <= MAXARGS)
1963e12c5d1SDavid du Colombier 				pushsrc(String, argfp->argstk[n-1]);
1973e12c5d1SDavid du Colombier 			goto loop;
1983e12c5d1SDavid du Colombier 		}
1993e12c5d1SDavid du Colombier 		break;
2003e12c5d1SDavid du Colombier 	case Free:	/* free string */
2013e12c5d1SDavid du Colombier 		free(srcp->sp);
2023e12c5d1SDavid du Colombier 		popsrc();
2033e12c5d1SDavid du Colombier 		goto loop;
2043e12c5d1SDavid du Colombier 	}
2053e12c5d1SDavid du Colombier 	if (ep >= ebuf + sizeof ebuf)
2063e12c5d1SDavid du Colombier 		ep = ebuf;
2073e12c5d1SDavid du Colombier 	*ep++ = c;
2083e12c5d1SDavid du Colombier 	return c;
2093e12c5d1SDavid du Colombier }
2103e12c5d1SDavid du Colombier 
2113e12c5d1SDavid du Colombier 
unput(int c)2123e12c5d1SDavid du Colombier unput(int c)
2133e12c5d1SDavid du Colombier {
2143e12c5d1SDavid du Colombier 	if (++pb >= pbuf + sizeof pbuf)
2153e12c5d1SDavid du Colombier 		ERROR "pushback overflow\n"FATAL;
2163e12c5d1SDavid du Colombier 	if (--ep < ebuf)
2173e12c5d1SDavid du Colombier 		ep = ebuf + sizeof(ebuf) - 1;
2183e12c5d1SDavid du Colombier 	*pb = c;
2193e12c5d1SDavid du Colombier 	pushsrc(Char, pb);
2203e12c5d1SDavid du Colombier 	return c;
2213e12c5d1SDavid du Colombier }
2223e12c5d1SDavid du Colombier 
pbstr(char * s)2233e12c5d1SDavid du Colombier void pbstr(char *s)
2243e12c5d1SDavid du Colombier {
2253e12c5d1SDavid du Colombier 	pushsrc(String, s);
2263e12c5d1SDavid du Colombier }
2273e12c5d1SDavid du Colombier 
error(int die,char * s)2283e12c5d1SDavid du Colombier void error(int die, char *s)
2293e12c5d1SDavid du Colombier {
2303e12c5d1SDavid du Colombier 	extern char *cmdname;
2313e12c5d1SDavid du Colombier 
2323e12c5d1SDavid du Colombier 	if (synerr)
2333e12c5d1SDavid du Colombier 		return;
2343e12c5d1SDavid du Colombier 	fprintf(stderr, "%s: ", cmdname);
2353e12c5d1SDavid du Colombier 	fprintf(stderr, s);
2363e12c5d1SDavid du Colombier 	if (errno > 0)
2373e12c5d1SDavid du Colombier 		perror("???");
2383e12c5d1SDavid du Colombier 	if (curfile->fin)
239*7dd7cddfSDavid du Colombier 		fprintf(stderr, " near %s:%d",
240*7dd7cddfSDavid du Colombier 			curfile->fname, curfile->lineno+1);
2413e12c5d1SDavid du Colombier 	fprintf(stderr, "\n");
2423e12c5d1SDavid du Colombier 	eprint();
2433e12c5d1SDavid du Colombier 	synerr = 1;
2443e12c5d1SDavid du Colombier 	errno = 0;
2453e12c5d1SDavid du Colombier 	if (die) {
2463e12c5d1SDavid du Colombier 		if (dbg)
2473e12c5d1SDavid du Colombier 			abort();
2483e12c5d1SDavid du Colombier 		else
2493e12c5d1SDavid du Colombier 			exit(1);
2503e12c5d1SDavid du Colombier 	}
2513e12c5d1SDavid du Colombier }
2523e12c5d1SDavid du Colombier 
yyerror(char * s)2533e12c5d1SDavid du Colombier void yyerror(char *s)
2543e12c5d1SDavid du Colombier {
2553e12c5d1SDavid du Colombier 	error(0, s);	/* temporary */
2563e12c5d1SDavid du Colombier }
2573e12c5d1SDavid du Colombier 
2583e12c5d1SDavid du Colombier char errbuf[200];
2593e12c5d1SDavid du Colombier 
eprint(void)2603e12c5d1SDavid du Colombier void eprint(void)	/* try to print context around error */
2613e12c5d1SDavid du Colombier {
2623e12c5d1SDavid du Colombier 	char *p, *q;
2633e12c5d1SDavid du Colombier 
2643e12c5d1SDavid du Colombier 	if (ep == ebuf)
2653e12c5d1SDavid du Colombier 		return;				/* no context */
2663e12c5d1SDavid du Colombier 	p = ep - 1;
2673e12c5d1SDavid du Colombier 	if (p > ebuf && *p == '\n')
2683e12c5d1SDavid du Colombier 		p--;
2693e12c5d1SDavid du Colombier 	for ( ; p >= ebuf && *p != '\n'; p--)
2703e12c5d1SDavid du Colombier 		;
2713e12c5d1SDavid du Colombier 	while (*p == '\n')
2723e12c5d1SDavid du Colombier 		p++;
2733e12c5d1SDavid du Colombier 	fprintf(stderr, " context is\n\t");
2743e12c5d1SDavid du Colombier 	for (q=ep-1; q>=p && *q!=' ' && *q!='\t' && *q!='\n'; q--)
2753e12c5d1SDavid du Colombier 		;
2763e12c5d1SDavid du Colombier 	while (p < q)
2773e12c5d1SDavid du Colombier 		putc(*p++, stderr);
2783e12c5d1SDavid du Colombier 	fprintf(stderr, " >>> ");
2793e12c5d1SDavid du Colombier 	while (p < ep)
2803e12c5d1SDavid du Colombier 		putc(*p++, stderr);
2813e12c5d1SDavid du Colombier 	fprintf(stderr, " <<< ");
2823e12c5d1SDavid du Colombier 	while (pb >= pbuf)
2833e12c5d1SDavid du Colombier 		putc(*pb--, stderr);
2843e12c5d1SDavid du Colombier 	if (curfile->fin)
2853e12c5d1SDavid du Colombier 		fgets(ebuf, sizeof ebuf, curfile->fin);
2863e12c5d1SDavid du Colombier 	fprintf(stderr, "%s", ebuf);
2873e12c5d1SDavid du Colombier 	pbstr("\n.EN\n");	/* safety first */
2883e12c5d1SDavid du Colombier 	ep = ebuf;
2893e12c5d1SDavid du Colombier }
290