[BACK]Return to mdoc_validate.c CVS log [TXT][DIR] Up to [local] / src / usr.bin / mandoc

Annotation of src/usr.bin/mandoc/mdoc_validate.c, Revision 1.262

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