260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov/* $Id: eqn_term.c,v 1.8 2015/01/01 15:36:08 schwarze Exp $ */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore/*
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov * Copyright (c) 2014, 2015 Ingo Schwarze <schwarze@openbsd.org>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore *
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * Permission to use, copy, modify, and distribute this software for any
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * purpose with or without fee is hereby granted, provided that the above
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * copyright notice and this permission notice appear in all copies.
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore *
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include "config.h"
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov#include <sys/types.h>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include <assert.h>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include <stdio.h>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include <stdlib.h>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include <string.h>
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include "mandoc.h"
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include "out.h"
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore#include "term.h"
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amorestatic const enum termfont fontmap[EQNFONT__MAX] = {
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore TERMFONT_NONE, /* EQNFONT_NONE */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore TERMFONT_NONE, /* EQNFONT_ROMAN */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore TERMFONT_BOLD, /* EQNFONT_BOLD */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore TERMFONT_BOLD, /* EQNFONT_FAT */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore TERMFONT_UNDER /* EQNFONT_ITALIC */
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore};
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amorestatic void eqn_box(struct termp *, const struct eqn_box *);
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amorevoid
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amoreterm_eqn(struct termp *p, const struct eqn *ep)
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore{
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore eqn_box(p, ep->root);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags &= ~TERMP_NOSPACE;
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore}
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amorestatic void
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amoreeqn_box(struct termp *p, const struct eqn_box *bp)
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore{
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov const struct eqn_box *child;
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->type == EQN_LIST ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov (bp->parent != NULL && bp->parent->pos == EQNPOS_SQRT)) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->parent->type == EQN_SUBEXPR && bp->prev != NULL)
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, bp->left != NULL ? bp->left : "(");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->font != EQNFONT_NONE)
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore term_fontpush(p, fontmap[(int)bp->font]);
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->text != NULL)
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore term_word(p, bp->text);
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->pos == EQNPOS_SQRT) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, "sqrt");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore eqn_box(p, bp->first);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov } else if (bp->type == EQN_SUBEXPR) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = bp->first;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov eqn_box(p, child);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, bp->pos == EQNPOS_OVER ? "/" :
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov (bp->pos == EQNPOS_SUP ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov bp->pos == EQNPOS_TO) ? "^" : "_");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = child->next;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (child != NULL) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov eqn_box(p, child);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->pos == EQNPOS_FROMTO ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov bp->pos == EQNPOS_SUBSUP) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, "^");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = child->next;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (child != NULL)
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov eqn_box(p, child);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov } else {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = bp->first;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->type == EQN_MATRIX && child->type == EQN_LIST)
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = child->first;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov while (child != NULL) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov eqn_box(p,
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov bp->type == EQN_PILE &&
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child->type == EQN_LIST &&
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child->args == 1 ?
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child->first : child);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov child = child->next;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->font != EQNFONT_NONE)
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore term_fontpop(p);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->type == EQN_LIST ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov (bp->parent != NULL && bp->parent->pos == EQNPOS_SQRT)) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, bp->right != NULL ? bp->right : ")");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->top != NULL) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, bp->top);
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov if (bp->bottom != NULL) {
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov p->flags |= TERMP_NOSPACE;
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov term_word(p, "_");
260e9a87725c090ba5835b1f9f0b62fa2f96036fYuri Pankov }
95c635efb7c3b86efc493e0447eaec7aecca3f0fGarrett D'Amore}