In the validators, translate obsolete macro aliases (Lp, Ot, LP, P)

[mandoc.git] / man.c

diff --git a/man.c b/man.c
index 9ad4c13478c20494152ad4559ffd68bebabe9a04..e36dc833ff9c1b54c961b675a6cd7931f3a72d58 100644 (file)
--- a/man.c
+++ b/man.c
@@ -1,4 +1,4 @@
-/*     $Id: man.c,v 1.178 2018/08/23 19:33:27 schwarze Exp $ */
+/*     $Id: man.c,v 1.180 2018/08/26 16:21:23 schwarze Exp $ */
 /*
  * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2013,2014,2015,2017,2018 Ingo Schwarze <schwarze@openbsd.org>
@@ -35,7 +35,7 @@
 #include "roff_int.h"
 #include "libman.h"
 
-static void             man_descope(struct roff_man *, int, int);
+static char            *man_hasc(char *);
 static int              man_ptext(struct roff_man *, int, char *, int);
 static int              man_pmacro(struct roff_man *, int, char *, int);
 
@@ -52,18 +52,43 @@ man_parseln(struct roff_man *man, int ln, char *buf, int offs)
            man_ptext(man, ln, buf, offs);
 }
 
-static void
-man_descope(struct roff_man *man, int line, int offs)
+/*
+ * If the string ends with \c, return a pointer to the backslash.
+ * Otherwise, return NULL.
+ */
+static char *
+man_hasc(char *start)
+{
+       char    *cp, *ep;
+
+       ep = strchr(start, '\0') - 2;
+       if (ep < start || ep[0] != '\\' || ep[1] != 'c')
+               return NULL;
+       for (cp = ep; cp > start; cp--)
+               if (cp[-1] != '\\')
+                       break;
+       return (ep - cp) % 2 ? NULL : ep;
+}
+
+void
+man_descope(struct roff_man *man, int line, int offs, char *start)
 {
+       /* Trailing \c keeps next-line scope open. */
+
+       if (start != NULL && man_hasc(start) != NULL)
+               return;
+
        /*
         * Co-ordinate what happens with having a next-line scope open:
-        * first close out the element scope (if applicable), then close
-        * out the block scope (also if applicable).
+        * first close out the element scopes (if applicable),
+        * then close out the block scope (also if applicable).
         */
 
        if (man->flags & MAN_ELINE) {
+               while (man->last->parent->type != ROFFT_ROOT &&
+                   man_macro(man->last->parent->tok)->flags & MAN_ESCOPED)
+                       man_unscope(man, man->last->parent);
                man->flags &= ~MAN_ELINE;
-               man_unscope(man, man->last->parent);
        }
        if ( ! (man->flags & MAN_BLINE))
                return;
@@ -76,14 +101,13 @@ static int
 man_ptext(struct roff_man *man, int line, char *buf, int offs)
 {
        int              i;
-       const char      *cp, *sp;
        char            *ep;
 
        /* Literal free-form text whitespace is preserved. */
 
        if (man->flags & MAN_LITERAL) {
                roff_word_alloc(man, line, offs, buf + offs);
-               man_descope(man, line, offs);
+               man_descope(man, line, offs, buf + offs);
                return 1;
        }
 
@@ -104,20 +128,10 @@ man_ptext(struct roff_man *man, int line, char *buf, int offs)
                }
                if (man->last->tok == MAN_SH || man->last->tok == MAN_SS)
                        return 1;
-               switch (man->last->type) {
-               case ROFFT_TEXT:
-                       sp = man->last->string;
-                       cp = ep = strchr(sp, '\0') - 2;
-                       if (cp < sp || cp[0] != '\\' || cp[1] != 'c')
-                               break;
-                       while (cp > sp && cp[-1] == '\\')
-                               cp--;
-                       if ((ep - cp) % 2)
-                               break;
+               if (man->last->type == ROFFT_TEXT &&
+                   ((ep = man_hasc(man->last->string)) != NULL)) {
                        *ep = '\0';
                        return 1;
-               default:
-                       break;
                }
                roff_elem_alloc(man, line, offs, ROFF_sp);
                man->next = ROFF_NEXT_SIBLING;
@@ -157,7 +171,7 @@ man_ptext(struct roff_man *man, int line, char *buf, int offs)
        if (mandoc_eos(buf, (size_t)i))
                man->last->flags |= NODE_EOS;
 
-       man_descope(man, line, offs);
+       man_descope(man, line, offs, buf + offs);
        return 1;
 }
 
@@ -230,15 +244,11 @@ man_pmacro(struct roff_man *man, int ln, char *buf, int offs)
         * page, that's very likely what the author intended.
         */
 
-       if (bline) {
-               cp = strchr(buf + offs, '\0') - 2;
-               if (cp >= buf && cp[0] == '\\' && cp[1] == 'c')
-                       bline = 0;
-       }
+       if (bline && man_hasc(buf + offs))
+               bline = 0;
 
        /* Call to handler... */
 
-       assert(man_macro(tok)->fp != NULL);
        (*man_macro(tok)->fp)(man, tok, ln, ppos, &offs, buf);
 
        /* In quick mode (for mandocdb), abort after the NAME section. */
@@ -256,13 +266,13 @@ man_pmacro(struct roff_man *man, int ln, char *buf, int offs)
         * unless the next-line scope is allowed to continue.
         */
 
-       if ( ! bline || man->flags & MAN_ELINE ||
+       if (bline == 0 ||
+           (man->flags & MAN_BLINE) == 0 ||
+           man->flags & MAN_ELINE ||
            man_macro(tok)->flags & MAN_NSCOPED)
                return 1;
 
-       assert(man->flags & MAN_BLINE);
        man->flags &= ~MAN_BLINE;
-
        man_unscope(man, man->last->parent);
        roff_body_alloc(man, ln, ppos, man->last->tok);
        return 1;
@@ -285,7 +295,8 @@ man_breakscope(struct roff_man *man, int tok)
                if (n->type == ROFFT_TEXT)
                        n = n->parent;
                if (n->tok < MAN_TH ||
-                   man_macro(n->tok)->flags & MAN_NSCOPED)
+                   (man_macro(n->tok)->flags & (MAN_NSCOPED | MAN_ESCOPED))
+                    == MAN_NSCOPED)
                        n = n->parent;
 
                mandoc_vmsg(MANDOCERR_BLK_LINE, man->parse,
@@ -317,18 +328,18 @@ man_breakscope(struct roff_man *man, int tok)
         */
 
        if (man->flags & MAN_BLINE && (tok < MAN_TH ||
-           man_macro(tok)->flags & MAN_BSCOPE)) {
+           man_macro(tok)->flags & MAN_XSCOPE)) {
                n = man->last;
                if (n->type == ROFFT_TEXT)
                        n = n->parent;
                if (n->tok < MAN_TH ||
-                   (man_macro(n->tok)->flags & MAN_BSCOPE) == 0)
+                   (man_macro(n->tok)->flags & MAN_XSCOPE) == 0)
                        n = n->parent;
 
                assert(n->type == ROFFT_HEAD);
                n = n->parent;
                assert(n->type == ROFFT_BLOCK);
-               assert(man_macro(n->tok)->flags & MAN_SCOPED);
+               assert(man_macro(n->tok)->flags & MAN_BSCOPED);
 
                mandoc_vmsg(MANDOCERR_BLK_LINE, man->parse,
                    n->line, n->pos, "%s breaks %s",