[BACK]Return to mdoc_validate.c CVS log [TXT][DIR] Up to [cvsweb.bsd.lv] / mandoc

Annotation of mandoc/mdoc_validate.c, Revision 1.354

1.354   ! schwarze    1: /*     $Id: mdoc_validate.c,v 1.353 2017/09/12 18:21:03 schwarze Exp $ */
1.1       kristaps    2: /*
1.183     schwarze    3:  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
1.311     schwarze    4:  * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org>
1.199     schwarze    5:  * Copyright (c) 2010 Joerg Sonnenberger <joerg@netbsd.org>
1.1       kristaps    6:  *
                      7:  * Permission to use, copy, modify, and distribute this software for any
1.5       kristaps    8:  * purpose with or without fee is hereby granted, provided that the above
                      9:  * copyright notice and this permission notice appear in all copies.
1.1       kristaps   10:  *
1.284     schwarze   11:  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
1.5       kristaps   12:  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1.284     schwarze   13:  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
1.5       kristaps   14:  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
                     15:  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
                     16:  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
                     17:  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1.1       kristaps   18:  */
1.56      kristaps   19: #include "config.h"
                     20:
1.244     schwarze   21: #include <sys/types.h>
1.196     schwarze   22: #ifndef OSNAME
1.132     kristaps   23: #include <sys/utsname.h>
                     24: #endif
1.1       kristaps   25:
                     26: #include <assert.h>
                     27: #include <ctype.h>
1.35      kristaps   28: #include <limits.h>
1.81      kristaps   29: #include <stdio.h>
1.1       kristaps   30: #include <stdlib.h>
1.2       kristaps   31: #include <string.h>
1.132     kristaps   32: #include <time.h>
1.1       kristaps   33:
1.284     schwarze   34: #include "mandoc_aux.h"
                     35: #include "mandoc.h"
1.346     schwarze   36: #include "mandoc_xr.h"
1.284     schwarze   37: #include "roff.h"
1.165     kristaps   38: #include "mdoc.h"
1.284     schwarze   39: #include "libmandoc.h"
1.287     schwarze   40: #include "roff_int.h"
1.1       kristaps   41: #include "libmdoc.h"
                     42:
                     43: /* FIXME: .Bl -diag can't have non-text children in HEAD. */
                     44:
1.286     schwarze   45: #define        POST_ARGS struct roff_man *mdoc
1.1       kristaps   46:
1.120     kristaps   47: enum   check_ineq {
                     48:        CHECK_LT,
                     49:        CHECK_GT,
                     50:        CHECK_EQ
                     51: };
                     52:
1.259     schwarze   53: typedef        void    (*v_post)(POST_ARGS);
1.1       kristaps   54:
1.317     schwarze   55: static int      build_list(struct roff_man *, int);
1.286     schwarze   56: static void     check_text(struct roff_man *, int, int, char *);
                     57: static void     check_argv(struct roff_man *,
1.285     schwarze   58:                        struct roff_node *, struct mdoc_argv *);
1.286     schwarze   59: static void     check_args(struct roff_man *, struct roff_node *);
1.336     schwarze   60: static void     check_toptext(struct roff_man *, int, int, const char *);
1.285     schwarze   61: static int      child_an(const struct roff_node *);
1.320     schwarze   62: static size_t          macro2len(enum roff_tok);
1.322     schwarze   63: static void     rewrite_macro2len(struct roff_man *, char **);
1.343     schwarze   64: static int      similar(const char *, const char *);
1.132     kristaps   65:
1.259     schwarze   66: static void     post_an(POST_ARGS);
1.299     schwarze   67: static void     post_an_norm(POST_ARGS);
1.259     schwarze   68: static void     post_at(POST_ARGS);
1.299     schwarze   69: static void     post_bd(POST_ARGS);
1.259     schwarze   70: static void     post_bf(POST_ARGS);
                     71: static void     post_bk(POST_ARGS);
                     72: static void     post_bl(POST_ARGS);
                     73: static void     post_bl_block(POST_ARGS);
                     74: static void     post_bl_head(POST_ARGS);
1.299     schwarze   75: static void     post_bl_norm(POST_ARGS);
1.259     schwarze   76: static void     post_bx(POST_ARGS);
                     77: static void     post_defaults(POST_ARGS);
1.299     schwarze   78: static void     post_display(POST_ARGS);
1.259     schwarze   79: static void     post_dd(POST_ARGS);
1.333     schwarze   80: static void     post_delim(POST_ARGS);
1.348     schwarze   81: static void     post_delim_nb(POST_ARGS);
1.259     schwarze   82: static void     post_dt(POST_ARGS);
                     83: static void     post_en(POST_ARGS);
                     84: static void     post_es(POST_ARGS);
                     85: static void     post_eoln(POST_ARGS);
                     86: static void     post_ex(POST_ARGS);
                     87: static void     post_fa(POST_ARGS);
                     88: static void     post_fn(POST_ARGS);
                     89: static void     post_fname(POST_ARGS);
                     90: static void     post_fo(POST_ARGS);
                     91: static void     post_hyph(POST_ARGS);
                     92: static void     post_ignpar(POST_ARGS);
                     93: static void     post_it(POST_ARGS);
                     94: static void     post_lb(POST_ARGS);
                     95: static void     post_nd(POST_ARGS);
                     96: static void     post_nm(POST_ARGS);
                     97: static void     post_ns(POST_ARGS);
1.299     schwarze   98: static void     post_obsolete(POST_ARGS);
1.259     schwarze   99: static void     post_os(POST_ARGS);
                    100: static void     post_par(POST_ARGS);
1.299     schwarze  101: static void     post_prevpar(POST_ARGS);
1.259     schwarze  102: static void     post_root(POST_ARGS);
                    103: static void     post_rs(POST_ARGS);
1.317     schwarze  104: static void     post_rv(POST_ARGS);
1.259     schwarze  105: static void     post_sh(POST_ARGS);
                    106: static void     post_sh_head(POST_ARGS);
                    107: static void     post_sh_name(POST_ARGS);
                    108: static void     post_sh_see_also(POST_ARGS);
                    109: static void     post_sh_authors(POST_ARGS);
                    110: static void     post_sm(POST_ARGS);
                    111: static void     post_st(POST_ARGS);
1.299     schwarze  112: static void     post_std(POST_ARGS);
1.348     schwarze  113: static void     post_sx(POST_ARGS);
1.328     schwarze  114: static void     post_useless(POST_ARGS);
1.310     schwarze  115: static void     post_xr(POST_ARGS);
1.315     schwarze  116: static void     post_xx(POST_ARGS);
1.259     schwarze  117:
1.320     schwarze  118: static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] = {
1.299     schwarze  119:        post_dd,        /* Dd */
                    120:        post_dt,        /* Dt */
                    121:        post_os,        /* Os */
                    122:        post_sh,        /* Sh */
                    123:        post_ignpar,    /* Ss */
                    124:        post_par,       /* Pp */
                    125:        post_display,   /* D1 */
                    126:        post_display,   /* Dl */
                    127:        post_display,   /* Bd */
                    128:        NULL,           /* Ed */
                    129:        post_bl,        /* Bl */
                    130:        NULL,           /* El */
                    131:        post_it,        /* It */
1.348     schwarze  132:        post_delim_nb,  /* Ad */
1.299     schwarze  133:        post_an,        /* An */
1.320     schwarze  134:        NULL,           /* Ap */
1.299     schwarze  135:        post_defaults,  /* Ar */
                    136:        NULL,           /* Cd */
1.348     schwarze  137:        post_delim_nb,  /* Cm */
                    138:        post_delim_nb,  /* Dv */
                    139:        post_delim_nb,  /* Er */
                    140:        post_delim_nb,  /* Ev */
1.299     schwarze  141:        post_ex,        /* Ex */
                    142:        post_fa,        /* Fa */
                    143:        NULL,           /* Fd */
1.348     schwarze  144:        post_delim_nb,  /* Fl */
1.299     schwarze  145:        post_fn,        /* Fn */
1.348     schwarze  146:        post_delim_nb,  /* Ft */
                    147:        post_delim_nb,  /* Ic */
                    148:        post_delim_nb,  /* In */
1.299     schwarze  149:        post_defaults,  /* Li */
                    150:        post_nd,        /* Nd */
                    151:        post_nm,        /* Nm */
1.348     schwarze  152:        post_delim_nb,  /* Op */
1.299     schwarze  153:        post_obsolete,  /* Ot */
                    154:        post_defaults,  /* Pa */
1.317     schwarze  155:        post_rv,        /* Rv */
1.299     schwarze  156:        post_st,        /* St */
1.348     schwarze  157:        post_delim_nb,  /* Va */
                    158:        post_delim_nb,  /* Vt */
1.310     schwarze  159:        post_xr,        /* Xr */
1.299     schwarze  160:        NULL,           /* %A */
                    161:        post_hyph,      /* %B */ /* FIXME: can be used outside Rs/Re. */
                    162:        NULL,           /* %D */
                    163:        NULL,           /* %I */
                    164:        NULL,           /* %J */
                    165:        post_hyph,      /* %N */
                    166:        post_hyph,      /* %O */
                    167:        NULL,           /* %P */
                    168:        post_hyph,      /* %R */
                    169:        post_hyph,      /* %T */ /* FIXME: can be used outside Rs/Re. */
                    170:        NULL,           /* %V */
                    171:        NULL,           /* Ac */
1.354   ! schwarze  172:        NULL,           /* Ao */
1.348     schwarze  173:        post_delim_nb,  /* Aq */
1.299     schwarze  174:        post_at,        /* At */
                    175:        NULL,           /* Bc */
                    176:        post_bf,        /* Bf */
1.354   ! schwarze  177:        NULL,           /* Bo */
1.299     schwarze  178:        NULL,           /* Bq */
1.315     schwarze  179:        post_xx,        /* Bsx */
1.299     schwarze  180:        post_bx,        /* Bx */
                    181:        post_obsolete,  /* Db */
                    182:        NULL,           /* Dc */
                    183:        NULL,           /* Do */
                    184:        NULL,           /* Dq */
                    185:        NULL,           /* Ec */
                    186:        NULL,           /* Ef */
1.348     schwarze  187:        post_delim_nb,  /* Em */
1.299     schwarze  188:        NULL,           /* Eo */
1.315     schwarze  189:        post_xx,        /* Fx */
1.348     schwarze  190:        post_delim_nb,  /* Ms */
1.335     schwarze  191:        NULL,           /* No */
1.299     schwarze  192:        post_ns,        /* Ns */
1.315     schwarze  193:        post_xx,        /* Nx */
                    194:        post_xx,        /* Ox */
1.299     schwarze  195:        NULL,           /* Pc */
                    196:        NULL,           /* Pf */
1.354   ! schwarze  197:        NULL,           /* Po */
1.348     schwarze  198:        post_delim_nb,  /* Pq */
1.299     schwarze  199:        NULL,           /* Qc */
1.348     schwarze  200:        post_delim_nb,  /* Ql */
1.354   ! schwarze  201:        NULL,           /* Qo */
1.348     schwarze  202:        post_delim_nb,  /* Qq */
1.299     schwarze  203:        NULL,           /* Re */
                    204:        post_rs,        /* Rs */
                    205:        NULL,           /* Sc */
1.354   ! schwarze  206:        NULL,           /* So */
1.348     schwarze  207:        post_delim_nb,  /* Sq */
1.299     schwarze  208:        post_sm,        /* Sm */
1.348     schwarze  209:        post_sx,        /* Sx */
                    210:        post_delim_nb,  /* Sy */
1.328     schwarze  211:        post_useless,   /* Tn */
1.315     schwarze  212:        post_xx,        /* Ux */
1.299     schwarze  213:        NULL,           /* Xc */
                    214:        NULL,           /* Xo */
                    215:        post_fo,        /* Fo */
                    216:        NULL,           /* Fc */
1.354   ! schwarze  217:        NULL,           /* Oo */
1.299     schwarze  218:        NULL,           /* Oc */
                    219:        post_bk,        /* Bk */
                    220:        NULL,           /* Ek */
                    221:        post_eoln,      /* Bt */
1.333     schwarze  222:        post_obsolete,  /* Hf */
1.299     schwarze  223:        post_obsolete,  /* Fr */
                    224:        post_eoln,      /* Ud */
                    225:        post_lb,        /* Lb */
                    226:        post_par,       /* Lp */
1.348     schwarze  227:        post_delim_nb,  /* Lk */
1.299     schwarze  228:        post_defaults,  /* Mt */
1.348     schwarze  229:        post_delim_nb,  /* Brq */
1.354   ! schwarze  230:        NULL,           /* Bro */
1.299     schwarze  231:        NULL,           /* Brc */
                    232:        NULL,           /* %C */
                    233:        post_es,        /* Es */
                    234:        post_en,        /* En */
1.315     schwarze  235:        post_xx,        /* Dx */
1.299     schwarze  236:        NULL,           /* %Q */
                    237:        NULL,           /* %U */
                    238:        NULL,           /* Ta */
1.1       kristaps  239: };
1.320     schwarze  240: static const v_post *const mdoc_valids = __mdoc_valids - MDOC_Dd;
1.1       kristaps  241:
1.122     kristaps  242: #define        RSORD_MAX 14 /* Number of `Rs' blocks. */
                    243:
1.320     schwarze  244: static const enum roff_tok rsord[RSORD_MAX] = {
1.122     kristaps  245:        MDOC__A,
                    246:        MDOC__T,
                    247:        MDOC__B,
                    248:        MDOC__I,
                    249:        MDOC__J,
                    250:        MDOC__R,
                    251:        MDOC__N,
                    252:        MDOC__V,
1.186     schwarze  253:        MDOC__U,
1.122     kristaps  254:        MDOC__P,
                    255:        MDOC__Q,
1.192     schwarze  256:        MDOC__C,
1.122     kristaps  257:        MDOC__D,
1.192     schwarze  258:        MDOC__O
1.122     kristaps  259: };
                    260:
1.160     kristaps  261: static const char * const secnames[SEC__MAX] = {
                    262:        NULL,
                    263:        "NAME",
                    264:        "LIBRARY",
                    265:        "SYNOPSIS",
                    266:        "DESCRIPTION",
1.208     schwarze  267:        "CONTEXT",
1.160     kristaps  268:        "IMPLEMENTATION NOTES",
                    269:        "RETURN VALUES",
                    270:        "ENVIRONMENT",
                    271:        "FILES",
                    272:        "EXIT STATUS",
                    273:        "EXAMPLES",
                    274:        "DIAGNOSTICS",
                    275:        "COMPATIBILITY",
                    276:        "ERRORS",
                    277:        "SEE ALSO",
                    278:        "STANDARDS",
                    279:        "HISTORY",
                    280:        "AUTHORS",
                    281:        "CAVEATS",
                    282:        "BUGS",
                    283:        "SECURITY CONSIDERATIONS",
                    284:        NULL
                    285: };
1.1       kristaps  286:
1.210     schwarze  287:
1.259     schwarze  288: void
1.298     schwarze  289: mdoc_node_validate(struct roff_man *mdoc)
1.1       kristaps  290: {
1.285     schwarze  291:        struct roff_node *n;
1.320     schwarze  292:        const v_post *p;
1.1       kristaps  293:
1.242     schwarze  294:        n = mdoc->last;
1.298     schwarze  295:        mdoc->last = mdoc->last->child;
                    296:        while (mdoc->last != NULL) {
                    297:                mdoc_node_validate(mdoc);
                    298:                if (mdoc->last == n)
                    299:                        mdoc->last = mdoc->last->child;
                    300:                else
                    301:                        mdoc->last = mdoc->last->next;
                    302:        }
1.1       kristaps  303:
1.298     schwarze  304:        mdoc->last = n;
                    305:        mdoc->next = ROFF_NEXT_SIBLING;
1.242     schwarze  306:        switch (n->type) {
1.284     schwarze  307:        case ROFFT_TEXT:
1.312     schwarze  308:                if (n->sec != SEC_SYNOPSIS ||
                    309:                    (n->parent->tok != MDOC_Cd && n->parent->tok != MDOC_Fd))
1.299     schwarze  310:                        check_text(mdoc, n->line, n->pos, n->string);
1.336     schwarze  311:                if (n->parent->tok == MDOC_It ||
                    312:                    (n->parent->type == ROFFT_BODY &&
                    313:                     (n->parent->tok == MDOC_Sh ||
                    314:                      n->parent->tok == MDOC_Ss)))
                    315:                        check_toptext(mdoc, n->line, n->pos, n->string);
1.299     schwarze  316:                break;
1.284     schwarze  317:        case ROFFT_EQN:
                    318:        case ROFFT_TBL:
1.259     schwarze  319:                break;
1.284     schwarze  320:        case ROFFT_ROOT:
1.259     schwarze  321:                post_root(mdoc);
                    322:                break;
1.150     kristaps  323:        default:
1.299     schwarze  324:                check_args(mdoc, mdoc->last);
1.255     schwarze  325:
                    326:                /*
                    327:                 * Closing delimiters are not special at the
                    328:                 * beginning of a block, opening delimiters
                    329:                 * are not special at the end.
                    330:                 */
                    331:
                    332:                if (n->child != NULL)
1.314     schwarze  333:                        n->child->flags &= ~NODE_DELIMC;
1.255     schwarze  334:                if (n->last != NULL)
1.314     schwarze  335:                        n->last->flags &= ~NODE_DELIMO;
1.255     schwarze  336:
                    337:                /* Call the macro's postprocessor. */
                    338:
1.323     schwarze  339:                if (n->tok < ROFF_MAX) {
                    340:                        switch(n->tok) {
                    341:                        case ROFF_br:
1.326     schwarze  342:                        case ROFF_sp:
1.323     schwarze  343:                                post_par(mdoc);
                    344:                                break;
                    345:                        default:
1.324     schwarze  346:                                roff_validate(mdoc);
                    347:                                break;
1.323     schwarze  348:                        }
                    349:                        break;
                    350:                }
                    351:
                    352:                assert(n->tok >= MDOC_Dd && n->tok < MDOC_MAX);
1.299     schwarze  353:                p = mdoc_valids + n->tok;
1.259     schwarze  354:                if (*p)
                    355:                        (*p)(mdoc);
1.298     schwarze  356:                if (mdoc->last == n)
                    357:                        mdoc_state(mdoc, n);
1.259     schwarze  358:                break;
1.150     kristaps  359:        }
1.1       kristaps  360: }
                    361:
