Delete a sentence pointing to "the Predefined Strings subsection

[mandoc.git] / eqn_term.c

diff --git a/eqn_term.c b/eqn_term.c
index cfbd8d48f8079ca57704e977dbc8675a1808ea25..3e27233b30f9ef1192c472dd3f9be80f045d0744 100644 (file)
--- a/eqn_term.c
+++ b/eqn_term.c
@@ -1,6 +1,7 @@
-/*     $Id: eqn_term.c,v 1.4 2011/07/24 10:09:03 kristaps Exp $ */
+/*     $Id: eqn_term.c,v 1.19 2018/12/13 05:23:38 schwarze Exp $ */
 /*
  * Copyright (c) 2011 Kristaps Dzonsons <kristaps@bsd.lv>
+ * Copyright (c) 2014, 2015, 2017 Ingo Schwarze <schwarze@openbsd.org>
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
@@ -14,16 +15,17 @@
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
-#ifdef HAVE_CONFIG_H
 #include "config.h"
-#endif
+
+#include <sys/types.h>
 
 #include <assert.h>
+#include <ctype.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
-#include "mandoc.h"
+#include "eqn.h"
 #include "out.h"
 #include "term.h"
 
@@ -37,40 +39,136 @@ static     const enum termfont fontmap[EQNFONT__MAX] = {
 
 static void    eqn_box(struct termp *, const struct eqn_box *);
 
+
 void
-term_eqn(struct termp *p, const struct eqn *ep)
+term_eqn(struct termp *p, const struct eqn_box *bp)
 {
 
-       p->flags |= TERMP_NONOSPACE;
-       eqn_box(p, ep->root);
-       term_word(p, " ");
-       p->flags &= ~TERMP_NONOSPACE;
+       eqn_box(p, bp);
+       p->flags &= ~TERMP_NOSPACE;
 }
 
 static void
 eqn_box(struct termp *p, const struct eqn_box *bp)
 {
+       const struct eqn_box *child;
+       const char *cp;
+       int delim;
+
+       /* Delimiters around this box? */
+
+       if ((bp->type == EQN_LIST && bp->expectargs > 1) ||
+           (bp->type == EQN_PILE && (bp->prev || bp->next)) ||
+           (bp->parent != NULL && (bp->parent->pos == EQNPOS_SQRT ||
+           /* Diacritic followed by ^ or _. */
+           ((bp->top != NULL || bp->bottom != NULL) &&
+            bp->parent->type == EQN_SUBEXPR &&
+            bp->parent->pos != EQNPOS_OVER && bp->next != NULL) ||
+           /* Nested over, sub, sup, from, to. */
+           (bp->type == EQN_SUBEXPR && bp->pos != EQNPOS_SQRT &&
+            ((bp->parent->type == EQN_LIST && bp->expectargs == 1) ||
+             (bp->parent->type == EQN_SUBEXPR &&
+              bp->pos != EQNPOS_SQRT)))))) {
+               if ((bp->parent->type == EQN_SUBEXPR && bp->prev != NULL) ||
+                   (bp->type == EQN_LIST &&
+                    bp->first != NULL &&
+                    bp->first->type != EQN_PILE &&
+                    bp->first->type != EQN_MATRIX &&
+                    bp->prev != NULL &&
+                    (bp->prev->type == EQN_LIST ||
+                     (bp->prev->type == EQN_TEXT &&
+                      (*bp->prev->text == '\\' ||
+                       isalpha((unsigned char)*bp->prev->text))))))
+                       p->flags |= TERMP_NOSPACE;
+               term_word(p, bp->left != NULL ? bp->left : "(");
+               p->flags |= TERMP_NOSPACE;
+               delim = 1;
+       } else
+               delim = 0;
 
-       if (EQNFONT_NONE != bp->font)
+       /* Handle Fonts and text. */
+
+       if (bp->font != EQNFONT_NONE)
                term_fontpush(p, fontmap[(int)bp->font]);
-       if (bp->left)
-               term_word(p, bp->left);
-       if (EQN_SUBEXPR == bp->type)
-               term_word(p, "(");
 
-       if (bp->text)
+       if (bp->text != NULL) {
+               if (strchr("!\"'),.:;?]}", *bp->text) != NULL)
+                       p->flags |= TERMP_NOSPACE;
                term_word(p, bp->text);
+               if ((cp = strchr(bp->text, '\0')) > bp->text &&
+                   (strchr("\"'([{", cp[-1]) != NULL ||
+                    (bp->prev == NULL && (cp[-1] == '-' ||
+                     (cp >= bp->text + 5 &&
+                      strcmp(cp - 5, "\\[mi]") == 0)))))
+                       p->flags |= TERMP_NOSPACE;
+       }
+
+       /* Special box types. */
 
-       if (bp->first)
-               eqn_box(p, bp->first);
+       if (bp->pos == EQNPOS_SQRT) {
+               term_word(p, "\\(sr");
+               if (bp->first != NULL) {
+                       p->flags |= TERMP_NOSPACE;
+                       eqn_box(p, bp->first);
+               }
+       } else if (bp->type == EQN_SUBEXPR) {
+               child = bp->first;
+               eqn_box(p, child);
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, bp->pos == EQNPOS_OVER ? "/" :
+                   (bp->pos == EQNPOS_SUP ||
+                    bp->pos == EQNPOS_TO) ? "^" : "_");
+               child = child->next;
+               if (child != NULL) {
+                       p->flags |= TERMP_NOSPACE;
+                       eqn_box(p, child);
+                       if (bp->pos == EQNPOS_FROMTO ||
+                           bp->pos == EQNPOS_SUBSUP) {
+                               p->flags |= TERMP_NOSPACE;
+                               term_word(p, "^");
+                               p->flags |= TERMP_NOSPACE;
+                               child = child->next;
+                               if (child != NULL)
+                                       eqn_box(p, child);
+                       }
+               }
+       } else {
+               child = bp->first;
+               if (bp->type == EQN_MATRIX &&
+                   child != NULL &&
+                   child->type == EQN_LIST &&
+                   child->expectargs > 1)
+                       child = child->first;
+               while (child != NULL) {
+                       eqn_box(p,
+                           bp->type == EQN_PILE &&
+                           child->type == EQN_LIST &&
+                           child->expectargs > 1 &&
+                           child->args == 1 ?
+                           child->first : child);
+                       child = child->next;
+               }
+       }
 
-       if (EQN_SUBEXPR == bp->type)
-               term_word(p, ")");
-       if (bp->right)
-               term_word(p, bp->right);
-       if (EQNFONT_NONE != bp->font) 
+       /* Handle Fonts and diacritics. */
+
+       if (bp->font != EQNFONT_NONE)
                term_fontpop(p);
+       if (bp->top != NULL) {
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, bp->top);
+       }
+       if (bp->bottom != NULL) {
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, "_");
+       }
+
+       /* Right delimiter after this box? */
 
-       if (bp->next)
-               eqn_box(p, bp->next);
+       if (delim) {
+               p->flags |= TERMP_NOSPACE;
+               term_word(p, bp->right != NULL ? bp->right : ")");
+               if (bp->parent->type == EQN_SUBEXPR && bp->next != NULL)
+                       p->flags |= TERMP_NOSPACE;
+       }
 }