version 1.96, 2009/07/27 19:43:02 |
version 1.114, 2010/01/01 17:14:29 |
|
|
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
*/ |
*/ |
|
#ifdef HAVE_CONFIG_H |
|
#include "config.h" |
|
#endif |
|
|
|
#include <sys/types.h> |
|
|
#include <assert.h> |
#include <assert.h> |
#include <ctype.h> |
#include <ctype.h> |
#include <stdarg.h> |
#include <stdarg.h> |
|
|
#include <string.h> |
#include <string.h> |
|
|
#include "libmdoc.h" |
#include "libmdoc.h" |
|
#include "libmandoc.h" |
|
|
const char *const __mdoc_merrnames[MERRMAX] = { |
const char *const __mdoc_merrnames[MERRMAX] = { |
"trailing whitespace", /* ETAILWS */ |
"trailing whitespace", /* ETAILWS */ |
"unexpected quoted parameter", /* EQUOTPARM */ |
"unexpected quoted parameter", /* EQUOTPARM */ |
"unterminated quoted parameter", /* EQUOTTERM */ |
"unterminated quoted parameter", /* EQUOTTERM */ |
"system: malloc error", /* EMALLOC */ |
|
"argument parameter suggested", /* EARGVAL */ |
"argument parameter suggested", /* EARGVAL */ |
"macro not callable", /* ENOCALL */ |
|
"macro disallowed in prologue", /* EBODYPROL */ |
"macro disallowed in prologue", /* EBODYPROL */ |
"macro disallowed in body", /* EPROLBODY */ |
"macro disallowed in body", /* EPROLBODY */ |
"text disallowed in prologue", /* ETEXTPROL */ |
"text disallowed in prologue", /* ETEXTPROL */ |
Line 70 const char *const __mdoc_merrnames[MERRMAX] = { |
|
Line 75 const char *const __mdoc_merrnames[MERRMAX] = { |
|
"superfluous width argument", /* ENOWIDTH */ |
"superfluous width argument", /* ENOWIDTH */ |
"system: utsname error", /* EUTSNAME */ |
"system: utsname error", /* EUTSNAME */ |
"obsolete macro", /* EOBS */ |
"obsolete macro", /* EOBS */ |
"macro-like parameter", /* EMACPARM */ |
|
"end-of-line scope violation", /* EIMPBRK */ |
"end-of-line scope violation", /* EIMPBRK */ |
"empty macro ignored", /* EIGNE */ |
"empty macro ignored", /* EIGNE */ |
"unclosed explicit scope", /* EOPEN */ |
"unclosed explicit scope", /* EOPEN */ |
"unterminated quoted phrase", /* EQUOTPHR */ |
"unterminated quoted phrase", /* EQUOTPHR */ |
"closure macro without prior context", /* ENOCTX */ |
"closure macro without prior context", /* ENOCTX */ |
"invalid whitespace after control character", /* ESPACE */ |
"no description found for library", /* ELIB */ |
"no description found for library" /* ELIB */ |
"bad child for parent context", /* EBADCHILD */ |
|
"list arguments preceding type", /* ENOTYPE */ |
}; |
}; |
|
|
const char *const __mdoc_macronames[MDOC_MAX] = { |
const char *const __mdoc_macronames[MDOC_MAX] = { |
Line 92 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
Line 97 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
"Nm", "Op", "Ot", "Pa", |
"Nm", "Op", "Ot", "Pa", |
"Rv", "St", "Va", "Vt", |
"Rv", "St", "Va", "Vt", |
/* LINTED */ |
/* LINTED */ |
"Xr", "\%A", "\%B", "\%D", |
"Xr", "%A", "%B", "%D", |
/* LINTED */ |
/* LINTED */ |
"\%I", "\%J", "\%N", "\%O", |
"%I", "%J", "%N", "%O", |
/* LINTED */ |
/* LINTED */ |
"\%P", "\%R", "\%T", "\%V", |
"%P", "%R", "%T", "%V", |
"Ac", "Ao", "Aq", "At", |
"Ac", "Ao", "Aq", "At", |
"Bc", "Bf", "Bo", "Bq", |
"Bc", "Bf", "Bo", "Bq", |
"Bsx", "Bx", "Db", "Dc", |
"Bsx", "Bx", "Db", "Dc", |
Line 113 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
Line 118 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
"Fr", "Ud", "Lb", "Lp", |
"Fr", "Ud", "Lb", "Lp", |
"Lk", "Mt", "Brq", "Bro", |
"Lk", "Mt", "Brq", "Bro", |
/* LINTED */ |
/* LINTED */ |
"Brc", "\%C", "Es", "En", |
"Brc", "%C", "Es", "En", |
/* LINTED */ |
/* LINTED */ |
"Dx", "\%Q", "br", "sp" |
"Dx", "%Q", "br", "sp", |
|
/* LINTED */ |
|
"%U" |
}; |
}; |
|
|
const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
Line 127 const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
|
Line 134 const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
|
"ohang", "inset", "column", |
"ohang", "inset", "column", |
"width", "compact", "std", |
"width", "compact", "std", |
"filled", "words", "emphasis", |
"filled", "words", "emphasis", |
"symbolic", "nested" |
"symbolic", "nested", "centered" |
}; |
}; |
|
|
const char * const *mdoc_macronames = __mdoc_macronames; |
const char * const *mdoc_macronames = __mdoc_macronames; |
const char * const *mdoc_argnames = __mdoc_argnames; |
const char * const *mdoc_argnames = __mdoc_argnames; |
|
|
static void mdoc_free1(struct mdoc *); |
static void mdoc_free1(struct mdoc *); |
static int mdoc_alloc1(struct mdoc *); |
static void mdoc_alloc1(struct mdoc *); |
static struct mdoc_node *node_alloc(struct mdoc *, int, int, |
static struct mdoc_node *node_alloc(struct mdoc *, int, int, |
int, enum mdoc_type); |
int, enum mdoc_type); |
static int node_append(struct mdoc *, |
static int node_append(struct mdoc *, |
Line 145 static int macrowarn(struct mdoc *, int, const char |
|
Line 152 static int macrowarn(struct mdoc *, int, const char |
|
static int pstring(struct mdoc *, int, int, |
static int pstring(struct mdoc *, int, int, |
const char *, size_t); |
const char *, size_t); |
|
|
#ifdef __linux__ |
|
extern size_t strlcpy(char *, const char *, size_t); |
|
#endif |
|
|
|
|
|
const struct mdoc_node * |
const struct mdoc_node * |
mdoc_node(const struct mdoc *m) |
mdoc_node(const struct mdoc *m) |
{ |
{ |
Line 191 mdoc_free1(struct mdoc *mdoc) |
|
Line 193 mdoc_free1(struct mdoc *mdoc) |
|
/* |
/* |
* Allocate all volatile resources (parse tree, meta-data, fields). |
* Allocate all volatile resources (parse tree, meta-data, fields). |
*/ |
*/ |
static int |
static void |
mdoc_alloc1(struct mdoc *mdoc) |
mdoc_alloc1(struct mdoc *mdoc) |
{ |
{ |
|
|
bzero(&mdoc->meta, sizeof(struct mdoc_meta)); |
memset(&mdoc->meta, 0, sizeof(struct mdoc_meta)); |
mdoc->flags = 0; |
mdoc->flags = 0; |
mdoc->lastnamed = mdoc->lastsec = SEC_NONE; |
mdoc->lastnamed = mdoc->lastsec = SEC_NONE; |
mdoc->last = calloc(1, sizeof(struct mdoc_node)); |
mdoc->last = mandoc_calloc(1, sizeof(struct mdoc_node)); |
if (NULL == mdoc->last) |
|
return(0); |
|
|
|
mdoc->first = mdoc->last; |
mdoc->first = mdoc->last; |
mdoc->last->type = MDOC_ROOT; |
mdoc->last->type = MDOC_ROOT; |
mdoc->next = MDOC_NEXT_CHILD; |
mdoc->next = MDOC_NEXT_CHILD; |
return(1); |
|
} |
} |
|
|
|
|
Line 215 mdoc_alloc1(struct mdoc *mdoc) |
|
Line 213 mdoc_alloc1(struct mdoc *mdoc) |
|
* and the parser is ready for re-invocation on a new tree; however, |
* and the parser is ready for re-invocation on a new tree; however, |
* cross-parse non-volatile data is kept intact. |
* cross-parse non-volatile data is kept intact. |
*/ |
*/ |
int |
void |
mdoc_reset(struct mdoc *mdoc) |
mdoc_reset(struct mdoc *mdoc) |
{ |
{ |
|
|
mdoc_free1(mdoc); |
mdoc_free1(mdoc); |
return(mdoc_alloc1(mdoc)); |
mdoc_alloc1(mdoc); |
} |
} |
|
|
|
|
Line 233 mdoc_free(struct mdoc *mdoc) |
|
Line 231 mdoc_free(struct mdoc *mdoc) |
|
{ |
{ |
|
|
mdoc_free1(mdoc); |
mdoc_free1(mdoc); |
if (mdoc->htab) |
|
mdoc_hash_free(mdoc->htab); |
|
free(mdoc); |
free(mdoc); |
} |
} |
|
|
Line 247 mdoc_alloc(void *data, int pflags, const struct mdoc_c |
|
Line 243 mdoc_alloc(void *data, int pflags, const struct mdoc_c |
|
{ |
{ |
struct mdoc *p; |
struct mdoc *p; |
|
|
if (NULL == (p = calloc(1, sizeof(struct mdoc)))) |
p = mandoc_calloc(1, sizeof(struct mdoc)); |
return(NULL); |
|
if (cb) |
if (cb) |
(void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
|
|
p->data = data; |
p->data = data; |
p->pflags = pflags; |
p->pflags = pflags; |
|
|
if (NULL == (p->htab = mdoc_hash_alloc())) { |
mdoc_hash_init(); |
free(p); |
mdoc_alloc1(p); |
return(NULL); |
return(p); |
} else if (mdoc_alloc1(p)) |
|
return(p); |
|
|
|
free(p); |
|
return(NULL); |
|
} |
} |
|
|
|
|
|
|
mdoc_macro(struct mdoc *m, int tok, |
mdoc_macro(struct mdoc *m, int tok, |
int ln, int pp, int *pos, char *buf) |
int ln, int pp, int *pos, char *buf) |
{ |
{ |
|
/* |
|
* If we're in the prologue, deny "body" macros. Similarly, if |
|
* we're in the body, deny prologue calls. |
|
*/ |
if (MDOC_PROLOGUE & mdoc_macros[tok].flags && |
if (MDOC_PROLOGUE & mdoc_macros[tok].flags && |
MDOC_PBODY & m->flags) |
MDOC_PBODY & m->flags) |
return(mdoc_perr(m, ln, pp, EPROLBODY)); |
return(mdoc_perr(m, ln, pp, EPROLBODY)); |
Line 361 mdoc_macro(struct mdoc *m, int tok, |
|
Line 355 mdoc_macro(struct mdoc *m, int tok, |
|
! (MDOC_PBODY & m->flags)) |
! (MDOC_PBODY & m->flags)) |
return(mdoc_perr(m, ln, pp, EBODYPROL)); |
return(mdoc_perr(m, ln, pp, EBODYPROL)); |
|
|
if (1 != pp && ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) |
|
return(mdoc_perr(m, ln, pp, ENOCALL)); |
|
|
|
return((*mdoc_macros[tok].fp)(m, tok, ln, pp, pos, buf)); |
return((*mdoc_macros[tok].fp)(m, tok, ln, pp, pos, buf)); |
} |
} |
|
|
Line 438 node_alloc(struct mdoc *m, int line, |
|
Line 429 node_alloc(struct mdoc *m, int line, |
|
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
if (NULL == (p = calloc(1, sizeof(struct mdoc_node)))) { |
p = mandoc_calloc(1, sizeof(struct mdoc_node)); |
(void)mdoc_nerr(m, m->last, EMALLOC); |
|
return(NULL); |
|
} |
|
|
|
p->sec = m->lastsec; |
p->sec = m->lastsec; |
p->line = line; |
p->line = line; |
p->pos = pos; |
p->pos = pos; |
Line 460 mdoc_tail_alloc(struct mdoc *m, int line, int pos, int |
|
Line 447 mdoc_tail_alloc(struct mdoc *m, int line, int pos, int |
|
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = node_alloc(m, line, pos, tok, MDOC_TAIL); |
p = node_alloc(m, line, pos, tok, MDOC_TAIL); |
if (NULL == p) |
if ( ! node_append(m, p)) |
return(0); |
return(0); |
return(node_append(m, p)); |
m->next = MDOC_NEXT_CHILD; |
|
return(1); |
} |
} |
|
|
|
|
Line 475 mdoc_head_alloc(struct mdoc *m, int line, int pos, int |
|
Line 463 mdoc_head_alloc(struct mdoc *m, int line, int pos, int |
|
assert(m->last); |
assert(m->last); |
|
|
p = node_alloc(m, line, pos, tok, MDOC_HEAD); |
p = node_alloc(m, line, pos, tok, MDOC_HEAD); |
if (NULL == p) |
if ( ! node_append(m, p)) |
return(0); |
return(0); |
return(node_append(m, p)); |
m->next = MDOC_NEXT_CHILD; |
|
return(1); |
} |
} |
|
|
|
|
Line 487 mdoc_body_alloc(struct mdoc *m, int line, int pos, int |
|
Line 476 mdoc_body_alloc(struct mdoc *m, int line, int pos, int |
|
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = node_alloc(m, line, pos, tok, MDOC_BODY); |
p = node_alloc(m, line, pos, tok, MDOC_BODY); |
if (NULL == p) |
if ( ! node_append(m, p)) |
return(0); |
return(0); |
return(node_append(m, p)); |
m->next = MDOC_NEXT_CHILD; |
|
return(1); |
} |
} |
|
|
|
|
Line 500 mdoc_block_alloc(struct mdoc *m, int line, int pos, |
|
Line 490 mdoc_block_alloc(struct mdoc *m, int line, int pos, |
|
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = node_alloc(m, line, pos, tok, MDOC_BLOCK); |
p = node_alloc(m, line, pos, tok, MDOC_BLOCK); |
if (NULL == p) |
|
return(0); |
|
p->args = args; |
p->args = args; |
if (p->args) |
if (p->args) |
(args->refcnt)++; |
(args->refcnt)++; |
return(node_append(m, p)); |
if ( ! node_append(m, p)) |
|
return(0); |
|
m->next = MDOC_NEXT_CHILD; |
|
return(1); |
} |
} |
|
|
|
|
Line 516 mdoc_elem_alloc(struct mdoc *m, int line, int pos, |
|
Line 507 mdoc_elem_alloc(struct mdoc *m, int line, int pos, |
|
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = node_alloc(m, line, pos, tok, MDOC_ELEM); |
p = node_alloc(m, line, pos, tok, MDOC_ELEM); |
if (NULL == p) |
|
return(0); |
|
p->args = args; |
p->args = args; |
if (p->args) |
if (p->args) |
(args->refcnt)++; |
(args->refcnt)++; |
return(node_append(m, p)); |
if ( ! node_append(m, p)) |
|
return(0); |
|
m->next = MDOC_NEXT_CHILD; |
|
return(1); |
} |
} |
|
|
|
|
Line 532 pstring(struct mdoc *m, int line, int pos, const char |
|
Line 524 pstring(struct mdoc *m, int line, int pos, const char |
|
size_t sv; |
size_t sv; |
|
|
n = node_alloc(m, line, pos, -1, MDOC_TEXT); |
n = node_alloc(m, line, pos, -1, MDOC_TEXT); |
if (NULL == n) |
n->string = mandoc_malloc(len + 1); |
return(mdoc_nerr(m, m->last, EMALLOC)); |
|
|
|
n->string = malloc(len + 1); |
|
if (NULL == n->string) { |
|
free(n); |
|
return(mdoc_nerr(m, m->last, EMALLOC)); |
|
} |
|
|
|
sv = strlcpy(n->string, p, len + 1); |
sv = strlcpy(n->string, p, len + 1); |
|
|
/* Prohibit truncation. */ |
/* Prohibit truncation. */ |
assert(sv < len + 1); |
assert(sv < len + 1); |
|
|
return(node_append(m, n)); |
if ( ! node_append(m, n)) |
|
return(0); |
|
m->next = MDOC_NEXT_SIBLING; |
|
return(1); |
} |
} |
|
|
|
|
Line 603 parsetext(struct mdoc *m, int line, char *buf) |
|
Line 590 parsetext(struct mdoc *m, int line, char *buf) |
|
* back-end, as it should be preserved as a single term. |
* back-end, as it should be preserved as a single term. |
*/ |
*/ |
|
|
if (MDOC_LITERAL & m->flags) { |
if (MDOC_LITERAL & m->flags) |
if ( ! mdoc_word_alloc(m, line, 0, buf)) |
return(mdoc_word_alloc(m, line, 0, buf)); |
return(0); |
|
m->next = MDOC_NEXT_SIBLING; |
|
return(1); |
|
} |
|
|
|
/* Disallow blank/white-space lines in non-literal mode. */ |
/* Disallow blank/white-space lines in non-literal mode. */ |
|
|
Line 633 parsetext(struct mdoc *m, int line, char *buf) |
|
Line 616 parsetext(struct mdoc *m, int line, char *buf) |
|
buf[i++] = 0; |
buf[i++] = 0; |
if ( ! pstring(m, line, j, &buf[j], (size_t)(i - j))) |
if ( ! pstring(m, line, j, &buf[j], (size_t)(i - j))) |
return(0); |
return(0); |
m->next = MDOC_NEXT_SIBLING; |
|
|
|
for ( ; ' ' == buf[i]; i++) |
for ( ; ' ' == buf[i]; i++) |
/* Skip trailing whitespace. */ ; |
/* Skip trailing whitespace. */ ; |
Line 652 parsetext(struct mdoc *m, int line, char *buf) |
|
Line 634 parsetext(struct mdoc *m, int line, char *buf) |
|
|
|
|
|
|
|
|
|
static int |
static int |
macrowarn(struct mdoc *m, int ln, const char *buf) |
macrowarn(struct mdoc *m, int ln, const char *buf) |
{ |
{ |
Line 672 macrowarn(struct mdoc *m, int ln, const char *buf) |
|
Line 653 macrowarn(struct mdoc *m, int ln, const char *buf) |
|
int |
int |
parsemacro(struct mdoc *m, int ln, char *buf) |
parsemacro(struct mdoc *m, int ln, char *buf) |
{ |
{ |
int i, c; |
int i, j, c; |
char mac[5]; |
char mac[5]; |
|
|
/* Empty lines are ignored. */ |
/* Empty lines are ignored. */ |
Line 680 parsemacro(struct mdoc *m, int ln, char *buf) |
|
Line 661 parsemacro(struct mdoc *m, int ln, char *buf) |
|
if (0 == buf[1]) |
if (0 == buf[1]) |
return(1); |
return(1); |
|
|
if (' ' == buf[1]) { |
i = 1; |
i = 2; |
|
|
/* Accept whitespace after the initial control char. */ |
|
|
|
if (' ' == buf[i]) { |
|
i++; |
while (buf[i] && ' ' == buf[i]) |
while (buf[i] && ' ' == buf[i]) |
i++; |
i++; |
if (0 == buf[i]) |
if (0 == buf[i]) |
return(1); |
return(1); |
return(mdoc_perr(m, ln, 1, ESPACE)); |
|
} |
} |
|
|
/* Copy the first word into a nil-terminated buffer. */ |
/* Copy the first word into a nil-terminated buffer. */ |
|
|
for (i = 1; i < 5; i++) { |
for (j = 0; j < 4; j++, i++) { |
if (0 == (mac[i - 1] = buf[i])) |
if (0 == (mac[j] = buf[i])) |
break; |
break; |
else if (' ' == buf[i]) |
else if (' ' == buf[i]) |
break; |
break; |
|
|
|
/* Check for invalid characters. */ |
|
|
|
if (isgraph((u_char)buf[i])) |
|
continue; |
|
return(mdoc_perr(m, ln, i, EPRINT)); |
} |
} |
|
|
mac[i - 1] = 0; |
mac[j] = 0; |
|
|
if (i == 5 || i <= 2) { |
if (j == 4 || j < 2) { |
if ( ! macrowarn(m, ln, mac)) |
if ( ! macrowarn(m, ln, mac)) |
goto err; |
goto err; |
return(1); |
return(1); |
} |
} |
|
|
if (MDOC_MAX == (c = mdoc_hash_find(m->htab, mac))) { |
if (MDOC_MAX == (c = mdoc_hash_find(mac))) { |
if ( ! macrowarn(m, ln, mac)) |
if ( ! macrowarn(m, ln, mac)) |
goto err; |
goto err; |
return(1); |
return(1); |
Line 717 parsemacro(struct mdoc *m, int ln, char *buf) |
|
Line 707 parsemacro(struct mdoc *m, int ln, char *buf) |
|
while (buf[i] && ' ' == buf[i]) |
while (buf[i] && ' ' == buf[i]) |
i++; |
i++; |
|
|
/* Begin recursive parse sequence. */ |
/* |
|
* Begin recursive parse sequence. Since we're at the start of |
|
* the line, we don't need to do callable/parseable checks. |
|
*/ |
if ( ! mdoc_macro(m, c, ln, 1, &i, buf)) |
if ( ! mdoc_macro(m, c, ln, 1, &i, buf)) |
goto err; |
goto err; |
|
|
Line 729 err: /* Error out. */ |
|
Line 721 err: /* Error out. */ |
|
m->flags |= MDOC_HALT; |
m->flags |= MDOC_HALT; |
return(0); |
return(0); |
} |
} |
|
|
|
|