1.259     schwarze  362: static void
1.286     schwarze  363: check_args(struct roff_man *mdoc, struct roff_node *n)
1.1       kristaps  364: {
                    365:        int              i;
                    366:
                    367:        if (NULL == n->args)
1.133     kristaps  368:                return;
1.1       kristaps  369:
                    370:        assert(n->args->argc);
                    371:        for (i = 0; i < (int)n->args->argc; i++)
1.191     schwarze  372:                check_argv(mdoc, n, &n->args->argv[i]);
1.1       kristaps  373: }
                    374:
1.133     kristaps  375: static void
1.286     schwarze  376: check_argv(struct roff_man *mdoc, struct roff_node *n, struct mdoc_argv *v)
1.1       kristaps  377: {
                    378:        int              i;
                    379:
                    380:        for (i = 0; i < (int)v->sz; i++)
1.191     schwarze  381:                check_text(mdoc, v->line, v->pos, v->value[i]);
1.1       kristaps  382: }
                    383:
1.133     kristaps  384: static void
1.286     schwarze  385: check_text(struct roff_man *mdoc, int ln, int pos, char *p)
1.1       kristaps  386: {
1.172     kristaps  387:        char            *cp;
1.102     kristaps  388:
1.191     schwarze  389:        if (MDOC_LITERAL & mdoc->flags)
1.177     schwarze  390:                return;
                    391:
                    392:        for (cp = p; NULL != (p = strchr(p, '\t')); p++)
1.229     schwarze  393:                mandoc_msg(MANDOCERR_FI_TAB, mdoc->parse,
                    394:                    ln, pos + (int)(p - cp), NULL);
1.1       kristaps  395: }
                    396:
1.259     schwarze  397: static void
1.336     schwarze  398: check_toptext(struct roff_man *mdoc, int ln, int pos, const char *p)
1.329     schwarze  399: {
1.336     schwarze  400:        const char      *cp, *cpr;
                    401:
                    402:        if (*p == '\0')
                    403:                return;
1.329     schwarze  404:
                    405:        if ((cp = strstr(p, "OpenBSD")) != NULL)
                    406:                mandoc_msg(MANDOCERR_BX, mdoc->parse,
                    407:                    ln, pos + (cp - p), "Ox");
                    408:        if ((cp = strstr(p, "NetBSD")) != NULL)
                    409:                mandoc_msg(MANDOCERR_BX, mdoc->parse,
                    410:                    ln, pos + (cp - p), "Nx");
                    411:        if ((cp = strstr(p, "FreeBSD")) != NULL)
                    412:                mandoc_msg(MANDOCERR_BX, mdoc->parse,
                    413:                    ln, pos + (cp - p), "Fx");
                    414:        if ((cp = strstr(p, "DragonFly")) != NULL)
                    415:                mandoc_msg(MANDOCERR_BX, mdoc->parse,
                    416:                    ln, pos + (cp - p), "Dx");
1.336     schwarze  417:
                    418:        cp = p;
                    419:        while ((cp = strstr(cp + 1, "()")) != NULL) {
                    420:                for (cpr = cp - 1; cpr >= p; cpr--)
                    421:                        if (*cpr != '_' && !isalnum((unsigned char)*cpr))
                    422:                                break;
                    423:                if ((cpr < p || *cpr == ' ') && cpr + 1 < cp) {
                    424:                        cpr++;
                    425:                        mandoc_vmsg(MANDOCERR_FUNC, mdoc->parse,
                    426:                            ln, pos + (cpr - p),
                    427:                            "%.*s()", (int)(cp - cpr), cpr);
                    428:                }
                    429:        }
1.329     schwarze  430: }
                    431:
                    432: static void
1.333     schwarze  433: post_delim(POST_ARGS)
                    434: {
                    435:        const struct roff_node  *nch;
1.348     schwarze  436:        const char              *lc;
                    437:        enum mdelim              delim;
                    438:        enum roff_tok            tok;
                    439:
                    440:        tok = mdoc->last->tok;
                    441:        nch = mdoc->last->last;
                    442:        if (nch == NULL || nch->type != ROFFT_TEXT)
                    443:                return;
                    444:        lc = strchr(nch->string, '\0') - 1;
                    445:        if (lc < nch->string)
                    446:                return;
                    447:        delim = mdoc_isdelim(lc);
                    448:        if (delim == DELIM_NONE || delim == DELIM_OPEN)
                    449:                return;
                    450:        if (*lc == ')' && (tok == MDOC_Nd || tok == MDOC_Sh ||
                    451:            tok == MDOC_Ss || tok == MDOC_Fo))
                    452:                return;
                    453:
                    454:        mandoc_vmsg(MANDOCERR_DELIM, mdoc->parse,
                    455:            nch->line, nch->pos + (lc - nch->string),
                    456:            "%s%s %s", roff_name[tok],
                    457:            nch == mdoc->last->child ? "" : " ...", nch->string);
                    458: }
                    459:
                    460: static void
                    461: post_delim_nb(POST_ARGS)
                    462: {
                    463:        const struct roff_node  *nch;
1.334     schwarze  464:        const char              *lc, *cp;
                    465:        int                      nw;
1.333     schwarze  466:        enum mdelim              delim;
1.334     schwarze  467:        enum roff_tok            tok;
1.333     schwarze  468:
1.334     schwarze  469:        /*
                    470:         * Find candidates: at least two bytes,
                    471:         * the last one a closing or middle delimiter.
                    472:         */
                    473:
                    474:        tok = mdoc->last->tok;
1.333     schwarze  475:        nch = mdoc->last->last;
                    476:        if (nch == NULL || nch->type != ROFFT_TEXT)
                    477:                return;
                    478:        lc = strchr(nch->string, '\0') - 1;
                    479:        if (lc <= nch->string)
                    480:                return;
                    481:        delim = mdoc_isdelim(lc);
                    482:        if (delim == DELIM_NONE || delim == DELIM_OPEN)
                    483:                return;
1.334     schwarze  484:
                    485:        /*
                    486:         * Reduce false positives by allowing various cases.
                    487:         */
                    488:
                    489:        /* Escaped delimiters. */
                    490:        if (lc > nch->string + 1 && lc[-2] == '\\' &&
                    491:            (lc[-1] == '&' || lc[-1] == 'e'))
                    492:                return;
                    493:
                    494:        /* Specific byte sequences. */
                    495:        switch (*lc) {
                    496:        case ')':
                    497:                for (cp = lc; cp >= nch->string; cp--)
                    498:                        if (*cp == '(')
                    499:                                return;
                    500:                break;
                    501:        case '.':
                    502:                if (lc > nch->string + 1 && lc[-2] == '.' && lc[-1] == '.')
                    503:                        return;
                    504:                if (lc[-1] == '.')
                    505:                        return;
                    506:                break;
                    507:        case ';':
                    508:                if (tok == MDOC_Vt)
                    509:                        return;
                    510:                break;
                    511:        case '?':
                    512:                if (lc[-1] == '?')
                    513:                        return;
                    514:                break;
                    515:        case ']':
                    516:                for (cp = lc; cp >= nch->string; cp--)
                    517:                        if (*cp == '[')
                    518:                                return;
                    519:                break;
                    520:        case '|':
                    521:                if (lc == nch->string + 1 && lc[-1] == '|')
                    522:                        return;
                    523:        default:
                    524:                break;
                    525:        }
                    526:
                    527:        /* Exactly two non-alphanumeric bytes. */
                    528:        if (lc == nch->string + 1 && !isalnum((unsigned char)lc[-1]))
                    529:                return;
                    530:
                    531:        /* At least three alphabetic words with a sentence ending. */
                    532:        if (strchr("!.:?", *lc) != NULL && (tok == MDOC_Em ||
1.354   ! schwarze  533:            tok == MDOC_Li || tok == MDOC_Pq || tok == MDOC_Sy)) {
1.334     schwarze  534:                nw = 0;
                    535:                for (cp = lc - 1; cp >= nch->string; cp--) {
                    536:                        if (*cp == ' ') {
                    537:                                nw++;
                    538:                                if (cp > nch->string && cp[-1] == ',')
                    539:                                        cp--;
                    540:                        } else if (isalpha((unsigned int)*cp)) {
                    541:                                if (nw > 1)
                    542:                                        return;
                    543:                        } else
                    544:                                break;
                    545:                }
                    546:        }
                    547:
1.348     schwarze  548:        mandoc_vmsg(MANDOCERR_DELIM_NB, mdoc->parse,
1.333     schwarze  549:            nch->line, nch->pos + (lc - nch->string),
1.334     schwarze  550:            "%s%s %s", roff_name[tok],
1.333     schwarze  551:            nch == mdoc->last->child ? "" : " ...", nch->string);
                    552: }
                    553:
                    554: static void
1.299     schwarze  555: post_bl_norm(POST_ARGS)
1.1       kristaps  556: {
1.299     schwarze  557:        struct roff_node *n;
1.238     schwarze  558:        struct mdoc_argv *argv, *wa;
1.227     schwarze  559:        int               i;
1.238     schwarze  560:        enum mdocargt     mdoclt;
1.104     kristaps  561:        enum mdoc_list    lt;
1.1       kristaps  562:
1.299     schwarze  563:        n = mdoc->last->parent;
                    564:        n->norm->Bl.type = LIST__NONE;
1.1       kristaps  565:
1.210     schwarze  566:        /*
1.91      kristaps  567:         * First figure out which kind of list to use: bind ourselves to
                    568:         * the first mentioned list type and warn about any remaining
                    569:         * ones.  If we find no list type, we default to LIST_item.
                    570:         */
1.1       kristaps  571:
1.245     schwarze  572:        wa = (n->args == NULL) ? NULL : n->args->argv;
1.238     schwarze  573:        mdoclt = MDOC_ARG_MAX;
1.91      kristaps  574:        for (i = 0; n->args && i < (int)n->args->argc; i++) {
1.227     schwarze  575:                argv = n->args->argv + i;
1.91      kristaps  576:                lt = LIST__NONE;
1.227     schwarze  577:                switch (argv->arg) {
1.91      kristaps  578:                /* Set list types. */
1.210     schwarze  579:                case MDOC_Bullet:
1.91      kristaps  580:                        lt = LIST_bullet;
                    581:                        break;
1.210     schwarze  582:                case MDOC_Dash:
1.91      kristaps  583:                        lt = LIST_dash;
                    584:                        break;
1.210     schwarze  585:                case MDOC_Enum:
1.91      kristaps  586:                        lt = LIST_enum;
                    587:                        break;
1.210     schwarze  588:                case MDOC_Hyphen:
1.91      kristaps  589:                        lt = LIST_hyphen;
                    590:                        break;
1.210     schwarze  591:                case MDOC_Item:
1.91      kristaps  592:                        lt = LIST_item;
                    593:                        break;
1.210     schwarze  594:                case MDOC_Tag:
1.91      kristaps  595:                        lt = LIST_tag;
                    596:                        break;
1.210     schwarze  597:                case MDOC_Diag:
1.91      kristaps  598:                        lt = LIST_diag;
                    599:                        break;
1.210     schwarze  600:                case MDOC_Hang:
1.91      kristaps  601:                        lt = LIST_hang;
                    602:                        break;
1.210     schwarze  603:                case MDOC_Ohang:
1.91      kristaps  604:                        lt = LIST_ohang;
                    605:                        break;
1.210     schwarze  606:                case MDOC_Inset:
1.91      kristaps  607:                        lt = LIST_inset;
                    608:                        break;
1.210     schwarze  609:                case MDOC_Column:
1.91      kristaps  610:                        lt = LIST_column;
                    611:                        break;
                    612:                /* Set list arguments. */
1.210     schwarze  613:                case MDOC_Compact:
1.227     schwarze  614:                        if (n->norm->Bl.comp)
                    615:                                mandoc_msg(MANDOCERR_ARG_REP,
                    616:                                    mdoc->parse, argv->line,
                    617:                                    argv->pos, "Bl -compact");
                    618:                        n->norm->Bl.comp = 1;
1.91      kristaps  619:                        break;
1.210     schwarze  620:                case MDOC_Width:
1.238     schwarze  621:                        wa = argv;
1.227     schwarze  622:                        if (0 == argv->sz) {
                    623:                                mandoc_msg(MANDOCERR_ARG_EMPTY,
                    624:                                    mdoc->parse, argv->line,
                    625:                                    argv->pos, "Bl -width");
                    626:                                n->norm->Bl.width = "0n";
1.182     kristaps  627:                                break;
                    628:                        }
1.227     schwarze  629:                        if (NULL != n->norm->Bl.width)
                    630:                                mandoc_vmsg(MANDOCERR_ARG_REP,
                    631:                                    mdoc->parse, argv->line,
                    632:                                    argv->pos, "Bl -width %s",
                    633:                                    argv->value[0]);
1.322     schwarze  634:                        rewrite_macro2len(mdoc, argv->value);
1.227     schwarze  635:                        n->norm->Bl.width = argv->value[0];
1.8       kristaps  636:                        break;
1.210     schwarze  637:                case MDOC_Offset:
1.227     schwarze  638:                        if (0 == argv->sz) {
                    639:                                mandoc_msg(MANDOCERR_ARG_EMPTY,
                    640:                                    mdoc->parse, argv->line,
                    641:                                    argv->pos, "Bl -offset");
1.98      kristaps  642:                                break;
                    643:                        }
1.227     schwarze  644:                        if (NULL != n->norm->Bl.offs)
                    645:                                mandoc_vmsg(MANDOCERR_ARG_REP,
                    646:                                    mdoc->parse, argv->line,
                    647:                                    argv->pos, "Bl -offset %s",
                    648:                                    argv->value[0]);
1.322     schwarze  649:                        rewrite_macro2len(mdoc, argv->value);
1.227     schwarze  650:                        n->norm->Bl.offs = argv->value[0];
1.1       kristaps  651:                        break;
1.113     kristaps  652:                default:
                    653:                        continue;
1.1       kristaps  654:                }
1.228     schwarze  655:                if (LIST__NONE == lt)
                    656:                        continue;
1.238     schwarze  657:                mdoclt = argv->arg;
1.1       kristaps  658:
1.91      kristaps  659:                /* Check: multiple list types. */
                    660:
1.228     schwarze  661:                if (LIST__NONE != n->norm->Bl.type) {
1.239     schwarze  662:                        mandoc_vmsg(MANDOCERR_BL_REP,
1.228     schwarze  663:                            mdoc->parse, n->line, n->pos,
1.239     schwarze  664:                            "Bl -%s", mdoc_argnames[argv->arg]);
1.228     schwarze  665:                        continue;
1.109     kristaps  666:                }
1.91      kristaps  667:
                    668:                /* The list type should come first. */
                    669:
1.228     schwarze  670:                if (n->norm->Bl.width ||
                    671:                    n->norm->Bl.offs ||
                    672:                    n->norm->Bl.comp)
1.239     schwarze  673:                        mandoc_vmsg(MANDOCERR_BL_LATETYPE,
                    674:                            mdoc->parse, n->line, n->pos, "Bl -%s",
1.228     schwarze  675:                            mdoc_argnames[n->args->argv[0].arg]);
                    676:
                    677:                n->norm->Bl.type = lt;
                    678:                if (LIST_column == lt) {
                    679:                        n->norm->Bl.ncols = argv->sz;
                    680:                        n->norm->Bl.cols = (void *)argv->value;
                    681:                }
1.91      kristaps  682:        }
                    683:
                    684:        /* Allow lists to default to LIST_item. */
                    685:
1.147     kristaps  686:        if (LIST__NONE == n->norm->Bl.type) {
1.239     schwarze  687:                mandoc_msg(MANDOCERR_BL_NOTYPE, mdoc->parse,
                    688:                    n->line, n->pos, "Bl");
1.147     kristaps  689:                n->norm->Bl.type = LIST_item;
1.303     schwarze  690:                mdoclt = MDOC_Item;
1.79      kristaps  691:        }
1.1       kristaps  692:
1.210     schwarze  693:        /*
1.8       kristaps  694:         * Validate the width field.  Some list types don't need width
                    695:         * types and should be warned about them.  Others should have it
1.185     schwarze  696:         * and must also be warned.  Yet others have a default and need
                    697:         * no warning.
1.8       kristaps  698:         */
                    699:
1.147     kristaps  700:        switch (n->norm->Bl.type) {
1.210     schwarze  701:        case LIST_tag:
1.349     schwarze  702:                if (n->norm->Bl.width == NULL)
1.239     schwarze  703:                        mandoc_msg(MANDOCERR_BL_NOWIDTH, mdoc->parse,
                    704:                            n->line, n->pos, "Bl -tag");
1.133     kristaps  705:                break;
1.210     schwarze  706:        case LIST_column:
                    707:        case LIST_diag:
                    708:        case LIST_ohang:
                    709:        case LIST_inset:
                    710:        case LIST_item:
1.349     schwarze  711:                if (n->norm->Bl.width != NULL)
1.238     schwarze  712:                        mandoc_vmsg(MANDOCERR_BL_SKIPW, mdoc->parse,
                    713:                            wa->line, wa->pos, "Bl -%s",
                    714:                            mdoc_argnames[mdoclt]);
1.349     schwarze  715:                n->norm->Bl.width = NULL;
1.185     schwarze  716:                break;
1.210     schwarze  717:        case LIST_bullet:
                    718:        case LIST_dash:
                    719:        case LIST_hyphen:
1.349     schwarze  720:                if (n->norm->Bl.width == NULL)
1.185     schwarze  721:                        n->norm->Bl.width = "2n";
                    722:                break;
1.210     schwarze  723:        case LIST_enum:
1.349     schwarze  724:                if (n->norm->Bl.width == NULL)
1.185     schwarze  725:                        n->norm->Bl.width = "3n";
1.133     kristaps  726:                break;
1.8       kristaps  727:        default:
                    728:                break;
                    729:        }
1.1       kristaps  730: }
                    731:
