Annotation of mandoc/mdoc_validate.c, Revision 1.381
1.381 ! schwarze 1: /* $Id: mdoc_validate.c,v 1.380 2020/03/13 15:32:28 schwarze Exp $ */
1.1 kristaps 2: /*
1.380 schwarze 3: * Copyright (c) 2010-2020 Ingo Schwarze <schwarze@openbsd.org>
1.183 schwarze 4: * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
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.380 schwarze 18: *
19: * Validation module for mdoc(7) syntax trees used by mandoc(1).
1.1 kristaps 20: */
1.56 kristaps 21: #include "config.h"
22:
1.244 schwarze 23: #include <sys/types.h>
1.196 schwarze 24: #ifndef OSNAME
1.132 kristaps 25: #include <sys/utsname.h>
26: #endif
1.1 kristaps 27:
28: #include <assert.h>
29: #include <ctype.h>
1.35 kristaps 30: #include <limits.h>
1.81 kristaps 31: #include <stdio.h>
1.1 kristaps 32: #include <stdlib.h>
1.2 kristaps 33: #include <string.h>
1.132 kristaps 34: #include <time.h>
1.1 kristaps 35:
1.284 schwarze 36: #include "mandoc_aux.h"
37: #include "mandoc.h"
1.346 schwarze 38: #include "mandoc_xr.h"
1.284 schwarze 39: #include "roff.h"
1.380 schwarze 40: #include "tag.h"
1.165 kristaps 41: #include "mdoc.h"
1.284 schwarze 42: #include "libmandoc.h"
1.287 schwarze 43: #include "roff_int.h"
1.1 kristaps 44: #include "libmdoc.h"
45:
46: /* FIXME: .Bl -diag can't have non-text children in HEAD. */
47:
1.286 schwarze 48: #define POST_ARGS struct roff_man *mdoc
1.1 kristaps 49:
1.120 kristaps 50: enum check_ineq {
51: CHECK_LT,
52: CHECK_GT,
53: CHECK_EQ
54: };
55:
1.259 schwarze 56: typedef void (*v_post)(POST_ARGS);
1.1 kristaps 57:
1.317 schwarze 58: static int build_list(struct roff_man *, int);
1.286 schwarze 59: static void check_argv(struct roff_man *,
1.285 schwarze 60: struct roff_node *, struct mdoc_argv *);
1.286 schwarze 61: static void check_args(struct roff_man *, struct roff_node *);
1.355 schwarze 62: static void check_text(struct roff_man *, int, int, char *);
63: static void check_text_em(struct roff_man *, int, int, char *);
1.336 schwarze 64: static void check_toptext(struct roff_man *, int, int, const char *);
1.285 schwarze 65: static int child_an(const struct roff_node *);
1.320 schwarze 66: static size_t macro2len(enum roff_tok);
1.322 schwarze 67: static void rewrite_macro2len(struct roff_man *, char **);
1.343 schwarze 68: static int similar(const char *, const char *);
1.132 kristaps 69:
1.373 schwarze 70: static void post_abort(POST_ARGS) __attribute__((__noreturn__));
1.259 schwarze 71: static void post_an(POST_ARGS);
1.299 schwarze 72: static void post_an_norm(POST_ARGS);
1.259 schwarze 73: static void post_at(POST_ARGS);
1.299 schwarze 74: static void post_bd(POST_ARGS);
1.259 schwarze 75: static void post_bf(POST_ARGS);
76: static void post_bk(POST_ARGS);
77: static void post_bl(POST_ARGS);
78: static void post_bl_block(POST_ARGS);
79: static void post_bl_head(POST_ARGS);
1.299 schwarze 80: static void post_bl_norm(POST_ARGS);
1.259 schwarze 81: static void post_bx(POST_ARGS);
82: static void post_defaults(POST_ARGS);
1.299 schwarze 83: static void post_display(POST_ARGS);
1.259 schwarze 84: static void post_dd(POST_ARGS);
1.333 schwarze 85: static void post_delim(POST_ARGS);
1.348 schwarze 86: static void post_delim_nb(POST_ARGS);
1.259 schwarze 87: static void post_dt(POST_ARGS);
1.380 schwarze 88: static void post_em(POST_ARGS);
1.259 schwarze 89: static void post_en(POST_ARGS);
1.380 schwarze 90: static void post_er(POST_ARGS);
1.259 schwarze 91: static void post_es(POST_ARGS);
92: static void post_eoln(POST_ARGS);
93: static void post_ex(POST_ARGS);
94: static void post_fa(POST_ARGS);
95: static void post_fn(POST_ARGS);
96: static void post_fname(POST_ARGS);
97: static void post_fo(POST_ARGS);
98: static void post_hyph(POST_ARGS);
99: static void post_it(POST_ARGS);
100: static void post_lb(POST_ARGS);
101: static void post_nd(POST_ARGS);
102: static void post_nm(POST_ARGS);
103: static void post_ns(POST_ARGS);
1.299 schwarze 104: static void post_obsolete(POST_ARGS);
1.259 schwarze 105: static void post_os(POST_ARGS);
106: static void post_par(POST_ARGS);
1.299 schwarze 107: static void post_prevpar(POST_ARGS);
1.259 schwarze 108: static void post_root(POST_ARGS);
109: static void post_rs(POST_ARGS);
1.317 schwarze 110: static void post_rv(POST_ARGS);
1.381 ! schwarze 111: static void post_section(POST_ARGS);
1.259 schwarze 112: static void post_sh(POST_ARGS);
113: static void post_sh_head(POST_ARGS);
114: static void post_sh_name(POST_ARGS);
115: static void post_sh_see_also(POST_ARGS);
116: static void post_sh_authors(POST_ARGS);
117: static void post_sm(POST_ARGS);
118: static void post_st(POST_ARGS);
1.299 schwarze 119: static void post_std(POST_ARGS);
1.348 schwarze 120: static void post_sx(POST_ARGS);
1.380 schwarze 121: static void post_tag(POST_ARGS);
1.377 schwarze 122: static void post_tg(POST_ARGS);
1.328 schwarze 123: static void post_useless(POST_ARGS);
1.310 schwarze 124: static void post_xr(POST_ARGS);
1.315 schwarze 125: static void post_xx(POST_ARGS);
1.259 schwarze 126:
1.361 schwarze 127: static const v_post mdoc_valids[MDOC_MAX - MDOC_Dd] = {
1.299 schwarze 128: post_dd, /* Dd */
129: post_dt, /* Dt */
130: post_os, /* Os */
131: post_sh, /* Sh */
1.381 ! schwarze 132: post_section, /* Ss */
1.299 schwarze 133: post_par, /* Pp */
134: post_display, /* D1 */
135: post_display, /* Dl */
136: post_display, /* Bd */
137: NULL, /* Ed */
138: post_bl, /* Bl */
139: NULL, /* El */
140: post_it, /* It */
1.348 schwarze 141: post_delim_nb, /* Ad */
1.299 schwarze 142: post_an, /* An */
1.320 schwarze 143: NULL, /* Ap */
1.299 schwarze 144: post_defaults, /* Ar */
145: NULL, /* Cd */
1.380 schwarze 146: post_tag, /* Cm */
147: post_tag, /* Dv */
148: post_er, /* Er */
149: post_tag, /* Ev */
1.299 schwarze 150: post_ex, /* Ex */
151: post_fa, /* Fa */
152: NULL, /* Fd */
1.380 schwarze 153: post_tag, /* Fl */
1.299 schwarze 154: post_fn, /* Fn */
1.348 schwarze 155: post_delim_nb, /* Ft */
1.380 schwarze 156: post_tag, /* Ic */
1.348 schwarze 157: post_delim_nb, /* In */
1.380 schwarze 158: post_tag, /* Li */
1.299 schwarze 159: post_nd, /* Nd */
160: post_nm, /* Nm */
1.348 schwarze 161: post_delim_nb, /* Op */
1.363 schwarze 162: post_abort, /* Ot */
1.299 schwarze 163: post_defaults, /* Pa */
1.317 schwarze 164: post_rv, /* Rv */
1.299 schwarze 165: post_st, /* St */
1.348 schwarze 166: post_delim_nb, /* Va */
167: post_delim_nb, /* Vt */
1.310 schwarze 168: post_xr, /* Xr */
1.299 schwarze 169: NULL, /* %A */
170: post_hyph, /* %B */ /* FIXME: can be used outside Rs/Re. */
171: NULL, /* %D */
172: NULL, /* %I */
173: NULL, /* %J */
174: post_hyph, /* %N */
175: post_hyph, /* %O */
176: NULL, /* %P */
177: post_hyph, /* %R */
178: post_hyph, /* %T */ /* FIXME: can be used outside Rs/Re. */
179: NULL, /* %V */
180: NULL, /* Ac */
1.354 schwarze 181: NULL, /* Ao */
1.348 schwarze 182: post_delim_nb, /* Aq */
1.299 schwarze 183: post_at, /* At */
184: NULL, /* Bc */
185: post_bf, /* Bf */
1.354 schwarze 186: NULL, /* Bo */
1.299 schwarze 187: NULL, /* Bq */
1.315 schwarze 188: post_xx, /* Bsx */
1.299 schwarze 189: post_bx, /* Bx */
190: post_obsolete, /* Db */
191: NULL, /* Dc */
192: NULL, /* Do */
193: NULL, /* Dq */
194: NULL, /* Ec */
195: NULL, /* Ef */
1.380 schwarze 196: post_em, /* Em */
1.299 schwarze 197: NULL, /* Eo */
1.315 schwarze 198: post_xx, /* Fx */
1.380 schwarze 199: post_tag, /* Ms */
200: post_tag, /* No */
1.299 schwarze 201: post_ns, /* Ns */
1.315 schwarze 202: post_xx, /* Nx */
203: post_xx, /* Ox */
1.299 schwarze 204: NULL, /* Pc */
205: NULL, /* Pf */
1.354 schwarze 206: NULL, /* Po */
1.348 schwarze 207: post_delim_nb, /* Pq */
1.299 schwarze 208: NULL, /* Qc */
1.348 schwarze 209: post_delim_nb, /* Ql */
1.354 schwarze 210: NULL, /* Qo */
1.348 schwarze 211: post_delim_nb, /* Qq */
1.299 schwarze 212: NULL, /* Re */
213: post_rs, /* Rs */
214: NULL, /* Sc */
1.354 schwarze 215: NULL, /* So */
1.348 schwarze 216: post_delim_nb, /* Sq */
1.299 schwarze 217: post_sm, /* Sm */
1.348 schwarze 218: post_sx, /* Sx */
1.380 schwarze 219: post_em, /* Sy */
1.328 schwarze 220: post_useless, /* Tn */
1.315 schwarze 221: post_xx, /* Ux */
1.299 schwarze 222: NULL, /* Xc */
223: NULL, /* Xo */
224: post_fo, /* Fo */
225: NULL, /* Fc */
1.354 schwarze 226: NULL, /* Oo */
1.299 schwarze 227: NULL, /* Oc */
228: post_bk, /* Bk */
229: NULL, /* Ek */
230: post_eoln, /* Bt */
1.333 schwarze 231: post_obsolete, /* Hf */
1.299 schwarze 232: post_obsolete, /* Fr */
233: post_eoln, /* Ud */
234: post_lb, /* Lb */
1.363 schwarze 235: post_abort, /* Lp */
1.348 schwarze 236: post_delim_nb, /* Lk */
1.299 schwarze 237: post_defaults, /* Mt */
1.348 schwarze 238: post_delim_nb, /* Brq */
1.354 schwarze 239: NULL, /* Bro */
1.299 schwarze 240: NULL, /* Brc */
241: NULL, /* %C */
242: post_es, /* Es */
243: post_en, /* En */
1.315 schwarze 244: post_xx, /* Dx */
1.299 schwarze 245: NULL, /* %Q */
246: NULL, /* %U */
247: NULL, /* Ta */
1.377 schwarze 248: post_tg, /* Tg */
1.1 kristaps 249: };
250:
1.122 kristaps 251: #define RSORD_MAX 14 /* Number of `Rs' blocks. */
252:
1.320 schwarze 253: static const enum roff_tok rsord[RSORD_MAX] = {
1.122 kristaps 254: MDOC__A,
255: MDOC__T,
256: MDOC__B,
257: MDOC__I,
258: MDOC__J,
259: MDOC__R,
260: MDOC__N,
261: MDOC__V,
1.186 schwarze 262: MDOC__U,
1.122 kristaps 263: MDOC__P,
264: MDOC__Q,
1.192 schwarze 265: MDOC__C,
1.122 kristaps 266: MDOC__D,
1.192 schwarze 267: MDOC__O
1.122 kristaps 268: };
269:
1.160 kristaps 270: static const char * const secnames[SEC__MAX] = {
271: NULL,
272: "NAME",
273: "LIBRARY",
274: "SYNOPSIS",
275: "DESCRIPTION",
1.208 schwarze 276: "CONTEXT",
1.160 kristaps 277: "IMPLEMENTATION NOTES",
278: "RETURN VALUES",
279: "ENVIRONMENT",
280: "FILES",
281: "EXIT STATUS",
282: "EXAMPLES",
283: "DIAGNOSTICS",
284: "COMPATIBILITY",
285: "ERRORS",
286: "SEE ALSO",
287: "STANDARDS",
288: "HISTORY",
289: "AUTHORS",
290: "CAVEATS",
291: "BUGS",
292: "SECURITY CONSIDERATIONS",
293: NULL
294: };
1.1 kristaps 295:
1.380 schwarze 296: static int fn_prio = TAG_STRONG;
297:
1.210 schwarze 298:
1.363 schwarze 299: /* Validate the subtree rooted at mdoc->last. */
1.259 schwarze 300: void
1.367 schwarze 301: mdoc_validate(struct roff_man *mdoc)
1.1 kristaps 302: {
1.355 schwarze 303: struct roff_node *n, *np;
1.320 schwarze 304: const v_post *p;
1.1 kristaps 305:
1.363 schwarze 306: /*
307: * Translate obsolete macros to modern macros first
308: * such that later code does not need to look
309: * for the obsolete versions.
310: */
311:
1.242 schwarze 312: n = mdoc->last;
1.363 schwarze 313: switch (n->tok) {
314: case MDOC_Lp:
315: n->tok = MDOC_Pp;
316: break;
317: case MDOC_Ot:
318: post_obsolete(mdoc);
319: n->tok = MDOC_Ft;
320: break;
321: default:
322: break;
323: }
324:
325: /*
326: * Iterate over all children, recursing into each one
327: * in turn, depth-first.
328: */
329:
1.298 schwarze 330: mdoc->last = mdoc->last->child;
331: while (mdoc->last != NULL) {
1.367 schwarze 332: mdoc_validate(mdoc);
1.298 schwarze 333: if (mdoc->last == n)
334: mdoc->last = mdoc->last->child;
335: else
336: mdoc->last = mdoc->last->next;
337: }
1.1 kristaps 338:
1.363 schwarze 339: /* Finally validate the macro itself. */
340:
1.298 schwarze 341: mdoc->last = n;
342: mdoc->next = ROFF_NEXT_SIBLING;
1.242 schwarze 343: switch (n->type) {
1.284 schwarze 344: case ROFFT_TEXT:
1.355 schwarze 345: np = n->parent;
1.312 schwarze 346: if (n->sec != SEC_SYNOPSIS ||
1.355 schwarze 347: (np->tok != MDOC_Cd && np->tok != MDOC_Fd))
1.299 schwarze 348: check_text(mdoc, n->line, n->pos, n->string);
1.369 schwarze 349: if ((n->flags & NODE_NOFILL) == 0 &&
1.355 schwarze 350: (np->tok != MDOC_It || np->type != ROFFT_HEAD ||
351: np->parent->parent->norm->Bl.type != LIST_diag))
352: check_text_em(mdoc, n->line, n->pos, n->string);
353: if (np->tok == MDOC_It || (np->type == ROFFT_BODY &&
354: (np->tok == MDOC_Sh || np->tok == MDOC_Ss)))
1.336 schwarze 355: check_toptext(mdoc, n->line, n->pos, n->string);
1.299 schwarze 356: break;
1.358 schwarze 357: case ROFFT_COMMENT:
1.284 schwarze 358: case ROFFT_EQN:
359: case ROFFT_TBL:
1.259 schwarze 360: break;
1.284 schwarze 361: case ROFFT_ROOT:
1.259 schwarze 362: post_root(mdoc);
363: break;
1.150 kristaps 364: default:
1.299 schwarze 365: check_args(mdoc, mdoc->last);
1.255 schwarze 366:
367: /*
368: * Closing delimiters are not special at the
369: * beginning of a block, opening delimiters
370: * are not special at the end.
371: */
372:
373: if (n->child != NULL)
1.314 schwarze 374: n->child->flags &= ~NODE_DELIMC;
1.255 schwarze 375: if (n->last != NULL)
1.314 schwarze 376: n->last->flags &= ~NODE_DELIMO;
1.255 schwarze 377:
378: /* Call the macro's postprocessor. */
379:
1.323 schwarze 380: if (n->tok < ROFF_MAX) {
1.364 schwarze 381: roff_validate(mdoc);
1.323 schwarze 382: break;
383: }
384:
385: assert(n->tok >= MDOC_Dd && n->tok < MDOC_MAX);
1.361 schwarze 386: p = mdoc_valids + (n->tok - MDOC_Dd);
1.259 schwarze 387: if (*p)
388: (*p)(mdoc);
1.298 schwarze 389: if (mdoc->last == n)
390: mdoc_state(mdoc, n);
1.259 schwarze 391: break;
1.150 kristaps 392: }
1.1 kristaps 393: }
394:
1.259 schwarze 395: static void
1.286 schwarze 396: check_args(struct roff_man *mdoc, struct roff_node *n)
1.1 kristaps 397: {
398: int i;
399:
400: if (NULL == n->args)
1.133 kristaps 401: return;
1.1 kristaps 402:
403: assert(n->args->argc);
404: for (i = 0; i < (int)n->args->argc; i++)
1.191 schwarze 405: check_argv(mdoc, n, &n->args->argv[i]);
1.1 kristaps 406: }
407:
1.133 kristaps 408: static void
1.286 schwarze 409: check_argv(struct roff_man *mdoc, struct roff_node *n, struct mdoc_argv *v)
1.1 kristaps 410: {
411: int i;
412:
413: for (i = 0; i < (int)v->sz; i++)
1.191 schwarze 414: check_text(mdoc, v->line, v->pos, v->value[i]);
1.1 kristaps 415: }
416:
1.133 kristaps 417: static void
1.286 schwarze 418: check_text(struct roff_man *mdoc, int ln, int pos, char *p)
1.1 kristaps 419: {
1.172 kristaps 420: char *cp;
1.102 kristaps 421:
1.369 schwarze 422: if (mdoc->last->flags & NODE_NOFILL)
1.177 schwarze 423: return;
424:
425: for (cp = p; NULL != (p = strchr(p, '\t')); p++)
1.365 schwarze 426: mandoc_msg(MANDOCERR_FI_TAB, ln, pos + (int)(p - cp), NULL);
1.355 schwarze 427: }
428:
429: static void
430: check_text_em(struct roff_man *mdoc, int ln, int pos, char *p)
431: {
432: const struct roff_node *np, *nn;
433: char *cp;
434:
435: np = mdoc->last->prev;
436: nn = mdoc->last->next;
437:
438: /* Look for em-dashes wrongly encoded as "--". */
439:
440: for (cp = p; *cp != '\0'; cp++) {
1.356 schwarze 441: if (cp[0] != '-' || cp[1] != '-')
1.355 schwarze 442: continue;
1.356 schwarze 443: cp++;
1.355 schwarze 444:
445: /* Skip input sequences of more than two '-'. */
446:
447: if (cp[1] == '-') {
448: while (cp[1] == '-')
449: cp++;
450: continue;
451: }
452:
453: /* Skip "--" directly attached to something else. */
454:
455: if ((cp - p > 1 && cp[-2] != ' ') ||
456: (cp[1] != '\0' && cp[1] != ' '))
457: continue;
458:
459: /* Require a letter right before or right afterwards. */
460:
461: if ((cp - p > 2 ?
462: isalpha((unsigned char)cp[-3]) :
463: np != NULL &&
464: np->type == ROFFT_TEXT &&
1.360 schwarze 465: *np->string != '\0' &&
1.355 schwarze 466: isalpha((unsigned char)np->string[
467: strlen(np->string) - 1])) ||
1.359 schwarze 468: (cp[1] != '\0' && cp[2] != '\0' ?
1.355 schwarze 469: isalpha((unsigned char)cp[2]) :
470: nn != NULL &&
471: nn->type == ROFFT_TEXT &&
472: isalpha((unsigned char)*nn->string))) {
1.365 schwarze 473: mandoc_msg(MANDOCERR_DASHDASH,
1.355 schwarze 474: ln, pos + (int)(cp - p) - 1, NULL);
475: break;
476: }
477: }
1.1 kristaps 478: }
479:
1.259 schwarze 480: static void
1.336 schwarze 481: check_toptext(struct roff_man *mdoc, int ln, int pos, const char *p)
1.329 schwarze 482: {
1.336 schwarze 483: const char *cp, *cpr;
484:
485: if (*p == '\0')
486: return;
1.329 schwarze 487:
488: if ((cp = strstr(p, "OpenBSD")) != NULL)
1.365 schwarze 489: mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Ox");
1.329 schwarze 490: if ((cp = strstr(p, "NetBSD")) != NULL)
1.365 schwarze 491: mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Nx");
1.329 schwarze 492: if ((cp = strstr(p, "FreeBSD")) != NULL)
1.365 schwarze 493: mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Fx");
1.329 schwarze 494: if ((cp = strstr(p, "DragonFly")) != NULL)
1.365 schwarze 495: mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Dx");
1.336 schwarze 496:
497: cp = p;
498: while ((cp = strstr(cp + 1, "()")) != NULL) {
499: for (cpr = cp - 1; cpr >= p; cpr--)
500: if (*cpr != '_' && !isalnum((unsigned char)*cpr))
501: break;
502: if ((cpr < p || *cpr == ' ') && cpr + 1 < cp) {
503: cpr++;
1.365 schwarze 504: mandoc_msg(MANDOCERR_FUNC, ln, pos + (int)(cpr - p),
1.336 schwarze 505: "%.*s()", (int)(cp - cpr), cpr);
506: }
507: }
1.329 schwarze 508: }
509:
1.373 schwarze 510: static void
1.363 schwarze 511: post_abort(POST_ARGS)
512: {
513: abort();
514: }
515:
516: static void
1.333 schwarze 517: post_delim(POST_ARGS)
518: {
519: const struct roff_node *nch;
1.348 schwarze 520: const char *lc;
521: enum mdelim delim;
522: enum roff_tok tok;
523:
524: tok = mdoc->last->tok;
525: nch = mdoc->last->last;
526: if (nch == NULL || nch->type != ROFFT_TEXT)
527: return;
528: lc = strchr(nch->string, '\0') - 1;
529: if (lc < nch->string)
530: return;
531: delim = mdoc_isdelim(lc);
532: if (delim == DELIM_NONE || delim == DELIM_OPEN)
533: return;
534: if (*lc == ')' && (tok == MDOC_Nd || tok == MDOC_Sh ||
535: tok == MDOC_Ss || tok == MDOC_Fo))
536: return;
537:
1.365 schwarze 538: mandoc_msg(MANDOCERR_DELIM, nch->line,
539: nch->pos + (int)(lc - nch->string), "%s%s %s", roff_name[tok],
1.348 schwarze 540: nch == mdoc->last->child ? "" : " ...", nch->string);
541: }
542:
543: static void
544: post_delim_nb(POST_ARGS)
545: {
546: const struct roff_node *nch;
1.334 schwarze 547: const char *lc, *cp;
548: int nw;
1.333 schwarze 549: enum mdelim delim;
1.334 schwarze 550: enum roff_tok tok;
1.333 schwarze 551:
1.334 schwarze 552: /*
553: * Find candidates: at least two bytes,
554: * the last one a closing or middle delimiter.
555: */
556:
557: tok = mdoc->last->tok;
1.333 schwarze 558: nch = mdoc->last->last;
559: if (nch == NULL || nch->type != ROFFT_TEXT)
560: return;
561: lc = strchr(nch->string, '\0') - 1;
562: if (lc <= nch->string)
563: return;
564: delim = mdoc_isdelim(lc);
565: if (delim == DELIM_NONE || delim == DELIM_OPEN)
566: return;
1.334 schwarze 567:
568: /*
569: * Reduce false positives by allowing various cases.
570: */
571:
572: /* Escaped delimiters. */
573: if (lc > nch->string + 1 && lc[-2] == '\\' &&
574: (lc[-1] == '&' || lc[-1] == 'e'))
575: return;
576:
577: /* Specific byte sequences. */
578: switch (*lc) {
579: case ')':
580: for (cp = lc; cp >= nch->string; cp--)
581: if (*cp == '(')
582: return;
583: break;
584: case '.':
585: if (lc > nch->string + 1 && lc[-2] == '.' && lc[-1] == '.')
586: return;
587: if (lc[-1] == '.')
588: return;
589: break;
590: case ';':
591: if (tok == MDOC_Vt)
592: return;
593: break;
594: case '?':
595: if (lc[-1] == '?')
596: return;
597: break;
598: case ']':
599: for (cp = lc; cp >= nch->string; cp--)
600: if (*cp == '[')
601: return;
602: break;
603: case '|':
604: if (lc == nch->string + 1 && lc[-1] == '|')
605: return;
606: default:
607: break;
608: }
609:
610: /* Exactly two non-alphanumeric bytes. */
611: if (lc == nch->string + 1 && !isalnum((unsigned char)lc[-1]))
612: return;
613:
614: /* At least three alphabetic words with a sentence ending. */
615: if (strchr("!.:?", *lc) != NULL && (tok == MDOC_Em ||
1.354 schwarze 616: tok == MDOC_Li || tok == MDOC_Pq || tok == MDOC_Sy)) {
1.334 schwarze 617: nw = 0;
618: for (cp = lc - 1; cp >= nch->string; cp--) {
619: if (*cp == ' ') {
620: nw++;
621: if (cp > nch->string && cp[-1] == ',')
622: cp--;
623: } else if (isalpha((unsigned int)*cp)) {
624: if (nw > 1)
625: return;
626: } else
627: break;
628: }
629: }
630:
1.365 schwarze 631: mandoc_msg(MANDOCERR_DELIM_NB, nch->line,
632: nch->pos + (int)(lc - nch->string), "%s%s %s", roff_name[tok],
1.333 schwarze 633: nch == mdoc->last->child ? "" : " ...", nch->string);
634: }
635:
636: static void
1.299 schwarze 637: post_bl_norm(POST_ARGS)
1.1 kristaps 638: {
1.299 schwarze 639: struct roff_node *n;
1.238 schwarze 640: struct mdoc_argv *argv, *wa;
1.227 schwarze 641: int i;
1.238 schwarze 642: enum mdocargt mdoclt;
1.104 kristaps 643: enum mdoc_list lt;
1.1 kristaps 644:
1.299 schwarze 645: n = mdoc->last->parent;
646: n->norm->Bl.type = LIST__NONE;
1.1 kristaps 647:
1.210 schwarze 648: /*
1.91 kristaps 649: * First figure out which kind of list to use: bind ourselves to
650: * the first mentioned list type and warn about any remaining
651: * ones. If we find no list type, we default to LIST_item.
652: */
1.1 kristaps 653:
1.245 schwarze 654: wa = (n->args == NULL) ? NULL : n->args->argv;
1.238 schwarze 655: mdoclt = MDOC_ARG_MAX;
1.91 kristaps 656: for (i = 0; n->args && i < (int)n->args->argc; i++) {
1.227 schwarze 657: argv = n->args->argv + i;
1.91 kristaps 658: lt = LIST__NONE;
1.227 schwarze 659: switch (argv->arg) {
1.91 kristaps 660: /* Set list types. */
1.210 schwarze 661: case MDOC_Bullet:
1.91 kristaps 662: lt = LIST_bullet;
663: break;
1.210 schwarze 664: case MDOC_Dash:
1.91 kristaps 665: lt = LIST_dash;
666: break;
1.210 schwarze 667: case MDOC_Enum:
1.91 kristaps 668: lt = LIST_enum;
669: break;
1.210 schwarze 670: case MDOC_Hyphen:
1.91 kristaps 671: lt = LIST_hyphen;
672: break;
1.210 schwarze 673: case MDOC_Item:
1.91 kristaps 674: lt = LIST_item;
675: break;
1.210 schwarze 676: case MDOC_Tag:
1.91 kristaps 677: lt = LIST_tag;
678: break;
1.210 schwarze 679: case MDOC_Diag:
1.91 kristaps 680: lt = LIST_diag;
681: break;
1.210 schwarze 682: case MDOC_Hang:
1.91 kristaps 683: lt = LIST_hang;
684: break;
1.210 schwarze 685: case MDOC_Ohang:
1.91 kristaps 686: lt = LIST_ohang;
687: break;
1.210 schwarze 688: case MDOC_Inset:
1.91 kristaps 689: lt = LIST_inset;
690: break;
1.210 schwarze 691: case MDOC_Column:
1.91 kristaps 692: lt = LIST_column;
693: break;
694: /* Set list arguments. */
1.210 schwarze 695: case MDOC_Compact:
1.227 schwarze 696: if (n->norm->Bl.comp)
697: mandoc_msg(MANDOCERR_ARG_REP,
1.365 schwarze 698: argv->line, argv->pos, "Bl -compact");
1.227 schwarze 699: n->norm->Bl.comp = 1;
1.91 kristaps 700: break;
1.210 schwarze 701: case MDOC_Width:
1.238 schwarze 702: wa = argv;
1.227 schwarze 703: if (0 == argv->sz) {
704: mandoc_msg(MANDOCERR_ARG_EMPTY,
1.365 schwarze 705: argv->line, argv->pos, "Bl -width");
1.227 schwarze 706: n->norm->Bl.width = "0n";
1.182 kristaps 707: break;
708: }
1.227 schwarze 709: if (NULL != n->norm->Bl.width)
1.365 schwarze 710: mandoc_msg(MANDOCERR_ARG_REP,
711: argv->line, argv->pos,
712: "Bl -width %s", argv->value[0]);
1.322 schwarze 713: rewrite_macro2len(mdoc, argv->value);
1.227 schwarze 714: n->norm->Bl.width = argv->value[0];
1.8 kristaps 715: break;
1.210 schwarze 716: case MDOC_Offset:
1.227 schwarze 717: if (0 == argv->sz) {
718: mandoc_msg(MANDOCERR_ARG_EMPTY,
1.365 schwarze 719: argv->line, argv->pos, "Bl -offset");
1.98 kristaps 720: break;
721: }
1.227 schwarze 722: if (NULL != n->norm->Bl.offs)
1.365 schwarze 723: mandoc_msg(MANDOCERR_ARG_REP,
724: argv->line, argv->pos,
725: "Bl -offset %s", argv->value[0]);
1.322 schwarze 726: rewrite_macro2len(mdoc, argv->value);
1.227 schwarze 727: n->norm->Bl.offs = argv->value[0];
1.1 kristaps 728: break;
1.113 kristaps 729: default:
730: continue;
1.1 kristaps 731: }
1.228 schwarze 732: if (LIST__NONE == lt)
733: continue;
1.238 schwarze 734: mdoclt = argv->arg;
1.1 kristaps 735:
1.91 kristaps 736: /* Check: multiple list types. */
737:
1.228 schwarze 738: if (LIST__NONE != n->norm->Bl.type) {
1.365 schwarze 739: mandoc_msg(MANDOCERR_BL_REP, n->line, n->pos,
1.239 schwarze 740: "Bl -%s", mdoc_argnames[argv->arg]);
1.228 schwarze 741: continue;
1.109 kristaps 742: }
1.91 kristaps 743:
744: /* The list type should come first. */
745:
1.228 schwarze 746: if (n->norm->Bl.width ||
747: n->norm->Bl.offs ||
748: n->norm->Bl.comp)
1.365 schwarze 749: mandoc_msg(MANDOCERR_BL_LATETYPE,
750: n->line, n->pos, "Bl -%s",
1.228 schwarze 751: mdoc_argnames[n->args->argv[0].arg]);
752:
753: n->norm->Bl.type = lt;
754: if (LIST_column == lt) {
755: n->norm->Bl.ncols = argv->sz;
756: n->norm->Bl.cols = (void *)argv->value;
757: }
1.91 kristaps 758: }
759:
760: /* Allow lists to default to LIST_item. */
761:
1.147 kristaps 762: if (LIST__NONE == n->norm->Bl.type) {
1.365 schwarze 763: mandoc_msg(MANDOCERR_BL_NOTYPE, n->line, n->pos, "Bl");
1.147 kristaps 764: n->norm->Bl.type = LIST_item;
1.303 schwarze 765: mdoclt = MDOC_Item;
1.79 kristaps 766: }
1.1 kristaps 767:
1.210 schwarze 768: /*
1.8 kristaps 769: * Validate the width field. Some list types don't need width
770: * types and should be warned about them. Others should have it
1.185 schwarze 771: * and must also be warned. Yet others have a default and need
772: * no warning.
1.8 kristaps 773: */
774:
1.147 kristaps 775: switch (n->norm->Bl.type) {
1.210 schwarze 776: case LIST_tag:
1.349 schwarze 777: if (n->norm->Bl.width == NULL)
1.365 schwarze 778: mandoc_msg(MANDOCERR_BL_NOWIDTH,
1.239 schwarze 779: n->line, n->pos, "Bl -tag");
1.133 kristaps 780: break;
1.210 schwarze 781: case LIST_column:
782: case LIST_diag:
783: case LIST_ohang:
784: case LIST_inset:
785: case LIST_item:
1.349 schwarze 786: if (n->norm->Bl.width != NULL)
1.365 schwarze 787: mandoc_msg(MANDOCERR_BL_SKIPW, wa->line, wa->pos,
788: "Bl -%s", mdoc_argnames[mdoclt]);
1.349 schwarze 789: n->norm->Bl.width = NULL;
1.185 schwarze 790: break;
1.210 schwarze 791: case LIST_bullet:
792: case LIST_dash:
793: case LIST_hyphen:
1.349 schwarze 794: if (n->norm->Bl.width == NULL)
1.185 schwarze 795: n->norm->Bl.width = "2n";
796: break;
1.210 schwarze 797: case LIST_enum:
1.349 schwarze 798: if (n->norm->Bl.width == NULL)
1.185 schwarze 799: n->norm->Bl.width = "3n";
1.133 kristaps 800: break;
1.8 kristaps 801: default:
802: break;
803: }
1.1 kristaps 804: }
805:
1.259 schwarze 806: static void
1.299 schwarze 807: post_bd(POST_ARGS)
1.1 kristaps 808: {
1.299 schwarze 809: struct roff_node *n;
1.227 schwarze 810: struct mdoc_argv *argv;
811: int i;
1.210 schwarze 812: enum mdoc_disp dt;
1.1 kristaps 813:
1.299 schwarze 814: n = mdoc->last;
1.93 kristaps 815: for (i = 0; n->args && i < (int)n->args->argc; i++) {
1.227 schwarze 816: argv = n->args->argv + i;
1.93 kristaps 817: dt = DISP__NONE;
1.94 kristaps 818:
1.227 schwarze 819: switch (argv->arg) {
1.210 schwarze 820: case MDOC_Centred:
1.231 schwarze 821: dt = DISP_centered;
1.93 kristaps 822: break;
1.210 schwarze 823: case MDOC_Ragged:
1.93 kristaps 824: dt = DISP_ragged;
825: break;
1.210 schwarze 826: case MDOC_Unfilled:
1.93 kristaps 827: dt = DISP_unfilled;
828: break;
1.210 schwarze 829: case MDOC_Filled:
1.93 kristaps 830: dt = DISP_filled;
831: break;
1.210 schwarze 832: case MDOC_Literal:
1.93 kristaps 833: dt = DISP_literal;
1.79 kristaps 834: break;
1.210 schwarze 835: case MDOC_File:
1.365 schwarze 836: mandoc_msg(MANDOCERR_BD_FILE, n->line, n->pos, NULL);
1.258 schwarze 837: break;
1.210 schwarze 838: case MDOC_Offset:
1.227 schwarze 839: if (0 == argv->sz) {
840: mandoc_msg(MANDOCERR_ARG_EMPTY,
1.365 schwarze 841: argv->line, argv->pos, "Bd -offset");
1.94 kristaps 842: break;
843: }
1.227 schwarze 844: if (NULL != n->norm->Bd.offs)
1.365 schwarze 845: mandoc_msg(MANDOCERR_ARG_REP,
846: argv->line, argv->pos,
847: "Bd -offset %s", argv->value[0]);
1.322 schwarze 848: rewrite_macro2len(mdoc, argv->value);
1.227 schwarze 849: n->norm->Bd.offs = argv->value[0];
1.94 kristaps 850: break;
1.210 schwarze 851: case MDOC_Compact:
1.227 schwarze 852: if (n->norm->Bd.comp)
853: mandoc_msg(MANDOCERR_ARG_REP,
1.365 schwarze 854: argv->line, argv->pos, "Bd -compact");
1.227 schwarze 855: n->norm->Bd.comp = 1;
1.94 kristaps 856: break;
1.1 kristaps 857: default:
1.94 kristaps 858: abort();
1.1 kristaps 859: }
1.228 schwarze 860: if (DISP__NONE == dt)
861: continue;
1.94 kristaps 862:
1.228 schwarze 863: if (DISP__NONE == n->norm->Bd.type)
1.147 kristaps 864: n->norm->Bd.type = dt;
1.228 schwarze 865: else
1.365 schwarze 866: mandoc_msg(MANDOCERR_BD_REP, n->line, n->pos,
1.239 schwarze 867: "Bd -%s", mdoc_argnames[argv->arg]);
1.93 kristaps 868: }
869:
1.147 kristaps 870: if (DISP__NONE == n->norm->Bd.type) {
1.365 schwarze 871: mandoc_msg(MANDOCERR_BD_NOTYPE, n->line, n->pos, "Bd");
1.147 kristaps 872: n->norm->Bd.type = DISP_ragged;
1.93 kristaps 873: }
1.1 kristaps 874: }
875:
1.317 schwarze 876: /*
877: * Stand-alone line macros.
878: */
879:
1.259 schwarze 880: static void
1.299 schwarze 881: post_an_norm(POST_ARGS)
1.1 kristaps 882: {
1.299 schwarze 883: struct roff_node *n;
1.238 schwarze 884: struct mdoc_argv *argv;
885: size_t i;
1.1 kristaps 886:
1.299 schwarze 887: n = mdoc->last;
1.238 schwarze 888: if (n->args == NULL)
1.259 schwarze 889: return;
1.210 schwarze 890:
1.238 schwarze 891: for (i = 1; i < n->args->argc; i++) {
892: argv = n->args->argv + i;
1.365 schwarze 893: mandoc_msg(MANDOCERR_AN_REP, argv->line, argv->pos,
1.238 schwarze 894: "An -%s", mdoc_argnames[argv->arg]);
895: }
1.120 kristaps 896:
1.238 schwarze 897: argv = n->args->argv;
898: if (argv->arg == MDOC_Split)
1.147 kristaps 899: n->norm->An.auth = AUTH_split;
1.238 schwarze 900: else if (argv->arg == MDOC_Nosplit)
1.147 kristaps 901: n->norm->An.auth = AUTH_nosplit;
1.107 kristaps 902: else
903: abort();
1.1 kristaps 904: }
905:
1.259 schwarze 906: static void
1.317 schwarze 907: post_eoln(POST_ARGS)
908: {
909: struct roff_node *n;
910:
1.328 schwarze 911: post_useless(mdoc);
1.317 schwarze 912: n = mdoc->last;
913: if (n->child != NULL)
1.365 schwarze 914: mandoc_msg(MANDOCERR_ARG_SKIP, n->line,
1.320 schwarze 915: n->pos, "%s %s", roff_name[n->tok], n->child->string);
1.317 schwarze 916:
917: while (n->child != NULL)
918: roff_node_delete(mdoc, n->child);
919:
920: roff_word_alloc(mdoc, n->line, n->pos, n->tok == MDOC_Bt ?
921: "is currently in beta test." : "currently under development.");
922: mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
923: mdoc->last = n;
924: }
925:
926: static int
927: build_list(struct roff_man *mdoc, int tok)
928: {
929: struct roff_node *n;
930: int ic;
931:
932: n = mdoc->last->next;
933: for (ic = 1;; ic++) {
934: roff_elem_alloc(mdoc, n->line, n->pos, tok);
935: mdoc->last->flags |= NODE_NOSRC;
1.364 schwarze 936: roff_node_relink(mdoc, n);
1.317 schwarze 937: n = mdoc->last = mdoc->last->parent;
938: mdoc->next = ROFF_NEXT_SIBLING;
939: if (n->next == NULL)
940: return ic;
941: if (ic > 1 || n->next->next != NULL) {
942: roff_word_alloc(mdoc, n->line, n->pos, ",");
943: mdoc->last->flags |= NODE_DELIMC | NODE_NOSRC;
944: }
945: n = mdoc->last->next;
946: if (n->next == NULL) {
947: roff_word_alloc(mdoc, n->line, n->pos, "and");
948: mdoc->last->flags |= NODE_NOSRC;
949: }
950: }
951: }
952:
953: static void
954: post_ex(POST_ARGS)
955: {
956: struct roff_node *n;
957: int ic;
958:
959: post_std(mdoc);
960:
961: n = mdoc->last;
962: mdoc->next = ROFF_NEXT_CHILD;
963: roff_word_alloc(mdoc, n->line, n->pos, "The");
964: mdoc->last->flags |= NODE_NOSRC;
965:
966: if (mdoc->last->next != NULL)
967: ic = build_list(mdoc, MDOC_Nm);
968: else if (mdoc->meta.name != NULL) {
969: roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Nm);
970: mdoc->last->flags |= NODE_NOSRC;
971: roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
972: mdoc->last->flags |= NODE_NOSRC;
973: mdoc->last = mdoc->last->parent;
974: mdoc->next = ROFF_NEXT_SIBLING;
975: ic = 1;
976: } else {
1.365 schwarze 977: mandoc_msg(MANDOCERR_EX_NONAME, n->line, n->pos, "Ex");
1.317 schwarze 978: ic = 0;
979: }
980:
981: roff_word_alloc(mdoc, n->line, n->pos,
982: ic > 1 ? "utilities exit\\~0" : "utility exits\\~0");
983: mdoc->last->flags |= NODE_NOSRC;
984: roff_word_alloc(mdoc, n->line, n->pos,
985: "on success, and\\~>0 if an error occurs.");
986: mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
987: mdoc->last = n;
988: }
989:
990: static void
991: post_lb(POST_ARGS)
992: {
993: struct roff_node *n;
994: const char *p;
995:
1.348 schwarze 996: post_delim_nb(mdoc);
1.333 schwarze 997:
1.317 schwarze 998: n = mdoc->last;
999: assert(n->child->type == ROFFT_TEXT);
1000: mdoc->next = ROFF_NEXT_CHILD;
1001:
1002: if ((p = mdoc_a2lib(n->child->string)) != NULL) {
1003: n->child->flags |= NODE_NOPRT;
1004: roff_word_alloc(mdoc, n->line, n->pos, p);
1005: mdoc->last->flags = NODE_NOSRC;
1006: mdoc->last = n;
1007: return;
1008: }
1.332 schwarze 1009:
1.365 schwarze 1010: mandoc_msg(MANDOCERR_LB_BAD, n->child->line,
1.332 schwarze 1011: n->child->pos, "Lb %s", n->child->string);
1.317 schwarze 1012:
1013: roff_word_alloc(mdoc, n->line, n->pos, "library");
1014: mdoc->last->flags = NODE_NOSRC;
1.357 schwarze 1015: roff_word_alloc(mdoc, n->line, n->pos, "\\(lq");
1.317 schwarze 1016: mdoc->last->flags = NODE_DELIMO | NODE_NOSRC;
1017: mdoc->last = mdoc->last->next;
1.357 schwarze 1018: roff_word_alloc(mdoc, n->line, n->pos, "\\(rq");
1.317 schwarze 1019: mdoc->last->flags = NODE_DELIMC | NODE_NOSRC;
1020: mdoc->last = n;
1021: }
1022:
1023: static void
1024: post_rv(POST_ARGS)
1025: {
1026: struct roff_node *n;
1027: int ic;
1028:
1029: post_std(mdoc);
1030:
1031: n = mdoc->last;
1032: mdoc->next = ROFF_NEXT_CHILD;
1033: if (n->child != NULL) {
1034: roff_word_alloc(mdoc, n->line, n->pos, "The");
1035: mdoc->last->flags |= NODE_NOSRC;
1036: ic = build_list(mdoc, MDOC_Fn);
1037: roff_word_alloc(mdoc, n->line, n->pos,
1038: ic > 1 ? "functions return" : "function returns");
1039: mdoc->last->flags |= NODE_NOSRC;
1040: roff_word_alloc(mdoc, n->line, n->pos,
1041: "the value\\~0 if successful;");
1042: } else
1043: roff_word_alloc(mdoc, n->line, n->pos, "Upon successful "
1044: "completion, the value\\~0 is returned;");
1045: mdoc->last->flags |= NODE_NOSRC;
1046:
1047: roff_word_alloc(mdoc, n->line, n->pos, "otherwise "
1048: "the value\\~\\-1 is returned and the global variable");
1049: mdoc->last->flags |= NODE_NOSRC;
1050: roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Va);
1051: mdoc->last->flags |= NODE_NOSRC;
1052: roff_word_alloc(mdoc, n->line, n->pos, "errno");
1053: mdoc->last->flags |= NODE_NOSRC;
1054: mdoc->last = mdoc->last->parent;
1055: mdoc->next = ROFF_NEXT_SIBLING;
1056: roff_word_alloc(mdoc, n->line, n->pos,
1057: "is set to indicate the error.");
1058: mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
1059: mdoc->last = n;
1060: }
1061:
1062: static void
1.299 schwarze 1063: post_std(POST_ARGS)
1.1 kristaps 1064: {
1.299 schwarze 1065: struct roff_node *n;
1.1 kristaps 1066:
1.348 schwarze 1067: post_delim(mdoc);
1068:
1.299 schwarze 1069: n = mdoc->last;
1070: if (n->args && n->args->argc == 1)
1071: if (n->args->argv[0].arg == MDOC_Std)
1.259 schwarze 1072: return;
1.133 kristaps 1073:
1.365 schwarze 1074: mandoc_msg(MANDOCERR_ARG_STD, n->line, n->pos,
1075: "%s", roff_name[n->tok]);
1.1 kristaps 1076: }
1077:
1.259 schwarze 1078: static void
1.317 schwarze 1079: post_st(POST_ARGS)
1080: {
1081: struct roff_node *n, *nch;
1082: const char *p;
1083:
1084: n = mdoc->last;
1085: nch = n->child;
1086: assert(nch->type == ROFFT_TEXT);
1087:
1088: if ((p = mdoc_a2st(nch->string)) == NULL) {
1.365 schwarze 1089: mandoc_msg(MANDOCERR_ST_BAD,
1.317 schwarze 1090: nch->line, nch->pos, "St %s", nch->string);
1091: roff_node_delete(mdoc, n);
1092: return;
1093: }
1094:
1095: nch->flags |= NODE_NOPRT;
1096: mdoc->next = ROFF_NEXT_CHILD;
1097: roff_word_alloc(mdoc, nch->line, nch->pos, p);
1098: mdoc->last->flags |= NODE_NOSRC;
1099: mdoc->last= n;
1100: }
1101:
1102: static void
1.377 schwarze 1103: post_tg(POST_ARGS)
1104: {
1.380 schwarze 1105: struct roff_node *n; /* The .Tg node. */
1106: struct roff_node *nch; /* The first child of the .Tg node. */
1107: struct roff_node *nn; /* The next node after the .Tg node. */
1108: struct roff_node *nt; /* The TEXT node containing the tag. */
1109: size_t len; /* The number of bytes in the tag. */
1.377 schwarze 1110:
1.379 schwarze 1111: /* Find the next node. */
1.377 schwarze 1112: n = mdoc->last;
1.379 schwarze 1113: for (nn = n; nn != NULL; nn = nn->parent) {
1114: if (nn->next != NULL) {
1115: nn = nn->next;
1116: break;
1117: }
1118: }
1119:
1.380 schwarze 1120: /* Find the tag. */
1121: nt = nch = n->child;
1122: if (nch == NULL && nn != NULL && nn->child != NULL &&
1123: nn->child->type == ROFFT_TEXT)
1124: nt = nn->child;
1.379 schwarze 1125:
1.380 schwarze 1126: /* Validate the tag. */
1127: if (nt == NULL || *nt->string == '\0')
1.377 schwarze 1128: mandoc_msg(MANDOCERR_MACRO_EMPTY, n->line, n->pos, "Tg");
1.380 schwarze 1129: if (nt == NULL) {
1.377 schwarze 1130: roff_node_delete(mdoc, n);
1131: return;
1132: }
1.380 schwarze 1133: len = strcspn(nt->string, " \t\\");
1134: if (nt->string[len] != '\0')
1135: mandoc_msg(MANDOCERR_TG_SPC, nt->line,
1136: nt->pos + len, "Tg %s", nt->string);
1.379 schwarze 1137:
1138: /* Keep only the first argument. */
1.380 schwarze 1139: if (nch != NULL && nch->next != NULL) {
1.377 schwarze 1140: mandoc_msg(MANDOCERR_ARG_EXCESS, nch->next->line,
1141: nch->next->pos, "Tg ... %s", nch->next->string);
1142: while (nch->next != NULL)
1143: roff_node_delete(mdoc, nch->next);
1144: }
1.379 schwarze 1145:
1146: /* Drop the macro if the first argument is invalid. */
1.380 schwarze 1147: if (len == 0 || nt->string[len] != '\0') {
1.377 schwarze 1148: roff_node_delete(mdoc, n);
1.379 schwarze 1149: return;
1150: }
1151:
1.380 schwarze 1152: /* By default, tag the .Tg node itself. */
1.379 schwarze 1153: if (nn == NULL)
1.380 schwarze 1154: nn = n;
1.379 schwarze 1155:
1156: /* Explicit tagging of specific macros. */
1157: switch (nn->tok) {
1158: case MDOC_Sh:
1159: case MDOC_Ss:
1.380 schwarze 1160: case MDOC_Fo:
1161: nn = nn->head;
1162: /* FALLTHROUGH */
1163: case MDOC_Cm:
1164: case MDOC_Dv:
1165: case MDOC_Em:
1166: case MDOC_Er:
1167: case MDOC_Ev:
1168: case MDOC_Fl:
1169: case MDOC_Fn:
1170: case MDOC_Ic:
1171: case MDOC_Li:
1172: case MDOC_Ms:
1173: case MDOC_No:
1174: case MDOC_Sy:
1175: if (nn->child != NULL && (nn->flags & NODE_ID) == 0)
1.379 schwarze 1176: break;
1.380 schwarze 1177: /* FALLTHROUGH */
1.379 schwarze 1178: default:
1.380 schwarze 1179: nn = n;
1.379 schwarze 1180: break;
1181: }
1.380 schwarze 1182: tag_put(nt->string, TAG_MANUAL, nn);
1183: if (nn != n)
1184: n->flags |= NODE_NOPRT;
1.377 schwarze 1185: }
1186:
1187: static void
1.299 schwarze 1188: post_obsolete(POST_ARGS)
1.218 schwarze 1189: {
1.299 schwarze 1190: struct roff_node *n;
1.218 schwarze 1191:
1.299 schwarze 1192: n = mdoc->last;
1.284 schwarze 1193: if (n->type == ROFFT_ELEM || n->type == ROFFT_BLOCK)
1.365 schwarze 1194: mandoc_msg(MANDOCERR_MACRO_OBS, n->line, n->pos,
1195: "%s", roff_name[n->tok]);
1.328 schwarze 1196: }
1197:
1198: static void
1199: post_useless(POST_ARGS)
1200: {
1201: struct roff_node *n;
1202:
1203: n = mdoc->last;
1.365 schwarze 1204: mandoc_msg(MANDOCERR_MACRO_USELESS, n->line, n->pos,
1205: "%s", roff_name[n->tok]);
1.218 schwarze 1206: }
1207:
1.317 schwarze 1208: /*
1209: * Block macros.
1210: */
1211:
1.259 schwarze 1212: static void
1.1 kristaps 1213: post_bf(POST_ARGS)
1214: {
1.285 schwarze 1215: struct roff_node *np, *nch;
1.105 kristaps 1216:
1217: /*
1218: * Unlike other data pointers, these are "housed" by the HEAD
1219: * element, which contains the goods.
1220: */
1.1 kristaps 1221:
1.278 schwarze 1222: np = mdoc->last;
1.284 schwarze 1223: if (np->type != ROFFT_HEAD)
1.259 schwarze 1224: return;
1.1 kristaps 1225:
1.284 schwarze 1226: assert(np->parent->type == ROFFT_BLOCK);
1.297 schwarze 1227: assert(np->parent->tok == MDOC_Bf);
1.1 kristaps 1228:
1.226 schwarze 1229: /* Check the number of arguments. */
1.105 kristaps 1230:
1.226 schwarze 1231: nch = np->child;
1.297 schwarze 1232: if (np->parent->args == NULL) {
1233: if (nch == NULL) {
1.365 schwarze 1234: mandoc_msg(MANDOCERR_BF_NOFONT,
1.239 schwarze 1235: np->line, np->pos, "Bf");
1.259 schwarze 1236: return;
1.226 schwarze 1237: }
1238: nch = nch->next;
1.133 kristaps 1239: }
1.297 schwarze 1240: if (nch != NULL)
1.365 schwarze 1241: mandoc_msg(MANDOCERR_ARG_EXCESS,
1.226 schwarze 1242: nch->line, nch->pos, "Bf ... %s", nch->string);
1.105 kristaps 1243:
1244: /* Extract argument into data. */
1.210 schwarze 1245:
1.297 schwarze 1246: if (np->parent->args != NULL) {
1247: switch (np->parent->args->argv[0].arg) {
1248: case MDOC_Emphasis:
1.147 kristaps 1249: np->norm->Bf.font = FONT_Em;
1.297 schwarze 1250: break;
1251: case MDOC_Literal:
1.147 kristaps 1252: np->norm->Bf.font = FONT_Li;
1.297 schwarze 1253: break;
1254: case MDOC_Symbolic:
1.147 kristaps 1255: np->norm->Bf.font = FONT_Sy;
1.297 schwarze 1256: break;
1257: default:
1.105 kristaps 1258: abort();
1.297 schwarze 1259: }
1.259 schwarze 1260: return;
1.79 kristaps 1261: }
1.1 kristaps 1262:
1.105 kristaps 1263: /* Extract parameter into data. */
1.1 kristaps 1264:
1.297 schwarze 1265: if ( ! strcmp(np->child->string, "Em"))
1.147 kristaps 1266: np->norm->Bf.font = FONT_Em;
1.297 schwarze 1267: else if ( ! strcmp(np->child->string, "Li"))
1.147 kristaps 1268: np->norm->Bf.font = FONT_Li;
1.297 schwarze 1269: else if ( ! strcmp(np->child->string, "Sy"))
1.147 kristaps 1270: np->norm->Bf.font = FONT_Sy;
1.210 schwarze 1271: else
1.365 schwarze 1272: mandoc_msg(MANDOCERR_BF_BADFONT, np->child->line,
1273: np->child->pos, "Bf %s", np->child->string);
1.1 kristaps 1274: }
1275:
1.259 schwarze 1276: static void
1.250 schwarze 1277: post_fname(POST_ARGS)
1278: {
1.380 schwarze 1279: struct roff_node *n, *nch;
1.252 schwarze 1280: const char *cp;
1281: size_t pos;
1.250 schwarze 1282:
1.380 schwarze 1283: n = mdoc->last;
1284: nch = n->child;
1285: cp = nch->string;
1.375 schwarze 1286: if (*cp == '(') {
1287: if (cp[strlen(cp + 1)] == ')')
1288: return;
1289: pos = 0;
1290: } else {
1291: pos = strcspn(cp, "()");
1.380 schwarze 1292: if (cp[pos] == '\0') {
1293: if (n->sec == SEC_DESCRIPTION ||
1294: n->sec == SEC_CUSTOM)
1295: tag_put(NULL, fn_prio++, n);
1.375 schwarze 1296: return;
1.380 schwarze 1297: }
1.375 schwarze 1298: }
1.380 schwarze 1299: mandoc_msg(MANDOCERR_FN_PAREN, nch->line, nch->pos + pos, "%s", cp);
1.250 schwarze 1300: }
1301:
1.259 schwarze 1302: static void
1.250 schwarze 1303: post_fn(POST_ARGS)
1304: {
1305: post_fname(mdoc);
1306: post_fa(mdoc);
1307: }
1308:
1.259 schwarze 1309: static void
1.242 schwarze 1310: post_fo(POST_ARGS)
1311: {
1.285 schwarze 1312: const struct roff_node *n;
1.274 schwarze 1313:
1314: n = mdoc->last;
1.242 schwarze 1315:
1.284 schwarze 1316: if (n->type != ROFFT_HEAD)
1.274 schwarze 1317: return;
1318:
1319: if (n->child == NULL) {
1.365 schwarze 1320: mandoc_msg(MANDOCERR_FO_NOHEAD, n->line, n->pos, "Fo");
1.274 schwarze 1321: return;
1322: }
1323: if (n->child != n->last) {
1.365 schwarze 1324: mandoc_msg(MANDOCERR_ARG_EXCESS,
1.274 schwarze 1325: n->child->next->line, n->child->next->pos,
1326: "Fo ... %s", n->child->next->string);
1327: while (n->child != n->last)
1.287 schwarze 1328: roff_node_delete(mdoc, n->last);
1.348 schwarze 1329: } else
1330: post_delim(mdoc);
1.274 schwarze 1331:
1332: post_fname(mdoc);
1.249 schwarze 1333: }
1334:
1.259 schwarze 1335: static void
1.249 schwarze 1336: post_fa(POST_ARGS)
1337: {
1.285 schwarze 1338: const struct roff_node *n;
1.249 schwarze 1339: const char *cp;
1340:
1341: for (n = mdoc->last->child; n != NULL; n = n->next) {
1342: for (cp = n->string; *cp != '\0'; cp++) {
1343: /* Ignore callbacks and alterations. */
1344: if (*cp == '(' || *cp == '{')
1345: break;
1346: if (*cp != ',')
1347: continue;
1.365 schwarze 1348: mandoc_msg(MANDOCERR_FA_COMMA, n->line,
1349: n->pos + (int)(cp - n->string), "%s", n->string);
1.249 schwarze 1350: break;
1351: }
1352: }
1.348 schwarze 1353: post_delim_nb(mdoc);
1.57 kristaps 1354: }
1355:
1.259 schwarze 1356: static void
1.1 kristaps 1357: post_nm(POST_ARGS)
1358: {
1.285 schwarze 1359: struct roff_node *n;
1.266 schwarze 1360:
1361: n = mdoc->last;
1362:
1.352 schwarze 1363: if (n->sec == SEC_NAME && n->child != NULL &&
1364: n->child->type == ROFFT_TEXT && mdoc->meta.msec != NULL)
1.347 schwarze 1365: mandoc_xr_add(mdoc->meta.msec, n->child->string, -1, -1);
1366:
1.363 schwarze 1367: if (n->last != NULL && n->last->tok == MDOC_Pp)
1.364 schwarze 1368: roff_node_relink(mdoc, n->last);
1.129 kristaps 1369:
1.311 schwarze 1370: if (mdoc->meta.name == NULL)
1371: deroff(&mdoc->meta.name, n);
1.1 kristaps 1372:
1.311 schwarze 1373: if (mdoc->meta.name == NULL ||
1374: (mdoc->lastsec == SEC_NAME && n->child == NULL))
1.365 schwarze 1375: mandoc_msg(MANDOCERR_NM_NONAME, n->line, n->pos, "Nm");
1.318 schwarze 1376:
1.348 schwarze 1377: switch (n->type) {
1378: case ROFFT_ELEM:
1379: post_delim_nb(mdoc);
1380: break;
1381: case ROFFT_HEAD:
1.333 schwarze 1382: post_delim(mdoc);
1.348 schwarze 1383: break;
1384: default:
1385: return;
1386: }
1.333 schwarze 1387:
1.348 schwarze 1388: if ((n->child != NULL && n->child->type == ROFFT_TEXT) ||
1.318 schwarze 1389: mdoc->meta.name == NULL)
1390: return;
1391:
1392: mdoc->next = ROFF_NEXT_CHILD;
1393: roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
1394: mdoc->last->flags |= NODE_NOSRC;
1395: mdoc->last = n;
1.1 kristaps 1396: }
1397:
1.259 schwarze 1398: static void
1.242 schwarze 1399: post_nd(POST_ARGS)
1400: {
1.285 schwarze 1401: struct roff_node *n;
1.267 schwarze 1402:
1403: n = mdoc->last;
1404:
1.284 schwarze 1405: if (n->type != ROFFT_BODY)
1.267 schwarze 1406: return;
1.319 schwarze 1407:
1408: if (n->sec != SEC_NAME)
1.365 schwarze 1409: mandoc_msg(MANDOCERR_ND_LATE, n->line, n->pos, "Nd");
1.267 schwarze 1410:
1411: if (n->child == NULL)
1.365 schwarze 1412: mandoc_msg(MANDOCERR_ND_EMPTY, n->line, n->pos, "Nd");
1.348 schwarze 1413: else
1414: post_delim(mdoc);
1.242 schwarze 1415:
1.259 schwarze 1416: post_hyph(mdoc);
1.242 schwarze 1417: }
1418:
1.259 schwarze 1419: static void
1.299 schwarze 1420: post_display(POST_ARGS)
1.128 kristaps 1421: {
1.299 schwarze 1422: struct roff_node *n, *np;
1.210 schwarze 1423:
1.273 schwarze 1424: n = mdoc->last;
1.299 schwarze 1425: switch (n->type) {
1426: case ROFFT_BODY:
1.306 schwarze 1427: if (n->end != ENDBODY_NOT) {
1.307 schwarze 1428: if (n->tok == MDOC_Bd &&
1429: n->body->parent->args == NULL)
1.306 schwarze 1430: roff_node_delete(mdoc, n);
1431: } else if (n->child == NULL)
1.365 schwarze 1432: mandoc_msg(MANDOCERR_BLK_EMPTY, n->line, n->pos,
1433: "%s", roff_name[n->tok]);
1.299 schwarze 1434: else if (n->tok == MDOC_D1)
1435: post_hyph(mdoc);
1436: break;
1437: case ROFFT_BLOCK:
1438: if (n->tok == MDOC_Bd) {
1.300 schwarze 1439: if (n->args == NULL) {
1440: mandoc_msg(MANDOCERR_BD_NOARG,
1.365 schwarze 1441: n->line, n->pos, "Bd");
1.300 schwarze 1442: mdoc->next = ROFF_NEXT_SIBLING;
1443: while (n->body->child != NULL)
1.364 schwarze 1444: roff_node_relink(mdoc,
1.300 schwarze 1445: n->body->child);
1446: roff_node_delete(mdoc, n);
1447: break;
1448: }
1.299 schwarze 1449: post_bd(mdoc);
1450: post_prevpar(mdoc);
1451: }
1452: for (np = n->parent; np != NULL; np = np->parent) {
1453: if (np->type == ROFFT_BLOCK && np->tok == MDOC_Bd) {
1.365 schwarze 1454: mandoc_msg(MANDOCERR_BD_NEST, n->line,
1455: n->pos, "%s in Bd", roff_name[n->tok]);
1.299 schwarze 1456: break;
1457: }
1458: }
1459: break;
1460: default:
1461: break;
1462: }
1.128 kristaps 1463: }
1464:
1.259 schwarze 1465: static void
1.123 kristaps 1466: post_defaults(POST_ARGS)
1467: {
1.380 schwarze 1468: struct roff_node *n;
1.123 kristaps 1469:
1.380 schwarze 1470: n = mdoc->last;
1471: if (n->child != NULL) {
1.348 schwarze 1472: post_delim_nb(mdoc);
1.333 schwarze 1473: return;
1474: }
1.380 schwarze 1475: mdoc->next = ROFF_NEXT_CHILD;
1476: switch (n->tok) {
1.210 schwarze 1477: case MDOC_Ar:
1.380 schwarze 1478: roff_word_alloc(mdoc, n->line, n->pos, "file");
1.313 schwarze 1479: mdoc->last->flags |= NODE_NOSRC;
1.380 schwarze 1480: roff_word_alloc(mdoc, n->line, n->pos, "...");
1.123 kristaps 1481: break;
1.210 schwarze 1482: case MDOC_Pa:
1483: case MDOC_Mt:
1.380 schwarze 1484: roff_word_alloc(mdoc, n->line, n->pos, "~");
1.123 kristaps 1485: break;
1486: default:
1487: abort();
1.210 schwarze 1488: }
1.380 schwarze 1489: mdoc->last->flags |= NODE_NOSRC;
1490: mdoc->last = n;
1.123 kristaps 1491: }
1.1 kristaps 1492:
1.259 schwarze 1493: static void
1.1 kristaps 1494: post_at(POST_ARGS)
1495: {
1.316 schwarze 1496: struct roff_node *n, *nch;
1497: const char *att;
1.1 kristaps 1498:
1.242 schwarze 1499: n = mdoc->last;
1.316 schwarze 1500: nch = n->child;
1.242 schwarze 1501:
1.126 kristaps 1502: /*
1503: * If we have a child, look it up in the standard keys. If a
1504: * key exist, use that instead of the child; if it doesn't,
1505: * prefix "AT&T UNIX " to the existing data.
1506: */
1.210 schwarze 1507:
1.316 schwarze 1508: att = NULL;
1509: if (nch != NULL && ((att = mdoc_a2att(nch->string)) == NULL))
1.365 schwarze 1510: mandoc_msg(MANDOCERR_AT_BAD,
1.316 schwarze 1511: nch->line, nch->pos, "At %s", nch->string);
1512:
1513: mdoc->next = ROFF_NEXT_CHILD;
1514: if (att != NULL) {
1515: roff_word_alloc(mdoc, nch->line, nch->pos, att);
1516: nch->flags |= NODE_NOPRT;
1.213 schwarze 1517: } else
1.316 schwarze 1518: roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");
1519: mdoc->last->flags |= NODE_NOSRC;
1520: mdoc->last = n;
1.1 kristaps 1521: }
1522:
1.259 schwarze 1523: static void
1.1 kristaps 1524: post_an(POST_ARGS)
1525: {
1.285 schwarze 1526: struct roff_node *np, *nch;
1.1 kristaps 1527:
1.299 schwarze 1528: post_an_norm(mdoc);
1529:
1.107 kristaps 1530: np = mdoc->last;
1.271 schwarze 1531: nch = np->child;
1532: if (np->norm->An.auth == AUTH__NONE) {
1533: if (nch == NULL)
1.365 schwarze 1534: mandoc_msg(MANDOCERR_MACRO_EMPTY,
1.271 schwarze 1535: np->line, np->pos, "An");
1.333 schwarze 1536: else
1.348 schwarze 1537: post_delim_nb(mdoc);
1.271 schwarze 1538: } else if (nch != NULL)
1.365 schwarze 1539: mandoc_msg(MANDOCERR_ARG_EXCESS,
1.269 schwarze 1540: nch->line, nch->pos, "An ... %s", nch->string);
1.218 schwarze 1541: }
1542:
1.259 schwarze 1543: static void
1.380 schwarze 1544: post_em(POST_ARGS)
1545: {
1546: post_tag(mdoc);
1547: tag_put(NULL, TAG_FALLBACK, mdoc->last);
1548: }
1549:
1550: static void
1.218 schwarze 1551: post_en(POST_ARGS)
1552: {
1.299 schwarze 1553: post_obsolete(mdoc);
1.284 schwarze 1554: if (mdoc->last->type == ROFFT_BLOCK)
1.218 schwarze 1555: mdoc->last->norm->Es = mdoc->last_es;
1556: }
1557:
1.259 schwarze 1558: static void
1.380 schwarze 1559: post_er(POST_ARGS)
1560: {
1561: struct roff_node *n;
1562:
1563: n = mdoc->last;
1564: if (n->sec == SEC_ERRORS &&
1565: (n->parent->tok == MDOC_It ||
1566: (n->parent->tok == MDOC_Bq &&
1567: n->parent->parent->parent->tok == MDOC_It)))
1568: tag_put(NULL, TAG_STRONG, n);
1569: post_delim_nb(mdoc);
1570: }
1571:
1572: static void
1573: post_tag(POST_ARGS)
1574: {
1575: struct roff_node *n;
1576:
1577: n = mdoc->last;
1578: if ((n->prev == NULL ||
1579: (n->prev->type == ROFFT_TEXT &&
1580: strcmp(n->prev->string, "|") == 0)) &&
1581: (n->parent->tok == MDOC_It ||
1582: (n->parent->tok == MDOC_Xo &&
1583: n->parent->parent->prev == NULL &&
1584: n->parent->parent->parent->tok == MDOC_It)))
1585: tag_put(NULL, TAG_STRONG, n);
1586: post_delim_nb(mdoc);
1587: }
1588:
1589: static void
1.218 schwarze 1590: post_es(POST_ARGS)
1591: {
1.299 schwarze 1592: post_obsolete(mdoc);
1.218 schwarze 1593: mdoc->last_es = mdoc->last;
1.315 schwarze 1594: }
1595:
1596: static void
1597: post_xx(POST_ARGS)
1598: {
1599: struct roff_node *n;
1600: const char *os;
1.350 schwarze 1601: char *v;
1.315 schwarze 1602:
1.348 schwarze 1603: post_delim_nb(mdoc);
1.333 schwarze 1604:
1.315 schwarze 1605: n = mdoc->last;
1606: switch (n->tok) {
1607: case MDOC_Bsx:
1608: os = "BSD/OS";
1609: break;
1610: case MDOC_Dx:
1611: os = "DragonFly";
1612: break;
1613: case MDOC_Fx:
1614: os = "FreeBSD";
1615: break;
1616: case MDOC_Nx:
1617: os = "NetBSD";
1.350 schwarze 1618: if (n->child == NULL)
1619: break;
1620: v = n->child->string;
1621: if ((v[0] != '0' && v[0] != '1') || v[1] != '.' ||
1622: v[2] < '0' || v[2] > '9' ||
1623: v[3] < 'a' || v[3] > 'z' || v[4] != '\0')
1624: break;
1625: n->child->flags |= NODE_NOPRT;
1626: mdoc->next = ROFF_NEXT_CHILD;
1627: roff_word_alloc(mdoc, n->child->line, n->child->pos, v);
1628: v = mdoc->last->string;
1629: v[3] = toupper((unsigned char)v[3]);
1630: mdoc->last->flags |= NODE_NOSRC;
1631: mdoc->last = n;
1.315 schwarze 1632: break;
1633: case MDOC_Ox:
1634: os = "OpenBSD";
1635: break;
1636: case MDOC_Ux:
1637: os = "UNIX";
1638: break;
1639: default:
1640: abort();
1641: }
1642: mdoc->next = ROFF_NEXT_CHILD;
1643: roff_word_alloc(mdoc, n->line, n->pos, os);
1644: mdoc->last->flags |= NODE_NOSRC;
1645: mdoc->last = n;
1.1 kristaps 1646: }
1647:
1.259 schwarze 1648: static void
1.1 kristaps 1649: post_it(POST_ARGS)
1650: {
1.285 schwarze 1651: struct roff_node *nbl, *nit, *nch;
1.162 kristaps 1652: int i, cols;
1.89 kristaps 1653: enum mdoc_list lt;
1.1 kristaps 1654:
1.299 schwarze 1655: post_prevpar(mdoc);
1656:
1.224 schwarze 1657: nit = mdoc->last;
1.284 schwarze 1658: if (nit->type != ROFFT_BLOCK)
1.259 schwarze 1659: return;
1.1 kristaps 1660:
1.224 schwarze 1661: nbl = nit->parent->parent;
1662: lt = nbl->norm->Bl.type;
1.89 kristaps 1663:
1664: switch (lt) {
1.210 schwarze 1665: case LIST_tag:
1666: case LIST_hang:
1667: case LIST_ohang:
1668: case LIST_inset:
1669: case LIST_diag:
1.264 schwarze 1670: if (nit->head->child == NULL)
1.365 schwarze 1671: mandoc_msg(MANDOCERR_IT_NOHEAD,
1672: nit->line, nit->pos, "Bl -%s It",
1.224 schwarze 1673: mdoc_argnames[nbl->args->argv[0].arg]);
1.1 kristaps 1674: break;
1.210 schwarze 1675: case LIST_bullet:
1676: case LIST_dash:
1677: case LIST_enum:
1678: case LIST_hyphen:
1.264 schwarze 1679: if (nit->body == NULL || nit->body->child == NULL)
1.365 schwarze 1680: mandoc_msg(MANDOCERR_IT_NOBODY,
1681: nit->line, nit->pos, "Bl -%s It",
1.225 schwarze 1682: mdoc_argnames[nbl->args->argv[0].arg]);
1.1 kristaps 1683: /* FALLTHROUGH */
1.210 schwarze 1684: case LIST_item:
1.304 schwarze 1685: if ((nch = nit->head->child) != NULL)
1.365 schwarze 1686: mandoc_msg(MANDOCERR_ARG_SKIP,
1.320 schwarze 1687: nit->line, nit->pos, "It %s",
1.380 schwarze 1688: nch->type == ROFFT_TEXT ? nch->string :
1689: roff_name[nch->tok]);
1.1 kristaps 1690: break;
1.210 schwarze 1691: case LIST_column:
1.224 schwarze 1692: cols = (int)nbl->norm->Bl.ncols;
1.89 kristaps 1693:
1.264 schwarze 1694: assert(nit->head->child == NULL);
1.89 kristaps 1695:
1.345 schwarze 1696: if (nit->head->next->child == NULL &&
1697: nit->head->next->next == NULL) {
1.365 schwarze 1698: mandoc_msg(MANDOCERR_MACRO_EMPTY,
1.345 schwarze 1699: nit->line, nit->pos, "It");
1700: roff_node_delete(mdoc, nit);
1701: break;
1702: }
1703:
1.297 schwarze 1704: i = 0;
1.345 schwarze 1705: for (nch = nit->child; nch != NULL; nch = nch->next) {
1706: if (nch->type != ROFFT_BODY)
1707: continue;
1708: if (i++ && nch->flags & NODE_LINE)
1.365 schwarze 1709: mandoc_msg(MANDOCERR_TA_LINE,
1.345 schwarze 1710: nch->line, nch->pos, "Ta");
1711: }
1.236 schwarze 1712: if (i < cols || i > cols + 1)
1.365 schwarze 1713: mandoc_msg(MANDOCERR_BL_COL, nit->line, nit->pos,
1.276 schwarze 1714: "%d columns, %d cells", cols, i);
1.345 schwarze 1715: else if (nit->head->next->child != NULL &&
1.370 schwarze 1716: nit->head->next->child->flags & NODE_LINE)
1.365 schwarze 1717: mandoc_msg(MANDOCERR_IT_NOARG,
1.345 schwarze 1718: nit->line, nit->pos, "Bl -column It");
1.236 schwarze 1719: break;
1.1 kristaps 1720: default:
1.225 schwarze 1721: abort();
1.1 kristaps 1722: }
1723: }
1724:
1.259 schwarze 1725: static void
1.210 schwarze 1726: post_bl_block(POST_ARGS)
1.131 kristaps 1727: {
1.285 schwarze 1728: struct roff_node *n, *ni, *nc;
1.131 kristaps 1729:
1.299 schwarze 1730: post_prevpar(mdoc);
1731:
1.131 kristaps 1732: n = mdoc->last;
1.297 schwarze 1733: for (ni = n->body->child; ni != NULL; ni = ni->next) {
1734: if (ni->body == NULL)
1.189 schwarze 1735: continue;
1736: nc = ni->body->last;
1.297 schwarze 1737: while (nc != NULL) {
1.189 schwarze 1738: switch (nc->tok) {
1.210 schwarze 1739: case MDOC_Pp:
1.323 schwarze 1740: case ROFF_br:
1.189 schwarze 1741: break;
1742: default:
1743: nc = NULL;
1744: continue;
1745: }
1.297 schwarze 1746: if (ni->next == NULL) {
1.365 schwarze 1747: mandoc_msg(MANDOCERR_PAR_MOVE, nc->line,
1748: nc->pos, "%s", roff_name[nc->tok]);
1.364 schwarze 1749: roff_node_relink(mdoc, nc);
1.297 schwarze 1750: } else if (n->norm->Bl.comp == 0 &&
1751: n->norm->Bl.type != LIST_column) {
1.365 schwarze 1752: mandoc_msg(MANDOCERR_PAR_SKIP,
1753: nc->line, nc->pos,
1.320 schwarze 1754: "%s before It", roff_name[nc->tok]);
1.287 schwarze 1755: roff_node_delete(mdoc, nc);
1.189 schwarze 1756: } else
1757: break;
1758: nc = ni->body->last;
1759: }
1760: }
1.131 kristaps 1761: }
1762:
1.254 schwarze 1763: /*
1764: * If the argument of -offset or -width is a macro,
1765: * replace it with the associated default width.
1766: */
1.322 schwarze 1767: static void
1768: rewrite_macro2len(struct roff_man *mdoc, char **arg)
1.131 kristaps 1769: {
1770: size_t width;
1.320 schwarze 1771: enum roff_tok tok;
1.131 kristaps 1772:
1.254 schwarze 1773: if (*arg == NULL)
1774: return;
1775: else if ( ! strcmp(*arg, "Ds"))
1.131 kristaps 1776: width = 6;
1.322 schwarze 1777: else if ((tok = roffhash_find(mdoc->mdocmac, *arg, 0)) == TOKEN_NONE)
1.254 schwarze 1778: return;
1.228 schwarze 1779: else
1780: width = macro2len(tok);
1.131 kristaps 1781:
1.254 schwarze 1782: free(*arg);
1783: mandoc_asprintf(arg, "%zun", width);
1.131 kristaps 1784: }
1785:
1.259 schwarze 1786: static void
1.210 schwarze 1787: post_bl_head(POST_ARGS)
1.14 kristaps 1788: {
1.285 schwarze 1789: struct roff_node *nbl, *nh, *nch, *nnext;
1.237 schwarze 1790: struct mdoc_argv *argv;
1.130 kristaps 1791: int i, j;
1.14 kristaps 1792:
1.299 schwarze 1793: post_bl_norm(mdoc);
1794:
1.270 schwarze 1795: nh = mdoc->last;
1796: if (nh->norm->Bl.type != LIST_column) {
1797: if ((nch = nh->child) == NULL)
1798: return;
1.365 schwarze 1799: mandoc_msg(MANDOCERR_ARG_EXCESS,
1.270 schwarze 1800: nch->line, nch->pos, "Bl ... %s", nch->string);
1801: while (nch != NULL) {
1.287 schwarze 1802: roff_node_delete(mdoc, nch);
1.270 schwarze 1803: nch = nh->child;
1804: }
1.259 schwarze 1805: return;
1806: }
1.14 kristaps 1807:
1.130 kristaps 1808: /*
1.237 schwarze 1809: * Append old-style lists, where the column width specifiers
1.130 kristaps 1810: * trail as macro parameters, to the new-style ("normal-form")
1811: * lists where they're argument values following -column.
1812: */
1813:
1.270 schwarze 1814: if (nh->child == NULL)
1.259 schwarze 1815: return;
1.130 kristaps 1816:
1.270 schwarze 1817: nbl = nh->parent;
1818: for (j = 0; j < (int)nbl->args->argc; j++)
1819: if (nbl->args->argv[j].arg == MDOC_Column)
1.130 kristaps 1820: break;
1821:
1.270 schwarze 1822: assert(j < (int)nbl->args->argc);
1.130 kristaps 1823:
1824: /*
1.169 kristaps 1825: * Accommodate for new-style groff column syntax. Shuffle the
1.130 kristaps 1826: * child nodes, all of which must be TEXT, as arguments for the
1827: * column field. Then, delete the head children.
1828: */
1829:
1.270 schwarze 1830: argv = nbl->args->argv + j;
1.237 schwarze 1831: i = argv->sz;
1.301 schwarze 1832: for (nch = nh->child; nch != NULL; nch = nch->next)
1833: argv->sz++;
1.237 schwarze 1834: argv->value = mandoc_reallocarray(argv->value,
1835: argv->sz, sizeof(char *));
1.130 kristaps 1836:
1.270 schwarze 1837: nh->norm->Bl.ncols = argv->sz;
1838: nh->norm->Bl.cols = (void *)argv->value;
1.130 kristaps 1839:
1.270 schwarze 1840: for (nch = nh->child; nch != NULL; nch = nnext) {
1841: argv->value[i++] = nch->string;
1842: nch->string = NULL;
1843: nnext = nch->next;
1.287 schwarze 1844: roff_node_delete(NULL, nch);
1.65 kristaps 1845: }
1.270 schwarze 1846: nh->child = NULL;
1.14 kristaps 1847: }
1848:
1.259 schwarze 1849: static void
1.1 kristaps 1850: post_bl(POST_ARGS)
1851: {
1.378 schwarze 1852: struct roff_node *nbody; /* of the Bl */
1.285 schwarze 1853: struct roff_node *nchild, *nnext; /* of the Bl body */
1.331 schwarze 1854: const char *prev_Er;
1855: int order;
1.195 schwarze 1856:
1857: nbody = mdoc->last;
1858: switch (nbody->type) {
1.284 schwarze 1859: case ROFFT_BLOCK:
1.259 schwarze 1860: post_bl_block(mdoc);
1861: return;
1.284 schwarze 1862: case ROFFT_HEAD:
1.259 schwarze 1863: post_bl_head(mdoc);
1864: return;
1.284 schwarze 1865: case ROFFT_BODY:
1.195 schwarze 1866: break;
1867: default:
1.259 schwarze 1868: return;
1.195 schwarze 1869: }
1.298 schwarze 1870: if (nbody->end != ENDBODY_NOT)
1871: return;
1.1 kristaps 1872:
1.378 schwarze 1873: /*
1874: * Up to the first item, move nodes before the list,
1875: * but leave transparent nodes where they are
1876: * if they precede an item.
1877: * The next non-transparent node is kept in nchild.
1878: * It only needs to be updated after a non-transparent
1879: * node was moved out, and at the very beginning
1880: * when no node at all was moved yet.
1881: */
1882:
1883: nchild = mdoc->last;
1884: for (;;) {
1885: if (nchild == mdoc->last)
1886: nchild = roff_node_child(nbody);
1887: if (nchild == NULL) {
1888: mdoc->last = nbody;
1889: mandoc_msg(MANDOCERR_BLK_EMPTY,
1890: nbody->line, nbody->pos, "Bl");
1891: return;
1892: }
1893: if (nchild->tok == MDOC_It) {
1894: mdoc->last = nbody;
1895: break;
1896: }
1897: mandoc_msg(MANDOCERR_BL_MOVE, nbody->child->line,
1898: nbody->child->pos, "%s", roff_name[nbody->child->tok]);
1899: if (nbody->parent->prev == NULL) {
1900: mdoc->last = nbody->parent->parent;
1901: mdoc->next = ROFF_NEXT_CHILD;
1902: } else {
1903: mdoc->last = nbody->parent->prev;
1904: mdoc->next = ROFF_NEXT_SIBLING;
1905: }
1906: roff_node_relink(mdoc, nbody->child);
1.273 schwarze 1907: }
1.378 schwarze 1908:
1909: /*
1910: * We have reached the first item,
1911: * so moving nodes out is no longer possible.
1912: * But in .Bl -column, the first rows may be implicit,
1913: * that is, they may not start with .It macros.
1914: * Such rows may be followed by nodes generated on the
1915: * roff level, for example .TS.
1916: * Wrap such roff nodes into an implicit row.
1917: */
1918:
1.273 schwarze 1919: while (nchild != NULL) {
1.378 schwarze 1920: if (nchild->tok == MDOC_It) {
1921: nchild = roff_node_next(nchild);
1922: continue;
1923: }
1.308 schwarze 1924: nnext = nchild->next;
1.378 schwarze 1925: mdoc->last = nchild->prev;
1926: mdoc->next = ROFF_NEXT_SIBLING;
1927: roff_block_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1928: roff_head_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1929: mdoc->next = ROFF_NEXT_SIBLING;
1930: roff_body_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1931: while (nchild->tok != MDOC_It) {
1932: roff_node_relink(mdoc, nchild);
1933: if (nnext == NULL)
1934: break;
1.308 schwarze 1935: nchild = nnext;
1.378 schwarze 1936: nnext = nchild->next;
1.308 schwarze 1937: mdoc->next = ROFF_NEXT_SIBLING;
1.141 kristaps 1938: }
1.378 schwarze 1939: mdoc->last = nbody;
1.1 kristaps 1940: }
1.331 schwarze 1941:
1.340 schwarze 1942: if (mdoc->meta.os_e != MANDOC_OS_NETBSD)
1.331 schwarze 1943: return;
1944:
1945: prev_Er = NULL;
1946: for (nchild = nbody->child; nchild != NULL; nchild = nchild->next) {
1947: if (nchild->tok != MDOC_It)
1948: continue;
1949: if ((nnext = nchild->head->child) == NULL)
1950: continue;
1951: if (nnext->type == ROFFT_BLOCK)
1952: nnext = nnext->body->child;
1953: if (nnext == NULL || nnext->tok != MDOC_Er)
1954: continue;
1955: nnext = nnext->child;
1956: if (prev_Er != NULL) {
1957: order = strcmp(prev_Er, nnext->string);
1958: if (order > 0)
1.365 schwarze 1959: mandoc_msg(MANDOCERR_ER_ORDER,
1960: nnext->line, nnext->pos,
1.340 schwarze 1961: "Er %s %s (NetBSD)",
1962: prev_Er, nnext->string);
1.331 schwarze 1963: else if (order == 0)
1.365 schwarze 1964: mandoc_msg(MANDOCERR_ER_REP,
1965: nnext->line, nnext->pos,
1.340 schwarze 1966: "Er %s (NetBSD)", prev_Er);
1.331 schwarze 1967: }
1968: prev_Er = nnext->string;
1969: }
1.1 kristaps 1970: }
1971:
1.259 schwarze 1972: static void
1.242 schwarze 1973: post_bk(POST_ARGS)
1974: {
1.285 schwarze 1975: struct roff_node *n;
1.242 schwarze 1976:
1.270 schwarze 1977: n = mdoc->last;
1978:
1.284 schwarze 1979: if (n->type == ROFFT_BLOCK && n->body->child == NULL) {
1.365 schwarze 1980: mandoc_msg(MANDOCERR_BLK_EMPTY, n->line, n->pos, "Bk");
1.287 schwarze 1981: roff_node_delete(mdoc, n);
1.270 schwarze 1982: }
1.242 schwarze 1983: }
1984:
1.259 schwarze 1985: static void
1.297 schwarze 1986: post_sm(POST_ARGS)
1.1 kristaps 1987: {
1.285 schwarze 1988: struct roff_node *nch;
1.228 schwarze 1989:
1990: nch = mdoc->last->child;
1.1 kristaps 1991:
1.257 schwarze 1992: if (nch == NULL) {
1993: mdoc->flags ^= MDOC_SMOFF;
1.259 schwarze 1994: return;
1.151 schwarze 1995: }
1.133 kristaps 1996:
1.284 schwarze 1997: assert(nch->type == ROFFT_TEXT);
1.1 kristaps 1998:
1.257 schwarze 1999: if ( ! strcmp(nch->string, "on")) {
2000: mdoc->flags &= ~MDOC_SMOFF;
1.259 schwarze 2001: return;
1.197 schwarze 2002: }
1.257 schwarze 2003: if ( ! strcmp(nch->string, "off")) {
2004: mdoc->flags |= MDOC_SMOFF;
1.259 schwarze 2005: return;
1.197 schwarze 2006: }
1.133 kristaps 2007:
1.365 schwarze 2008: mandoc_msg(MANDOCERR_SM_BAD, nch->line, nch->pos,
1.320 schwarze 2009: "%s %s", roff_name[mdoc->last->tok], nch->string);
1.364 schwarze 2010: roff_node_relink(mdoc, nch);
1.259 schwarze 2011: return;
1.1 kristaps 2012: }
2013:
1.259 schwarze 2014: static void
1.1 kristaps 2015: post_root(POST_ARGS)
2016: {
1.285 schwarze 2017: struct roff_node *n;
1.1 kristaps 2018:
1.234 schwarze 2019: /* Add missing prologue data. */
1.133 kristaps 2020:
1.243 schwarze 2021: if (mdoc->meta.date == NULL)
1.376 schwarze 2022: mdoc->meta.date = mandoc_normdate(NULL, NULL);
1.243 schwarze 2023:
2024: if (mdoc->meta.title == NULL) {
1.365 schwarze 2025: mandoc_msg(MANDOCERR_DT_NOTITLE, 0, 0, "EOF");
1.243 schwarze 2026: mdoc->meta.title = mandoc_strdup("UNTITLED");
2027: }
2028:
2029: if (mdoc->meta.vol == NULL)
2030: mdoc->meta.vol = mandoc_strdup("LOCAL");
2031:
2032: if (mdoc->meta.os == NULL) {
1.365 schwarze 2033: mandoc_msg(MANDOCERR_OS_MISSING, 0, 0, NULL);
1.243 schwarze 2034: mdoc->meta.os = mandoc_strdup("");
1.339 schwarze 2035: } else if (mdoc->meta.os_e &&
2036: (mdoc->meta.rcsids & (1 << mdoc->meta.os_e)) == 0)
1.365 schwarze 2037: mandoc_msg(MANDOCERR_RCS_MISSING, 0, 0,
1.340 schwarze 2038: mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2039: "(OpenBSD)" : "(NetBSD)");
1.342 schwarze 2040:
2041: if (mdoc->meta.arch != NULL &&
1.371 schwarze 2042: arch_valid(mdoc->meta.arch, mdoc->meta.os_e) == 0) {
2043: n = mdoc->meta.first->child;
2044: while (n->tok != MDOC_Dt ||
2045: n->child == NULL ||
2046: n->child->next == NULL ||
2047: n->child->next->next == NULL)
2048: n = n->next;
2049: n = n->child->next->next;
2050: mandoc_msg(MANDOCERR_ARCH_BAD, n->line, n->pos,
2051: "Dt ... %s %s", mdoc->meta.arch,
2052: mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2053: "(OpenBSD)" : "(NetBSD)");
1.342 schwarze 2054: }
1.133 kristaps 2055:
2056: /* Check that we begin with a proper `Sh'. */
2057:
1.366 schwarze 2058: n = mdoc->meta.first->child;
1.358 schwarze 2059: while (n != NULL &&
2060: (n->type == ROFFT_COMMENT ||
2061: (n->tok >= MDOC_Dd &&
1.362 schwarze 2062: mdoc_macro(n->tok)->flags & MDOC_PROLOGUE)))
1.246 schwarze 2063: n = n->next;
2064:
2065: if (n == NULL)
1.365 schwarze 2066: mandoc_msg(MANDOCERR_DOC_EMPTY, 0, 0, NULL);
1.246 schwarze 2067: else if (n->tok != MDOC_Sh)
1.365 schwarze 2068: mandoc_msg(MANDOCERR_SEC_BEFORE, n->line, n->pos,
2069: "%s", roff_name[n->tok]);
1.1 kristaps 2070: }
2071:
1.259 schwarze 2072: static void
1.43 kristaps 2073: post_rs(POST_ARGS)
2074: {
1.285 schwarze 2075: struct roff_node *np, *nch, *next, *prev;
1.122 kristaps 2076: int i, j;
1.43 kristaps 2077:
1.268 schwarze 2078: np = mdoc->last;
2079:
1.284 schwarze 2080: if (np->type != ROFFT_BODY)
1.259 schwarze 2081: return;
1.268 schwarze 2082:
2083: if (np->child == NULL) {
1.365 schwarze 2084: mandoc_msg(MANDOCERR_RS_EMPTY, np->line, np->pos, "Rs");
1.259 schwarze 2085: return;
1.151 schwarze 2086: }
1.43 kristaps 2087:
1.122 kristaps 2088: /*
2089: * The full `Rs' block needs special handling to order the
2090: * sub-elements according to `rsord'. Pick through each element
1.230 schwarze 2091: * and correctly order it. This is an insertion sort.
1.122 kristaps 2092: */
2093:
2094: next = NULL;
1.268 schwarze 2095: for (nch = np->child->next; nch != NULL; nch = next) {
2096: /* Determine order number of this child. */
1.122 kristaps 2097: for (i = 0; i < RSORD_MAX; i++)
1.268 schwarze 2098: if (rsord[i] == nch->tok)
1.122 kristaps 2099: break;
2100:
1.230 schwarze 2101: if (i == RSORD_MAX) {
1.365 schwarze 2102: mandoc_msg(MANDOCERR_RS_BAD, nch->line, nch->pos,
2103: "%s", roff_name[nch->tok]);
1.230 schwarze 2104: i = -1;
1.268 schwarze 2105: } else if (nch->tok == MDOC__J || nch->tok == MDOC__B)
2106: np->norm->Rs.quote_T++;
1.230 schwarze 2107:
1.210 schwarze 2108: /*
1.268 schwarze 2109: * Remove this child from the chain. This somewhat
1.287 schwarze 2110: * repeats roff_node_unlink(), but since we're
1.122 kristaps 2111: * just re-ordering, there's no need for the
2112: * full unlink process.
2113: */
1.210 schwarze 2114:
1.268 schwarze 2115: if ((next = nch->next) != NULL)
2116: next->prev = nch->prev;
1.122 kristaps 2117:
1.268 schwarze 2118: if ((prev = nch->prev) != NULL)
2119: prev->next = nch->next;
1.122 kristaps 2120:
1.268 schwarze 2121: nch->prev = nch->next = NULL;
1.122 kristaps 2122:
1.210 schwarze 2123: /*
1.122 kristaps 2124: * Scan back until we reach a node that's
1.268 schwarze 2125: * to be ordered before this child.
1.122 kristaps 2126: */
2127:
2128: for ( ; prev ; prev = prev->prev) {
2129: /* Determine order of `prev'. */
2130: for (j = 0; j < RSORD_MAX; j++)
2131: if (rsord[j] == prev->tok)
2132: break;
1.230 schwarze 2133: if (j == RSORD_MAX)
2134: j = -1;
1.122 kristaps 2135:
2136: if (j <= i)
2137: break;
2138: }
2139:
2140: /*
1.268 schwarze 2141: * Set this child back into its correct place
2142: * in front of the `prev' node.
1.122 kristaps 2143: */
2144:
1.268 schwarze 2145: nch->prev = prev;
1.122 kristaps 2146:
1.268 schwarze 2147: if (prev == NULL) {
2148: np->child->prev = nch;
2149: nch->next = np->child;
2150: np->child = nch;
2151: } else {
1.122 kristaps 2152: if (prev->next)
1.268 schwarze 2153: prev->next->prev = nch;
2154: nch->next = prev->next;
2155: prev->next = nch;
1.43 kristaps 2156: }
1.122 kristaps 2157: }
1.196 schwarze 2158: }
2159:
2160: /*
2161: * For some arguments of some macros,
2162: * convert all breakable hyphens into ASCII_HYPH.
2163: */
1.259 schwarze 2164: static void
1.196 schwarze 2165: post_hyph(POST_ARGS)
2166: {
1.285 schwarze 2167: struct roff_node *nch;
1.196 schwarze 2168: char *cp;
2169:
1.273 schwarze 2170: for (nch = mdoc->last->child; nch != NULL; nch = nch->next) {
1.284 schwarze 2171: if (nch->type != ROFFT_TEXT)
1.196 schwarze 2172: continue;
2173: cp = nch->string;
1.273 schwarze 2174: if (*cp == '\0')
1.196 schwarze 2175: continue;
1.273 schwarze 2176: while (*(++cp) != '\0')
2177: if (*cp == '-' &&
1.196 schwarze 2178: isalpha((unsigned char)cp[-1]) &&
2179: isalpha((unsigned char)cp[1]))
2180: *cp = ASCII_HYPH;
2181: }
1.242 schwarze 2182: }
2183:
1.259 schwarze 2184: static void
1.155 kristaps 2185: post_ns(POST_ARGS)
2186: {
1.344 schwarze 2187: struct roff_node *n;
1.155 kristaps 2188:
1.344 schwarze 2189: n = mdoc->last;
2190: if (n->flags & NODE_LINE ||
2191: (n->next != NULL && n->next->flags & NODE_DELIMC))
1.365 schwarze 2192: mandoc_msg(MANDOCERR_NS_SKIP, n->line, n->pos, NULL);
1.43 kristaps 2193: }
2194:
1.259 schwarze 2195: static void
1.348 schwarze 2196: post_sx(POST_ARGS)
2197: {
2198: post_delim(mdoc);
2199: post_hyph(mdoc);
2200: }
2201:
2202: static void
1.1 kristaps 2203: post_sh(POST_ARGS)
2204: {
1.381 ! schwarze 2205: post_section(mdoc);
1.242 schwarze 2206:
1.247 schwarze 2207: switch (mdoc->last->type) {
1.284 schwarze 2208: case ROFFT_HEAD:
1.259 schwarze 2209: post_sh_head(mdoc);
2210: break;
1.284 schwarze 2211: case ROFFT_BODY:
1.247 schwarze 2212: switch (mdoc->lastsec) {
2213: case SEC_NAME:
1.259 schwarze 2214: post_sh_name(mdoc);
2215: break;
1.248 schwarze 2216: case SEC_SEE_ALSO:
1.259 schwarze 2217: post_sh_see_also(mdoc);
2218: break;
1.247 schwarze 2219: case SEC_AUTHORS:
1.259 schwarze 2220: post_sh_authors(mdoc);
2221: break;
1.247 schwarze 2222: default:
2223: break;
2224: }
2225: break;
2226: default:
2227: break;
2228: }
1.1 kristaps 2229: }
2230:
1.259 schwarze 2231: static void
1.247 schwarze 2232: post_sh_name(POST_ARGS)
1.1 kristaps 2233: {
1.285 schwarze 2234: struct roff_node *n;
1.282 schwarze 2235: int hasnm, hasnd;
1.1 kristaps 2236:
1.282 schwarze 2237: hasnm = hasnd = 0;
1.1 kristaps 2238:
1.282 schwarze 2239: for (n = mdoc->last->child; n != NULL; n = n->next) {
2240: switch (n->tok) {
2241: case MDOC_Nm:
1.311 schwarze 2242: if (hasnm && n->child != NULL)
1.365 schwarze 2243: mandoc_msg(MANDOCERR_NAMESEC_PUNCT,
2244: n->line, n->pos,
1.311 schwarze 2245: "Nm %s", n->child->string);
1.282 schwarze 2246: hasnm = 1;
1.311 schwarze 2247: continue;
1.282 schwarze 2248: case MDOC_Nd:
2249: hasnd = 1;
2250: if (n->next != NULL)
2251: mandoc_msg(MANDOCERR_NAMESEC_ND,
1.365 schwarze 2252: n->line, n->pos, NULL);
1.282 schwarze 2253: break;
1.288 schwarze 2254: case TOKEN_NONE:
1.311 schwarze 2255: if (n->type == ROFFT_TEXT &&
2256: n->string[0] == ',' && n->string[1] == '\0' &&
2257: n->next != NULL && n->next->tok == MDOC_Nm) {
2258: n = n->next;
2259: continue;
2260: }
1.283 schwarze 2261: /* FALLTHROUGH */
1.282 schwarze 2262: default:
1.365 schwarze 2263: mandoc_msg(MANDOCERR_NAMESEC_BAD,
2264: n->line, n->pos, "%s", roff_name[n->tok]);
1.311 schwarze 2265: continue;
1.282 schwarze 2266: }
1.311 schwarze 2267: break;
1.133 kristaps 2268: }
1.1 kristaps 2269:
1.282 schwarze 2270: if ( ! hasnm)
1.365 schwarze 2271: mandoc_msg(MANDOCERR_NAMESEC_NONM,
1.282 schwarze 2272: mdoc->last->line, mdoc->last->pos, NULL);
2273: if ( ! hasnd)
1.365 schwarze 2274: mandoc_msg(MANDOCERR_NAMESEC_NOND,
1.282 schwarze 2275: mdoc->last->line, mdoc->last->pos, NULL);
1.248 schwarze 2276: }
2277:
1.259 schwarze 2278: static void
1.248 schwarze 2279: post_sh_see_also(POST_ARGS)
2280: {
1.285 schwarze 2281: const struct roff_node *n;
1.277 schwarze 2282: const char *name, *sec;
1.248 schwarze 2283: const char *lastname, *lastsec, *lastpunct;
2284: int cmp;
2285:
2286: n = mdoc->last->child;
2287: lastname = lastsec = lastpunct = NULL;
2288: while (n != NULL) {
1.301 schwarze 2289: if (n->tok != MDOC_Xr ||
2290: n->child == NULL ||
2291: n->child->next == NULL)
1.248 schwarze 2292: break;
2293:
2294: /* Process one .Xr node. */
2295:
2296: name = n->child->string;
2297: sec = n->child->next->string;
2298: if (lastsec != NULL) {
2299: if (lastpunct[0] != ',' || lastpunct[1] != '\0')
1.365 schwarze 2300: mandoc_msg(MANDOCERR_XR_PUNCT, n->line,
2301: n->pos, "%s before %s(%s)",
2302: lastpunct, name, sec);
1.248 schwarze 2303: cmp = strcmp(lastsec, sec);
2304: if (cmp > 0)
1.365 schwarze 2305: mandoc_msg(MANDOCERR_XR_ORDER, n->line,
2306: n->pos, "%s(%s) after %s(%s)",
2307: name, sec, lastname, lastsec);
1.253 schwarze 2308: else if (cmp == 0 &&
2309: strcasecmp(lastname, name) > 0)
1.365 schwarze 2310: mandoc_msg(MANDOCERR_XR_ORDER, n->line,
2311: n->pos, "%s after %s", name, lastname);
1.248 schwarze 2312: }
2313: lastname = name;
2314: lastsec = sec;
2315:
2316: /* Process the following node. */
2317:
2318: n = n->next;
2319: if (n == NULL)
2320: break;
2321: if (n->tok == MDOC_Xr) {
2322: lastpunct = "none";
2323: continue;
2324: }
1.284 schwarze 2325: if (n->type != ROFFT_TEXT)
1.248 schwarze 2326: break;
2327: for (name = n->string; *name != '\0'; name++)
2328: if (isalpha((const unsigned char)*name))
1.259 schwarze 2329: return;
1.248 schwarze 2330: lastpunct = n->string;
1.327 schwarze 2331: if (n->next == NULL || n->next->tok == MDOC_Rs)
1.365 schwarze 2332: mandoc_msg(MANDOCERR_XR_PUNCT, n->line,
2333: n->pos, "%s after %s(%s)",
1.248 schwarze 2334: lastpunct, lastname, lastsec);
2335: n = n->next;
2336: }
1.247 schwarze 2337: }
2338:
2339: static int
1.285 schwarze 2340: child_an(const struct roff_node *n)
1.247 schwarze 2341: {
2342:
2343: for (n = n->child; n != NULL; n = n->next)
1.301 schwarze 2344: if ((n->tok == MDOC_An && n->child != NULL) || child_an(n))
1.294 schwarze 2345: return 1;
2346: return 0;
1.247 schwarze 2347: }
2348:
1.259 schwarze 2349: static void
1.247 schwarze 2350: post_sh_authors(POST_ARGS)
2351: {
2352:
2353: if ( ! child_an(mdoc->last))
1.365 schwarze 2354: mandoc_msg(MANDOCERR_AN_MISSING,
1.247 schwarze 2355: mdoc->last->line, mdoc->last->pos, NULL);
1.1 kristaps 2356: }
2357:
1.343 schwarze 2358: /*
2359: * Return an upper bound for the string distance (allowing
2360: * transpositions). Not a full Levenshtein implementation
2361: * because Levenshtein is quadratic in the string length
2362: * and this function is called for every standard name,
2363: * so the check for each custom name would be cubic.
2364: * The following crude heuristics is linear, resulting
2365: * in quadratic behaviour for checking one custom name,
2366: * which does not cause measurable slowdown.
2367: */
2368: static int
2369: similar(const char *s1, const char *s2)
2370: {
2371: const int maxdist = 3;
2372: int dist = 0;
2373:
2374: while (s1[0] != '\0' && s2[0] != '\0') {
2375: if (s1[0] == s2[0]) {
2376: s1++;
2377: s2++;
2378: continue;
2379: }
2380: if (++dist > maxdist)
2381: return INT_MAX;
2382: if (s1[1] == s2[1]) { /* replacement */
2383: s1++;
2384: s2++;
2385: } else if (s1[0] == s2[1] && s1[1] == s2[0]) {
2386: s1 += 2; /* transposition */
2387: s2 += 2;
2388: } else if (s1[0] == s2[1]) /* insertion */
2389: s2++;
2390: else if (s1[1] == s2[0]) /* deletion */
2391: s1++;
2392: else
2393: return INT_MAX;
2394: }
2395: dist += strlen(s1) + strlen(s2);
2396: return dist > maxdist ? INT_MAX : dist;
2397: }
2398:
1.259 schwarze 2399: static void
1.1 kristaps 2400: post_sh_head(POST_ARGS)
2401: {
1.305 schwarze 2402: struct roff_node *nch;
2403: const char *goodsec;
1.343 schwarze 2404: const char *const *testsec;
2405: int dist, mindist;
1.305 schwarze 2406: enum roff_sec sec;
1.1 kristaps 2407:
2408: /*
2409: * Process a new section. Sections are either "named" or
1.125 kristaps 2410: * "custom". Custom sections are user-defined, while named ones
2411: * follow a conventional order and may only appear in certain
2412: * manual sections.
1.1 kristaps 2413: */
2414:
1.298 schwarze 2415: sec = mdoc->last->sec;
1.1 kristaps 2416:
1.125 kristaps 2417: /* The NAME should be first. */
1.1 kristaps 2418:
1.302 schwarze 2419: if (sec != SEC_NAME && mdoc->lastnamed == SEC_NONE)
1.365 schwarze 2420: mandoc_msg(MANDOCERR_NAMESEC_FIRST,
1.302 schwarze 2421: mdoc->last->line, mdoc->last->pos, "Sh %s",
1.305 schwarze 2422: sec != SEC_CUSTOM ? secnames[sec] :
2423: (nch = mdoc->last->child) == NULL ? "" :
2424: nch->type == ROFFT_TEXT ? nch->string :
1.320 schwarze 2425: roff_name[nch->tok]);
1.125 kristaps 2426:
2427: /* The SYNOPSIS gets special attention in other areas. */
2428:
1.298 schwarze 2429: if (sec == SEC_SYNOPSIS) {
1.198 schwarze 2430: roff_setreg(mdoc->roff, "nS", 1, '=');
1.125 kristaps 2431: mdoc->flags |= MDOC_SYNOPSIS;
1.194 schwarze 2432: } else {
1.198 schwarze 2433: roff_setreg(mdoc->roff, "nS", 0, '=');
1.125 kristaps 2434: mdoc->flags &= ~MDOC_SYNOPSIS;
1.194 schwarze 2435: }
1.380 schwarze 2436: if (sec == SEC_DESCRIPTION)
2437: fn_prio = TAG_STRONG;
1.125 kristaps 2438:
2439: /* Mark our last section. */
2440:
2441: mdoc->lastsec = sec;
1.181 schwarze 2442:
1.125 kristaps 2443: /* We don't care about custom sections after this. */
1.72 kristaps 2444:
1.343 schwarze 2445: if (sec == SEC_CUSTOM) {
2446: if ((nch = mdoc->last->child) == NULL ||
2447: nch->type != ROFFT_TEXT || nch->next != NULL)
2448: return;
2449: goodsec = NULL;
2450: mindist = INT_MAX;
2451: for (testsec = secnames + 1; *testsec != NULL; testsec++) {
2452: dist = similar(nch->string, *testsec);
2453: if (dist < mindist) {
2454: goodsec = *testsec;
2455: mindist = dist;
2456: }
2457: }
2458: if (goodsec != NULL)
1.365 schwarze 2459: mandoc_msg(MANDOCERR_SEC_TYPO, nch->line, nch->pos,
2460: "Sh %s instead of %s", nch->string, goodsec);
1.259 schwarze 2461: return;
1.343 schwarze 2462: }
1.72 kristaps 2463:
1.125 kristaps 2464: /*
2465: * Check whether our non-custom section is being repeated or is
2466: * out of order.
2467: */
2468:
1.1 kristaps 2469: if (sec == mdoc->lastnamed)
1.365 schwarze 2470: mandoc_msg(MANDOCERR_SEC_REP, mdoc->last->line,
2471: mdoc->last->pos, "Sh %s", secnames[sec]);
1.72 kristaps 2472:
1.1 kristaps 2473: if (sec < mdoc->lastnamed)
1.365 schwarze 2474: mandoc_msg(MANDOCERR_SEC_ORDER, mdoc->last->line,
2475: mdoc->last->pos, "Sh %s", secnames[sec]);
1.125 kristaps 2476:
2477: /* Mark the last named section. */
2478:
2479: mdoc->lastnamed = sec;
2480:
2481: /* Check particular section/manual conventions. */
1.1 kristaps 2482:
1.298 schwarze 2483: if (mdoc->meta.msec == NULL)
1.259 schwarze 2484: return;
1.1 kristaps 2485:
1.217 schwarze 2486: goodsec = NULL;
1.1 kristaps 2487: switch (sec) {
1.210 schwarze 2488: case SEC_ERRORS:
1.207 schwarze 2489: if (*mdoc->meta.msec == '4')
2490: break;
1.217 schwarze 2491: goodsec = "2, 3, 4, 9";
1.207 schwarze 2492: /* FALLTHROUGH */
1.210 schwarze 2493: case SEC_RETURN_VALUES:
2494: case SEC_LIBRARY:
1.78 kristaps 2495: if (*mdoc->meta.msec == '2')
2496: break;
2497: if (*mdoc->meta.msec == '3')
2498: break;
1.217 schwarze 2499: if (NULL == goodsec)
2500: goodsec = "2, 3, 9";
1.208 schwarze 2501: /* FALLTHROUGH */
1.210 schwarze 2502: case SEC_CONTEXT:
1.78 kristaps 2503: if (*mdoc->meta.msec == '9')
1.1 kristaps 2504: break;
1.217 schwarze 2505: if (NULL == goodsec)
2506: goodsec = "9";
1.365 schwarze 2507: mandoc_msg(MANDOCERR_SEC_MSEC,
1.217 schwarze 2508: mdoc->last->line, mdoc->last->pos,
1.298 schwarze 2509: "Sh %s for %s only", secnames[sec], goodsec);
1.125 kristaps 2510: break;
1.1 kristaps 2511: default:
2512: break;
2513: }
1.140 kristaps 2514: }
2515:
1.259 schwarze 2516: static void
1.310 schwarze 2517: post_xr(POST_ARGS)
2518: {
2519: struct roff_node *n, *nch;
2520:
2521: n = mdoc->last;
2522: nch = n->child;
2523: if (nch->next == NULL) {
1.365 schwarze 2524: mandoc_msg(MANDOCERR_XR_NOSEC,
1.310 schwarze 2525: n->line, n->pos, "Xr %s", nch->string);
1.346 schwarze 2526: } else {
1.333 schwarze 2527: assert(nch->next == n->last);
1.347 schwarze 2528: if(mandoc_xr_add(nch->next->string, nch->string,
2529: nch->line, nch->pos))
1.365 schwarze 2530: mandoc_msg(MANDOCERR_XR_SELF,
1.347 schwarze 2531: nch->line, nch->pos, "Xr %s %s",
2532: nch->string, nch->next->string);
1.346 schwarze 2533: }
1.348 schwarze 2534: post_delim_nb(mdoc);
1.310 schwarze 2535: }
2536:
2537: static void
1.381 ! schwarze 2538: post_section(POST_ARGS)
1.140 kristaps 2539: {
1.381 ! schwarze 2540: struct roff_node *n, *nch;
! 2541: char *cp, *tag;
1.140 kristaps 2542:
1.381 ! schwarze 2543: n = mdoc->last;
! 2544: switch (n->type) {
1.321 schwarze 2545: case ROFFT_BLOCK:
2546: post_prevpar(mdoc);
2547: return;
1.284 schwarze 2548: case ROFFT_HEAD:
1.381 ! schwarze 2549: tag = NULL;
! 2550: deroff(&tag, n);
! 2551: if (tag != NULL) {
! 2552: for (cp = tag; *cp != '\0'; cp++)
! 2553: if (*cp == ' ')
! 2554: *cp = '_';
! 2555: if ((nch = n->child) != NULL &&
! 2556: nch->type == ROFFT_TEXT &&
! 2557: strcmp(nch->string, tag) == 0)
! 2558: tag_put(NULL, TAG_WEAK, n);
! 2559: else
! 2560: tag_put(tag, TAG_FALLBACK, n);
! 2561: free(tag);
! 2562: }
1.348 schwarze 2563: post_delim(mdoc);
1.273 schwarze 2564: post_hyph(mdoc);
2565: return;
1.284 schwarze 2566: case ROFFT_BODY:
1.273 schwarze 2567: break;
2568: default:
1.259 schwarze 2569: return;
1.273 schwarze 2570: }
1.381 ! schwarze 2571: if ((nch = n->child) != NULL &&
! 2572: (nch->tok == MDOC_Pp || nch->tok == ROFF_br ||
! 2573: nch->tok == ROFF_sp)) {
! 2574: mandoc_msg(MANDOCERR_PAR_SKIP, nch->line, nch->pos,
! 2575: "%s after %s", roff_name[nch->tok],
! 2576: roff_name[n->tok]);
! 2577: roff_node_delete(mdoc, nch);
! 2578: }
! 2579: if ((nch = n->last) != NULL &&
! 2580: (nch->tok == MDOC_Pp || nch->tok == ROFF_br)) {
! 2581: mandoc_msg(MANDOCERR_PAR_SKIP, nch->line, nch->pos,
! 2582: "%s at the end of %s", roff_name[nch->tok],
! 2583: roff_name[n->tok]);
! 2584: roff_node_delete(mdoc, nch);
! 2585: }
1.117 kristaps 2586: }
2587:
1.259 schwarze 2588: static void
1.299 schwarze 2589: post_prevpar(POST_ARGS)
1.117 kristaps 2590: {
1.378 schwarze 2591: struct roff_node *n, *np;
1.117 kristaps 2592:
1.299 schwarze 2593: n = mdoc->last;
1.378 schwarze 2594: if (n->type != ROFFT_ELEM && n->type != ROFFT_BLOCK)
1.259 schwarze 2595: return;
1.378 schwarze 2596: if ((np = roff_node_prev(n)) == NULL)
1.259 schwarze 2597: return;
1.118 kristaps 2598:
1.210 schwarze 2599: /*
1.363 schwarze 2600: * Don't allow `Pp' prior to a paragraph-type
2601: * block: `Pp' or non-compact `Bd' or `Bl'.
1.124 kristaps 2602: */
1.118 kristaps 2603:
1.378 schwarze 2604: if (np->tok != MDOC_Pp && np->tok != ROFF_br)
1.259 schwarze 2605: return;
1.299 schwarze 2606: if (n->tok == MDOC_Bl && n->norm->Bl.comp)
1.259 schwarze 2607: return;
1.299 schwarze 2608: if (n->tok == MDOC_Bd && n->norm->Bd.comp)
1.259 schwarze 2609: return;
1.299 schwarze 2610: if (n->tok == MDOC_It && n->parent->norm->Bl.comp)
1.259 schwarze 2611: return;
1.188 schwarze 2612:
1.378 schwarze 2613: mandoc_msg(MANDOCERR_PAR_SKIP, np->line, np->pos,
2614: "%s before %s", roff_name[np->tok], roff_name[n->tok]);
2615: roff_node_delete(mdoc, np);
1.188 schwarze 2616: }
2617:
1.259 schwarze 2618: static void
1.188 schwarze 2619: post_par(POST_ARGS)
2620: {
1.285 schwarze 2621: struct roff_node *np;
1.188 schwarze 2622:
1.380 schwarze 2623: fn_prio = TAG_STRONG;
1.364 schwarze 2624: post_prevpar(mdoc);
2625:
1.269 schwarze 2626: np = mdoc->last;
1.364 schwarze 2627: if (np->child != NULL)
1.365 schwarze 2628: mandoc_msg(MANDOCERR_ARG_SKIP, np->line, np->pos,
2629: "%s %s", roff_name[np->tok], np->child->string);
1.128 kristaps 2630: }
2631:
1.259 schwarze 2632: static void
1.132 kristaps 2633: post_dd(POST_ARGS)
2634: {
1.285 schwarze 2635: struct roff_node *n;
1.132 kristaps 2636:
1.298 schwarze 2637: n = mdoc->last;
1.313 schwarze 2638: n->flags |= NODE_NOPRT;
2639:
1.298 schwarze 2640: if (mdoc->meta.date != NULL) {
1.365 schwarze 2641: mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Dd");
1.158 schwarze 2642: free(mdoc->meta.date);
1.298 schwarze 2643: } else if (mdoc->flags & MDOC_PBODY)
1.365 schwarze 2644: mandoc_msg(MANDOCERR_PROLOG_LATE, n->line, n->pos, "Dd");
1.298 schwarze 2645: else if (mdoc->meta.title != NULL)
1.365 schwarze 2646: mandoc_msg(MANDOCERR_PROLOG_ORDER,
1.298 schwarze 2647: n->line, n->pos, "Dd after Dt");
2648: else if (mdoc->meta.os != NULL)
1.365 schwarze 2649: mandoc_msg(MANDOCERR_PROLOG_ORDER,
1.298 schwarze 2650: n->line, n->pos, "Dd after Os");
1.158 schwarze 2651:
1.376 schwarze 2652: if (mdoc->quick && n != NULL)
2653: mdoc->meta.date = mandoc_strdup("");
2654: else
2655: mdoc->meta.date = mandoc_normdate(n->child, n);
1.132 kristaps 2656: }
2657:
1.259 schwarze 2658: static void
1.132 kristaps 2659: post_dt(POST_ARGS)
2660: {
1.285 schwarze 2661: struct roff_node *nn, *n;
1.132 kristaps 2662: const char *cp;
2663: char *p;
2664:
2665: n = mdoc->last;
1.313 schwarze 2666: n->flags |= NODE_NOPRT;
2667:
1.298 schwarze 2668: if (mdoc->flags & MDOC_PBODY) {
1.365 schwarze 2669: mandoc_msg(MANDOCERR_DT_LATE, n->line, n->pos, "Dt");
1.313 schwarze 2670: return;
1.298 schwarze 2671: }
2672:
2673: if (mdoc->meta.title != NULL)
1.365 schwarze 2674: mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Dt");
1.298 schwarze 2675: else if (mdoc->meta.os != NULL)
1.365 schwarze 2676: mandoc_msg(MANDOCERR_PROLOG_ORDER,
1.298 schwarze 2677: n->line, n->pos, "Dt after Os");
1.132 kristaps 2678:
1.243 schwarze 2679: free(mdoc->meta.title);
2680: free(mdoc->meta.msec);
2681: free(mdoc->meta.vol);
2682: free(mdoc->meta.arch);
2683:
2684: mdoc->meta.title = NULL;
2685: mdoc->meta.msec = NULL;
2686: mdoc->meta.vol = NULL;
2687: mdoc->meta.arch = NULL;
1.132 kristaps 2688:
1.280 schwarze 2689: /* Mandatory first argument: title. */
1.132 kristaps 2690:
1.280 schwarze 2691: nn = n->child;
2692: if (nn == NULL || *nn->string == '\0') {
1.365 schwarze 2693: mandoc_msg(MANDOCERR_DT_NOTITLE, n->line, n->pos, "Dt");
1.243 schwarze 2694: mdoc->meta.title = mandoc_strdup("UNTITLED");
1.280 schwarze 2695: } else {
2696: mdoc->meta.title = mandoc_strdup(nn->string);
2697:
2698: /* Check that all characters are uppercase. */
2699:
2700: for (p = nn->string; *p != '\0'; p++)
2701: if (islower((unsigned char)*p)) {
1.365 schwarze 2702: mandoc_msg(MANDOCERR_TITLE_CASE, nn->line,
2703: nn->pos + (int)(p - nn->string),
1.280 schwarze 2704: "Dt %s", nn->string);
2705: break;
2706: }
1.132 kristaps 2707: }
2708:
1.310 schwarze 2709: /* Mandatory second argument: section. */
1.132 kristaps 2710:
1.280 schwarze 2711: if (nn != NULL)
2712: nn = nn->next;
1.132 kristaps 2713:
1.280 schwarze 2714: if (nn == NULL) {
1.365 schwarze 2715: mandoc_msg(MANDOCERR_MSEC_MISSING, n->line, n->pos,
1.243 schwarze 2716: "Dt %s", mdoc->meta.title);
1.132 kristaps 2717: mdoc->meta.vol = mandoc_strdup("LOCAL");
1.313 schwarze 2718: return; /* msec and arch remain NULL. */
1.132 kristaps 2719: }
2720:
1.280 schwarze 2721: mdoc->meta.msec = mandoc_strdup(nn->string);
2722:
2723: /* Infer volume title from section number. */
1.132 kristaps 2724:
1.180 schwarze 2725: cp = mandoc_a2msec(nn->string);
1.280 schwarze 2726: if (cp == NULL) {
1.365 schwarze 2727: mandoc_msg(MANDOCERR_MSEC_BAD,
1.239 schwarze 2728: nn->line, nn->pos, "Dt ... %s", nn->string);
1.132 kristaps 2729: mdoc->meta.vol = mandoc_strdup(nn->string);
1.280 schwarze 2730: } else
2731: mdoc->meta.vol = mandoc_strdup(cp);
2732:
2733: /* Optional third argument: architecture. */
2734:
2735: if ((nn = nn->next) == NULL)
1.313 schwarze 2736: return;
1.280 schwarze 2737:
2738: for (p = nn->string; *p != '\0'; p++)
2739: *p = tolower((unsigned char)*p);
2740: mdoc->meta.arch = mandoc_strdup(nn->string);
1.132 kristaps 2741:
1.280 schwarze 2742: /* Ignore fourth and later arguments. */
1.132 kristaps 2743:
1.280 schwarze 2744: if ((nn = nn->next) != NULL)
1.365 schwarze 2745: mandoc_msg(MANDOCERR_ARG_EXCESS,
1.280 schwarze 2746: nn->line, nn->pos, "Dt ... %s", nn->string);
1.154 kristaps 2747: }
2748:
1.259 schwarze 2749: static void
1.154 kristaps 2750: post_bx(POST_ARGS)
2751: {
1.316 schwarze 2752: struct roff_node *n, *nch;
1.329 schwarze 2753: const char *macro;
1.333 schwarze 2754:
1.348 schwarze 2755: post_delim_nb(mdoc);
1.316 schwarze 2756:
2757: n = mdoc->last;
2758: nch = n->child;
2759:
2760: if (nch != NULL) {
1.329 schwarze 2761: macro = !strcmp(nch->string, "Open") ? "Ox" :
2762: !strcmp(nch->string, "Net") ? "Nx" :
2763: !strcmp(nch->string, "Free") ? "Fx" :
2764: !strcmp(nch->string, "DragonFly") ? "Dx" : NULL;
2765: if (macro != NULL)
1.365 schwarze 2766: mandoc_msg(MANDOCERR_BX,
2767: n->line, n->pos, "%s", macro);
1.316 schwarze 2768: mdoc->last = nch;
2769: nch = nch->next;
2770: mdoc->next = ROFF_NEXT_SIBLING;
2771: roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2772: mdoc->last->flags |= NODE_NOSRC;
2773: mdoc->next = ROFF_NEXT_SIBLING;
2774: } else
2775: mdoc->next = ROFF_NEXT_CHILD;
2776: roff_word_alloc(mdoc, n->line, n->pos, "BSD");
2777: mdoc->last->flags |= NODE_NOSRC;
2778:
2779: if (nch == NULL) {
2780: mdoc->last = n;
2781: return;
2782: }
2783:
2784: roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2785: mdoc->last->flags |= NODE_NOSRC;
2786: mdoc->next = ROFF_NEXT_SIBLING;
2787: roff_word_alloc(mdoc, n->line, n->pos, "-");
2788: mdoc->last->flags |= NODE_NOSRC;
2789: roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2790: mdoc->last->flags |= NODE_NOSRC;
2791: mdoc->last = n;
1.154 kristaps 2792:
1.210 schwarze 2793: /*
1.154 kristaps 2794: * Make `Bx's second argument always start with an uppercase
2795: * letter. Groff checks if it's an "accepted" term, but we just
2796: * uppercase blindly.
2797: */
2798:
1.316 schwarze 2799: *nch->string = (char)toupper((unsigned char)*nch->string);
1.132 kristaps 2800: }
2801:
1.259 schwarze 2802: static void
1.132 kristaps 2803: post_os(POST_ARGS)
2804: {
2805: #ifndef OSNAME
2806: struct utsname utsname;
1.201 schwarze 2807: static char *defbuf;
1.132 kristaps 2808: #endif
1.285 schwarze 2809: struct roff_node *n;
1.132 kristaps 2810:
2811: n = mdoc->last;
1.313 schwarze 2812: n->flags |= NODE_NOPRT;
2813:
1.298 schwarze 2814: if (mdoc->meta.os != NULL)
1.365 schwarze 2815: mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Os");
1.298 schwarze 2816: else if (mdoc->flags & MDOC_PBODY)
1.365 schwarze 2817: mandoc_msg(MANDOCERR_PROLOG_LATE, n->line, n->pos, "Os");
1.348 schwarze 2818:
2819: post_delim(mdoc);
1.132 kristaps 2820:
2821: /*
1.184 schwarze 2822: * Set the operating system by way of the `Os' macro.
2823: * The order of precedence is:
2824: * 1. the argument of the `Os' macro, unless empty
2825: * 2. the -Ios=foo command line argument, if provided
2826: * 3. -DOSNAME="\"foo\"", if provided during compilation
2827: * 4. "sysname release" from uname(3)
1.210 schwarze 2828: */
1.132 kristaps 2829:
1.184 schwarze 2830: free(mdoc->meta.os);
1.205 schwarze 2831: mdoc->meta.os = NULL;
1.291 schwarze 2832: deroff(&mdoc->meta.os, n);
1.205 schwarze 2833: if (mdoc->meta.os)
1.331 schwarze 2834: goto out;
1.201 schwarze 2835:
1.340 schwarze 2836: if (mdoc->os_s != NULL) {
2837: mdoc->meta.os = mandoc_strdup(mdoc->os_s);
1.331 schwarze 2838: goto out;
1.201 schwarze 2839: }
2840:
1.132 kristaps 2841: #ifdef OSNAME
1.201 schwarze 2842: mdoc->meta.os = mandoc_strdup(OSNAME);
1.132 kristaps 2843: #else /*!OSNAME */
1.297 schwarze 2844: if (defbuf == NULL) {
2845: if (uname(&utsname) == -1) {
1.365 schwarze 2846: mandoc_msg(MANDOCERR_OS_UNAME, n->line, n->pos, "Os");
1.210 schwarze 2847: defbuf = mandoc_strdup("UNKNOWN");
2848: } else
1.204 schwarze 2849: mandoc_asprintf(&defbuf, "%s %s",
2850: utsname.sysname, utsname.release);
1.201 schwarze 2851: }
2852: mdoc->meta.os = mandoc_strdup(defbuf);
1.132 kristaps 2853: #endif /*!OSNAME*/
1.331 schwarze 2854:
1.340 schwarze 2855: out:
2856: if (mdoc->meta.os_e == MANDOC_OS_OTHER) {
2857: if (strstr(mdoc->meta.os, "OpenBSD") != NULL)
2858: mdoc->meta.os_e = MANDOC_OS_OPENBSD;
2859: else if (strstr(mdoc->meta.os, "NetBSD") != NULL)
2860: mdoc->meta.os_e = MANDOC_OS_NETBSD;
2861: }
1.337 schwarze 2862:
2863: /*
2864: * This is the earliest point where we can check
2865: * Mdocdate conventions because we don't know
2866: * the operating system earlier.
2867: */
1.341 schwarze 2868:
2869: if (n->child != NULL)
1.365 schwarze 2870: mandoc_msg(MANDOCERR_OS_ARG, n->child->line, n->child->pos,
1.341 schwarze 2871: "Os %s (%s)", n->child->string,
2872: mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2873: "OpenBSD" : "NetBSD");
1.337 schwarze 2874:
2875: while (n->tok != MDOC_Dd)
2876: if ((n = n->prev) == NULL)
2877: return;
2878: if ((n = n->child) == NULL)
2879: return;
1.338 schwarze 2880: if (strncmp(n->string, "$" "Mdocdate", 9)) {
1.340 schwarze 2881: if (mdoc->meta.os_e == MANDOC_OS_OPENBSD)
1.365 schwarze 2882: mandoc_msg(MANDOCERR_MDOCDATE_MISSING, n->line,
2883: n->pos, "Dd %s (OpenBSD)", n->string);
1.337 schwarze 2884: } else {
1.340 schwarze 2885: if (mdoc->meta.os_e == MANDOC_OS_NETBSD)
1.365 schwarze 2886: mandoc_msg(MANDOCERR_MDOCDATE, n->line,
2887: n->pos, "Dd %s (NetBSD)", n->string);
1.337 schwarze 2888: }
1.160 kristaps 2889: }
2890:
1.298 schwarze 2891: enum roff_sec
2892: mdoc_a2sec(const char *p)
1.160 kristaps 2893: {
2894: int i;
2895:
1.210 schwarze 2896: for (i = 0; i < (int)SEC__MAX; i++)
1.160 kristaps 2897: if (secnames[i] && 0 == strcmp(p, secnames[i]))
1.294 schwarze 2898: return (enum roff_sec)i;
1.160 kristaps 2899:
1.294 schwarze 2900: return SEC_CUSTOM;
1.132 kristaps 2901: }
2902:
1.161 kristaps 2903: static size_t
1.320 schwarze 2904: macro2len(enum roff_tok macro)
1.161 kristaps 2905: {
2906:
2907: switch (macro) {
1.210 schwarze 2908: case MDOC_Ad:
1.294 schwarze 2909: return 12;
1.210 schwarze 2910: case MDOC_Ao:
1.294 schwarze 2911: return 12;
1.210 schwarze 2912: case MDOC_An:
1.294 schwarze 2913: return 12;
1.210 schwarze 2914: case MDOC_Aq:
1.294 schwarze 2915: return 12;
1.210 schwarze 2916: case MDOC_Ar:
1.294 schwarze 2917: return 12;
1.210 schwarze 2918: case MDOC_Bo:
1.294 schwarze 2919: return 12;
1.210 schwarze 2920: case MDOC_Bq:
1.294 schwarze 2921: return 12;
1.210 schwarze 2922: case MDOC_Cd:
1.294 schwarze 2923: return 12;
1.210 schwarze 2924: case MDOC_Cm:
1.294 schwarze 2925: return 10;
1.210 schwarze 2926: case MDOC_Do:
1.294 schwarze 2927: return 10;
1.210 schwarze 2928: case MDOC_Dq:
1.294 schwarze 2929: return 12;
1.210 schwarze 2930: case MDOC_Dv:
1.294 schwarze 2931: return 12;
1.210 schwarze 2932: case MDOC_Eo:
1.294 schwarze 2933: return 12;
1.210 schwarze 2934: case MDOC_Em:
1.294 schwarze 2935: return 10;
1.210 schwarze 2936: case MDOC_Er:
1.294 schwarze 2937: return 17;
1.210 schwarze 2938: case MDOC_Ev:
1.294 schwarze 2939: return 15;
1.210 schwarze 2940: case MDOC_Fa:
1.294 schwarze 2941: return 12;
1.210 schwarze 2942: case MDOC_Fl:
1.294 schwarze 2943: return 10;
1.210 schwarze 2944: case MDOC_Fo:
1.294 schwarze 2945: return 16;
1.210 schwarze 2946: case MDOC_Fn:
1.294 schwarze 2947: return 16;
1.210 schwarze 2948: case MDOC_Ic:
1.294 schwarze 2949: return 10;
1.210 schwarze 2950: case MDOC_Li:
1.294 schwarze 2951: return 16;
1.210 schwarze 2952: case MDOC_Ms:
1.294 schwarze 2953: return 6;
1.210 schwarze 2954: case MDOC_Nm:
1.294 schwarze 2955: return 10;
1.210 schwarze 2956: case MDOC_No:
1.294 schwarze 2957: return 12;
1.210 schwarze 2958: case MDOC_Oo:
1.294 schwarze 2959: return 10;
1.210 schwarze 2960: case MDOC_Op:
1.294 schwarze 2961: return 14;
1.210 schwarze 2962: case MDOC_Pa:
1.294 schwarze 2963: return 32;
1.210 schwarze 2964: case MDOC_Pf:
1.294 schwarze 2965: return 12;
1.210 schwarze 2966: case MDOC_Po:
1.294 schwarze 2967: return 12;
1.210 schwarze 2968: case MDOC_Pq:
1.294 schwarze 2969: return 12;
1.210 schwarze 2970: case MDOC_Ql:
1.294 schwarze 2971: return 16;
1.210 schwarze 2972: case MDOC_Qo:
1.294 schwarze 2973: return 12;
1.210 schwarze 2974: case MDOC_So:
1.294 schwarze 2975: return 12;
1.210 schwarze 2976: case MDOC_Sq:
1.294 schwarze 2977: return 12;
1.210 schwarze 2978: case MDOC_Sy:
1.294 schwarze 2979: return 6;
1.210 schwarze 2980: case MDOC_Sx:
1.294 schwarze 2981: return 16;
1.210 schwarze 2982: case MDOC_Tn:
1.294 schwarze 2983: return 10;
1.210 schwarze 2984: case MDOC_Va:
1.294 schwarze 2985: return 12;
1.210 schwarze 2986: case MDOC_Vt:
1.294 schwarze 2987: return 12;
1.210 schwarze 2988: case MDOC_Xr:
1.294 schwarze 2989: return 10;
1.161 kristaps 2990: default:
2991: break;
2992: };
1.294 schwarze 2993: return 0;
1.161 kristaps 2994: }
CVSweb