Annotation of mandoc/validate.c, Revision 1.61
1.61 ! kristaps 1: /* $Id: validate.c,v 1.60 2009/02/25 12:32:50 kristaps Exp $ */
1.1 kristaps 2: /*
3: * Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se>
4: *
5: * Permission to use, copy, modify, and distribute this software for any
6: * purpose with or without fee is hereby granted, provided that the
7: * above copyright notice and this permission notice appear in all
8: * copies.
9: *
10: * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL
11: * WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED
12: * WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE
13: * AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL
14: * DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR
15: * PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
16: * TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
17: * PERFORMANCE OF THIS SOFTWARE.
18: */
19: #include <assert.h>
1.56 kristaps 20: #include <ctype.h>
1.8 kristaps 21: #include <stdlib.h>
1.1 kristaps 22:
23: #include "private.h"
24:
1.44 kristaps 25: /*
26: * Pre- and post-validate macros as they're parsed. Pre-validation
27: * occurs when the macro has been detected and its arguments parsed.
28: * Post-validation occurs when all child macros have also been parsed.
29: * In the ELEMENT case, this is simply the parameters of the macro; in
30: * the BLOCK case, this is the HEAD, BODY, TAIL and so on.
31: */
32:
1.55 kristaps 33: #define PRE_ARGS struct mdoc *mdoc, const struct mdoc_node *n
34: #define POST_ARGS struct mdoc *mdoc
35:
36: typedef int (*v_pre)(PRE_ARGS);
37: typedef int (*v_post)(POST_ARGS);
1.14 kristaps 38:
1.36 kristaps 39: /* FIXME: some sections should only occur in specific msecs. */
40: /* FIXME: ignoring Pp. */
41: /* FIXME: math symbols. */
42:
1.14 kristaps 43: struct valids {
1.24 kristaps 44: v_pre *pre;
1.17 kristaps 45: v_post *post;
1.14 kristaps 46: };
1.1 kristaps 47:
1.37 kristaps 48: /* Utility checks. */
49:
1.55 kristaps 50: static int check_parent(PRE_ARGS, int, enum mdoc_type);
51: static int check_msec(PRE_ARGS, int, enum mdoc_msec *);
52: static int check_stdarg(PRE_ARGS);
53:
54: static int check_text(struct mdoc *,
55: size_t, size_t, const char *);
56:
1.51 kristaps 57: static int err_child_lt(struct mdoc *, const char *, int);
1.59 kristaps 58: static int warn_child_lt(struct mdoc *, const char *, int);
1.51 kristaps 59: static int err_child_gt(struct mdoc *, const char *, int);
60: static int warn_child_gt(struct mdoc *, const char *, int);
61: static int err_child_eq(struct mdoc *, const char *, int);
62: static int warn_child_eq(struct mdoc *, const char *, int);
63:
64: /* Utility auxiliaries. */
65:
66: static inline int count_child(struct mdoc *);
67: static inline int warn_count(struct mdoc *, const char *,
68: int, const char *, int);
69: static inline int err_count(struct mdoc *, const char *,
70: int, const char *, int);
1.11 kristaps 71:
1.37 kristaps 72: /* Specific pre-child-parse routines. */
73:
1.55 kristaps 74: static int pre_display(PRE_ARGS);
75: static int pre_sh(PRE_ARGS);
76: static int pre_ss(PRE_ARGS);
77: static int pre_bd(PRE_ARGS);
78: static int pre_bl(PRE_ARGS);
79: static int pre_it(PRE_ARGS);
80: static int pre_cd(PRE_ARGS);
81: static int pre_er(PRE_ARGS);
82: static int pre_ex(PRE_ARGS);
83: static int pre_rv(PRE_ARGS);
84: static int pre_an(PRE_ARGS);
85: static int pre_st(PRE_ARGS);
86: static int pre_prologue(PRE_ARGS);
87: static int pre_prologue(PRE_ARGS);
88: static int pre_prologue(PRE_ARGS);
1.24 kristaps 89:
1.37 kristaps 90: /* Specific post-child-parse routines. */
91:
1.55 kristaps 92: static int herr_ge1(POST_ARGS);
1.59 kristaps 93: static int hwarn_le1(POST_ARGS);
1.55 kristaps 94: static int herr_eq0(POST_ARGS);
95: static int eerr_eq0(POST_ARGS);
96: static int eerr_le1(POST_ARGS);
97: static int eerr_le2(POST_ARGS);
98: static int eerr_eq1(POST_ARGS);
99: static int eerr_ge1(POST_ARGS);
100: static int ewarn_eq0(POST_ARGS);
101: static int ewarn_eq1(POST_ARGS);
102: static int bwarn_ge1(POST_ARGS);
1.58 kristaps 103: static int hwarn_eq1(POST_ARGS);
1.55 kristaps 104: static int ewarn_ge1(POST_ARGS);
105: static int ebool(POST_ARGS);
106:
107: static int post_sh(POST_ARGS);
108: static int post_sh_body(POST_ARGS);
109: static int post_sh_head(POST_ARGS);
1.57 kristaps 110: static int post_fd(POST_ARGS);
1.55 kristaps 111: static int post_bl(POST_ARGS);
112: static int post_it(POST_ARGS);
113: static int post_ex(POST_ARGS);
114: static int post_an(POST_ARGS);
115: static int post_at(POST_ARGS);
116: static int post_xr(POST_ARGS);
117: static int post_nm(POST_ARGS);
118: static int post_bf(POST_ARGS);
119: static int post_root(POST_ARGS);
1.37 kristaps 120:
121: /* Collections of pre-child-parse routines. */
1.17 kristaps 122:
1.24 kristaps 123: static v_pre pres_prologue[] = { pre_prologue, NULL };
124: static v_pre pres_d1[] = { pre_display, NULL };
125: static v_pre pres_bd[] = { pre_display, pre_bd, NULL };
126: static v_pre pres_bl[] = { pre_bl, NULL };
1.25 kristaps 127: static v_pre pres_it[] = { pre_it, NULL };
1.33 kristaps 128: static v_pre pres_ss[] = { pre_ss, NULL };
129: static v_pre pres_sh[] = { pre_sh, NULL };
130: static v_pre pres_cd[] = { pre_cd, NULL };
131: static v_pre pres_er[] = { pre_er, NULL };
132: static v_pre pres_ex[] = { pre_ex, NULL };
1.36 kristaps 133: static v_pre pres_rv[] = { pre_rv, NULL };
1.35 kristaps 134: static v_pre pres_an[] = { pre_an, NULL };
1.36 kristaps 135: static v_pre pres_st[] = { pre_st, NULL };
1.24 kristaps 136:
1.37 kristaps 137: /* Collections of post-child-parse routines. */
138:
139: static v_post posts_bool[] = { eerr_eq1, ebool, NULL };
140: static v_post posts_bd[] = { herr_eq0, bwarn_ge1, NULL };
141: static v_post posts_text[] = { eerr_ge1, NULL };
142: static v_post posts_wtext[] = { ewarn_ge1, NULL };
143: static v_post posts_notext[] = { eerr_eq0, NULL };
1.43 kristaps 144: static v_post posts_wline[] = { bwarn_ge1, herr_eq0, NULL };
1.37 kristaps 145: static v_post posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
146: static v_post posts_bl[] = { herr_eq0, bwarn_ge1, post_bl, NULL };
1.25 kristaps 147: static v_post posts_it[] = { post_it, NULL };
1.39 kristaps 148: static v_post posts_in[] = { ewarn_eq1, NULL };
1.37 kristaps 149: static v_post posts_ss[] = { herr_ge1, NULL };
1.52 kristaps 150: static v_post posts_pf[] = { eerr_eq1, NULL };
1.37 kristaps 151: static v_post posts_pp[] = { ewarn_eq0, NULL };
152: static v_post posts_ex[] = { eerr_le1, post_ex, NULL };
1.35 kristaps 153: static v_post posts_an[] = { post_an, NULL };
1.37 kristaps 154: static v_post posts_at[] = { post_at, NULL };
155: static v_post posts_xr[] = { eerr_ge1, eerr_le2, post_xr, NULL };
156: static v_post posts_nm[] = { post_nm, NULL };
1.59 kristaps 157: static v_post posts_bf[] = { hwarn_le1, post_bf, NULL };
1.45 kristaps 158: static v_post posts_rs[] = { herr_eq0, bwarn_ge1, NULL };
1.58 kristaps 159: static v_post posts_fo[] = { hwarn_eq1, bwarn_ge1, NULL };
1.45 kristaps 160: static v_post posts_bk[] = { herr_eq0, bwarn_ge1, NULL };
1.57 kristaps 161: static v_post posts_fd[] = { ewarn_ge1, post_fd, NULL };
1.9 kristaps 162:
1.37 kristaps 163: /* Per-macro pre- and post-child-check routine collections. */
1.12 kristaps 164:
1.9 kristaps 165: const struct valids mdoc_valids[MDOC_MAX] = {
1.51 kristaps 166: { NULL, NULL }, /* \" */
167: { pres_prologue, posts_text }, /* Dd */
168: { pres_prologue, NULL }, /* Dt */
169: { pres_prologue, NULL }, /* Os */
170: { pres_sh, posts_sh }, /* Sh */
171: { pres_ss, posts_ss }, /* Ss */
172: { NULL, posts_pp }, /* Pp */
173: { pres_d1, posts_wline }, /* D1 */
174: { pres_d1, posts_wline }, /* Dl */
175: { pres_bd, posts_bd }, /* Bd */
176: { NULL, NULL }, /* Ed */
177: { pres_bl, posts_bl }, /* Bl */
178: { NULL, NULL }, /* El */
179: { pres_it, posts_it }, /* It */
180: { NULL, posts_text }, /* Ad */
181: { pres_an, posts_an }, /* An */
182: { NULL, NULL }, /* Ar */
183: { pres_cd, posts_text }, /* Cd */
184: { NULL, NULL }, /* Cm */
185: { NULL, posts_text }, /* Dv */
186: { pres_er, posts_text }, /* Er */
187: { NULL, posts_text }, /* Ev */
188: { pres_ex, posts_ex }, /* Ex */
189: { NULL, posts_text }, /* Fa */
1.57 kristaps 190: { NULL, posts_fd }, /* Fd */
1.51 kristaps 191: { NULL, NULL }, /* Fl */
192: { NULL, posts_text }, /* Fn */
193: { NULL, posts_wtext }, /* Ft */
194: { NULL, posts_text }, /* Ic */
195: { NULL, posts_in }, /* In */
196: { NULL, posts_text }, /* Li */
197: { NULL, posts_wtext }, /* Nd */
198: { NULL, posts_nm }, /* Nm */
199: { NULL, posts_wline }, /* Op */
200: { NULL, NULL }, /* Ot */
201: { NULL, NULL }, /* Pa */
202: { pres_rv, posts_notext }, /* Rv */
203: { pres_st, posts_notext }, /* St */
204: { NULL, posts_text }, /* Va */
205: { NULL, posts_text }, /* Vt */
206: { NULL, posts_xr }, /* Xr */
207: { NULL, posts_text }, /* %A */
208: { NULL, posts_text }, /* %B */
209: { NULL, posts_text }, /* %D */
210: { NULL, posts_text }, /* %I */
211: { NULL, posts_text }, /* %J */
212: { NULL, posts_text }, /* %N */
213: { NULL, posts_text }, /* %O */
214: { NULL, posts_text }, /* %P */
215: { NULL, posts_text }, /* %R */
216: { NULL, posts_text }, /* %T */
217: { NULL, posts_text }, /* %V */
218: { NULL, NULL }, /* Ac */
219: { NULL, NULL }, /* Ao */
220: { NULL, posts_wline }, /* Aq */
221: { NULL, posts_at }, /* At */
222: { NULL, NULL }, /* Bc */
223: { NULL, posts_bf }, /* Bf */
224: { NULL, NULL }, /* Bo */
225: { NULL, posts_wline }, /* Bq */
226: { NULL, NULL }, /* Bsx */
227: { NULL, NULL }, /* Bx */
228: { NULL, posts_bool }, /* Db */
229: { NULL, NULL }, /* Dc */
230: { NULL, NULL }, /* Do */
231: { NULL, posts_wline }, /* Dq */
232: { NULL, NULL }, /* Ec */
233: { NULL, NULL }, /* Ef */
234: { NULL, posts_text }, /* Em */
235: { NULL, NULL }, /* Eo */
236: { NULL, NULL }, /* Fx */
237: { NULL, posts_text }, /* Ms */
238: { NULL, posts_notext }, /* No */
239: { NULL, posts_notext }, /* Ns */
240: { NULL, NULL }, /* Nx */
241: { NULL, NULL }, /* Ox */
242: { NULL, NULL }, /* Pc */
1.52 kristaps 243: { NULL, posts_pf }, /* Pf */
1.51 kristaps 244: { NULL, NULL }, /* Po */
245: { NULL, posts_wline }, /* Pq */
246: { NULL, NULL }, /* Qc */
247: { NULL, posts_wline }, /* Ql */
248: { NULL, NULL }, /* Qo */
249: { NULL, posts_wline }, /* Qq */
250: { NULL, NULL }, /* Re */
251: { NULL, posts_rs }, /* Rs */
252: { NULL, NULL }, /* Sc */
253: { NULL, NULL }, /* So */
254: { NULL, posts_wline }, /* Sq */
255: { NULL, posts_bool }, /* Sm */
256: { NULL, posts_text }, /* Sx */
257: { NULL, posts_text }, /* Sy */
258: { NULL, posts_text }, /* Tn */
259: { NULL, NULL }, /* Ux */
260: { NULL, NULL }, /* Xc */
261: { NULL, NULL }, /* Xo */
262: { NULL, posts_fo }, /* Fo */
263: { NULL, NULL }, /* Fc */
264: { NULL, NULL }, /* Oo */
265: { NULL, NULL }, /* Oc */
266: { NULL, posts_bk }, /* Bk */
267: { NULL, NULL }, /* Ek */
268: { NULL, posts_notext }, /* Bt */
269: { NULL, NULL }, /* Hf */
270: { NULL, NULL }, /* Fr */
271: { NULL, posts_notext }, /* Ud */
1.9 kristaps 272: };
1.6 kristaps 273:
274:
1.57 kristaps 275: int
276: mdoc_valid_pre(struct mdoc *mdoc,
277: const struct mdoc_node *node)
278: {
279: v_pre *p;
280: struct mdoc_arg *argv;
281: size_t argc, i, j, line, pos;
282: const char *tp;
283:
284: if (MDOC_TEXT == node->type) {
285: tp = node->data.text.string;
286: line = node->line;
287: pos = node->pos;
288: return(check_text(mdoc, line, pos, tp));
289: }
290:
291: if (MDOC_BLOCK == node->type || MDOC_ELEM == node->type) {
292: argv = MDOC_BLOCK == node->type ?
293: node->data.block.argv :
294: node->data.elem.argv;
295: argc = MDOC_BLOCK == node->type ?
296: node->data.block.argc :
297: node->data.elem.argc;
298:
299: for (i = 0; i < argc; i++) {
300: if (0 == argv[i].sz)
301: continue;
302: for (j = 0; j < argv[i].sz; j++) {
303: tp = argv[i].value[j];
304: line = argv[i].line;
305: pos = argv[i].pos;
306: if ( ! check_text(mdoc, line, pos, tp))
307: return(0);
308: }
309: }
310: }
311:
312: if (NULL == mdoc_valids[node->tok].pre)
313: return(1);
314: for (p = mdoc_valids[node->tok].pre; *p; p++)
315: if ( ! (*p)(mdoc, node))
316: return(0);
317: return(1);
318: }
319:
320:
321: int
322: mdoc_valid_post(struct mdoc *mdoc)
323: {
324: v_post *p;
325:
326: /*
327: * This check occurs after the macro's children have been filled
328: * in: postfix validation. Since this happens when we're
329: * rewinding the scope tree, it's possible to have multiple
330: * invocations (as by design, for now), we set bit MDOC_VALID to
331: * indicate that we've validated.
332: */
333:
334: if (MDOC_VALID & mdoc->last->flags)
335: return(1);
336: mdoc->last->flags |= MDOC_VALID;
337:
338: if (MDOC_TEXT == mdoc->last->type)
339: return(1);
340: if (MDOC_ROOT == mdoc->last->type)
341: return(post_root(mdoc));
342:
343: if (NULL == mdoc_valids[mdoc->last->tok].post)
344: return(1);
345: for (p = mdoc_valids[mdoc->last->tok].post; *p; p++)
346: if ( ! (*p)(mdoc))
347: return(0);
348:
349: return(1);
350: }
351:
352:
353:
1.51 kristaps 354: static inline int
355: warn_count(struct mdoc *m, const char *k,
356: int want, const char *v, int has)
357: {
358:
1.55 kristaps 359: return(mdoc_warn(m, WARN_SYNTAX,
1.58 kristaps 360: "suggests %s %s %d (has %d)",
361: v, k, want, has));
1.51 kristaps 362: }
363:
364:
365: static inline int
366: err_count(struct mdoc *m, const char *k,
367: int want, const char *v, int has)
368: {
369:
1.58 kristaps 370: return(mdoc_err(m, "requires %s %s %d (has %d)",
371: v, k, want, has));
1.51 kristaps 372: }
373:
374:
375: static inline int
376: count_child(struct mdoc *mdoc)
1.36 kristaps 377: {
1.51 kristaps 378: int i;
1.36 kristaps 379: struct mdoc_node *n;
380:
381: for (i = 0, n = mdoc->last->child; n; n = n->next, i++)
382: /* Do nothing */ ;
1.53 kristaps 383:
1.36 kristaps 384: return(i);
385: }
386:
387:
1.53 kristaps 388: /*
389: * Build these up with macros because they're basically the same check
390: * for different inequalities. Yes, this could be done with functions,
391: * but this is reasonable for now.
392: */
1.36 kristaps 393:
1.53 kristaps 394: #define CHECK_CHILD_DEFN(lvl, name, ineq) \
395: static int \
396: lvl##_child_##name(struct mdoc *mdoc, const char *p, int sz) \
397: { \
398: int i; \
399: if ((i = count_child(mdoc)) ineq sz) \
400: return(1); \
401: return(lvl##_count(mdoc, #ineq, sz, p, i)); \
402: }
403:
404: #define CHECK_BODY_DEFN(name, lvl, func, num) \
405: static int \
1.55 kristaps 406: b##lvl##_##name(POST_ARGS) \
1.53 kristaps 407: { \
408: if (MDOC_BODY != mdoc->last->type) \
409: return(1); \
410: return(func(mdoc, "multiline parameters", (num))); \
411: }
412:
413: #define CHECK_ELEM_DEFN(name, lvl, func, num) \
414: static int \
1.55 kristaps 415: e##lvl##_##name(POST_ARGS) \
1.53 kristaps 416: { \
417: assert(MDOC_ELEM == mdoc->last->type); \
418: return(func(mdoc, "line parameters", (num))); \
419: }
420:
421: #define CHECK_HEAD_DEFN(name, lvl, func, num) \
422: static int \
1.55 kristaps 423: h##lvl##_##name(POST_ARGS) \
1.53 kristaps 424: { \
425: if (MDOC_HEAD != mdoc->last->type) \
426: return(1); \
1.58 kristaps 427: return(func(mdoc, "line parameters", (num))); \
1.36 kristaps 428: }
429:
430:
1.53 kristaps 431: CHECK_CHILD_DEFN(warn, gt, >) /* warn_child_gt() */
432: CHECK_CHILD_DEFN(err, gt, >) /* err_child_gt() */
433: CHECK_CHILD_DEFN(warn, eq, ==) /* warn_child_eq() */
434: CHECK_CHILD_DEFN(err, eq, ==) /* err_child_eq() */
435: CHECK_CHILD_DEFN(err, lt, <) /* err_child_lt() */
1.59 kristaps 436: CHECK_CHILD_DEFN(warn, lt, <) /* warn_child_lt() */
1.53 kristaps 437: CHECK_BODY_DEFN(ge1, warn, warn_child_gt, 0) /* bwarn_ge1() */
438: CHECK_ELEM_DEFN(eq1, warn, warn_child_eq, 1) /* ewarn_eq1() */
439: CHECK_ELEM_DEFN(eq0, warn, warn_child_eq, 0) /* ewarn_eq0() */
440: CHECK_ELEM_DEFN(ge1, warn, warn_child_gt, 0) /* ewarn_gt1() */
441: CHECK_ELEM_DEFN(eq1, err, err_child_eq, 1) /* eerr_eq1() */
442: CHECK_ELEM_DEFN(le2, err, err_child_lt, 3) /* eerr_le2() */
443: CHECK_ELEM_DEFN(le1, err, err_child_lt, 2) /* eerr_le1() */
444: CHECK_ELEM_DEFN(eq0, err, err_child_eq, 0) /* eerr_eq0() */
445: CHECK_ELEM_DEFN(ge1, err, err_child_gt, 0) /* eerr_ge1() */
446: CHECK_HEAD_DEFN(eq0, err, err_child_eq, 0) /* herr_eq0() */
1.59 kristaps 447: CHECK_HEAD_DEFN(le1, warn, warn_child_lt, 2) /* hwarn_le1() */
1.53 kristaps 448: CHECK_HEAD_DEFN(ge1, err, err_child_gt, 0) /* herr_ge1() */
1.58 kristaps 449: CHECK_HEAD_DEFN(eq1, warn, warn_child_eq, 1) /* hwarn_eq1() */
1.36 kristaps 450:
451:
452: static int
1.55 kristaps 453: check_stdarg(PRE_ARGS)
1.36 kristaps 454: {
455:
1.55 kristaps 456: if (MDOC_Std == n->data.elem.argv[0].arg &&
457: 1 == n->data.elem.argc)
1.36 kristaps 458: return(1);
1.51 kristaps 459:
1.55 kristaps 460: return(mdoc_nwarn(mdoc, n, WARN_COMPAT,
1.53 kristaps 461: "one argument suggested"));
1.36 kristaps 462: }
463:
464:
465: static int
1.55 kristaps 466: check_msec(PRE_ARGS, int sz, enum mdoc_msec *msecs)
1.33 kristaps 467: {
468: int i;
469:
470: for (i = 0; i < sz; i++)
471: if (msecs[i] == mdoc->meta.msec)
472: return(1);
1.55 kristaps 473: return(mdoc_nwarn(mdoc, n, WARN_COMPAT,
474: "invalid manual section"));
475: }
476:
477:
478: static int
479: check_text(struct mdoc *mdoc, size_t line, size_t pos, const char *p)
480: {
481: size_t c;
482:
483: for ( ; *p; p++) {
1.60 kristaps 484: if ( ! isprint((int)*p) && '\t' != *p)
1.56 kristaps 485: return(mdoc_perr(mdoc, line, pos,
486: "invalid characters"));
1.55 kristaps 487: if ('\\' != *p)
488: continue;
489: if ((c = mdoc_isescape(p))) {
490: p += (c - 1);
491: continue;
492: }
493: return(mdoc_perr(mdoc, line, pos,
1.56 kristaps 494: "invalid escape sequence"));
1.55 kristaps 495: }
496:
497: return(1);
1.14 kristaps 498: }
499:
500:
1.55 kristaps 501:
502:
1.14 kristaps 503: static int
1.55 kristaps 504: check_parent(PRE_ARGS, int tok, enum mdoc_type t)
1.54 kristaps 505: {
506:
507: assert(n->parent);
508: if ((MDOC_ROOT == t || tok == n->parent->tok) &&
509: (t == n->parent->type))
510: return(1);
511:
512: return(mdoc_nerr(mdoc, n, "require parent %s",
513: MDOC_ROOT == t ? "<root>" : mdoc_macronames[tok]));
514: }
515:
516:
517:
518: static int
1.55 kristaps 519: pre_display(PRE_ARGS)
1.23 kristaps 520: {
1.55 kristaps 521: struct mdoc_node *node;
1.23 kristaps 522:
1.53 kristaps 523: /* Display elements (`Bd', `D1'...) cannot be nested. */
524:
1.55 kristaps 525: if (MDOC_BLOCK != n->type)
1.24 kristaps 526: return(1);
527:
1.38 kristaps 528: /* LINTED */
1.55 kristaps 529: for (node = mdoc->last->parent; node; node = node->parent)
530: if (MDOC_BLOCK == node->type)
531: if (MDOC_Bd == node->tok)
1.23 kristaps 532: break;
1.55 kristaps 533: if (NULL == node)
1.23 kristaps 534: return(1);
1.53 kristaps 535:
1.55 kristaps 536: return(mdoc_nerr(mdoc, n, "displays may not be nested"));
1.23 kristaps 537: }
538:
539:
540: static int
1.55 kristaps 541: pre_bl(PRE_ARGS)
1.24 kristaps 542: {
1.61 ! kristaps 543: int type, i, width, offset;
1.24 kristaps 544: struct mdoc_arg *argv;
1.53 kristaps 545: size_t argc;
1.24 kristaps 546:
1.55 kristaps 547: if (MDOC_BLOCK != n->type)
1.24 kristaps 548: return(1);
549:
1.55 kristaps 550: argc = n->data.block.argc;
1.24 kristaps 551:
1.53 kristaps 552: /* Make sure that only one type of list is specified. */
553:
1.61 ! kristaps 554: type = offset = width = -1;
! 555:
1.38 kristaps 556: /* LINTED */
1.61 ! kristaps 557: for (i = 0; i < (int)argc; i++) {
1.55 kristaps 558: argv = &n->data.block.argv[i];
1.53 kristaps 559:
1.24 kristaps 560: switch (argv->arg) {
561: case (MDOC_Bullet):
562: /* FALLTHROUGH */
563: case (MDOC_Dash):
564: /* FALLTHROUGH */
565: case (MDOC_Enum):
566: /* FALLTHROUGH */
567: case (MDOC_Hyphen):
568: /* FALLTHROUGH */
569: case (MDOC_Item):
570: /* FALLTHROUGH */
571: case (MDOC_Tag):
572: /* FALLTHROUGH */
573: case (MDOC_Diag):
574: /* FALLTHROUGH */
575: case (MDOC_Hang):
576: /* FALLTHROUGH */
577: case (MDOC_Ohang):
578: /* FALLTHROUGH */
579: case (MDOC_Inset):
1.26 kristaps 580: /* FALLTHROUGH */
581: case (MDOC_Column):
1.61 ! kristaps 582: if (-1 == type) {
! 583: type = argv->arg;
1.53 kristaps 584: break;
1.61 ! kristaps 585: }
1.53 kristaps 586: return(mdoc_perr(mdoc, argv->line, argv->pos,
587: "multiple types specified"));
1.61 ! kristaps 588: case (MDOC_Width):
! 589: if (-1 == width) {
! 590: width = argv->arg;
! 591: break;
! 592: }
! 593: return(mdoc_perr(mdoc, argv->line, argv->pos,
! 594: "multiple -%s arguments",
! 595: mdoc_argnames[MDOC_Width]));
! 596: case (MDOC_Offset):
! 597: if (-1 == offset) {
! 598: offset = argv->arg;
! 599: break;
! 600: }
! 601: return(mdoc_perr(mdoc, argv->line, argv->pos,
! 602: "multiple -%s arguments",
! 603: mdoc_argnames[MDOC_Offset]));
1.24 kristaps 604: default:
605: break;
606: }
607: }
1.53 kristaps 608:
1.61 ! kristaps 609: if (-1 == type)
! 610: return(mdoc_err(mdoc, "no type specified"));
! 611:
! 612: switch (type) {
! 613: case (MDOC_Column):
! 614: /* FALLTHROUGH */
! 615: case (MDOC_Diag):
! 616: /* FALLTHROUGH */
! 617: case (MDOC_Inset):
! 618: /* FALLTHROUGH */
! 619: case (MDOC_Item):
! 620: if (-1 == width)
! 621: break;
! 622: return(mdoc_nwarn(mdoc, n, WARN_SYNTAX,
! 623: "superfluous -%s argument",
! 624: mdoc_argnames[MDOC_Width]));
! 625: case (MDOC_Tag):
! 626: if (-1 != width)
! 627: break;
! 628: return(mdoc_nwarn(mdoc, n, WARN_SYNTAX,
! 629: "suggest -%s argument",
! 630: mdoc_argnames[MDOC_Width]));
! 631: default:
! 632: break;
! 633: }
! 634:
! 635: return(1);
1.24 kristaps 636: }
637:
638:
639: static int
1.55 kristaps 640: pre_bd(PRE_ARGS)
1.24 kristaps 641: {
1.53 kristaps 642: int type, err, i;
1.24 kristaps 643: struct mdoc_arg *argv;
1.53 kristaps 644: size_t argc;
1.24 kristaps 645:
1.55 kristaps 646: if (MDOC_BLOCK != n->type)
1.24 kristaps 647: return(1);
648:
1.55 kristaps 649: argc = n->data.block.argc;
1.24 kristaps 650:
1.53 kristaps 651: /* Make sure that only one type of display is specified. */
652:
1.38 kristaps 653: /* LINTED */
1.53 kristaps 654: for (i = 0, err = type = 0; ! err && i < (int)argc; i++) {
1.55 kristaps 655: argv = &n->data.block.argv[i];
1.53 kristaps 656:
1.24 kristaps 657: switch (argv->arg) {
658: case (MDOC_Ragged):
659: /* FALLTHROUGH */
660: case (MDOC_Unfilled):
661: /* FALLTHROUGH */
1.29 kristaps 662: case (MDOC_Filled):
663: /* FALLTHROUGH */
1.24 kristaps 664: case (MDOC_Literal):
665: /* FALLTHROUGH */
666: case (MDOC_File):
1.53 kristaps 667: if (0 == type++)
668: break;
669: return(mdoc_perr(mdoc, argv->line, argv->pos,
670: "multiple types specified"));
1.24 kristaps 671: default:
672: break;
673: }
674: }
1.53 kristaps 675:
676: if (type)
677: return(1);
678: return(mdoc_err(mdoc, "no type specified"));
1.24 kristaps 679: }
680:
681:
682: static int
1.55 kristaps 683: pre_ss(PRE_ARGS)
1.33 kristaps 684: {
685:
1.55 kristaps 686: if (MDOC_BLOCK != n->type)
1.33 kristaps 687: return(1);
1.55 kristaps 688: return(check_parent(mdoc, n, MDOC_Sh, MDOC_BODY));
1.33 kristaps 689: }
690:
691:
692: static int
1.55 kristaps 693: pre_sh(PRE_ARGS)
1.33 kristaps 694: {
695:
1.55 kristaps 696: if (MDOC_BLOCK != n->type)
1.33 kristaps 697: return(1);
1.55 kristaps 698: return(check_parent(mdoc, n, -1, MDOC_ROOT));
1.33 kristaps 699: }
700:
701:
702: static int
1.55 kristaps 703: pre_it(PRE_ARGS)
1.53 kristaps 704: {
705:
706: /* TODO: children too big for -width? */
707:
1.55 kristaps 708: if (MDOC_BLOCK != n->type)
1.53 kristaps 709: return(1);
1.55 kristaps 710: return(check_parent(mdoc, n, MDOC_Bl, MDOC_BODY));
1.53 kristaps 711: }
712:
713:
714: static int
1.55 kristaps 715: pre_st(PRE_ARGS)
1.36 kristaps 716: {
717:
1.55 kristaps 718: if (1 == n->data.elem.argc)
1.36 kristaps 719: return(1);
1.55 kristaps 720: return(mdoc_nerr(mdoc, n, "one argument required"));
1.36 kristaps 721: }
722:
723:
724: static int
1.55 kristaps 725: pre_an(PRE_ARGS)
1.35 kristaps 726: {
1.36 kristaps 727:
1.55 kristaps 728: if (1 >= n->data.elem.argc)
1.35 kristaps 729: return(1);
1.55 kristaps 730: return(mdoc_nerr(mdoc, n, "one argument allowed"));
1.35 kristaps 731: }
732:
733:
734: static int
1.55 kristaps 735: pre_rv(PRE_ARGS)
1.36 kristaps 736: {
1.53 kristaps 737: enum mdoc_msec msecs[] = { MSEC_2, MSEC_3 };
1.36 kristaps 738:
1.55 kristaps 739: if ( ! check_msec(mdoc, n, 2, msecs))
1.36 kristaps 740: return(0);
1.55 kristaps 741: return(check_stdarg(mdoc, n));
1.36 kristaps 742: }
743:
744:
745: static int
1.55 kristaps 746: pre_ex(PRE_ARGS)
1.33 kristaps 747: {
1.53 kristaps 748: enum mdoc_msec msecs[] = { MSEC_1, MSEC_6, MSEC_8 };
1.35 kristaps 749:
1.55 kristaps 750: if ( ! check_msec(mdoc, n, 3, msecs))
1.35 kristaps 751: return(0);
1.55 kristaps 752: return(check_stdarg(mdoc, n));
1.33 kristaps 753: }
754:
755:
756: static int
1.55 kristaps 757: pre_er(PRE_ARGS)
1.33 kristaps 758: {
1.53 kristaps 759: enum mdoc_msec msecs[] = { MSEC_2 };
1.33 kristaps 760:
1.55 kristaps 761: return(check_msec(mdoc, n, 1, msecs));
1.33 kristaps 762: }
763:
764:
765: static int
1.55 kristaps 766: pre_cd(PRE_ARGS)
1.33 kristaps 767: {
1.53 kristaps 768: enum mdoc_msec msecs[] = { MSEC_4 };
1.33 kristaps 769:
1.55 kristaps 770: return(check_msec(mdoc, n, 1, msecs));
1.33 kristaps 771: }
772:
773:
774: static int
1.55 kristaps 775: pre_prologue(PRE_ARGS)
1.20 kristaps 776: {
777:
1.46 kristaps 778: if (SEC_PROLOGUE != mdoc->lastnamed)
1.55 kristaps 779: return(mdoc_nerr(mdoc, n, "prologue only"));
1.20 kristaps 780:
781: /* Check for ordering. */
782:
1.55 kristaps 783: switch (n->tok) {
1.20 kristaps 784: case (MDOC_Os):
1.36 kristaps 785: if (mdoc->meta.title && mdoc->meta.date)
1.20 kristaps 786: break;
1.55 kristaps 787: return(mdoc_nerr(mdoc, n, "prologue out-of-order"));
1.20 kristaps 788: case (MDOC_Dt):
1.36 kristaps 789: if (NULL == mdoc->meta.title && mdoc->meta.date)
1.20 kristaps 790: break;
1.55 kristaps 791: return(mdoc_nerr(mdoc, n, "prologue out-of-order"));
1.20 kristaps 792: case (MDOC_Dd):
1.36 kristaps 793: if (NULL == mdoc->meta.title && 0 == mdoc->meta.date)
1.20 kristaps 794: break;
1.55 kristaps 795: return(mdoc_nerr(mdoc, n, "prologue out-of-order"));
1.20 kristaps 796: default:
797: abort();
798: /* NOTREACHED */
799: }
800:
801: /* Check for repetition. */
802:
1.55 kristaps 803: switch (n->tok) {
1.20 kristaps 804: case (MDOC_Os):
1.36 kristaps 805: if (NULL == mdoc->meta.os)
1.20 kristaps 806: return(1);
807: break;
808: case (MDOC_Dd):
809: if (0 == mdoc->meta.date)
810: return(1);
811: break;
812: case (MDOC_Dt):
1.36 kristaps 813: if (NULL == mdoc->meta.title)
1.20 kristaps 814: return(1);
815: break;
816: default:
817: abort();
818: /* NOTREACHED */
819: }
820:
1.55 kristaps 821: return(mdoc_nerr(mdoc, n, "prologue repetition"));
1.20 kristaps 822: }
823:
824:
1.35 kristaps 825: static int
1.55 kristaps 826: post_bf(POST_ARGS)
1.41 kristaps 827: {
828: char *p;
829: struct mdoc_node *head;
830:
831: if (MDOC_BLOCK != mdoc->last->type)
832: return(1);
1.53 kristaps 833:
1.41 kristaps 834: head = mdoc->last->data.block.head;
835:
836: if (0 == mdoc->last->data.block.argc) {
1.53 kristaps 837: if (NULL == head->child)
838: return(mdoc_err(mdoc, "argument expected"));
839:
840: p = head->child->data.text.string;
841: if (xstrcmp(p, "Em"))
842: return(1);
843: else if (xstrcmp(p, "Li"))
844: return(1);
845: else if (xstrcmp(p, "Sm"))
846: return(1);
847: return(mdoc_nerr(mdoc, head->child, "invalid font"));
1.41 kristaps 848: }
1.53 kristaps 849:
1.41 kristaps 850: if (head->child)
1.53 kristaps 851: return(mdoc_err(mdoc, "argument expected"));
852:
1.41 kristaps 853: if (1 == mdoc->last->data.block.argc)
854: return(1);
1.53 kristaps 855: return(mdoc_err(mdoc, "argument expected"));
1.41 kristaps 856: }
857:
858:
859: static int
1.55 kristaps 860: post_nm(POST_ARGS)
1.37 kristaps 861: {
862:
863: if (mdoc->last->child)
864: return(1);
865: if (mdoc->meta.name)
866: return(1);
1.53 kristaps 867: return(mdoc_err(mdoc, "not yet invoked with name"));
1.37 kristaps 868: }
869:
870:
871: static int
1.55 kristaps 872: post_xr(POST_ARGS)
1.36 kristaps 873: {
874: struct mdoc_node *n;
875:
876: if (NULL == (n = mdoc->last->child->next))
877: return(1);
878: if (MSEC_DEFAULT != mdoc_atomsec(n->data.text.string))
879: return(1);
880: return(mdoc_nerr(mdoc, n, "invalid manual section"));
881: }
882:
883:
884: static int
1.55 kristaps 885: post_at(POST_ARGS)
1.36 kristaps 886: {
887:
1.37 kristaps 888: if (NULL == mdoc->last->child)
889: return(1);
1.36 kristaps 890: if (ATT_DEFAULT != mdoc_atoatt(mdoc->last->child->data.text.string))
891: return(1);
1.53 kristaps 892: return(mdoc_err(mdoc, "require valid symbol"));
1.36 kristaps 893: }
894:
895:
896: static int
1.55 kristaps 897: post_an(POST_ARGS)
1.35 kristaps 898: {
899:
900: if (0 != mdoc->last->data.elem.argc) {
901: if (NULL == mdoc->last->child)
902: return(1);
1.53 kristaps 903: return(mdoc_err(mdoc, "argument(s) expected"));
1.35 kristaps 904: }
905:
906: if (mdoc->last->child)
907: return(1);
1.53 kristaps 908: return(mdoc_err(mdoc, "argument(s) expected"));
1.35 kristaps 909: }
910:
911:
912: static int
1.55 kristaps 913: post_ex(POST_ARGS)
1.35 kristaps 914: {
915:
916: if (0 == mdoc->last->data.elem.argc) {
917: if (mdoc->last->child)
918: return(1);
1.53 kristaps 919: return(mdoc_err(mdoc, "argument(s) expected"));
1.35 kristaps 920: }
921: if (mdoc->last->child)
1.53 kristaps 922: return(mdoc_err(mdoc, "argument(s) expected"));
1.35 kristaps 923: if (1 != mdoc->last->data.elem.argc)
1.53 kristaps 924: return(mdoc_err(mdoc, "argument(s) expected"));
1.35 kristaps 925: if (MDOC_Std != mdoc->last->data.elem.argv[0].arg)
1.53 kristaps 926: return(mdoc_err(mdoc, "argument(s) expected"));
927:
1.35 kristaps 928: return(1);
929: }
930:
931:
1.25 kristaps 932: static int
1.55 kristaps 933: post_it(POST_ARGS)
1.25 kristaps 934: {
1.53 kristaps 935: int type, sv, i;
1.25 kristaps 936: #define TYPE_NONE (0)
937: #define TYPE_BODY (1)
938: #define TYPE_HEAD (2)
1.47 kristaps 939: #define TYPE_OHEAD (3)
1.53 kristaps 940: size_t argc;
1.25 kristaps 941: struct mdoc_node *n;
942:
943: if (MDOC_BLOCK != mdoc->last->type)
944: return(1);
945:
1.53 kristaps 946: n = mdoc->last->parent->parent;
1.25 kristaps 947:
948: argc = n->data.block.argc;
949: type = TYPE_NONE;
1.38 kristaps 950: sv = -1;
1.26 kristaps 951:
952: /* Some types require block-head, some not. */
1.25 kristaps 953:
1.38 kristaps 954: /* LINTED */
1.53 kristaps 955: for (i = 0; TYPE_NONE == type && i < (int)argc; i++)
956: switch (n->data.block.argv[i].arg) {
1.25 kristaps 957: case (MDOC_Tag):
958: /* FALLTHROUGH */
959: case (MDOC_Diag):
960: /* FALLTHROUGH */
961: case (MDOC_Hang):
962: /* FALLTHROUGH */
963: case (MDOC_Ohang):
964: /* FALLTHROUGH */
965: case (MDOC_Inset):
966: type = TYPE_HEAD;
1.53 kristaps 967: sv = n->data.block.argv[i].arg;
1.25 kristaps 968: break;
969: case (MDOC_Bullet):
970: /* FALLTHROUGH */
971: case (MDOC_Dash):
972: /* FALLTHROUGH */
973: case (MDOC_Enum):
974: /* FALLTHROUGH */
975: case (MDOC_Hyphen):
976: /* FALLTHROUGH */
977: case (MDOC_Item):
1.47 kristaps 978: type = TYPE_BODY;
1.53 kristaps 979: sv = n->data.block.argv[i].arg;
1.47 kristaps 980: break;
1.25 kristaps 981: case (MDOC_Column):
1.47 kristaps 982: type = TYPE_OHEAD;
1.53 kristaps 983: sv = n->data.block.argv[i].arg;
1.25 kristaps 984: break;
985: default:
986: break;
987: }
988:
989: assert(TYPE_NONE != type);
990:
1.47 kristaps 991: n = mdoc->last->data.block.head;
992:
1.25 kristaps 993: if (TYPE_HEAD == type) {
1.33 kristaps 994: if (NULL == n->child)
1.53 kristaps 995: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
996: "argument(s) suggested"))
1.25 kristaps 997: return(0);
998:
1.33 kristaps 999: n = mdoc->last->data.block.body;
1000: if (NULL == n->child)
1.53 kristaps 1001: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
1002: "multiline body suggested"))
1.25 kristaps 1003: return(0);
1004:
1.47 kristaps 1005: } else if (TYPE_BODY == type) {
1006: if (n->child)
1.53 kristaps 1007: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
1008: "no argument suggested"))
1.47 kristaps 1009: return(0);
1010:
1011: n = mdoc->last->data.block.body;
1012: if (NULL == n->child)
1.53 kristaps 1013: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
1014: "multiline body suggested"))
1.47 kristaps 1015: return(0);
1016: } else {
1017: if (NULL == n->child)
1.53 kristaps 1018: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
1019: "argument(s) suggested"))
1.47 kristaps 1020: return(0);
1021:
1022: n = mdoc->last->data.block.body;
1023: if (n->child)
1.53 kristaps 1024: if ( ! mdoc_warn(mdoc, WARN_SYNTAX,
1025: "no multiline body suggested"))
1.47 kristaps 1026: return(0);
1.25 kristaps 1027: }
1028:
1.47 kristaps 1029: if (MDOC_Column != sv)
1.26 kristaps 1030: return(1);
1031:
1.38 kristaps 1032: argc = mdoc->last->parent->parent->data.block.argv->sz;
1.26 kristaps 1033: n = mdoc->last->data.block.head->child;
1.25 kristaps 1034:
1.26 kristaps 1035: for (i = 0; n; n = n->next)
1036: i++;
1037:
1.53 kristaps 1038: if (i == (int)argc)
1.26 kristaps 1039: return(1);
1.53 kristaps 1040:
1041: return(mdoc_err(mdoc, "need %zu columns (have %d)", argc, i));
1.25 kristaps 1042: #undef TYPE_NONE
1043: #undef TYPE_BODY
1044: #undef TYPE_HEAD
1.47 kristaps 1045: #undef TYPE_OHEAD
1.25 kristaps 1046: }
1047:
1048:
1.24 kristaps 1049: static int
1.55 kristaps 1050: post_bl(POST_ARGS)
1.24 kristaps 1051: {
1.53 kristaps 1052: struct mdoc_node *n;
1.24 kristaps 1053:
1054: if (MDOC_BODY != mdoc->last->type)
1055: return(1);
1056:
1.38 kristaps 1057: /* LINTED */
1.24 kristaps 1058: for (n = mdoc->last->child; n; n = n->next) {
1059: if (MDOC_BLOCK == n->type)
1.25 kristaps 1060: if (MDOC_It == n->tok)
1.24 kristaps 1061: continue;
1062: break;
1063: }
1.53 kristaps 1064:
1.24 kristaps 1065: if (NULL == n)
1066: return(1);
1.53 kristaps 1067:
1068: return(mdoc_nerr(mdoc, n, "bad child of parent list"));
1.24 kristaps 1069: }
1070:
1071:
1.34 kristaps 1072: static int
1.37 kristaps 1073: ebool(struct mdoc *mdoc)
1.34 kristaps 1074: {
1075: struct mdoc_node *n;
1076:
1.38 kristaps 1077: /* LINTED */
1.34 kristaps 1078: for (n = mdoc->last->child; n; n = n->next) {
1079: if (MDOC_TEXT != n->type)
1080: break;
1081: if (xstrcmp(n->data.text.string, "on"))
1082: continue;
1083: if (xstrcmp(n->data.text.string, "off"))
1084: continue;
1085: break;
1086: }
1.53 kristaps 1087:
1.34 kristaps 1088: if (NULL == n)
1089: return(1);
1.53 kristaps 1090: return(mdoc_nerr(mdoc, n, "expected boolean"));
1.37 kristaps 1091: }
1092:
1093:
1094: static int
1.55 kristaps 1095: post_root(POST_ARGS)
1.37 kristaps 1096: {
1097:
1.46 kristaps 1098: if (NULL == mdoc->first->child)
1.53 kristaps 1099: return(mdoc_err(mdoc, "document lacks data"));
1.46 kristaps 1100: if (SEC_PROLOGUE == mdoc->lastnamed)
1.53 kristaps 1101: return(mdoc_err(mdoc, "document lacks prologue"));
1102:
1.46 kristaps 1103: if (MDOC_BLOCK != mdoc->first->child->type)
1.54 kristaps 1104: return(mdoc_err(mdoc, "lacking post-prologue %s",
1.53 kristaps 1105: mdoc_macronames[MDOC_Sh]));
1.46 kristaps 1106: if (MDOC_Sh != mdoc->first->child->tok)
1.54 kristaps 1107: return(mdoc_err(mdoc, "lacking post-prologue %s",
1.53 kristaps 1108: mdoc_macronames[MDOC_Sh]));
1109:
1.37 kristaps 1110: return(1);
1.34 kristaps 1111: }
1112:
1113:
1.20 kristaps 1114: static int
1.55 kristaps 1115: post_sh(POST_ARGS)
1.14 kristaps 1116: {
1.46 kristaps 1117:
1118: if (MDOC_HEAD == mdoc->last->type)
1119: return(post_sh_head(mdoc));
1120: if (MDOC_BODY == mdoc->last->type)
1121: return(post_sh_body(mdoc));
1.53 kristaps 1122:
1.46 kristaps 1123: return(1);
1124: }
1125:
1126:
1127: static int
1.55 kristaps 1128: post_sh_body(POST_ARGS)
1.46 kristaps 1129: {
1130: struct mdoc_node *n;
1131:
1132: if (SEC_NAME != mdoc->lastnamed)
1133: return(1);
1134:
1.51 kristaps 1135: /*
1136: * Warn if the NAME section doesn't contain the `Nm' and `Nd'
1137: * macros (can have multiple `Nm' and one `Nd'). Note that the
1138: * children of the BODY declaration can also be "text".
1139: */
1140:
1.46 kristaps 1141: if (NULL == (n = mdoc->last->child))
1.54 kristaps 1142: return(mdoc_warn(mdoc, WARN_SYNTAX,
1143: "section should have %s and %s",
1.51 kristaps 1144: mdoc_macronames[MDOC_Nm],
1145: mdoc_macronames[MDOC_Nd]));
1146:
1147: for ( ; n && n->next; n = n->next) {
1148: if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)
1149: continue;
1150: if (MDOC_TEXT == n->type)
1151: continue;
1.54 kristaps 1152: if ( ! (mdoc_nwarn(mdoc, n, WARN_SYNTAX,
1153: "section should have %s first",
1.51 kristaps 1154: mdoc_macronames[MDOC_Nm])))
1155: return(0);
1156: }
1157:
1158: if (MDOC_ELEM == n->type && MDOC_Nd == n->tok)
1.46 kristaps 1159: return(1);
1160:
1.54 kristaps 1161: return(mdoc_warn(mdoc, WARN_SYNTAX,
1162: "section should have %s last",
1.51 kristaps 1163: mdoc_macronames[MDOC_Nd]));
1.46 kristaps 1164: }
1165:
1166:
1167: static int
1.55 kristaps 1168: post_sh_head(POST_ARGS)
1.46 kristaps 1169: {
1.36 kristaps 1170: char buf[64];
1.21 kristaps 1171: enum mdoc_sec sec;
1172:
1.25 kristaps 1173: assert(MDOC_Sh == mdoc->last->tok);
1.21 kristaps 1174:
1.54 kristaps 1175: if ( ! xstrlcats(buf, mdoc->last->child, sizeof(buf)))
1176: return(mdoc_err(mdoc, "argument too long"));
1.14 kristaps 1177:
1.46 kristaps 1178: sec = mdoc_atosec(buf);
1179:
1180: if (SEC_BODY == mdoc->lastnamed && SEC_NAME != sec)
1.54 kristaps 1181: return(mdoc_warn(mdoc, WARN_SYNTAX,
1182: "section NAME should be first"));
1.46 kristaps 1183: if (SEC_CUSTOM == sec)
1.21 kristaps 1184: return(1);
1.46 kristaps 1185: if (sec == mdoc->lastnamed)
1.54 kristaps 1186: return(mdoc_warn(mdoc, WARN_SYNTAX,
1187: "section repeated"));
1.46 kristaps 1188: if (sec < mdoc->lastnamed)
1.54 kristaps 1189: return(mdoc_warn(mdoc, WARN_SYNTAX,
1190: "section out of order"));
1.46 kristaps 1191:
1192: return(1);
1.11 kristaps 1193: }
1194:
1195:
1.57 kristaps 1196: static int
1197: post_fd(POST_ARGS)
1.11 kristaps 1198: {
1.39 kristaps 1199:
1.57 kristaps 1200: if (SEC_SYNOPSIS == mdoc->last->sec)
1.25 kristaps 1201: return(1);
1.57 kristaps 1202: return(mdoc_warn(mdoc, WARN_COMPAT,
1203: "suggested only in section SYNOPSIS"));
1.11 kristaps 1204: }
CVSweb