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 30 static 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 38 static void eqn_box(struct termp *, const struct eqn_box *); 39 40 41 void 42 term_eqn(struct termp *p, const struct eqn_box *bp) 43 { 44 45 eqn_box(p, bp); 46 p->flags &= ~TERMP_NOSPACE; 47 } 48 49 static void 50 eqn_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