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

Annotation of mandoc/mdoc_validate.c, Revision 1.315

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

CVSweb