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

Annotation of mandoc/mdoc_validate.c, Revision 1.288

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

CVSweb