version 1.108, 2010/12/21 01:46:44 |
version 1.119, 2011/01/03 22:42:37 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2010 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2010 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2010, 2011 Ingo Schwarze <schwarze@openbsd.org> |
* |
* |
* Permission to use, copy, modify, and distribute this software for any |
* Permission to use, copy, modify, and distribute this software for any |
* purpose with or without fee is hereby granted, provided that the above |
* purpose with or without fee is hereby granted, provided that the above |
|
|
|
|
#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_node *first_tbl; /* first table parsed */ |
|
struct tbl_node *last_tbl; /* last table parsed */ |
|
struct tbl_node *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_node *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 417 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
Line 430 roff_res(struct roff *r, char **bufp, size_t *szp, int |
|
|
|
/* Replace the escape sequence by the string. */ |
/* Replace the escape sequence by the string. */ |
|
|
ROFF_DEBUG("roff: splicing reserved: [%.*s]\n", i, st); |
|
|
|
nsz = *szp + strlen(res) + 1; |
nsz = *szp + strlen(res) + 1; |
n = mandoc_malloc(nsz); |
n = mandoc_malloc(nsz); |
|
|
Line 442 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 461 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 477 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 494 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 505 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 581 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 601 roff_cblock(ROFF_ARGS) |
|
Line 616 roff_cblock(ROFF_ARGS) |
|
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 635 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 648 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 986 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 1003 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 1020 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 1117 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_node *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 1157 roff_userdef(ROFF_ARGS) |
|
Line 1201 roff_userdef(ROFF_ARGS) |
|
{ |
{ |
const char *arg[9]; |
const char *arg[9]; |
char *cp, *n1, *n2; |
char *cp, *n1, *n2; |
int i, quoted, pairs; |
int i; |
|
|
/* |
/* |
* Collect pointers to macro argument strings |
* Collect pointers to macro argument strings |
* and null-terminate them. |
* and null-terminate them. |
*/ |
*/ |
cp = *bufp + pos; |
cp = *bufp + pos; |
for (i = 0; i < 9; i++) { |
for (i = 0; i < 9; i++) |
/* Quoting can only start with a new word. */ |
arg[i] = '\0' == *cp ? NULL : |
if ('"' == *cp) { |
mandoc_getarg(&cp, r->msg, r->data, ln, &pos); |
quoted = 1; |
|
cp++; |
|
} else |
|
quoted = 0; |
|
arg[i] = cp; |
|
for (pairs = 0; '\0' != *cp; cp++) { |
|
/* Unquoted arguments end at blanks. */ |
|
if (0 == quoted) { |
|
if (' ' == *cp) |
|
break; |
|
continue; |
|
} |
|
/* After pairs of quotes, move left. */ |
|
if (pairs) |
|
cp[-pairs] = cp[0]; |
|
/* Pairs of quotes do not end words, ... */ |
|
if ('"' == cp[0] && '"' == cp[1]) { |
|
pairs++; |
|
cp++; |
|
continue; |
|
} |
|
/* ... but solitary quotes do. */ |
|
if ('"' != *cp) |
|
continue; |
|
if (pairs) |
|
cp[-pairs] = '\0'; |
|
*cp = ' '; |
|
break; |
|
} |
|
/* Last argument; the remaining ones are empty strings. */ |
|
if ('\0' == *cp) |
|
continue; |
|
/* Null-terminate argument and move to the next one. */ |
|
*cp++ = '\0'; |
|
while (' ' == *cp) |
|
cp++; |
|
} |
|
|
|
/* |
/* |
* Expand macro arguments. |
* Expand macro arguments. |
Line 1339 roff_freestr(struct roff *r) |
|
Line 1346 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); |
} |
} |