1.259     schwarze  732: static void
1.299     schwarze  733: post_bd(POST_ARGS)
1.1       kristaps  734: {
1.299     schwarze  735:        struct roff_node *n;
1.227     schwarze  736:        struct mdoc_argv *argv;
                    737:        int               i;
1.210     schwarze  738:        enum mdoc_disp    dt;
1.1       kristaps  739:
1.299     schwarze  740:        n = mdoc->last;
1.93      kristaps  741:        for (i = 0; n->args && i < (int)n->args->argc; i++) {
1.227     schwarze  742:                argv = n->args->argv + i;
1.93      kristaps  743:                dt = DISP__NONE;
1.94      kristaps  744:
1.227     schwarze  745:                switch (argv->arg) {
1.210     schwarze  746:                case MDOC_Centred:
1.231     schwarze  747:                        dt = DISP_centered;
1.93      kristaps  748:                        break;
1.210     schwarze  749:                case MDOC_Ragged:
1.93      kristaps  750:                        dt = DISP_ragged;
                    751:                        break;
1.210     schwarze  752:                case MDOC_Unfilled:
1.93      kristaps  753:                        dt = DISP_unfilled;
                    754:                        break;
1.210     schwarze  755:                case MDOC_Filled:
1.93      kristaps  756:                        dt = DISP_filled;
                    757:                        break;
1.210     schwarze  758:                case MDOC_Literal:
1.93      kristaps  759:                        dt = DISP_literal;
1.79      kristaps  760:                        break;
1.210     schwarze  761:                case MDOC_File:
1.239     schwarze  762:                        mandoc_msg(MANDOCERR_BD_FILE, mdoc->parse,
                    763:                            n->line, n->pos, NULL);
1.258     schwarze  764:                        break;
1.210     schwarze  765:                case MDOC_Offset:
1.227     schwarze  766:                        if (0 == argv->sz) {
                    767:                                mandoc_msg(MANDOCERR_ARG_EMPTY,
                    768:                                    mdoc->parse, argv->line,
                    769:                                    argv->pos, "Bd -offset");
1.94      kristaps  770:                                break;
                    771:                        }
1.227     schwarze  772:                        if (NULL != n->norm->Bd.offs)
                    773:                                mandoc_vmsg(MANDOCERR_ARG_REP,
                    774:                                    mdoc->parse, argv->line,
                    775:                                    argv->pos, "Bd -offset %s",
                    776:                                    argv->value[0]);
1.322     schwarze  777:                        rewrite_macro2len(mdoc, argv->value);
1.227     schwarze  778:                        n->norm->Bd.offs = argv->value[0];
1.94      kristaps  779:                        break;
1.210     schwarze  780:                case MDOC_Compact:
1.227     schwarze  781:                        if (n->norm->Bd.comp)
                    782:                                mandoc_msg(MANDOCERR_ARG_REP,
                    783:                                    mdoc->parse, argv->line,
                    784:                                    argv->pos, "Bd -compact");
                    785:                        n->norm->Bd.comp = 1;
1.94      kristaps  786:                        break;
1.1       kristaps  787:                default:
1.94      kristaps  788:                        abort();
1.1       kristaps  789:                }
1.228     schwarze  790:                if (DISP__NONE == dt)
                    791:                        continue;
1.94      kristaps  792:
1.228     schwarze  793:                if (DISP__NONE == n->norm->Bd.type)
1.147     kristaps  794:                        n->norm->Bd.type = dt;
1.228     schwarze  795:                else
1.239     schwarze  796:                        mandoc_vmsg(MANDOCERR_BD_REP,
1.228     schwarze  797:                            mdoc->parse, n->line, n->pos,
1.239     schwarze  798:                            "Bd -%s", mdoc_argnames[argv->arg]);
1.93      kristaps  799:        }
                    800:
1.147     kristaps  801:        if (DISP__NONE == n->norm->Bd.type) {
1.239     schwarze  802:                mandoc_msg(MANDOCERR_BD_NOTYPE, mdoc->parse,
                    803:                    n->line, n->pos, "Bd");
1.147     kristaps  804:                n->norm->Bd.type = DISP_ragged;
1.93      kristaps  805:        }
1.1       kristaps  806: }
                    807:
1.317     schwarze  808: /*
                    809:  * Stand-alone line macros.
                    810:  */
                    811:
1.259     schwarze  812: static void
1.299     schwarze  813: post_an_norm(POST_ARGS)
1.1       kristaps  814: {
1.299     schwarze  815:        struct roff_node *n;
1.238     schwarze  816:        struct mdoc_argv *argv;
                    817:        size_t   i;
1.1       kristaps  818:
1.299     schwarze  819:        n = mdoc->last;
1.238     schwarze  820:        if (n->args == NULL)
1.259     schwarze  821:                return;
1.210     schwarze  822:
1.238     schwarze  823:        for (i = 1; i < n->args->argc; i++) {
                    824:                argv = n->args->argv + i;
                    825:                mandoc_vmsg(MANDOCERR_AN_REP,
                    826:                    mdoc->parse, argv->line, argv->pos,
                    827:                    "An -%s", mdoc_argnames[argv->arg]);
                    828:        }
1.120     kristaps  829:
1.238     schwarze  830:        argv = n->args->argv;
                    831:        if (argv->arg == MDOC_Split)
1.147     kristaps  832:                n->norm->An.auth = AUTH_split;
1.238     schwarze  833:        else if (argv->arg == MDOC_Nosplit)
1.147     kristaps  834:                n->norm->An.auth = AUTH_nosplit;
1.107     kristaps  835:        else
                    836:                abort();
1.1       kristaps  837: }
                    838:
1.259     schwarze  839: static void
1.317     schwarze  840: post_eoln(POST_ARGS)
                    841: {
                    842:        struct roff_node        *n;
                    843:
1.328     schwarze  844:        post_useless(mdoc);
1.317     schwarze  845:        n = mdoc->last;
                    846:        if (n->child != NULL)
1.320     schwarze  847:                mandoc_vmsg(MANDOCERR_ARG_SKIP, mdoc->parse, n->line,
                    848:                    n->pos, "%s %s", roff_name[n->tok], n->child->string);
1.317     schwarze  849:
                    850:        while (n->child != NULL)
                    851:                roff_node_delete(mdoc, n->child);
                    852:
                    853:        roff_word_alloc(mdoc, n->line, n->pos, n->tok == MDOC_Bt ?
                    854:            "is currently in beta test." : "currently under development.");
                    855:        mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
                    856:        mdoc->last = n;
                    857: }
                    858:
                    859: static int
                    860: build_list(struct roff_man *mdoc, int tok)
                    861: {
                    862:        struct roff_node        *n;
                    863:        int                      ic;
                    864:
                    865:        n = mdoc->last->next;
                    866:        for (ic = 1;; ic++) {
                    867:                roff_elem_alloc(mdoc, n->line, n->pos, tok);
                    868:                mdoc->last->flags |= NODE_NOSRC;
                    869:                mdoc_node_relink(mdoc, n);
                    870:                n = mdoc->last = mdoc->last->parent;
                    871:                mdoc->next = ROFF_NEXT_SIBLING;
                    872:                if (n->next == NULL)
                    873:                        return ic;
                    874:                if (ic > 1 || n->next->next != NULL) {
                    875:                        roff_word_alloc(mdoc, n->line, n->pos, ",");
                    876:                        mdoc->last->flags |= NODE_DELIMC | NODE_NOSRC;
                    877:                }
                    878:                n = mdoc->last->next;
                    879:                if (n->next == NULL) {
                    880:                        roff_word_alloc(mdoc, n->line, n->pos, "and");
                    881:                        mdoc->last->flags |= NODE_NOSRC;
                    882:                }
                    883:        }
                    884: }
                    885:
                    886: static void
                    887: post_ex(POST_ARGS)
                    888: {
                    889:        struct roff_node        *n;
                    890:        int                      ic;
                    891:
                    892:        post_std(mdoc);
                    893:
                    894:        n = mdoc->last;
                    895:        mdoc->next = ROFF_NEXT_CHILD;
                    896:        roff_word_alloc(mdoc, n->line, n->pos, "The");
                    897:        mdoc->last->flags |= NODE_NOSRC;
                    898:
                    899:        if (mdoc->last->next != NULL)
                    900:                ic = build_list(mdoc, MDOC_Nm);
                    901:        else if (mdoc->meta.name != NULL) {
                    902:                roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Nm);
                    903:                mdoc->last->flags |= NODE_NOSRC;
                    904:                roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
                    905:                mdoc->last->flags |= NODE_NOSRC;
                    906:                mdoc->last = mdoc->last->parent;
                    907:                mdoc->next = ROFF_NEXT_SIBLING;
                    908:                ic = 1;
                    909:        } else {
                    910:                mandoc_msg(MANDOCERR_EX_NONAME, mdoc->parse,
                    911:                    n->line, n->pos, "Ex");
                    912:                ic = 0;
                    913:        }
                    914:
                    915:        roff_word_alloc(mdoc, n->line, n->pos,
                    916:            ic > 1 ? "utilities exit\\~0" : "utility exits\\~0");
                    917:        mdoc->last->flags |= NODE_NOSRC;
                    918:        roff_word_alloc(mdoc, n->line, n->pos,
                    919:            "on success, and\\~>0 if an error occurs.");
                    920:        mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
                    921:        mdoc->last = n;
                    922: }
                    923:
                    924: static void
                    925: post_lb(POST_ARGS)
                    926: {
                    927:        struct roff_node        *n;
                    928:        const char              *p;
                    929:
1.348     schwarze  930:        post_delim_nb(mdoc);
1.333     schwarze  931:
1.317     schwarze  932:        n = mdoc->last;
                    933:        assert(n->child->type == ROFFT_TEXT);
                    934:        mdoc->next = ROFF_NEXT_CHILD;
                    935:
                    936:        if ((p = mdoc_a2lib(n->child->string)) != NULL) {
                    937:                n->child->flags |= NODE_NOPRT;
                    938:                roff_word_alloc(mdoc, n->line, n->pos, p);
                    939:                mdoc->last->flags = NODE_NOSRC;
                    940:                mdoc->last = n;
                    941:                return;
                    942:        }
1.332     schwarze  943:
                    944:        mandoc_vmsg(MANDOCERR_LB_BAD, mdoc->parse, n->child->line,
                    945:            n->child->pos, "Lb %s", n->child->string);
1.317     schwarze  946:
                    947:        roff_word_alloc(mdoc, n->line, n->pos, "library");
                    948:        mdoc->last->flags = NODE_NOSRC;
                    949:        roff_word_alloc(mdoc, n->line, n->pos, "\\(Lq");
                    950:        mdoc->last->flags = NODE_DELIMO | NODE_NOSRC;
                    951:        mdoc->last = mdoc->last->next;
                    952:        roff_word_alloc(mdoc, n->line, n->pos, "\\(Rq");
                    953:        mdoc->last->flags = NODE_DELIMC | NODE_NOSRC;
                    954:        mdoc->last = n;
                    955: }
                    956:
                    957: static void
                    958: post_rv(POST_ARGS)
                    959: {
                    960:        struct roff_node        *n;
                    961:        int                      ic;
                    962:
                    963:        post_std(mdoc);
                    964:
                    965:        n = mdoc->last;
                    966:        mdoc->next = ROFF_NEXT_CHILD;
                    967:        if (n->child != NULL) {
                    968:                roff_word_alloc(mdoc, n->line, n->pos, "The");
                    969:                mdoc->last->flags |= NODE_NOSRC;
                    970:                ic = build_list(mdoc, MDOC_Fn);
                    971:                roff_word_alloc(mdoc, n->line, n->pos,
                    972:                    ic > 1 ? "functions return" : "function returns");
                    973:                mdoc->last->flags |= NODE_NOSRC;
                    974:                roff_word_alloc(mdoc, n->line, n->pos,
                    975:                    "the value\\~0 if successful;");
                    976:        } else
                    977:                roff_word_alloc(mdoc, n->line, n->pos, "Upon successful "
                    978:                    "completion, the value\\~0 is returned;");
                    979:        mdoc->last->flags |= NODE_NOSRC;
                    980:
                    981:        roff_word_alloc(mdoc, n->line, n->pos, "otherwise "
                    982:            "the value\\~\\-1 is returned and the global variable");
                    983:        mdoc->last->flags |= NODE_NOSRC;
                    984:        roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Va);
                    985:        mdoc->last->flags |= NODE_NOSRC;
                    986:        roff_word_alloc(mdoc, n->line, n->pos, "errno");
                    987:        mdoc->last->flags |= NODE_NOSRC;
                    988:        mdoc->last = mdoc->last->parent;
                    989:        mdoc->next = ROFF_NEXT_SIBLING;
                    990:        roff_word_alloc(mdoc, n->line, n->pos,
                    991:            "is set to indicate the error.");
                    992:        mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
                    993:        mdoc->last = n;
                    994: }
                    995:
                    996: static void
1.299     schwarze  997: post_std(POST_ARGS)
1.1       kristaps  998: {
1.299     schwarze  999:        struct roff_node *n;
1.1       kristaps 1000:
1.348     schwarze 1001:        post_delim(mdoc);
                   1002:
1.299     schwarze 1003:        n = mdoc->last;
                   1004:        if (n->args && n->args->argc == 1)
                   1005:                if (n->args->argv[0].arg == MDOC_Std)
1.259     schwarze 1006:                        return;
1.133     kristaps 1007:
1.225     schwarze 1008:        mandoc_msg(MANDOCERR_ARG_STD, mdoc->parse,
1.320     schwarze 1009:            n->line, n->pos, roff_name[n->tok]);
1.1       kristaps 1010: }
                   1011:
1.259     schwarze 1012: static void
1.317     schwarze 1013: post_st(POST_ARGS)
                   1014: {
                   1015:        struct roff_node         *n, *nch;
                   1016:        const char               *p;
                   1017:
                   1018:        n = mdoc->last;
                   1019:        nch = n->child;
                   1020:        assert(nch->type == ROFFT_TEXT);
                   1021:
                   1022:        if ((p = mdoc_a2st(nch->string)) == NULL) {
                   1023:                mandoc_vmsg(MANDOCERR_ST_BAD, mdoc->parse,
                   1024:                    nch->line, nch->pos, "St %s", nch->string);
                   1025:                roff_node_delete(mdoc, n);
                   1026:                return;
                   1027:        }
                   1028:
                   1029:        nch->flags |= NODE_NOPRT;
                   1030:        mdoc->next = ROFF_NEXT_CHILD;
                   1031:        roff_word_alloc(mdoc, nch->line, nch->pos, p);
                   1032:        mdoc->last->flags |= NODE_NOSRC;
                   1033:        mdoc->last= n;
                   1034: }
                   1035:
                   1036: static void
1.299     schwarze 1037: post_obsolete(POST_ARGS)
1.218     schwarze 1038: {
1.299     schwarze 1039:        struct roff_node *n;
1.218     schwarze 1040:
1.299     schwarze 1041:        n = mdoc->last;
1.284     schwarze 1042:        if (n->type == ROFFT_ELEM || n->type == ROFFT_BLOCK)
1.218     schwarze 1043:                mandoc_msg(MANDOCERR_MACRO_OBS, mdoc->parse,
1.320     schwarze 1044:                    n->line, n->pos, roff_name[n->tok]);
1.328     schwarze 1045: }
                   1046:
                   1047: static void
                   1048: post_useless(POST_ARGS)
                   1049: {
                   1050:        struct roff_node *n;
                   1051:
                   1052:        n = mdoc->last;
                   1053:        mandoc_msg(MANDOCERR_MACRO_USELESS, mdoc->parse,
                   1054:            n->line, n->pos, roff_name[n->tok]);
1.218     schwarze 1055: }
                   1056:
1.317     schwarze 1057: /*
                   1058:  * Block macros.
                   1059:  */
                   1060:
1.259     schwarze 1061: static void
1.1       kristaps 1062: post_bf(POST_ARGS)
                   1063: {
1.285     schwarze 1064:        struct roff_node *np, *nch;
1.105     kristaps 1065:
                   1066:        /*
                   1067:         * Unlike other data pointers, these are "housed" by the HEAD
                   1068:         * element, which contains the goods.
                   1069:         */
1.1       kristaps 1070:
1.278     schwarze 1071:        np = mdoc->last;
1.284     schwarze 1072:        if (np->type != ROFFT_HEAD)
1.259     schwarze 1073:                return;
1.1       kristaps 1074:
1.284     schwarze 1075:        assert(np->parent->type == ROFFT_BLOCK);
1.297     schwarze 1076:        assert(np->parent->tok == MDOC_Bf);
1.1       kristaps 1077:
1.226     schwarze 1078:        /* Check the number of arguments. */
1.105     kristaps 1079:
1.226     schwarze 1080:        nch = np->child;
1.297     schwarze 1081:        if (np->parent->args == NULL) {
                   1082:                if (nch == NULL) {
1.239     schwarze 1083:                        mandoc_msg(MANDOCERR_BF_NOFONT, mdoc->parse,
                   1084:                            np->line, np->pos, "Bf");
1.259     schwarze 1085:                        return;
1.226     schwarze 1086:                }
                   1087:                nch = nch->next;
1.133     kristaps 1088:        }
1.297     schwarze 1089:        if (nch != NULL)
1.226     schwarze 1090:                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   1091:                    nch->line, nch->pos, "Bf ... %s", nch->string);
1.105     kristaps 1092:
                   1093:        /* Extract argument into data. */
1.210     schwarze 1094:
1.297     schwarze 1095:        if (np->parent->args != NULL) {
                   1096:                switch (np->parent->args->argv[0].arg) {
                   1097:                case MDOC_Emphasis:
1.147     kristaps 1098:                        np->norm->Bf.font = FONT_Em;
1.297     schwarze 1099:                        break;
                   1100:                case MDOC_Literal:
1.147     kristaps 1101:                        np->norm->Bf.font = FONT_Li;
1.297     schwarze 1102:                        break;
                   1103:                case MDOC_Symbolic:
1.147     kristaps 1104:                        np->norm->Bf.font = FONT_Sy;
1.297     schwarze 1105:                        break;
                   1106:                default:
1.105     kristaps 1107:                        abort();
1.297     schwarze 1108:                }
1.259     schwarze 1109:                return;
1.79      kristaps 1110:        }
1.1       kristaps 1111:
1.105     kristaps 1112:        /* Extract parameter into data. */
1.1       kristaps 1113:
1.297     schwarze 1114:        if ( ! strcmp(np->child->string, "Em"))
1.147     kristaps 1115:                np->norm->Bf.font = FONT_Em;
1.297     schwarze 1116:        else if ( ! strcmp(np->child->string, "Li"))
1.147     kristaps 1117:                np->norm->Bf.font = FONT_Li;
1.297     schwarze 1118:        else if ( ! strcmp(np->child->string, "Sy"))
1.147     kristaps 1119:                np->norm->Bf.font = FONT_Sy;
1.210     schwarze 1120:        else
1.226     schwarze 1121:                mandoc_vmsg(MANDOCERR_BF_BADFONT, mdoc->parse,
                   1122:                    np->child->line, np->child->pos,
                   1123:                    "Bf %s", np->child->string);
