1 /* $Id: eqn_term.c,v 1.13 2017/07/08 14:51:04 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 <stdio.h> 24 #include <stdlib.h> 25 #include <string.h> 26 27 #include "mandoc.h" 28 #include "out.h" 29 #include "term.h" 30 31 static const enum termfont fontmap[EQNFONT__MAX] = { 32 TERMFONT_NONE, /* EQNFONT_NONE */ 33 TERMFONT_NONE, /* EQNFONT_ROMAN */ 34 TERMFONT_BOLD, /* EQNFONT_BOLD */ 35 TERMFONT_BOLD, /* EQNFONT_FAT */ 36 TERMFONT_UNDER /* EQNFONT_ITALIC */ 37 }; 38 39 static void eqn_box(struct termp *, const struct eqn_box *); 40 41 42 void 43 term_eqn(struct termp *p, const struct eqn_box *bp) 44 { 45 46 eqn_box(p, bp); 47 p->flags &= ~TERMP_NOSPACE; 48 } 49 50 static void 51 eqn_box(struct termp *p, const struct eqn_box *bp) 52 { 53 const struct eqn_box *child; 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 p->flags |= TERMP_NOSPACE; 72 term_word(p, bp->left != NULL ? bp->left : "("); 73 p->flags |= TERMP_NOSPACE; 74 delim = 1; 75 } else 76 delim = 0; 77 78 /* Handle Fonts and text. */ 79 80 if (bp->font != EQNFONT_NONE) 81 term_fontpush(p, fontmap[(int)bp->font]); 82 83 if (bp->text != NULL) 84 term_word(p, bp->text); 85 86 /* Special box types. */ 87 88 if (bp->pos == EQNPOS_SQRT) { 89 term_word(p, "sqrt"); 90 if (bp->first != NULL) { 91 p->flags |= TERMP_NOSPACE; 92 eqn_box(p, bp->first); 93 } 94 } else if (bp->type == EQN_SUBEXPR) { 95 child = bp->first; 96 eqn_box(p, child); 97 p->flags |= TERMP_NOSPACE; 98 term_word(p, bp->pos == EQNPOS_OVER ? "/" : 99 (bp->pos == EQNPOS_SUP || 100 bp->pos == EQNPOS_TO) ? "^" : "_"); 101 p->flags |= TERMP_NOSPACE; 102 child = child->next; 103 if (child != NULL) { 104 eqn_box(p, child); 105 if (bp->pos == EQNPOS_FROMTO || 106 bp->pos == EQNPOS_SUBSUP) { 107 p->flags |= TERMP_NOSPACE; 108 term_word(p, "^"); 109 p->flags |= TERMP_NOSPACE; 110 child = child->next; 111 if (child != NULL) 112 eqn_box(p, child); 113 } 114 } 115 } else { 116 child = bp->first; 117 if (bp->type == EQN_MATRIX && 118 child != NULL && 119 child->type == EQN_LIST && 120 child->expectargs > 1) 121 child = child->first; 122 while (child != NULL) { 123 eqn_box(p, 124 bp->type == EQN_PILE && 125 child->type == EQN_LIST && 126 child->expectargs > 1 && 127 child->args == 1 ? 128 child->first : child); 129 child = child->next; 130 } 131 } 132 133 /* Handle Fonts and diacritics. */ 134 135 if (bp->font != EQNFONT_NONE) 136 term_fontpop(p); 137 if (bp->top != NULL) { 138 p->flags |= TERMP_NOSPACE; 139 term_word(p, bp->top); 140 } 141 if (bp->bottom != NULL) { 142 p->flags |= TERMP_NOSPACE; 143 term_word(p, "_"); 144 } 145 146 /* Right delimiter after this box? */ 147 148 if (delim) { 149 p->flags |= TERMP_NOSPACE; 150 term_word(p, bp->right != NULL ? bp->right : ")"); 151 if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL) 152 p->flags |= TERMP_NOSPACE; 153 } 154 } 155