xref: /illumos-gate/usr/src/cmd/mandoc/eqn_html.c (revision 4d131170)
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