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

Annotation of mandoc/mdoc_validate.c, Revision 1.297

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

CVSweb