version 1.372, 2020/04/03 11:35:01 |
version 1.384, 2022/04/28 16:21:10 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2010-2015, 2017-2020 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2010-2015, 2017-2022 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2008-2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2008-2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv> |
* |
* |
* Permission to use, copy, modify, and distribute this software for any |
* Permission to use, copy, modify, and distribute this software for any |
Line 192 static int roff_cc(ROFF_ARGS); |
|
Line 192 static int roff_cc(ROFF_ARGS); |
|
static int roff_ccond(struct roff *, int, int); |
static int roff_ccond(struct roff *, int, int); |
static int roff_char(ROFF_ARGS); |
static int roff_char(ROFF_ARGS); |
static int roff_cond(ROFF_ARGS); |
static int roff_cond(ROFF_ARGS); |
|
static int roff_cond_checkend(ROFF_ARGS); |
static int roff_cond_text(ROFF_ARGS); |
static int roff_cond_text(ROFF_ARGS); |
static int roff_cond_sub(ROFF_ARGS); |
static int roff_cond_sub(ROFF_ARGS); |
static int roff_ds(ROFF_ARGS); |
static int roff_ds(ROFF_ARGS); |
Line 226 static int roff_line_ignore(ROFF_ARGS); |
|
Line 227 static int roff_line_ignore(ROFF_ARGS); |
|
static void roff_man_alloc1(struct roff_man *); |
static void roff_man_alloc1(struct roff_man *); |
static void roff_man_free1(struct roff_man *); |
static void roff_man_free1(struct roff_man *); |
static int roff_manyarg(ROFF_ARGS); |
static int roff_manyarg(ROFF_ARGS); |
|
static int roff_mc(ROFF_ARGS); |
static int roff_noarg(ROFF_ARGS); |
static int roff_noarg(ROFF_ARGS); |
static int roff_nop(ROFF_ARGS); |
static int roff_nop(ROFF_ARGS); |
static int roff_nr(ROFF_ARGS); |
static int roff_nr(ROFF_ARGS); |
Line 378 static struct roffmac roffs[TOKEN_NONE] = { |
|
Line 380 static struct roffmac roffs[TOKEN_NONE] = { |
|
{ roff_noarg, NULL, NULL, 0 }, /* fi */ |
{ roff_noarg, NULL, NULL, 0 }, /* fi */ |
{ roff_onearg, NULL, NULL, 0 }, /* ft */ |
{ roff_onearg, NULL, NULL, 0 }, /* ft */ |
{ roff_onearg, NULL, NULL, 0 }, /* ll */ |
{ roff_onearg, NULL, NULL, 0 }, /* ll */ |
{ roff_onearg, NULL, NULL, 0 }, /* mc */ |
{ roff_mc, NULL, NULL, 0 }, /* mc */ |
{ roff_noarg, NULL, NULL, 0 }, /* nf */ |
{ roff_noarg, NULL, NULL, 0 }, /* nf */ |
{ roff_onearg, NULL, NULL, 0 }, /* po */ |
{ roff_onearg, NULL, NULL, 0 }, /* po */ |
{ roff_onearg, NULL, NULL, 0 }, /* rj */ |
{ roff_onearg, NULL, NULL, 0 }, /* rj */ |
|
|
roff_man_free(struct roff_man *man) |
roff_man_free(struct roff_man *man) |
{ |
{ |
roff_man_free1(man); |
roff_man_free1(man); |
|
free(man->os_r); |
free(man); |
free(man); |
} |
} |
|
|
Line 1103 roff_node_free(struct roff_node *n) |
|
Line 1106 roff_node_free(struct roff_node *n) |
|
free(n->norm); |
free(n->norm); |
eqn_box_free(n->eqn); |
eqn_box_free(n->eqn); |
free(n->string); |
free(n->string); |
|
free(n->tag); |
free(n); |
free(n); |
} |
} |
|
|
Line 1123 roff_node_transparent(struct roff_node *n) |
|
Line 1127 roff_node_transparent(struct roff_node *n) |
|
return 0; |
return 0; |
if (n->type == ROFFT_COMMENT || n->flags & NODE_NOPRT) |
if (n->type == ROFFT_COMMENT || n->flags & NODE_NOPRT) |
return 1; |
return 1; |
switch (n->tok) { |
return roff_tok_transparent(n->tok); |
|
} |
|
|
|
int |
|
roff_tok_transparent(enum roff_tok tok) |
|
{ |
|
switch (tok) { |
case ROFF_ft: |
case ROFF_ft: |
case ROFF_ll: |
case ROFF_ll: |
case ROFF_mc: |
case ROFF_mc: |
Line 1392 roff_expand(struct roff *r, struct buf *buf, int ln, i |
|
Line 1402 roff_expand(struct roff *r, struct buf *buf, int ln, i |
|
|
|
term = '\0'; |
term = '\0'; |
cp = stesc + 1; |
cp = stesc + 1; |
if (*cp == 'E') |
while (*cp == 'E') |
cp++; |
cp++; |
esct = cp; |
esct = cp; |
switch (*esct) { |
switch (*esct) { |
Line 1815 roff_parsetext(struct roff *r, struct buf *buf, int po |
|
Line 1825 roff_parsetext(struct roff *r, struct buf *buf, int po |
|
} |
} |
|
|
int |
int |
roff_parseln(struct roff *r, int ln, struct buf *buf, int *offs) |
roff_parseln(struct roff *r, int ln, struct buf *buf, int *offs, size_t len) |
{ |
{ |
enum roff_tok t; |
enum roff_tok t; |
int e; |
int e; |
Line 1826 roff_parseln(struct roff *r, int ln, struct buf *buf, |
|
Line 1836 roff_parseln(struct roff *r, int ln, struct buf *buf, |
|
|
|
ppos = pos = *offs; |
ppos = pos = *offs; |
|
|
|
if (len > 80 && r->tbl == NULL && r->eqn == NULL && |
|
(r->man->flags & ROFF_NOFILL) == 0 && |
|
strchr(" .\\", buf->buf[pos]) == NULL && |
|
buf->buf[pos] != r->control && |
|
strcspn(buf->buf, " ") < 80) |
|
mandoc_msg(MANDOCERR_TEXT_LONG, ln, (int)len - 1, |
|
"%.20s...", buf->buf + pos); |
|
|
/* Handle in-line equation delimiters. */ |
/* Handle in-line equation delimiters. */ |
|
|
if (r->tbl == NULL && |
if (r->tbl == NULL && |
Line 2027 roff_parse(struct roff *r, char *buf, int *pos, int ln |
|
Line 2045 roff_parse(struct roff *r, char *buf, int *pos, int ln |
|
|
|
/* --- handling of request blocks ----------------------------------------- */ |
/* --- handling of request blocks ----------------------------------------- */ |
|
|
|
/* |
|
* Close a macro definition block or an "ignore" block. |
|
*/ |
static int |
static int |
roff_cblock(ROFF_ARGS) |
roff_cblock(ROFF_ARGS) |
{ |
{ |
|
int rr; |
|
|
/* |
|
* A block-close `..' should only be invoked as a child of an |
|
* ignore macro, otherwise raise a warning and just ignore it. |
|
*/ |
|
|
|
if (r->last == NULL) { |
if (r->last == NULL) { |
mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, ".."); |
mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, ".."); |
return ROFF_IGN; |
return ROFF_IGN; |
Line 2043 roff_cblock(ROFF_ARGS) |
|
Line 2060 roff_cblock(ROFF_ARGS) |
|
|
|
switch (r->last->tok) { |
switch (r->last->tok) { |
case ROFF_am: |
case ROFF_am: |
/* ROFF_am1 is remapped to ROFF_am in roff_block(). */ |
|
case ROFF_ami: |
case ROFF_ami: |
case ROFF_de: |
case ROFF_de: |
/* ROFF_de1 is remapped to ROFF_de in roff_block(). */ |
|
case ROFF_dei: |
case ROFF_dei: |
case ROFF_ig: |
case ROFF_ig: |
break; |
break; |
|
case ROFF_am1: |
|
case ROFF_de1: |
|
/* Remapped in roff_block(). */ |
|
abort(); |
default: |
default: |
mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, ".."); |
mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, ".."); |
return ROFF_IGN; |
return ROFF_IGN; |
} |
} |
|
|
|
roffnode_pop(r); |
|
roffnode_cleanscope(r); |
|
|
|
/* |
|
* If a conditional block with braces is still open, |
|
* check for "\}" block end markers. |
|
*/ |
|
|
|
if (r->last != NULL && r->last->endspan < 0) { |
|
rr = 1; /* If arguments follow "\}", warn about them. */ |
|
roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr); |
|
} |
|
|
if (buf->buf[pos] != '\0') |
if (buf->buf[pos] != '\0') |
mandoc_msg(MANDOCERR_ARG_SKIP, ln, pos, |
mandoc_msg(MANDOCERR_ARG_SKIP, ln, pos, |
".. %s", buf->buf + pos); |
".. %s", buf->buf + pos); |
|
|
roffnode_pop(r); |
|
roffnode_cleanscope(r); |
|
return ROFF_IGN; |
return ROFF_IGN; |
|
|
} |
} |
|
|
/* |
/* |
Line 2075 roffnode_cleanscope(struct roff *r) |
|
Line 2104 roffnode_cleanscope(struct roff *r) |
|
int inloop; |
int inloop; |
|
|
inloop = 0; |
inloop = 0; |
while (r->last != NULL) { |
while (r->last != NULL && r->last->endspan > 0) { |
if (--r->last->endspan != 0) |
if (--r->last->endspan != 0) |
break; |
break; |
inloop += roffnode_pop(r); |
inloop += roffnode_pop(r); |
Line 2084 roffnode_cleanscope(struct roff *r) |
|
Line 2113 roffnode_cleanscope(struct roff *r) |
|
} |
} |
|
|
/* |
/* |
* Handle the closing \} of a conditional block. |
* Handle the closing "\}" of a conditional block. |
* Apart from generating warnings, this only pops nodes. |
* Apart from generating warnings, this only pops nodes. |
* Return the number of loops ended. |
* Return the number of loops ended. |
*/ |
*/ |
Line 2304 roff_block_text(ROFF_ARGS) |
|
Line 2333 roff_block_text(ROFF_ARGS) |
|
return ROFF_IGN; |
return ROFF_IGN; |
} |
} |
|
|
|
/* |
|
* Check for a closing "\}" and handle it. |
|
* In this function, the final "int *offs" argument is used for |
|
* different purposes than elsewhere: |
|
* Input: *offs == 0: caller wants to discard arguments following \} |
|
* *offs == 1: caller wants to preserve text following \} |
|
* Output: *offs = 0: tell caller to discard input line |
|
* *offs = 1: tell caller to use input line |
|
*/ |
static int |
static int |
roff_cond_sub(ROFF_ARGS) |
roff_cond_checkend(ROFF_ARGS) |
{ |
{ |
struct roffnode *bl; |
|
char *ep; |
char *ep; |
int endloop, irc, rr; |
int endloop, irc, rr; |
enum roff_tok t; |
|
|
|
irc = ROFF_IGN; |
irc = ROFF_IGN; |
rr = r->last->rule; |
rr = r->last->rule; |
Line 2320 roff_cond_sub(ROFF_ARGS) |
|
Line 2356 roff_cond_sub(ROFF_ARGS) |
|
irc |= endloop; |
irc |= endloop; |
|
|
/* |
/* |
* If `\}' occurs on a macro line without a preceding macro, |
* If "\}" occurs on a macro line without a preceding macro or |
* drop the line completely. |
* a text line contains nothing else, drop the line completely. |
*/ |
*/ |
|
|
ep = buf->buf + pos; |
ep = buf->buf + pos; |
if (ep[0] == '\\' && ep[1] == '}') |
if (ep[0] == '\\' && ep[1] == '}' && (ep[2] == '\0' || *offs == 0)) |
rr = 0; |
rr = 0; |
|
|
/* |
/* |
* The closing delimiter `\}' rewinds the conditional scope |
* The closing delimiter "\}" rewinds the conditional scope |
* but is otherwise ignored when interpreting the line. |
* but is otherwise ignored when interpreting the line. |
*/ |
*/ |
|
|
while ((ep = strchr(ep, '\\')) != NULL) { |
while ((ep = strchr(ep, '\\')) != NULL) { |
switch (ep[1]) { |
switch (ep[1]) { |
case '}': |
case '}': |
memmove(ep, ep + 2, strlen(ep + 2) + 1); |
if (ep[2] == '\0') |
|
ep[0] = '\0'; |
|
else if (rr) |
|
ep[1] = '&'; |
|
else |
|
memmove(ep, ep + 2, strlen(ep + 2) + 1); |
if (roff_ccond(r, ln, ep - buf->buf)) |
if (roff_ccond(r, ln, ep - buf->buf)) |
irc |= endloop; |
irc |= endloop; |
break; |
break; |
Line 2348 roff_cond_sub(ROFF_ARGS) |
|
Line 2389 roff_cond_sub(ROFF_ARGS) |
|
break; |
break; |
} |
} |
} |
} |
|
*offs = rr; |
|
return irc; |
|
} |
|
|
|
/* |
|
* Parse and process a request or macro line in conditional scope. |
|
*/ |
|
static int |
|
roff_cond_sub(ROFF_ARGS) |
|
{ |
|
struct roffnode *bl; |
|
int irc, rr; |
|
enum roff_tok t; |
|
|
|
rr = 0; /* If arguments follow "\}", skip them. */ |
|
irc = roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr); |
t = roff_parse(r, buf->buf, &pos, ln, ppos); |
t = roff_parse(r, buf->buf, &pos, ln, ppos); |
|
|
/* For now, let high level macros abort .ce mode. */ |
/* For now, let high level macros abort .ce mode. */ |
Line 2378 roff_cond_sub(ROFF_ARGS) |
|
Line 2434 roff_cond_sub(ROFF_ARGS) |
|
} |
} |
} |
} |
} else if (t != TOKEN_NONE && |
} else if (t != TOKEN_NONE && |
(rr || roffs[t].flags & ROFFMAC_STRUCT)) |
(rr || roffs[t].flags & ROFFMAC_STRUCT)) { |
irc |= (*roffs[t].proc)(r, t, buf, ln, ppos, pos, offs); |
irc |= (*roffs[t].proc)(r, t, buf, ln, ppos, pos, offs); |
else |
if (irc & ROFF_WHILE) |
|
irc &= ~(ROFF_LOOPCONT | ROFF_LOOPEXIT); |
|
} else |
irc |= rr ? ROFF_CONT : ROFF_IGN; |
irc |= rr ? ROFF_CONT : ROFF_IGN; |
return irc; |
return irc; |
} |
} |
|
|
|
/* |
|
* Parse and process a text line in conditional scope. |
|
*/ |
static int |
static int |
roff_cond_text(ROFF_ARGS) |
roff_cond_text(ROFF_ARGS) |
{ |
{ |
char *ep; |
int irc, rr; |
int endloop, irc, rr; |
|
|
|
irc = ROFF_IGN; |
rr = 1; /* If arguments follow "\}", preserve them. */ |
rr = r->last->rule; |
irc = roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr); |
endloop = tok != ROFF_while ? ROFF_IGN : |
|
rr ? ROFF_LOOPCONT : ROFF_LOOPEXIT; |
|
if (roffnode_cleanscope(r)) |
|
irc |= endloop; |
|
|
|
/* |
|
* If `\}' occurs on a text line with neither preceding |
|
* nor following characters, drop the line completely. |
|
*/ |
|
|
|
ep = buf->buf + pos; |
|
if (strcmp(ep, "\\}") == 0) |
|
rr = 0; |
|
|
|
/* |
|
* The closing delimiter `\}' rewinds the conditional scope |
|
* but is otherwise ignored when interpreting the line. |
|
*/ |
|
|
|
while ((ep = strchr(ep, '\\')) != NULL) { |
|
switch (ep[1]) { |
|
case '}': |
|
memmove(ep, ep + 2, strlen(ep + 2) + 1); |
|
if (roff_ccond(r, ln, ep - buf->buf)) |
|
irc |= endloop; |
|
break; |
|
case '\0': |
|
++ep; |
|
break; |
|
default: |
|
ep += 2; |
|
break; |
|
} |
|
} |
|
if (rr) |
if (rr) |
irc |= ROFF_CONT; |
irc |= ROFF_CONT; |
return irc; |
return irc; |
Line 3645 roff_char(ROFF_ARGS) |
|
Line 3671 roff_char(ROFF_ARGS) |
|
case ESCAPE_FONTITALIC: |
case ESCAPE_FONTITALIC: |
case ESCAPE_FONTBOLD: |
case ESCAPE_FONTBOLD: |
case ESCAPE_FONTBI: |
case ESCAPE_FONTBI: |
case ESCAPE_FONTCW: |
case ESCAPE_FONTCR: |
|
case ESCAPE_FONTCB: |
|
case ESCAPE_FONTCI: |
case ESCAPE_FONTPREV: |
case ESCAPE_FONTPREV: |
font++; |
font++; |
break; |
break; |
Line 3705 roff_eo(ROFF_ARGS) |
|
Line 3733 roff_eo(ROFF_ARGS) |
|
} |
} |
|
|
static int |
static int |
|
roff_mc(ROFF_ARGS) |
|
{ |
|
struct roff_node *n; |
|
char *cp; |
|
|
|
/* Parse the first argument. */ |
|
|
|
cp = buf->buf + pos; |
|
if (*cp != '\0') |
|
cp++; |
|
if (buf->buf[pos] == '\\') { |
|
switch (mandoc_escape((const char **)&cp, NULL, NULL)) { |
|
case ESCAPE_SPECIAL: |
|
case ESCAPE_UNICODE: |
|
case ESCAPE_NUMBERED: |
|
break; |
|
default: |
|
*cp = '\0'; |
|
mandoc_msg(MANDOCERR_MC_ESC, ln, pos, |
|
"mc %s", buf->buf + pos); |
|
buf->buf[pos] = '\0'; |
|
break; |
|
} |
|
} |
|
|
|
/* Ignore additional arguments. */ |
|
|
|
while (*cp == ' ') |
|
*cp++ = '\0'; |
|
if (*cp != '\0') { |
|
mandoc_msg(MANDOCERR_MC_DIST, ln, (int)(cp - buf->buf), |
|
"mc ... %s", cp); |
|
*cp = '\0'; |
|
} |
|
|
|
/* Create the .mc node. */ |
|
|
|
roff_elem_alloc(r->man, ln, ppos, tok); |
|
n = r->man->last; |
|
if (buf->buf[pos] != '\0') |
|
roff_word_alloc(r->man, ln, pos, buf->buf + pos); |
|
n->flags |= NODE_LINE | NODE_VALID | NODE_ENDED; |
|
r->man->last = n; |
|
r->man->next = ROFF_NEXT_SIBLING; |
|
return ROFF_IGN; |
|
} |
|
|
|
static int |
roff_nop(ROFF_ARGS) |
roff_nop(ROFF_ARGS) |
{ |
{ |
while (buf->buf[pos] == ' ') |
while (buf->buf[pos] == ' ') |
|
|
roff_shift(ROFF_ARGS) |
roff_shift(ROFF_ARGS) |
{ |
{ |
struct mctx *ctx; |
struct mctx *ctx; |
int levels, i; |
int argpos, levels, i; |
|
|
|
argpos = pos; |
levels = 1; |
levels = 1; |
if (buf->buf[pos] != '\0' && |
if (buf->buf[pos] != '\0' && |
roff_evalnum(r, ln, buf->buf, &pos, &levels, 0) == 0) { |
roff_evalnum(r, ln, buf->buf, &pos, &levels, 0) == 0) { |
Line 3861 roff_shift(ROFF_ARGS) |
|
Line 3938 roff_shift(ROFF_ARGS) |
|
ctx = r->mstack + r->mstackpos; |
ctx = r->mstack + r->mstackpos; |
if (levels > ctx->argc) { |
if (levels > ctx->argc) { |
mandoc_msg(MANDOCERR_SHIFT, |
mandoc_msg(MANDOCERR_SHIFT, |
ln, pos, "%d, but max is %d", levels, ctx->argc); |
ln, argpos, "%d, but max is %d", levels, ctx->argc); |
levels = ctx->argc; |
levels = ctx->argc; |
} |
} |
|
if (levels < 0) { |
|
mandoc_msg(MANDOCERR_ARG_NEG, ln, argpos, "shift %d", levels); |
|
levels = 0; |
|
} |
if (levels == 0) |
if (levels == 0) |
return ROFF_IGN; |
return ROFF_IGN; |
for (i = 0; i < levels; i++) |
for (i = 0; i < levels; i++) |
Line 3925 roff_userdef(ROFF_ARGS) |
|
Line 4006 roff_userdef(ROFF_ARGS) |
|
r->mstacksz += 8; |
r->mstacksz += 8; |
} |
} |
ctx = r->mstack + r->mstackpos; |
ctx = r->mstack + r->mstackpos; |
ctx->argsz = 0; |
|
ctx->argc = 0; |
ctx->argc = 0; |
ctx->argv = NULL; |
|
|
|
/* |
/* |
* Collect pointers to macro argument strings, |
* Collect pointers to macro argument strings, |