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
33static void
34eqn_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
212out:
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
230void
231print_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}
246