version 1.194, 2014/02/14 23:24:26 |
version 1.200, 2014/03/20 02:57:28 |
|
|
ROFF_EQ, |
ROFF_EQ, |
ROFF_EN, |
ROFF_EN, |
ROFF_cblock, |
ROFF_cblock, |
ROFF_ccond, |
|
ROFF_USERDEF, |
ROFF_USERDEF, |
ROFF_MAX |
ROFF_MAX |
}; |
}; |
|
|
enum roffrule { |
|
ROFFRULE_DENY, |
|
ROFFRULE_ALLOW |
|
}; |
|
|
|
/* |
/* |
* An incredibly-simple string buffer. |
* An incredibly-simple string buffer. |
*/ |
*/ |
Line 109 struct roffreg { |
|
Line 103 struct roffreg { |
|
}; |
}; |
|
|
struct roff { |
struct roff { |
enum mparset parsetype; /* requested parse type */ |
|
struct mparse *parse; /* parse point */ |
struct mparse *parse; /* parse point */ |
int quick; /* skip standard macro deletion */ |
int options; /* parse options */ |
struct roffnode *last; /* leaf of stack */ |
struct roffnode *last; /* leaf of stack */ |
enum roffrule rstack[RSTACK_MAX]; /* stack of !`ie' rules */ |
int rstack[RSTACK_MAX]; /* stack of !`ie' rules */ |
char control; /* control character */ |
char control; /* control character */ |
int rstackpos; /* position in rstack */ |
int rstackpos; /* position in rstack */ |
struct roffreg *regtab; /* number registers */ |
struct roffreg *regtab; /* number registers */ |
Line 137 struct roffnode { |
|
Line 130 struct roffnode { |
|
char *name; /* node name, e.g. macro name */ |
char *name; /* node name, e.g. macro name */ |
char *end; /* end-rules: custom token */ |
char *end; /* end-rules: custom token */ |
int endspan; /* end-rules: next-line or infty */ |
int endspan; /* end-rules: next-line or infty */ |
enum roffrule rule; /* current evaluation rule */ |
int rule; /* current evaluation rule */ |
}; |
}; |
|
|
#define ROFF_ARGS struct roff *r, /* parse ctx */ \ |
#define ROFF_ARGS struct roff *r, /* parse ctx */ \ |
Line 180 static enum rofferr roff_block_text(ROFF_ARGS); |
|
Line 173 static enum rofferr roff_block_text(ROFF_ARGS); |
|
static enum rofferr roff_block_sub(ROFF_ARGS); |
static enum rofferr roff_block_sub(ROFF_ARGS); |
static enum rofferr roff_cblock(ROFF_ARGS); |
static enum rofferr roff_cblock(ROFF_ARGS); |
static enum rofferr roff_cc(ROFF_ARGS); |
static enum rofferr roff_cc(ROFF_ARGS); |
static enum rofferr roff_ccond(ROFF_ARGS); |
static void roff_ccond(struct roff *, int, int); |
static enum rofferr roff_cond(ROFF_ARGS); |
static enum rofferr roff_cond(ROFF_ARGS); |
static enum rofferr roff_cond_text(ROFF_ARGS); |
static enum rofferr roff_cond_text(ROFF_ARGS); |
static enum rofferr roff_cond_sub(ROFF_ARGS); |
static enum rofferr roff_cond_sub(ROFF_ARGS); |
static enum rofferr roff_ds(ROFF_ARGS); |
static enum rofferr roff_ds(ROFF_ARGS); |
static enum roffrule roff_evalcond(const char *, int *); |
static int roff_evalcond(const char *, int *); |
|
static int roff_evalstrcond(const char *, int *); |
static void roff_free1(struct roff *); |
static void roff_free1(struct roff *); |
static void roff_freereg(struct roffreg *); |
static void roff_freereg(struct roffreg *); |
static void roff_freestr(struct roffkv *); |
static void roff_freestr(struct roffkv *); |
Line 267 static struct roffmac roffs[ROFF_MAX] = { |
|
Line 261 static struct roffmac roffs[ROFF_MAX] = { |
|
{ "EQ", roff_EQ, NULL, NULL, 0, NULL }, |
{ "EQ", roff_EQ, NULL, NULL, 0, NULL }, |
{ "EN", roff_EN, NULL, NULL, 0, NULL }, |
{ "EN", roff_EN, NULL, NULL, 0, NULL }, |
{ ".", roff_cblock, NULL, NULL, 0, NULL }, |
{ ".", roff_cblock, NULL, NULL, 0, NULL }, |
{ "\\}", roff_ccond, NULL, NULL, 0, NULL }, |
|
{ NULL, roff_userdef, NULL, NULL, 0, NULL }, |
{ NULL, roff_userdef, NULL, NULL, 0, NULL }, |
}; |
}; |
|
|
|
/* not currently implemented: Ds em Eq LP Me PP pp Or Rd Sf SH */ |
const char *const __mdoc_reserved[] = { |
const char *const __mdoc_reserved[] = { |
"Ac", "Ad", "An", "Ao", "Ap", "Aq", "Ar", "At", |
"Ac", "Ad", "An", "Ao", "Ap", "Aq", "Ar", "At", |
"Bc", "Bd", "Bf", "Bk", "Bl", "Bo", "Bq", |
"Bc", "Bd", "Bf", "Bk", "Bl", "Bo", "Bq", |
"Brc", "Bro", "Brq", "Bsx", "Bt", "Bx", |
"Brc", "Bro", "Brq", "Bsx", "Bt", "Bx", |
"Cd", "Cm", "Db", "Dc", "Dd", "Dl", "Do", "Dq", |
"Cd", "Cm", "Db", "Dc", "Dd", "Dl", "Do", "Dq", |
"Ds", "Dt", "Dv", "Dx", "D1", |
"Dt", "Dv", "Dx", "D1", |
"Ec", "Ed", "Ef", "Ek", "El", "Em", "em", |
"Ec", "Ed", "Ef", "Ek", "El", "Em", |
"En", "Eo", "Eq", "Er", "Es", "Ev", "Ex", |
"En", "Eo", "Er", "Es", "Ev", "Ex", |
"Fa", "Fc", "Fd", "Fl", "Fn", "Fo", "Fr", "Ft", "Fx", |
"Fa", "Fc", "Fd", "Fl", "Fn", "Fo", "Fr", "Ft", "Fx", |
"Hf", "Ic", "In", "It", "Lb", "Li", "Lk", "Lp", "LP", |
"Hf", "Ic", "In", "It", "Lb", "Li", "Lk", "Lp", |
"Me", "Ms", "Mt", "Nd", "Nm", "No", "Ns", "Nx", |
"Ms", "Mt", "Nd", "Nm", "No", "Ns", "Nx", |
"Oc", "Oo", "Op", "Os", "Ot", "Ox", |
"Oc", "Oo", "Op", "Os", "Ot", "Ox", |
"Pa", "Pc", "Pf", "Po", "Pp", "PP", "pp", "Pq", |
"Pa", "Pc", "Pf", "Po", "Pp", "Pq", |
"Qc", "Ql", "Qo", "Qq", "Or", "Rd", "Re", "Rs", "Rv", |
"Qc", "Ql", "Qo", "Qq", "Re", "Rs", "Rv", |
"Sc", "Sf", "Sh", "SH", "Sm", "So", "Sq", |
"Sc", "Sh", "Sm", "So", "Sq", |
"Ss", "St", "Sx", "Sy", |
"Ss", "St", "Sx", "Sy", |
"Ta", "Tn", "Ud", "Ux", "Va", "Vt", "Xc", "Xo", "Xr", |
"Ta", "Tn", "Ud", "Ux", "Va", "Vt", "Xc", "Xo", "Xr", |
"%A", "%B", "%D", "%I", "%J", "%N", "%O", |
"%A", "%B", "%C", "%D", "%I", "%J", "%N", "%O", |
"%P", "%Q", "%R", "%T", "%U", "%V", |
"%P", "%Q", "%R", "%T", "%U", "%V", |
NULL |
NULL |
}; |
}; |
|
|
|
/* not currently implemented: BT DE DS ME MT PT SY TQ YS */ |
const char *const __man_reserved[] = { |
const char *const __man_reserved[] = { |
"AT", "B", "BI", "BR", "BT", "DE", "DS", "DT", |
"AT", "B", "BI", "BR", "DT", |
"EE", "EN", "EQ", "EX", "HF", "HP", "I", "IB", "IP", "IR", |
"EE", "EN", "EQ", "EX", "HP", "I", "IB", "IP", "IR", |
"LP", "ME", "MT", "OP", "P", "PD", "PP", "PT", |
"LP", "OP", "P", "PD", "PP", |
"R", "RB", "RE", "RI", "RS", "SB", "SH", "SM", "SS", "SY", |
"R", "RB", "RE", "RI", "RS", "SB", "SH", "SM", "SS", |
"TE", "TH", "TP", "TQ", "TS", "T&", "UC", "UE", "UR", "YS", |
"TE", "TH", "TP", "TS", "T&", "UC", "UE", "UR", |
NULL |
NULL |
}; |
}; |
|
|
Line 403 roffnode_push(struct roff *r, enum rofft tok, const ch |
|
Line 398 roffnode_push(struct roff *r, enum rofft tok, const ch |
|
p->parent = r->last; |
p->parent = r->last; |
p->line = line; |
p->line = line; |
p->col = col; |
p->col = col; |
p->rule = p->parent ? p->parent->rule : ROFFRULE_DENY; |
p->rule = p->parent ? p->parent->rule : 0; |
|
|
r->last = p; |
r->last = p; |
} |
} |
Line 469 roff_free(struct roff *r) |
|
Line 464 roff_free(struct roff *r) |
|
|
|
|
|
struct roff * |
struct roff * |
roff_alloc(enum mparset type, struct mparse *parse, int quick) |
roff_alloc(struct mparse *parse, int options) |
{ |
{ |
struct roff *r; |
struct roff *r; |
|
|
r = mandoc_calloc(1, sizeof(struct roff)); |
r = mandoc_calloc(1, sizeof(struct roff)); |
r->parsetype = type; |
|
r->parse = parse; |
r->parse = parse; |
r->quick = quick; |
r->options = options; |
r->rstackpos = -1; |
r->rstackpos = -1; |
|
|
roffhash_init(); |
roffhash_init(); |
Line 790 roff_parse(struct roff *r, const char *buf, int *pos) |
|
Line 784 roff_parse(struct roff *r, const char *buf, int *pos) |
|
'\t' == buf[*pos] || ' ' == buf[*pos]) |
'\t' == buf[*pos] || ' ' == buf[*pos]) |
return(ROFF_MAX); |
return(ROFF_MAX); |
|
|
/* |
/* We stop the macro parse at an escape, tab, space, or nil. */ |
* We stop the macro parse at an escape, tab, space, or nil. |
|
* However, `\}' is also a valid macro, so make sure we don't |
|
* clobber it by seeing the `\' as the end of token. |
|
*/ |
|
|
|
mac = buf + *pos; |
mac = buf + *pos; |
maclen = strcspn(mac + 1, " \\\t\0") + 1; |
maclen = strcspn(mac, " \\\t\0"); |
|
|
t = (r->current_string = roff_getstrn(r, mac, maclen)) |
t = (r->current_string = roff_getstrn(r, mac, maclen)) |
? ROFF_USERDEF : roffhash_find(mac, maclen); |
? ROFF_USERDEF : roffhash_find(mac, maclen); |
Line 866 roffnode_cleanscope(struct roff *r) |
|
Line 856 roffnode_cleanscope(struct roff *r) |
|
} |
} |
|
|
|
|
/* ARGSUSED */ |
static void |
static enum rofferr |
roff_ccond(struct roff *r, int ln, int ppos) |
roff_ccond(ROFF_ARGS) |
|
{ |
{ |
|
|
if (NULL == r->last) { |
if (NULL == r->last) { |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
return(ROFF_IGN); |
return; |
} |
} |
|
|
switch (r->last->tok) { |
switch (r->last->tok) { |
Line 885 roff_ccond(ROFF_ARGS) |
|
Line 874 roff_ccond(ROFF_ARGS) |
|
break; |
break; |
default: |
default: |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
return(ROFF_IGN); |
return; |
} |
} |
|
|
if (r->last->endspan > -1) { |
if (r->last->endspan > -1) { |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
mandoc_msg(MANDOCERR_NOSCOPE, r->parse, ln, ppos, NULL); |
return(ROFF_IGN); |
return; |
} |
} |
|
|
if ((*bufp)[pos]) |
|
mandoc_msg(MANDOCERR_ARGSLOST, r->parse, ln, pos, NULL); |
|
|
|
roffnode_pop(r); |
roffnode_pop(r); |
roffnode_cleanscope(r); |
roffnode_cleanscope(r); |
return(ROFF_IGN); |
return; |
} |
} |
|
|
|
|
Line 1060 static enum rofferr |
|
Line 1046 static enum rofferr |
|
roff_cond_sub(ROFF_ARGS) |
roff_cond_sub(ROFF_ARGS) |
{ |
{ |
enum rofft t; |
enum rofft t; |
enum roffrule rr; |
|
char *ep; |
char *ep; |
|
int rr; |
|
|
rr = r->last->rule; |
rr = r->last->rule; |
roffnode_cleanscope(r); |
roffnode_cleanscope(r); |
Line 1073 roff_cond_sub(ROFF_ARGS) |
|
Line 1059 roff_cond_sub(ROFF_ARGS) |
|
*/ |
*/ |
|
|
if ((ROFF_MAX != t) && |
if ((ROFF_MAX != t) && |
(ROFF_ccond == t || ROFFRULE_ALLOW == rr || |
(rr || ROFFMAC_STRUCT & roffs[t].flags)) { |
ROFFMAC_STRUCT & roffs[t].flags)) { |
|
assert(roffs[t].proc); |
assert(roffs[t].proc); |
return((*roffs[t].proc)(r, t, bufp, szp, |
return((*roffs[t].proc)(r, t, bufp, szp, |
ln, ppos, pos, offs)); |
ln, ppos, pos, offs)); |
} |
} |
|
|
/* Always check for the closing delimiter `\}'. */ |
/* |
|
* If `\}' occurs on a macro line without a preceding macro, |
|
* drop the line completely. |
|
*/ |
|
|
ep = &(*bufp)[pos]; |
ep = *bufp + pos; |
while (NULL != (ep = strchr(ep, '\\'))) { |
if ('\\' == ep[0] && '}' == ep[1]) |
if ('}' != *(++ep)) |
rr = 0; |
continue; |
|
|
|
/* |
/* Always check for the closing delimiter `\}'. */ |
* If we're at the end of line, then just chop |
|
* off the \} and resize the buffer. |
|
* If we aren't, then convert it to spaces. |
|
*/ |
|
|
|
if ('\0' == *(ep + 1)) { |
while (NULL != (ep = strchr(ep, '\\'))) { |
*--ep = '\0'; |
if ('}' == *(++ep)) { |
*szp -= 2; |
*ep = '&'; |
} else |
roff_ccond(r, ln, ep - *bufp - 1); |
*(ep - 1) = *ep = ' '; |
} |
|
++ep; |
roff_ccond(r, ROFF_ccond, bufp, szp, |
|
ln, pos, pos + 2, offs); |
|
break; |
|
} |
} |
return(ROFFRULE_DENY == rr ? ROFF_IGN : ROFF_CONT); |
return(rr ? ROFF_CONT : ROFF_IGN); |
} |
} |
|
|
/* ARGSUSED */ |
/* ARGSUSED */ |
Line 1111 static enum rofferr |
|
Line 1091 static enum rofferr |
|
roff_cond_text(ROFF_ARGS) |
roff_cond_text(ROFF_ARGS) |
{ |
{ |
char *ep; |
char *ep; |
enum roffrule rr; |
int rr; |
|
|
rr = r->last->rule; |
rr = r->last->rule; |
roffnode_cleanscope(r); |
roffnode_cleanscope(r); |
|
|
ep = &(*bufp)[pos]; |
ep = *bufp + pos; |
for ( ; NULL != (ep = strchr(ep, '\\')); ep++) { |
while (NULL != (ep = strchr(ep, '\\'))) { |
ep++; |
if ('}' == *(++ep)) { |
if ('}' != *ep) |
*ep = '&'; |
continue; |
roff_ccond(r, ln, ep - *bufp - 1); |
*ep = '&'; |
} |
roff_ccond(r, ROFF_ccond, bufp, szp, |
++ep; |
ln, pos, pos + 2, offs); |
|
} |
} |
return(ROFFRULE_DENY == rr ? ROFF_IGN : ROFF_CONT); |
return(rr ? ROFF_CONT : ROFF_IGN); |
} |
} |
|
|
static int |
static int |
Line 1178 roff_getop(const char *v, int *pos, char *res) |
|
Line 1157 roff_getop(const char *v, int *pos, char *res) |
|
return(*res); |
return(*res); |
} |
} |
|
|
static enum roffrule |
/* |
|
* Evaluate a string comparison condition. |
|
* The first character is the delimiter. |
|
* Succeed if the string up to its second occurrence |
|
* matches the string up to its third occurence. |
|
* Advance the cursor after the third occurrence |
|
* or lacking that, to the end of the line. |
|
*/ |
|
static int |
|
roff_evalstrcond(const char *v, int *pos) |
|
{ |
|
const char *s1, *s2, *s3; |
|
int match; |
|
|
|
match = 0; |
|
s1 = v + *pos; /* initial delimiter */ |
|
s2 = s1 + 1; /* for scanning the first string */ |
|
s3 = strchr(s2, *s1); /* for scanning the second string */ |
|
|
|
if (NULL == s3) /* found no middle delimiter */ |
|
goto out; |
|
|
|
while ('\0' != *++s3) { |
|
if (*s2 != *s3) { /* mismatch */ |
|
s3 = strchr(s3, *s1); |
|
break; |
|
} |
|
if (*s3 == *s1) { /* found the final delimiter */ |
|
match = 1; |
|
break; |
|
} |
|
s2++; |
|
} |
|
|
|
out: |
|
if (NULL == s3) |
|
s3 = strchr(s2, '\0'); |
|
else |
|
s3++; |
|
*pos = s3 - v; |
|
return(match); |
|
} |
|
|
|
static int |
roff_evalcond(const char *v, int *pos) |
roff_evalcond(const char *v, int *pos) |
{ |
{ |
int not, lh, rh; |
int wanttrue, lh, rh; |
char op; |
char op; |
|
|
|
if ('!' == v[*pos]) { |
|
wanttrue = 0; |
|
(*pos)++; |
|
} else |
|
wanttrue = 1; |
|
|
switch (v[*pos]) { |
switch (v[*pos]) { |
case ('n'): |
case ('n'): |
|
/* FALLTHROUGH */ |
|
case ('o'): |
(*pos)++; |
(*pos)++; |
return(ROFFRULE_ALLOW); |
return(wanttrue); |
|
case ('c'): |
|
/* FALLTHROUGH */ |
|
case ('d'): |
|
/* FALLTHROUGH */ |
case ('e'): |
case ('e'): |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case ('o'): |
case ('r'): |
/* FALLTHROUGH */ |
/* FALLTHROUGH */ |
case ('t'): |
case ('t'): |
(*pos)++; |
(*pos)++; |
return(ROFFRULE_DENY); |
return(!wanttrue); |
case ('!'): |
|
(*pos)++; |
|
not = 1; |
|
break; |
|
default: |
default: |
not = 0; |
|
break; |
break; |
} |
} |
|
|
if (!roff_getnum(v, pos, &lh)) |
if (!roff_getnum(v, pos, &lh)) |
return ROFFRULE_DENY; |
return(roff_evalstrcond(v, pos) == wanttrue); |
if (!roff_getop(v, pos, &op)) { |
if (!roff_getop(v, pos, &op)) |
if (lh < 0) |
return((lh > 0) == wanttrue); |
lh = 0; |
|
goto out; |
|
} |
|
if (!roff_getnum(v, pos, &rh)) |
if (!roff_getnum(v, pos, &rh)) |
return ROFFRULE_DENY; |
return(0); |
|
|
switch (op) { |
switch (op) { |
case 'g': |
case 'g': |
lh = lh >= rh; |
return((lh >= rh) == wanttrue); |
break; |
|
case 'l': |
case 'l': |
lh = lh <= rh; |
return((lh <= rh) == wanttrue); |
break; |
|
case '=': |
case '=': |
lh = lh == rh; |
return((lh == rh) == wanttrue); |
break; |
|
case '>': |
case '>': |
lh = lh > rh; |
return((lh > rh) == wanttrue); |
break; |
|
case '<': |
case '<': |
lh = lh < rh; |
return((lh < rh) == wanttrue); |
break; |
|
default: |
default: |
return ROFFRULE_DENY; |
return(0); |
} |
} |
out: |
|
if (not) |
|
lh = !lh; |
|
return lh ? ROFFRULE_ALLOW : ROFFRULE_DENY; |
|
} |
} |
|
|
/* ARGSUSED */ |
/* ARGSUSED */ |
Line 1262 roff_cond(ROFF_ARGS) |
|
Line 1280 roff_cond(ROFF_ARGS) |
|
*/ |
*/ |
|
|
r->last->rule = ROFF_el == tok ? |
r->last->rule = ROFF_el == tok ? |
(r->rstackpos < 0 ? |
(r->rstackpos < 0 ? 0 : r->rstack[r->rstackpos--]) : |
ROFFRULE_DENY : r->rstack[r->rstackpos--]) : |
|
roff_evalcond(*bufp, &pos); |
roff_evalcond(*bufp, &pos); |
|
|
/* |
/* |
Line 1277 roff_cond(ROFF_ARGS) |
|
Line 1294 roff_cond(ROFF_ARGS) |
|
r->parse, ln, ppos, NULL); |
r->parse, ln, ppos, NULL); |
return(ROFF_ERR); |
return(ROFF_ERR); |
} |
} |
r->rstack[++r->rstackpos] = |
r->rstack[++r->rstackpos] = !r->last->rule; |
ROFFRULE_DENY == r->last->rule ? |
|
ROFFRULE_ALLOW : ROFFRULE_DENY; |
|
} |
} |
|
|
/* 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 && !r->last->parent->rule) |
r->last->rule = ROFFRULE_DENY; |
r->last->rule = 0; |
|
|
/* |
/* |
* Determine scope. |
* Determine scope. |
Line 1537 roff_Dd(ROFF_ARGS) |
|
Line 1552 roff_Dd(ROFF_ARGS) |
|
{ |
{ |
const char *const *cp; |
const char *const *cp; |
|
|
if (0 == r->quick && MPARSE_MDOC != r->parsetype) |
if (0 == ((MPARSE_MDOC | MPARSE_QUICK) & r->options)) |
for (cp = __mdoc_reserved; *cp; cp++) |
for (cp = __mdoc_reserved; *cp; cp++) |
roff_setstr(r, *cp, NULL, 0); |
roff_setstr(r, *cp, NULL, 0); |
|
|
Line 1550 roff_TH(ROFF_ARGS) |
|
Line 1565 roff_TH(ROFF_ARGS) |
|
{ |
{ |
const char *const *cp; |
const char *const *cp; |
|
|
if (0 == r->quick && MPARSE_MDOC != r->parsetype) |
if (0 == (MPARSE_QUICK & r->options)) |
for (cp = __man_reserved; *cp; cp++) |
for (cp = __man_reserved; *cp; cp++) |
roff_setstr(r, *cp, NULL, 0); |
roff_setstr(r, *cp, NULL, 0); |
|
|