eqn_html.c

   1 /*      $Id: eqn_html.c,v 1.18 2018/12/13 05:23:38 schwarze Exp $ */
   2 /*
   3  * Copyright (c) 2011, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
   4  * Copyright (c) 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 "mandoc.h"
  29 #include "eqn.h"
  30 #include "out.h"
  31 #include "html.h"
  32
  33 static void
  34 eqn_box(struct html *p, const struct eqn_box *bp)
  35 {
  36         struct tag      *post, *row, *cell, *t;
  37         const struct eqn_box *child, *parent;
  38         const char      *cp;
  39         size_t           i, j, rows;
  40         enum htmltag     tag;
  41         enum eqn_fontt   font;
  42
  43         if (NULL == bp)
  44                 return;
  45
  46         post = NULL;
  47
  48         /*
  49          * Special handling for a matrix, which is presented to us in
  50          * column order, but must be printed in row-order.
  51          */
  52         if (EQN_MATRIX == bp->type) {
  53                 if (NULL == bp->first)
  54                         goto out;
  55                 if (bp->first->type != EQN_LIST ||
  56                     bp->first->expectargs == 1) {
  57                         eqn_box(p, bp->first);
  58                         goto out;
  59                 }
  60                 if (NULL == (parent = bp->first->first))
  61                         goto out;
  62                 /* Estimate the number of rows, first. */
  63                 if (NULL == (child = parent->first))
  64                         goto out;
  65                 for (rows = 0; NULL != child; rows++)
  66                         child = child->next;
  67                 /* Print row-by-row. */
  68                 post = print_otag(p, TAG_MTABLE, "");
  69                 for (i = 0; i < rows; i++) {
  70                         parent = bp->first->first;
  71                         row = print_otag(p, TAG_MTR, "");
  72                         while (NULL != parent) {
  73                                 child = parent->first;
  74                                 for (j = 0; j < i; j++) {
  75                                         if (NULL == child)
  76                                                 break;
  77                                         child = child->next;
  78                                 }
  79                                 cell = print_otag(p, TAG_MTD, "");
  80                                 /*
  81                                  * If we have no data for this
  82                                  * particular cell, then print a
  83                                  * placeholder and continue--don't puke.
  84                                  */
  85                                 if (NULL != child)
  86                                         eqn_box(p, child->first);
  87                                 print_tagq(p, cell);
  88                                 parent = parent->next;
  89                         }
  90                         print_tagq(p, row);
  91                 }
  92                 goto out;
  93         }
  94
  95         switch (bp->pos) {
  96         case EQNPOS_TO:
  97                 post = print_otag(p, TAG_MOVER, "");
  98                 break;
  99         case EQNPOS_SUP:
 100                 post = print_otag(p, TAG_MSUP, "");
 101                 break;
 102         case EQNPOS_FROM:
 103                 post = print_otag(p, TAG_MUNDER, "");
 104                 break;
 105         case EQNPOS_SUB:
 106                 post = print_otag(p, TAG_MSUB, "");
 107                 break;
 108         case EQNPOS_OVER:
 109                 post = print_otag(p, TAG_MFRAC, "");
 110                 break;
 111         case EQNPOS_FROMTO:
 112                 post = print_otag(p, TAG_MUNDEROVER, "");
 113                 break;
 114         case EQNPOS_SUBSUP:
 115                 post = print_otag(p, TAG_MSUBSUP, "");
 116                 break;
 117         case EQNPOS_SQRT:
 118                 post = print_otag(p, TAG_MSQRT, "");
 119                 break;
 120         default:
 121                 break;
 122         }
 123
 124         if (bp->top || bp->bottom) {
 125                 assert(NULL == post);
 126                 if (bp->top && NULL == bp->bottom)
 127                         post = print_otag(p, TAG_MOVER, "");
 128                 else if (bp->top && bp->bottom)
 129                         post = print_otag(p, TAG_MUNDEROVER, "");
 130                 else if (bp->bottom)
 131                         post = print_otag(p, TAG_MUNDER, "");
 132         }
 133
 134         if (EQN_PILE == bp->type) {
 135                 assert(NULL == post);
 136                 if (bp->first != NULL &&
 137                     bp->first->type == EQN_LIST &&
 138                     bp->first->expectargs > 1)
 139                         post = print_otag(p, TAG_MTABLE, "");
 140         } else if (bp->type == EQN_LIST && bp->expectargs > 1 &&
 141             bp->parent && bp->parent->type == EQN_PILE) {
 142                 assert(NULL == post);
 143                 post = print_otag(p, TAG_MTR, "");
 144                 print_otag(p, TAG_MTD, "");
 145         }
 146
 147         if (bp->text != NULL) {
 148                 assert(post == NULL);
 149                 tag = TAG_MI;
 150                 cp = bp->text;
 151                 if (isdigit((unsigned char)cp[0]) ||
 152                     (cp[0] == '.' && isdigit((unsigned char)cp[1]))) {
 153                         tag = TAG_MN;
 154                         while (*++cp != '\0') {
 155                                 if (*cp != '.' &&
 156                                     isdigit((unsigned char)*cp) == 0) {
 157                                         tag = TAG_MI;
 158                                         break;
 159                                 }
 160                         }
 161                 } else if (*cp != '\0' && isalpha((unsigned char)*cp) == 0) {
 162                         tag = TAG_MO;
 163                         while (*cp != '\0') {
 164                                 if (cp[0] == '\\' && cp[1] != '\0') {
 165                                         cp++;
 166                                         mandoc_escape(&cp, NULL, NULL);
 167                                 } else if (isalnum((unsigned char)*cp)) {
 168                                         tag = TAG_MI;
 169                                         break;
 170                                 } else
 171                                         cp++;
 172                         }
 173                 }
 174                 font = bp->font;
 175                 if (bp->text[0] != '\0' &&
 176                     (((tag == TAG_MN || tag == TAG_MO) &&
 177                       font == EQNFONT_ROMAN) ||
 178                      (tag == TAG_MI && font == (bp->text[1] == '\0' ?
 179                       EQNFONT_ITALIC : EQNFONT_ROMAN))))
 180                         font = EQNFONT_NONE;
 181                 switch (font) {
 182                 case EQNFONT_NONE:
 183                         post = print_otag(p, tag, "");
 184                         break;
 185                 case EQNFONT_ROMAN:
 186                         post = print_otag(p, tag, "?", "fontstyle", "normal");
 187                         break;
 188                 case EQNFONT_BOLD:
 189                 case EQNFONT_FAT:
 190                         post = print_otag(p, tag, "?", "fontweight", "bold");
 191                         break;
 192                 case EQNFONT_ITALIC:
 193                         post = print_otag(p, tag, "?", "fontstyle", "italic");
 194                         break;
 195                 default:
 196                         abort();
 197                 }
 198                 print_text(p, bp->text);
 199         } else if (NULL == post) {
 200                 if (NULL != bp->left || NULL != bp->right)
 201                         post = print_otag(p, TAG_MFENCED, "??",
 202                             "open", bp->left == NULL ? "" : bp->left,
 203                             "close", bp->right == NULL ? "" : bp->right);
 204                 if (NULL == post)
 205                         post = print_otag(p, TAG_MROW, "");
 206                 else
 207                         print_otag(p, TAG_MROW, "");
 208         }
 209
 210         eqn_box(p, bp->first);
 211
 212 out:
 213         if (NULL != bp->bottom) {
 214                 t = print_otag(p, TAG_MO, "");
 215                 print_text(p, bp->bottom);
 216                 print_tagq(p, t);
 217         }
 218         if (NULL != bp->top) {
 219                 t = print_otag(p, TAG_MO, "");
 220                 print_text(p, bp->top);
 221                 print_tagq(p, t);
 222         }
 223
 224         if (NULL != post)
 225                 print_tagq(p, post);
 226
 227         eqn_box(p, bp->next);
 228 }
 229
 230 void
 231 print_eqn(struct html *p, const struct eqn_box *bp)
 232 {
 233         struct tag      *t;
 234
 235         if (bp->first == NULL)
 236                 return;
 237
 238         t = print_otag(p, TAG_MATH, "c", "eqn");
 239
 240         p->flags |= HTML_NONOSPACE;
 241         eqn_box(p, bp);
 242         p->flags &= ~HTML_NONOSPACE;
 243
 244         print_tagq(p, t);
 245 }