1.1       kristaps 1124: }
                   1125:
1.259     schwarze 1126: static void
1.250     schwarze 1127: post_fname(POST_ARGS)
                   1128: {
1.285     schwarze 1129:        const struct roff_node  *n;
1.252     schwarze 1130:        const char              *cp;
                   1131:        size_t                   pos;
1.250     schwarze 1132:
                   1133:        n = mdoc->last->child;
                   1134:        pos = strcspn(n->string, "()");
1.252     schwarze 1135:        cp = n->string + pos;
                   1136:        if ( ! (cp[0] == '\0' || (cp[0] == '(' && cp[1] == '*')))
1.250     schwarze 1137:                mandoc_msg(MANDOCERR_FN_PAREN, mdoc->parse,
                   1138:                    n->line, n->pos + pos, n->string);
                   1139: }
                   1140:
1.259     schwarze 1141: static void
1.250     schwarze 1142: post_fn(POST_ARGS)
                   1143: {
                   1144:
                   1145:        post_fname(mdoc);
                   1146:        post_fa(mdoc);
                   1147: }
                   1148:
1.259     schwarze 1149: static void
1.242     schwarze 1150: post_fo(POST_ARGS)
                   1151: {
1.285     schwarze 1152:        const struct roff_node  *n;
1.274     schwarze 1153:
                   1154:        n = mdoc->last;
1.242     schwarze 1155:
1.284     schwarze 1156:        if (n->type != ROFFT_HEAD)
1.274     schwarze 1157:                return;
                   1158:
                   1159:        if (n->child == NULL) {
                   1160:                mandoc_msg(MANDOCERR_FO_NOHEAD, mdoc->parse,
                   1161:                    n->line, n->pos, "Fo");
                   1162:                return;
                   1163:        }
                   1164:        if (n->child != n->last) {
                   1165:                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   1166:                    n->child->next->line, n->child->next->pos,
                   1167:                    "Fo ... %s", n->child->next->string);
                   1168:                while (n->child != n->last)
1.287     schwarze 1169:                        roff_node_delete(mdoc, n->last);
1.348     schwarze 1170:        } else
                   1171:                post_delim(mdoc);
1.274     schwarze 1172:
                   1173:        post_fname(mdoc);
1.249     schwarze 1174: }
                   1175:
1.259     schwarze 1176: static void
1.249     schwarze 1177: post_fa(POST_ARGS)
                   1178: {
1.285     schwarze 1179:        const struct roff_node *n;
1.249     schwarze 1180:        const char *cp;
                   1181:
                   1182:        for (n = mdoc->last->child; n != NULL; n = n->next) {
                   1183:                for (cp = n->string; *cp != '\0'; cp++) {
                   1184:                        /* Ignore callbacks and alterations. */
                   1185:                        if (*cp == '(' || *cp == '{')
                   1186:                                break;
                   1187:                        if (*cp != ',')
                   1188:                                continue;
                   1189:                        mandoc_msg(MANDOCERR_FA_COMMA, mdoc->parse,
                   1190:                            n->line, n->pos + (cp - n->string),
                   1191:                            n->string);
                   1192:                        break;
                   1193:                }
                   1194:        }
1.348     schwarze 1195:        post_delim_nb(mdoc);
1.57      kristaps 1196: }
                   1197:
1.259     schwarze 1198: static void
1.1       kristaps 1199: post_nm(POST_ARGS)
                   1200: {
1.285     schwarze 1201:        struct roff_node        *n;
1.266     schwarze 1202:
                   1203:        n = mdoc->last;
                   1204:
1.352     schwarze 1205:        if (n->sec == SEC_NAME && n->child != NULL &&
                   1206:            n->child->type == ROFFT_TEXT && mdoc->meta.msec != NULL)
1.347     schwarze 1207:                mandoc_xr_add(mdoc->meta.msec, n->child->string, -1, -1);
                   1208:
1.266     schwarze 1209:        if (n->last != NULL &&
                   1210:            (n->last->tok == MDOC_Pp ||
                   1211:             n->last->tok == MDOC_Lp))
                   1212:                mdoc_node_relink(mdoc, n->last);
1.129     kristaps 1213:
1.311     schwarze 1214:        if (mdoc->meta.name == NULL)
                   1215:                deroff(&mdoc->meta.name, n);
1.1       kristaps 1216:
1.311     schwarze 1217:        if (mdoc->meta.name == NULL ||
                   1218:            (mdoc->lastsec == SEC_NAME && n->child == NULL))
1.239     schwarze 1219:                mandoc_msg(MANDOCERR_NM_NONAME, mdoc->parse,
1.266     schwarze 1220:                    n->line, n->pos, "Nm");
1.318     schwarze 1221:
1.348     schwarze 1222:        switch (n->type) {
                   1223:        case ROFFT_ELEM:
                   1224:                post_delim_nb(mdoc);
                   1225:                break;
                   1226:        case ROFFT_HEAD:
1.333     schwarze 1227:                post_delim(mdoc);
1.348     schwarze 1228:                break;
                   1229:        default:
                   1230:                return;
                   1231:        }
1.333     schwarze 1232:
1.348     schwarze 1233:        if ((n->child != NULL && n->child->type == ROFFT_TEXT) ||
1.318     schwarze 1234:            mdoc->meta.name == NULL)
                   1235:                return;
                   1236:
                   1237:        mdoc->next = ROFF_NEXT_CHILD;
                   1238:        roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
                   1239:        mdoc->last->flags |= NODE_NOSRC;
                   1240:        mdoc->last = n;
1.1       kristaps 1241: }
                   1242:
1.259     schwarze 1243: static void
1.242     schwarze 1244: post_nd(POST_ARGS)
                   1245: {
1.285     schwarze 1246:        struct roff_node        *n;
1.267     schwarze 1247:
                   1248:        n = mdoc->last;
                   1249:
1.284     schwarze 1250:        if (n->type != ROFFT_BODY)
1.267     schwarze 1251:                return;
1.319     schwarze 1252:
                   1253:        if (n->sec != SEC_NAME)
                   1254:                mandoc_msg(MANDOCERR_ND_LATE, mdoc->parse,
                   1255:                    n->line, n->pos, "Nd");
1.267     schwarze 1256:
                   1257:        if (n->child == NULL)
                   1258:                mandoc_msg(MANDOCERR_ND_EMPTY, mdoc->parse,
                   1259:                    n->line, n->pos, "Nd");
1.348     schwarze 1260:        else
                   1261:                post_delim(mdoc);
1.242     schwarze 1262:
1.259     schwarze 1263:        post_hyph(mdoc);
1.242     schwarze 1264: }
                   1265:
1.259     schwarze 1266: static void
1.299     schwarze 1267: post_display(POST_ARGS)
1.128     kristaps 1268: {
1.299     schwarze 1269:        struct roff_node *n, *np;
1.210     schwarze 1270:
1.273     schwarze 1271:        n = mdoc->last;
1.299     schwarze 1272:        switch (n->type) {
                   1273:        case ROFFT_BODY:
1.306     schwarze 1274:                if (n->end != ENDBODY_NOT) {
1.307     schwarze 1275:                        if (n->tok == MDOC_Bd &&
                   1276:                            n->body->parent->args == NULL)
1.306     schwarze 1277:                                roff_node_delete(mdoc, n);
                   1278:                } else if (n->child == NULL)
1.299     schwarze 1279:                        mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,
1.320     schwarze 1280:                            n->line, n->pos, roff_name[n->tok]);
1.299     schwarze 1281:                else if (n->tok == MDOC_D1)
                   1282:                        post_hyph(mdoc);
                   1283:                break;
                   1284:        case ROFFT_BLOCK:
                   1285:                if (n->tok == MDOC_Bd) {
1.300     schwarze 1286:                        if (n->args == NULL) {
                   1287:                                mandoc_msg(MANDOCERR_BD_NOARG,
                   1288:                                    mdoc->parse, n->line, n->pos, "Bd");
                   1289:                                mdoc->next = ROFF_NEXT_SIBLING;
                   1290:                                while (n->body->child != NULL)
                   1291:                                        mdoc_node_relink(mdoc,
                   1292:                                            n->body->child);
                   1293:                                roff_node_delete(mdoc, n);
                   1294:                                break;
                   1295:                        }
1.299     schwarze 1296:                        post_bd(mdoc);
                   1297:                        post_prevpar(mdoc);
                   1298:                }
                   1299:                for (np = n->parent; np != NULL; np = np->parent) {
                   1300:                        if (np->type == ROFFT_BLOCK && np->tok == MDOC_Bd) {
                   1301:                                mandoc_vmsg(MANDOCERR_BD_NEST,
                   1302:                                    mdoc->parse, n->line, n->pos,
1.320     schwarze 1303:                                    "%s in Bd", roff_name[n->tok]);
1.299     schwarze 1304:                                break;
                   1305:                        }
                   1306:                }
                   1307:                break;
                   1308:        default:
                   1309:                break;
                   1310:        }
1.128     kristaps 1311: }
                   1312:
1.259     schwarze 1313: static void
1.123     kristaps 1314: post_defaults(POST_ARGS)
                   1315: {
1.285     schwarze 1316:        struct roff_node *nn;
1.123     kristaps 1317:
1.333     schwarze 1318:        if (mdoc->last->child != NULL) {
1.348     schwarze 1319:                post_delim_nb(mdoc);
1.333     schwarze 1320:                return;
                   1321:        }
                   1322:
1.123     kristaps 1323:        /*
                   1324:         * The `Ar' defaults to "file ..." if no value is provided as an
1.129     kristaps 1325:         * argument; the `Mt' and `Pa' macros use "~"; the `Li' just
                   1326:         * gets an empty string.
1.123     kristaps 1327:         */
                   1328:
                   1329:        nn = mdoc->last;
                   1330:        switch (nn->tok) {
1.210     schwarze 1331:        case MDOC_Ar:
1.298     schwarze 1332:                mdoc->next = ROFF_NEXT_CHILD;
1.289     schwarze 1333:                roff_word_alloc(mdoc, nn->line, nn->pos, "file");
1.313     schwarze 1334:                mdoc->last->flags |= NODE_NOSRC;
1.289     schwarze 1335:                roff_word_alloc(mdoc, nn->line, nn->pos, "...");
1.313     schwarze 1336:                mdoc->last->flags |= NODE_NOSRC;
1.123     kristaps 1337:                break;
1.210     schwarze 1338:        case MDOC_Pa:
                   1339:        case MDOC_Mt:
1.298     schwarze 1340:                mdoc->next = ROFF_NEXT_CHILD;
1.289     schwarze 1341:                roff_word_alloc(mdoc, nn->line, nn->pos, "~");
1.313     schwarze 1342:                mdoc->last->flags |= NODE_NOSRC;
1.123     kristaps 1343:                break;
                   1344:        default:
                   1345:                abort();
1.210     schwarze 1346:        }
1.123     kristaps 1347:        mdoc->last = nn;
                   1348: }
1.1       kristaps 1349:
1.259     schwarze 1350: static void
1.1       kristaps 1351: post_at(POST_ARGS)
                   1352: {
1.316     schwarze 1353:        struct roff_node        *n, *nch;
                   1354:        const char              *att;
1.1       kristaps 1355:
1.242     schwarze 1356:        n = mdoc->last;
1.316     schwarze 1357:        nch = n->child;
1.242     schwarze 1358:
1.126     kristaps 1359:        /*
                   1360:         * If we have a child, look it up in the standard keys.  If a
                   1361:         * key exist, use that instead of the child; if it doesn't,
                   1362:         * prefix "AT&T UNIX " to the existing data.
                   1363:         */
1.210     schwarze 1364:
1.316     schwarze 1365:        att = NULL;
                   1366:        if (nch != NULL && ((att = mdoc_a2att(nch->string)) == NULL))
1.239     schwarze 1367:                mandoc_vmsg(MANDOCERR_AT_BAD, mdoc->parse,
1.316     schwarze 1368:                    nch->line, nch->pos, "At %s", nch->string);
                   1369:
                   1370:        mdoc->next = ROFF_NEXT_CHILD;
                   1371:        if (att != NULL) {
                   1372:                roff_word_alloc(mdoc, nch->line, nch->pos, att);
                   1373:                nch->flags |= NODE_NOPRT;
1.213     schwarze 1374:        } else
1.316     schwarze 1375:                roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");
                   1376:        mdoc->last->flags |= NODE_NOSRC;
                   1377:        mdoc->last = n;
1.1       kristaps 1378: }
                   1379:
1.259     schwarze 1380: static void
1.1       kristaps 1381: post_an(POST_ARGS)
                   1382: {
1.285     schwarze 1383:        struct roff_node *np, *nch;
1.1       kristaps 1384:
1.299     schwarze 1385:        post_an_norm(mdoc);
                   1386:
1.107     kristaps 1387:        np = mdoc->last;
1.271     schwarze 1388:        nch = np->child;
                   1389:        if (np->norm->An.auth == AUTH__NONE) {
                   1390:                if (nch == NULL)
                   1391:                        mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
                   1392:                            np->line, np->pos, "An");
1.333     schwarze 1393:                else
1.348     schwarze 1394:                        post_delim_nb(mdoc);
1.271     schwarze 1395:        } else if (nch != NULL)
1.269     schwarze 1396:                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   1397:                    nch->line, nch->pos, "An ... %s", nch->string);
1.218     schwarze 1398: }
                   1399:
1.259     schwarze 1400: static void
1.218     schwarze 1401: post_en(POST_ARGS)
                   1402: {
                   1403:
1.299     schwarze 1404:        post_obsolete(mdoc);
1.284     schwarze 1405:        if (mdoc->last->type == ROFFT_BLOCK)
1.218     schwarze 1406:                mdoc->last->norm->Es = mdoc->last_es;
                   1407: }
                   1408:
1.259     schwarze 1409: static void
1.218     schwarze 1410: post_es(POST_ARGS)
                   1411: {
                   1412:
1.299     schwarze 1413:        post_obsolete(mdoc);
1.218     schwarze 1414:        mdoc->last_es = mdoc->last;
1.315     schwarze 1415: }
                   1416:
                   1417: static void
                   1418: post_xx(POST_ARGS)
                   1419: {
                   1420:        struct roff_node        *n;
                   1421:        const char              *os;
1.350     schwarze 1422:        char                    *v;
1.315     schwarze 1423:
1.348     schwarze 1424:        post_delim_nb(mdoc);
1.333     schwarze 1425:
1.315     schwarze 1426:        n = mdoc->last;
                   1427:        switch (n->tok) {
                   1428:        case MDOC_Bsx:
                   1429:                os = "BSD/OS";
                   1430:                break;
                   1431:        case MDOC_Dx:
                   1432:                os = "DragonFly";
                   1433:                break;
                   1434:        case MDOC_Fx:
                   1435:                os = "FreeBSD";
                   1436:                break;
                   1437:        case MDOC_Nx:
                   1438:                os = "NetBSD";
1.350     schwarze 1439:                if (n->child == NULL)
                   1440:                        break;
                   1441:                v = n->child->string;
                   1442:                if ((v[0] != '0' && v[0] != '1') || v[1] != '.' ||
                   1443:                    v[2] < '0' || v[2] > '9' ||
                   1444:                    v[3] < 'a' || v[3] > 'z' || v[4] != '\0')
                   1445:                        break;
                   1446:                n->child->flags |= NODE_NOPRT;
                   1447:                mdoc->next = ROFF_NEXT_CHILD;
                   1448:                roff_word_alloc(mdoc, n->child->line, n->child->pos, v);
                   1449:                v = mdoc->last->string;
                   1450:                v[3] = toupper((unsigned char)v[3]);
                   1451:                mdoc->last->flags |= NODE_NOSRC;
                   1452:                mdoc->last = n;
1.315     schwarze 1453:                break;
                   1454:        case MDOC_Ox:
                   1455:                os = "OpenBSD";
                   1456:                break;
                   1457:        case MDOC_Ux:
                   1458:                os = "UNIX";
                   1459:                break;
                   1460:        default:
                   1461:                abort();
                   1462:        }
                   1463:        mdoc->next = ROFF_NEXT_CHILD;
                   1464:        roff_word_alloc(mdoc, n->line, n->pos, os);
                   1465:        mdoc->last->flags |= NODE_NOSRC;
                   1466:        mdoc->last = n;
1.1       kristaps 1467: }
                   1468:
