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

Annotation of mandoc/mdoc_validate.c, Revision 1.276

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

CVSweb