Annotation of mandoc/mdoc_macro.c, Revision 1.223
1.223 ! schwarze 1: /* $Id: mdoc_macro.c,v 1.222 2017/05/05 13:17:55 schwarze Exp $ */
1.1 kristaps 2: /*
1.116 schwarze 3: * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
1.216 schwarze 4: * Copyright (c) 2010, 2012-2017 Ingo Schwarze <schwarze@openbsd.org>
1.1 kristaps 5: *
6: * Permission to use, copy, modify, and distribute this software for any
1.8 kristaps 7: * purpose with or without fee is hereby granted, provided that the above
8: * copyright notice and this permission notice appear in all copies.
1.1 kristaps 9: *
1.184 schwarze 10: * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
1.8 kristaps 11: * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1.184 schwarze 12: * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
1.8 kristaps 13: * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14: * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15: * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16: * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1.1 kristaps 17: */
1.40 kristaps 18: #include "config.h"
1.140 schwarze 19:
20: #include <sys/types.h>
1.40 kristaps 21:
1.1 kristaps 22: #include <assert.h>
23: #include <ctype.h>
24: #include <stdlib.h>
25: #include <stdio.h>
26: #include <string.h>
1.38 kristaps 27: #include <time.h>
1.1 kristaps 28:
1.184 schwarze 29: #include "mandoc.h"
30: #include "roff.h"
1.106 kristaps 31: #include "mdoc.h"
1.184 schwarze 32: #include "libmandoc.h"
1.190 schwarze 33: #include "roff_int.h"
1.1 kristaps 34: #include "libmdoc.h"
35:
1.151 schwarze 36: static void blk_full(MACRO_PROT_ARGS);
37: static void blk_exp_close(MACRO_PROT_ARGS);
38: static void blk_part_exp(MACRO_PROT_ARGS);
39: static void blk_part_imp(MACRO_PROT_ARGS);
40: static void ctx_synopsis(MACRO_PROT_ARGS);
41: static void in_line_eoln(MACRO_PROT_ARGS);
42: static void in_line_argn(MACRO_PROT_ARGS);
43: static void in_line(MACRO_PROT_ARGS);
44: static void phrase_ta(MACRO_PROT_ARGS);
1.53 kristaps 45:
1.189 schwarze 46: static void append_delims(struct roff_man *, int, int *, char *);
47: static void dword(struct roff_man *, int, int, const char *,
1.187 schwarze 48: enum mdelim, int);
1.219 schwarze 49: static int find_pending(struct roff_man *, enum roff_tok,
50: int, int, struct roff_node *);
1.189 schwarze 51: static int lookup(struct roff_man *, int, int, int, const char *);
1.153 schwarze 52: static int macro_or_word(MACRO_PROT_ARGS, int);
1.213 schwarze 53: static void break_intermediate(struct roff_node *,
1.219 schwarze 54: struct roff_node *);
55: static int parse_rest(struct roff_man *, enum roff_tok,
56: int, int *, char *);
57: static enum roff_tok rew_alt(enum roff_tok);
58: static void rew_elem(struct roff_man *, enum roff_tok);
1.189 schwarze 59: static void rew_last(struct roff_man *, const struct roff_node *);
60: static void rew_pending(struct roff_man *,
61: const struct roff_node *);
1.1 kristaps 62:
1.219 schwarze 63: const struct mdoc_macro __mdoc_macros[MDOC_MAX - MDOC_Dd] = {
1.1 kristaps 64: { in_line_eoln, MDOC_PROLOGUE }, /* Dd */
65: { in_line_eoln, MDOC_PROLOGUE }, /* Dt */
66: { in_line_eoln, MDOC_PROLOGUE }, /* Os */
1.123 schwarze 67: { blk_full, MDOC_PARSED | MDOC_JOIN }, /* Sh */
68: { blk_full, MDOC_PARSED | MDOC_JOIN }, /* Ss */
69: { in_line_eoln, 0 }, /* Pp */
70: { blk_part_imp, MDOC_PARSED | MDOC_JOIN }, /* D1 */
71: { blk_part_imp, MDOC_PARSED | MDOC_JOIN }, /* Dl */
1.1 kristaps 72: { blk_full, MDOC_EXPLICIT }, /* Bd */
1.123 schwarze 73: { blk_exp_close, MDOC_EXPLICIT | MDOC_JOIN }, /* Ed */
1.1 kristaps 74: { blk_full, MDOC_EXPLICIT }, /* Bl */
1.123 schwarze 75: { blk_exp_close, MDOC_EXPLICIT | MDOC_JOIN }, /* El */
76: { blk_full, MDOC_PARSED | MDOC_JOIN }, /* It */
77: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ad */
78: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* An */
1.219 schwarze 79: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ap */
1.1 kristaps 80: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ar */
1.129 schwarze 81: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Cd */
1.1 kristaps 82: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Cm */
1.123 schwarze 83: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Dv */
84: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Er */
85: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ev */
1.1 kristaps 86: { in_line_eoln, 0 }, /* Ex */
1.123 schwarze 87: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fa */
88: { in_line_eoln, 0 }, /* Fd */
1.1 kristaps 89: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fl */
1.123 schwarze 90: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fn */
91: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ft */
1.128 schwarze 92: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ic */
1.18 kristaps 93: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* In */
1.123 schwarze 94: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Li */
95: { blk_full, MDOC_JOIN }, /* Nd */
96: { ctx_synopsis, MDOC_CALLABLE | MDOC_PARSED }, /* Nm */
1.1 kristaps 97: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED }, /* Op */
1.132 schwarze 98: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ot */
1.1 kristaps 99: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Pa */
100: { in_line_eoln, 0 }, /* Rv */
1.123 schwarze 101: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* St */
1.1 kristaps 102: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Va */
1.123 schwarze 103: { ctx_synopsis, MDOC_CALLABLE | MDOC_PARSED }, /* Vt */
1.42 kristaps 104: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Xr */
1.123 schwarze 105: { in_line_eoln, MDOC_JOIN }, /* %A */
106: { in_line_eoln, MDOC_JOIN }, /* %B */
107: { in_line_eoln, MDOC_JOIN }, /* %D */
108: { in_line_eoln, MDOC_JOIN }, /* %I */
109: { in_line_eoln, MDOC_JOIN }, /* %J */
1.1 kristaps 110: { in_line_eoln, 0 }, /* %N */
1.123 schwarze 111: { in_line_eoln, MDOC_JOIN }, /* %O */
1.1 kristaps 112: { in_line_eoln, 0 }, /* %P */
1.123 schwarze 113: { in_line_eoln, MDOC_JOIN }, /* %R */
114: { in_line_eoln, MDOC_JOIN }, /* %T */
1.1 kristaps 115: { in_line_eoln, 0 }, /* %V */
1.123 schwarze 116: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
117: MDOC_EXPLICIT | MDOC_JOIN }, /* Ac */
118: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
119: MDOC_EXPLICIT | MDOC_JOIN }, /* Ao */
120: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Aq */
1.1 kristaps 121: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* At */
1.123 schwarze 122: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
123: MDOC_EXPLICIT | MDOC_JOIN }, /* Bc */
124: { blk_full, MDOC_EXPLICIT }, /* Bf */
125: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
126: MDOC_EXPLICIT | MDOC_JOIN }, /* Bo */
127: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Bq */
1.1 kristaps 128: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Bsx */
129: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Bx */
130: { in_line_eoln, 0 }, /* Db */
1.123 schwarze 131: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
132: MDOC_EXPLICIT | MDOC_JOIN }, /* Dc */
133: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
134: MDOC_EXPLICIT | MDOC_JOIN }, /* Do */
135: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Dq */
136: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Ec */
137: { blk_exp_close, MDOC_EXPLICIT | MDOC_JOIN }, /* Ef */
138: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Em */
1.1 kristaps 139: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Eo */
140: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Fx */
1.11 kristaps 141: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ms */
1.144 schwarze 142: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* No */
1.123 schwarze 143: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED |
144: MDOC_IGNDELIM | MDOC_JOIN }, /* Ns */
1.1 kristaps 145: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Nx */
146: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Ox */
1.123 schwarze 147: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
148: MDOC_EXPLICIT | MDOC_JOIN }, /* Pc */
1.52 kristaps 149: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED | MDOC_IGNDELIM }, /* Pf */
1.123 schwarze 150: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
151: MDOC_EXPLICIT | MDOC_JOIN }, /* Po */
152: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Pq */
153: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
154: MDOC_EXPLICIT | MDOC_JOIN }, /* Qc */
155: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ql */
156: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
157: MDOC_EXPLICIT | MDOC_JOIN }, /* Qo */
158: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Qq */
159: { blk_exp_close, MDOC_EXPLICIT | MDOC_JOIN }, /* Re */
1.1 kristaps 160: { blk_full, MDOC_EXPLICIT }, /* Rs */
1.123 schwarze 161: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
162: MDOC_EXPLICIT | MDOC_JOIN }, /* Sc */
163: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
164: MDOC_EXPLICIT | MDOC_JOIN }, /* So */
165: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Sq */
1.147 schwarze 166: { in_line_argn, 0 }, /* Sm */
1.123 schwarze 167: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Sx */
168: { in_line, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Sy */
1.1 kristaps 169: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Tn */
1.123 schwarze 170: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ux */
1.1 kristaps 171: { blk_exp_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Xc */
172: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Xo */
1.123 schwarze 173: { blk_full, MDOC_EXPLICIT | MDOC_CALLABLE }, /* Fo */
174: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
175: MDOC_EXPLICIT | MDOC_JOIN }, /* Fc */
176: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
177: MDOC_EXPLICIT | MDOC_JOIN }, /* Oo */
178: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
179: MDOC_EXPLICIT | MDOC_JOIN }, /* Oc */
1.1 kristaps 180: { blk_full, MDOC_EXPLICIT }, /* Bk */
1.123 schwarze 181: { blk_exp_close, MDOC_EXPLICIT | MDOC_JOIN }, /* Ek */
1.1 kristaps 182: { in_line_eoln, 0 }, /* Bt */
183: { in_line_eoln, 0 }, /* Hf */
1.132 schwarze 184: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Fr */
1.1 kristaps 185: { in_line_eoln, 0 }, /* Ud */
1.69 kristaps 186: { in_line, 0 }, /* Lb */
1.123 schwarze 187: { in_line_eoln, 0 }, /* Lp */
188: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Lk */
189: { in_line, MDOC_CALLABLE | MDOC_PARSED }, /* Mt */
190: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Brq */
191: { blk_part_exp, MDOC_CALLABLE | MDOC_PARSED |
192: MDOC_EXPLICIT | MDOC_JOIN }, /* Bro */
193: { blk_exp_close, MDOC_CALLABLE | MDOC_PARSED |
194: MDOC_EXPLICIT | MDOC_JOIN }, /* Brc */
195: { in_line_eoln, MDOC_JOIN }, /* %C */
1.132 schwarze 196: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Es */
197: { blk_part_imp, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* En */
1.1 kristaps 198: { in_line_argn, MDOC_CALLABLE | MDOC_PARSED }, /* Dx */
1.123 schwarze 199: { in_line_eoln, MDOC_JOIN }, /* %Q */
1.37 kristaps 200: { in_line_eoln, 0 }, /* %U */
1.123 schwarze 201: { phrase_ta, MDOC_CALLABLE | MDOC_PARSED | MDOC_JOIN }, /* Ta */
1.1 kristaps 202: };
1.219 schwarze 203: const struct mdoc_macro *const mdoc_macros = __mdoc_macros - MDOC_Dd;
1.1 kristaps 204:
205:
206: /*
207: * This is called at the end of parsing. It must traverse up the tree,
208: * closing out open [implicit] scopes. Obviously, open explicit scopes
209: * are errors.
210: */
1.151 schwarze 211: void
1.195 schwarze 212: mdoc_endparse(struct roff_man *mdoc)
1.1 kristaps 213: {
1.185 schwarze 214: struct roff_node *n;
1.1 kristaps 215:
216: /* Scan for open explicit scopes. */
217:
1.210 schwarze 218: n = mdoc->last->flags & NODE_VALID ?
1.131 schwarze 219: mdoc->last->parent : mdoc->last;
1.1 kristaps 220:
1.94 schwarze 221: for ( ; n; n = n->parent)
1.184 schwarze 222: if (n->type == ROFFT_BLOCK &&
1.151 schwarze 223: mdoc_macros[n->tok].flags & MDOC_EXPLICIT)
1.137 schwarze 224: mandoc_msg(MANDOCERR_BLK_NOEND, mdoc->parse,
1.219 schwarze 225: n->line, n->pos, roff_name[n->tok]);
1.1 kristaps 226:
1.32 kristaps 227: /* Rewind to the first. */
228:
1.149 schwarze 229: rew_last(mdoc, mdoc->first);
1.206 schwarze 230: mdoc_state_reset(mdoc);
1.1 kristaps 231: }
232:
1.32 kristaps 233: /*
1.153 schwarze 234: * Look up the macro at *p called by "from",
1.191 schwarze 235: * or as a line macro if from == TOKEN_NONE.
1.32 kristaps 236: */
1.185 schwarze 237: static int
1.189 schwarze 238: lookup(struct roff_man *mdoc, int from, int line, int ppos, const char *p)
1.28 kristaps 239: {
1.219 schwarze 240: enum roff_tok res;
1.1 kristaps 241:
1.205 schwarze 242: if (mdoc->flags & MDOC_PHRASEQF) {
243: mdoc->flags &= ~MDOC_PHRASEQF;
244: return TOKEN_NONE;
245: }
1.191 schwarze 246: if (from == TOKEN_NONE || mdoc_macros[from].flags & MDOC_PARSED) {
1.220 schwarze 247: res = roffhash_find(mdoc->mdocmac, p, 0);
1.191 schwarze 248: if (res != TOKEN_NONE) {
1.155 schwarze 249: if (mdoc_macros[res].flags & MDOC_CALLABLE)
1.202 schwarze 250: return res;
1.223 ! schwarze 251: mandoc_msg(MANDOCERR_MACRO_CALL,
! 252: mdoc->parse, line, ppos, p);
1.155 schwarze 253: }
1.153 schwarze 254: }
1.202 schwarze 255: return TOKEN_NONE;
1.1 kristaps 256: }
257:
1.166 schwarze 258: /*
259: * Rewind up to and including a specific node.
260: */
1.149 schwarze 261: static void
1.189 schwarze 262: rew_last(struct roff_man *mdoc, const struct roff_node *to)
1.1 kristaps 263: {
264:
1.210 schwarze 265: if (to->flags & NODE_VALID)
1.186 schwarze 266: return;
267:
1.1 kristaps 268: while (mdoc->last != to) {
1.206 schwarze 269: mdoc_state(mdoc, mdoc->last);
1.210 schwarze 270: mdoc->last->flags |= NODE_VALID | NODE_ENDED;
1.206 schwarze 271: mdoc->last = mdoc->last->parent;
1.1 kristaps 272: }
1.206 schwarze 273: mdoc_state(mdoc, mdoc->last);
1.210 schwarze 274: mdoc->last->flags |= NODE_VALID | NODE_ENDED;
1.200 schwarze 275: mdoc->next = ROFF_NEXT_SIBLING;
1.1 kristaps 276: }
277:
1.32 kristaps 278: /*
1.166 schwarze 279: * Rewind up to a specific block, including all blocks that broke it.
280: */
281: static void
1.189 schwarze 282: rew_pending(struct roff_man *mdoc, const struct roff_node *n)
1.166 schwarze 283: {
284:
1.183 schwarze 285: for (;;) {
286: rew_last(mdoc, n);
287:
1.194 schwarze 288: if (mdoc->last == n) {
289: switch (n->type) {
290: case ROFFT_HEAD:
291: roff_body_alloc(mdoc, n->line, n->pos,
292: n->tok);
1.207 schwarze 293: break;
1.194 schwarze 294: case ROFFT_BLOCK:
295: break;
296: default:
297: return;
298: }
1.210 schwarze 299: if ( ! (n->flags & NODE_BROKEN))
1.194 schwarze 300: return;
301: } else
302: n = mdoc->last;
1.166 schwarze 303:
1.183 schwarze 304: for (;;) {
305: if ((n = n->parent) == NULL)
306: return;
307:
1.184 schwarze 308: if (n->type == ROFFT_BLOCK ||
309: n->type == ROFFT_HEAD) {
1.210 schwarze 310: if (n->flags & NODE_ENDED)
1.183 schwarze 311: break;
312: else
313: return;
314: }
315: }
1.166 schwarze 316: }
317: }
318:
319: /*
1.84 schwarze 320: * For a block closing macro, return the corresponding opening one.
321: * Otherwise, return the macro itself.
1.32 kristaps 322: */
1.219 schwarze 323: static enum roff_tok
324: rew_alt(enum roff_tok tok)
1.1 kristaps 325: {
326: switch (tok) {
1.131 schwarze 327: case MDOC_Ac:
1.202 schwarze 328: return MDOC_Ao;
1.131 schwarze 329: case MDOC_Bc:
1.202 schwarze 330: return MDOC_Bo;
1.131 schwarze 331: case MDOC_Brc:
1.202 schwarze 332: return MDOC_Bro;
1.131 schwarze 333: case MDOC_Dc:
1.202 schwarze 334: return MDOC_Do;
1.131 schwarze 335: case MDOC_Ec:
1.202 schwarze 336: return MDOC_Eo;
1.131 schwarze 337: case MDOC_Ed:
1.202 schwarze 338: return MDOC_Bd;
1.131 schwarze 339: case MDOC_Ef:
1.202 schwarze 340: return MDOC_Bf;
1.131 schwarze 341: case MDOC_Ek:
1.202 schwarze 342: return MDOC_Bk;
1.131 schwarze 343: case MDOC_El:
1.202 schwarze 344: return MDOC_Bl;
1.131 schwarze 345: case MDOC_Fc:
1.202 schwarze 346: return MDOC_Fo;
1.131 schwarze 347: case MDOC_Oc:
1.202 schwarze 348: return MDOC_Oo;
1.131 schwarze 349: case MDOC_Pc:
1.202 schwarze 350: return MDOC_Po;
1.131 schwarze 351: case MDOC_Qc:
1.202 schwarze 352: return MDOC_Qo;
1.131 schwarze 353: case MDOC_Re:
1.202 schwarze 354: return MDOC_Rs;
1.131 schwarze 355: case MDOC_Sc:
1.202 schwarze 356: return MDOC_So;
1.131 schwarze 357: case MDOC_Xc:
1.202 schwarze 358: return MDOC_Xo;
1.1 kristaps 359: default:
1.202 schwarze 360: return tok;
1.1 kristaps 361: }
362: }
363:
1.149 schwarze 364: static void
1.219 schwarze 365: rew_elem(struct roff_man *mdoc, enum roff_tok tok)
1.1 kristaps 366: {
1.185 schwarze 367: struct roff_node *n;
1.1 kristaps 368:
369: n = mdoc->last;
1.184 schwarze 370: if (n->type != ROFFT_ELEM)
1.1 kristaps 371: n = n->parent;
1.184 schwarze 372: assert(n->type == ROFFT_ELEM);
1.1 kristaps 373: assert(tok == n->tok);
1.149 schwarze 374: rew_last(mdoc, n);
1.1 kristaps 375: }
376:
1.213 schwarze 377: static void
378: break_intermediate(struct roff_node *n, struct roff_node *breaker)
379: {
1.217 schwarze 380: if (n != breaker &&
381: n->type != ROFFT_BLOCK && n->type != ROFFT_HEAD &&
382: (n->type != ROFFT_BODY || n->end != ENDBODY_NOT))
383: n = n->parent;
1.213 schwarze 384: while (n != breaker) {
385: if ( ! (n->flags & NODE_VALID))
386: n->flags |= NODE_BROKEN;
387: n = n->parent;
388: }
389: }
390:
1.83 schwarze 391: /*
1.187 schwarze 392: * If there is an open sub-block of the target requiring
393: * explicit close-out, postpone closing out the target until
394: * the rew_pending() call closing out the sub-block.
395: */
396: static int
1.219 schwarze 397: find_pending(struct roff_man *mdoc, enum roff_tok tok, int line, int ppos,
1.187 schwarze 398: struct roff_node *target)
399: {
400: struct roff_node *n;
401: int irc;
402:
1.215 schwarze 403: if (target->flags & NODE_VALID)
404: return 0;
405:
1.187 schwarze 406: irc = 0;
407: for (n = mdoc->last; n != NULL && n != target; n = n->parent) {
1.213 schwarze 408: if (n->flags & NODE_ENDED)
1.187 schwarze 409: continue;
410: if (n->type == ROFFT_BLOCK &&
411: mdoc_macros[n->tok].flags & MDOC_EXPLICIT) {
412: irc = 1;
1.217 schwarze 413: break_intermediate(mdoc->last, target);
1.187 schwarze 414: if (target->type == ROFFT_HEAD)
1.212 schwarze 415: target->flags |= NODE_ENDED;
1.210 schwarze 416: else if ( ! (target->flags & NODE_ENDED)) {
1.187 schwarze 417: mandoc_vmsg(MANDOCERR_BLK_NEST,
418: mdoc->parse, line, ppos,
1.219 schwarze 419: "%s breaks %s", roff_name[tok],
420: roff_name[n->tok]);
1.187 schwarze 421: mdoc_endbody_alloc(mdoc, line, ppos,
1.216 schwarze 422: tok, target);
1.187 schwarze 423: }
424: }
425: }
1.202 schwarze 426: return irc;
1.187 schwarze 427: }
428:
429: /*
1.105 kristaps 430: * Allocate a word and check whether it's punctuation or not.
431: * Punctuation consists of those tokens found in mdoc_isdelim().
432: */
1.150 schwarze 433: static void
1.189 schwarze 434: dword(struct roff_man *mdoc, int line, int col, const char *p,
1.123 schwarze 435: enum mdelim d, int may_append)
1.105 kristaps 436: {
1.131 schwarze 437:
1.150 schwarze 438: if (d == DELIM_MAX)
1.105 kristaps 439: d = mdoc_isdelim(p);
440:
1.123 schwarze 441: if (may_append &&
1.150 schwarze 442: ! (mdoc->flags & (MDOC_SYNOPSIS | MDOC_KEEP | MDOC_SMOFF)) &&
1.184 schwarze 443: d == DELIM_NONE && mdoc->last->type == ROFFT_TEXT &&
1.150 schwarze 444: mdoc_isdelim(mdoc->last->string) == DELIM_NONE) {
1.192 schwarze 445: roff_word_append(mdoc, p);
1.150 schwarze 446: return;
1.123 schwarze 447: }
448:
1.192 schwarze 449: roff_word_alloc(mdoc, line, col, p);
1.105 kristaps 450:
1.108 schwarze 451: /*
1.144 schwarze 452: * If the word consists of a bare delimiter,
453: * flag the new node accordingly,
454: * unless doing so was vetoed by the invoking macro.
455: * Always clear the veto, it is only valid for one word.
1.108 schwarze 456: */
457:
1.144 schwarze 458: if (d == DELIM_OPEN)
1.210 schwarze 459: mdoc->last->flags |= NODE_DELIMO;
1.144 schwarze 460: else if (d == DELIM_CLOSE &&
461: ! (mdoc->flags & MDOC_NODELIMC) &&
1.131 schwarze 462: mdoc->last->parent->tok != MDOC_Fd)
1.210 schwarze 463: mdoc->last->flags |= NODE_DELIMC;
1.144 schwarze 464: mdoc->flags &= ~MDOC_NODELIMC;
1.105 kristaps 465: }
1.1 kristaps 466:
1.150 schwarze 467: static void
1.189 schwarze 468: append_delims(struct roff_man *mdoc, int line, int *pos, char *buf)
1.1 kristaps 469: {
1.153 schwarze 470: char *p;
1.66 kristaps 471: int la;
1.1 kristaps 472:
1.150 schwarze 473: if (buf[*pos] == '\0')
474: return;
1.1 kristaps 475:
476: for (;;) {
1.66 kristaps 477: la = *pos;
1.191 schwarze 478: if (mdoc_args(mdoc, line, pos, buf, TOKEN_NONE, &p) ==
479: ARGS_EOLN)
1.1 kristaps 480: break;
1.123 schwarze 481: dword(mdoc, line, la, p, DELIM_MAX, 1);
1.66 kristaps 482:
483: /*
484: * If we encounter end-of-sentence symbols, then trigger
485: * the double-space.
486: *
1.109 kristaps 487: * XXX: it's easy to allow this to propagate outward to
1.66 kristaps 488: * the last symbol, such that `. )' will cause the
489: * correct double-spacing. However, (1) groff isn't
490: * smart enough to do this and (2) it would require
491: * knowing which symbols break this behaviour, for
1.109 kristaps 492: * example, `. ;' shouldn't propagate the double-space.
1.66 kristaps 493: */
1.150 schwarze 494:
1.127 schwarze 495: if (mandoc_eos(p, strlen(p)))
1.210 schwarze 496: mdoc->last->flags |= NODE_EOS;
1.1 kristaps 497: }
498: }
499:
500: /*
1.153 schwarze 501: * Parse one word.
502: * If it is a macro, call it and return 1.
503: * Otherwise, allocate it and return 0.
504: */
505: static int
506: macro_or_word(MACRO_PROT_ARGS, int parsed)
507: {
508: char *p;
1.185 schwarze 509: int ntok;
1.153 schwarze 510:
511: p = buf + ppos;
1.191 schwarze 512: ntok = TOKEN_NONE;
1.157 schwarze 513: if (*p == '"')
1.153 schwarze 514: p++;
1.157 schwarze 515: else if (parsed && ! (mdoc->flags & MDOC_PHRASELIT))
1.155 schwarze 516: ntok = lookup(mdoc, tok, line, ppos, p);
1.153 schwarze 517:
1.191 schwarze 518: if (ntok == TOKEN_NONE) {
519: dword(mdoc, line, ppos, p, DELIM_MAX, tok == TOKEN_NONE ||
1.153 schwarze 520: mdoc_macros[tok].flags & MDOC_JOIN);
1.202 schwarze 521: return 0;
1.153 schwarze 522: } else {
1.219 schwarze 523: if (tok != TOKEN_NONE &&
524: mdoc_macros[tok].fp == in_line_eoln)
1.153 schwarze 525: rew_elem(mdoc, tok);
526: mdoc_macro(mdoc, ntok, line, ppos, pos, buf);
1.191 schwarze 527: if (tok == TOKEN_NONE)
1.153 schwarze 528: append_delims(mdoc, line, pos, buf);
1.202 schwarze 529: return 1;
1.153 schwarze 530: }
531: }
532:
533: /*
1.131 schwarze 534: * Close out block partial/full explicit.
1.1 kristaps 535: */
1.151 schwarze 536: static void
1.1 kristaps 537: blk_exp_close(MACRO_PROT_ARGS)
538: {
1.185 schwarze 539: struct roff_node *body; /* Our own body. */
540: struct roff_node *endbody; /* Our own end marker. */
541: struct roff_node *itblk; /* An It block starting later. */
542: struct roff_node *later; /* A sub-block starting later. */
543: struct roff_node *n; /* Search back to our block. */
1.188 schwarze 544: struct roff_node *target; /* For find_pending(). */
1.83 schwarze 545:
1.188 schwarze 546: int j, lastarg, maxargs, nl, pending;
1.55 kristaps 547: enum margserr ac;
1.219 schwarze 548: enum roff_tok atok, ntok;
1.1 kristaps 549: char *p;
550:
1.119 schwarze 551: nl = MDOC_NEWLINE & mdoc->flags;
1.60 kristaps 552:
1.1 kristaps 553: switch (tok) {
1.131 schwarze 554: case MDOC_Ec:
1.1 kristaps 555: maxargs = 1;
556: break;
1.131 schwarze 557: case MDOC_Ek:
1.125 schwarze 558: mdoc->flags &= ~MDOC_KEEP;
1.151 schwarze 559: /* FALLTHROUGH */
1.1 kristaps 560: default:
561: maxargs = 0;
562: break;
563: }
564:
1.209 schwarze 565: /* Search backwards for the beginning of our own body. */
566:
567: atok = rew_alt(tok);
568: body = NULL;
569: for (n = mdoc->last; n; n = n->parent) {
1.210 schwarze 570: if (n->flags & NODE_ENDED || n->tok != atok ||
1.209 schwarze 571: n->type != ROFFT_BODY || n->end != ENDBODY_NOT)
572: continue;
573: body = n;
574: break;
575: }
576:
1.83 schwarze 577: /*
578: * Search backwards for beginnings of blocks,
579: * both of our own and of pending sub-blocks.
580: */
1.151 schwarze 581:
1.209 schwarze 582: endbody = itblk = later = NULL;
1.119 schwarze 583: for (n = mdoc->last; n; n = n->parent) {
1.213 schwarze 584: if (n->flags & NODE_ENDED)
1.83 schwarze 585: continue;
586:
1.209 schwarze 587: /*
1.211 schwarze 588: * Mismatching end macros can never break anything
1.209 schwarze 589: * and we only care about the breaking of BLOCKs.
590: */
1.83 schwarze 591:
1.211 schwarze 592: if (body == NULL || n->type != ROFFT_BLOCK)
1.83 schwarze 593: continue;
1.160 schwarze 594:
1.211 schwarze 595: /*
596: * SYNOPSIS name blocks can not be broken themselves,
597: * but they do get broken together with a broken child.
598: */
599:
600: if (n->tok == MDOC_Nm) {
601: if (later != NULL)
602: n->flags |= NODE_BROKEN | NODE_ENDED;
603: continue;
604: }
605:
1.160 schwarze 606: if (n->tok == MDOC_It) {
1.171 schwarze 607: itblk = n;
1.160 schwarze 608: continue;
609: }
610:
1.83 schwarze 611: if (atok == n->tok) {
612:
613: /*
614: * Found the start of our own block.
615: * When there is no pending sub block,
616: * just proceed to closing out.
617: */
1.151 schwarze 618:
1.160 schwarze 619: if (later == NULL ||
1.171 schwarze 620: (tok == MDOC_El && itblk == NULL))
1.83 schwarze 621: break;
622:
1.131 schwarze 623: /*
1.167 schwarze 624: * When there is a pending sub block, postpone
625: * closing out the current block until the
626: * rew_pending() closing out the sub-block.
1.83 schwarze 627: * Mark the place where the formatting - but not
628: * the scope - of the current block ends.
629: */
1.151 schwarze 630:
1.183 schwarze 631: mandoc_vmsg(MANDOCERR_BLK_NEST, mdoc->parse,
632: line, ppos, "%s breaks %s",
1.219 schwarze 633: roff_name[atok], roff_name[later->tok]);
1.183 schwarze 634:
1.166 schwarze 635: endbody = mdoc_endbody_alloc(mdoc, line, ppos,
1.216 schwarze 636: atok, body);
1.151 schwarze 637:
1.183 schwarze 638: if (tok == MDOC_El)
1.210 schwarze 639: itblk->flags |= NODE_ENDED | NODE_BROKEN;
1.183 schwarze 640:
1.151 schwarze 641: /*
642: * If a block closing macro taking arguments
643: * breaks another block, put the arguments
1.166 schwarze 644: * into the end marker.
1.151 schwarze 645: */
646:
1.166 schwarze 647: if (maxargs)
1.189 schwarze 648: mdoc->next = ROFF_NEXT_CHILD;
1.83 schwarze 649: break;
1.182 schwarze 650: }
651:
1.214 schwarze 652: /*
653: * Explicit blocks close out description lines, but
654: * even those can get broken together with a child.
655: */
1.182 schwarze 656:
657: if (n->tok == MDOC_Nd) {
1.214 schwarze 658: if (later != NULL)
659: n->flags |= NODE_BROKEN | NODE_ENDED;
660: else
661: rew_last(mdoc, n);
1.182 schwarze 662: continue;
1.83 schwarze 663: }
664:
1.183 schwarze 665: /* Breaking an open sub block. */
1.151 schwarze 666:
1.213 schwarze 667: break_intermediate(mdoc->last, body);
1.210 schwarze 668: n->flags |= NODE_BROKEN;
1.183 schwarze 669: if (later == NULL)
1.83 schwarze 670: later = n;
671: }
1.166 schwarze 672:
673: if (body == NULL) {
674: mandoc_msg(MANDOCERR_BLK_NOTOPEN, mdoc->parse,
1.219 schwarze 675: line, ppos, roff_name[tok]);
1.166 schwarze 676: if (maxargs && endbody == NULL) {
677: /*
678: * Stray .Ec without previous .Eo:
679: * Break the output line, keep the arguments.
680: */
1.221 schwarze 681: roff_elem_alloc(mdoc, line, ppos, ROFF_br);
682: rew_elem(mdoc, ROFF_br);
1.166 schwarze 683: }
684: } else if (endbody == NULL) {
685: rew_last(mdoc, body);
686: if (maxargs)
687: mdoc_tail_alloc(mdoc, line, ppos, atok);
688: }
1.83 schwarze 689:
1.150 schwarze 690: if ( ! (mdoc_macros[tok].flags & MDOC_PARSED)) {
691: if (buf[*pos] != '\0')
1.136 schwarze 692: mandoc_vmsg(MANDOCERR_ARG_SKIP,
693: mdoc->parse, line, ppos,
1.219 schwarze 694: "%s %s", roff_name[tok],
1.136 schwarze 695: buf + *pos);
1.171 schwarze 696: if (endbody == NULL && n != NULL)
1.167 schwarze 697: rew_pending(mdoc, n);
1.151 schwarze 698: return;
1.1 kristaps 699: }
700:
1.166 schwarze 701: if (endbody != NULL)
702: n = endbody;
1.197 schwarze 703:
704: ntok = TOKEN_NONE;
1.148 schwarze 705: for (j = 0; ; j++) {
1.1 kristaps 706: lastarg = *pos;
707:
1.186 schwarze 708: if (j == maxargs && n != NULL)
709: rew_last(mdoc, n);
1.1 kristaps 710:
1.119 schwarze 711: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.150 schwarze 712: if (ac == ARGS_PUNCT || ac == ARGS_EOLN)
1.1 kristaps 713: break;
714:
1.191 schwarze 715: ntok = ac == ARGS_QWORD ? TOKEN_NONE :
1.155 schwarze 716: lookup(mdoc, tok, line, lastarg, p);
1.54 kristaps 717:
1.191 schwarze 718: if (ntok == TOKEN_NONE) {
1.150 schwarze 719: dword(mdoc, line, lastarg, p, DELIM_MAX,
720: MDOC_JOIN & mdoc_macros[tok].flags);
1.54 kristaps 721: continue;
722: }
1.1 kristaps 723:
1.186 schwarze 724: if (n != NULL)
725: rew_last(mdoc, n);
1.122 schwarze 726: mdoc->flags &= ~MDOC_NEWLINE;
1.151 schwarze 727: mdoc_macro(mdoc, ntok, line, lastarg, pos, buf);
1.54 kristaps 728: break;
1.1 kristaps 729: }
730:
1.188 schwarze 731: if (n != NULL) {
1.212 schwarze 732: pending = 0;
1.210 schwarze 733: if (ntok != TOKEN_NONE && n->flags & NODE_BROKEN) {
1.188 schwarze 734: target = n;
735: do
736: target = target->parent;
1.210 schwarze 737: while ( ! (target->flags & NODE_ENDED));
1.215 schwarze 738: pending = find_pending(mdoc, ntok, line, ppos, target);
1.212 schwarze 739: }
1.188 schwarze 740: if ( ! pending)
741: rew_pending(mdoc, n);
742: }
1.150 schwarze 743: if (nl)
744: append_delims(mdoc, line, pos, buf);
1.1 kristaps 745: }
746:
1.151 schwarze 747: static void
1.1 kristaps 748: in_line(MACRO_PROT_ARGS)
749: {
1.144 schwarze 750: int la, scope, cnt, firstarg, mayopen, nc, nl;
1.219 schwarze 751: enum roff_tok ntok;
1.55 kristaps 752: enum margserr ac;
1.67 schwarze 753: enum mdelim d;
1.53 kristaps 754: struct mdoc_arg *arg;
755: char *p;
1.1 kristaps 756:
1.119 schwarze 757: nl = MDOC_NEWLINE & mdoc->flags;
1.60 kristaps 758:
1.4 kristaps 759: /*
760: * Whether we allow ignored elements (those without content,
761: * usually because of reserved words) to squeak by.
762: */
1.45 kristaps 763:
1.4 kristaps 764: switch (tok) {
1.131 schwarze 765: case MDOC_An:
766: case MDOC_Ar:
767: case MDOC_Fl:
768: case MDOC_Mt:
769: case MDOC_Nm:
770: case MDOC_Pa:
1.4 kristaps 771: nc = 1;
772: break;
773: default:
774: nc = 0;
775: break;
776: }
777:
1.152 schwarze 778: mdoc_argv(mdoc, line, tok, &arg, pos, buf);
1.1 kristaps 779:
1.144 schwarze 780: d = DELIM_NONE;
781: firstarg = 1;
1.142 schwarze 782: mayopen = 1;
1.70 kristaps 783: for (cnt = scope = 0;; ) {
1.1 kristaps 784: la = *pos;
1.119 schwarze 785: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.1 kristaps 786:
1.144 schwarze 787: /*
788: * At the end of a macro line,
789: * opening delimiters do not suppress spacing.
790: */
791:
792: if (ac == ARGS_EOLN) {
793: if (d == DELIM_OPEN)
1.210 schwarze 794: mdoc->last->flags &= ~NODE_DELIMO;
1.1 kristaps 795: break;
1.144 schwarze 796: }
797:
798: /*
799: * The rest of the macro line is only punctuation,
800: * to be handled by append_delims().
801: * If there were no other arguments,
802: * do not allow the first one to suppress spacing,
803: * even if it turns out to be a closing one.
804: */
805:
806: if (ac == ARGS_PUNCT) {
1.176 schwarze 807: if (cnt == 0 && (nc == 0 || tok == MDOC_An))
1.144 schwarze 808: mdoc->flags |= MDOC_NODELIMC;
1.1 kristaps 809: break;
1.144 schwarze 810: }
1.1 kristaps 811:
1.145 schwarze 812: ntok = (ac == ARGS_QWORD || (tok == MDOC_Fn && !cnt)) ?
1.191 schwarze 813: TOKEN_NONE : lookup(mdoc, tok, line, la, p);
1.1 kristaps 814:
1.131 schwarze 815: /*
1.4 kristaps 816: * In this case, we've located a submacro and must
817: * execute it. Close out scope, if open. If no
818: * elements have been generated, either create one (nc)
819: * or raise a warning.
820: */
1.1 kristaps 821:
1.191 schwarze 822: if (ntok != TOKEN_NONE) {
1.149 schwarze 823: if (scope)
824: rew_elem(mdoc, tok);
1.150 schwarze 825: if (nc && ! cnt) {
826: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1.149 schwarze 827: rew_last(mdoc, mdoc->last);
1.150 schwarze 828: } else if ( ! nc && ! cnt) {
1.7 kristaps 829: mdoc_argv_free(arg);
1.135 schwarze 830: mandoc_msg(MANDOCERR_MACRO_EMPTY,
831: mdoc->parse, line, ppos,
1.219 schwarze 832: roff_name[tok]);
1.7 kristaps 833: }
1.151 schwarze 834: mdoc_macro(mdoc, ntok, line, la, pos, buf);
1.150 schwarze 835: if (nl)
836: append_delims(mdoc, line, pos, buf);
1.151 schwarze 837: return;
1.131 schwarze 838: }
1.1 kristaps 839:
1.131 schwarze 840: /*
1.4 kristaps 841: * Non-quote-enclosed punctuation. Set up our scope, if
842: * a word; rewind the scope, if a delimiter; then append
1.131 schwarze 843: * the word.
1.4 kristaps 844: */
1.1 kristaps 845:
1.150 schwarze 846: d = ac == ARGS_QWORD ? DELIM_NONE : mdoc_isdelim(p);
1.3 kristaps 847:
1.70 kristaps 848: if (DELIM_NONE != d) {
849: /*
850: * If we encounter closing punctuation, no word
1.144 schwarze 851: * has been emitted, no scope is open, and we're
1.70 kristaps 852: * allowed to have an empty element, then start
1.142 schwarze 853: * a new scope.
1.70 kristaps 854: */
1.142 schwarze 855: if ((d == DELIM_CLOSE ||
856: (d == DELIM_MIDDLE && tok == MDOC_Fl)) &&
1.144 schwarze 857: !cnt && !scope && nc && mayopen) {
1.150 schwarze 858: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1.70 kristaps 859: scope = 1;
1.142 schwarze 860: cnt++;
1.150 schwarze 861: if (tok == MDOC_Nm)
1.142 schwarze 862: mayopen = 0;
1.70 kristaps 863: }
864: /*
865: * Close out our scope, if one is open, before
866: * any punctuation.
867: */
1.149 schwarze 868: if (scope)
869: rew_elem(mdoc, tok);
1.70 kristaps 870: scope = 0;
1.145 schwarze 871: if (tok == MDOC_Fn)
872: mayopen = 0;
1.142 schwarze 873: } else if (mayopen && !scope) {
1.150 schwarze 874: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1.70 kristaps 875: scope = 1;
1.142 schwarze 876: cnt++;
1.1 kristaps 877: }
1.105 kristaps 878:
1.150 schwarze 879: dword(mdoc, line, la, p, d,
1.219 schwarze 880: mdoc_macros[tok].flags & MDOC_JOIN);
1.39 kristaps 881:
882: /*
1.144 schwarze 883: * If the first argument is a closing delimiter,
884: * do not suppress spacing before it.
885: */
886:
887: if (firstarg && d == DELIM_CLOSE && !nc)
1.210 schwarze 888: mdoc->last->flags &= ~NODE_DELIMC;
1.144 schwarze 889: firstarg = 0;
890:
891: /*
1.39 kristaps 892: * `Fl' macros have their scope re-opened with each new
893: * word so that the `-' can be added to each one without
894: * having to parse out spaces.
895: */
1.150 schwarze 896: if (scope && tok == MDOC_Fl) {
1.149 schwarze 897: rew_elem(mdoc, tok);
1.70 kristaps 898: scope = 0;
1.39 kristaps 899: }
1.1 kristaps 900: }
901:
1.218 schwarze 902: if (scope && tok != MDOC_Lk) {
1.149 schwarze 903: rew_elem(mdoc, tok);
1.218 schwarze 904: scope = 0;
905: }
1.4 kristaps 906:
907: /*
908: * If no elements have been collected and we're allowed to have
909: * empties (nc), open a scope and close it out. Otherwise,
910: * raise a warning.
911: */
1.45 kristaps 912:
1.150 schwarze 913: if ( ! cnt) {
914: if (nc) {
915: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
916: rew_last(mdoc, mdoc->last);
917: } else {
918: mdoc_argv_free(arg);
919: mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
1.219 schwarze 920: line, ppos, roff_name[tok]);
1.150 schwarze 921: }
1.7 kristaps 922: }
1.150 schwarze 923: if (nl)
924: append_delims(mdoc, line, pos, buf);
1.218 schwarze 925: if (scope)
926: rew_elem(mdoc, tok);
1.1 kristaps 927: }
928:
1.151 schwarze 929: static void
1.1 kristaps 930: blk_full(MACRO_PROT_ARGS)
931: {
1.153 schwarze 932: int la, nl, parsed;
1.1 kristaps 933: struct mdoc_arg *arg;
1.185 schwarze 934: struct roff_node *blk; /* Our own or a broken block. */
935: struct roff_node *head; /* Our own head. */
936: struct roff_node *body; /* Our own body. */
937: struct roff_node *n;
1.59 kristaps 938: enum margserr ac, lac;
1.1 kristaps 939: char *p;
940:
1.119 schwarze 941: nl = MDOC_NEWLINE & mdoc->flags;
1.138 schwarze 942:
1.177 schwarze 943: if (buf[*pos] == '\0' && (tok == MDOC_Sh || tok == MDOC_Ss)) {
944: mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
1.219 schwarze 945: line, ppos, roff_name[tok]);
1.177 schwarze 946: return;
947: }
948:
1.171 schwarze 949: if ( ! (mdoc_macros[tok].flags & MDOC_EXPLICIT)) {
950:
951: /* Here, tok is one of Sh Ss Nm Nd It. */
952:
953: blk = NULL;
954: for (n = mdoc->last; n != NULL; n = n->parent) {
1.210 schwarze 955: if (n->flags & NODE_ENDED) {
956: if ( ! (n->flags & NODE_VALID))
957: n->flags |= NODE_BROKEN;
1.183 schwarze 958: continue;
959: }
1.184 schwarze 960: if (n->type != ROFFT_BLOCK)
1.171 schwarze 961: continue;
1.183 schwarze 962:
1.171 schwarze 963: if (tok == MDOC_It && n->tok == MDOC_Bl) {
964: if (blk != NULL) {
965: mandoc_vmsg(MANDOCERR_BLK_BROKEN,
966: mdoc->parse, line, ppos,
967: "It breaks %s",
1.219 schwarze 968: roff_name[blk->tok]);
1.171 schwarze 969: rew_pending(mdoc, blk);
970: }
971: break;
972: }
973:
974: if (mdoc_macros[n->tok].flags & MDOC_EXPLICIT) {
975: switch (tok) {
976: case MDOC_Sh:
977: case MDOC_Ss:
978: mandoc_vmsg(MANDOCERR_BLK_BROKEN,
979: mdoc->parse, line, ppos,
1.219 schwarze 980: "%s breaks %s", roff_name[tok],
981: roff_name[n->tok]);
1.171 schwarze 982: rew_pending(mdoc, n);
1.180 schwarze 983: n = mdoc->last;
1.171 schwarze 984: continue;
985: case MDOC_It:
986: /* Delay in case it's astray. */
987: blk = n;
988: continue;
989: default:
990: break;
991: }
992: break;
993: }
994:
995: /* Here, n is one of Sh Ss Nm Nd It. */
1.138 schwarze 996:
1.171 schwarze 997: if (tok != MDOC_Sh && (n->tok == MDOC_Sh ||
998: (tok != MDOC_Ss && (n->tok == MDOC_Ss ||
999: (tok != MDOC_It && n->tok == MDOC_It)))))
1.138 schwarze 1000: break;
1.171 schwarze 1001:
1002: /* Item breaking an explicit block. */
1003:
1004: if (blk != NULL) {
1005: mandoc_vmsg(MANDOCERR_BLK_BROKEN,
1006: mdoc->parse, line, ppos,
1.219 schwarze 1007: "It breaks %s", roff_name[blk->tok]);
1.171 schwarze 1008: rew_pending(mdoc, blk);
1.172 schwarze 1009: blk = NULL;
1.171 schwarze 1010: }
1011:
1012: /* Close out prior implicit scopes. */
1013:
1.211 schwarze 1014: rew_pending(mdoc, n);
1.171 schwarze 1015: }
1016:
1017: /* Skip items outside lists. */
1018:
1019: if (tok == MDOC_It && (n == NULL || n->tok != MDOC_Bl)) {
1.138 schwarze 1020: mandoc_vmsg(MANDOCERR_IT_STRAY, mdoc->parse,
1021: line, ppos, "It %s", buf + *pos);
1.221 schwarze 1022: roff_elem_alloc(mdoc, line, ppos, ROFF_br);
1023: rew_elem(mdoc, ROFF_br);
1.151 schwarze 1024: return;
1.138 schwarze 1025: }
1.1 kristaps 1026: }
1027:
1.45 kristaps 1028: /*
1.109 kristaps 1029: * This routine accommodates implicitly- and explicitly-scoped
1.45 kristaps 1030: * macro openings. Implicit ones first close out prior scope
1031: * (seen above). Delay opening the head until necessary to
1032: * allow leading punctuation to print. Special consideration
1033: * for `It -column', which has phrase-part syntax instead of
1034: * regular child nodes.
1035: */
1036:
1.152 schwarze 1037: mdoc_argv(mdoc, line, tok, &arg, pos, buf);
1.165 schwarze 1038: blk = mdoc_block_alloc(mdoc, line, ppos, tok, arg);
1.49 kristaps 1039: head = body = NULL;
1.115 schwarze 1040:
1041: /*
1042: * Exception: Heads of `It' macros in `-diag' lists are not
1043: * parsed, even though `It' macros in general are parsed.
1044: */
1.151 schwarze 1045:
1.153 schwarze 1046: parsed = tok != MDOC_It ||
1047: mdoc->last->parent->tok != MDOC_Bl ||
1048: mdoc->last->parent->norm->Bl.type != LIST_diag;
1.1 kristaps 1049:
1.45 kristaps 1050: /*
1051: * The `Nd' macro has all arguments in its body: it's a hybrid
1052: * of block partial-explicit and full-implicit. Stupid.
1053: */
1.19 kristaps 1054:
1.150 schwarze 1055: if (tok == MDOC_Nd) {
1.190 schwarze 1056: head = roff_head_alloc(mdoc, line, ppos, tok);
1.162 schwarze 1057: rew_last(mdoc, head);
1.190 schwarze 1058: body = roff_body_alloc(mdoc, line, ppos, tok);
1.123 schwarze 1059: }
1060:
1.150 schwarze 1061: if (tok == MDOC_Bk)
1.123 schwarze 1062: mdoc->flags |= MDOC_KEEP;
1.19 kristaps 1063:
1.205 schwarze 1064: ac = ARGS_EOLN;
1.150 schwarze 1065: for (;;) {
1.205 schwarze 1066:
1067: /*
1068: * If we are right after a tab character,
1069: * do not parse the first word for macros.
1070: */
1071:
1072: if (mdoc->flags & MDOC_PHRASEQN) {
1073: mdoc->flags &= ~MDOC_PHRASEQN;
1074: mdoc->flags |= MDOC_PHRASEQF;
1075: }
1076:
1.45 kristaps 1077: la = *pos;
1.150 schwarze 1078: lac = ac;
1.119 schwarze 1079: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.150 schwarze 1080: if (ac == ARGS_EOLN) {
1.205 schwarze 1081: if (lac != ARGS_PHRASE ||
1082: ! (mdoc->flags & MDOC_PHRASEQF))
1.75 kristaps 1083: break;
1.205 schwarze 1084:
1.75 kristaps 1085: /*
1.205 schwarze 1086: * This line ends in a tab; start the next
1087: * column now, with a leading blank.
1.75 kristaps 1088: */
1.205 schwarze 1089:
1.167 schwarze 1090: if (body != NULL)
1091: rew_last(mdoc, body);
1.190 schwarze 1092: body = roff_body_alloc(mdoc, line, ppos, tok);
1.205 schwarze 1093: roff_word_alloc(mdoc, line, ppos, "\\&");
1.1 kristaps 1094: break;
1.75 kristaps 1095: }
1.205 schwarze 1096:
1.174 schwarze 1097: if (tok == MDOC_Bd || tok == MDOC_Bk) {
1098: mandoc_vmsg(MANDOCERR_ARG_EXCESS,
1099: mdoc->parse, line, la, "%s ... %s",
1.219 schwarze 1100: roff_name[tok], buf + la);
1.174 schwarze 1101: break;
1102: }
1.173 schwarze 1103: if (tok == MDOC_Rs) {
1104: mandoc_vmsg(MANDOCERR_ARG_SKIP, mdoc->parse,
1105: line, la, "Rs %s", buf + la);
1106: break;
1107: }
1108: if (ac == ARGS_PUNCT)
1109: break;
1.45 kristaps 1110:
1.131 schwarze 1111: /*
1.73 kristaps 1112: * Emit leading punctuation (i.e., punctuation before
1.184 schwarze 1113: * the ROFFT_HEAD) for non-phrase types.
1.73 kristaps 1114: */
1.45 kristaps 1115:
1.150 schwarze 1116: if (head == NULL &&
1117: ac != ARGS_PHRASE &&
1118: ac != ARGS_QWORD &&
1119: mdoc_isdelim(p) == DELIM_OPEN) {
1120: dword(mdoc, line, la, p, DELIM_OPEN, 0);
1.45 kristaps 1121: continue;
1122: }
1123:
1.74 kristaps 1124: /* Open a head if one hasn't been opened. */
1.45 kristaps 1125:
1.150 schwarze 1126: if (head == NULL)
1.190 schwarze 1127: head = roff_head_alloc(mdoc, line, ppos, tok);
1.45 kristaps 1128:
1.205 schwarze 1129: if (ac == ARGS_PHRASE) {
1.151 schwarze 1130:
1.73 kristaps 1131: /*
1.74 kristaps 1132: * If we haven't opened a body yet, rewind the
1133: * head; if we have, rewind that instead.
1134: */
1135:
1.167 schwarze 1136: rew_last(mdoc, body == NULL ? head : body);
1.190 schwarze 1137: body = roff_body_alloc(mdoc, line, ppos, tok);
1.74 kristaps 1138:
1.205 schwarze 1139: /* Process to the tab or to the end of the line. */
1.74 kristaps 1140:
1.205 schwarze 1141: mdoc->flags |= MDOC_PHRASE;
1.191 schwarze 1142: parse_rest(mdoc, TOKEN_NONE, line, &la, buf);
1.205 schwarze 1143: mdoc->flags &= ~MDOC_PHRASE;
1.204 schwarze 1144:
1145: /* There may have been `Ta' macros. */
1146:
1147: while (body->next != NULL)
1148: body = body->next;
1.1 kristaps 1149: continue;
1150: }
1151:
1.153 schwarze 1152: if (macro_or_word(mdoc, tok, line, la, pos, buf, parsed))
1.151 schwarze 1153: break;
1.45 kristaps 1154: }
1.1 kristaps 1155:
1.210 schwarze 1156: if (blk->flags & NODE_VALID)
1.165 schwarze 1157: return;
1.150 schwarze 1158: if (head == NULL)
1.190 schwarze 1159: head = roff_head_alloc(mdoc, line, ppos, tok);
1.174 schwarze 1160: if (nl && tok != MDOC_Bd && tok != MDOC_Bl && tok != MDOC_Rs)
1.150 schwarze 1161: append_delims(mdoc, line, pos, buf);
1.151 schwarze 1162: if (body != NULL)
1.77 kristaps 1163: goto out;
1.187 schwarze 1164: if (find_pending(mdoc, tok, line, ppos, head))
1.183 schwarze 1165: return;
1.47 kristaps 1166:
1.45 kristaps 1167: /* Close out scopes to remain in a consistent state. */
1168:
1.167 schwarze 1169: rew_last(mdoc, head);
1.190 schwarze 1170: body = roff_body_alloc(mdoc, line, ppos, tok);
1.77 kristaps 1171: out:
1.150 schwarze 1172: if (mdoc->flags & MDOC_FREECOL) {
1.167 schwarze 1173: rew_last(mdoc, body);
1174: rew_last(mdoc, blk);
1.150 schwarze 1175: mdoc->flags &= ~MDOC_FREECOL;
1176: }
1.1 kristaps 1177: }
1178:
1.151 schwarze 1179: static void
1.1 kristaps 1180: blk_part_imp(MACRO_PROT_ARGS)
1181: {
1.63 kristaps 1182: int la, nl;
1.55 kristaps 1183: enum margserr ac;
1.1 kristaps 1184: char *p;
1.185 schwarze 1185: struct roff_node *blk; /* saved block context */
1186: struct roff_node *body; /* saved body context */
1187: struct roff_node *n;
1.1 kristaps 1188:
1.119 schwarze 1189: nl = MDOC_NEWLINE & mdoc->flags;
1.63 kristaps 1190:
1.43 kristaps 1191: /*
1192: * A macro that spans to the end of the line. This is generally
1193: * (but not necessarily) called as the first macro. The block
1194: * has a head as the immediate child, which is always empty,
1195: * followed by zero or more opening punctuation nodes, then the
1196: * body (which may be empty, depending on the macro), then zero
1197: * or more closing punctuation nodes.
1198: */
1.32 kristaps 1199:
1.150 schwarze 1200: blk = mdoc_block_alloc(mdoc, line, ppos, tok, NULL);
1.190 schwarze 1201: rew_last(mdoc, roff_head_alloc(mdoc, line, ppos, tok));
1.1 kristaps 1202:
1.43 kristaps 1203: /*
1204: * Open the body scope "on-demand", that is, after we've
1205: * processed all our the leading delimiters (open parenthesis,
1206: * etc.).
1207: */
1.1 kristaps 1208:
1.43 kristaps 1209: for (body = NULL; ; ) {
1.32 kristaps 1210: la = *pos;
1.119 schwarze 1211: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.150 schwarze 1212: if (ac == ARGS_EOLN || ac == ARGS_PUNCT)
1.1 kristaps 1213: break;
1214:
1.150 schwarze 1215: if (body == NULL && ac != ARGS_QWORD &&
1216: mdoc_isdelim(p) == DELIM_OPEN) {
1217: dword(mdoc, line, la, p, DELIM_OPEN, 0);
1.1 kristaps 1218: continue;
1.123 schwarze 1219: }
1.1 kristaps 1220:
1.150 schwarze 1221: if (body == NULL)
1.190 schwarze 1222: body = roff_body_alloc(mdoc, line, ppos, tok);
1.43 kristaps 1223:
1.153 schwarze 1224: if (macro_or_word(mdoc, tok, line, la, pos, buf, 1))
1.151 schwarze 1225: break;
1.1 kristaps 1226: }
1.150 schwarze 1227: if (body == NULL)
1.190 schwarze 1228: body = roff_body_alloc(mdoc, line, ppos, tok);
1.43 kristaps 1229:
1.187 schwarze 1230: if (find_pending(mdoc, tok, line, ppos, body))
1.183 schwarze 1231: return;
1232:
1.164 schwarze 1233: rew_last(mdoc, body);
1.150 schwarze 1234: if (nl)
1235: append_delims(mdoc, line, pos, buf);
1.166 schwarze 1236: rew_pending(mdoc, blk);
1.117 schwarze 1237:
1238: /* Move trailing .Ns out of scope. */
1239:
1240: for (n = body->child; n && n->next; n = n->next)
1241: /* Do nothing. */ ;
1.150 schwarze 1242: if (n && n->tok == MDOC_Ns)
1.119 schwarze 1243: mdoc_node_relink(mdoc, n);
1.1 kristaps 1244: }
1245:
1.151 schwarze 1246: static void
1.1 kristaps 1247: blk_part_exp(MACRO_PROT_ARGS)
1248: {
1.60 kristaps 1249: int la, nl;
1.55 kristaps 1250: enum margserr ac;
1.185 schwarze 1251: struct roff_node *head; /* keep track of head */
1.1 kristaps 1252: char *p;
1253:
1.119 schwarze 1254: nl = MDOC_NEWLINE & mdoc->flags;
1.60 kristaps 1255:
1.43 kristaps 1256: /*
1257: * The opening of an explicit macro having zero or more leading
1258: * punctuation nodes; a head with optional single element (the
1259: * case of `Eo'); and a body that may be empty.
1260: */
1.32 kristaps 1261:
1.193 schwarze 1262: roff_block_alloc(mdoc, line, ppos, tok);
1.163 schwarze 1263: head = NULL;
1264: for (;;) {
1.32 kristaps 1265: la = *pos;
1.119 schwarze 1266: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.150 schwarze 1267: if (ac == ARGS_PUNCT || ac == ARGS_EOLN)
1.1 kristaps 1268: break;
1.43 kristaps 1269:
1270: /* Flush out leading punctuation. */
1271:
1.150 schwarze 1272: if (head == NULL && ac != ARGS_QWORD &&
1273: mdoc_isdelim(p) == DELIM_OPEN) {
1274: dword(mdoc, line, la, p, DELIM_OPEN, 0);
1.43 kristaps 1275: continue;
1.123 schwarze 1276: }
1.43 kristaps 1277:
1.150 schwarze 1278: if (head == NULL) {
1.190 schwarze 1279: head = roff_head_alloc(mdoc, line, ppos, tok);
1.163 schwarze 1280: if (tok == MDOC_Eo) /* Not parsed. */
1.150 schwarze 1281: dword(mdoc, line, la, p, DELIM_MAX, 0);
1.163 schwarze 1282: rew_last(mdoc, head);
1.190 schwarze 1283: roff_body_alloc(mdoc, line, ppos, tok);
1.150 schwarze 1284: if (tok == MDOC_Eo)
1.43 kristaps 1285: continue;
1.1 kristaps 1286: }
1.43 kristaps 1287:
1.153 schwarze 1288: if (macro_or_word(mdoc, tok, line, la, pos, buf, 1))
1.151 schwarze 1289: break;
1.1 kristaps 1290: }
1291:
1.43 kristaps 1292: /* Clean-up to leave in a consistent state. */
1.32 kristaps 1293:
1.163 schwarze 1294: if (head == NULL) {
1.190 schwarze 1295: rew_last(mdoc, roff_head_alloc(mdoc, line, ppos, tok));
1296: roff_body_alloc(mdoc, line, ppos, tok);
1.1 kristaps 1297: }
1.150 schwarze 1298: if (nl)
1299: append_delims(mdoc, line, pos, buf);
1.1 kristaps 1300: }
1301:
1.151 schwarze 1302: static void
1.1 kristaps 1303: in_line_argn(MACRO_PROT_ARGS)
1304: {
1.53 kristaps 1305: struct mdoc_arg *arg;
1306: char *p;
1.181 schwarze 1307: enum margserr ac;
1.219 schwarze 1308: enum roff_tok ntok;
1.181 schwarze 1309: int state; /* arg#; -1: not yet open; -2: closed */
1310: int la, maxargs, nl;
1.1 kristaps 1311:
1.156 schwarze 1312: nl = mdoc->flags & MDOC_NEWLINE;
1.60 kristaps 1313:
1.46 kristaps 1314: /*
1315: * A line macro that has a fixed number of arguments (maxargs).
1316: * Only open the scope once the first non-leading-punctuation is
1317: * found (unless MDOC_IGNDELIM is noted, like in `Pf'), then
1318: * keep it open until the maximum number of arguments are
1319: * exhausted.
1320: */
1.1 kristaps 1321:
1322: switch (tok) {
1.131 schwarze 1323: case MDOC_Ap:
1324: case MDOC_Ns:
1325: case MDOC_Ux:
1.1 kristaps 1326: maxargs = 0;
1327: break;
1.131 schwarze 1328: case MDOC_Bx:
1.132 schwarze 1329: case MDOC_Es:
1.131 schwarze 1330: case MDOC_Xr:
1.42 kristaps 1331: maxargs = 2;
1332: break;
1.1 kristaps 1333: default:
1334: maxargs = 1;
1335: break;
1336: }
1337:
1.152 schwarze 1338: mdoc_argv(mdoc, line, tok, &arg, pos, buf);
1.1 kristaps 1339:
1.181 schwarze 1340: state = -1;
1.156 schwarze 1341: p = NULL;
1342: for (;;) {
1.32 kristaps 1343: la = *pos;
1.119 schwarze 1344: ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
1.181 schwarze 1345:
1346: if (ac == ARGS_WORD && state == -1 &&
1347: ! (mdoc_macros[tok].flags & MDOC_IGNDELIM) &&
1348: mdoc_isdelim(p) == DELIM_OPEN) {
1349: dword(mdoc, line, la, p, DELIM_OPEN, 0);
1350: continue;
1351: }
1352:
1353: if (state == -1 && tok != MDOC_In &&
1354: tok != MDOC_St && tok != MDOC_Xr) {
1355: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1356: state = 0;
1357: }
1358:
1.156 schwarze 1359: if (ac == ARGS_PUNCT || ac == ARGS_EOLN) {
1.181 schwarze 1360: if (abs(state) < 2 && tok == MDOC_Pf)
1.156 schwarze 1361: mandoc_vmsg(MANDOCERR_PF_SKIP,
1362: mdoc->parse, line, ppos, "Pf %s",
1363: p == NULL ? "at eol" : p);
1.1 kristaps 1364: break;
1.156 schwarze 1365: }
1.1 kristaps 1366:
1.181 schwarze 1367: if (state == maxargs) {
1.149 schwarze 1368: rew_elem(mdoc, tok);
1.181 schwarze 1369: state = -2;
1.46 kristaps 1370: }
1371:
1.181 schwarze 1372: ntok = (ac == ARGS_QWORD || (tok == MDOC_Pf && state == 0)) ?
1.191 schwarze 1373: TOKEN_NONE : lookup(mdoc, tok, line, la, p);
1.54 kristaps 1374:
1.191 schwarze 1375: if (ntok != TOKEN_NONE) {
1.181 schwarze 1376: if (state >= 0) {
1.149 schwarze 1377: rew_elem(mdoc, tok);
1.181 schwarze 1378: state = -2;
1379: }
1.151 schwarze 1380: mdoc_macro(mdoc, ntok, line, la, pos, buf);
1.1 kristaps 1381: break;
1382: }
1383:
1.181 schwarze 1384: if (ac == ARGS_QWORD ||
1385: mdoc_macros[tok].flags & MDOC_IGNDELIM ||
1386: mdoc_isdelim(p) == DELIM_NONE) {
1387: if (state == -1) {
1388: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1389: state = 1;
1390: } else if (state >= 0)
1391: state++;
1392: } else if (state >= 0) {
1.149 schwarze 1393: rew_elem(mdoc, tok);
1.181 schwarze 1394: state = -2;
1.1 kristaps 1395: }
1.42 kristaps 1396:
1.150 schwarze 1397: dword(mdoc, line, la, p, DELIM_MAX,
1.219 schwarze 1398: mdoc_macros[tok].flags & MDOC_JOIN);
1.1 kristaps 1399: }
1400:
1.181 schwarze 1401: if (state == -1) {
1402: mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
1.219 schwarze 1403: line, ppos, roff_name[tok]);
1.181 schwarze 1404: return;
1.156 schwarze 1405: }
1.181 schwarze 1406:
1407: if (state == 0 && tok == MDOC_Pf)
1408: append_delims(mdoc, line, pos, buf);
1409: if (state >= 0)
1.149 schwarze 1410: rew_elem(mdoc, tok);
1.150 schwarze 1411: if (nl)
1412: append_delims(mdoc, line, pos, buf);
1.1 kristaps 1413: }
1414:
1.151 schwarze 1415: static void
1.1 kristaps 1416: in_line_eoln(MACRO_PROT_ARGS)
1417: {
1.185 schwarze 1418: struct roff_node *n;
1.170 schwarze 1419: struct mdoc_arg *arg;
1.1 kristaps 1420:
1.170 schwarze 1421: if ((tok == MDOC_Pp || tok == MDOC_Lp) &&
1422: ! (mdoc->flags & MDOC_SYNOPSIS)) {
1423: n = mdoc->last;
1.189 schwarze 1424: if (mdoc->next == ROFF_NEXT_SIBLING)
1.170 schwarze 1425: n = n->parent;
1426: if (n->tok == MDOC_Nm)
1.198 schwarze 1427: rew_last(mdoc, n->parent);
1.178 schwarze 1428: }
1429:
1.179 schwarze 1430: if (buf[*pos] == '\0' &&
1.219 schwarze 1431: (tok == MDOC_Fd || *roff_name[tok] == '%')) {
1.178 schwarze 1432: mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
1.219 schwarze 1433: line, ppos, roff_name[tok]);
1.178 schwarze 1434: return;
1.170 schwarze 1435: }
1.90 schwarze 1436:
1.152 schwarze 1437: mdoc_argv(mdoc, line, tok, &arg, pos, buf);
1.150 schwarze 1438: mdoc_elem_alloc(mdoc, line, ppos, tok, arg);
1.154 schwarze 1439: if (parse_rest(mdoc, tok, line, pos, buf))
1440: return;
1441: rew_elem(mdoc, tok);
1442: }
1443:
1444: /*
1445: * The simplest argument parser available: Parse the remaining
1446: * words until the end of the phrase or line and return 0
1447: * or until the next macro, call that macro, and return 1.
1448: */
1449: static int
1.219 schwarze 1450: parse_rest(struct roff_man *mdoc, enum roff_tok tok,
1451: int line, int *pos, char *buf)
1.154 schwarze 1452: {
1453: int la;
1.1 kristaps 1454:
1455: for (;;) {
1456: la = *pos;
1.153 schwarze 1457: if (mdoc_args(mdoc, line, pos, buf, tok, NULL) == ARGS_EOLN)
1.202 schwarze 1458: return 0;
1.153 schwarze 1459: if (macro_or_word(mdoc, tok, line, la, pos, buf, 1))
1.202 schwarze 1460: return 1;
1.1 kristaps 1461: }
1462: }
1463:
1.151 schwarze 1464: static void
1.41 kristaps 1465: ctx_synopsis(MACRO_PROT_ARGS)
1466: {
1.60 kristaps 1467:
1.151 schwarze 1468: if (~mdoc->flags & (MDOC_SYNOPSIS | MDOC_NEWLINE))
1469: in_line(mdoc, tok, line, ppos, pos, buf);
1470: else if (tok == MDOC_Nm)
1471: blk_full(mdoc, tok, line, ppos, pos, buf);
1472: else {
1473: assert(tok == MDOC_Vt);
1474: blk_part_imp(mdoc, tok, line, ppos, pos, buf);
1475: }
1.1 kristaps 1476: }
1477:
1.24 kristaps 1478: /*
1479: * Phrases occur within `Bl -column' entries, separated by `Ta' or tabs.
1480: * They're unusual because they're basically free-form text until a
1481: * macro is encountered.
1482: */
1.151 schwarze 1483: static void
1.75 kristaps 1484: phrase_ta(MACRO_PROT_ARGS)
1485: {
1.185 schwarze 1486: struct roff_node *body, *n;
1.75 kristaps 1487:
1.121 schwarze 1488: /* Make sure we are in a column list or ignore this macro. */
1.151 schwarze 1489:
1.167 schwarze 1490: body = NULL;
1491: for (n = mdoc->last; n != NULL; n = n->parent) {
1.210 schwarze 1492: if (n->flags & NODE_ENDED)
1.167 schwarze 1493: continue;
1.184 schwarze 1494: if (n->tok == MDOC_It && n->type == ROFFT_BODY)
1.167 schwarze 1495: body = n;
1.208 schwarze 1496: if (n->tok == MDOC_Bl && n->end == ENDBODY_NOT)
1.167 schwarze 1497: break;
1498: }
1499:
1.151 schwarze 1500: if (n == NULL || n->norm->Bl.type != LIST_column) {
1.137 schwarze 1501: mandoc_msg(MANDOCERR_TA_STRAY, mdoc->parse,
1.139 schwarze 1502: line, ppos, "Ta");
1.151 schwarze 1503: return;
1.121 schwarze 1504: }
1.75 kristaps 1505:
1.121 schwarze 1506: /* Advance to the next column. */
1.150 schwarze 1507:
1.167 schwarze 1508: rew_last(mdoc, body);
1.190 schwarze 1509: roff_body_alloc(mdoc, line, ppos, MDOC_It);
1.191 schwarze 1510: parse_rest(mdoc, TOKEN_NONE, line, pos, buf);
1.75 kristaps 1511: }
CVSweb