xref: /dflybsd-src/contrib/mdocml/eqn_term.c (revision 54ba96075f5891e4574304da6ba88f1a1afe520b)
1*54ba9607SSascha Wildner /*	$Id: eqn_term.c,v 1.19 2018/12/13 05:23:38 schwarze Exp $ */
236342e81SSascha Wildner /*
336342e81SSascha Wildner  * Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4*54ba9607SSascha Wildner  * Copyright (c) 2014, 2015, 2017 Ingo Schwarze <schwarze@openbsd.org>
536342e81SSascha Wildner  *
636342e81SSascha Wildner  * Permission to use, copy, modify, and distribute this software for any
736342e81SSascha Wildner  * purpose with or without fee is hereby granted, provided that the above
836342e81SSascha Wildner  * copyright notice and this permission notice appear in all copies.
936342e81SSascha Wildner  *
1036342e81SSascha Wildner  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
1136342e81SSascha Wildner  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1236342e81SSascha Wildner  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
1336342e81SSascha Wildner  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
1436342e81SSascha Wildner  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
1536342e81SSascha Wildner  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
1636342e81SSascha Wildner  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1736342e81SSascha Wildner  */
1836342e81SSascha Wildner #include "config.h"
19*54ba9607SSascha Wildner 
20*54ba9607SSascha Wildner #include <sys/types.h>
2136342e81SSascha Wildner 
2236342e81SSascha Wildner #include <assert.h>
23*54ba9607SSascha Wildner #include <ctype.h>
2436342e81SSascha Wildner #include <stdio.h>
2536342e81SSascha Wildner #include <stdlib.h>
2636342e81SSascha Wildner #include <string.h>
2736342e81SSascha Wildner 
28*54ba9607SSascha Wildner #include "eqn.h"
2936342e81SSascha Wildner #include "out.h"
3036342e81SSascha Wildner #include "term.h"
3136342e81SSascha Wildner 
3236342e81SSascha Wildner static	const enum termfont fontmap[EQNFONT__MAX] = {
3336342e81SSascha Wildner 	TERMFONT_NONE, /* EQNFONT_NONE */
3436342e81SSascha Wildner 	TERMFONT_NONE, /* EQNFONT_ROMAN */
3536342e81SSascha Wildner 	TERMFONT_BOLD, /* EQNFONT_BOLD */
3636342e81SSascha Wildner 	TERMFONT_BOLD, /* EQNFONT_FAT */
3736342e81SSascha Wildner 	TERMFONT_UNDER /* EQNFONT_ITALIC */
3836342e81SSascha Wildner };
3936342e81SSascha Wildner 
4036342e81SSascha Wildner static void	eqn_box(struct termp *, const struct eqn_box *);
4136342e81SSascha Wildner 
42070c62a6SFranco Fichtner 
4336342e81SSascha Wildner void
term_eqn(struct termp * p,const struct eqn_box * bp)44*54ba9607SSascha Wildner term_eqn(struct termp *p, const struct eqn_box *bp)
4536342e81SSascha Wildner {
4636342e81SSascha Wildner 
47*54ba9607SSascha Wildner 	eqn_box(p, bp);
48*54ba9607SSascha Wildner 	p->flags &= ~TERMP_NOSPACE;
4936342e81SSascha Wildner }
5036342e81SSascha Wildner 
5136342e81SSascha Wildner static void
eqn_box(struct termp * p,const struct eqn_box * bp)5236342e81SSascha Wildner eqn_box(struct termp *p, const struct eqn_box *bp)
5336342e81SSascha Wildner {
54*54ba9607SSascha Wildner 	const struct eqn_box *child;
55*54ba9607SSascha Wildner 	const char *cp;
56*54ba9607SSascha Wildner 	int delim;
5736342e81SSascha Wildner 
58*54ba9607SSascha Wildner 	/* Delimiters around this box? */
59*54ba9607SSascha Wildner 
60*54ba9607SSascha Wildner 	if ((bp->type == EQN_LIST && bp->expectargs > 1) ||
61*54ba9607SSascha Wildner 	    (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
62*54ba9607SSascha Wildner 	    (bp->parent != NULL && (bp->parent->pos == EQNPOS_SQRT ||
63*54ba9607SSascha Wildner 	    /* Diacritic followed by ^ or _. */
64*54ba9607SSascha Wildner 	    ((bp->top != NULL || bp->bottom != NULL) &&
65*54ba9607SSascha Wildner 	     bp->parent->type == EQN_SUBEXPR &&
66*54ba9607SSascha Wildner 	     bp->parent->pos != EQNPOS_OVER && bp->next != NULL) ||
67*54ba9607SSascha Wildner 	    /* Nested over, sub, sup, from, to. */
68*54ba9607SSascha Wildner 	    (bp->type == EQN_SUBEXPR && bp->pos != EQNPOS_SQRT &&
69*54ba9607SSascha Wildner 	     ((bp->parent->type == EQN_LIST && bp->expectargs == 1) ||
70*54ba9607SSascha Wildner 	      (bp->parent->type == EQN_SUBEXPR &&
71*54ba9607SSascha Wildner 	       bp->pos != EQNPOS_SQRT)))))) {
72*54ba9607SSascha Wildner 		if ((bp->parent->type == EQN_SUBEXPR && bp->prev != NULL) ||
73*54ba9607SSascha Wildner 		    (bp->type == EQN_LIST &&
74*54ba9607SSascha Wildner 		     bp->first != NULL &&
75*54ba9607SSascha Wildner 		     bp->first->type != EQN_PILE &&
76*54ba9607SSascha Wildner 		     bp->first->type != EQN_MATRIX &&
77*54ba9607SSascha Wildner 		     bp->prev != NULL &&
78*54ba9607SSascha Wildner 		     (bp->prev->type == EQN_LIST ||
79*54ba9607SSascha Wildner 		      (bp->prev->type == EQN_TEXT &&
80*54ba9607SSascha Wildner 		       (*bp->prev->text == '\\' ||
81*54ba9607SSascha Wildner 		        isalpha((unsigned char)*bp->prev->text))))))
82*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
83*54ba9607SSascha Wildner 		term_word(p, bp->left != NULL ? bp->left : "(");
84*54ba9607SSascha Wildner 		p->flags |= TERMP_NOSPACE;
85*54ba9607SSascha Wildner 		delim = 1;
86*54ba9607SSascha Wildner 	} else
87*54ba9607SSascha Wildner 		delim = 0;
88*54ba9607SSascha Wildner 
89*54ba9607SSascha Wildner 	/* Handle Fonts and text. */
90*54ba9607SSascha Wildner 
91*54ba9607SSascha Wildner 	if (bp->font != EQNFONT_NONE)
9236342e81SSascha Wildner 		term_fontpush(p, fontmap[(int)bp->font]);
9336342e81SSascha Wildner 
94*54ba9607SSascha Wildner 	if (bp->text != NULL) {
95*54ba9607SSascha Wildner 		if (strchr("!\"'),.:;?]}", *bp->text) != NULL)
96*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
9736342e81SSascha Wildner 		term_word(p, bp->text);
98*54ba9607SSascha Wildner 		if ((cp = strchr(bp->text, '\0')) > bp->text &&
99*54ba9607SSascha Wildner 		    (strchr("\"'([{", cp[-1]) != NULL ||
100*54ba9607SSascha Wildner 		     (bp->prev == NULL && (cp[-1] == '-' ||
101*54ba9607SSascha Wildner 		      (cp >= bp->text + 5 &&
102*54ba9607SSascha Wildner 		       strcmp(cp - 5, "\\[mi]") == 0)))))
103*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
104*54ba9607SSascha Wildner 	}
10536342e81SSascha Wildner 
106*54ba9607SSascha Wildner 	/* Special box types. */
107*54ba9607SSascha Wildner 
108*54ba9607SSascha Wildner 	if (bp->pos == EQNPOS_SQRT) {
109*54ba9607SSascha Wildner 		term_word(p, "\\(sr");
110*54ba9607SSascha Wildner 		if (bp->first != NULL) {
111*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
11236342e81SSascha Wildner 			eqn_box(p, bp->first);
113*54ba9607SSascha Wildner 		}
114*54ba9607SSascha Wildner 	} else if (bp->type == EQN_SUBEXPR) {
115*54ba9607SSascha Wildner 		child = bp->first;
116*54ba9607SSascha Wildner 		eqn_box(p, child);
117*54ba9607SSascha Wildner 		p->flags |= TERMP_NOSPACE;
118*54ba9607SSascha Wildner 		term_word(p, bp->pos == EQNPOS_OVER ? "/" :
119*54ba9607SSascha Wildner 		    (bp->pos == EQNPOS_SUP ||
120*54ba9607SSascha Wildner 		     bp->pos == EQNPOS_TO) ? "^" : "_");
121*54ba9607SSascha Wildner 		child = child->next;
122*54ba9607SSascha Wildner 		if (child != NULL) {
123*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
124*54ba9607SSascha Wildner 			eqn_box(p, child);
125*54ba9607SSascha Wildner 			if (bp->pos == EQNPOS_FROMTO ||
126*54ba9607SSascha Wildner 			    bp->pos == EQNPOS_SUBSUP) {
127*54ba9607SSascha Wildner 				p->flags |= TERMP_NOSPACE;
128*54ba9607SSascha Wildner 				term_word(p, "^");
129*54ba9607SSascha Wildner 				p->flags |= TERMP_NOSPACE;
130*54ba9607SSascha Wildner 				child = child->next;
131*54ba9607SSascha Wildner 				if (child != NULL)
132*54ba9607SSascha Wildner 					eqn_box(p, child);
133*54ba9607SSascha Wildner 			}
134*54ba9607SSascha Wildner 		}
135*54ba9607SSascha Wildner 	} else {
136*54ba9607SSascha Wildner 		child = bp->first;
137*54ba9607SSascha Wildner 		if (bp->type == EQN_MATRIX &&
138*54ba9607SSascha Wildner 		    child != NULL &&
139*54ba9607SSascha Wildner 		    child->type == EQN_LIST &&
140*54ba9607SSascha Wildner 		    child->expectargs > 1)
141*54ba9607SSascha Wildner 			child = child->first;
142*54ba9607SSascha Wildner 		while (child != NULL) {
143*54ba9607SSascha Wildner 			eqn_box(p,
144*54ba9607SSascha Wildner 			    bp->type == EQN_PILE &&
145*54ba9607SSascha Wildner 			    child->type == EQN_LIST &&
146*54ba9607SSascha Wildner 			    child->expectargs > 1 &&
147*54ba9607SSascha Wildner 			    child->args == 1 ?
148*54ba9607SSascha Wildner 			    child->first : child);
149*54ba9607SSascha Wildner 			child = child->next;
150*54ba9607SSascha Wildner 		}
151*54ba9607SSascha Wildner 	}
15236342e81SSascha Wildner 
153*54ba9607SSascha Wildner 	/* Handle Fonts and diacritics. */
154*54ba9607SSascha Wildner 
155*54ba9607SSascha Wildner 	if (bp->font != EQNFONT_NONE)
15636342e81SSascha Wildner 		term_fontpop(p);
157*54ba9607SSascha Wildner 	if (bp->top != NULL) {
158*54ba9607SSascha Wildner 		p->flags |= TERMP_NOSPACE;
159*54ba9607SSascha Wildner 		term_word(p, bp->top);
160*54ba9607SSascha Wildner 	}
161*54ba9607SSascha Wildner 	if (bp->bottom != NULL) {
162*54ba9607SSascha Wildner 		p->flags |= TERMP_NOSPACE;
163*54ba9607SSascha Wildner 		term_word(p, "_");
164*54ba9607SSascha Wildner 	}
16536342e81SSascha Wildner 
166*54ba9607SSascha Wildner 	/* Right delimiter after this box? */
167*54ba9607SSascha Wildner 
168*54ba9607SSascha Wildner 	if (delim) {
169*54ba9607SSascha Wildner 		p->flags |= TERMP_NOSPACE;
170*54ba9607SSascha Wildner 		term_word(p, bp->right != NULL ? bp->right : ")");
171*54ba9607SSascha Wildner 		if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
172*54ba9607SSascha Wildner 			p->flags |= TERMP_NOSPACE;
173*54ba9607SSascha Wildner 	}
17436342e81SSascha Wildner }
175