[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.215

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