1/*	$Id: eqn_term.c,v 1.19 2018/12/13 05:23:38 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 "config.h"
19
20#include <sys/types.h>
21
22#include <assert.h>
23#include <ctype.h>
24#include <stdio.h>
25#include <stdlib.h>
26#include <string.h>
27
28#include "eqn.h"
29#include "out.h"
30#include "term.h"
31
32static	const enum termfont fontmap[EQNFONT__MAX] = {
33	TERMFONT_NONE, /* EQNFONT_NONE */
34	TERMFONT_NONE, /* EQNFONT_ROMAN */
35	TERMFONT_BOLD, /* EQNFONT_BOLD */
36	TERMFONT_BOLD, /* EQNFONT_FAT */
37	TERMFONT_UNDER /* EQNFONT_ITALIC */
38};
39
40static void	eqn_box(struct termp *, const struct eqn_box *);
41
42
43void
44term_eqn(struct termp *p, const struct eqn_box *bp)
45{
46
47	eqn_box(p, bp);
48	p->flags &= ~TERMP_NOSPACE;
49}
50
51static void
52eqn_box(struct termp *p, const struct eqn_box *bp)
53{
54	const struct eqn_box *child;
55	const char *cp;
56	int delim;
57
58	/* Delimiters around this box? */
59
60	if ((bp->type == EQN_LIST && bp->expectargs > 1) ||
61	    (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
62	    (bp->parent != NULL && (bp->parent->pos == EQNPOS_SQRT ||
63	    /* Diacritic followed by ^ or _. */
64	    ((bp->top != NULL || bp->bottom != NULL) &&
65	     bp->parent->type == EQN_SUBEXPR &&
66	     bp->parent->pos != EQNPOS_OVER && bp->next != NULL) ||
67	    /* Nested over, sub, sup, from, to. */
68	    (bp->type == EQN_SUBEXPR && bp->pos != EQNPOS_SQRT &&
69	     ((bp->parent->type == EQN_LIST && bp->expectargs == 1) ||
70	      (bp->parent->type == EQN_SUBEXPR &&
71	       bp->pos != EQNPOS_SQRT)))))) {
72		if ((bp->parent->type == EQN_SUBEXPR && bp->prev != NULL) ||
73		    (bp->type == EQN_LIST &&
74		     bp->first != NULL &&
75		     bp->first->type != EQN_PILE &&
76		     bp->first->type != EQN_MATRIX &&
77		     bp->prev != NULL &&
78		     (bp->prev->type == EQN_LIST ||
79		      (bp->prev->type == EQN_TEXT &&
80		       (*bp->prev->text == '\\' ||
81		        isalpha((unsigned char)*bp->prev->text))))))
82			p->flags |= TERMP_NOSPACE;
83		term_word(p, bp->left != NULL ? bp->left : "(");
84		p->flags |= TERMP_NOSPACE;
85		delim = 1;
86	} else
87		delim = 0;
88
89	/* Handle Fonts and text. */
90
91	if (bp->font != EQNFONT_NONE)
92		term_fontpush(p, fontmap[(int)bp->font]);
93
94	if (bp->text != NULL) {
95		if (strchr("!\"'),.:;?]}", *bp->text) != NULL)
96			p->flags |= TERMP_NOSPACE;
97		term_word(p, bp->text);
98		if ((cp = strchr(bp->text, '\0')) > bp->text &&
99		    (strchr("\"'([{", cp[-1]) != NULL ||
100		     (bp->prev == NULL && (cp[-1] == '-' ||
101		      (cp >= bp->text + 5 &&
102		       strcmp(cp - 5, "\\[mi]") == 0)))))
103			p->flags |= TERMP_NOSPACE;
104	}
105
106	/* Special box types. */
107
108	if (bp->pos == EQNPOS_SQRT) {
109		term_word(p, "\\(sr");
110		if (bp->first != NULL) {
111			p->flags |= TERMP_NOSPACE;
112			eqn_box(p, bp->first);
113		}
114	} else if (bp->type == EQN_SUBEXPR) {
115		child = bp->first;
116		eqn_box(p, child);
117		p->flags |= TERMP_NOSPACE;
118		term_word(p, bp->pos == EQNPOS_OVER ? "/" :
119		    (bp->pos == EQNPOS_SUP ||
120		     bp->pos == EQNPOS_TO) ? "^" : "_");
121		child = child->next;
122		if (child != NULL) {
123			p->flags |= TERMP_NOSPACE;
124			eqn_box(p, child);
125			if (bp->pos == EQNPOS_FROMTO ||
126			    bp->pos == EQNPOS_SUBSUP) {
127				p->flags |= TERMP_NOSPACE;
128				term_word(p, "^");
129				p->flags |= TERMP_NOSPACE;
130				child = child->next;
131				if (child != NULL)
132					eqn_box(p, child);
133			}
134		}
135	} else {
136		child = bp->first;
137		if (bp->type == EQN_MATRIX &&
138		    child != NULL &&
139		    child->type == EQN_LIST &&
140		    child->expectargs > 1)
141			child = child->first;
142		while (child != NULL) {
143			eqn_box(p,
144			    bp->type == EQN_PILE &&
145			    child->type == EQN_LIST &&
146			    child->expectargs > 1 &&
147			    child->args == 1 ?
148			    child->first : child);
149			child = child->next;
150		}
151	}
152
153	/* Handle Fonts and diacritics. */
154
155	if (bp->font != EQNFONT_NONE)
156		term_fontpop(p);
157	if (bp->top != NULL) {
158		p->flags |= TERMP_NOSPACE;
159		term_word(p, bp->top);
160	}
161	if (bp->bottom != NULL) {
162		p->flags |= TERMP_NOSPACE;
163		term_word(p, "_");
164	}
165
166	/* Right delimiter after this box? */
167
168	if (delim) {
169		p->flags |= TERMP_NOSPACE;
170		term_word(p, bp->right != NULL ? bp->right : ")");
171		if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
172			p->flags |= TERMP_NOSPACE;
173	}
174}
175