1.259     schwarze 1469: static void
1.1       kristaps 1470: post_it(POST_ARGS)
                   1471: {
1.285     schwarze 1472:        struct roff_node *nbl, *nit, *nch;
1.162     kristaps 1473:        int               i, cols;
1.89      kristaps 1474:        enum mdoc_list    lt;
1.1       kristaps 1475:
1.299     schwarze 1476:        post_prevpar(mdoc);
                   1477:
1.224     schwarze 1478:        nit = mdoc->last;
1.284     schwarze 1479:        if (nit->type != ROFFT_BLOCK)
1.259     schwarze 1480:                return;
1.1       kristaps 1481:
1.224     schwarze 1482:        nbl = nit->parent->parent;
                   1483:        lt = nbl->norm->Bl.type;
1.89      kristaps 1484:
                   1485:        switch (lt) {
1.210     schwarze 1486:        case LIST_tag:
                   1487:        case LIST_hang:
                   1488:        case LIST_ohang:
                   1489:        case LIST_inset:
                   1490:        case LIST_diag:
1.264     schwarze 1491:                if (nit->head->child == NULL)
1.239     schwarze 1492:                        mandoc_vmsg(MANDOCERR_IT_NOHEAD,
1.224     schwarze 1493:                            mdoc->parse, nit->line, nit->pos,
1.239     schwarze 1494:                            "Bl -%s It",
1.224     schwarze 1495:                            mdoc_argnames[nbl->args->argv[0].arg]);
1.1       kristaps 1496:                break;
1.210     schwarze 1497:        case LIST_bullet:
                   1498:        case LIST_dash:
                   1499:        case LIST_enum:
                   1500:        case LIST_hyphen:
1.264     schwarze 1501:                if (nit->body == NULL || nit->body->child == NULL)
1.239     schwarze 1502:                        mandoc_vmsg(MANDOCERR_IT_NOBODY,
1.225     schwarze 1503:                            mdoc->parse, nit->line, nit->pos,
1.239     schwarze 1504:                            "Bl -%s It",
1.225     schwarze 1505:                            mdoc_argnames[nbl->args->argv[0].arg]);
1.1       kristaps 1506:                /* FALLTHROUGH */
1.210     schwarze 1507:        case LIST_item:
1.304     schwarze 1508:                if ((nch = nit->head->child) != NULL)
1.320     schwarze 1509:                        mandoc_vmsg(MANDOCERR_ARG_SKIP, mdoc->parse,
                   1510:                            nit->line, nit->pos, "It %s",
                   1511:                            nch->string == NULL ? roff_name[nch->tok] :
                   1512:                            nch->string);
1.1       kristaps 1513:                break;
1.210     schwarze 1514:        case LIST_column:
1.224     schwarze 1515:                cols = (int)nbl->norm->Bl.ncols;
1.89      kristaps 1516:
1.264     schwarze 1517:                assert(nit->head->child == NULL);
1.89      kristaps 1518:
1.345     schwarze 1519:                if (nit->head->next->child == NULL &&
                   1520:                    nit->head->next->next == NULL) {
                   1521:                        mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
                   1522:                            nit->line, nit->pos, "It");
                   1523:                        roff_node_delete(mdoc, nit);
                   1524:                        break;
                   1525:                }
                   1526:
1.297     schwarze 1527:                i = 0;
1.345     schwarze 1528:                for (nch = nit->child; nch != NULL; nch = nch->next) {
                   1529:                        if (nch->type != ROFFT_BODY)
                   1530:                                continue;
                   1531:                        if (i++ && nch->flags & NODE_LINE)
                   1532:                                mandoc_msg(MANDOCERR_TA_LINE, mdoc->parse,
                   1533:                                    nch->line, nch->pos, "Ta");
                   1534:                }
1.236     schwarze 1535:                if (i < cols || i > cols + 1)
1.276     schwarze 1536:                        mandoc_vmsg(MANDOCERR_BL_COL,
1.236     schwarze 1537:                            mdoc->parse, nit->line, nit->pos,
1.276     schwarze 1538:                            "%d columns, %d cells", cols, i);
1.345     schwarze 1539:                else if (nit->head->next->child != NULL &&
                   1540:                    nit->head->next->child->line > nit->line)
                   1541:                        mandoc_msg(MANDOCERR_IT_NOARG, mdoc->parse,
                   1542:                            nit->line, nit->pos, "Bl -column It");
1.236     schwarze 1543:                break;
1.1       kristaps 1544:        default:
1.225     schwarze 1545:                abort();
1.1       kristaps 1546:        }
                   1547: }
                   1548:
1.259     schwarze 1549: static void
1.210     schwarze 1550: post_bl_block(POST_ARGS)
1.131     kristaps 1551: {
1.285     schwarze 1552:        struct roff_node *n, *ni, *nc;
1.131     kristaps 1553:
1.299     schwarze 1554:        post_prevpar(mdoc);
                   1555:
1.131     kristaps 1556:        n = mdoc->last;
1.297     schwarze 1557:        for (ni = n->body->child; ni != NULL; ni = ni->next) {
                   1558:                if (ni->body == NULL)
1.189     schwarze 1559:                        continue;
                   1560:                nc = ni->body->last;
1.297     schwarze 1561:                while (nc != NULL) {
1.189     schwarze 1562:                        switch (nc->tok) {
1.210     schwarze 1563:                        case MDOC_Pp:
                   1564:                        case MDOC_Lp:
1.323     schwarze 1565:                        case ROFF_br:
1.189     schwarze 1566:                                break;
                   1567:                        default:
                   1568:                                nc = NULL;
                   1569:                                continue;
                   1570:                        }
1.297     schwarze 1571:                        if (ni->next == NULL) {
1.219     schwarze 1572:                                mandoc_msg(MANDOCERR_PAR_MOVE,
                   1573:                                    mdoc->parse, nc->line, nc->pos,
1.320     schwarze 1574:                                    roff_name[nc->tok]);
1.259     schwarze 1575:                                mdoc_node_relink(mdoc, nc);
1.297     schwarze 1576:                        } else if (n->norm->Bl.comp == 0 &&
                   1577:                            n->norm->Bl.type != LIST_column) {
1.219     schwarze 1578:                                mandoc_vmsg(MANDOCERR_PAR_SKIP,
                   1579:                                    mdoc->parse, nc->line, nc->pos,
1.320     schwarze 1580:                                    "%s before It", roff_name[nc->tok]);
1.287     schwarze 1581:                                roff_node_delete(mdoc, nc);
1.189     schwarze 1582:                        } else
                   1583:                                break;
                   1584:                        nc = ni->body->last;
                   1585:                }
                   1586:        }
1.131     kristaps 1587: }
                   1588:
1.254     schwarze 1589: /*
                   1590:  * If the argument of -offset or -width is a macro,
                   1591:  * replace it with the associated default width.
                   1592:  */
1.322     schwarze 1593: static void
                   1594: rewrite_macro2len(struct roff_man *mdoc, char **arg)
1.131     kristaps 1595: {
                   1596:        size_t            width;
1.320     schwarze 1597:        enum roff_tok     tok;
1.131     kristaps 1598:
1.254     schwarze 1599:        if (*arg == NULL)
                   1600:                return;
                   1601:        else if ( ! strcmp(*arg, "Ds"))
1.131     kristaps 1602:                width = 6;
1.322     schwarze 1603:        else if ((tok = roffhash_find(mdoc->mdocmac, *arg, 0)) == TOKEN_NONE)
1.254     schwarze 1604:                return;
1.228     schwarze 1605:        else
                   1606:                width = macro2len(tok);
1.131     kristaps 1607:
1.254     schwarze 1608:        free(*arg);
                   1609:        mandoc_asprintf(arg, "%zun", width);
1.131     kristaps 1610: }
                   1611:
1.259     schwarze 1612: static void
1.210     schwarze 1613: post_bl_head(POST_ARGS)
1.14      kristaps 1614: {
1.285     schwarze 1615:        struct roff_node *nbl, *nh, *nch, *nnext;
1.237     schwarze 1616:        struct mdoc_argv *argv;
1.130     kristaps 1617:        int               i, j;
1.14      kristaps 1618:
1.299     schwarze 1619:        post_bl_norm(mdoc);
                   1620:
1.270     schwarze 1621:        nh = mdoc->last;
                   1622:        if (nh->norm->Bl.type != LIST_column) {
                   1623:                if ((nch = nh->child) == NULL)
                   1624:                        return;
                   1625:                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   1626:                    nch->line, nch->pos, "Bl ... %s", nch->string);
                   1627:                while (nch != NULL) {
1.287     schwarze 1628:                        roff_node_delete(mdoc, nch);
1.270     schwarze 1629:                        nch = nh->child;
                   1630:                }
1.259     schwarze 1631:                return;
                   1632:        }
1.14      kristaps 1633:
1.130     kristaps 1634:        /*
1.237     schwarze 1635:         * Append old-style lists, where the column width specifiers
1.130     kristaps 1636:         * trail as macro parameters, to the new-style ("normal-form")
                   1637:         * lists where they're argument values following -column.
                   1638:         */
                   1639:
1.270     schwarze 1640:        if (nh->child == NULL)
1.259     schwarze 1641:                return;
1.130     kristaps 1642:
1.270     schwarze 1643:        nbl = nh->parent;
                   1644:        for (j = 0; j < (int)nbl->args->argc; j++)
                   1645:                if (nbl->args->argv[j].arg == MDOC_Column)
1.130     kristaps 1646:                        break;
                   1647:
1.270     schwarze 1648:        assert(j < (int)nbl->args->argc);
1.130     kristaps 1649:
                   1650:        /*
1.169     kristaps 1651:         * Accommodate for new-style groff column syntax.  Shuffle the
1.130     kristaps 1652:         * child nodes, all of which must be TEXT, as arguments for the
                   1653:         * column field.  Then, delete the head children.
                   1654:         */
                   1655:
1.270     schwarze 1656:        argv = nbl->args->argv + j;
1.237     schwarze 1657:        i = argv->sz;
1.301     schwarze 1658:        for (nch = nh->child; nch != NULL; nch = nch->next)
                   1659:                argv->sz++;
1.237     schwarze 1660:        argv->value = mandoc_reallocarray(argv->value,
                   1661:            argv->sz, sizeof(char *));
1.130     kristaps 1662:
1.270     schwarze 1663:        nh->norm->Bl.ncols = argv->sz;
                   1664:        nh->norm->Bl.cols = (void *)argv->value;
1.130     kristaps 1665:
1.270     schwarze 1666:        for (nch = nh->child; nch != NULL; nch = nnext) {
                   1667:                argv->value[i++] = nch->string;
                   1668:                nch->string = NULL;
                   1669:                nnext = nch->next;
1.287     schwarze 1670:                roff_node_delete(NULL, nch);
1.65      kristaps 1671:        }
1.270     schwarze 1672:        nh->child = NULL;
1.14      kristaps 1673: }
                   1674:
1.259     schwarze 1675: static void
1.1       kristaps 1676: post_bl(POST_ARGS)
                   1677: {
1.285     schwarze 1678:        struct roff_node        *nparent, *nprev; /* of the Bl block */
                   1679:        struct roff_node        *nblock, *nbody;  /* of the Bl */
                   1680:        struct roff_node        *nchild, *nnext;  /* of the Bl body */
1.331     schwarze 1681:        const char              *prev_Er;
                   1682:        int                      order;
1.195     schwarze 1683:
                   1684:        nbody = mdoc->last;
                   1685:        switch (nbody->type) {
1.284     schwarze 1686:        case ROFFT_BLOCK:
1.259     schwarze 1687:                post_bl_block(mdoc);
                   1688:                return;
1.284     schwarze 1689:        case ROFFT_HEAD:
1.259     schwarze 1690:                post_bl_head(mdoc);
                   1691:                return;
1.284     schwarze 1692:        case ROFFT_BODY:
1.195     schwarze 1693:                break;
                   1694:        default:
1.259     schwarze 1695:                return;
1.195     schwarze 1696:        }
1.298     schwarze 1697:        if (nbody->end != ENDBODY_NOT)
                   1698:                return;
1.1       kristaps 1699:
1.195     schwarze 1700:        nchild = nbody->child;
1.273     schwarze 1701:        if (nchild == NULL) {
1.275     schwarze 1702:                mandoc_msg(MANDOCERR_BLK_EMPTY, mdoc->parse,
1.273     schwarze 1703:                    nbody->line, nbody->pos, "Bl");
                   1704:                return;
                   1705:        }
                   1706:        while (nchild != NULL) {
1.308     schwarze 1707:                nnext = nchild->next;
1.265     schwarze 1708:                if (nchild->tok == MDOC_It ||
                   1709:                    (nchild->tok == MDOC_Sm &&
1.308     schwarze 1710:                     nnext != NULL && nnext->tok == MDOC_It)) {
                   1711:                        nchild = nnext;
                   1712:                        continue;
                   1713:                }
                   1714:
                   1715:                /*
                   1716:                 * In .Bl -column, the first rows may be implicit,
                   1717:                 * that is, they may not start with .It macros.
                   1718:                 * Such rows may be followed by nodes generated on the
                   1719:                 * roff level, for example .TS, which cannot be moved
                   1720:                 * out of the list.  In that case, wrap such roff nodes
                   1721:                 * into an implicit row.
                   1722:                 */
                   1723:
                   1724:                if (nchild->prev != NULL) {
                   1725:                        mdoc->last = nchild;
                   1726:                        mdoc->next = ROFF_NEXT_SIBLING;
                   1727:                        roff_block_alloc(mdoc, nchild->line,
                   1728:                            nchild->pos, MDOC_It);
                   1729:                        roff_head_alloc(mdoc, nchild->line,
                   1730:                            nchild->pos, MDOC_It);
                   1731:                        mdoc->next = ROFF_NEXT_SIBLING;
                   1732:                        roff_body_alloc(mdoc, nchild->line,
                   1733:                            nchild->pos, MDOC_It);
                   1734:                        while (nchild->tok != MDOC_It) {
                   1735:                                mdoc_node_relink(mdoc, nchild);
                   1736:                                if ((nchild = nnext) == NULL)
                   1737:                                        break;
                   1738:                                nnext = nchild->next;
                   1739:                                mdoc->next = ROFF_NEXT_SIBLING;
                   1740:                        }
                   1741:                        mdoc->last = nbody;
1.55      kristaps 1742:                        continue;
1.141     kristaps 1743:                }
                   1744:
1.221     schwarze 1745:                mandoc_msg(MANDOCERR_BL_MOVE, mdoc->parse,
1.320     schwarze 1746:                    nchild->line, nchild->pos, roff_name[nchild->tok]);
1.195     schwarze 1747:
                   1748:                /*
                   1749:                 * Move the node out of the Bl block.
                   1750:                 * First, collect all required node pointers.
                   1751:                 */
                   1752:
                   1753:                nblock  = nbody->parent;
                   1754:                nprev   = nblock->prev;
                   1755:                nparent = nblock->parent;
                   1756:
                   1757:                /*
                   1758:                 * Unlink this child.
                   1759:                 */
                   1760:
1.301     schwarze 1761:                nbody->child = nnext;
                   1762:                if (nnext == NULL)
1.195     schwarze 1763:                        nbody->last  = NULL;
1.301     schwarze 1764:                else
1.195     schwarze 1765:                        nnext->prev = NULL;
                   1766:
                   1767:                /*
                   1768:                 * Relink this child.
                   1769:                 */
                   1770:
                   1771:                nchild->parent = nparent;
                   1772:                nchild->prev   = nprev;
                   1773:                nchild->next   = nblock;
                   1774:
                   1775:                nblock->prev = nchild;
1.297     schwarze 1776:                if (nprev == NULL)
1.195     schwarze 1777:                        nparent->child = nchild;
                   1778:                else
                   1779:                        nprev->next = nchild;
                   1780:
                   1781:                nchild = nnext;
1.1       kristaps 1782:        }
1.331     schwarze 1783:
1.340     schwarze 1784:        if (mdoc->meta.os_e != MANDOC_OS_NETBSD)
1.331     schwarze 1785:                return;
                   1786:
                   1787:        prev_Er = NULL;
                   1788:        for (nchild = nbody->child; nchild != NULL; nchild = nchild->next) {
                   1789:                if (nchild->tok != MDOC_It)
                   1790:                        continue;
                   1791:                if ((nnext = nchild->head->child) == NULL)
                   1792:                        continue;
                   1793:                if (nnext->type == ROFFT_BLOCK)
                   1794:                        nnext = nnext->body->child;
                   1795:                if (nnext == NULL || nnext->tok != MDOC_Er)
                   1796:                        continue;
                   1797:                nnext = nnext->child;
                   1798:                if (prev_Er != NULL) {
                   1799:                        order = strcmp(prev_Er, nnext->string);
                   1800:                        if (order > 0)
                   1801:                                mandoc_vmsg(MANDOCERR_ER_ORDER,
                   1802:                                    mdoc->parse, nnext->line, nnext->pos,
1.340     schwarze 1803:                                    "Er %s %s (NetBSD)",
                   1804:                                    prev_Er, nnext->string);
1.331     schwarze 1805:                        else if (order == 0)
                   1806:                                mandoc_vmsg(MANDOCERR_ER_REP,
                   1807:                                    mdoc->parse, nnext->line, nnext->pos,
1.340     schwarze 1808:                                    "Er %s (NetBSD)", prev_Er);
1.331     schwarze 1809:                }
                   1810:                prev_Er = nnext->string;
                   1811:        }
1.1       kristaps 1812: }
                   1813:
1.259     schwarze 1814: static void
1.242     schwarze 1815: post_bk(POST_ARGS)
                   1816: {
1.285     schwarze 1817:        struct roff_node        *n;
1.242     schwarze 1818:
1.270     schwarze 1819:        n = mdoc->last;
                   1820:
1.284     schwarze 1821:        if (n->type == ROFFT_BLOCK && n->body->child == NULL) {
1.275     schwarze 1822:                mandoc_msg(MANDOCERR_BLK_EMPTY,
1.270     schwarze 1823:                    mdoc->parse, n->line, n->pos, "Bk");
1.287     schwarze 1824:                roff_node_delete(mdoc, n);
1.270     schwarze 1825:        }
1.242     schwarze 1826: }
                   1827:
1.259     schwarze 1828: static void
1.297     schwarze 1829: post_sm(POST_ARGS)
1.1       kristaps 1830: {
1.285     schwarze 1831:        struct roff_node        *nch;
1.228     schwarze 1832:
                   1833:        nch = mdoc->last->child;
1.1       kristaps 1834:
1.257     schwarze 1835:        if (nch == NULL) {
                   1836:                mdoc->flags ^= MDOC_SMOFF;
1.259     schwarze 1837:                return;
1.151     schwarze 1838:        }
1.133     kristaps 1839:
1.284     schwarze 1840:        assert(nch->type == ROFFT_TEXT);
1.1       kristaps 1841:
1.257     schwarze 1842:        if ( ! strcmp(nch->string, "on")) {
                   1843:                mdoc->flags &= ~MDOC_SMOFF;
1.259     schwarze 1844:                return;
1.197     schwarze 1845:        }
1.257     schwarze 1846:        if ( ! strcmp(nch->string, "off")) {
                   1847:                mdoc->flags |= MDOC_SMOFF;
1.259     schwarze 1848:                return;
1.197     schwarze 1849:        }
1.133     kristaps 1850:
1.228     schwarze 1851:        mandoc_vmsg(MANDOCERR_SM_BAD,
                   1852:            mdoc->parse, nch->line, nch->pos,
1.320     schwarze 1853:            "%s %s", roff_name[mdoc->last->tok], nch->string);
1.259     schwarze 1854:        mdoc_node_relink(mdoc, nch);
                   1855:        return;
1.1       kristaps 1856: }
                   1857:
