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

Annotation of mandoc/mdoc_validate.c, Revision 1.298

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

CVSweb