1/*	$OpenBSD: eqn_term.c,v 1.15 2018/12/13 05:13:15 schwarze Exp $ */
2/*
3 * Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2014, 2015, 2017 Ingo Schwarze <schwarze@openbsd.org>
5 *
6 * Permission to use, copy, modify, and distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
9 *
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17 */
18#include <sys/types.h>
19
20#include <assert.h>
21#include <ctype.h>
22#include <stdio.h>
23#include <stdlib.h>
24#include <string.h>
25
26#include "eqn.h"
27#include "out.h"
28#include "term.h"
29
30static	const enum termfont fontmap[EQNFONT__MAX] = {
31	TERMFONT_NONE, /* EQNFONT_NONE */
32	TERMFONT_NONE, /* EQNFONT_ROMAN */
33	TERMFONT_BOLD, /* EQNFONT_BOLD */
34	TERMFONT_BOLD, /* EQNFONT_FAT */
35	TERMFONT_UNDER /* EQNFONT_ITALIC */
36};
37
38static void	eqn_box(struct termp *, const struct eqn_box *);
39
40
41void
42term_eqn(struct termp *p, const struct eqn_box *bp)
43{
44
45	eqn_box(p, bp);
46	p->flags &= ~TERMP_NOSPACE;
47}
48
49static void
50eqn_box(struct termp *p, const struct eqn_box *bp)
51{
52	const struct eqn_box *child;
53	const char *cp;
54	int delim;
55
56	/* Delimiters around this box? */
57
58	if ((bp->type == EQN_LIST && bp->expectargs > 1) ||
59	    (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
60	    (bp->parent != NULL && (bp->parent->pos == EQNPOS_SQRT ||
61	    /* Diacritic followed by ^ or _. */
62	    ((bp->top != NULL || bp->bottom != NULL) &&
63	     bp->parent->type == EQN_SUBEXPR &&
64	     bp->parent->pos != EQNPOS_OVER && bp->next != NULL) ||
65	    /* Nested over, sub, sup, from, to. */
66	    (bp->type == EQN_SUBEXPR && bp->pos != EQNPOS_SQRT &&
67	     ((bp->parent->type == EQN_LIST && bp->expectargs == 1) ||
68	      (bp->parent->type == EQN_SUBEXPR &&
69	       bp->pos != EQNPOS_SQRT)))))) {
70		if ((bp->parent->type == EQN_SUBEXPR && bp->prev != NULL) ||
71		    (bp->type == EQN_LIST &&
72		     bp->first != NULL &&
73		     bp->first->type != EQN_PILE &&
74		     bp->first->type != EQN_MATRIX &&
75		     bp->prev != NULL &&
76		     (bp->prev->type == EQN_LIST ||
77		      (bp->prev->type == EQN_TEXT &&
78		       (*bp->prev->text == '\\' ||
79		        isalpha((unsigned char)*bp->prev->text))))))
80			p->flags |= TERMP_NOSPACE;
81		term_word(p, bp->left != NULL ? bp->left : "(");
82		p->flags |= TERMP_NOSPACE;
83		delim = 1;
84	} else
85		delim = 0;
86
87	/* Handle Fonts and text. */
88
89	if (bp->font != EQNFONT_NONE)
90		term_fontpush(p, fontmap[(int)bp->font]);
91
92	if (bp->text != NULL) {
93		if (strchr("!\"'),.:;?]}", *bp->text) != NULL)
94			p->flags |= TERMP_NOSPACE;
95		term_word(p, bp->text);
96		if ((cp = strchr(bp->text, '\0')) > bp->text &&
97		    (strchr("\"'([{", cp[-1]) != NULL ||
98		     (bp->prev == NULL && (cp[-1] == '-' ||
99		      (cp >= bp->text + 5 &&
100		       strcmp(cp - 5, "\\[mi]") == 0)))))
101			p->flags |= TERMP_NOSPACE;
102	}
103
104	/* Special box types. */
105
106	if (bp->pos == EQNPOS_SQRT) {
107		term_word(p, "\\(sr");
108		if (bp->first != NULL) {
109			p->flags |= TERMP_NOSPACE;
110			eqn_box(p, bp->first);
111		}
112	} else if (bp->type == EQN_SUBEXPR) {
113		child = bp->first;
114		eqn_box(p, child);
115		p->flags |= TERMP_NOSPACE;
116		term_word(p, bp->pos == EQNPOS_OVER ? "/" :
117		    (bp->pos == EQNPOS_SUP ||
118		     bp->pos == EQNPOS_TO) ? "^" : "_");
119		child = child->next;
120		if (child != NULL) {
121			p->flags |= TERMP_NOSPACE;
122			eqn_box(p, child);
123			if (bp->pos == EQNPOS_FROMTO ||
124			    bp->pos == EQNPOS_SUBSUP) {
125				p->flags |= TERMP_NOSPACE;
126				term_word(p, "^");
127				p->flags |= TERMP_NOSPACE;
128				child = child->next;
129				if (child != NULL)
130					eqn_box(p, child);
131			}
132		}
133	} else {
134		child = bp->first;
135		if (bp->type == EQN_MATRIX &&
136		    child != NULL &&
137		    child->type == EQN_LIST &&
138		    child->expectargs > 1)
139			child = child->first;
140		while (child != NULL) {
141			eqn_box(p,
142			    bp->type == EQN_PILE &&
143			    child->type == EQN_LIST &&
144			    child->expectargs > 1 &&
145			    child->args == 1 ?
146			    child->first : child);
147			child = child->next;
148		}
149	}
150
151	/* Handle Fonts and diacritics. */
152
153	if (bp->font != EQNFONT_NONE)
154		term_fontpop(p);
155	if (bp->top != NULL) {
156		p->flags |= TERMP_NOSPACE;
157		term_word(p, bp->top);
158	}
159	if (bp->bottom != NULL) {
160		p->flags |= TERMP_NOSPACE;
161		term_word(p, "_");
162	}
163
164	/* Right delimiter after this box? */
165
166	if (delim) {
167		p->flags |= TERMP_NOSPACE;
168		term_word(p, bp->right != NULL ? bp->right : ")");
169		if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
170			p->flags |= TERMP_NOSPACE;
171	}
172}
173