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