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

Annotation of mandoc/mdoc_validate.c, Revision 1.324

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

CVSweb