1*cec8643bSMichal Nowak /* $Id: eqn_term.c,v 1.19 2018/12/13 05:23:38 schwarze Exp $ */
295c635efSGarrett D'Amore /*
395c635efSGarrett D'Amore * Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4a40ea1a7SYuri Pankov * Copyright (c) 2014, 2015, 2017 Ingo Schwarze <schwarze@openbsd.org>
595c635efSGarrett D'Amore *
695c635efSGarrett D'Amore * Permission to use, copy, modify, and distribute this software for any
795c635efSGarrett D'Amore * purpose with or without fee is hereby granted, provided that the above
895c635efSGarrett D'Amore * copyright notice and this permission notice appear in all copies.
995c635efSGarrett D'Amore *
1095c635efSGarrett D'Amore * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
1195c635efSGarrett D'Amore * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1295c635efSGarrett D'Amore * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
1395c635efSGarrett D'Amore * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
1495c635efSGarrett D'Amore * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
1595c635efSGarrett D'Amore * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
1695c635efSGarrett D'Amore * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1795c635efSGarrett D'Amore */
1895c635efSGarrett D'Amore #include "config.h"
19260e9a87SYuri Pankov
20260e9a87SYuri Pankov #include <sys/types.h>
2195c635efSGarrett D'Amore
2295c635efSGarrett D'Amore #include <assert.h>
236640c13bSYuri Pankov #include <ctype.h>
2495c635efSGarrett D'Amore #include <stdio.h>
2595c635efSGarrett D'Amore #include <stdlib.h>
2695c635efSGarrett D'Amore #include <string.h>
2795c635efSGarrett D'Amore
28*cec8643bSMichal Nowak #include "eqn.h"
2995c635efSGarrett D'Amore #include "out.h"
3095c635efSGarrett D'Amore #include "term.h"
3195c635efSGarrett D'Amore
3295c635efSGarrett D'Amore static const enum termfont fontmap[EQNFONT__MAX] = {
3395c635efSGarrett D'Amore TERMFONT_NONE, /* EQNFONT_NONE */
3495c635efSGarrett D'Amore TERMFONT_NONE, /* EQNFONT_ROMAN */
3595c635efSGarrett D'Amore TERMFONT_BOLD, /* EQNFONT_BOLD */
3695c635efSGarrett D'Amore TERMFONT_BOLD, /* EQNFONT_FAT */
3795c635efSGarrett D'Amore TERMFONT_UNDER /* EQNFONT_ITALIC */
3895c635efSGarrett D'Amore };
3995c635efSGarrett D'Amore
4095c635efSGarrett D'Amore static void eqn_box(struct termp *, const struct eqn_box *);
4195c635efSGarrett D'Amore
42260e9a87SYuri Pankov
4395c635efSGarrett D'Amore void
term_eqn(struct termp * p,const struct eqn_box * bp)44c66b8046SYuri Pankov term_eqn(struct termp *p, const struct eqn_box *bp)
4595c635efSGarrett D'Amore {
4695c635efSGarrett D'Amore
47c66b8046SYuri Pankov eqn_box(p, bp);
48260e9a87SYuri Pankov p->flags &= ~TERMP_NOSPACE;
4995c635efSGarrett D'Amore }
5095c635efSGarrett D'Amore
5195c635efSGarrett D'Amore static void
eqn_box(struct termp * p,const struct eqn_box * bp)5295c635efSGarrett D'Amore eqn_box(struct termp *p, const struct eqn_box *bp)
5395c635efSGarrett D'Amore {
54260e9a87SYuri Pankov const struct eqn_box *child;
556640c13bSYuri Pankov const char *cp;
56c66b8046SYuri Pankov int delim;
5795c635efSGarrett D'Amore
58c66b8046SYuri Pankov /* Delimiters around this box? */
59c66b8046SYuri Pankov
60c66b8046SYuri Pankov if ((bp->type == EQN_LIST && bp->expectargs > 1) ||
61260e9a87SYuri Pankov (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
62c66b8046SYuri Pankov (bp->parent != NULL && (bp->parent->pos == EQNPOS_SQRT ||
63c66b8046SYuri Pankov /* Diacritic followed by ^ or _. */
64c66b8046SYuri Pankov ((bp->top != NULL || bp->bottom != NULL) &&
65c66b8046SYuri Pankov bp->parent->type == EQN_SUBEXPR &&
66c66b8046SYuri Pankov bp->parent->pos != EQNPOS_OVER && bp->next != NULL) ||
67c66b8046SYuri Pankov /* Nested over, sub, sup, from, to. */
68c66b8046SYuri Pankov (bp->type == EQN_SUBEXPR && bp->pos != EQNPOS_SQRT &&
69c66b8046SYuri Pankov ((bp->parent->type == EQN_LIST && bp->expectargs == 1) ||
70c66b8046SYuri Pankov (bp->parent->type == EQN_SUBEXPR &&
71c66b8046SYuri Pankov bp->pos != EQNPOS_SQRT)))))) {
726640c13bSYuri Pankov if ((bp->parent->type == EQN_SUBEXPR && bp->prev != NULL) ||
736640c13bSYuri Pankov (bp->type == EQN_LIST &&
746640c13bSYuri Pankov bp->first != NULL &&
756640c13bSYuri Pankov bp->first->type != EQN_PILE &&
766640c13bSYuri Pankov bp->first->type != EQN_MATRIX &&
776640c13bSYuri Pankov bp->prev != NULL &&
786640c13bSYuri Pankov (bp->prev->type == EQN_LIST ||
796640c13bSYuri Pankov (bp->prev->type == EQN_TEXT &&
806640c13bSYuri Pankov (*bp->prev->text == '\\' ||
816640c13bSYuri Pankov isalpha((unsigned char)*bp->prev->text))))))
82260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
83260e9a87SYuri Pankov term_word(p, bp->left != NULL ? bp->left : "(");
84260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
85c66b8046SYuri Pankov delim = 1;
86c66b8046SYuri Pankov } else
87c66b8046SYuri Pankov delim = 0;
88c66b8046SYuri Pankov
89c66b8046SYuri Pankov /* Handle Fonts and text. */
90c66b8046SYuri Pankov
91260e9a87SYuri Pankov if (bp->font != EQNFONT_NONE)
9295c635efSGarrett D'Amore term_fontpush(p, fontmap[(int)bp->font]);
9395c635efSGarrett D'Amore
946640c13bSYuri Pankov if (bp->text != NULL) {
956640c13bSYuri Pankov if (strchr("!\"'),.:;?]}", *bp->text) != NULL)
966640c13bSYuri Pankov p->flags |= TERMP_NOSPACE;
9795c635efSGarrett D'Amore term_word(p, bp->text);
986640c13bSYuri Pankov if ((cp = strchr(bp->text, '\0')) > bp->text &&
996640c13bSYuri Pankov (strchr("\"'([{", cp[-1]) != NULL ||
1006640c13bSYuri Pankov (bp->prev == NULL && (cp[-1] == '-' ||
1016640c13bSYuri Pankov (cp >= bp->text + 5 &&
1026640c13bSYuri Pankov strcmp(cp - 5, "\\[mi]") == 0)))))
1036640c13bSYuri Pankov p->flags |= TERMP_NOSPACE;
1046640c13bSYuri Pankov }
10595c635efSGarrett D'Amore
106c66b8046SYuri Pankov /* Special box types. */
107c66b8046SYuri Pankov
108260e9a87SYuri Pankov if (bp->pos == EQNPOS_SQRT) {
109*cec8643bSMichal Nowak term_word(p, "\\(sr");
110a40ea1a7SYuri Pankov if (bp->first != NULL) {
111260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
11295c635efSGarrett D'Amore eqn_box(p, bp->first);
113a40ea1a7SYuri Pankov }
114260e9a87SYuri Pankov } else if (bp->type == EQN_SUBEXPR) {
115260e9a87SYuri Pankov child = bp->first;
116260e9a87SYuri Pankov eqn_box(p, child);
117260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
118260e9a87SYuri Pankov term_word(p, bp->pos == EQNPOS_OVER ? "/" :
119260e9a87SYuri Pankov (bp->pos == EQNPOS_SUP ||
120260e9a87SYuri Pankov bp->pos == EQNPOS_TO) ? "^" : "_");
121260e9a87SYuri Pankov child = child->next;
122260e9a87SYuri Pankov if (child != NULL) {
1236640c13bSYuri Pankov p->flags |= TERMP_NOSPACE;
124260e9a87SYuri Pankov eqn_box(p, child);
125260e9a87SYuri Pankov if (bp->pos == EQNPOS_FROMTO ||
126260e9a87SYuri Pankov bp->pos == EQNPOS_SUBSUP) {
127260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
128260e9a87SYuri Pankov term_word(p, "^");
129260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
130260e9a87SYuri Pankov child = child->next;
131260e9a87SYuri Pankov if (child != NULL)
132260e9a87SYuri Pankov eqn_box(p, child);
133260e9a87SYuri Pankov }
134260e9a87SYuri Pankov }
135260e9a87SYuri Pankov } else {
136260e9a87SYuri Pankov child = bp->first;
137a40ea1a7SYuri Pankov if (bp->type == EQN_MATRIX &&
138c66b8046SYuri Pankov child != NULL &&
139c66b8046SYuri Pankov child->type == EQN_LIST &&
140c66b8046SYuri Pankov child->expectargs > 1)
141260e9a87SYuri Pankov child = child->first;
142260e9a87SYuri Pankov while (child != NULL) {
143260e9a87SYuri Pankov eqn_box(p,
144260e9a87SYuri Pankov bp->type == EQN_PILE &&
145260e9a87SYuri Pankov child->type == EQN_LIST &&
146c66b8046SYuri Pankov child->expectargs > 1 &&
147260e9a87SYuri Pankov child->args == 1 ?
148260e9a87SYuri Pankov child->first : child);
149260e9a87SYuri Pankov child = child->next;
150260e9a87SYuri Pankov }
151260e9a87SYuri Pankov }
15295c635efSGarrett D'Amore
153c66b8046SYuri Pankov /* Handle Fonts and diacritics. */
154c66b8046SYuri Pankov
155260e9a87SYuri Pankov if (bp->font != EQNFONT_NONE)
15695c635efSGarrett D'Amore term_fontpop(p);
157260e9a87SYuri Pankov if (bp->top != NULL) {
158260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
159260e9a87SYuri Pankov term_word(p, bp->top);
160260e9a87SYuri Pankov }
161260e9a87SYuri Pankov if (bp->bottom != NULL) {
162260e9a87SYuri Pankov p->flags |= TERMP_NOSPACE;
163260e9a87SYuri Pankov term_word(p, "_");
164260e9a87SYuri Pankov }
165c66b8046SYuri Pankov
166c66b8046SYuri Pankov /* Right delimiter after this box? */
167c66b8046SYuri Pankov
168c66b8046SYuri Pankov if (delim) {
169c66b8046SYuri Pankov p->flags |= TERMP_NOSPACE;
170c66b8046SYuri Pankov term_word(p, bp->right != NULL ? bp->right : ")");
171c66b8046SYuri Pankov if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
172c66b8046SYuri Pankov p->flags |= TERMP_NOSPACE;
173c66b8046SYuri Pankov }
17495c635efSGarrett D'Amore }
175