1.259     schwarze 1858: static void
1.1       kristaps 1859: post_root(POST_ARGS)
                   1860: {
1.342     schwarze 1861:        const char *openbsd_arch[] = {
                   1862:                "alpha", "amd64", "arm64", "armv7", "hppa", "i386",
                   1863:                "landisk", "loongson", "luna88k", "macppc", "mips64",
                   1864:                "octeon", "sgi", "socppc", "sparc64", NULL
                   1865:        };
                   1866:        const char *netbsd_arch[] = {
                   1867:                "acorn26", "acorn32", "algor", "alpha", "amiga",
                   1868:                "arc", "atari",
                   1869:                "bebox", "cats", "cesfic", "cobalt", "dreamcast",
                   1870:                "emips", "evbarm", "evbmips", "evbppc", "evbsh3", "evbsh5",
                   1871:                "hp300", "hpcarm", "hpcmips", "hpcsh", "hppa",
                   1872:                "i386", "ibmnws", "luna68k",
                   1873:                "mac68k", "macppc", "mipsco", "mmeye", "mvme68k", "mvmeppc",
                   1874:                "netwinder", "news68k", "newsmips", "next68k",
                   1875:                "pc532", "playstation2", "pmax", "pmppc", "prep",
                   1876:                "sandpoint", "sbmips", "sgimips", "shark",
                   1877:                "sparc", "sparc64", "sun2", "sun3",
                   1878:                "vax", "walnut", "x68k", "x86", "x86_64", "xen", NULL
                   1879:         };
                   1880:        const char **arches[] = { NULL, netbsd_arch, openbsd_arch };
                   1881:
1.285     schwarze 1882:        struct roff_node *n;
1.342     schwarze 1883:        const char **arch;
1.1       kristaps 1884:
1.234     schwarze 1885:        /* Add missing prologue data. */
1.133     kristaps 1886:
1.243     schwarze 1887:        if (mdoc->meta.date == NULL)
1.337     schwarze 1888:                mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :
                   1889:                    mandoc_normdate(mdoc, NULL, 0, 0);
1.243     schwarze 1890:
                   1891:        if (mdoc->meta.title == NULL) {
                   1892:                mandoc_msg(MANDOCERR_DT_NOTITLE,
                   1893:                    mdoc->parse, 0, 0, "EOF");
                   1894:                mdoc->meta.title = mandoc_strdup("UNTITLED");
                   1895:        }
                   1896:
                   1897:        if (mdoc->meta.vol == NULL)
                   1898:                mdoc->meta.vol = mandoc_strdup("LOCAL");
                   1899:
                   1900:        if (mdoc->meta.os == NULL) {
                   1901:                mandoc_msg(MANDOCERR_OS_MISSING,
                   1902:                    mdoc->parse, 0, 0, NULL);
                   1903:                mdoc->meta.os = mandoc_strdup("");
1.339     schwarze 1904:        } else if (mdoc->meta.os_e &&
                   1905:            (mdoc->meta.rcsids & (1 << mdoc->meta.os_e)) == 0)
1.340     schwarze 1906:                mandoc_msg(MANDOCERR_RCS_MISSING, mdoc->parse, 0, 0,
                   1907:                    mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                   1908:                    "(OpenBSD)" : "(NetBSD)");
1.342     schwarze 1909:
                   1910:        if (mdoc->meta.arch != NULL &&
                   1911:            (arch = arches[mdoc->meta.os_e]) != NULL) {
                   1912:                while (*arch != NULL && strcmp(*arch, mdoc->meta.arch))
                   1913:                        arch++;
                   1914:                if (*arch == NULL) {
                   1915:                        n = mdoc->first->child;
1.353     schwarze 1916:                        while (n->tok != MDOC_Dt ||
                   1917:                            n->child == NULL ||
                   1918:                            n->child->next == NULL ||
                   1919:                            n->child->next->next == NULL)
1.342     schwarze 1920:                                n = n->next;
                   1921:                        n = n->child->next->next;
                   1922:                        mandoc_vmsg(MANDOCERR_ARCH_BAD,
                   1923:                            mdoc->parse, n->line, n->pos,
                   1924:                            "Dt ... %s %s", mdoc->meta.arch,
                   1925:                            mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                   1926:                            "(OpenBSD)" : "(NetBSD)");
                   1927:                }
                   1928:        }
1.133     kristaps 1929:
                   1930:        /* Check that we begin with a proper `Sh'. */
                   1931:
1.246     schwarze 1932:        n = mdoc->first->child;
1.351     schwarze 1933:        while (n != NULL && n->tok >= MDOC_Dd &&
1.290     schwarze 1934:            mdoc_macros[n->tok].flags & MDOC_PROLOGUE)
1.246     schwarze 1935:                n = n->next;
                   1936:
                   1937:        if (n == NULL)
                   1938:                mandoc_msg(MANDOCERR_DOC_EMPTY, mdoc->parse, 0, 0, NULL);
                   1939:        else if (n->tok != MDOC_Sh)
1.217     schwarze 1940:                mandoc_msg(MANDOCERR_SEC_BEFORE, mdoc->parse,
1.320     schwarze 1941:                    n->line, n->pos, roff_name[n->tok]);
1.1       kristaps 1942: }
                   1943:
1.259     schwarze 1944: static void
1.43      kristaps 1945: post_rs(POST_ARGS)
                   1946: {
1.285     schwarze 1947:        struct roff_node *np, *nch, *next, *prev;
1.122     kristaps 1948:        int               i, j;
1.43      kristaps 1949:
1.268     schwarze 1950:        np = mdoc->last;
                   1951:
1.284     schwarze 1952:        if (np->type != ROFFT_BODY)
1.259     schwarze 1953:                return;
1.268     schwarze 1954:
                   1955:        if (np->child == NULL) {
                   1956:                mandoc_msg(MANDOCERR_RS_EMPTY, mdoc->parse,
                   1957:                    np->line, np->pos, "Rs");
1.259     schwarze 1958:                return;
1.151     schwarze 1959:        }
1.43      kristaps 1960:
1.122     kristaps 1961:        /*
                   1962:         * The full `Rs' block needs special handling to order the
                   1963:         * sub-elements according to `rsord'.  Pick through each element
1.230     schwarze 1964:         * and correctly order it.  This is an insertion sort.
1.122     kristaps 1965:         */
                   1966:
                   1967:        next = NULL;
1.268     schwarze 1968:        for (nch = np->child->next; nch != NULL; nch = next) {
                   1969:                /* Determine order number of this child. */
1.122     kristaps 1970:                for (i = 0; i < RSORD_MAX; i++)
1.268     schwarze 1971:                        if (rsord[i] == nch->tok)
1.122     kristaps 1972:                                break;
                   1973:
1.230     schwarze 1974:                if (i == RSORD_MAX) {
1.320     schwarze 1975:                        mandoc_msg(MANDOCERR_RS_BAD, mdoc->parse,
                   1976:                            nch->line, nch->pos, roff_name[nch->tok]);
1.230     schwarze 1977:                        i = -1;
1.268     schwarze 1978:                } else if (nch->tok == MDOC__J || nch->tok == MDOC__B)
                   1979:                        np->norm->Rs.quote_T++;
1.230     schwarze 1980:
1.210     schwarze 1981:                /*
1.268     schwarze 1982:                 * Remove this child from the chain.  This somewhat
1.287     schwarze 1983:                 * repeats roff_node_unlink(), but since we're
1.122     kristaps 1984:                 * just re-ordering, there's no need for the
                   1985:                 * full unlink process.
                   1986:                 */
1.210     schwarze 1987:
1.268     schwarze 1988:                if ((next = nch->next) != NULL)
                   1989:                        next->prev = nch->prev;
1.122     kristaps 1990:
1.268     schwarze 1991:                if ((prev = nch->prev) != NULL)
                   1992:                        prev->next = nch->next;
1.122     kristaps 1993:
1.268     schwarze 1994:                nch->prev = nch->next = NULL;
1.122     kristaps 1995:
1.210     schwarze 1996:                /*
1.122     kristaps 1997:                 * Scan back until we reach a node that's
1.268     schwarze 1998:                 * to be ordered before this child.
1.122     kristaps 1999:                 */
                   2000:
                   2001:                for ( ; prev ; prev = prev->prev) {
                   2002:                        /* Determine order of `prev'. */
                   2003:                        for (j = 0; j < RSORD_MAX; j++)
                   2004:                                if (rsord[j] == prev->tok)
                   2005:                                        break;
1.230     schwarze 2006:                        if (j == RSORD_MAX)
                   2007:                                j = -1;
1.122     kristaps 2008:
                   2009:                        if (j <= i)
                   2010:                                break;
                   2011:                }
                   2012:
                   2013:                /*
1.268     schwarze 2014:                 * Set this child back into its correct place
                   2015:                 * in front of the `prev' node.
1.122     kristaps 2016:                 */
                   2017:
1.268     schwarze 2018:                nch->prev = prev;
1.122     kristaps 2019:
1.268     schwarze 2020:                if (prev == NULL) {
                   2021:                        np->child->prev = nch;
                   2022:                        nch->next = np->child;
                   2023:                        np->child = nch;
                   2024:                } else {
1.122     kristaps 2025:                        if (prev->next)
1.268     schwarze 2026:                                prev->next->prev = nch;
                   2027:                        nch->next = prev->next;
                   2028:                        prev->next = nch;
1.43      kristaps 2029:                }
1.122     kristaps 2030:        }
1.196     schwarze 2031: }
                   2032:
                   2033: /*
                   2034:  * For some arguments of some macros,
                   2035:  * convert all breakable hyphens into ASCII_HYPH.
                   2036:  */
1.259     schwarze 2037: static void
1.196     schwarze 2038: post_hyph(POST_ARGS)
                   2039: {
1.285     schwarze 2040:        struct roff_node        *nch;
1.196     schwarze 2041:        char                    *cp;
                   2042:
1.273     schwarze 2043:        for (nch = mdoc->last->child; nch != NULL; nch = nch->next) {
1.284     schwarze 2044:                if (nch->type != ROFFT_TEXT)
1.196     schwarze 2045:                        continue;
                   2046:                cp = nch->string;
1.273     schwarze 2047:                if (*cp == '\0')
1.196     schwarze 2048:                        continue;
1.273     schwarze 2049:                while (*(++cp) != '\0')
                   2050:                        if (*cp == '-' &&
1.196     schwarze 2051:                            isalpha((unsigned char)cp[-1]) &&
                   2052:                            isalpha((unsigned char)cp[1]))
                   2053:                                *cp = ASCII_HYPH;
                   2054:        }
1.242     schwarze 2055: }
                   2056:
1.259     schwarze 2057: static void
1.155     kristaps 2058: post_ns(POST_ARGS)
                   2059: {
1.344     schwarze 2060:        struct roff_node        *n;
1.155     kristaps 2061:
1.344     schwarze 2062:        n = mdoc->last;
                   2063:        if (n->flags & NODE_LINE ||
                   2064:            (n->next != NULL && n->next->flags & NODE_DELIMC))
1.240     schwarze 2065:                mandoc_msg(MANDOCERR_NS_SKIP, mdoc->parse,
1.344     schwarze 2066:                    n->line, n->pos, NULL);
1.43      kristaps 2067: }
                   2068:
1.259     schwarze 2069: static void
1.348     schwarze 2070: post_sx(POST_ARGS)
                   2071: {
                   2072:        post_delim(mdoc);
                   2073:        post_hyph(mdoc);
                   2074: }
                   2075:
                   2076: static void
1.1       kristaps 2077: post_sh(POST_ARGS)
                   2078: {
                   2079:
1.242     schwarze 2080:        post_ignpar(mdoc);
                   2081:
1.247     schwarze 2082:        switch (mdoc->last->type) {
1.284     schwarze 2083:        case ROFFT_HEAD:
1.259     schwarze 2084:                post_sh_head(mdoc);
                   2085:                break;
1.284     schwarze 2086:        case ROFFT_BODY:
1.247     schwarze 2087:                switch (mdoc->lastsec)  {
                   2088:                case SEC_NAME:
1.259     schwarze 2089:                        post_sh_name(mdoc);
                   2090:                        break;
1.248     schwarze 2091:                case SEC_SEE_ALSO:
1.259     schwarze 2092:                        post_sh_see_also(mdoc);
                   2093:                        break;
1.247     schwarze 2094:                case SEC_AUTHORS:
1.259     schwarze 2095:                        post_sh_authors(mdoc);
                   2096:                        break;
1.247     schwarze 2097:                default:
                   2098:                        break;
                   2099:                }
                   2100:                break;
                   2101:        default:
                   2102:                break;
                   2103:        }
1.1       kristaps 2104: }
                   2105:
1.259     schwarze 2106: static void
1.247     schwarze 2107: post_sh_name(POST_ARGS)
1.1       kristaps 2108: {
1.285     schwarze 2109:        struct roff_node *n;
1.282     schwarze 2110:        int hasnm, hasnd;
1.1       kristaps 2111:
1.282     schwarze 2112:        hasnm = hasnd = 0;
1.1       kristaps 2113:
1.282     schwarze 2114:        for (n = mdoc->last->child; n != NULL; n = n->next) {
                   2115:                switch (n->tok) {
                   2116:                case MDOC_Nm:
1.311     schwarze 2117:                        if (hasnm && n->child != NULL)
                   2118:                                mandoc_vmsg(MANDOCERR_NAMESEC_PUNCT,
                   2119:                                    mdoc->parse, n->line, n->pos,
                   2120:                                    "Nm %s", n->child->string);
1.282     schwarze 2121:                        hasnm = 1;
1.311     schwarze 2122:                        continue;
1.282     schwarze 2123:                case MDOC_Nd:
                   2124:                        hasnd = 1;
                   2125:                        if (n->next != NULL)
                   2126:                                mandoc_msg(MANDOCERR_NAMESEC_ND,
                   2127:                                    mdoc->parse, n->line, n->pos, NULL);
                   2128:                        break;
1.288     schwarze 2129:                case TOKEN_NONE:
1.311     schwarze 2130:                        if (n->type == ROFFT_TEXT &&
                   2131:                            n->string[0] == ',' && n->string[1] == '\0' &&
                   2132:                            n->next != NULL && n->next->tok == MDOC_Nm) {
                   2133:                                n = n->next;
                   2134:                                continue;
                   2135:                        }
1.283     schwarze 2136:                        /* FALLTHROUGH */
1.282     schwarze 2137:                default:
                   2138:                        mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,
1.320     schwarze 2139:                            n->line, n->pos, roff_name[n->tok]);
1.311     schwarze 2140:                        continue;
1.282     schwarze 2141:                }
1.311     schwarze 2142:                break;
1.133     kristaps 2143:        }
1.1       kristaps 2144:
1.282     schwarze 2145:        if ( ! hasnm)
                   2146:                mandoc_msg(MANDOCERR_NAMESEC_NONM, mdoc->parse,
                   2147:                    mdoc->last->line, mdoc->last->pos, NULL);
                   2148:        if ( ! hasnd)
                   2149:                mandoc_msg(MANDOCERR_NAMESEC_NOND, mdoc->parse,
                   2150:                    mdoc->last->line, mdoc->last->pos, NULL);
1.248     schwarze 2151: }
                   2152:
1.259     schwarze 2153: static void
1.248     schwarze 2154: post_sh_see_also(POST_ARGS)
                   2155: {
1.285     schwarze 2156:        const struct roff_node  *n;
1.277     schwarze 2157:        const char              *name, *sec;
1.248     schwarze 2158:        const char              *lastname, *lastsec, *lastpunct;
                   2159:        int                      cmp;
                   2160:
                   2161:        n = mdoc->last->child;
                   2162:        lastname = lastsec = lastpunct = NULL;
                   2163:        while (n != NULL) {
1.301     schwarze 2164:                if (n->tok != MDOC_Xr ||
                   2165:                    n->child == NULL ||
                   2166:                    n->child->next == NULL)
1.248     schwarze 2167:                        break;
                   2168:
                   2169:                /* Process one .Xr node. */
                   2170:
                   2171:                name = n->child->string;
                   2172:                sec = n->child->next->string;
                   2173:                if (lastsec != NULL) {
                   2174:                        if (lastpunct[0] != ',' || lastpunct[1] != '\0')
                   2175:                                mandoc_vmsg(MANDOCERR_XR_PUNCT,
                   2176:                                    mdoc->parse, n->line, n->pos,
                   2177:                                    "%s before %s(%s)", lastpunct,
                   2178:                                    name, sec);
                   2179:                        cmp = strcmp(lastsec, sec);
                   2180:                        if (cmp > 0)
                   2181:                                mandoc_vmsg(MANDOCERR_XR_ORDER,
                   2182:                                    mdoc->parse, n->line, n->pos,
                   2183:                                    "%s(%s) after %s(%s)", name,
                   2184:                                    sec, lastname, lastsec);
1.253     schwarze 2185:                        else if (cmp == 0 &&
                   2186:                            strcasecmp(lastname, name) > 0)
1.248     schwarze 2187:                                mandoc_vmsg(MANDOCERR_XR_ORDER,
                   2188:                                    mdoc->parse, n->line, n->pos,
                   2189:                                    "%s after %s", name, lastname);
                   2190:                }
                   2191:                lastname = name;
                   2192:                lastsec = sec;
                   2193:
                   2194:                /* Process the following node. */
                   2195:
                   2196:                n = n->next;
                   2197:                if (n == NULL)
                   2198:                        break;
                   2199:                if (n->tok == MDOC_Xr) {
                   2200:                        lastpunct = "none";
                   2201:                        continue;
                   2202:                }
1.284     schwarze 2203:                if (n->type != ROFFT_TEXT)
1.248     schwarze 2204:                        break;
                   2205:                for (name = n->string; *name != '\0'; name++)
                   2206:                        if (isalpha((const unsigned char)*name))
1.259     schwarze 2207:                                return;
1.248     schwarze 2208:                lastpunct = n->string;
1.327     schwarze 2209:                if (n->next == NULL || n->next->tok == MDOC_Rs)
1.248     schwarze 2210:                        mandoc_vmsg(MANDOCERR_XR_PUNCT, mdoc->parse,
                   2211:                            n->line, n->pos, "%s after %s(%s)",
                   2212:                            lastpunct, lastname, lastsec);
                   2213:                n = n->next;
                   2214:        }
1.247     schwarze 2215: }
                   2216:
                   2217: static int
