1*4d131170SRobert Mustacchi /* $Id: eqn_html.c,v 1.19 2019/03/17 18:21:45 schwarze Exp $ */
295c635efSGarrett D'Amore /*
3260e9a87SYuri Pankov * Copyright (c) 2011, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
4a40ea1a7SYuri Pankov * Copyright (c) 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>
23c66b8046SYuri 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
2895c635efSGarrett D'Amore #include "mandoc.h"
29*4d131170SRobert Mustacchi #include "roff.h"
30cec8643bSMichal Nowak #include "eqn.h"
3195c635efSGarrett D'Amore #include "out.h"
3295c635efSGarrett D'Amore #include "html.h"
3395c635efSGarrett D'Amore
34260e9a87SYuri Pankov static void
eqn_box(struct html * p,const struct eqn_box * bp)35260e9a87SYuri Pankov eqn_box(struct html *p, const struct eqn_box *bp)
36260e9a87SYuri Pankov {
37260e9a87SYuri Pankov struct tag *post, *row, *cell, *t;
38260e9a87SYuri Pankov const struct eqn_box *child, *parent;
39c66b8046SYuri Pankov const char *cp;
40260e9a87SYuri Pankov size_t i, j, rows;
41c66b8046SYuri Pankov enum htmltag tag;
42c66b8046SYuri Pankov enum eqn_fontt font;
43260e9a87SYuri Pankov
44260e9a87SYuri Pankov if (NULL == bp)
45260e9a87SYuri Pankov return;
46260e9a87SYuri Pankov
47260e9a87SYuri Pankov post = NULL;
48260e9a87SYuri Pankov
49260e9a87SYuri Pankov /*
50260e9a87SYuri Pankov * Special handling for a matrix, which is presented to us in
51260e9a87SYuri Pankov * column order, but must be printed in row-order.
52260e9a87SYuri Pankov */
53260e9a87SYuri Pankov if (EQN_MATRIX == bp->type) {
54260e9a87SYuri Pankov if (NULL == bp->first)
55260e9a87SYuri Pankov goto out;
56c66b8046SYuri Pankov if (bp->first->type != EQN_LIST ||
57c66b8046SYuri Pankov bp->first->expectargs == 1) {
58260e9a87SYuri Pankov eqn_box(p, bp->first);
59260e9a87SYuri Pankov goto out;
60260e9a87SYuri Pankov }
61260e9a87SYuri Pankov if (NULL == (parent = bp->first->first))
62260e9a87SYuri Pankov goto out;
63260e9a87SYuri Pankov /* Estimate the number of rows, first. */
64260e9a87SYuri Pankov if (NULL == (child = parent->first))
65260e9a87SYuri Pankov goto out;
66260e9a87SYuri Pankov for (rows = 0; NULL != child; rows++)
67260e9a87SYuri Pankov child = child->next;
68260e9a87SYuri Pankov /* Print row-by-row. */
69a40ea1a7SYuri Pankov post = print_otag(p, TAG_MTABLE, "");
70260e9a87SYuri Pankov for (i = 0; i < rows; i++) {
71260e9a87SYuri Pankov parent = bp->first->first;
72a40ea1a7SYuri Pankov row = print_otag(p, TAG_MTR, "");
73260e9a87SYuri Pankov while (NULL != parent) {
74260e9a87SYuri Pankov child = parent->first;
75260e9a87SYuri Pankov for (j = 0; j < i; j++) {
76260e9a87SYuri Pankov if (NULL == child)
77260e9a87SYuri Pankov break;
78260e9a87SYuri Pankov child = child->next;
79260e9a87SYuri Pankov }
80a40ea1a7SYuri Pankov cell = print_otag(p, TAG_MTD, "");
81260e9a87SYuri Pankov /*
82260e9a87SYuri Pankov * If we have no data for this
83260e9a87SYuri Pankov * particular cell, then print a
84260e9a87SYuri Pankov * placeholder and continue--don't puke.
85260e9a87SYuri Pankov */
86260e9a87SYuri Pankov if (NULL != child)
87260e9a87SYuri Pankov eqn_box(p, child->first);
88260e9a87SYuri Pankov print_tagq(p, cell);
89260e9a87SYuri Pankov parent = parent->next;
90260e9a87SYuri Pankov }
91260e9a87SYuri Pankov print_tagq(p, row);
92260e9a87SYuri Pankov }
93260e9a87SYuri Pankov goto out;
94260e9a87SYuri Pankov }
95260e9a87SYuri Pankov
96260e9a87SYuri Pankov switch (bp->pos) {
97c66b8046SYuri Pankov case EQNPOS_TO:
98a40ea1a7SYuri Pankov post = print_otag(p, TAG_MOVER, "");
99260e9a87SYuri Pankov break;
100c66b8046SYuri Pankov case EQNPOS_SUP:
101a40ea1a7SYuri Pankov post = print_otag(p, TAG_MSUP, "");
102260e9a87SYuri Pankov break;
103c66b8046SYuri Pankov case EQNPOS_FROM:
104a40ea1a7SYuri Pankov post = print_otag(p, TAG_MUNDER, "");
105260e9a87SYuri Pankov break;
106c66b8046SYuri Pankov case EQNPOS_SUB:
107a40ea1a7SYuri Pankov post = print_otag(p, TAG_MSUB, "");
108260e9a87SYuri Pankov break;
109c66b8046SYuri Pankov case EQNPOS_OVER:
110a40ea1a7SYuri Pankov post = print_otag(p, TAG_MFRAC, "");
111260e9a87SYuri Pankov break;
112c66b8046SYuri Pankov case EQNPOS_FROMTO:
113a40ea1a7SYuri Pankov post = print_otag(p, TAG_MUNDEROVER, "");
114260e9a87SYuri Pankov break;
115c66b8046SYuri Pankov case EQNPOS_SUBSUP:
116a40ea1a7SYuri Pankov post = print_otag(p, TAG_MSUBSUP, "");
117260e9a87SYuri Pankov break;
118c66b8046SYuri Pankov case EQNPOS_SQRT:
119a40ea1a7SYuri Pankov post = print_otag(p, TAG_MSQRT, "");
120260e9a87SYuri Pankov break;
121260e9a87SYuri Pankov default:
122260e9a87SYuri Pankov break;
123260e9a87SYuri Pankov }
124260e9a87SYuri Pankov
125260e9a87SYuri Pankov if (bp->top || bp->bottom) {
126260e9a87SYuri Pankov assert(NULL == post);
127260e9a87SYuri Pankov if (bp->top && NULL == bp->bottom)
128a40ea1a7SYuri Pankov post = print_otag(p, TAG_MOVER, "");
129260e9a87SYuri Pankov else if (bp->top && bp->bottom)
130a40ea1a7SYuri Pankov post = print_otag(p, TAG_MUNDEROVER, "");
131260e9a87SYuri Pankov else if (bp->bottom)
132a40ea1a7SYuri Pankov post = print_otag(p, TAG_MUNDER, "");
133260e9a87SYuri Pankov }
134260e9a87SYuri Pankov
135260e9a87SYuri Pankov if (EQN_PILE == bp->type) {
136260e9a87SYuri Pankov assert(NULL == post);
137c66b8046SYuri Pankov if (bp->first != NULL &&
138c66b8046SYuri Pankov bp->first->type == EQN_LIST &&
139c66b8046SYuri Pankov bp->first->expectargs > 1)
140a40ea1a7SYuri Pankov post = print_otag(p, TAG_MTABLE, "");
141c66b8046SYuri Pankov } else if (bp->type == EQN_LIST && bp->expectargs > 1 &&
142260e9a87SYuri Pankov bp->parent && bp->parent->type == EQN_PILE) {
143260e9a87SYuri Pankov assert(NULL == post);
144a40ea1a7SYuri Pankov post = print_otag(p, TAG_MTR, "");
145a40ea1a7SYuri Pankov print_otag(p, TAG_MTD, "");
146260e9a87SYuri Pankov }
147260e9a87SYuri Pankov
148c66b8046SYuri Pankov if (bp->text != NULL) {
149c66b8046SYuri Pankov assert(post == NULL);
150c66b8046SYuri Pankov tag = TAG_MI;
151c66b8046SYuri Pankov cp = bp->text;
152c66b8046SYuri Pankov if (isdigit((unsigned char)cp[0]) ||
153c66b8046SYuri Pankov (cp[0] == '.' && isdigit((unsigned char)cp[1]))) {
154c66b8046SYuri Pankov tag = TAG_MN;
155c66b8046SYuri Pankov while (*++cp != '\0') {
156c66b8046SYuri Pankov if (*cp != '.' &&
157c66b8046SYuri Pankov isdigit((unsigned char)*cp) == 0) {
158c66b8046SYuri Pankov tag = TAG_MI;
159c66b8046SYuri Pankov break;
160c66b8046SYuri Pankov }
161c66b8046SYuri Pankov }
162c66b8046SYuri Pankov } else if (*cp != '\0' && isalpha((unsigned char)*cp) == 0) {
163c66b8046SYuri Pankov tag = TAG_MO;
164c66b8046SYuri Pankov while (*cp != '\0') {
165c66b8046SYuri Pankov if (cp[0] == '\\' && cp[1] != '\0') {
166c66b8046SYuri Pankov cp++;
167c66b8046SYuri Pankov mandoc_escape(&cp, NULL, NULL);
168c66b8046SYuri Pankov } else if (isalnum((unsigned char)*cp)) {
169c66b8046SYuri Pankov tag = TAG_MI;
170c66b8046SYuri Pankov break;
171c66b8046SYuri Pankov } else
172c66b8046SYuri Pankov cp++;
173c66b8046SYuri Pankov }
174c66b8046SYuri Pankov }
175c66b8046SYuri Pankov font = bp->font;
176c66b8046SYuri Pankov if (bp->text[0] != '\0' &&
177c66b8046SYuri Pankov (((tag == TAG_MN || tag == TAG_MO) &&
178c66b8046SYuri Pankov font == EQNFONT_ROMAN) ||
179c66b8046SYuri Pankov (tag == TAG_MI && font == (bp->text[1] == '\0' ?
180c66b8046SYuri Pankov EQNFONT_ITALIC : EQNFONT_ROMAN))))
181c66b8046SYuri Pankov font = EQNFONT_NONE;
182c66b8046SYuri Pankov switch (font) {
183c66b8046SYuri Pankov case EQNFONT_NONE:
184c66b8046SYuri Pankov post = print_otag(p, tag, "");
185c66b8046SYuri Pankov break;
186c66b8046SYuri Pankov case EQNFONT_ROMAN:
187c66b8046SYuri Pankov post = print_otag(p, tag, "?", "fontstyle", "normal");
188c66b8046SYuri Pankov break;
189c66b8046SYuri Pankov case EQNFONT_BOLD:
190c66b8046SYuri Pankov case EQNFONT_FAT:
191c66b8046SYuri Pankov post = print_otag(p, tag, "?", "fontweight", "bold");
192c66b8046SYuri Pankov break;
193c66b8046SYuri Pankov case EQNFONT_ITALIC:
194c66b8046SYuri Pankov post = print_otag(p, tag, "?", "fontstyle", "italic");
195c66b8046SYuri Pankov break;
196c66b8046SYuri Pankov default:
197c66b8046SYuri Pankov abort();
198c66b8046SYuri Pankov }
199260e9a87SYuri Pankov print_text(p, bp->text);
200260e9a87SYuri Pankov } else if (NULL == post) {
201a40ea1a7SYuri Pankov if (NULL != bp->left || NULL != bp->right)
202a40ea1a7SYuri Pankov post = print_otag(p, TAG_MFENCED, "??",
203a40ea1a7SYuri Pankov "open", bp->left == NULL ? "" : bp->left,
204a40ea1a7SYuri Pankov "close", bp->right == NULL ? "" : bp->right);
205260e9a87SYuri Pankov if (NULL == post)
206a40ea1a7SYuri Pankov post = print_otag(p, TAG_MROW, "");
207260e9a87SYuri Pankov else
208a40ea1a7SYuri Pankov print_otag(p, TAG_MROW, "");
209260e9a87SYuri Pankov }
210260e9a87SYuri Pankov
211260e9a87SYuri Pankov eqn_box(p, bp->first);
212260e9a87SYuri Pankov
213260e9a87SYuri Pankov out:
214260e9a87SYuri Pankov if (NULL != bp->bottom) {
215a40ea1a7SYuri Pankov t = print_otag(p, TAG_MO, "");
216260e9a87SYuri Pankov print_text(p, bp->bottom);
217260e9a87SYuri Pankov print_tagq(p, t);
218260e9a87SYuri Pankov }
219260e9a87SYuri Pankov if (NULL != bp->top) {
220a40ea1a7SYuri Pankov t = print_otag(p, TAG_MO, "");
221260e9a87SYuri Pankov print_text(p, bp->top);
222260e9a87SYuri Pankov print_tagq(p, t);
223260e9a87SYuri Pankov }
22495c635efSGarrett D'Amore
225260e9a87SYuri Pankov if (NULL != post)
226260e9a87SYuri Pankov print_tagq(p, post);
22795c635efSGarrett D'Amore
228260e9a87SYuri Pankov eqn_box(p, bp->next);
229260e9a87SYuri Pankov }
23095c635efSGarrett D'Amore
23195c635efSGarrett D'Amore void
print_eqn(struct html * p,const struct eqn_box * bp)232c66b8046SYuri Pankov print_eqn(struct html *p, const struct eqn_box *bp)
23395c635efSGarrett D'Amore {
23495c635efSGarrett D'Amore struct tag *t;
23595c635efSGarrett D'Amore
236c66b8046SYuri Pankov if (bp->first == NULL)
237c66b8046SYuri Pankov return;
238c66b8046SYuri Pankov
239a40ea1a7SYuri Pankov t = print_otag(p, TAG_MATH, "c", "eqn");
24095c635efSGarrett D'Amore
24195c635efSGarrett D'Amore p->flags |= HTML_NONOSPACE;
242c66b8046SYuri Pankov eqn_box(p, bp);
24395c635efSGarrett D'Amore p->flags &= ~HTML_NONOSPACE;
24495c635efSGarrett D'Amore
24595c635efSGarrett D'Amore print_tagq(p, t);
24695c635efSGarrett D'Amore }
247