Annotation of src/usr.bin/mandoc/roff.c, Revision 1.123
1.123 ! schwarze 1: /* $OpenBSD: roff.c,v 1.122 2015/01/16 16:52:39 schwarze Exp $ */
1.1 schwarze 2: /*
1.119 schwarze 3: * Copyright (c) 2010, 2011, 2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
4: * Copyright (c) 2010-2015 Ingo Schwarze <schwarze@openbsd.org>
1.1 schwarze 5: *
6: * Permission to use, copy, modify, and distribute this software for any
7: * purpose with or without fee is hereby granted, provided that the above
8: * copyright notice and this permission notice appear in all copies.
9: *
1.16 schwarze 10: * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
1.1 schwarze 11: * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1.16 schwarze 12: * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
1.1 schwarze 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.
17: */
1.99 schwarze 18: #include <sys/types.h>
19:
1.1 schwarze 20: #include <assert.h>
1.3 schwarze 21: #include <ctype.h>
1.117 schwarze 22: #include <limits.h>
1.51 schwarze 23: #include <stdio.h>
1.1 schwarze 24: #include <stdlib.h>
25: #include <string.h>
26:
27: #include "mandoc.h"
1.74 schwarze 28: #include "mandoc_aux.h"
1.98 daniel 29: #include "libmandoc.h"
1.27 schwarze 30: #include "libroff.h"
1.1 schwarze 31:
1.37 schwarze 32: /* Maximum number of nested if-else conditionals. */
1.2 schwarze 33: #define RSTACK_MAX 128
34:
1.43 schwarze 35: /* Maximum number of string expansions per line, to break infinite loops. */
36: #define EXPAND_LIMIT 1000
37:
1.1 schwarze 38: enum rofft {
1.123 ! schwarze 39: ROFF_ab,
1.20 schwarze 40: ROFF_ad,
1.123 ! schwarze 41: ROFF_af,
! 42: ROFF_aln,
! 43: ROFF_als,
1.2 schwarze 44: ROFF_am,
1.123 ! schwarze 45: ROFF_am1,
1.2 schwarze 46: ROFF_ami,
1.123 ! schwarze 47: ROFF_ami1,
1.66 schwarze 48: ROFF_as,
1.123 ! schwarze 49: ROFF_as1,
! 50: ROFF_asciify,
! 51: ROFF_backtrace,
! 52: ROFF_bd,
! 53: ROFF_bleedat,
! 54: ROFF_blm,
! 55: ROFF_box,
! 56: ROFF_boxa,
! 57: ROFF_bp,
! 58: ROFF_BP,
! 59: /* MAN_br, MDOC_br */
! 60: ROFF_break,
! 61: ROFF_breakchar,
! 62: ROFF_brnl,
! 63: ROFF_brp,
! 64: ROFF_brpnl,
! 65: ROFF_c2,
1.48 schwarze 66: ROFF_cc,
1.67 schwarze 67: ROFF_ce,
1.123 ! schwarze 68: ROFF_cf,
! 69: ROFF_cflags,
! 70: ROFF_ch,
! 71: ROFF_char,
! 72: ROFF_chop,
! 73: ROFF_class,
! 74: ROFF_close,
! 75: ROFF_CL,
! 76: ROFF_color,
! 77: ROFF_composite,
! 78: ROFF_continue,
! 79: ROFF_cp,
! 80: ROFF_cropat,
! 81: ROFF_cs,
! 82: ROFF_cu,
! 83: ROFF_da,
! 84: ROFF_dch,
! 85: ROFF_Dd,
1.1 schwarze 86: ROFF_de,
1.123 ! schwarze 87: ROFF_de1,
! 88: ROFF_defcolor,
1.1 schwarze 89: ROFF_dei,
1.123 ! schwarze 90: ROFF_dei1,
! 91: ROFF_device,
! 92: ROFF_devicem,
! 93: ROFF_di,
! 94: ROFF_do,
1.2 schwarze 95: ROFF_ds,
1.123 ! schwarze 96: ROFF_ds1,
! 97: ROFF_dwh,
! 98: ROFF_dt,
! 99: ROFF_ec,
! 100: ROFF_ecr,
! 101: ROFF_ecs,
1.2 schwarze 102: ROFF_el,
1.123 ! schwarze 103: ROFF_em,
! 104: ROFF_EN,
! 105: ROFF_eo,
! 106: ROFF_EP,
! 107: ROFF_EQ,
! 108: ROFF_errprint,
! 109: ROFF_ev,
! 110: ROFF_evc,
! 111: ROFF_ex,
! 112: ROFF_fallback,
1.58 schwarze 113: ROFF_fam,
1.123 ! schwarze 114: ROFF_fc,
! 115: ROFF_fchar,
! 116: ROFF_fcolor,
! 117: ROFF_fdeferlig,
! 118: ROFF_feature,
! 119: /* MAN_fi; ignored in mdoc(7) */
! 120: ROFF_fkern,
! 121: ROFF_fl,
! 122: ROFF_flig,
! 123: ROFF_fp,
! 124: ROFF_fps,
! 125: ROFF_fschar,
! 126: ROFF_fspacewidth,
! 127: ROFF_fspecial,
! 128: /* MAN_ft; ignored in mdoc(7) */
! 129: ROFF_ftr,
! 130: ROFF_fzoom,
! 131: ROFF_gcolor,
! 132: ROFF_hc,
! 133: ROFF_hcode,
! 134: ROFF_hidechar,
! 135: ROFF_hla,
! 136: ROFF_hlm,
! 137: ROFF_hpf,
! 138: ROFF_hpfa,
! 139: ROFF_hpfcode,
1.59 schwarze 140: ROFF_hw,
1.20 schwarze 141: ROFF_hy,
1.123 ! schwarze 142: ROFF_hylang,
! 143: ROFF_hylen,
! 144: ROFF_hym,
! 145: ROFF_hypp,
! 146: ROFF_hys,
1.2 schwarze 147: ROFF_ie,
148: ROFF_if,
1.1 schwarze 149: ROFF_ig,
1.123 ! schwarze 150: /* MAN_in; ignored in mdoc(7) */
! 151: ROFF_index,
1.30 schwarze 152: ROFF_it,
1.123 ! schwarze 153: ROFF_itc,
! 154: ROFF_IX,
! 155: ROFF_kern,
! 156: ROFF_kernafter,
! 157: ROFF_kernbefore,
! 158: ROFF_kernpair,
! 159: ROFF_lc,
! 160: ROFF_lc_ctype,
! 161: ROFF_lds,
! 162: ROFF_length,
! 163: ROFF_letadj,
! 164: ROFF_lf,
! 165: ROFF_lg,
! 166: ROFF_lhang,
! 167: ROFF_linetabs,
! 168: /* MAN_ll, MDOC_ll */
! 169: ROFF_lnr,
! 170: ROFF_lnrf,
! 171: ROFF_lpfx,
! 172: ROFF_ls,
! 173: ROFF_lsm,
! 174: ROFF_lt,
! 175: ROFF_mc,
! 176: ROFF_mediasize,
! 177: ROFF_minss,
! 178: ROFF_mk,
! 179: ROFF_mso,
! 180: /* MAN_na; ignored in mdoc(7) */
1.20 schwarze 181: ROFF_ne,
1.123 ! schwarze 182: /* MAN_nf; ignored in mdoc(7) */
1.20 schwarze 183: ROFF_nh,
1.123 ! schwarze 184: ROFF_nhychar,
! 185: ROFF_nm,
! 186: ROFF_nn,
! 187: ROFF_nop,
1.14 schwarze 188: ROFF_nr,
1.123 ! schwarze 189: ROFF_nrf,
! 190: ROFF_nroff,
1.31 schwarze 191: ROFF_ns,
1.123 ! schwarze 192: ROFF_nx,
! 193: ROFF_open,
! 194: ROFF_opena,
! 195: ROFF_os,
! 196: ROFF_output,
! 197: ROFF_padj,
! 198: ROFF_papersize,
! 199: ROFF_pc,
! 200: ROFF_pev,
! 201: ROFF_pi,
! 202: ROFF_PI,
1.101 schwarze 203: ROFF_pl,
1.123 ! schwarze 204: ROFF_pm,
! 205: ROFF_pn,
! 206: ROFF_pnr,
! 207: ROFF_po,
1.31 schwarze 208: ROFF_ps,
1.123 ! schwarze 209: ROFF_psbb,
! 210: ROFF_pshape,
! 211: ROFF_pso,
! 212: ROFF_ptr,
! 213: ROFF_pvs,
! 214: ROFF_rchar,
! 215: ROFF_rd,
! 216: ROFF_recursionlimit,
! 217: ROFF_return,
! 218: ROFF_rfschar,
! 219: ROFF_rhang,
! 220: ROFF_rj,
1.2 schwarze 221: ROFF_rm,
1.123 ! schwarze 222: ROFF_rn,
! 223: ROFF_rnn,
1.76 schwarze 224: ROFF_rr,
1.123 ! schwarze 225: ROFF_rs,
! 226: ROFF_rt,
! 227: ROFF_schar,
! 228: ROFF_sentchar,
! 229: ROFF_shc,
! 230: ROFF_shift,
! 231: ROFF_sizes,
1.14 schwarze 232: ROFF_so,
1.123 ! schwarze 233: /* MAN_sp, MDOC_sp */
! 234: ROFF_spacewidth,
! 235: ROFF_special,
! 236: ROFF_spreadwarn,
! 237: ROFF_ss,
! 238: ROFF_sty,
! 239: ROFF_substring,
! 240: ROFF_sv,
! 241: ROFF_sy,
! 242: ROFF_T_,
1.31 schwarze 243: ROFF_ta,
1.123 ! schwarze 244: ROFF_tc,
! 245: ROFF_TE,
! 246: ROFF_TH,
! 247: ROFF_ti,
! 248: ROFF_tkf,
! 249: ROFF_tl,
! 250: ROFF_tm,
! 251: ROFF_tm1,
! 252: ROFF_tmc,
1.2 schwarze 253: ROFF_tr,
1.123 ! schwarze 254: ROFF_track,
! 255: ROFF_transchar,
! 256: ROFF_trf,
! 257: ROFF_trimat,
! 258: ROFF_trin,
! 259: ROFF_trnt,
! 260: ROFF_troff,
1.27 schwarze 261: ROFF_TS,
1.123 ! schwarze 262: ROFF_uf,
! 263: ROFF_ul,
! 264: ROFF_unformat,
! 265: ROFF_unwatch,
! 266: ROFF_unwatchn,
! 267: ROFF_vpt,
! 268: ROFF_vs,
! 269: ROFF_warn,
! 270: ROFF_warnscale,
! 271: ROFF_watch,
! 272: ROFF_watchlength,
! 273: ROFF_watchn,
! 274: ROFF_wh,
! 275: ROFF_while,
! 276: ROFF_write,
! 277: ROFF_writec,
! 278: ROFF_writem,
! 279: ROFF_xflag,
1.2 schwarze 280: ROFF_cblock,
1.16 schwarze 281: ROFF_USERDEF,
1.1 schwarze 282: ROFF_MAX
283: };
284:
1.41 schwarze 285: /*
1.42 schwarze 286: * An incredibly-simple string buffer.
287: */
1.8 schwarze 288: struct roffstr {
1.42 schwarze 289: char *p; /* nil-terminated buffer */
290: size_t sz; /* saved strlen(p) */
291: };
292:
293: /*
294: * A key-value roffstr pair as part of a singly-linked list.
295: */
296: struct roffkv {
297: struct roffstr key;
298: struct roffstr val;
299: struct roffkv *next; /* next in list */
1.8 schwarze 300: };
301:
1.52 schwarze 302: /*
303: * A single number register as part of a singly-linked list.
304: */
305: struct roffreg {
306: struct roffstr key;
1.53 schwarze 307: int val;
1.52 schwarze 308: struct roffreg *next;
309: };
310:
1.1 schwarze 311: struct roff {
1.35 schwarze 312: struct mparse *parse; /* parse point */
1.109 schwarze 313: const struct mchars *mchars; /* character table */
1.1 schwarze 314: struct roffnode *last; /* leaf of stack */
1.96 schwarze 315: int *rstack; /* stack of inverted `ie' values */
1.52 schwarze 316: struct roffreg *regtab; /* number registers */
1.42 schwarze 317: struct roffkv *strtab; /* user-defined strings & macros */
318: struct roffkv *xmbtab; /* multi-byte trans table (`tr') */
319: struct roffstr *xtab; /* single-byte trans table (`tr') */
1.16 schwarze 320: const char *current_string; /* value of last called user macro */
1.27 schwarze 321: struct tbl_node *first_tbl; /* first table parsed */
322: struct tbl_node *last_tbl; /* last table parsed */
323: struct tbl_node *tbl; /* current table being parsed */
1.32 schwarze 324: struct eqn_node *last_eqn; /* last equation parsed */
325: struct eqn_node *first_eqn; /* first equation parsed */
326: struct eqn_node *eqn; /* current equation being parsed */
1.102 schwarze 327: int eqn_inline; /* current equation is inline */
1.96 schwarze 328: int options; /* parse options */
329: int rstacksz; /* current size limit of rstack */
330: int rstackpos; /* position in rstack */
1.99 schwarze 331: int format; /* current file in mdoc or man format */
1.96 schwarze 332: char control; /* control character */
1.1 schwarze 333: };
334:
335: struct roffnode {
336: enum rofft tok; /* type of node */
337: struct roffnode *parent; /* up one in stack */
338: int line; /* parse line */
339: int col; /* parse col */
1.16 schwarze 340: char *name; /* node name, e.g. macro name */
1.2 schwarze 341: char *end; /* end-rules: custom token */
342: int endspan; /* end-rules: next-line or infty */
1.71 schwarze 343: int rule; /* current evaluation rule */
1.1 schwarze 344: };
345:
346: #define ROFF_ARGS struct roff *r, /* parse ctx */ \
347: enum rofft tok, /* tok of macro */ \
1.110 schwarze 348: struct buf *buf, /* input buffer */ \
1.1 schwarze 349: int ln, /* parse line */ \
1.2 schwarze 350: int ppos, /* original pos in buffer */ \
351: int pos, /* current pos in buffer */ \
352: int *offs /* reset offset of buffer data */
1.1 schwarze 353:
354: typedef enum rofferr (*roffproc)(ROFF_ARGS);
355:
356: struct roffmac {
357: const char *name; /* macro name */
1.2 schwarze 358: roffproc proc; /* process new macro */
359: roffproc text; /* process as child text of macro */
360: roffproc sub; /* process as child of macro */
361: int flags;
362: #define ROFFMAC_STRUCT (1 << 0) /* always interpret */
1.3 schwarze 363: struct roffmac *next;
1.1 schwarze 364: };
365:
1.37 schwarze 366: struct predef {
367: const char *name; /* predefined input name */
368: const char *str; /* replacement symbol */
369: };
370:
371: #define PREDEF(__name, __str) \
372: { (__name), (__str) },
373:
1.42 schwarze 374: static enum rofft roffhash_find(const char *, size_t);
375: static void roffhash_init(void);
376: static void roffnode_cleanscope(struct roff *);
377: static void roffnode_pop(struct roff *);
378: static void roffnode_push(struct roff *, enum rofft,
379: const char *, int, int);
1.2 schwarze 380: static enum rofferr roff_block(ROFF_ARGS);
381: static enum rofferr roff_block_text(ROFF_ARGS);
382: static enum rofferr roff_block_sub(ROFF_ARGS);
1.123 ! schwarze 383: static enum rofferr roff_brp(ROFF_ARGS);
1.2 schwarze 384: static enum rofferr roff_cblock(ROFF_ARGS);
1.48 schwarze 385: static enum rofferr roff_cc(ROFF_ARGS);
1.68 schwarze 386: static void roff_ccond(struct roff *, int, int);
1.2 schwarze 387: static enum rofferr roff_cond(ROFF_ARGS);
388: static enum rofferr roff_cond_text(ROFF_ARGS);
389: static enum rofferr roff_cond_sub(ROFF_ARGS);
1.7 schwarze 390: static enum rofferr roff_ds(ROFF_ARGS);
1.110 schwarze 391: static enum rofferr roff_eqndelim(struct roff *, struct buf *, int);
1.106 schwarze 392: static int roff_evalcond(struct roff *r, int,
393: const char *, int *);
394: static int roff_evalnum(struct roff *, int,
395: const char *, int *, int *, int);
396: static int roff_evalpar(struct roff *, int,
397: const char *, int *, int *);
1.71 schwarze 398: static int roff_evalstrcond(const char *, int *);
1.42 schwarze 399: static void roff_free1(struct roff *);
1.52 schwarze 400: static void roff_freereg(struct roffreg *);
1.42 schwarze 401: static void roff_freestr(struct roffkv *);
1.85 schwarze 402: static size_t roff_getname(struct roff *, char **, int, int);
1.56 schwarze 403: static int roff_getnum(const char *, int *, int *);
404: static int roff_getop(const char *, int *, char *);
1.53 schwarze 405: static int roff_getregn(const struct roff *,
406: const char *, size_t);
1.65 schwarze 407: static int roff_getregro(const char *name);
1.80 schwarze 408: static const char *roff_getstrn(const struct roff *,
1.8 schwarze 409: const char *, size_t);
1.123 ! schwarze 410: static enum rofferr roff_insec(ROFF_ARGS);
1.51 schwarze 411: static enum rofferr roff_it(ROFF_ARGS);
1.21 schwarze 412: static enum rofferr roff_line_ignore(ROFF_ARGS);
1.6 schwarze 413: static enum rofferr roff_nr(ROFF_ARGS);
1.87 schwarze 414: static enum rofft roff_parse(struct roff *, char *, int *,
415: int, int);
1.110 schwarze 416: static enum rofferr roff_parsetext(struct buf *, int, int *);
417: static enum rofferr roff_res(struct roff *, struct buf *, int, int);
1.29 schwarze 418: static enum rofferr roff_rm(ROFF_ARGS);
1.76 schwarze 419: static enum rofferr roff_rr(ROFF_ARGS);
1.8 schwarze 420: static void roff_setstr(struct roff *,
1.16 schwarze 421: const char *, const char *, int);
1.80 schwarze 422: static void roff_setstrn(struct roffkv **, const char *,
1.42 schwarze 423: size_t, const char *, size_t, int);
1.14 schwarze 424: static enum rofferr roff_so(ROFF_ARGS);
1.42 schwarze 425: static enum rofferr roff_tr(ROFF_ARGS);
1.47 schwarze 426: static enum rofferr roff_Dd(ROFF_ARGS);
427: static enum rofferr roff_TH(ROFF_ARGS);
1.27 schwarze 428: static enum rofferr roff_TE(ROFF_ARGS);
429: static enum rofferr roff_TS(ROFF_ARGS);
1.32 schwarze 430: static enum rofferr roff_EQ(ROFF_ARGS);
431: static enum rofferr roff_EN(ROFF_ARGS);
1.27 schwarze 432: static enum rofferr roff_T_(ROFF_ARGS);
1.123 ! schwarze 433: static enum rofferr roff_unsupp(ROFF_ARGS);
1.16 schwarze 434: static enum rofferr roff_userdef(ROFF_ARGS);
1.1 schwarze 435:
1.42 schwarze 436: /* See roffhash_find() */
1.3 schwarze 437:
438: #define ASCII_HI 126
439: #define ASCII_LO 33
440: #define HASHWIDTH (ASCII_HI - ASCII_LO + 1)
441:
442: static struct roffmac *hash[HASHWIDTH];
443:
444: static struct roffmac roffs[ROFF_MAX] = {
1.123 ! schwarze 445: { "ab", roff_unsupp, NULL, NULL, 0, NULL },
1.21 schwarze 446: { "ad", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 447: { "af", roff_line_ignore, NULL, NULL, 0, NULL },
! 448: { "aln", roff_unsupp, NULL, NULL, 0, NULL },
! 449: { "als", roff_unsupp, NULL, NULL, 0, NULL },
1.3 schwarze 450: { "am", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.123 ! schwarze 451: { "am1", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.3 schwarze 452: { "ami", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.123 ! schwarze 453: { "ami1", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.66 schwarze 454: { "as", roff_ds, NULL, NULL, 0, NULL },
1.123 ! schwarze 455: { "as1", roff_ds, NULL, NULL, 0, NULL },
! 456: { "asciify", roff_unsupp, NULL, NULL, 0, NULL },
! 457: { "backtrace", roff_line_ignore, NULL, NULL, 0, NULL },
! 458: { "bd", roff_line_ignore, NULL, NULL, 0, NULL },
! 459: { "bleedat", roff_line_ignore, NULL, NULL, 0, NULL },
! 460: { "blm", roff_unsupp, NULL, NULL, 0, NULL },
! 461: { "box", roff_unsupp, NULL, NULL, 0, NULL },
! 462: { "boxa", roff_unsupp, NULL, NULL, 0, NULL },
! 463: { "bp", roff_line_ignore, NULL, NULL, 0, NULL },
! 464: { "BP", roff_unsupp, NULL, NULL, 0, NULL },
! 465: { "break", roff_unsupp, NULL, NULL, 0, NULL },
! 466: { "breakchar", roff_line_ignore, NULL, NULL, 0, NULL },
! 467: { "brnl", roff_line_ignore, NULL, NULL, 0, NULL },
! 468: { "brp", roff_brp, NULL, NULL, 0, NULL },
! 469: { "brpnl", roff_line_ignore, NULL, NULL, 0, NULL },
! 470: { "c2", roff_unsupp, NULL, NULL, 0, NULL },
1.48 schwarze 471: { "cc", roff_cc, NULL, NULL, 0, NULL },
1.67 schwarze 472: { "ce", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 473: { "cf", roff_insec, NULL, NULL, 0, NULL },
! 474: { "cflags", roff_line_ignore, NULL, NULL, 0, NULL },
! 475: { "ch", roff_line_ignore, NULL, NULL, 0, NULL },
! 476: { "char", roff_unsupp, NULL, NULL, 0, NULL },
! 477: { "chop", roff_unsupp, NULL, NULL, 0, NULL },
! 478: { "class", roff_line_ignore, NULL, NULL, 0, NULL },
! 479: { "close", roff_insec, NULL, NULL, 0, NULL },
! 480: { "CL", roff_unsupp, NULL, NULL, 0, NULL },
! 481: { "color", roff_line_ignore, NULL, NULL, 0, NULL },
! 482: { "composite", roff_unsupp, NULL, NULL, 0, NULL },
! 483: { "continue", roff_unsupp, NULL, NULL, 0, NULL },
! 484: { "cp", roff_line_ignore, NULL, NULL, 0, NULL },
! 485: { "cropat", roff_line_ignore, NULL, NULL, 0, NULL },
! 486: { "cs", roff_line_ignore, NULL, NULL, 0, NULL },
! 487: { "cu", roff_line_ignore, NULL, NULL, 0, NULL },
! 488: { "da", roff_unsupp, NULL, NULL, 0, NULL },
! 489: { "dch", roff_unsupp, NULL, NULL, 0, NULL },
! 490: { "Dd", roff_Dd, NULL, NULL, 0, NULL },
1.3 schwarze 491: { "de", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.123 ! schwarze 492: { "de1", roff_block, roff_block_text, roff_block_sub, 0, NULL },
! 493: { "defcolor", roff_line_ignore, NULL, NULL, 0, NULL },
1.3 schwarze 494: { "dei", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.123 ! schwarze 495: { "dei1", roff_block, roff_block_text, roff_block_sub, 0, NULL },
! 496: { "device", roff_unsupp, NULL, NULL, 0, NULL },
! 497: { "devicem", roff_unsupp, NULL, NULL, 0, NULL },
! 498: { "di", roff_unsupp, NULL, NULL, 0, NULL },
! 499: { "do", roff_unsupp, NULL, NULL, 0, NULL },
1.7 schwarze 500: { "ds", roff_ds, NULL, NULL, 0, NULL },
1.123 ! schwarze 501: { "ds1", roff_ds, NULL, NULL, 0, NULL },
! 502: { "dwh", roff_unsupp, NULL, NULL, 0, NULL },
! 503: { "dt", roff_unsupp, NULL, NULL, 0, NULL },
! 504: { "ec", roff_unsupp, NULL, NULL, 0, NULL },
! 505: { "ecr", roff_unsupp, NULL, NULL, 0, NULL },
! 506: { "ecs", roff_unsupp, NULL, NULL, 0, NULL },
1.3 schwarze 507: { "el", roff_cond, roff_cond_text, roff_cond_sub, ROFFMAC_STRUCT, NULL },
1.123 ! schwarze 508: { "em", roff_unsupp, NULL, NULL, 0, NULL },
! 509: { "EN", roff_EN, NULL, NULL, 0, NULL },
! 510: { "eo", roff_unsupp, NULL, NULL, 0, NULL },
! 511: { "EP", roff_unsupp, NULL, NULL, 0, NULL },
! 512: { "EQ", roff_EQ, NULL, NULL, 0, NULL },
! 513: { "errprint", roff_line_ignore, NULL, NULL, 0, NULL },
! 514: { "ev", roff_unsupp, NULL, NULL, 0, NULL },
! 515: { "evc", roff_unsupp, NULL, NULL, 0, NULL },
! 516: { "ex", roff_unsupp, NULL, NULL, 0, NULL },
! 517: { "fallback", roff_line_ignore, NULL, NULL, 0, NULL },
1.58 schwarze 518: { "fam", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 519: { "fc", roff_unsupp, NULL, NULL, 0, NULL },
! 520: { "fchar", roff_unsupp, NULL, NULL, 0, NULL },
! 521: { "fcolor", roff_line_ignore, NULL, NULL, 0, NULL },
! 522: { "fdeferlig", roff_line_ignore, NULL, NULL, 0, NULL },
! 523: { "feature", roff_line_ignore, NULL, NULL, 0, NULL },
! 524: { "fkern", roff_line_ignore, NULL, NULL, 0, NULL },
! 525: { "fl", roff_line_ignore, NULL, NULL, 0, NULL },
! 526: { "flig", roff_line_ignore, NULL, NULL, 0, NULL },
! 527: { "fp", roff_line_ignore, NULL, NULL, 0, NULL },
! 528: { "fps", roff_line_ignore, NULL, NULL, 0, NULL },
! 529: { "fschar", roff_unsupp, NULL, NULL, 0, NULL },
! 530: { "fspacewidth", roff_line_ignore, NULL, NULL, 0, NULL },
! 531: { "fspecial", roff_line_ignore, NULL, NULL, 0, NULL },
! 532: { "ftr", roff_line_ignore, NULL, NULL, 0, NULL },
! 533: { "fzoom", roff_line_ignore, NULL, NULL, 0, NULL },
! 534: { "gcolor", roff_line_ignore, NULL, NULL, 0, NULL },
! 535: { "hc", roff_line_ignore, NULL, NULL, 0, NULL },
! 536: { "hcode", roff_line_ignore, NULL, NULL, 0, NULL },
! 537: { "hidechar", roff_line_ignore, NULL, NULL, 0, NULL },
! 538: { "hla", roff_line_ignore, NULL, NULL, 0, NULL },
! 539: { "hlm", roff_line_ignore, NULL, NULL, 0, NULL },
! 540: { "hpf", roff_line_ignore, NULL, NULL, 0, NULL },
! 541: { "hpfa", roff_line_ignore, NULL, NULL, 0, NULL },
! 542: { "hpfcode", roff_line_ignore, NULL, NULL, 0, NULL },
1.59 schwarze 543: { "hw", roff_line_ignore, NULL, NULL, 0, NULL },
1.21 schwarze 544: { "hy", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 545: { "hylang", roff_line_ignore, NULL, NULL, 0, NULL },
! 546: { "hylen", roff_line_ignore, NULL, NULL, 0, NULL },
! 547: { "hym", roff_line_ignore, NULL, NULL, 0, NULL },
! 548: { "hypp", roff_line_ignore, NULL, NULL, 0, NULL },
! 549: { "hys", roff_line_ignore, NULL, NULL, 0, NULL },
1.3 schwarze 550: { "ie", roff_cond, roff_cond_text, roff_cond_sub, ROFFMAC_STRUCT, NULL },
551: { "if", roff_cond, roff_cond_text, roff_cond_sub, ROFFMAC_STRUCT, NULL },
552: { "ig", roff_block, roff_block_text, roff_block_sub, 0, NULL },
1.123 ! schwarze 553: { "index", roff_unsupp, NULL, NULL, 0, NULL },
1.51 schwarze 554: { "it", roff_it, NULL, NULL, 0, NULL },
1.123 ! schwarze 555: { "itc", roff_unsupp, NULL, NULL, 0, NULL },
! 556: { "IX", roff_line_ignore, NULL, NULL, 0, NULL },
! 557: { "kern", roff_line_ignore, NULL, NULL, 0, NULL },
! 558: { "kernafter", roff_line_ignore, NULL, NULL, 0, NULL },
! 559: { "kernbefore", roff_line_ignore, NULL, NULL, 0, NULL },
! 560: { "kernpair", roff_line_ignore, NULL, NULL, 0, NULL },
! 561: { "lc", roff_unsupp, NULL, NULL, 0, NULL },
! 562: { "lc_ctype", roff_unsupp, NULL, NULL, 0, NULL },
! 563: { "lds", roff_unsupp, NULL, NULL, 0, NULL },
! 564: { "length", roff_unsupp, NULL, NULL, 0, NULL },
! 565: { "letadj", roff_line_ignore, NULL, NULL, 0, NULL },
! 566: { "lf", roff_insec, NULL, NULL, 0, NULL },
! 567: { "lg", roff_line_ignore, NULL, NULL, 0, NULL },
! 568: { "lhang", roff_line_ignore, NULL, NULL, 0, NULL },
! 569: { "linetabs", roff_unsupp, NULL, NULL, 0, NULL },
! 570: { "lnr", roff_unsupp, NULL, NULL, 0, NULL },
! 571: { "lnrf", roff_unsupp, NULL, NULL, 0, NULL },
! 572: { "lpfx", roff_unsupp, NULL, NULL, 0, NULL },
! 573: { "ls", roff_line_ignore, NULL, NULL, 0, NULL },
! 574: { "lsm", roff_unsupp, NULL, NULL, 0, NULL },
! 575: { "lt", roff_line_ignore, NULL, NULL, 0, NULL },
! 576: { "mc", roff_line_ignore, NULL, NULL, 0, NULL },
! 577: { "mediasize", roff_line_ignore, NULL, NULL, 0, NULL },
! 578: { "minss", roff_line_ignore, NULL, NULL, 0, NULL },
! 579: { "mk", roff_line_ignore, NULL, NULL, 0, NULL },
! 580: { "mso", roff_insec, NULL, NULL, 0, NULL },
1.21 schwarze 581: { "ne", roff_line_ignore, NULL, NULL, 0, NULL },
582: { "nh", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 583: { "nhychar", roff_line_ignore, NULL, NULL, 0, NULL },
! 584: { "nm", roff_unsupp, NULL, NULL, 0, NULL },
! 585: { "nn", roff_unsupp, NULL, NULL, 0, NULL },
! 586: { "nop", roff_unsupp, NULL, NULL, 0, NULL },
1.14 schwarze 587: { "nr", roff_nr, NULL, NULL, 0, NULL },
1.123 ! schwarze 588: { "nrf", roff_unsupp, NULL, NULL, 0, NULL },
! 589: { "nroff", roff_line_ignore, NULL, NULL, 0, NULL },
1.31 schwarze 590: { "ns", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 591: { "nx", roff_insec, NULL, NULL, 0, NULL },
! 592: { "open", roff_insec, NULL, NULL, 0, NULL },
! 593: { "opena", roff_insec, NULL, NULL, 0, NULL },
! 594: { "os", roff_line_ignore, NULL, NULL, 0, NULL },
! 595: { "output", roff_unsupp, NULL, NULL, 0, NULL },
! 596: { "padj", roff_line_ignore, NULL, NULL, 0, NULL },
! 597: { "papersize", roff_line_ignore, NULL, NULL, 0, NULL },
! 598: { "pc", roff_line_ignore, NULL, NULL, 0, NULL },
! 599: { "pev", roff_line_ignore, NULL, NULL, 0, NULL },
! 600: { "pi", roff_insec, NULL, NULL, 0, NULL },
! 601: { "PI", roff_unsupp, NULL, NULL, 0, NULL },
1.101 schwarze 602: { "pl", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 603: { "pm", roff_line_ignore, NULL, NULL, 0, NULL },
! 604: { "pn", roff_line_ignore, NULL, NULL, 0, NULL },
! 605: { "pnr", roff_line_ignore, NULL, NULL, 0, NULL },
! 606: { "po", roff_line_ignore, NULL, NULL, 0, NULL },
1.31 schwarze 607: { "ps", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 608: { "psbb", roff_unsupp, NULL, NULL, 0, NULL },
! 609: { "pshape", roff_line_ignore, NULL, NULL, 0, NULL },
! 610: { "pso", roff_insec, NULL, NULL, 0, NULL },
! 611: { "ptr", roff_line_ignore, NULL, NULL, 0, NULL },
! 612: { "pvs", roff_line_ignore, NULL, NULL, 0, NULL },
! 613: { "rchar", roff_unsupp, NULL, NULL, 0, NULL },
! 614: { "rd", roff_line_ignore, NULL, NULL, 0, NULL },
! 615: { "recursionlimit", roff_line_ignore, NULL, NULL, 0, NULL },
! 616: { "return", roff_unsupp, NULL, NULL, 0, NULL },
! 617: { "rfschar", roff_unsupp, NULL, NULL, 0, NULL },
! 618: { "rhang", roff_line_ignore, NULL, NULL, 0, NULL },
! 619: { "rj", roff_line_ignore, NULL, NULL, 0, NULL },
1.29 schwarze 620: { "rm", roff_rm, NULL, NULL, 0, NULL },
1.123 ! schwarze 621: { "rn", roff_unsupp, NULL, NULL, 0, NULL },
! 622: { "rnn", roff_unsupp, NULL, NULL, 0, NULL },
1.76 schwarze 623: { "rr", roff_rr, NULL, NULL, 0, NULL },
1.123 ! schwarze 624: { "rs", roff_line_ignore, NULL, NULL, 0, NULL },
! 625: { "rt", roff_line_ignore, NULL, NULL, 0, NULL },
! 626: { "schar", roff_unsupp, NULL, NULL, 0, NULL },
! 627: { "sentchar", roff_line_ignore, NULL, NULL, 0, NULL },
! 628: { "shc", roff_line_ignore, NULL, NULL, 0, NULL },
! 629: { "shift", roff_unsupp, NULL, NULL, 0, NULL },
! 630: { "sizes", roff_line_ignore, NULL, NULL, 0, NULL },
1.14 schwarze 631: { "so", roff_so, NULL, NULL, 0, NULL },
1.123 ! schwarze 632: { "spacewidth", roff_line_ignore, NULL, NULL, 0, NULL },
! 633: { "special", roff_line_ignore, NULL, NULL, 0, NULL },
! 634: { "spreadwarn", roff_line_ignore, NULL, NULL, 0, NULL },
! 635: { "ss", roff_line_ignore, NULL, NULL, 0, NULL },
! 636: { "sty", roff_line_ignore, NULL, NULL, 0, NULL },
! 637: { "substring", roff_unsupp, NULL, NULL, 0, NULL },
! 638: { "sv", roff_line_ignore, NULL, NULL, 0, NULL },
! 639: { "sy", roff_insec, NULL, NULL, 0, NULL },
! 640: { "T&", roff_T_, NULL, NULL, 0, NULL },
1.31 schwarze 641: { "ta", roff_line_ignore, NULL, NULL, 0, NULL },
1.123 ! schwarze 642: { "tc", roff_unsupp, NULL, NULL, 0, NULL },
! 643: { "TE", roff_TE, NULL, NULL, 0, NULL },
! 644: { "TH", roff_TH, NULL, NULL, 0, NULL },
! 645: { "ti", roff_line_ignore, NULL, NULL, 0, NULL },
! 646: { "tkf", roff_line_ignore, NULL, NULL, 0, NULL },
! 647: { "tl", roff_unsupp, NULL, NULL, 0, NULL },
! 648: { "tm", roff_line_ignore, NULL, NULL, 0, NULL },
! 649: { "tm1", roff_line_ignore, NULL, NULL, 0, NULL },
! 650: { "tmc", roff_line_ignore, NULL, NULL, 0, NULL },
1.42 schwarze 651: { "tr", roff_tr, NULL, NULL, 0, NULL },
1.123 ! schwarze 652: { "track", roff_line_ignore, NULL, NULL, 0, NULL },
! 653: { "transchar", roff_line_ignore, NULL, NULL, 0, NULL },
! 654: { "trf", roff_insec, NULL, NULL, 0, NULL },
! 655: { "trimat", roff_line_ignore, NULL, NULL, 0, NULL },
! 656: { "trin", roff_unsupp, NULL, NULL, 0, NULL },
! 657: { "trnt", roff_unsupp, NULL, NULL, 0, NULL },
! 658: { "troff", roff_line_ignore, NULL, NULL, 0, NULL },
1.27 schwarze 659: { "TS", roff_TS, NULL, NULL, 0, NULL },
1.123 ! schwarze 660: { "uf", roff_line_ignore, NULL, NULL, 0, NULL },
! 661: { "ul", roff_line_ignore, NULL, NULL, 0, NULL },
! 662: { "unformat", roff_unsupp, NULL, NULL, 0, NULL },
! 663: { "unwatch", roff_line_ignore, NULL, NULL, 0, NULL },
! 664: { "unwatchn", roff_line_ignore, NULL, NULL, 0, NULL },
! 665: { "vpt", roff_line_ignore, NULL, NULL, 0, NULL },
! 666: { "vs", roff_line_ignore, NULL, NULL, 0, NULL },
! 667: { "warn", roff_line_ignore, NULL, NULL, 0, NULL },
! 668: { "warnscale", roff_line_ignore, NULL, NULL, 0, NULL },
! 669: { "watch", roff_line_ignore, NULL, NULL, 0, NULL },
! 670: { "watchlength", roff_line_ignore, NULL, NULL, 0, NULL },
! 671: { "watchn", roff_line_ignore, NULL, NULL, 0, NULL },
! 672: { "wh", roff_unsupp, NULL, NULL, 0, NULL },
! 673: { "while", roff_unsupp, NULL, NULL, 0, NULL },
! 674: { "write", roff_insec, NULL, NULL, 0, NULL },
! 675: { "writec", roff_insec, NULL, NULL, 0, NULL },
! 676: { "writem", roff_insec, NULL, NULL, 0, NULL },
! 677: { "xflag", roff_line_ignore, NULL, NULL, 0, NULL },
1.3 schwarze 678: { ".", roff_cblock, NULL, NULL, 0, NULL },
1.16 schwarze 679: { NULL, roff_userdef, NULL, NULL, 0, NULL },
1.1 schwarze 680: };
681:
1.73 schwarze 682: /* not currently implemented: Ds em Eq LP Me PP pp Or Rd Sf SH */
1.47 schwarze 683: const char *const __mdoc_reserved[] = {
684: "Ac", "Ad", "An", "Ao", "Ap", "Aq", "Ar", "At",
685: "Bc", "Bd", "Bf", "Bk", "Bl", "Bo", "Bq",
686: "Brc", "Bro", "Brq", "Bsx", "Bt", "Bx",
687: "Cd", "Cm", "Db", "Dc", "Dd", "Dl", "Do", "Dq",
1.73 schwarze 688: "Dt", "Dv", "Dx", "D1",
689: "Ec", "Ed", "Ef", "Ek", "El", "Em",
690: "En", "Eo", "Er", "Es", "Ev", "Ex",
1.47 schwarze 691: "Fa", "Fc", "Fd", "Fl", "Fn", "Fo", "Fr", "Ft", "Fx",
1.73 schwarze 692: "Hf", "Ic", "In", "It", "Lb", "Li", "Lk", "Lp",
693: "Ms", "Mt", "Nd", "Nm", "No", "Ns", "Nx",
1.47 schwarze 694: "Oc", "Oo", "Op", "Os", "Ot", "Ox",
1.73 schwarze 695: "Pa", "Pc", "Pf", "Po", "Pp", "Pq",
696: "Qc", "Ql", "Qo", "Qq", "Re", "Rs", "Rv",
697: "Sc", "Sh", "Sm", "So", "Sq",
1.47 schwarze 698: "Ss", "St", "Sx", "Sy",
699: "Ta", "Tn", "Ud", "Ux", "Va", "Vt", "Xc", "Xo", "Xr",
1.73 schwarze 700: "%A", "%B", "%C", "%D", "%I", "%J", "%N", "%O",
1.47 schwarze 701: "%P", "%Q", "%R", "%T", "%U", "%V",
702: NULL
703: };
704:
1.73 schwarze 705: /* not currently implemented: BT DE DS ME MT PT SY TQ YS */
1.47 schwarze 706: const char *const __man_reserved[] = {
1.73 schwarze 707: "AT", "B", "BI", "BR", "DT",
708: "EE", "EN", "EQ", "EX", "HP", "I", "IB", "IP", "IR",
709: "LP", "OP", "P", "PD", "PP",
710: "R", "RB", "RE", "RI", "RS", "SB", "SH", "SM", "SS",
711: "TE", "TH", "TP", "TS", "T&", "UC", "UE", "UR",
1.47 schwarze 712: NULL
713: };
714:
1.37 schwarze 715: /* Array of injected predefined strings. */
716: #define PREDEFS_MAX 38
717: static const struct predef predefs[PREDEFS_MAX] = {
718: #include "predefs.in"
719: };
720:
1.42 schwarze 721: /* See roffhash_find() */
1.3 schwarze 722: #define ROFF_HASH(p) (p[0] - ASCII_LO)
723:
1.51 schwarze 724: static int roffit_lines; /* number of lines to delay */
725: static char *roffit_macro; /* nil-terminated macro line */
726:
1.80 schwarze 727:
1.3 schwarze 728: static void
1.42 schwarze 729: roffhash_init(void)
1.3 schwarze 730: {
731: struct roffmac *n;
732: int buc, i;
733:
1.16 schwarze 734: for (i = 0; i < (int)ROFF_USERDEF; i++) {
1.3 schwarze 735: assert(roffs[i].name[0] >= ASCII_LO);
736: assert(roffs[i].name[0] <= ASCII_HI);
737:
738: buc = ROFF_HASH(roffs[i].name);
739:
740: if (NULL != (n = hash[buc])) {
741: for ( ; n->next; n = n->next)
742: /* Do nothing. */ ;
743: n->next = &roffs[i];
744: } else
745: hash[buc] = &roffs[i];
746: }
747: }
748:
1.1 schwarze 749: /*
750: * Look up a roff token by its name. Returns ROFF_MAX if no macro by
751: * the nil-terminated string name could be found.
752: */
753: static enum rofft
1.42 schwarze 754: roffhash_find(const char *p, size_t s)
1.1 schwarze 755: {
1.3 schwarze 756: int buc;
757: struct roffmac *n;
1.1 schwarze 758:
1.3 schwarze 759: /*
760: * libroff has an extremely simple hashtable, for the time
761: * being, which simply keys on the first character, which must
762: * be printable, then walks a chain. It works well enough until
763: * optimised.
764: */
765:
766: if (p[0] < ASCII_LO || p[0] > ASCII_HI)
767: return(ROFF_MAX);
768:
769: buc = ROFF_HASH(p);
770:
771: if (NULL == (n = hash[buc]))
772: return(ROFF_MAX);
773: for ( ; n; n = n->next)
1.16 schwarze 774: if (0 == strncmp(n->name, p, s) && '\0' == n->name[(int)s])
1.3 schwarze 775: return((enum rofft)(n - roffs));
1.1 schwarze 776:
777: return(ROFF_MAX);
778: }
779:
780: /*
781: * Pop the current node off of the stack of roff instructions currently
782: * pending.
783: */
784: static void
785: roffnode_pop(struct roff *r)
786: {
787: struct roffnode *p;
788:
1.2 schwarze 789: assert(r->last);
1.80 schwarze 790: p = r->last;
1.2 schwarze 791:
792: r->last = r->last->parent;
1.16 schwarze 793: free(p->name);
794: free(p->end);
1.1 schwarze 795: free(p);
796: }
797:
798: /*
799: * Push a roff node onto the instruction stack. This must later be
800: * removed with roffnode_pop().
801: */
1.11 schwarze 802: static void
1.16 schwarze 803: roffnode_push(struct roff *r, enum rofft tok, const char *name,
804: int line, int col)
1.1 schwarze 805: {
806: struct roffnode *p;
807:
1.11 schwarze 808: p = mandoc_calloc(1, sizeof(struct roffnode));
1.1 schwarze 809: p->tok = tok;
1.16 schwarze 810: if (name)
811: p->name = mandoc_strdup(name);
1.1 schwarze 812: p->parent = r->last;
813: p->line = line;
814: p->col = col;
1.71 schwarze 815: p->rule = p->parent ? p->parent->rule : 0;
1.1 schwarze 816:
817: r->last = p;
818: }
819:
820: static void
821: roff_free1(struct roff *r)
822: {
1.49 schwarze 823: struct tbl_node *tbl;
1.32 schwarze 824: struct eqn_node *e;
1.42 schwarze 825: int i;
1.27 schwarze 826:
1.49 schwarze 827: while (NULL != (tbl = r->first_tbl)) {
828: r->first_tbl = tbl->next;
829: tbl_free(tbl);
1.27 schwarze 830: }
831: r->first_tbl = r->last_tbl = r->tbl = NULL;
1.1 schwarze 832:
1.32 schwarze 833: while (NULL != (e = r->first_eqn)) {
834: r->first_eqn = e->next;
835: eqn_free(e);
836: }
837: r->first_eqn = r->last_eqn = r->eqn = NULL;
838:
1.1 schwarze 839: while (r->last)
840: roffnode_pop(r);
1.27 schwarze 841:
1.96 schwarze 842: free (r->rstack);
843: r->rstack = NULL;
844: r->rstacksz = 0;
845: r->rstackpos = -1;
846:
847: roff_freereg(r->regtab);
848: r->regtab = NULL;
849:
1.42 schwarze 850: roff_freestr(r->strtab);
851: roff_freestr(r->xmbtab);
852: r->strtab = r->xmbtab = NULL;
853:
854: if (r->xtab)
855: for (i = 0; i < 128; i++)
856: free(r->xtab[i].p);
857: free(r->xtab);
858: r->xtab = NULL;
1.1 schwarze 859: }
860:
861: void
862: roff_reset(struct roff *r)
863: {
864:
865: roff_free1(r);
1.99 schwarze 866: r->format = r->options & (MPARSE_MDOC | MPARSE_MAN);
1.48 schwarze 867: r->control = 0;
1.1 schwarze 868: }
869:
870: void
871: roff_free(struct roff *r)
872: {
873:
874: roff_free1(r);
875: free(r);
876: }
877:
878: struct roff *
1.109 schwarze 879: roff_alloc(struct mparse *parse, const struct mchars *mchars, int options)
1.1 schwarze 880: {
881: struct roff *r;
882:
1.11 schwarze 883: r = mandoc_calloc(1, sizeof(struct roff));
1.35 schwarze 884: r->parse = parse;
1.109 schwarze 885: r->mchars = mchars;
1.72 schwarze 886: r->options = options;
1.99 schwarze 887: r->format = options & (MPARSE_MDOC | MPARSE_MAN);
1.2 schwarze 888: r->rstackpos = -1;
1.80 schwarze 889:
1.42 schwarze 890: roffhash_init();
1.37 schwarze 891:
1.1 schwarze 892: return(r);
893: }
894:
1.8 schwarze 895: /*
1.79 schwarze 896: * In the current line, expand escape sequences that tend to get
897: * used in numerical expressions and conditional requests.
898: * Also check the syntax of the remaining escape sequences.
1.8 schwarze 899: */
1.45 schwarze 900: static enum rofferr
1.110 schwarze 901: roff_res(struct roff *r, struct buf *buf, int ln, int pos)
1.8 schwarze 902: {
1.81 schwarze 903: char ubuf[24]; /* buffer to print the number */
1.78 schwarze 904: const char *start; /* start of the string to process */
1.82 schwarze 905: char *stesc; /* start of an escape sequence ('\\') */
1.23 schwarze 906: const char *stnam; /* start of the name, after "[(*" */
907: const char *cp; /* end of the name, e.g. before ']' */
908: const char *res; /* the string to be substituted */
1.110 schwarze 909: char *nbuf; /* new buffer to copy buf->buf to */
1.53 schwarze 910: size_t maxl; /* expected length of the escape name */
911: size_t naml; /* actual length of the escape name */
1.109 schwarze 912: enum mandoc_esc esc; /* type of the escape sequence */
913: int inaml; /* length returned from mandoc_escape() */
1.53 schwarze 914: int expand_count; /* to avoid infinite loops */
1.79 schwarze 915: int npos; /* position in numeric expression */
1.91 schwarze 916: int arg_complete; /* argument not interrupted by eol */
1.79 schwarze 917: char term; /* character terminating the escape */
1.8 schwarze 918:
1.43 schwarze 919: expand_count = 0;
1.110 schwarze 920: start = buf->buf + pos;
1.78 schwarze 921: stesc = strchr(start, '\0') - 1;
922: while (stesc-- > start) {
1.43 schwarze 923:
1.78 schwarze 924: /* Search backwards for the next backslash. */
925:
1.110 schwarze 926: if (*stesc != '\\')
1.78 schwarze 927: continue;
928:
929: /* If it is escaped, skip it. */
930:
931: for (cp = stesc - 1; cp >= start; cp--)
1.110 schwarze 932: if (*cp != '\\')
1.78 schwarze 933: break;
934:
1.110 schwarze 935: if ((stesc - cp) % 2 == 0) {
1.82 schwarze 936: stesc = (char *)cp;
1.78 schwarze 937: continue;
938: }
1.23 schwarze 939:
1.79 schwarze 940: /* Decide whether to expand or to check only. */
1.23 schwarze 941:
1.79 schwarze 942: term = '\0';
1.78 schwarze 943: cp = stesc + 1;
1.53 schwarze 944: switch (*cp) {
1.80 schwarze 945: case '*':
1.53 schwarze 946: res = NULL;
947: break;
1.80 schwarze 948: case 'B':
1.79 schwarze 949: /* FALLTHROUGH */
1.80 schwarze 950: case 'w':
1.79 schwarze 951: term = cp[1];
952: /* FALLTHROUGH */
1.80 schwarze 953: case 'n':
1.53 schwarze 954: res = ubuf;
955: break;
956: default:
1.109 schwarze 957: esc = mandoc_escape(&cp, &stnam, &inaml);
958: if (esc == ESCAPE_ERROR ||
959: (esc == ESCAPE_SPECIAL &&
960: mchars_spec2cp(r->mchars, stnam, inaml) < 0))
1.92 schwarze 961: mandoc_vmsg(MANDOCERR_ESC_BAD,
1.110 schwarze 962: r->parse, ln, (int)(stesc - buf->buf),
1.92 schwarze 963: "%.*s", (int)(cp - stesc), stesc);
1.78 schwarze 964: continue;
1.42 schwarze 965: }
966:
1.78 schwarze 967: if (EXPAND_LIMIT < ++expand_count) {
968: mandoc_msg(MANDOCERR_ROFFLOOP, r->parse,
1.110 schwarze 969: ln, (int)(stesc - buf->buf), NULL);
1.78 schwarze 970: return(ROFF_IGN);
971: }
1.23 schwarze 972:
973: /*
974: * The third character decides the length
1.53 schwarze 975: * of the name of the string or register.
1.23 schwarze 976: * Save a pointer to the name.
977: */
978:
1.110 schwarze 979: if (term == '\0') {
1.79 schwarze 980: switch (*++cp) {
1.80 schwarze 981: case '\0':
1.79 schwarze 982: maxl = 0;
983: break;
1.80 schwarze 984: case '(':
1.79 schwarze 985: cp++;
986: maxl = 2;
987: break;
1.80 schwarze 988: case '[':
1.79 schwarze 989: cp++;
990: term = ']';
991: maxl = 0;
992: break;
993: default:
994: maxl = 1;
995: break;
996: }
997: } else {
998: cp += 2;
1.8 schwarze 999: maxl = 0;
1000: }
1.23 schwarze 1001: stnam = cp;
1.8 schwarze 1002:
1.23 schwarze 1003: /* Advance to the end of the name. */
1.8 schwarze 1004:
1.91 schwarze 1005: arg_complete = 1;
1.110 schwarze 1006: for (naml = 0; maxl == 0 || naml < maxl; naml++, cp++) {
1007: if (*cp == '\0') {
1.92 schwarze 1008: mandoc_msg(MANDOCERR_ESC_BAD, r->parse,
1.110 schwarze 1009: ln, (int)(stesc - buf->buf), stesc);
1.91 schwarze 1010: arg_complete = 0;
1.79 schwarze 1011: break;
1.42 schwarze 1012: }
1.110 schwarze 1013: if (maxl == 0 && *cp == term) {
1.79 schwarze 1014: cp++;
1.8 schwarze 1015: break;
1.79 schwarze 1016: }
1.8 schwarze 1017: }
1018:
1.23 schwarze 1019: /*
1020: * Retrieve the replacement string; if it is
1021: * undefined, resume searching for escapes.
1022: */
1023:
1.79 schwarze 1024: switch (stesc[1]) {
1.80 schwarze 1025: case '*':
1.91 schwarze 1026: if (arg_complete)
1027: res = roff_getstrn(r, stnam, naml);
1.79 schwarze 1028: break;
1.80 schwarze 1029: case 'B':
1.79 schwarze 1030: npos = 0;
1.91 schwarze 1031: ubuf[0] = arg_complete &&
1.106 schwarze 1032: roff_evalnum(r, ln, stnam, &npos, NULL, 0) &&
1.91 schwarze 1033: stnam + npos + 1 == cp ? '1' : '0';
1.79 schwarze 1034: ubuf[1] = '\0';
1035: break;
1.80 schwarze 1036: case 'n':
1.91 schwarze 1037: if (arg_complete)
1038: (void)snprintf(ubuf, sizeof(ubuf), "%d",
1039: roff_getregn(r, stnam, naml));
1040: else
1041: ubuf[0] = '\0';
1.79 schwarze 1042: break;
1.80 schwarze 1043: case 'w':
1.91 schwarze 1044: /* use even incomplete args */
1.81 schwarze 1045: (void)snprintf(ubuf, sizeof(ubuf), "%d",
1.79 schwarze 1046: 24 * (int)naml);
1047: break;
1048: }
1.8 schwarze 1049:
1.110 schwarze 1050: if (res == NULL) {
1.92 schwarze 1051: mandoc_vmsg(MANDOCERR_STR_UNDEF,
1.110 schwarze 1052: r->parse, ln, (int)(stesc - buf->buf),
1.92 schwarze 1053: "%.*s", (int)naml, stnam);
1.37 schwarze 1054: res = "";
1.118 schwarze 1055: } else if (buf->sz + strlen(res) > SHRT_MAX) {
1056: mandoc_msg(MANDOCERR_ROFFLOOP, r->parse,
1057: ln, (int)(stesc - buf->buf), NULL);
1058: return(ROFF_IGN);
1.8 schwarze 1059: }
1060:
1.23 schwarze 1061: /* Replace the escape sequence by the string. */
1062:
1.82 schwarze 1063: *stesc = '\0';
1.110 schwarze 1064: buf->sz = mandoc_asprintf(&nbuf, "%s%s%s",
1065: buf->buf, res, cp) + 1;
1.8 schwarze 1066:
1.78 schwarze 1067: /* Prepare for the next replacement. */
1.8 schwarze 1068:
1.78 schwarze 1069: start = nbuf + pos;
1.110 schwarze 1070: stesc = nbuf + (stesc - buf->buf) + strlen(res);
1071: free(buf->buf);
1072: buf->buf = nbuf;
1.42 schwarze 1073: }
1.45 schwarze 1074: return(ROFF_CONT);
1.42 schwarze 1075: }
1076:
1077: /*
1.51 schwarze 1078: * Process text streams:
1079: * Convert all breakable hyphens into ASCII_HYPH.
1080: * Decrement and spring input line trap.
1.42 schwarze 1081: */
1082: static enum rofferr
1.110 schwarze 1083: roff_parsetext(struct buf *buf, int pos, int *offs)
1.42 schwarze 1084: {
1085: size_t sz;
1086: const char *start;
1.51 schwarze 1087: char *p;
1088: int isz;
1.42 schwarze 1089: enum mandoc_esc esc;
1090:
1.110 schwarze 1091: start = p = buf->buf + pos;
1.42 schwarze 1092:
1.110 schwarze 1093: while (*p != '\0') {
1.42 schwarze 1094: sz = strcspn(p, "-\\");
1095: p += sz;
1096:
1.110 schwarze 1097: if (*p == '\0')
1.42 schwarze 1098: break;
1099:
1.110 schwarze 1100: if (*p == '\\') {
1.42 schwarze 1101: /* Skip over escapes. */
1102: p++;
1.62 schwarze 1103: esc = mandoc_escape((const char **)&p, NULL, NULL);
1.110 schwarze 1104: if (esc == ESCAPE_ERROR)
1.42 schwarze 1105: break;
1106: continue;
1107: } else if (p == start) {
1108: p++;
1109: continue;
1110: }
1111:
1.44 schwarze 1112: if (isalpha((unsigned char)p[-1]) &&
1113: isalpha((unsigned char)p[1]))
1.42 schwarze 1114: *p = ASCII_HYPH;
1115: p++;
1.8 schwarze 1116: }
1117:
1.51 schwarze 1118: /* Spring the input line trap. */
1.110 schwarze 1119: if (roffit_lines == 1) {
1120: isz = mandoc_asprintf(&p, "%s\n.%s", buf->buf, roffit_macro);
1121: free(buf->buf);
1122: buf->buf = p;
1123: buf->sz = isz + 1;
1.51 schwarze 1124: *offs = 0;
1125: free(roffit_macro);
1126: roffit_lines = 0;
1127: return(ROFF_REPARSE);
1.110 schwarze 1128: } else if (roffit_lines > 1)
1.51 schwarze 1129: --roffit_lines;
1.42 schwarze 1130: return(ROFF_CONT);
1.8 schwarze 1131: }
1132:
1.1 schwarze 1133: enum rofferr
1.110 schwarze 1134: roff_parseln(struct roff *r, int ln, struct buf *buf, int *offs)
1.1 schwarze 1135: {
1136: enum rofft t;
1.27 schwarze 1137: enum rofferr e;
1.110 schwarze 1138: int pos; /* parse point */
1.115 schwarze 1139: int spos; /* saved parse point for messages */
1.110 schwarze 1140: int ppos; /* original offset in buf->buf */
1141: int ctl; /* macro line (boolean) */
1142:
1143: ppos = pos = *offs;
1.1 schwarze 1144:
1.102 schwarze 1145: /* Handle in-line equation delimiters. */
1146:
1.108 schwarze 1147: if (r->tbl == NULL &&
1148: r->last_eqn != NULL && r->last_eqn->delim &&
1.102 schwarze 1149: (r->eqn == NULL || r->eqn_inline)) {
1.110 schwarze 1150: e = roff_eqndelim(r, buf, pos);
1.102 schwarze 1151: if (e == ROFF_REPARSE)
1152: return(e);
1153: assert(e == ROFF_CONT);
1154: }
1155:
1156: /* Expand some escape sequences. */
1.8 schwarze 1157:
1.110 schwarze 1158: e = roff_res(r, buf, ln, pos);
1159: if (e == ROFF_IGN)
1.45 schwarze 1160: return(e);
1.110 schwarze 1161: assert(e == ROFF_CONT);
1.8 schwarze 1162:
1.110 schwarze 1163: ctl = roff_getcontrol(r, buf->buf, &pos);
1.35 schwarze 1164:
1.8 schwarze 1165: /*
1.2 schwarze 1166: * First, if a scope is open and we're not a macro, pass the
1167: * text through the macro's filter. If a scope isn't open and
1168: * we're not a macro, just let it through.
1.32 schwarze 1169: * Finally, if there's an equation scope open, divert it into it
1170: * no matter our state.
1.2 schwarze 1171: */
1172:
1.35 schwarze 1173: if (r->last && ! ctl) {
1.2 schwarze 1174: t = r->last->tok;
1175: assert(roffs[t].text);
1.110 schwarze 1176: e = (*roffs[t].text)(r, t, buf, ln, pos, pos, offs);
1177: assert(e == ROFF_IGN || e == ROFF_CONT);
1178: if (e != ROFF_CONT)
1.32 schwarze 1179: return(e);
1.54 schwarze 1180: }
1181: if (r->eqn)
1.110 schwarze 1182: return(eqn_read(&r->eqn, ln, buf->buf, ppos, offs));
1.54 schwarze 1183: if ( ! ctl) {
1.32 schwarze 1184: if (r->tbl)
1.110 schwarze 1185: return(tbl_read(r->tbl, ln, buf->buf, pos));
1186: return(roff_parsetext(buf, pos, offs));
1.54 schwarze 1187: }
1.100 schwarze 1188:
1189: /* Skip empty request lines. */
1190:
1.110 schwarze 1191: if (buf->buf[pos] == '"') {
1.100 schwarze 1192: mandoc_msg(MANDOCERR_COMMENT_BAD, r->parse,
1193: ln, pos, NULL);
1194: return(ROFF_IGN);
1.110 schwarze 1195: } else if (buf->buf[pos] == '\0')
1.100 schwarze 1196: return(ROFF_IGN);
1.2 schwarze 1197:
1198: /*
1199: * If a scope is open, go to the child handler for that macro,
1200: * as it may want to preprocess before doing anything with it.
1.32 schwarze 1201: * Don't do so if an equation is open.
1.2 schwarze 1202: */
1203:
1204: if (r->last) {
1.1 schwarze 1205: t = r->last->tok;
1206: assert(roffs[t].sub);
1.110 schwarze 1207: return((*roffs[t].sub)(r, t, buf, ln, ppos, pos, offs));
1.2 schwarze 1208: }
1209:
1.115 schwarze 1210: /* No scope is open. This is a new request or macro. */
1211:
1212: spos = pos;
1213: t = roff_parse(r, buf->buf, &pos, ln, ppos);
1214:
1215: /* Tables ignore most macros. */
1216:
1217: if (r->tbl != NULL && (t == ROFF_MAX || t == ROFF_TS)) {
1218: mandoc_msg(MANDOCERR_TBLMACRO, r->parse,
1219: ln, pos, buf->buf + spos);
1220: return(ROFF_IGN);
1221: }
1222:
1.2 schwarze 1223: /*
1.115 schwarze 1224: * This is neither a roff request nor a user-defined macro.
1225: * Let the standard macro set parsers handle it.
1.2 schwarze 1226: */
1227:
1.115 schwarze 1228: if (t == ROFF_MAX)
1.1 schwarze 1229: return(ROFF_CONT);
1.115 schwarze 1230:
1231: /* Execute a roff request or a user defined macro. */
1.1 schwarze 1232:
1.2 schwarze 1233: assert(roffs[t].proc);
1.110 schwarze 1234: return((*roffs[t].proc)(r, t, buf, ln, ppos, pos, offs));
1.2 schwarze 1235: }
1236:
1.27 schwarze 1237: void
1.2 schwarze 1238: roff_endparse(struct roff *r)
1239: {
1.1 schwarze 1240:
1.27 schwarze 1241: if (r->last)
1.94 schwarze 1242: mandoc_msg(MANDOCERR_BLK_NOEND, r->parse,
1243: r->last->line, r->last->col,
1244: roffs[r->last->tok].name);
1.27 schwarze 1245:
1.32 schwarze 1246: if (r->eqn) {
1.94 schwarze 1247: mandoc_msg(MANDOCERR_BLK_NOEND, r->parse,
1248: r->eqn->eqn.ln, r->eqn->eqn.pos, "EQ");
1.41 schwarze 1249: eqn_end(&r->eqn);
1.32 schwarze 1250: }
1251:
1.27 schwarze 1252: if (r->tbl) {
1.94 schwarze 1253: mandoc_msg(MANDOCERR_BLK_NOEND, r->parse,
1254: r->tbl->line, r->tbl->pos, "TS");
1.41 schwarze 1255: tbl_end(&r->tbl);
1.27 schwarze 1256: }
1.1 schwarze 1257: }
1258:
1259: /*
1260: * Parse a roff node's type from the input buffer. This must be in the
1261: * form of ".foo xxx" in the usual way.
1262: */
1263: static enum rofft
1.87 schwarze 1264: roff_parse(struct roff *r, char *buf, int *pos, int ln, int ppos)
1.1 schwarze 1265: {
1.87 schwarze 1266: char *cp;
1.16 schwarze 1267: const char *mac;
1268: size_t maclen;
1.1 schwarze 1269: enum rofft t;
1270:
1.87 schwarze 1271: cp = buf + *pos;
1272:
1273: if ('\0' == *cp || '"' == *cp || '\t' == *cp || ' ' == *cp)
1.1 schwarze 1274: return(ROFF_MAX);
1275:
1.87 schwarze 1276: mac = cp;
1277: maclen = roff_getname(r, &cp, ln, ppos);
1.1 schwarze 1278:
1.16 schwarze 1279: t = (r->current_string = roff_getstrn(r, mac, maclen))
1.42 schwarze 1280: ? ROFF_USERDEF : roffhash_find(mac, maclen);
1.1 schwarze 1281:
1.87 schwarze 1282: if (ROFF_MAX != t)
1283: *pos = cp - buf;
1.1 schwarze 1284:
1285: return(t);
1286: }
1287:
1288: static enum rofferr
1.2 schwarze 1289: roff_cblock(ROFF_ARGS)
1.1 schwarze 1290: {
1291:
1.2 schwarze 1292: /*
1293: * A block-close `..' should only be invoked as a child of an
1294: * ignore macro, otherwise raise a warning and just ignore it.
1295: */
1296:
1.110 schwarze 1297: if (r->last == NULL) {
1.94 schwarze 1298: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
1299: ln, ppos, "..");
1.2 schwarze 1300: return(ROFF_IGN);
1301: }
1.1 schwarze 1302:
1.2 schwarze 1303: switch (r->last->tok) {
1.80 schwarze 1304: case ROFF_am:
1.93 schwarze 1305: /* ROFF_am1 is remapped to ROFF_am in roff_block(). */
1.2 schwarze 1306: /* FALLTHROUGH */
1.80 schwarze 1307: case ROFF_ami:
1.2 schwarze 1308: /* FALLTHROUGH */
1.80 schwarze 1309: case ROFF_de:
1.23 schwarze 1310: /* ROFF_de1 is remapped to ROFF_de in roff_block(). */
1.2 schwarze 1311: /* FALLTHROUGH */
1.80 schwarze 1312: case ROFF_dei:
1.2 schwarze 1313: /* FALLTHROUGH */
1.80 schwarze 1314: case ROFF_ig:
1.2 schwarze 1315: break;
1316: default:
1.94 schwarze 1317: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
1318: ln, ppos, "..");
1.1 schwarze 1319: return(ROFF_IGN);
1.2 schwarze 1320: }
1321:
1.110 schwarze 1322: if (buf->buf[pos] != '\0')
1.90 schwarze 1323: mandoc_vmsg(MANDOCERR_ARG_SKIP, r->parse, ln, pos,
1.110 schwarze 1324: ".. %s", buf->buf + pos);
1.2 schwarze 1325:
1326: roffnode_pop(r);
1327: roffnode_cleanscope(r);
1328: return(ROFF_IGN);
1329:
1330: }
1.1 schwarze 1331:
1.2 schwarze 1332: static void
1333: roffnode_cleanscope(struct roff *r)
1334: {
1.1 schwarze 1335:
1.2 schwarze 1336: while (r->last) {
1.46 schwarze 1337: if (--r->last->endspan != 0)
1.2 schwarze 1338: break;
1339: roffnode_pop(r);
1340: }
1341: }
1.1 schwarze 1342:
1.68 schwarze 1343: static void
1344: roff_ccond(struct roff *r, int ln, int ppos)
1.2 schwarze 1345: {
1.1 schwarze 1346:
1.2 schwarze 1347: if (NULL == r->last) {
1.94 schwarze 1348: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
1349: ln, ppos, "\\}");
1.68 schwarze 1350: return;
1.2 schwarze 1351: }
1.1 schwarze 1352:
1.2 schwarze 1353: switch (r->last->tok) {
1.80 schwarze 1354: case ROFF_el:
1.2 schwarze 1355: /* FALLTHROUGH */
1.80 schwarze 1356: case ROFF_ie:
1.2 schwarze 1357: /* FALLTHROUGH */
1.80 schwarze 1358: case ROFF_if:
1.2 schwarze 1359: break;
1360: default:
1.94 schwarze 1361: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
1362: ln, ppos, "\\}");
1.68 schwarze 1363: return;
1.2 schwarze 1364: }
1.1 schwarze 1365:
1.2 schwarze 1366: if (r->last->endspan > -1) {
1.94 schwarze 1367: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
1368: ln, ppos, "\\}");
1.68 schwarze 1369: return;
1.2 schwarze 1370: }
1371:
1372: roffnode_pop(r);
1373: roffnode_cleanscope(r);
1.68 schwarze 1374: return;
1.1 schwarze 1375: }
1376:
1377: static enum rofferr
1.2 schwarze 1378: roff_block(ROFF_ARGS)
1.1 schwarze 1379: {
1.93 schwarze 1380: const char *name;
1381: char *iname, *cp;
1.86 schwarze 1382: size_t namesz;
1.16 schwarze 1383:
1.93 schwarze 1384: /* Ignore groff compatibility mode for now. */
1.2 schwarze 1385:
1.110 schwarze 1386: if (tok == ROFF_de1)
1.93 schwarze 1387: tok = ROFF_de;
1.123 ! schwarze 1388: else if (tok == ROFF_dei1)
! 1389: tok = ROFF_dei;
1.110 schwarze 1390: else if (tok == ROFF_am1)
1.93 schwarze 1391: tok = ROFF_am;
1.123 ! schwarze 1392: else if (tok == ROFF_ami1)
! 1393: tok = ROFF_ami;
1.93 schwarze 1394:
1395: /* Parse the macro name argument. */
1396:
1.110 schwarze 1397: cp = buf->buf + pos;
1398: if (tok == ROFF_ig) {
1.93 schwarze 1399: iname = NULL;
1400: namesz = 0;
1401: } else {
1402: iname = cp;
1403: namesz = roff_getname(r, &cp, ln, ppos);
1404: iname[namesz] = '\0';
1405: }
1.22 schwarze 1406:
1.93 schwarze 1407: /* Resolve the macro name argument if it is indirect. */
1.22 schwarze 1408:
1.110 schwarze 1409: if (namesz && (tok == ROFF_dei || tok == ROFF_ami)) {
1410: if ((name = roff_getstrn(r, iname, namesz)) == NULL) {
1.93 schwarze 1411: mandoc_vmsg(MANDOCERR_STR_UNDEF,
1.110 schwarze 1412: r->parse, ln, (int)(iname - buf->buf),
1.93 schwarze 1413: "%.*s", (int)namesz, iname);
1414: namesz = 0;
1415: } else
1416: namesz = strlen(name);
1417: } else
1418: name = iname;
1.22 schwarze 1419:
1.110 schwarze 1420: if (namesz == 0 && tok != ROFF_ig) {
1.93 schwarze 1421: mandoc_msg(MANDOCERR_REQ_EMPTY, r->parse,
1422: ln, ppos, roffs[tok].name);
1423: return(ROFF_IGN);
1424: }
1.2 schwarze 1425:
1.16 schwarze 1426: roffnode_push(r, tok, name, ln, ppos);
1427:
1428: /*
1429: * At the beginning of a `de' macro, clear the existing string
1430: * with the same name, if there is one. New content will be
1.66 schwarze 1431: * appended from roff_block_text() in multiline mode.
1.16 schwarze 1432: */
1.22 schwarze 1433:
1.110 schwarze 1434: if (tok == ROFF_de || tok == ROFF_dei)
1.86 schwarze 1435: roff_setstrn(&r->strtab, name, namesz, "", 0, 0);
1.2 schwarze 1436:
1.110 schwarze 1437: if (*cp == '\0')
1.2 schwarze 1438: return(ROFF_IGN);
1.1 schwarze 1439:
1.93 schwarze 1440: /* Get the custom end marker. */
1.22 schwarze 1441:
1.93 schwarze 1442: iname = cp;
1.86 schwarze 1443: namesz = roff_getname(r, &cp, ln, ppos);
1.93 schwarze 1444:
1445: /* Resolve the end marker if it is indirect. */
1446:
1.110 schwarze 1447: if (namesz && (tok == ROFF_dei || tok == ROFF_ami)) {
1448: if ((name = roff_getstrn(r, iname, namesz)) == NULL) {
1.93 schwarze 1449: mandoc_vmsg(MANDOCERR_STR_UNDEF,
1.110 schwarze 1450: r->parse, ln, (int)(iname - buf->buf),
1.93 schwarze 1451: "%.*s", (int)namesz, iname);
1452: namesz = 0;
1453: } else
1454: namesz = strlen(name);
1455: } else
1456: name = iname;
1457:
1.86 schwarze 1458: if (namesz)
1459: r->last->end = mandoc_strndup(name, namesz);
1.2 schwarze 1460:
1.110 schwarze 1461: if (*cp != '\0')
1.90 schwarze 1462: mandoc_vmsg(MANDOCERR_ARG_EXCESS, r->parse,
1463: ln, pos, ".%s ... %s", roffs[tok].name, cp);
1.1 schwarze 1464:
1465: return(ROFF_IGN);
1466: }
1467:
1468: static enum rofferr
1.2 schwarze 1469: roff_block_sub(ROFF_ARGS)
1.1 schwarze 1470: {
1.2 schwarze 1471: enum rofft t;
1472: int i, j;
1473:
1474: /*
1475: * First check whether a custom macro exists at this level. If
1476: * it does, then check against it. This is some of groff's
1477: * stranger behaviours. If we encountered a custom end-scope
1478: * tag and that tag also happens to be a "real" macro, then we
1479: * need to try interpreting it again as a real macro. If it's
1480: * not, then return ignore. Else continue.
1481: */
1482:
1483: if (r->last->end) {
1.35 schwarze 1484: for (i = pos, j = 0; r->last->end[j]; j++, i++)
1.110 schwarze 1485: if (buf->buf[i] != r->last->end[j])
1.2 schwarze 1486: break;
1.1 schwarze 1487:
1.110 schwarze 1488: if (r->last->end[j] == '\0' &&
1489: (buf->buf[i] == '\0' ||
1490: buf->buf[i] == ' ' ||
1491: buf->buf[i] == '\t')) {
1.2 schwarze 1492: roffnode_pop(r);
1493: roffnode_cleanscope(r);
1.1 schwarze 1494:
1.110 schwarze 1495: while (buf->buf[i] == ' ' || buf->buf[i] == '\t')
1.35 schwarze 1496: i++;
1497:
1498: pos = i;
1.110 schwarze 1499: if (roff_parse(r, buf->buf, &pos, ln, ppos) !=
1500: ROFF_MAX)
1.2 schwarze 1501: return(ROFF_RERUN);
1502: return(ROFF_IGN);
1503: }
1.1 schwarze 1504: }
1505:
1.2 schwarze 1506: /*
1507: * If we have no custom end-query or lookup failed, then try
1508: * pulling it out of the hashtable.
1509: */
1.1 schwarze 1510:
1.110 schwarze 1511: t = roff_parse(r, buf->buf, &pos, ln, ppos);
1.1 schwarze 1512:
1.110 schwarze 1513: if (t != ROFF_cblock) {
1514: if (tok != ROFF_ig)
1515: roff_setstr(r, r->last->name, buf->buf + ppos, 2);
1.1 schwarze 1516: return(ROFF_IGN);
1.16 schwarze 1517: }
1.1 schwarze 1518:
1.2 schwarze 1519: assert(roffs[t].proc);
1.110 schwarze 1520: return((*roffs[t].proc)(r, t, buf, ln, ppos, pos, offs));
1.2 schwarze 1521: }
1522:
1523: static enum rofferr
1524: roff_block_text(ROFF_ARGS)
1525: {
1526:
1.110 schwarze 1527: if (tok != ROFF_ig)
1528: roff_setstr(r, r->last->name, buf->buf + pos, 2);
1.16 schwarze 1529:
1.2 schwarze 1530: return(ROFF_IGN);
1531: }
1532:
1533: static enum rofferr
1534: roff_cond_sub(ROFF_ARGS)
1535: {
1536: enum rofft t;
1.37 schwarze 1537: char *ep;
1.71 schwarze 1538: int rr;
1.2 schwarze 1539:
1540: rr = r->last->rule;
1.37 schwarze 1541: roffnode_cleanscope(r);
1.110 schwarze 1542: t = roff_parse(r, buf->buf, &pos, ln, ppos);
1.2 schwarze 1543:
1.37 schwarze 1544: /*
1.50 schwarze 1545: * Fully handle known macros when they are structurally
1546: * required or when the conditional evaluated to true.
1.5 schwarze 1547: */
1548:
1.110 schwarze 1549: if ((t != ROFF_MAX) &&
1550: (rr || roffs[t].flags & ROFFMAC_STRUCT)) {
1.50 schwarze 1551: assert(roffs[t].proc);
1.110 schwarze 1552: return((*roffs[t].proc)(r, t, buf, ln, ppos, pos, offs));
1.50 schwarze 1553: }
1.39 schwarze 1554:
1.69 schwarze 1555: /*
1556: * If `\}' occurs on a macro line without a preceding macro,
1557: * drop the line completely.
1558: */
1559:
1.110 schwarze 1560: ep = buf->buf + pos;
1561: if (ep[0] == '\\' && ep[1] == '}')
1.71 schwarze 1562: rr = 0;
1.69 schwarze 1563:
1.50 schwarze 1564: /* Always check for the closing delimiter `\}'. */
1.39 schwarze 1565:
1.110 schwarze 1566: while ((ep = strchr(ep, '\\')) != NULL) {
1567: if (*(++ep) == '}') {
1.70 schwarze 1568: *ep = '&';
1.110 schwarze 1569: roff_ccond(r, ln, ep - buf->buf - 1);
1.70 schwarze 1570: }
1.119 schwarze 1571: if (*ep != '\0')
1572: ++ep;
1.50 schwarze 1573: }
1.71 schwarze 1574: return(rr ? ROFF_CONT : ROFF_IGN);
1.2 schwarze 1575: }
1576:
1577: static enum rofferr
1578: roff_cond_text(ROFF_ARGS)
1579: {
1.37 schwarze 1580: char *ep;
1.71 schwarze 1581: int rr;
1.2 schwarze 1582:
1583: rr = r->last->rule;
1.37 schwarze 1584: roffnode_cleanscope(r);
1.1 schwarze 1585:
1.110 schwarze 1586: ep = buf->buf + pos;
1587: while ((ep = strchr(ep, '\\')) != NULL) {
1588: if (*(++ep) == '}') {
1.70 schwarze 1589: *ep = '&';
1.110 schwarze 1590: roff_ccond(r, ln, ep - buf->buf - 1);
1.70 schwarze 1591: }
1.119 schwarze 1592: if (*ep != '\0')
1593: ++ep;
1.2 schwarze 1594: }
1.71 schwarze 1595: return(rr ? ROFF_CONT : ROFF_IGN);
1.2 schwarze 1596: }
1597:
1.77 schwarze 1598: /*
1599: * Parse a single signed integer number. Stop at the first non-digit.
1600: * If there is at least one digit, return success and advance the
1601: * parse point, else return failure and let the parse point unchanged.
1602: * Ignore overflows, treat them just like the C language.
1603: */
1.56 schwarze 1604: static int
1605: roff_getnum(const char *v, int *pos, int *res)
1606: {
1.79 schwarze 1607: int myres, n, p;
1608:
1609: if (NULL == res)
1610: res = &myres;
1.56 schwarze 1611:
1612: p = *pos;
1613: n = v[p] == '-';
1614: if (n)
1615: p++;
1616:
1617: for (*res = 0; isdigit((unsigned char)v[p]); p++)
1.77 schwarze 1618: *res = 10 * *res + v[p] - '0';
1.56 schwarze 1619: if (p == *pos + n)
1620: return 0;
1621:
1622: if (n)
1623: *res = -*res;
1624:
1625: *pos = p;
1626: return 1;
1627: }
1628:
1.71 schwarze 1629: /*
1630: * Evaluate a string comparison condition.
1631: * The first character is the delimiter.
1632: * Succeed if the string up to its second occurrence
1633: * matches the string up to its third occurence.
1634: * Advance the cursor after the third occurrence
1635: * or lacking that, to the end of the line.
1636: */
1637: static int
1638: roff_evalstrcond(const char *v, int *pos)
1639: {
1640: const char *s1, *s2, *s3;
1641: int match;
1642:
1643: match = 0;
1644: s1 = v + *pos; /* initial delimiter */
1645: s2 = s1 + 1; /* for scanning the first string */
1646: s3 = strchr(s2, *s1); /* for scanning the second string */
1647:
1648: if (NULL == s3) /* found no middle delimiter */
1649: goto out;
1650:
1651: while ('\0' != *++s3) {
1652: if (*s2 != *s3) { /* mismatch */
1653: s3 = strchr(s3, *s1);
1654: break;
1655: }
1656: if (*s3 == *s1) { /* found the final delimiter */
1657: match = 1;
1658: break;
1659: }
1660: s2++;
1661: }
1662:
1663: out:
1664: if (NULL == s3)
1665: s3 = strchr(s2, '\0');
1.114 schwarze 1666: else if (*s3 != '\0')
1.71 schwarze 1667: s3++;
1668: *pos = s3 - v;
1669: return(match);
1670: }
1671:
1.77 schwarze 1672: /*
1673: * Evaluate an optionally negated single character, numerical,
1674: * or string condition.
1675: */
1.71 schwarze 1676: static int
1.106 schwarze 1677: roff_evalcond(struct roff *r, int ln, const char *v, int *pos)
1.5 schwarze 1678: {
1.113 schwarze 1679: int number, savepos, wanttrue;
1.5 schwarze 1680:
1.71 schwarze 1681: if ('!' == v[*pos]) {
1682: wanttrue = 0;
1683: (*pos)++;
1684: } else
1685: wanttrue = 1;
1686:
1.5 schwarze 1687: switch (v[*pos]) {
1.112 schwarze 1688: case '\0':
1689: return(0);
1.80 schwarze 1690: case 'n':
1.71 schwarze 1691: /* FALLTHROUGH */
1.80 schwarze 1692: case 'o':
1.5 schwarze 1693: (*pos)++;
1.71 schwarze 1694: return(wanttrue);
1.80 schwarze 1695: case 'c':
1.71 schwarze 1696: /* FALLTHROUGH */
1.80 schwarze 1697: case 'd':
1.71 schwarze 1698: /* FALLTHROUGH */
1.80 schwarze 1699: case 'e':
1.5 schwarze 1700: /* FALLTHROUGH */
1.80 schwarze 1701: case 'r':
1.5 schwarze 1702: /* FALLTHROUGH */
1.80 schwarze 1703: case 't':
1.111 schwarze 1704: /* FALLTHROUGH */
1705: case 'v':
1.5 schwarze 1706: (*pos)++;
1.71 schwarze 1707: return(!wanttrue);
1.5 schwarze 1708: default:
1709: break;
1710: }
1711:
1.113 schwarze 1712: savepos = *pos;
1.106 schwarze 1713: if (roff_evalnum(r, ln, v, pos, &number, 0))
1.77 schwarze 1714: return((number > 0) == wanttrue);
1.113 schwarze 1715: else if (*pos == savepos)
1716: return(roff_evalstrcond(v, pos) == wanttrue);
1.77 schwarze 1717: else
1.113 schwarze 1718: return (0);
1.5 schwarze 1719: }
1720:
1.2 schwarze 1721: static enum rofferr
1.21 schwarze 1722: roff_line_ignore(ROFF_ARGS)
1.6 schwarze 1723: {
1.30 schwarze 1724:
1.21 schwarze 1725: return(ROFF_IGN);
1726: }
1727:
1728: static enum rofferr
1.123 ! schwarze 1729: roff_insec(ROFF_ARGS)
! 1730: {
! 1731:
! 1732: mandoc_msg(MANDOCERR_REQ_INSEC, r->parse,
! 1733: ln, ppos, roffs[tok].name);
! 1734: return(ROFF_IGN);
! 1735: }
! 1736:
! 1737: static enum rofferr
! 1738: roff_unsupp(ROFF_ARGS)
! 1739: {
! 1740:
! 1741: mandoc_msg(MANDOCERR_REQ_UNSUPP, r->parse,
! 1742: ln, ppos, roffs[tok].name);
! 1743: return(ROFF_IGN);
! 1744: }
! 1745:
! 1746: static enum rofferr
1.2 schwarze 1747: roff_cond(ROFF_ARGS)
1748: {
1.46 schwarze 1749:
1750: roffnode_push(r, tok, NULL, ln, ppos);
1.2 schwarze 1751:
1.80 schwarze 1752: /*
1.35 schwarze 1753: * An `.el' has no conditional body: it will consume the value
1754: * of the current rstack entry set in prior `ie' calls or
1.80 schwarze 1755: * defaults to DENY.
1.35 schwarze 1756: *
1757: * If we're not an `el', however, then evaluate the conditional.
1758: */
1.1 schwarze 1759:
1.110 schwarze 1760: r->last->rule = tok == ROFF_el ?
1.80 schwarze 1761: (r->rstackpos < 0 ? 0 : r->rstack[r->rstackpos--]) :
1.110 schwarze 1762: roff_evalcond(r, ln, buf->buf, &pos);
1.2 schwarze 1763:
1.35 schwarze 1764: /*
1765: * An if-else will put the NEGATION of the current evaluated
1766: * conditional into the stack of rules.
1767: */
1768:
1.110 schwarze 1769: if (tok == ROFF_ie) {
1.96 schwarze 1770: if (r->rstackpos + 1 == r->rstacksz) {
1771: r->rstacksz += 16;
1772: r->rstack = mandoc_reallocarray(r->rstack,
1773: r->rstacksz, sizeof(int));
1.35 schwarze 1774: }
1.71 schwarze 1775: r->rstack[++r->rstackpos] = !r->last->rule;
1.2 schwarze 1776: }
1.5 schwarze 1777:
1778: /* If the parent has false as its rule, then so do we. */
1779:
1.71 schwarze 1780: if (r->last->parent && !r->last->parent->rule)
1781: r->last->rule = 0;
1.5 schwarze 1782:
1783: /*
1.46 schwarze 1784: * Determine scope.
1785: * If there is nothing on the line after the conditional,
1786: * not even whitespace, use next-line scope.
1.5 schwarze 1787: */
1.2 schwarze 1788:
1.110 schwarze 1789: if (buf->buf[pos] == '\0') {
1.46 schwarze 1790: r->last->endspan = 2;
1791: goto out;
1792: }
1793:
1.110 schwarze 1794: while (buf->buf[pos] == ' ')
1.46 schwarze 1795: pos++;
1796:
1797: /* An opening brace requests multiline scope. */
1.2 schwarze 1798:
1.110 schwarze 1799: if (buf->buf[pos] == '\\' && buf->buf[pos + 1] == '{') {
1.2 schwarze 1800: r->last->endspan = -1;
1801: pos += 2;
1.46 schwarze 1802: goto out;
1.80 schwarze 1803: }
1.2 schwarze 1804:
1805: /*
1.46 schwarze 1806: * Anything else following the conditional causes
1807: * single-line scope. Warn if the scope contains
1808: * nothing but trailing whitespace.
1.2 schwarze 1809: */
1810:
1.110 schwarze 1811: if (buf->buf[pos] == '\0')
1.89 schwarze 1812: mandoc_msg(MANDOCERR_COND_EMPTY, r->parse,
1813: ln, ppos, roffs[tok].name);
1.2 schwarze 1814:
1.46 schwarze 1815: r->last->endspan = 1;
1.1 schwarze 1816:
1.46 schwarze 1817: out:
1.2 schwarze 1818: *offs = pos;
1819: return(ROFF_RERUN);
1.1 schwarze 1820: }
1821:
1.2 schwarze 1822: static enum rofferr
1.7 schwarze 1823: roff_ds(ROFF_ARGS)
1824: {
1.85 schwarze 1825: char *string;
1826: const char *name;
1827: size_t namesz;
1.10 schwarze 1828:
1.123 ! schwarze 1829: /* Ignore groff compatibility mode for now. */
! 1830:
! 1831: if (tok == ROFF_ds1)
! 1832: tok = ROFF_ds;
! 1833: else if (tok == ROFF_as1)
! 1834: tok = ROFF_as;
! 1835:
1.10 schwarze 1836: /*
1.85 schwarze 1837: * The first word is the name of the string.
1838: * If it is empty or terminated by an escape sequence,
1839: * abort the `ds' request without defining anything.
1.10 schwarze 1840: */
1.7 schwarze 1841:
1.110 schwarze 1842: name = string = buf->buf + pos;
1843: if (*name == '\0')
1.7 schwarze 1844: return(ROFF_IGN);
1845:
1.85 schwarze 1846: namesz = roff_getname(r, &string, ln, pos);
1.110 schwarze 1847: if (name[namesz] == '\\')
1.85 schwarze 1848: return(ROFF_IGN);
1849:
1850: /* Read past the initial double-quote, if any. */
1.110 schwarze 1851: if (*string == '"')
1.7 schwarze 1852: string++;
1853:
1.10 schwarze 1854: /* The rest is the value. */
1.85 schwarze 1855: roff_setstrn(&r->strtab, name, namesz, string, strlen(string),
1856: ROFF_as == tok);
1.7 schwarze 1857: return(ROFF_IGN);
1858: }
1859:
1.77 schwarze 1860: /*
1861: * Parse a single operator, one or two characters long.
1862: * If the operator is recognized, return success and advance the
1863: * parse point, else return failure and let the parse point unchanged.
1864: */
1865: static int
1866: roff_getop(const char *v, int *pos, char *res)
1867: {
1868:
1869: *res = v[*pos];
1870:
1871: switch (*res) {
1.80 schwarze 1872: case '+':
1.77 schwarze 1873: /* FALLTHROUGH */
1.80 schwarze 1874: case '-':
1.77 schwarze 1875: /* FALLTHROUGH */
1.80 schwarze 1876: case '*':
1.77 schwarze 1877: /* FALLTHROUGH */
1.80 schwarze 1878: case '/':
1.77 schwarze 1879: /* FALLTHROUGH */
1.80 schwarze 1880: case '%':
1.77 schwarze 1881: /* FALLTHROUGH */
1.80 schwarze 1882: case '&':
1.77 schwarze 1883: /* FALLTHROUGH */
1.80 schwarze 1884: case ':':
1.77 schwarze 1885: break;
1886: case '<':
1887: switch (v[*pos + 1]) {
1.80 schwarze 1888: case '=':
1.77 schwarze 1889: *res = 'l';
1890: (*pos)++;
1891: break;
1.80 schwarze 1892: case '>':
1.77 schwarze 1893: *res = '!';
1894: (*pos)++;
1895: break;
1.80 schwarze 1896: case '?':
1.77 schwarze 1897: *res = 'i';
1898: (*pos)++;
1899: break;
1900: default:
1901: break;
1902: }
1903: break;
1904: case '>':
1905: switch (v[*pos + 1]) {
1.80 schwarze 1906: case '=':
1.77 schwarze 1907: *res = 'g';
1908: (*pos)++;
1909: break;
1.80 schwarze 1910: case '?':
1.77 schwarze 1911: *res = 'a';
1912: (*pos)++;
1913: break;
1914: default:
1915: break;
1916: }
1917: break;
1918: case '=':
1919: if ('=' == v[*pos + 1])
1920: (*pos)++;
1921: break;
1922: default:
1923: return(0);
1924: }
1925: (*pos)++;
1926:
1927: return(*res);
1928: }
1929:
1930: /*
1931: * Evaluate either a parenthesized numeric expression
1932: * or a single signed integer number.
1933: */
1934: static int
1.106 schwarze 1935: roff_evalpar(struct roff *r, int ln,
1936: const char *v, int *pos, int *res)
1.77 schwarze 1937: {
1938:
1939: if ('(' != v[*pos])
1940: return(roff_getnum(v, pos, res));
1941:
1942: (*pos)++;
1.106 schwarze 1943: if ( ! roff_evalnum(r, ln, v, pos, res, 1))
1.77 schwarze 1944: return(0);
1945:
1.79 schwarze 1946: /*
1947: * Omission of the closing parenthesis
1948: * is an error in validation mode,
1949: * but ignored in evaluation mode.
1950: */
1951:
1.77 schwarze 1952: if (')' == v[*pos])
1953: (*pos)++;
1.79 schwarze 1954: else if (NULL == res)
1955: return(0);
1.77 schwarze 1956:
1957: return(1);
1958: }
1959:
1960: /*
1961: * Evaluate a complete numeric expression.
1962: * Proceed left to right, there is no concept of precedence.
1963: */
1964: static int
1.106 schwarze 1965: roff_evalnum(struct roff *r, int ln, const char *v,
1966: int *pos, int *res, int skipwhite)
1.77 schwarze 1967: {
1968: int mypos, operand2;
1969: char operator;
1970:
1971: if (NULL == pos) {
1972: mypos = 0;
1973: pos = &mypos;
1974: }
1975:
1976: if (skipwhite)
1977: while (isspace((unsigned char)v[*pos]))
1978: (*pos)++;
1979:
1.106 schwarze 1980: if ( ! roff_evalpar(r, ln, v, pos, res))
1.77 schwarze 1981: return(0);
1982:
1983: while (1) {
1984: if (skipwhite)
1985: while (isspace((unsigned char)v[*pos]))
1986: (*pos)++;
1987:
1988: if ( ! roff_getop(v, pos, &operator))
1989: break;
1990:
1991: if (skipwhite)
1992: while (isspace((unsigned char)v[*pos]))
1993: (*pos)++;
1994:
1.106 schwarze 1995: if ( ! roff_evalpar(r, ln, v, pos, &operand2))
1.77 schwarze 1996: return(0);
1997:
1998: if (skipwhite)
1999: while (isspace((unsigned char)v[*pos]))
2000: (*pos)++;
1.79 schwarze 2001:
2002: if (NULL == res)
2003: continue;
1.77 schwarze 2004:
2005: switch (operator) {
1.80 schwarze 2006: case '+':
1.77 schwarze 2007: *res += operand2;
2008: break;
1.80 schwarze 2009: case '-':
1.77 schwarze 2010: *res -= operand2;
2011: break;
1.80 schwarze 2012: case '*':
1.77 schwarze 2013: *res *= operand2;
2014: break;
1.80 schwarze 2015: case '/':
1.116 schwarze 2016: if (operand2 == 0) {
1.106 schwarze 2017: mandoc_msg(MANDOCERR_DIVZERO,
2018: r->parse, ln, *pos, v);
2019: *res = 0;
2020: break;
2021: }
1.77 schwarze 2022: *res /= operand2;
2023: break;
1.80 schwarze 2024: case '%':
1.116 schwarze 2025: if (operand2 == 0) {
2026: mandoc_msg(MANDOCERR_DIVZERO,
2027: r->parse, ln, *pos, v);
2028: *res = 0;
2029: break;
2030: }
1.77 schwarze 2031: *res %= operand2;
2032: break;
1.80 schwarze 2033: case '<':
1.77 schwarze 2034: *res = *res < operand2;
2035: break;
1.80 schwarze 2036: case '>':
1.77 schwarze 2037: *res = *res > operand2;
2038: break;
1.80 schwarze 2039: case 'l':
1.77 schwarze 2040: *res = *res <= operand2;
2041: break;
1.80 schwarze 2042: case 'g':
1.77 schwarze 2043: *res = *res >= operand2;
2044: break;
1.80 schwarze 2045: case '=':
1.77 schwarze 2046: *res = *res == operand2;
2047: break;
1.80 schwarze 2048: case '!':
1.77 schwarze 2049: *res = *res != operand2;
2050: break;
1.80 schwarze 2051: case '&':
1.77 schwarze 2052: *res = *res && operand2;
2053: break;
1.80 schwarze 2054: case ':':
1.77 schwarze 2055: *res = *res || operand2;
2056: break;
1.80 schwarze 2057: case 'i':
1.77 schwarze 2058: if (operand2 < *res)
2059: *res = operand2;
2060: break;
1.80 schwarze 2061: case 'a':
1.77 schwarze 2062: if (operand2 > *res)
2063: *res = operand2;
2064: break;
2065: default:
2066: abort();
2067: }
2068: }
2069: return(1);
2070: }
2071:
1.52 schwarze 2072: void
1.60 schwarze 2073: roff_setreg(struct roff *r, const char *name, int val, char sign)
1.41 schwarze 2074: {
1.52 schwarze 2075: struct roffreg *reg;
2076:
2077: /* Search for an existing register with the same name. */
2078: reg = r->regtab;
2079:
2080: while (reg && strcmp(name, reg->key.p))
2081: reg = reg->next;
1.41 schwarze 2082:
1.52 schwarze 2083: if (NULL == reg) {
2084: /* Create a new register. */
2085: reg = mandoc_malloc(sizeof(struct roffreg));
2086: reg->key.p = mandoc_strdup(name);
2087: reg->key.sz = strlen(name);
1.60 schwarze 2088: reg->val = 0;
1.52 schwarze 2089: reg->next = r->regtab;
2090: r->regtab = reg;
2091: }
2092:
1.60 schwarze 2093: if ('+' == sign)
2094: reg->val += val;
2095: else if ('-' == sign)
2096: reg->val -= val;
2097: else
2098: reg->val = val;
1.41 schwarze 2099: }
2100:
1.65 schwarze 2101: /*
2102: * Handle some predefined read-only number registers.
2103: * For now, return -1 if the requested register is not predefined;
2104: * in case a predefined read-only register having the value -1
2105: * were to turn up, another special value would have to be chosen.
2106: */
2107: static int
2108: roff_getregro(const char *name)
2109: {
2110:
2111: switch (*name) {
1.80 schwarze 2112: case 'A': /* ASCII approximation mode is always off. */
1.65 schwarze 2113: return(0);
1.80 schwarze 2114: case 'g': /* Groff compatibility mode is always on. */
1.65 schwarze 2115: return(1);
1.80 schwarze 2116: case 'H': /* Fixed horizontal resolution. */
1.65 schwarze 2117: return (24);
1.80 schwarze 2118: case 'j': /* Always adjust left margin only. */
1.65 schwarze 2119: return(0);
1.80 schwarze 2120: case 'T': /* Some output device is always defined. */
1.65 schwarze 2121: return(1);
1.80 schwarze 2122: case 'V': /* Fixed vertical resolution. */
1.65 schwarze 2123: return (40);
2124: default:
2125: return (-1);
2126: }
2127: }
2128:
1.53 schwarze 2129: int
1.52 schwarze 2130: roff_getreg(const struct roff *r, const char *name)
1.41 schwarze 2131: {
1.52 schwarze 2132: struct roffreg *reg;
1.65 schwarze 2133: int val;
2134:
2135: if ('.' == name[0] && '\0' != name[1] && '\0' == name[2]) {
2136: val = roff_getregro(name + 1);
2137: if (-1 != val)
2138: return (val);
2139: }
1.52 schwarze 2140:
2141: for (reg = r->regtab; reg; reg = reg->next)
2142: if (0 == strcmp(name, reg->key.p))
1.53 schwarze 2143: return(reg->val);
2144:
2145: return(0);
2146: }
2147:
2148: static int
2149: roff_getregn(const struct roff *r, const char *name, size_t len)
2150: {
2151: struct roffreg *reg;
1.65 schwarze 2152: int val;
2153:
2154: if ('.' == name[0] && 2 == len) {
2155: val = roff_getregro(name + 1);
2156: if (-1 != val)
2157: return (val);
2158: }
1.53 schwarze 2159:
2160: for (reg = r->regtab; reg; reg = reg->next)
2161: if (len == reg->key.sz &&
2162: 0 == strncmp(name, reg->key.p, len))
2163: return(reg->val);
1.41 schwarze 2164:
1.52 schwarze 2165: return(0);
1.41 schwarze 2166: }
2167:
1.52 schwarze 2168: static void
2169: roff_freereg(struct roffreg *reg)
1.41 schwarze 2170: {
1.52 schwarze 2171: struct roffreg *old_reg;
1.41 schwarze 2172:
1.52 schwarze 2173: while (NULL != reg) {
2174: free(reg->key.p);
2175: old_reg = reg;
2176: reg = reg->next;
2177: free(old_reg);
2178: }
1.41 schwarze 2179: }
1.7 schwarze 2180:
2181: static enum rofferr
1.6 schwarze 2182: roff_nr(ROFF_ARGS)
1.1 schwarze 2183: {
1.85 schwarze 2184: char *key, *val;
2185: size_t keysz;
1.37 schwarze 2186: int iv;
1.60 schwarze 2187: char sign;
1.6 schwarze 2188:
1.110 schwarze 2189: key = val = buf->buf + pos;
2190: if (*key == '\0')
1.85 schwarze 2191: return(ROFF_IGN);
2192:
2193: keysz = roff_getname(r, &val, ln, pos);
1.110 schwarze 2194: if (key[keysz] == '\\')
1.85 schwarze 2195: return(ROFF_IGN);
2196: key[keysz] = '\0';
1.6 schwarze 2197:
1.60 schwarze 2198: sign = *val;
1.110 schwarze 2199: if (sign == '+' || sign == '-')
1.60 schwarze 2200: val++;
2201:
1.106 schwarze 2202: if (roff_evalnum(r, ln, val, NULL, &iv, 0))
1.77 schwarze 2203: roff_setreg(r, key, iv, sign);
1.1 schwarze 2204:
1.76 schwarze 2205: return(ROFF_IGN);
2206: }
2207:
2208: static enum rofferr
2209: roff_rr(ROFF_ARGS)
2210: {
2211: struct roffreg *reg, **prev;
1.85 schwarze 2212: char *name, *cp;
2213: size_t namesz;
1.76 schwarze 2214:
1.110 schwarze 2215: name = cp = buf->buf + pos;
2216: if (*name == '\0')
1.85 schwarze 2217: return(ROFF_IGN);
2218: namesz = roff_getname(r, &cp, ln, pos);
2219: name[namesz] = '\0';
1.76 schwarze 2220:
2221: prev = &r->regtab;
2222: while (1) {
2223: reg = *prev;
1.110 schwarze 2224: if (reg == NULL || !strcmp(name, reg->key.p))
1.76 schwarze 2225: break;
2226: prev = ®->next;
2227: }
1.110 schwarze 2228: if (reg != NULL) {
1.76 schwarze 2229: *prev = reg->next;
2230: free(reg->key.p);
2231: free(reg);
2232: }
1.29 schwarze 2233: return(ROFF_IGN);
2234: }
2235:
2236: static enum rofferr
2237: roff_rm(ROFF_ARGS)
2238: {
2239: const char *name;
2240: char *cp;
1.85 schwarze 2241: size_t namesz;
1.29 schwarze 2242:
1.110 schwarze 2243: cp = buf->buf + pos;
2244: while (*cp != '\0') {
1.85 schwarze 2245: name = cp;
1.110 schwarze 2246: namesz = roff_getname(r, &cp, ln, (int)(cp - buf->buf));
1.85 schwarze 2247: roff_setstrn(&r->strtab, name, namesz, NULL, 0, 0);
1.110 schwarze 2248: if (name[namesz] == '\\')
1.85 schwarze 2249: break;
1.29 schwarze 2250: }
1.51 schwarze 2251: return(ROFF_IGN);
2252: }
2253:
2254: static enum rofferr
2255: roff_it(ROFF_ARGS)
2256: {
2257: char *cp;
2258: size_t len;
2259: int iv;
2260:
2261: /* Parse the number of lines. */
1.110 schwarze 2262: cp = buf->buf + pos;
1.51 schwarze 2263: len = strcspn(cp, " \t");
2264: cp[len] = '\0';
2265: if ((iv = mandoc_strntoi(cp, len, 10)) <= 0) {
1.95 schwarze 2266: mandoc_msg(MANDOCERR_IT_NONUM, r->parse,
1.110 schwarze 2267: ln, ppos, buf->buf + 1);
1.51 schwarze 2268: return(ROFF_IGN);
2269: }
2270: cp += len + 1;
2271:
2272: /* Arm the input line trap. */
2273: roffit_lines = iv;
2274: roffit_macro = mandoc_strdup(cp);
1.2 schwarze 2275: return(ROFF_IGN);
1.47 schwarze 2276: }
2277:
2278: static enum rofferr
2279: roff_Dd(ROFF_ARGS)
2280: {
2281: const char *const *cp;
2282:
1.99 schwarze 2283: if ((r->options & (MPARSE_MDOC | MPARSE_QUICK)) == 0)
1.47 schwarze 2284: for (cp = __mdoc_reserved; *cp; cp++)
2285: roff_setstr(r, *cp, NULL, 0);
2286:
1.99 schwarze 2287: if (r->format == 0)
2288: r->format = MPARSE_MDOC;
2289:
1.47 schwarze 2290: return(ROFF_CONT);
2291: }
2292:
2293: static enum rofferr
2294: roff_TH(ROFF_ARGS)
2295: {
2296: const char *const *cp;
2297:
1.99 schwarze 2298: if ((r->options & MPARSE_QUICK) == 0)
1.47 schwarze 2299: for (cp = __man_reserved; *cp; cp++)
2300: roff_setstr(r, *cp, NULL, 0);
2301:
1.99 schwarze 2302: if (r->format == 0)
2303: r->format = MPARSE_MAN;
2304:
1.47 schwarze 2305: return(ROFF_CONT);
1.14 schwarze 2306: }
2307:
2308: static enum rofferr
1.27 schwarze 2309: roff_TE(ROFF_ARGS)
2310: {
2311:
2312: if (NULL == r->tbl)
1.94 schwarze 2313: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
2314: ln, ppos, "TE");
1.27 schwarze 2315: else
1.41 schwarze 2316: tbl_end(&r->tbl);
1.27 schwarze 2317:
2318: return(ROFF_IGN);
2319: }
2320:
2321: static enum rofferr
2322: roff_T_(ROFF_ARGS)
2323: {
2324:
2325: if (NULL == r->tbl)
1.94 schwarze 2326: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse,
2327: ln, ppos, "T&");
1.27 schwarze 2328: else
2329: tbl_restart(ppos, ln, r->tbl);
2330:
2331: return(ROFF_IGN);
2332: }
2333:
1.102 schwarze 2334: /*
2335: * Handle in-line equation delimiters.
2336: */
2337: static enum rofferr
1.110 schwarze 2338: roff_eqndelim(struct roff *r, struct buf *buf, int pos)
1.41 schwarze 2339: {
1.105 schwarze 2340: char *cp1, *cp2;
2341: const char *bef_pr, *bef_nl, *mac, *aft_nl, *aft_pr;
1.41 schwarze 2342:
1.102 schwarze 2343: /*
2344: * Outside equations, look for an opening delimiter.
2345: * If we are inside an equation, we already know it is
2346: * in-line, or this function wouldn't have been called;
2347: * so look for a closing delimiter.
2348: */
2349:
1.110 schwarze 2350: cp1 = buf->buf + pos;
1.102 schwarze 2351: cp2 = strchr(cp1, r->eqn == NULL ?
2352: r->last_eqn->odelim : r->last_eqn->cdelim);
2353: if (cp2 == NULL)
2354: return(ROFF_CONT);
2355:
1.105 schwarze 2356: *cp2++ = '\0';
2357: bef_pr = bef_nl = aft_nl = aft_pr = "";
2358:
2359: /* Handle preceding text, protecting whitespace. */
2360:
1.110 schwarze 2361: if (*buf->buf != '\0') {
1.105 schwarze 2362: if (r->eqn == NULL)
2363: bef_pr = "\\&";
2364: bef_nl = "\n";
2365: }
2366:
2367: /*
2368: * Prepare replacing the delimiter with an equation macro
2369: * and drop leading white space from the equation.
2370: */
1.102 schwarze 2371:
1.105 schwarze 2372: if (r->eqn == NULL) {
2373: while (*cp2 == ' ')
2374: cp2++;
2375: mac = ".EQ";
2376: } else
2377: mac = ".EN";
2378:
2379: /* Handle following text, protecting whitespace. */
2380:
2381: if (*cp2 != '\0') {
2382: aft_nl = "\n";
2383: if (r->eqn != NULL)
2384: aft_pr = "\\&";
2385: }
2386:
2387: /* Do the actual replacement. */
2388:
1.110 schwarze 2389: buf->sz = mandoc_asprintf(&cp1, "%s%s%s%s%s%s%s", buf->buf,
1.105 schwarze 2390: bef_pr, bef_nl, mac, aft_nl, aft_pr, cp2) + 1;
1.110 schwarze 2391: free(buf->buf);
2392: buf->buf = cp1;
1.102 schwarze 2393:
2394: /* Toggle the in-line state of the eqn subsystem. */
2395:
2396: r->eqn_inline = r->eqn == NULL;
2397: return(ROFF_REPARSE);
1.41 schwarze 2398: }
2399:
1.107 schwarze 2400: static enum rofferr
2401: roff_EQ(ROFF_ARGS)
1.32 schwarze 2402: {
1.41 schwarze 2403: struct eqn_node *e;
1.32 schwarze 2404:
1.110 schwarze 2405: assert(r->eqn == NULL);
1.107 schwarze 2406: e = eqn_alloc(ppos, ln, r->parse);
1.32 schwarze 2407:
1.102 schwarze 2408: if (r->last_eqn) {
1.32 schwarze 2409: r->last_eqn->next = e;
1.102 schwarze 2410: e->delim = r->last_eqn->delim;
2411: e->odelim = r->last_eqn->odelim;
2412: e->cdelim = r->last_eqn->cdelim;
2413: } else
1.32 schwarze 2414: r->first_eqn = r->last_eqn = e;
2415:
2416: r->eqn = r->last_eqn = e;
1.41 schwarze 2417:
1.110 schwarze 2418: if (buf->buf[pos] != '\0')
1.107 schwarze 2419: mandoc_vmsg(MANDOCERR_ARG_SKIP, r->parse, ln, pos,
1.110 schwarze 2420: ".EQ %s", buf->buf + pos);
1.41 schwarze 2421:
1.32 schwarze 2422: return(ROFF_IGN);
2423: }
2424:
2425: static enum rofferr
2426: roff_EN(ROFF_ARGS)
2427: {
2428:
1.94 schwarze 2429: mandoc_msg(MANDOCERR_BLK_NOTOPEN, r->parse, ln, ppos, "EN");
1.32 schwarze 2430: return(ROFF_IGN);
2431: }
2432:
2433: static enum rofferr
1.27 schwarze 2434: roff_TS(ROFF_ARGS)
2435: {
1.49 schwarze 2436: struct tbl_node *tbl;
1.27 schwarze 2437:
2438: if (r->tbl) {
1.94 schwarze 2439: mandoc_msg(MANDOCERR_BLK_BROKEN, r->parse,
2440: ln, ppos, "TS breaks TS");
1.41 schwarze 2441: tbl_end(&r->tbl);
1.27 schwarze 2442: }
2443:
1.49 schwarze 2444: tbl = tbl_alloc(ppos, ln, r->parse);
1.27 schwarze 2445:
2446: if (r->last_tbl)
1.49 schwarze 2447: r->last_tbl->next = tbl;
1.27 schwarze 2448: else
1.49 schwarze 2449: r->first_tbl = r->last_tbl = tbl;
1.27 schwarze 2450:
1.49 schwarze 2451: r->tbl = r->last_tbl = tbl;
1.27 schwarze 2452: return(ROFF_IGN);
1.123 ! schwarze 2453: }
! 2454:
! 2455: static enum rofferr
! 2456: roff_brp(ROFF_ARGS)
! 2457: {
! 2458:
! 2459: buf->buf[pos - 1] = '\0';
! 2460: return(ROFF_CONT);
1.27 schwarze 2461: }
2462:
2463: static enum rofferr
1.48 schwarze 2464: roff_cc(ROFF_ARGS)
2465: {
2466: const char *p;
2467:
1.110 schwarze 2468: p = buf->buf + pos;
1.48 schwarze 2469:
1.110 schwarze 2470: if (*p == '\0' || (r->control = *p++) == '.')
1.48 schwarze 2471: r->control = 0;
2472:
1.110 schwarze 2473: if (*p != '\0')
1.48 schwarze 2474: mandoc_msg(MANDOCERR_ARGCOUNT, r->parse, ln, ppos, NULL);
2475:
2476: return(ROFF_IGN);
2477: }
2478:
2479: static enum rofferr
1.42 schwarze 2480: roff_tr(ROFF_ARGS)
2481: {
2482: const char *p, *first, *second;
2483: size_t fsz, ssz;
2484: enum mandoc_esc esc;
2485:
1.110 schwarze 2486: p = buf->buf + pos;
1.42 schwarze 2487:
1.110 schwarze 2488: if (*p == '\0') {
1.42 schwarze 2489: mandoc_msg(MANDOCERR_ARGCOUNT, r->parse, ln, ppos, NULL);
2490: return(ROFF_IGN);
2491: }
2492:
1.110 schwarze 2493: while (*p != '\0') {
1.42 schwarze 2494: fsz = ssz = 1;
2495:
2496: first = p++;
1.110 schwarze 2497: if (*first == '\\') {
1.42 schwarze 2498: esc = mandoc_escape(&p, NULL, NULL);
1.110 schwarze 2499: if (esc == ESCAPE_ERROR) {
1.92 schwarze 2500: mandoc_msg(MANDOCERR_ESC_BAD, r->parse,
1.110 schwarze 2501: ln, (int)(p - buf->buf), first);
1.42 schwarze 2502: return(ROFF_IGN);
2503: }
2504: fsz = (size_t)(p - first);
2505: }
2506:
2507: second = p++;
1.110 schwarze 2508: if (*second == '\\') {
1.42 schwarze 2509: esc = mandoc_escape(&p, NULL, NULL);
1.110 schwarze 2510: if (esc == ESCAPE_ERROR) {
1.92 schwarze 2511: mandoc_msg(MANDOCERR_ESC_BAD, r->parse,
1.110 schwarze 2512: ln, (int)(p - buf->buf), second);
1.42 schwarze 2513: return(ROFF_IGN);
2514: }
2515: ssz = (size_t)(p - second);
1.110 schwarze 2516: } else if (*second == '\0') {
1.80 schwarze 2517: mandoc_msg(MANDOCERR_ARGCOUNT, r->parse,
1.110 schwarze 2518: ln, (int)(p - buf->buf), NULL);
1.42 schwarze 2519: second = " ";
2520: p--;
2521: }
2522:
2523: if (fsz > 1) {
1.80 schwarze 2524: roff_setstrn(&r->xmbtab, first, fsz,
2525: second, ssz, 0);
1.42 schwarze 2526: continue;
2527: }
2528:
1.110 schwarze 2529: if (r->xtab == NULL)
1.80 schwarze 2530: r->xtab = mandoc_calloc(128,
2531: sizeof(struct roffstr));
1.42 schwarze 2532:
2533: free(r->xtab[(int)*first].p);
2534: r->xtab[(int)*first].p = mandoc_strndup(second, ssz);
2535: r->xtab[(int)*first].sz = ssz;
2536: }
2537:
2538: return(ROFF_IGN);
2539: }
2540:
2541: static enum rofferr
1.14 schwarze 2542: roff_so(ROFF_ARGS)
2543: {
1.121 schwarze 2544: char *name, *cp;
1.15 schwarze 2545:
1.110 schwarze 2546: name = buf->buf + pos;
1.97 schwarze 2547: mandoc_vmsg(MANDOCERR_SO, r->parse, ln, ppos, "so %s", name);
1.14 schwarze 2548:
1.22 schwarze 2549: /*
2550: * Handle `so'. Be EXTREMELY careful, as we shouldn't be
2551: * opening anything that's not in our cwd or anything beneath
2552: * it. Thus, explicitly disallow traversing up the file-system
2553: * or using absolute paths.
2554: */
2555:
1.110 schwarze 2556: if (*name == '/' || strstr(name, "../") || strstr(name, "/..")) {
1.83 schwarze 2557: mandoc_vmsg(MANDOCERR_SO_PATH, r->parse, ln, ppos,
2558: ".so %s", name);
1.121 schwarze 2559: buf->sz = mandoc_asprintf(&cp,
2560: ".sp\nSee the file %s.\n.sp", name) + 1;
2561: free(buf->buf);
2562: buf->buf = cp;
2563: *offs = 0;
2564: return(ROFF_REPARSE);
1.14 schwarze 2565: }
2566:
2567: *offs = pos;
2568: return(ROFF_SO);
1.7 schwarze 2569: }
2570:
1.16 schwarze 2571: static enum rofferr
2572: roff_userdef(ROFF_ARGS)
1.12 schwarze 2573: {
1.16 schwarze 2574: const char *arg[9];
2575: char *cp, *n1, *n2;
1.25 schwarze 2576: int i;
1.12 schwarze 2577:
1.16 schwarze 2578: /*
2579: * Collect pointers to macro argument strings
1.61 schwarze 2580: * and NUL-terminate them.
1.16 schwarze 2581: */
1.110 schwarze 2582: cp = buf->buf + pos;
1.25 schwarze 2583: for (i = 0; i < 9; i++)
1.110 schwarze 2584: arg[i] = *cp == '\0' ? "" :
1.35 schwarze 2585: mandoc_getarg(r->parse, &cp, ln, &pos);
1.16 schwarze 2586:
2587: /*
2588: * Expand macro arguments.
1.12 schwarze 2589: */
1.110 schwarze 2590: buf->sz = 0;
1.16 schwarze 2591: n1 = cp = mandoc_strdup(r->current_string);
1.110 schwarze 2592: while ((cp = strstr(cp, "\\$")) != NULL) {
1.16 schwarze 2593: i = cp[2] - '1';
2594: if (0 > i || 8 < i) {
2595: /* Not an argument invocation. */
2596: cp += 2;
2597: continue;
2598: }
1.82 schwarze 2599: *cp = '\0';
1.110 schwarze 2600: buf->sz = mandoc_asprintf(&n2, "%s%s%s",
1.82 schwarze 2601: n1, arg[i], cp + 3) + 1;
1.16 schwarze 2602: cp = n2 + (cp - n1);
2603: free(n1);
2604: n1 = n2;
1.12 schwarze 2605: }
2606:
1.16 schwarze 2607: /*
2608: * Replace the macro invocation
2609: * by the expanded macro.
2610: */
1.110 schwarze 2611: free(buf->buf);
2612: buf->buf = n1;
2613: if (buf->sz == 0)
2614: buf->sz = strlen(buf->buf) + 1;
1.120 schwarze 2615: *offs = 0;
1.16 schwarze 2616:
1.110 schwarze 2617: return(buf->sz > 1 && buf->buf[buf->sz - 2] == '\n' ?
1.16 schwarze 2618: ROFF_REPARSE : ROFF_APPEND);
1.12 schwarze 2619: }
1.28 schwarze 2620:
1.85 schwarze 2621: static size_t
1.28 schwarze 2622: roff_getname(struct roff *r, char **cpp, int ln, int pos)
2623: {
2624: char *name, *cp;
1.85 schwarze 2625: size_t namesz;
1.28 schwarze 2626:
2627: name = *cpp;
2628: if ('\0' == *name)
1.85 schwarze 2629: return(0);
1.28 schwarze 2630:
1.85 schwarze 2631: /* Read until end of name and terminate it with NUL. */
2632: for (cp = name; 1; cp++) {
2633: if ('\0' == *cp || ' ' == *cp) {
2634: namesz = cp - name;
2635: break;
2636: }
1.28 schwarze 2637: if ('\\' != *cp)
2638: continue;
1.88 schwarze 2639: namesz = cp - name;
2640: if ('{' == cp[1] || '}' == cp[1])
2641: break;
1.28 schwarze 2642: cp++;
2643: if ('\\' == *cp)
2644: continue;
1.97 schwarze 2645: mandoc_vmsg(MANDOCERR_NAMESC, r->parse, ln, pos,
2646: "%.*s", (int)(cp - name + 1), name);
1.85 schwarze 2647: mandoc_escape((const char **)&cp, NULL, NULL);
2648: break;
1.28 schwarze 2649: }
2650:
2651: /* Read past spaces. */
2652: while (' ' == *cp)
2653: cp++;
2654:
2655: *cpp = cp;
1.85 schwarze 2656: return(namesz);
1.28 schwarze 2657: }
2658:
1.16 schwarze 2659: /*
2660: * Store *string into the user-defined string called *name.
2661: * To clear an existing entry, call with (*r, *name, NULL, 0).
1.66 schwarze 2662: * append == 0: replace mode
2663: * append == 1: single-line append mode
2664: * append == 2: multiline append mode, append '\n' after each call
1.16 schwarze 2665: */
1.8 schwarze 2666: static void
1.16 schwarze 2667: roff_setstr(struct roff *r, const char *name, const char *string,
1.66 schwarze 2668: int append)
1.7 schwarze 2669: {
1.42 schwarze 2670:
2671: roff_setstrn(&r->strtab, name, strlen(name), string,
1.80 schwarze 2672: string ? strlen(string) : 0, append);
1.42 schwarze 2673: }
2674:
2675: static void
2676: roff_setstrn(struct roffkv **r, const char *name, size_t namesz,
1.66 schwarze 2677: const char *string, size_t stringsz, int append)
1.42 schwarze 2678: {
2679: struct roffkv *n;
2680: char *c;
2681: int i;
2682: size_t oldch, newch;
1.7 schwarze 2683:
1.16 schwarze 2684: /* Search for an existing string with the same name. */
1.42 schwarze 2685: n = *r;
2686:
1.84 schwarze 2687: while (n && (namesz != n->key.sz ||
2688: strncmp(n->key.p, name, namesz)))
1.7 schwarze 2689: n = n->next;
1.8 schwarze 2690:
2691: if (NULL == n) {
1.16 schwarze 2692: /* Create a new string table entry. */
1.42 schwarze 2693: n = mandoc_malloc(sizeof(struct roffkv));
2694: n->key.p = mandoc_strndup(name, namesz);
2695: n->key.sz = namesz;
2696: n->val.p = NULL;
2697: n->val.sz = 0;
2698: n->next = *r;
2699: *r = n;
1.66 schwarze 2700: } else if (0 == append) {
1.42 schwarze 2701: free(n->val.p);
2702: n->val.p = NULL;
2703: n->val.sz = 0;
1.16 schwarze 2704: }
2705:
2706: if (NULL == string)
2707: return;
2708:
2709: /*
2710: * One additional byte for the '\n' in multiline mode,
2711: * and one for the terminating '\0'.
2712: */
1.66 schwarze 2713: newch = stringsz + (1 < append ? 2u : 1u);
1.42 schwarze 2714:
2715: if (NULL == n->val.p) {
2716: n->val.p = mandoc_malloc(newch);
2717: *n->val.p = '\0';
1.16 schwarze 2718: oldch = 0;
2719: } else {
1.42 schwarze 2720: oldch = n->val.sz;
2721: n->val.p = mandoc_realloc(n->val.p, oldch + newch);
1.16 schwarze 2722: }
2723:
2724: /* Skip existing content in the destination buffer. */
1.42 schwarze 2725: c = n->val.p + (int)oldch;
1.16 schwarze 2726:
2727: /* Append new content to the destination buffer. */
1.42 schwarze 2728: i = 0;
2729: while (i < (int)stringsz) {
1.16 schwarze 2730: /*
2731: * Rudimentary roff copy mode:
2732: * Handle escaped backslashes.
2733: */
1.42 schwarze 2734: if ('\\' == string[i] && '\\' == string[i + 1])
2735: i++;
2736: *c++ = string[i++];
1.16 schwarze 2737: }
1.8 schwarze 2738:
1.16 schwarze 2739: /* Append terminating bytes. */
1.66 schwarze 2740: if (1 < append)
1.16 schwarze 2741: *c++ = '\n';
1.42 schwarze 2742:
1.16 schwarze 2743: *c = '\0';
1.42 schwarze 2744: n->val.sz = (int)(c - n->val.p);
1.7 schwarze 2745: }
2746:
1.8 schwarze 2747: static const char *
2748: roff_getstrn(const struct roff *r, const char *name, size_t len)
1.7 schwarze 2749: {
1.42 schwarze 2750: const struct roffkv *n;
1.64 schwarze 2751: int i;
1.7 schwarze 2752:
1.42 schwarze 2753: for (n = r->strtab; n; n = n->next)
1.80 schwarze 2754: if (0 == strncmp(name, n->key.p, len) &&
2755: '\0' == n->key.p[(int)len])
1.42 schwarze 2756: return(n->val.p);
1.64 schwarze 2757:
2758: for (i = 0; i < PREDEFS_MAX; i++)
2759: if (0 == strncmp(name, predefs[i].name, len) &&
2760: '\0' == predefs[i].name[(int)len])
2761: return(predefs[i].str);
1.8 schwarze 2762:
1.42 schwarze 2763: return(NULL);
1.7 schwarze 2764: }
2765:
1.8 schwarze 2766: static void
1.42 schwarze 2767: roff_freestr(struct roffkv *r)
1.7 schwarze 2768: {
1.42 schwarze 2769: struct roffkv *n, *nn;
1.7 schwarze 2770:
1.42 schwarze 2771: for (n = r; n; n = nn) {
2772: free(n->key.p);
2773: free(n->val.p);
1.7 schwarze 2774: nn = n->next;
2775: free(n);
2776: }
1.27 schwarze 2777: }
2778:
2779: const struct tbl_span *
2780: roff_span(const struct roff *r)
2781: {
1.80 schwarze 2782:
1.27 schwarze 2783: return(r->tbl ? tbl_span(r->tbl) : NULL);
1.32 schwarze 2784: }
2785:
2786: const struct eqn *
2787: roff_eqn(const struct roff *r)
2788: {
1.80 schwarze 2789:
1.32 schwarze 2790: return(r->last_eqn ? &r->last_eqn->eqn : NULL);
1.42 schwarze 2791: }
2792:
2793: /*
2794: * Duplicate an input string, making the appropriate character
2795: * conversations (as stipulated by `tr') along the way.
2796: * Returns a heap-allocated string with all the replacements made.
2797: */
2798: char *
2799: roff_strdup(const struct roff *r, const char *p)
2800: {
2801: const struct roffkv *cp;
2802: char *res;
2803: const char *pp;
2804: size_t ssz, sz;
2805: enum mandoc_esc esc;
2806:
2807: if (NULL == r->xmbtab && NULL == r->xtab)
2808: return(mandoc_strdup(p));
2809: else if ('\0' == *p)
2810: return(mandoc_strdup(""));
2811:
2812: /*
2813: * Step through each character looking for term matches
2814: * (remember that a `tr' can be invoked with an escape, which is
2815: * a glyph but the escape is multi-character).
2816: * We only do this if the character hash has been initialised
2817: * and the string is >0 length.
2818: */
2819:
2820: res = NULL;
2821: ssz = 0;
2822:
2823: while ('\0' != *p) {
2824: if ('\\' != *p && r->xtab && r->xtab[(int)*p].p) {
2825: sz = r->xtab[(int)*p].sz;
2826: res = mandoc_realloc(res, ssz + sz + 1);
2827: memcpy(res + ssz, r->xtab[(int)*p].p, sz);
2828: ssz += sz;
2829: p++;
2830: continue;
2831: } else if ('\\' != *p) {
2832: res = mandoc_realloc(res, ssz + 2);
2833: res[ssz++] = *p++;
2834: continue;
2835: }
2836:
2837: /* Search for term matches. */
2838: for (cp = r->xmbtab; cp; cp = cp->next)
2839: if (0 == strncmp(p, cp->key.p, cp->key.sz))
2840: break;
2841:
2842: if (NULL != cp) {
2843: /*
2844: * A match has been found.
2845: * Append the match to the array and move
2846: * forward by its keysize.
2847: */
1.80 schwarze 2848: res = mandoc_realloc(res,
2849: ssz + cp->val.sz + 1);
1.42 schwarze 2850: memcpy(res + ssz, cp->val.p, cp->val.sz);
2851: ssz += cp->val.sz;
2852: p += (int)cp->key.sz;
2853: continue;
2854: }
2855:
2856: /*
2857: * Handle escapes carefully: we need to copy
2858: * over just the escape itself, or else we might
2859: * do replacements within the escape itself.
2860: * Make sure to pass along the bogus string.
2861: */
2862: pp = p++;
2863: esc = mandoc_escape(&p, NULL, NULL);
2864: if (ESCAPE_ERROR == esc) {
2865: sz = strlen(pp);
2866: res = mandoc_realloc(res, ssz + sz + 1);
2867: memcpy(res + ssz, pp, sz);
2868: break;
2869: }
1.80 schwarze 2870: /*
2871: * We bail out on bad escapes.
1.42 schwarze 2872: * No need to warn: we already did so when
2873: * roff_res() was called.
2874: */
2875: sz = (int)(p - pp);
2876: res = mandoc_realloc(res, ssz + sz + 1);
2877: memcpy(res + ssz, pp, sz);
2878: ssz += sz;
2879: }
2880:
2881: res[(int)ssz] = '\0';
2882: return(res);
1.99 schwarze 2883: }
2884:
2885: int
2886: roff_getformat(const struct roff *r)
2887: {
2888:
2889: return(r->format);
1.48 schwarze 2890: }
2891:
2892: /*
1.80 schwarze 2893: * Find out whether a line is a macro line or not.
1.48 schwarze 2894: * If it is, adjust the current position and return one; if it isn't,
2895: * return zero and don't change the current position.
2896: * If the control character has been set with `.cc', then let that grain
2897: * precedence.
2898: * This is slighly contrary to groff, where using the non-breaking
2899: * control character when `cc' has been invoked will cause the
2900: * non-breaking macro contents to be printed verbatim.
2901: */
2902: int
2903: roff_getcontrol(const struct roff *r, const char *cp, int *ppos)
2904: {
2905: int pos;
2906:
2907: pos = *ppos;
2908:
2909: if (0 != r->control && cp[pos] == r->control)
2910: pos++;
2911: else if (0 != r->control)
2912: return(0);
2913: else if ('\\' == cp[pos] && '.' == cp[pos + 1])
2914: pos += 2;
2915: else if ('.' == cp[pos] || '\'' == cp[pos])
2916: pos++;
2917: else
2918: return(0);
2919:
2920: while (' ' == cp[pos] || '\t' == cp[pos])
2921: pos++;
2922:
2923: *ppos = pos;
2924: return(1);
1.1 schwarze 2925: }