version 1.107, 2010/12/06 13:25:25 |
version 1.117, 2011/01/01 16:18:39 |
|
|
|
|
#include "mandoc.h" |
#include "mandoc.h" |
#include "roff.h" |
#include "roff.h" |
|
#include "libroff.h" |
#include "libmandoc.h" |
#include "libmandoc.h" |
|
|
#define RSTACK_MAX 128 |
#define RSTACK_MAX 128 |
|
|
#define ROFF_CTL(c) \ |
#define ROFF_CTL(c) \ |
('.' == (c) || '\'' == (c)) |
('.' == (c) || '\'' == (c)) |
|
|
#if 1 |
|
#define ROFF_DEBUG(fmt, args...) \ |
|
do { /* Nothing. */ } while (/*CONSTCOND*/ 0) |
|
#else |
|
#define ROFF_DEBUG(fmt, args...) \ |
|
do { fprintf(stderr, fmt , ##args); } while (/*CONSTCOND*/ 0) |
|
#endif |
|
|
|
enum rofft { |
enum rofft { |
ROFF_ad, |
ROFF_ad, |
ROFF_am, |
ROFF_am, |
|
|
ROFF_rm, |
ROFF_rm, |
ROFF_so, |
ROFF_so, |
ROFF_tr, |
ROFF_tr, |
|
ROFF_TS, |
|
ROFF_TE, |
|
ROFF_T_, |
ROFF_cblock, |
ROFF_cblock, |
ROFF_ccond, /* FIXME: remove this. */ |
ROFF_ccond, /* FIXME: remove this. */ |
ROFF_USERDEF, |
ROFF_USERDEF, |
|
|
ROFFRULE_DENY |
ROFFRULE_DENY |
}; |
}; |
|
|
|
|
struct roffstr { |
struct roffstr { |
char *name; /* key of symbol */ |
char *name; /* key of symbol */ |
char *string; /* current value */ |
char *string; /* current value */ |
|
|
struct regset *regs; /* read/writable registers */ |
struct regset *regs; /* read/writable registers */ |
struct roffstr *first_string; /* user-defined strings & macros */ |
struct roffstr *first_string; /* user-defined strings & macros */ |
const char *current_string; /* value of last called user macro */ |
const char *current_string; /* value of last called user macro */ |
|
struct tbl *first_tbl; /* first table parsed */ |
|
struct tbl *last_tbl; /* last table parsed */ |
|
struct tbl *tbl; /* current table being parsed */ |
}; |
}; |
|
|
struct roffnode { |
struct roffnode { |
Line 146 static int roff_res(struct roff *, |
|
Line 144 static int roff_res(struct roff *, |
|
static void roff_setstr(struct roff *, |
static void roff_setstr(struct roff *, |
const char *, const char *, int); |
const char *, const char *, int); |
static enum rofferr roff_so(ROFF_ARGS); |
static enum rofferr roff_so(ROFF_ARGS); |
|
static enum rofferr roff_TE(ROFF_ARGS); |
|
static enum rofferr roff_TS(ROFF_ARGS); |
|
static enum rofferr roff_T_(ROFF_ARGS); |
static enum rofferr roff_userdef(ROFF_ARGS); |
static enum rofferr roff_userdef(ROFF_ARGS); |
|
|
/* See roff_hash_find() */ |
/* See roff_hash_find() */ |
Line 176 static struct roffmac roffs[ROFF_MAX] = { |
|
Line 177 static struct roffmac roffs[ROFF_MAX] = { |
|
{ "rm", roff_line_error, NULL, NULL, 0, NULL }, |
{ "rm", roff_line_error, NULL, NULL, 0, NULL }, |
{ "so", roff_so, NULL, NULL, 0, NULL }, |
{ "so", roff_so, NULL, NULL, 0, NULL }, |
{ "tr", roff_line_ignore, NULL, NULL, 0, NULL }, |
{ "tr", roff_line_ignore, NULL, NULL, 0, NULL }, |
|
{ "TS", roff_TS, NULL, NULL, 0, NULL }, |
|
{ "TE", roff_TE, NULL, NULL, 0, NULL }, |
|
{ "T&", roff_T_, NULL, NULL, 0, NULL }, |
{ ".", roff_cblock, NULL, NULL, 0, NULL }, |
{ ".", roff_cblock, NULL, NULL, 0, NULL }, |
{ "\\}", roff_ccond, NULL, NULL, 0, NULL }, |
{ "\\}", roff_ccond, NULL, NULL, 0, NULL }, |
{ NULL, roff_userdef, NULL, NULL, 0, NULL }, |
{ NULL, roff_userdef, NULL, NULL, 0, NULL }, |
Line 264 roffnode_pop(struct roff *r) |
|
Line 268 roffnode_pop(struct roff *r) |
|
if (r->rstackpos > -1) |
if (r->rstackpos > -1) |
r->rstackpos--; |
r->rstackpos--; |
|
|
ROFF_DEBUG("roff: popping scope\n"); |
|
r->last = r->last->parent; |
r->last = r->last->parent; |
free(p->name); |
free(p->name); |
free(p->end); |
free(p->end); |
Line 298 roffnode_push(struct roff *r, enum rofft tok, const ch |
|
Line 301 roffnode_push(struct roff *r, enum rofft tok, const ch |
|
static void |
static void |
roff_free1(struct roff *r) |
roff_free1(struct roff *r) |
{ |
{ |
|
struct tbl *t; |
|
|
|
while (r->first_tbl) { |
|
t = r->first_tbl; |
|
r->first_tbl = t->next; |
|
tbl_free(t); |
|
} |
|
|
|
r->first_tbl = r->last_tbl = r->tbl = NULL; |
|
|
while (r->last) |
while (r->last) |
roffnode_pop(r); |
roffnode_pop(r); |
|
|
roff_freestr(r); |
roff_freestr(r); |
} |
} |
|
|
Line 346 roff_alloc(struct regset *regs, void *data, const mand |
|
Line 359 roff_alloc(struct regset *regs, void *data, const mand |
|
static int |
static int |
roff_res(struct roff *r, char **bufp, size_t *szp, int pos) |
roff_res(struct roff *r, char **bufp, size_t *szp, int pos) |
{ |
{ |
const char *cp, *cpp, *st, *res; |
const char *stesc; /* start of an escape sequence ('\\') */ |
|
const char *stnam; /* start of the name, after "[(*" */ |
|
const char *cp; /* end of the name, e.g. before ']' */ |
|
const char *res; /* the string to be substituted */ |
int i, maxl; |
int i, maxl; |
size_t nsz; |
size_t nsz; |
char *n; |
char *n; |
|
|
/* LINTED */ |
/* Search for a leading backslash and save a pointer to it. */ |
for (cp = &(*bufp)[pos]; (cpp = strstr(cp, "\\*")); cp++) { |
|
cp = cpp + 2; |
cp = *bufp + pos; |
|
while (NULL != (cp = strchr(cp, '\\'))) { |
|
stesc = cp++; |
|
|
|
/* |
|
* The second character must be an asterisk. |
|
* If it isn't, skip it anyway: It is escaped, |
|
* so it can't start another escape sequence. |
|
*/ |
|
|
|
if ('\0' == *cp) |
|
return(1); |
|
if ('*' != *cp++) |
|
continue; |
|
|
|
/* |
|
* The third character decides the length |
|
* of the name of the string. |
|
* Save a pointer to the name. |
|
*/ |
|
|
switch (*cp) { |
switch (*cp) { |
|
case ('\0'): |
|
return(1); |
case ('('): |
case ('('): |
cp++; |
cp++; |
maxl = 2; |
maxl = 2; |
Line 367 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
Line 405 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
maxl = 1; |
maxl = 1; |
break; |
break; |
} |
} |
|
stnam = cp; |
|
|
st = cp; |
/* Advance to the end of the name. */ |
|
|
for (i = 0; 0 == maxl || i < maxl; i++, cp++) { |
for (i = 0; 0 == maxl || i < maxl; i++, cp++) { |
if ('\0' == *cp) |
if ('\0' == *cp) |
Line 377 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
Line 416 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
break; |
break; |
} |
} |
|
|
res = roff_getstrn(r, st, (size_t)i); |
/* |
|
* Retrieve the replacement string; if it is |
|
* undefined, resume searching for escapes. |
|
*/ |
|
|
|
res = roff_getstrn(r, stnam, (size_t)i); |
|
|
if (NULL == res) { |
if (NULL == res) { |
cp -= maxl ? 1 : 0; |
cp -= maxl ? 1 : 0; |
continue; |
continue; |
} |
} |
|
|
ROFF_DEBUG("roff: splicing reserved: [%.*s]\n", i, st); |
/* Replace the escape sequence by the string. */ |
|
|
nsz = *szp + strlen(res) + 1; |
nsz = *szp + strlen(res) + 1; |
n = mandoc_malloc(nsz); |
n = mandoc_malloc(nsz); |
|
|
*n = '\0'; |
strlcpy(n, *bufp, (size_t)(stesc - *bufp + 1)); |
|
|
strlcat(n, *bufp, (size_t)(cpp - *bufp + 1)); |
|
strlcat(n, res, nsz); |
strlcat(n, res, nsz); |
strlcat(n, cp + (maxl ? 0 : 1), nsz); |
strlcat(n, cp + (maxl ? 0 : 1), nsz); |
|
|
Line 411 roff_parseln(struct roff *r, int ln, char **bufp, |
|
Line 453 roff_parseln(struct roff *r, int ln, char **bufp, |
|
size_t *szp, int pos, int *offs) |
size_t *szp, int pos, int *offs) |
{ |
{ |
enum rofft t; |
enum rofft t; |
|
enum rofferr e; |
int ppos; |
int ppos; |
|
|
/* |
/* |
Line 430 roff_parseln(struct roff *r, int ln, char **bufp, |
|
Line 473 roff_parseln(struct roff *r, int ln, char **bufp, |
|
if (r->last && ! ROFF_CTL((*bufp)[pos])) { |
if (r->last && ! ROFF_CTL((*bufp)[pos])) { |
t = r->last->tok; |
t = r->last->tok; |
assert(roffs[t].text); |
assert(roffs[t].text); |
ROFF_DEBUG("roff: intercept scoped text: %s, [%s]\n", |
e = (*roffs[t].text) |
roffs[t].name, &(*bufp)[pos]); |
(r, t, bufp, szp, ln, pos, pos, offs); |
return((*roffs[t].text) |
assert(ROFF_IGN == e || ROFF_CONT == e); |
(r, t, bufp, szp, |
if (ROFF_CONT == e && r->tbl) |
ln, pos, pos, offs)); |
return(tbl_read(r->tbl, ln, *bufp, *offs)); |
} else if ( ! ROFF_CTL((*bufp)[pos])) |
return(e); |
|
} else if ( ! ROFF_CTL((*bufp)[pos])) { |
|
if (r->tbl) |
|
return(tbl_read(r->tbl, ln, *bufp, *offs)); |
return(ROFF_CONT); |
return(ROFF_CONT); |
|
} |
|
|
/* |
/* |
* If a scope is open, go to the child handler for that macro, |
* If a scope is open, go to the child handler for that macro, |
Line 446 roff_parseln(struct roff *r, int ln, char **bufp, |
|
Line 493 roff_parseln(struct roff *r, int ln, char **bufp, |
|
if (r->last) { |
if (r->last) { |
t = r->last->tok; |
t = r->last->tok; |
assert(roffs[t].sub); |
assert(roffs[t].sub); |
ROFF_DEBUG("roff: intercept scoped context: %s, [%s]\n", |
|
roffs[t].name, &(*bufp)[pos]); |
|
return((*roffs[t].sub) |
return((*roffs[t].sub) |
(r, t, bufp, szp, |
(r, t, bufp, szp, |
ln, pos, pos, offs)); |
ln, pos, pos, offs)); |
Line 463 roff_parseln(struct roff *r, int ln, char **bufp, |
|
Line 508 roff_parseln(struct roff *r, int ln, char **bufp, |
|
if (ROFF_MAX == (t = roff_parse(r, *bufp, &pos))) |
if (ROFF_MAX == (t = roff_parse(r, *bufp, &pos))) |
return(ROFF_CONT); |
return(ROFF_CONT); |
|
|
ROFF_DEBUG("roff: intercept new-scope: [%s], [%s]\n", |
|
ROFF_USERDEF == t ? r->current_string : roffs[t].name, |
|
&(*bufp)[pos]); |
|
|
|
assert(roffs[t].proc); |
assert(roffs[t].proc); |
return((*roffs[t].proc) |
return((*roffs[t].proc) |
(r, t, bufp, szp, |
(r, t, bufp, szp, |
Line 474 roff_parseln(struct roff *r, int ln, char **bufp, |
|
Line 515 roff_parseln(struct roff *r, int ln, char **bufp, |
|
} |
} |
|
|
|
|
int |
void |
roff_endparse(struct roff *r) |
roff_endparse(struct roff *r) |
{ |
{ |
|
|
if (NULL == r->last) |
if (r->last) |
return(1); |
(*r->msg)(MANDOCERR_SCOPEEXIT, r->data, |
return((*r->msg)(MANDOCERR_SCOPEEXIT, r->data, r->last->line, |
r->last->line, r->last->col, NULL); |
r->last->col, NULL)); |
|
|
if (r->tbl) { |
|
(*r->msg)(MANDOCERR_SCOPEEXIT, r->data, |
|
r->tbl->line, r->tbl->pos, NULL); |
|
tbl_end(r->tbl); |
|
r->tbl = NULL; |
|
} |
} |
} |
|
|
|
|
Line 550 roff_cblock(ROFF_ARGS) |
|
Line 597 roff_cblock(ROFF_ARGS) |
|
*/ |
*/ |
|
|
if (NULL == r->last) { |
if (NULL == r->last) { |
if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL)) |
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
return(ROFF_ERR); |
|
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
Line 563 roff_cblock(ROFF_ARGS) |
|
Line 609 roff_cblock(ROFF_ARGS) |
|
case (ROFF_am1): |
case (ROFF_am1): |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case (ROFF_de): |
case (ROFF_de): |
|
/* ROFF_de1 is remapped to ROFF_de in roff_block(). */ |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case (ROFF_dei): |
case (ROFF_dei): |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case (ROFF_ig): |
case (ROFF_ig): |
break; |
break; |
default: |
default: |
if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL)) |
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
return(ROFF_ERR); |
|
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
if ((*bufp)[pos]) |
if ((*bufp)[pos]) |
if ( ! (*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, pos, NULL)) |
(*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, pos, NULL); |
return(ROFF_ERR); |
|
|
|
roffnode_pop(r); |
roffnode_pop(r); |
roffnode_cleanscope(r); |
roffnode_cleanscope(r); |
Line 603 roff_ccond(ROFF_ARGS) |
|
Line 648 roff_ccond(ROFF_ARGS) |
|
{ |
{ |
|
|
if (NULL == r->last) { |
if (NULL == r->last) { |
if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL)) |
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
return(ROFF_ERR); |
|
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
Line 616 roff_ccond(ROFF_ARGS) |
|
Line 660 roff_ccond(ROFF_ARGS) |
|
case (ROFF_if): |
case (ROFF_if): |
break; |
break; |
default: |
default: |
if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL)) |
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
return(ROFF_ERR); |
|
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
if (r->last->endspan > -1) { |
if (r->last->endspan > -1) { |
if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL)) |
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
return(ROFF_ERR); |
|
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
if ((*bufp)[pos]) |
if ((*bufp)[pos]) |
if ( ! (*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, pos, NULL)) |
(*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, pos, NULL); |
return(ROFF_ERR); |
|
|
|
roffnode_pop(r); |
roffnode_pop(r); |
roffnode_cleanscope(r); |
roffnode_cleanscope(r); |
Line 682 roff_block(ROFF_ARGS) |
|
Line 723 roff_block(ROFF_ARGS) |
|
*/ |
*/ |
|
|
if (ROFF_de == tok) |
if (ROFF_de == tok) |
roff_setstr(r, name, NULL, 0); |
roff_setstr(r, name, "", 0); |
|
|
if ('\0' == (*bufp)[pos]) |
if ('\0' == (*bufp)[pos]) |
return(ROFF_IGN); |
return(ROFF_IGN); |
Line 690 roff_block(ROFF_ARGS) |
|
Line 731 roff_block(ROFF_ARGS) |
|
/* If present, process the custom end-of-line marker. */ |
/* If present, process the custom end-of-line marker. */ |
|
|
sv = pos; |
sv = pos; |
while ((*bufp)[pos] && |
while ((*bufp)[pos] && |
' ' != (*bufp)[pos] && |
' ' != (*bufp)[pos] && |
'\t' != (*bufp)[pos]) |
'\t' != (*bufp)[pos]) |
pos++; |
pos++; |
Line 954 roff_cond(ROFF_ARGS) |
|
Line 995 roff_cond(ROFF_ARGS) |
|
|
|
r->last->rule = rule; |
r->last->rule = rule; |
|
|
ROFF_DEBUG("roff: cond: %s -> %s\n", roffs[tok].name, |
|
ROFFRULE_ALLOW == rule ? "allow" : "deny"); |
|
|
|
if (ROFF_ie == tok) { |
if (ROFF_ie == tok) { |
/* |
/* |
* An if-else will put the NEGATION of the current |
* An if-else will put the NEGATION of the current |
Line 971 roff_cond(ROFF_ARGS) |
|
Line 1009 roff_cond(ROFF_ARGS) |
|
|
|
/* If the parent has false as its rule, then so do we. */ |
/* If the parent has false as its rule, then so do we. */ |
|
|
if (r->last->parent && ROFFRULE_DENY == r->last->parent->rule) { |
if (r->last->parent && ROFFRULE_DENY == r->last->parent->rule) |
r->last->rule = ROFFRULE_DENY; |
r->last->rule = ROFFRULE_DENY; |
ROFF_DEBUG("roff: cond override: %s -> deny\n", |
|
roffs[tok].name); |
|
} |
|
|
|
/* |
/* |
* Determine scope. If we're invoked with "\{" trailing the |
* Determine scope. If we're invoked with "\{" trailing the |
Line 988 roff_cond(ROFF_ARGS) |
|
Line 1023 roff_cond(ROFF_ARGS) |
|
if ('\\' == (*bufp)[pos] && '{' == (*bufp)[pos + 1]) { |
if ('\\' == (*bufp)[pos] && '{' == (*bufp)[pos + 1]) { |
r->last->endspan = -1; |
r->last->endspan = -1; |
pos += 2; |
pos += 2; |
ROFF_DEBUG("roff: cond-scope: %s, multi-line\n", |
} |
roffs[tok].name); |
|
} else |
|
ROFF_DEBUG("roff: cond-scope: %s, one-line\n", |
|
roffs[tok].name); |
|
|
|
/* |
/* |
* If there are no arguments on the line, the next-line scope is |
* If there are no arguments on the line, the next-line scope is |
Line 1085 roff_nr(ROFF_ARGS) |
|
Line 1116 roff_nr(ROFF_ARGS) |
|
rg[(int)REG_nS].set = 1; |
rg[(int)REG_nS].set = 1; |
if ( ! roff_parse_nat(val, &rg[(int)REG_nS].v.u)) |
if ( ! roff_parse_nat(val, &rg[(int)REG_nS].v.u)) |
rg[(int)REG_nS].v.u = 0; |
rg[(int)REG_nS].v.u = 0; |
|
} |
|
|
ROFF_DEBUG("roff: register nS: %u\n", |
return(ROFF_IGN); |
rg[(int)REG_nS].v.u); |
} |
} else |
|
ROFF_DEBUG("roff: ignoring register: %s\n", key); |
|
|
|
|
/* ARGSUSED */ |
|
static enum rofferr |
|
roff_TE(ROFF_ARGS) |
|
{ |
|
|
|
if (NULL == r->tbl) |
|
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
|
else |
|
tbl_end(r->tbl); |
|
|
|
r->tbl = NULL; |
return(ROFF_IGN); |
return(ROFF_IGN); |
} |
} |
|
|
/* ARGSUSED */ |
/* ARGSUSED */ |
static enum rofferr |
static enum rofferr |
|
roff_T_(ROFF_ARGS) |
|
{ |
|
|
|
if (NULL == r->tbl) |
|
(*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL); |
|
else |
|
tbl_restart(ppos, ln, r->tbl); |
|
|
|
return(ROFF_IGN); |
|
} |
|
|
|
/* ARGSUSED */ |
|
static enum rofferr |
|
roff_TS(ROFF_ARGS) |
|
{ |
|
struct tbl *t; |
|
|
|
if (r->tbl) { |
|
(*r->msg)(MANDOCERR_SCOPEBROKEN, r->data, ln, ppos, NULL); |
|
tbl_end(r->tbl); |
|
} |
|
|
|
t = tbl_alloc(ppos, ln, r->data, r->msg); |
|
|
|
if (r->last_tbl) |
|
r->last_tbl->next = t; |
|
else |
|
r->first_tbl = r->last_tbl = t; |
|
|
|
r->tbl = r->last_tbl = t; |
|
return(ROFF_IGN); |
|
} |
|
|
|
/* ARGSUSED */ |
|
static enum rofferr |
roff_so(ROFF_ARGS) |
roff_so(ROFF_ARGS) |
{ |
{ |
char *name; |
char *name; |
Line 1307 roff_freestr(struct roff *r) |
|
Line 1383 roff_freestr(struct roff *r) |
|
} |
} |
|
|
r->first_string = NULL; |
r->first_string = NULL; |
|
} |
|
|
|
const struct tbl_span * |
|
roff_span(const struct roff *r) |
|
{ |
|
|
|
return(r->tbl ? tbl_span(r->tbl) : NULL); |
} |
} |