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