1.285     schwarze 2218: child_an(const struct roff_node *n)
1.247     schwarze 2219: {
                   2220:
                   2221:        for (n = n->child; n != NULL; n = n->next)
1.301     schwarze 2222:                if ((n->tok == MDOC_An && n->child != NULL) || child_an(n))
1.294     schwarze 2223:                        return 1;
                   2224:        return 0;
1.247     schwarze 2225: }
                   2226:
1.259     schwarze 2227: static void
1.247     schwarze 2228: post_sh_authors(POST_ARGS)
                   2229: {
                   2230:
                   2231:        if ( ! child_an(mdoc->last))
                   2232:                mandoc_msg(MANDOCERR_AN_MISSING, mdoc->parse,
                   2233:                    mdoc->last->line, mdoc->last->pos, NULL);
1.1       kristaps 2234: }
                   2235:
1.343     schwarze 2236: /*
                   2237:  * Return an upper bound for the string distance (allowing
                   2238:  * transpositions).  Not a full Levenshtein implementation
                   2239:  * because Levenshtein is quadratic in the string length
                   2240:  * and this function is called for every standard name,
                   2241:  * so the check for each custom name would be cubic.
                   2242:  * The following crude heuristics is linear, resulting
                   2243:  * in quadratic behaviour for checking one custom name,
                   2244:  * which does not cause measurable slowdown.
                   2245:  */
                   2246: static int
                   2247: similar(const char *s1, const char *s2)
                   2248: {
                   2249:        const int       maxdist = 3;
                   2250:        int             dist = 0;
                   2251:
                   2252:        while (s1[0] != '\0' && s2[0] != '\0') {
                   2253:                if (s1[0] == s2[0]) {
                   2254:                        s1++;
                   2255:                        s2++;
                   2256:                        continue;
                   2257:                }
                   2258:                if (++dist > maxdist)
                   2259:                        return INT_MAX;
                   2260:                if (s1[1] == s2[1]) {  /* replacement */
                   2261:                        s1++;
                   2262:                        s2++;
                   2263:                } else if (s1[0] == s2[1] && s1[1] == s2[0]) {
                   2264:                        s1 += 2;        /* transposition */
                   2265:                        s2 += 2;
                   2266:                } else if (s1[0] == s2[1])  /* insertion */
                   2267:                        s2++;
                   2268:                else if (s1[1] == s2[0])  /* deletion */
                   2269:                        s1++;
                   2270:                else
                   2271:                        return INT_MAX;
                   2272:        }
                   2273:        dist += strlen(s1) + strlen(s2);
                   2274:        return dist > maxdist ? INT_MAX : dist;
                   2275: }
                   2276:
1.259     schwarze 2277: static void
1.1       kristaps 2278: post_sh_head(POST_ARGS)
                   2279: {
1.305     schwarze 2280:        struct roff_node        *nch;
                   2281:        const char              *goodsec;
1.343     schwarze 2282:        const char *const       *testsec;
                   2283:        int                      dist, mindist;
1.305     schwarze 2284:        enum roff_sec            sec;
1.1       kristaps 2285:
                   2286:        /*
                   2287:         * Process a new section.  Sections are either "named" or
1.125     kristaps 2288:         * "custom".  Custom sections are user-defined, while named ones
                   2289:         * follow a conventional order and may only appear in certain
                   2290:         * manual sections.
1.1       kristaps 2291:         */
                   2292:
1.298     schwarze 2293:        sec = mdoc->last->sec;
1.1       kristaps 2294:
1.125     kristaps 2295:        /* The NAME should be first. */
1.1       kristaps 2296:
1.302     schwarze 2297:        if (sec != SEC_NAME && mdoc->lastnamed == SEC_NONE)
1.239     schwarze 2298:                mandoc_vmsg(MANDOCERR_NAMESEC_FIRST, mdoc->parse,
1.302     schwarze 2299:                    mdoc->last->line, mdoc->last->pos, "Sh %s",
1.305     schwarze 2300:                    sec != SEC_CUSTOM ? secnames[sec] :
                   2301:                    (nch = mdoc->last->child) == NULL ? "" :
                   2302:                    nch->type == ROFFT_TEXT ? nch->string :
1.320     schwarze 2303:                    roff_name[nch->tok]);
1.125     kristaps 2304:
                   2305:        /* The SYNOPSIS gets special attention in other areas. */
                   2306:
1.298     schwarze 2307:        if (sec == SEC_SYNOPSIS) {
1.198     schwarze 2308:                roff_setreg(mdoc->roff, "nS", 1, '=');
1.125     kristaps 2309:                mdoc->flags |= MDOC_SYNOPSIS;
1.194     schwarze 2310:        } else {
1.198     schwarze 2311:                roff_setreg(mdoc->roff, "nS", 0, '=');
1.125     kristaps 2312:                mdoc->flags &= ~MDOC_SYNOPSIS;
1.194     schwarze 2313:        }
1.125     kristaps 2314:
                   2315:        /* Mark our last section. */
                   2316:
                   2317:        mdoc->lastsec = sec;
1.181     schwarze 2318:
1.125     kristaps 2319:        /* We don't care about custom sections after this. */
1.72      kristaps 2320:
1.343     schwarze 2321:        if (sec == SEC_CUSTOM) {
                   2322:                if ((nch = mdoc->last->child) == NULL ||
                   2323:                    nch->type != ROFFT_TEXT || nch->next != NULL)
                   2324:                        return;
                   2325:                goodsec = NULL;
                   2326:                mindist = INT_MAX;
                   2327:                for (testsec = secnames + 1; *testsec != NULL; testsec++) {
                   2328:                        dist = similar(nch->string, *testsec);
                   2329:                        if (dist < mindist) {
                   2330:                                goodsec = *testsec;
                   2331:                                mindist = dist;
                   2332:                        }
                   2333:                }
                   2334:                if (goodsec != NULL)
                   2335:                        mandoc_vmsg(MANDOCERR_SEC_TYPO, mdoc->parse,
                   2336:                            nch->line, nch->pos, "Sh %s instead of %s",
                   2337:                            nch->string, goodsec);
1.259     schwarze 2338:                return;
1.343     schwarze 2339:        }
1.72      kristaps 2340:
1.125     kristaps 2341:        /*
                   2342:         * Check whether our non-custom section is being repeated or is
                   2343:         * out of order.
                   2344:         */
                   2345:
1.1       kristaps 2346:        if (sec == mdoc->lastnamed)
1.239     schwarze 2347:                mandoc_vmsg(MANDOCERR_SEC_REP, mdoc->parse,
                   2348:                    mdoc->last->line, mdoc->last->pos,
1.298     schwarze 2349:                    "Sh %s", secnames[sec]);
1.72      kristaps 2350:
1.1       kristaps 2351:        if (sec < mdoc->lastnamed)
1.239     schwarze 2352:                mandoc_vmsg(MANDOCERR_SEC_ORDER, mdoc->parse,
                   2353:                    mdoc->last->line, mdoc->last->pos,
1.298     schwarze 2354:                    "Sh %s", secnames[sec]);
1.125     kristaps 2355:
                   2356:        /* Mark the last named section. */
                   2357:
                   2358:        mdoc->lastnamed = sec;
                   2359:
                   2360:        /* Check particular section/manual conventions. */
1.1       kristaps 2361:
1.298     schwarze 2362:        if (mdoc->meta.msec == NULL)
1.259     schwarze 2363:                return;
1.1       kristaps 2364:
1.217     schwarze 2365:        goodsec = NULL;
1.1       kristaps 2366:        switch (sec) {
1.210     schwarze 2367:        case SEC_ERRORS:
1.207     schwarze 2368:                if (*mdoc->meta.msec == '4')
                   2369:                        break;
1.217     schwarze 2370:                goodsec = "2, 3, 4, 9";
1.207     schwarze 2371:                /* FALLTHROUGH */
1.210     schwarze 2372:        case SEC_RETURN_VALUES:
                   2373:        case SEC_LIBRARY:
1.78      kristaps 2374:                if (*mdoc->meta.msec == '2')
                   2375:                        break;
                   2376:                if (*mdoc->meta.msec == '3')
                   2377:                        break;
1.217     schwarze 2378:                if (NULL == goodsec)
                   2379:                        goodsec = "2, 3, 9";
1.208     schwarze 2380:                /* FALLTHROUGH */
1.210     schwarze 2381:        case SEC_CONTEXT:
1.78      kristaps 2382:                if (*mdoc->meta.msec == '9')
1.1       kristaps 2383:                        break;
1.217     schwarze 2384:                if (NULL == goodsec)
                   2385:                        goodsec = "9";
                   2386:                mandoc_vmsg(MANDOCERR_SEC_MSEC, mdoc->parse,
                   2387:                    mdoc->last->line, mdoc->last->pos,
1.298     schwarze 2388:                    "Sh %s for %s only", secnames[sec], goodsec);
1.125     kristaps 2389:                break;
1.1       kristaps 2390:        default:
                   2391:                break;
                   2392:        }
1.140     kristaps 2393: }
                   2394:
1.259     schwarze 2395: static void
1.310     schwarze 2396: post_xr(POST_ARGS)
                   2397: {
                   2398:        struct roff_node *n, *nch;
                   2399:
                   2400:        n = mdoc->last;
                   2401:        nch = n->child;
                   2402:        if (nch->next == NULL) {
                   2403:                mandoc_vmsg(MANDOCERR_XR_NOSEC, mdoc->parse,
                   2404:                    n->line, n->pos, "Xr %s", nch->string);
1.346     schwarze 2405:        } else {
1.333     schwarze 2406:                assert(nch->next == n->last);
1.347     schwarze 2407:                if(mandoc_xr_add(nch->next->string, nch->string,
                   2408:                    nch->line, nch->pos))
                   2409:                        mandoc_vmsg(MANDOCERR_XR_SELF, mdoc->parse,
                   2410:                            nch->line, nch->pos, "Xr %s %s",
                   2411:                            nch->string, nch->next->string);
1.346     schwarze 2412:        }
1.348     schwarze 2413:        post_delim_nb(mdoc);
1.310     schwarze 2414: }
                   2415:
                   2416: static void
1.140     kristaps 2417: post_ignpar(POST_ARGS)
                   2418: {
1.285     schwarze 2419:        struct roff_node *np;
1.140     kristaps 2420:
1.273     schwarze 2421:        switch (mdoc->last->type) {
1.321     schwarze 2422:        case ROFFT_BLOCK:
                   2423:                post_prevpar(mdoc);
                   2424:                return;
1.284     schwarze 2425:        case ROFFT_HEAD:
1.348     schwarze 2426:                post_delim(mdoc);
1.273     schwarze 2427:                post_hyph(mdoc);
                   2428:                return;
1.284     schwarze 2429:        case ROFFT_BODY:
1.273     schwarze 2430:                break;
                   2431:        default:
1.259     schwarze 2432:                return;
1.273     schwarze 2433:        }
1.140     kristaps 2434:
1.297     schwarze 2435:        if ((np = mdoc->last->child) != NULL)
                   2436:                if (np->tok == MDOC_Pp || np->tok == MDOC_Lp) {
1.219     schwarze 2437:                        mandoc_vmsg(MANDOCERR_PAR_SKIP,
                   2438:                            mdoc->parse, np->line, np->pos,
1.320     schwarze 2439:                            "%s after %s", roff_name[np->tok],
                   2440:                            roff_name[mdoc->last->tok]);
1.287     schwarze 2441:                        roff_node_delete(mdoc, np);
1.140     kristaps 2442:                }
                   2443:
1.297     schwarze 2444:        if ((np = mdoc->last->last) != NULL)
                   2445:                if (np->tok == MDOC_Pp || np->tok == MDOC_Lp) {
1.219     schwarze 2446:                        mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,
                   2447:                            np->line, np->pos, "%s at the end of %s",
1.320     schwarze 2448:                            roff_name[np->tok],
                   2449:                            roff_name[mdoc->last->tok]);
1.287     schwarze 2450:                        roff_node_delete(mdoc, np);
1.140     kristaps 2451:                }
1.117     kristaps 2452: }
                   2453:
1.259     schwarze 2454: static void
1.299     schwarze 2455: post_prevpar(POST_ARGS)
1.117     kristaps 2456: {
1.299     schwarze 2457:        struct roff_node *n;
1.117     kristaps 2458:
1.299     schwarze 2459:        n = mdoc->last;
                   2460:        if (NULL == n->prev)
1.259     schwarze 2461:                return;
1.284     schwarze 2462:        if (n->type != ROFFT_ELEM && n->type != ROFFT_BLOCK)
1.259     schwarze 2463:                return;
1.118     kristaps 2464:
1.210     schwarze 2465:        /*
1.124     kristaps 2466:         * Don't allow prior `Lp' or `Pp' prior to a paragraph-type
                   2467:         * block:  `Lp', `Pp', or non-compact `Bd' or `Bl'.
                   2468:         */
1.118     kristaps 2469:
1.299     schwarze 2470:        if (n->prev->tok != MDOC_Pp &&
                   2471:            n->prev->tok != MDOC_Lp &&
1.323     schwarze 2472:            n->prev->tok != ROFF_br)
1.259     schwarze 2473:                return;
1.299     schwarze 2474:        if (n->tok == MDOC_Bl && n->norm->Bl.comp)
1.259     schwarze 2475:                return;
1.299     schwarze 2476:        if (n->tok == MDOC_Bd && n->norm->Bd.comp)
1.259     schwarze 2477:                return;
1.299     schwarze 2478:        if (n->tok == MDOC_It && n->parent->norm->Bl.comp)
1.259     schwarze 2479:                return;
1.188     schwarze 2480:
1.219     schwarze 2481:        mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,
1.320     schwarze 2482:            n->prev->line, n->prev->pos, "%s before %s",
                   2483:            roff_name[n->prev->tok], roff_name[n->tok]);
1.299     schwarze 2484:        roff_node_delete(mdoc, n->prev);
1.188     schwarze 2485: }
                   2486:
1.259     schwarze 2487: static void
1.188     schwarze 2488: post_par(POST_ARGS)
                   2489: {
1.285     schwarze 2490:        struct roff_node *np;
1.188     schwarze 2491:
1.269     schwarze 2492:        np = mdoc->last;
1.326     schwarze 2493:        if (np->tok != ROFF_br && np->tok != ROFF_sp)
1.299     schwarze 2494:                post_prevpar(mdoc);
1.242     schwarze 2495:
1.326     schwarze 2496:        if (np->tok == ROFF_sp) {
1.301     schwarze 2497:                if (np->child != NULL && np->child->next != NULL)
1.269     schwarze 2498:                        mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   2499:                            np->child->next->line, np->child->next->pos,
                   2500:                            "sp ... %s", np->child->next->string);
                   2501:        } else if (np->child != NULL)
                   2502:                mandoc_vmsg(MANDOCERR_ARG_SKIP,
                   2503:                    mdoc->parse, np->line, np->pos, "%s %s",
1.320     schwarze 2504:                    roff_name[np->tok], np->child->string);
1.188     schwarze 2505:
1.297     schwarze 2506:        if ((np = mdoc->last->prev) == NULL) {
1.219     schwarze 2507:                np = mdoc->last->parent;
1.297     schwarze 2508:                if (np->tok != MDOC_Sh && np->tok != MDOC_Ss)
1.259     schwarze 2509:                        return;
1.297     schwarze 2510:        } else if (np->tok != MDOC_Pp && np->tok != MDOC_Lp &&
1.323     schwarze 2511:            (mdoc->last->tok != ROFF_br ||
1.326     schwarze 2512:             (np->tok != ROFF_sp && np->tok != ROFF_br)))
1.259     schwarze 2513:                return;
1.117     kristaps 2514:
1.219     schwarze 2515:        mandoc_vmsg(MANDOCERR_PAR_SKIP, mdoc->parse,
1.320     schwarze 2516:            mdoc->last->line, mdoc->last->pos, "%s after %s",
                   2517:            roff_name[mdoc->last->tok], roff_name[np->tok]);
1.287     schwarze 2518:        roff_node_delete(mdoc, mdoc->last);
1.128     kristaps 2519: }
                   2520:
1.259     schwarze 2521: static void
1.132     kristaps 2522: post_dd(POST_ARGS)
                   2523: {
1.285     schwarze 2524:        struct roff_node *n;
1.205     schwarze 2525:        char             *datestr;
1.132     kristaps 2526:
1.298     schwarze 2527:        n = mdoc->last;
1.313     schwarze 2528:        n->flags |= NODE_NOPRT;
                   2529:
1.298     schwarze 2530:        if (mdoc->meta.date != NULL) {
                   2531:                mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,
                   2532:                    n->line, n->pos, "Dd");
1.158     schwarze 2533:                free(mdoc->meta.date);
1.298     schwarze 2534:        } else if (mdoc->flags & MDOC_PBODY)
                   2535:                mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,
                   2536:                    n->line, n->pos, "Dd");
                   2537:        else if (mdoc->meta.title != NULL)
                   2538:                mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,
                   2539:                    n->line, n->pos, "Dd after Dt");
                   2540:        else if (mdoc->meta.os != NULL)
                   2541:                mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,
                   2542:                    n->line, n->pos, "Dd after Os");
1.158     schwarze 2543:
1.297     schwarze 2544:        if (n->child == NULL || n->child->string[0] == '\0') {
1.200     schwarze 2545:                mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :
1.337     schwarze 2546:                    mandoc_normdate(mdoc, NULL, n->line, n->pos);
1.313     schwarze 2547:                return;
1.132     kristaps 2548:        }
                   2549:
