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

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

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