xref: /freebsd/contrib/mandoc/eqn_html.c (revision 2e3507c25e42292b45a5482e116d278f5515d04d)
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
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
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