1.205     schwarze 2550:        datestr = NULL;
1.291     schwarze 2551:        deroff(&datestr, n);
1.205     schwarze 2552:        if (mdoc->quick)
                   2553:                mdoc->meta.date = datestr;
                   2554:        else {
1.337     schwarze 2555:                mdoc->meta.date = mandoc_normdate(mdoc,
1.205     schwarze 2556:                    datestr, n->line, n->pos);
                   2557:                free(datestr);
1.173     kristaps 2558:        }
1.132     kristaps 2559: }
                   2560:
1.259     schwarze 2561: static void
1.132     kristaps 2562: post_dt(POST_ARGS)
                   2563: {
1.285     schwarze 2564:        struct roff_node *nn, *n;
1.132     kristaps 2565:        const char       *cp;
                   2566:        char             *p;
                   2567:
                   2568:        n = mdoc->last;
1.313     schwarze 2569:        n->flags |= NODE_NOPRT;
                   2570:
1.298     schwarze 2571:        if (mdoc->flags & MDOC_PBODY) {
                   2572:                mandoc_msg(MANDOCERR_DT_LATE, mdoc->parse,
                   2573:                    n->line, n->pos, "Dt");
1.313     schwarze 2574:                return;
1.298     schwarze 2575:        }
                   2576:
                   2577:        if (mdoc->meta.title != NULL)
                   2578:                mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,
                   2579:                    n->line, n->pos, "Dt");
                   2580:        else if (mdoc->meta.os != NULL)
                   2581:                mandoc_msg(MANDOCERR_PROLOG_ORDER, mdoc->parse,
                   2582:                    n->line, n->pos, "Dt after Os");
1.132     kristaps 2583:
1.243     schwarze 2584:        free(mdoc->meta.title);
                   2585:        free(mdoc->meta.msec);
                   2586:        free(mdoc->meta.vol);
                   2587:        free(mdoc->meta.arch);
                   2588:
                   2589:        mdoc->meta.title = NULL;
                   2590:        mdoc->meta.msec = NULL;
                   2591:        mdoc->meta.vol = NULL;
                   2592:        mdoc->meta.arch = NULL;
1.132     kristaps 2593:
1.280     schwarze 2594:        /* Mandatory first argument: title. */
1.132     kristaps 2595:
1.280     schwarze 2596:        nn = n->child;
                   2597:        if (nn == NULL || *nn->string == '\0') {
1.243     schwarze 2598:                mandoc_msg(MANDOCERR_DT_NOTITLE,
                   2599:                    mdoc->parse, n->line, n->pos, "Dt");
                   2600:                mdoc->meta.title = mandoc_strdup("UNTITLED");
1.280     schwarze 2601:        } else {
                   2602:                mdoc->meta.title = mandoc_strdup(nn->string);
                   2603:
                   2604:                /* Check that all characters are uppercase. */
                   2605:
                   2606:                for (p = nn->string; *p != '\0'; p++)
                   2607:                        if (islower((unsigned char)*p)) {
                   2608:                                mandoc_vmsg(MANDOCERR_TITLE_CASE,
                   2609:                                    mdoc->parse, nn->line,
                   2610:                                    nn->pos + (p - nn->string),
                   2611:                                    "Dt %s", nn->string);
                   2612:                                break;
                   2613:                        }
1.132     kristaps 2614:        }
                   2615:
1.310     schwarze 2616:        /* Mandatory second argument: section. */
1.132     kristaps 2617:
1.280     schwarze 2618:        if (nn != NULL)
                   2619:                nn = nn->next;
1.132     kristaps 2620:
1.280     schwarze 2621:        if (nn == NULL) {
1.243     schwarze 2622:                mandoc_vmsg(MANDOCERR_MSEC_MISSING,
                   2623:                    mdoc->parse, n->line, n->pos,
                   2624:                    "Dt %s", mdoc->meta.title);
1.132     kristaps 2625:                mdoc->meta.vol = mandoc_strdup("LOCAL");
1.313     schwarze 2626:                return;  /* msec and arch remain NULL. */
1.132     kristaps 2627:        }
                   2628:
1.280     schwarze 2629:        mdoc->meta.msec = mandoc_strdup(nn->string);
                   2630:
                   2631:        /* Infer volume title from section number. */
1.132     kristaps 2632:
1.180     schwarze 2633:        cp = mandoc_a2msec(nn->string);
1.280     schwarze 2634:        if (cp == NULL) {
1.239     schwarze 2635:                mandoc_vmsg(MANDOCERR_MSEC_BAD, mdoc->parse,
                   2636:                    nn->line, nn->pos, "Dt ... %s", nn->string);
1.132     kristaps 2637:                mdoc->meta.vol = mandoc_strdup(nn->string);
1.280     schwarze 2638:        } else
                   2639:                mdoc->meta.vol = mandoc_strdup(cp);
                   2640:
                   2641:        /* Optional third argument: architecture. */
                   2642:
                   2643:        if ((nn = nn->next) == NULL)
1.313     schwarze 2644:                return;
1.280     schwarze 2645:
                   2646:        for (p = nn->string; *p != '\0'; p++)
                   2647:                *p = tolower((unsigned char)*p);
                   2648:        mdoc->meta.arch = mandoc_strdup(nn->string);
1.132     kristaps 2649:
1.280     schwarze 2650:        /* Ignore fourth and later arguments. */
1.132     kristaps 2651:
1.280     schwarze 2652:        if ((nn = nn->next) != NULL)
                   2653:                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                   2654:                    nn->line, nn->pos, "Dt ... %s", nn->string);
1.154     kristaps 2655: }
                   2656:
1.259     schwarze 2657: static void
1.154     kristaps 2658: post_bx(POST_ARGS)
                   2659: {
1.316     schwarze 2660:        struct roff_node        *n, *nch;
1.329     schwarze 2661:        const char              *macro;
1.333     schwarze 2662:
1.348     schwarze 2663:        post_delim_nb(mdoc);
1.316     schwarze 2664:
                   2665:        n = mdoc->last;
                   2666:        nch = n->child;
                   2667:
                   2668:        if (nch != NULL) {
1.329     schwarze 2669:                macro = !strcmp(nch->string, "Open") ? "Ox" :
                   2670:                    !strcmp(nch->string, "Net") ? "Nx" :
                   2671:                    !strcmp(nch->string, "Free") ? "Fx" :
                   2672:                    !strcmp(nch->string, "DragonFly") ? "Dx" : NULL;
                   2673:                if (macro != NULL)
                   2674:                        mandoc_msg(MANDOCERR_BX, mdoc->parse,
                   2675:                            n->line, n->pos, macro);
1.316     schwarze 2676:                mdoc->last = nch;
                   2677:                nch = nch->next;
                   2678:                mdoc->next = ROFF_NEXT_SIBLING;
                   2679:                roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
                   2680:                mdoc->last->flags |= NODE_NOSRC;
                   2681:                mdoc->next = ROFF_NEXT_SIBLING;
                   2682:        } else
                   2683:                mdoc->next = ROFF_NEXT_CHILD;
                   2684:        roff_word_alloc(mdoc, n->line, n->pos, "BSD");
                   2685:        mdoc->last->flags |= NODE_NOSRC;
                   2686:
                   2687:        if (nch == NULL) {
                   2688:                mdoc->last = n;
                   2689:                return;
                   2690:        }
                   2691:
                   2692:        roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
                   2693:        mdoc->last->flags |= NODE_NOSRC;
                   2694:        mdoc->next = ROFF_NEXT_SIBLING;
                   2695:        roff_word_alloc(mdoc, n->line, n->pos, "-");
                   2696:        mdoc->last->flags |= NODE_NOSRC;
                   2697:        roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
                   2698:        mdoc->last->flags |= NODE_NOSRC;
                   2699:        mdoc->last = n;
1.154     kristaps 2700:
1.210     schwarze 2701:        /*
1.154     kristaps 2702:         * Make `Bx's second argument always start with an uppercase
                   2703:         * letter.  Groff checks if it's an "accepted" term, but we just
                   2704:         * uppercase blindly.
                   2705:         */
                   2706:
1.316     schwarze 2707:        *nch->string = (char)toupper((unsigned char)*nch->string);
1.132     kristaps 2708: }
                   2709:
1.259     schwarze 2710: static void
1.132     kristaps 2711: post_os(POST_ARGS)
                   2712: {
                   2713: #ifndef OSNAME
                   2714:        struct utsname    utsname;
1.201     schwarze 2715:        static char      *defbuf;
1.132     kristaps 2716: #endif
1.285     schwarze 2717:        struct roff_node *n;
1.132     kristaps 2718:
                   2719:        n = mdoc->last;
1.313     schwarze 2720:        n->flags |= NODE_NOPRT;
                   2721:
1.298     schwarze 2722:        if (mdoc->meta.os != NULL)
                   2723:                mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,
                   2724:                    n->line, n->pos, "Os");
                   2725:        else if (mdoc->flags & MDOC_PBODY)
                   2726:                mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,
                   2727:                    n->line, n->pos, "Os");
1.348     schwarze 2728:
                   2729:        post_delim(mdoc);
1.132     kristaps 2730:
                   2731:        /*
1.184     schwarze 2732:         * Set the operating system by way of the `Os' macro.
                   2733:         * The order of precedence is:
                   2734:         * 1. the argument of the `Os' macro, unless empty
                   2735:         * 2. the -Ios=foo command line argument, if provided
                   2736:         * 3. -DOSNAME="\"foo\"", if provided during compilation
                   2737:         * 4. "sysname release" from uname(3)
1.210     schwarze 2738:         */
1.132     kristaps 2739:
1.184     schwarze 2740:        free(mdoc->meta.os);
1.205     schwarze 2741:        mdoc->meta.os = NULL;
1.291     schwarze 2742:        deroff(&mdoc->meta.os, n);
1.205     schwarze 2743:        if (mdoc->meta.os)
1.331     schwarze 2744:                goto out;
1.201     schwarze 2745:
1.340     schwarze 2746:        if (mdoc->os_s != NULL) {
                   2747:                mdoc->meta.os = mandoc_strdup(mdoc->os_s);
1.331     schwarze 2748:                goto out;
1.201     schwarze 2749:        }
                   2750:
1.132     kristaps 2751: #ifdef OSNAME
1.201     schwarze 2752:        mdoc->meta.os = mandoc_strdup(OSNAME);
1.132     kristaps 2753: #else /*!OSNAME */
1.297     schwarze 2754:        if (defbuf == NULL) {
                   2755:                if (uname(&utsname) == -1) {
1.233     schwarze 2756:                        mandoc_msg(MANDOCERR_OS_UNAME, mdoc->parse,
                   2757:                            n->line, n->pos, "Os");
1.210     schwarze 2758:                        defbuf = mandoc_strdup("UNKNOWN");
                   2759:                } else
1.204     schwarze 2760:                        mandoc_asprintf(&defbuf, "%s %s",
                   2761:                            utsname.sysname, utsname.release);
1.201     schwarze 2762:        }
                   2763:        mdoc->meta.os = mandoc_strdup(defbuf);
1.132     kristaps 2764: #endif /*!OSNAME*/
1.331     schwarze 2765:
1.340     schwarze 2766: out:
                   2767:        if (mdoc->meta.os_e == MANDOC_OS_OTHER) {
                   2768:                if (strstr(mdoc->meta.os, "OpenBSD") != NULL)
                   2769:                        mdoc->meta.os_e = MANDOC_OS_OPENBSD;
                   2770:                else if (strstr(mdoc->meta.os, "NetBSD") != NULL)
                   2771:                        mdoc->meta.os_e = MANDOC_OS_NETBSD;
                   2772:        }
1.337     schwarze 2773:
                   2774:        /*
                   2775:         * This is the earliest point where we can check
                   2776:         * Mdocdate conventions because we don't know
                   2777:         * the operating system earlier.
                   2778:         */
1.341     schwarze 2779:
                   2780:        if (n->child != NULL)
                   2781:                mandoc_vmsg(MANDOCERR_OS_ARG, mdoc->parse,
                   2782:                    n->child->line, n->child->pos,
                   2783:                    "Os %s (%s)", n->child->string,
                   2784:                    mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                   2785:                    "OpenBSD" : "NetBSD");
1.337     schwarze 2786:
                   2787:        while (n->tok != MDOC_Dd)
                   2788:                if ((n = n->prev) == NULL)
                   2789:                        return;
                   2790:        if ((n = n->child) == NULL)
                   2791:                return;
1.338     schwarze 2792:        if (strncmp(n->string, "$" "Mdocdate", 9)) {
1.340     schwarze 2793:                if (mdoc->meta.os_e == MANDOC_OS_OPENBSD)
1.337     schwarze 2794:                        mandoc_vmsg(MANDOCERR_MDOCDATE_MISSING,
                   2795:                            mdoc->parse, n->line, n->pos,
1.340     schwarze 2796:                            "Dd %s (OpenBSD)", n->string);
1.337     schwarze 2797:        } else {
1.340     schwarze 2798:                if (mdoc->meta.os_e == MANDOC_OS_NETBSD)
1.337     schwarze 2799:                        mandoc_vmsg(MANDOCERR_MDOCDATE,
                   2800:                            mdoc->parse, n->line, n->pos,
1.340     schwarze 2801:                            "Dd %s (NetBSD)", n->string);
1.337     schwarze 2802:        }
1.160     kristaps 2803: }
                   2804:
1.298     schwarze 2805: enum roff_sec
                   2806: mdoc_a2sec(const char *p)
1.160     kristaps 2807: {
                   2808:        int              i;
                   2809:
1.210     schwarze 2810:        for (i = 0; i < (int)SEC__MAX; i++)
1.160     kristaps 2811:                if (secnames[i] && 0 == strcmp(p, secnames[i]))
1.294     schwarze 2812:                        return (enum roff_sec)i;
1.160     kristaps 2813:
1.294     schwarze 2814:        return SEC_CUSTOM;
1.132     kristaps 2815: }
                   2816:
1.161     kristaps 2817: static size_t
1.320     schwarze 2818: macro2len(enum roff_tok macro)
1.161     kristaps 2819: {
                   2820:
                   2821:        switch (macro) {
1.210     schwarze 2822:        case MDOC_Ad:
1.294     schwarze 2823:                return 12;
1.210     schwarze 2824:        case MDOC_Ao:
1.294     schwarze 2825:                return 12;
1.210     schwarze 2826:        case MDOC_An:
1.294     schwarze 2827:                return 12;
1.210     schwarze 2828:        case MDOC_Aq:
1.294     schwarze 2829:                return 12;
1.210     schwarze 2830:        case MDOC_Ar:
1.294     schwarze 2831:                return 12;
1.210     schwarze 2832:        case MDOC_Bo:
1.294     schwarze 2833:                return 12;
1.210     schwarze 2834:        case MDOC_Bq:
1.294     schwarze 2835:                return 12;
1.210     schwarze 2836:        case MDOC_Cd:
1.294     schwarze 2837:                return 12;
1.210     schwarze 2838:        case MDOC_Cm:
1.294     schwarze 2839:                return 10;
1.210     schwarze 2840:        case MDOC_Do:
1.294     schwarze 2841:                return 10;
1.210     schwarze 2842:        case MDOC_Dq:
1.294     schwarze 2843:                return 12;
1.210     schwarze 2844:        case MDOC_Dv:
1.294     schwarze 2845:                return 12;
1.210     schwarze 2846:        case MDOC_Eo:
1.294     schwarze 2847:                return 12;
1.210     schwarze 2848:        case MDOC_Em:
1.294     schwarze 2849:                return 10;
1.210     schwarze 2850:        case MDOC_Er:
1.294     schwarze 2851:                return 17;
1.210     schwarze 2852:        case MDOC_Ev:
1.294     schwarze 2853:                return 15;
1.210     schwarze 2854:        case MDOC_Fa:
1.294     schwarze 2855:                return 12;
1.210     schwarze 2856:        case MDOC_Fl:
1.294     schwarze 2857:                return 10;
1.210     schwarze 2858:        case MDOC_Fo:
1.294     schwarze 2859:                return 16;
1.210     schwarze 2860:        case MDOC_Fn:
1.294     schwarze 2861:                return 16;
1.210     schwarze 2862:        case MDOC_Ic:
1.294     schwarze 2863:                return 10;
1.210     schwarze 2864:        case MDOC_Li:
1.294     schwarze 2865:                return 16;
1.210     schwarze 2866:        case MDOC_Ms:
1.294     schwarze 2867:                return 6;
1.210     schwarze 2868:        case MDOC_Nm:
1.294     schwarze 2869:                return 10;
1.210     schwarze 2870:        case MDOC_No:
1.294     schwarze 2871:                return 12;
1.210     schwarze 2872:        case MDOC_Oo:
1.294     schwarze 2873:                return 10;
1.210     schwarze 2874:        case MDOC_Op:
1.294     schwarze 2875:                return 14;
1.210     schwarze 2876:        case MDOC_Pa:
1.294     schwarze 2877:                return 32;
1.210     schwarze 2878:        case MDOC_Pf:
1.294     schwarze 2879:                return 12;
1.210     schwarze 2880:        case MDOC_Po:
1.294     schwarze 2881:                return 12;
1.210     schwarze 2882:        case MDOC_Pq:
1.294     schwarze 2883:                return 12;
1.210     schwarze 2884:        case MDOC_Ql:
1.294     schwarze 2885:                return 16;
1.210     schwarze 2886:        case MDOC_Qo:
1.294     schwarze 2887:                return 12;
1.210     schwarze 2888:        case MDOC_So:
1.294     schwarze 2889:                return 12;
1.210     schwarze 2890:        case MDOC_Sq:
1.294     schwarze 2891:                return 12;
1.210     schwarze 2892:        case MDOC_Sy:
1.294     schwarze 2893:                return 6;
1.210     schwarze 2894:        case MDOC_Sx:
1.294     schwarze 2895:                return 16;
1.210     schwarze 2896:        case MDOC_Tn:
1.294     schwarze 2897:                return 10;
1.210     schwarze 2898:        case MDOC_Va:
1.294     schwarze 2899:                return 12;
1.210     schwarze 2900:        case MDOC_Vt:
1.294     schwarze 2901:                return 12;
1.210     schwarze 2902:        case MDOC_Xr:
1.294     schwarze 2903:                return 10;
1.161     kristaps 2904:        default:
                   2905:                break;
                   2906:        };
1.294     schwarze 2907:        return 0;
1.161     kristaps 2908: }

CVSweb