version 1.6, 2008/12/28 21:25:09 |
version 1.75, 2009/04/12 19:45:26 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se> |
* Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@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 |
* purpose with or without fee is hereby granted, provided that the above |
* above copyright notice and this permission notice appear in all |
* copyright notice and this permission notice appear in all copies. |
* copies. |
|
* |
* |
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL |
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
* WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED |
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
* WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE |
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR |
* AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL |
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
* DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR |
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
* PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER |
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
* TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
* PERFORMANCE OF THIS SOFTWARE. |
|
*/ |
*/ |
#include <assert.h> |
#include <assert.h> |
#include <ctype.h> |
#include <ctype.h> |
#include <err.h> |
|
#include <stdarg.h> |
#include <stdarg.h> |
#include <stdlib.h> |
|
#include <stdio.h> |
#include <stdio.h> |
|
#include <stdlib.h> |
#include <string.h> |
#include <string.h> |
|
|
#include "private.h" |
#include "libmdoc.h" |
|
|
|
enum merr { |
|
ENOCALL, |
|
EBODYPROL, |
|
EPROLBODY, |
|
ESPACE, |
|
ETEXTPROL, |
|
ENOBLANK, |
|
EMALLOC |
|
}; |
|
|
const char *const __mdoc_macronames[MDOC_MAX] = { |
const char *const __mdoc_macronames[MDOC_MAX] = { |
"\\\"", "Dd", "Dt", "Os", |
"\\\"", "Dd", "Dt", "Os", |
"Sh", "Ss", "Pp", "D1", |
"Sh", "Ss", "Pp", "D1", |
Line 56 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
Line 63 const char *const __mdoc_macronames[MDOC_MAX] = { |
|
"Tn", "Ux", "Xc", "Xo", |
"Tn", "Ux", "Xc", "Xo", |
"Fo", "Fc", "Oo", "Oc", |
"Fo", "Fc", "Oo", "Oc", |
"Bk", "Ek", "Bt", "Hf", |
"Bk", "Ek", "Bt", "Hf", |
"Fr", "Ud", |
"Fr", "Ud", "Lb", "Ap", |
|
"Lp", "Lk", "Mt", "Brq", |
|
/* LINTED */ |
|
"Bro", "Brc", "\%C", "Es", |
|
/* LINTED */ |
|
"En", "Dx", "\%Q" |
}; |
}; |
|
|
const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
Line 67 const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
|
Line 79 const char *const __mdoc_argnames[MDOC_ARG_MAX] = { |
|
"tag", "diag", "hang", |
"tag", "diag", "hang", |
"ohang", "inset", "column", |
"ohang", "inset", "column", |
"width", "compact", "std", |
"width", "compact", "std", |
"p1003.1-88", "p1003.1-90", "p1003.1-96", |
"filled", "words", "emphasis", |
"p1003.1-2001", "p1003.1-2004", "p1003.1", |
"symbolic", "nested" |
"p1003.1b", "p1003.1b-93", "p1003.1c-95", |
|
"p1003.1g-2000", "p1003.2-92", "p1387.2-95", |
|
"p1003.2", "p1387.2", "isoC-90", |
|
"isoC-amd1", "isoC-tcor1", "isoC-tcor2", |
|
"isoC-99", "ansiC", "ansiC-89", |
|
"ansiC-99", "ieee754", "iso8802-3", |
|
"xpg3", "xpg4", "xpg4.2", |
|
"xpg4.3", "xbd5", "xcu5", |
|
"xsh5", "xns5", "xns5.2d2.0", |
|
"xcurses4.2", "susv2", "susv3", |
|
"svid4", "filled", "words", |
|
}; |
}; |
|
|
const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ NULL, 0 }, /* \" */ |
|
{ macro_prologue_ddate, 0 }, /* Dd */ |
|
{ macro_prologue_dtitle, 0 }, /* Dt */ |
|
{ macro_prologue_os, 0 }, /* Os */ |
|
{ macro_scoped_implicit, 0 }, /* Sh */ |
|
{ macro_scoped_implicit, 0 }, /* Ss */ |
|
{ macro_text, 0 }, /* Pp */ |
|
{ macro_scoped_line, 0 }, /* D1 */ |
|
{ macro_scoped_line, 0 }, /* Dl */ |
|
{ macro_scoped_explicit, MDOC_EXPLICIT }, /* Bd */ |
|
{ macro_scoped_explicit, 0 }, /* Ed */ |
|
{ macro_scoped_explicit, MDOC_EXPLICIT }, /* Bl */ |
|
{ macro_scoped_explicit, 0 }, /* El */ |
|
{ NULL, 0 }, /* It */ |
|
{ macro_text, MDOC_CALLABLE }, /* Ad */ |
|
{ NULL, 0 }, /* An */ |
|
{ macro_text, MDOC_CALLABLE }, /* Ar */ |
|
{ NULL, 0 }, /* Cd */ |
|
{ macro_text, MDOC_CALLABLE }, /* Cm */ |
|
{ macro_text, MDOC_CALLABLE }, /* Dv */ |
|
{ macro_text, MDOC_CALLABLE }, /* Er */ |
|
{ macro_text, MDOC_CALLABLE }, /* Ev */ |
|
{ NULL, 0 }, /* Ex */ |
|
{ macro_text, MDOC_CALLABLE }, /* Fa */ |
|
{ NULL, 0 }, /* Fd */ |
|
{ macro_text, MDOC_CALLABLE }, /* Fl */ |
|
{ NULL, 0 }, /* Fn */ |
|
{ macro_text, 0 }, /* Ft */ |
|
{ macro_text, MDOC_CALLABLE }, /* Ic */ |
|
{ NULL, 0 }, /* In */ |
|
{ macro_text, MDOC_CALLABLE }, /* Li */ |
|
{ NULL, 0 }, /* Nd */ |
|
{ NULL, 0 }, /* Nm */ |
|
{ NULL, 0 }, /* Op */ |
|
{ NULL, 0 }, /* Ot */ |
|
{ macro_text, MDOC_CALLABLE }, /* Pa */ |
|
{ NULL, 0 }, /* Rv */ |
|
{ NULL, 0 }, /* St */ |
|
{ macro_text, MDOC_CALLABLE }, /* Va */ |
|
{ macro_text, MDOC_CALLABLE }, /* Vt */ |
|
{ NULL, 0 }, /* Xr */ |
|
{ NULL, 0 }, /* %A */ |
|
{ NULL, 0 }, /* %B */ |
|
{ NULL, 0 }, /* %D */ |
|
{ NULL, 0 }, /* %I */ |
|
{ NULL, 0 }, /* %J */ |
|
{ NULL, 0 }, /* %N */ |
|
{ NULL, 0 }, /* %O */ |
|
{ NULL, 0 }, /* %P */ |
|
{ NULL, 0 }, /* %R */ |
|
{ NULL, 0 }, /* %T */ |
|
{ NULL, 0 }, /* %V */ |
|
{ NULL, 0 }, /* Ac */ |
|
{ NULL, 0 }, /* Ao */ |
|
{ NULL, 0 }, /* Aq */ |
|
{ NULL, 0 }, /* At */ |
|
{ NULL, 0 }, /* Bc */ |
|
{ NULL, 0 }, /* Bf */ |
|
{ NULL, 0 }, /* Bo */ |
|
{ NULL, 0 }, /* Bq */ |
|
{ NULL, 0 }, /* Bsx */ |
|
{ NULL, 0 }, /* Bx */ |
|
{ NULL, 0 }, /* Db */ |
|
{ NULL, 0 }, /* Dc */ |
|
{ NULL, 0 }, /* Do */ |
|
{ NULL, 0 }, /* Dq */ |
|
{ NULL, 0 }, /* Ec */ |
|
{ NULL, 0 }, /* Ef */ |
|
{ macro_text, MDOC_CALLABLE }, /* Em */ |
|
{ NULL, 0 }, /* Eo */ |
|
{ NULL, 0 }, /* Fx */ |
|
{ macro_text, 0 }, /* Ms */ |
|
{ NULL, 0 }, /* No */ |
|
{ NULL, 0 }, /* Ns */ |
|
{ NULL, 0 }, /* Nx */ |
|
{ NULL, 0 }, /* Ox */ |
|
{ NULL, 0 }, /* Pc */ |
|
{ NULL, 0 }, /* Pf */ |
|
{ NULL, 0 }, /* Po */ |
|
{ NULL, 0 }, /* Pq */ |
|
{ NULL, 0 }, /* Qc */ |
|
{ NULL, 0 }, /* Ql */ |
|
{ NULL, 0 }, /* Qo */ |
|
{ macro_scoped_pline, MDOC_CALLABLE }, /* Qq */ |
|
{ NULL, 0 }, /* Re */ |
|
{ NULL, 0 }, /* Rs */ |
|
{ NULL, 0 }, /* Sc */ |
|
{ NULL, 0 }, /* So */ |
|
{ NULL, 0 }, /* Sq */ |
|
{ NULL, 0 }, /* Sm */ |
|
{ NULL, 0 }, /* Sx */ |
|
{ NULL, 0 }, /* Sy */ |
|
{ macro_text, MDOC_CALLABLE }, /* Tn */ |
|
{ NULL, 0 }, /* Ux */ |
|
{ NULL, 0 }, /* Xc */ |
|
{ NULL, 0 }, /* Xo */ |
|
{ NULL, 0 }, /* Fo */ |
|
{ NULL, 0 }, /* Fc */ |
|
{ NULL, 0 }, /* Oo */ |
|
{ NULL, 0 }, /* Oc */ |
|
{ NULL, 0 }, /* Bk */ |
|
{ NULL, 0 }, /* Ek */ |
|
{ NULL, 0 }, /* Bt */ |
|
{ NULL, 0 }, /* Hf */ |
|
{ NULL, 0 }, /* Fr */ |
|
{ NULL, 0 }, /* Ud */ |
|
}; |
|
|
|
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; |
const struct mdoc_macro * const mdoc_macros = __mdoc_macros; |
|
|
|
|
static void mdoc_free1(struct mdoc *); |
static struct mdoc_arg *argdup(size_t, const struct mdoc_arg *); |
static int mdoc_alloc1(struct mdoc *); |
static void argfree(size_t, struct mdoc_arg *); |
static struct mdoc_node *node_alloc(struct mdoc *, int, int, |
static void argcpy(struct mdoc_arg *, |
int, enum mdoc_type); |
const struct mdoc_arg *); |
static int node_append(struct mdoc *, |
static char **paramdup(size_t, const char **); |
|
static void paramfree(size_t, char **); |
|
|
|
static void mdoc_node_freelist(struct mdoc_node *); |
|
static void mdoc_node_append(struct mdoc *, int, |
|
struct mdoc_node *); |
struct mdoc_node *); |
static void mdoc_elem_free(struct mdoc_elem *); |
static int parsetext(struct mdoc *, int, char *); |
static void mdoc_text_free(struct mdoc_text *); |
static int parsemacro(struct mdoc *, int, char *); |
|
static int macrowarn(struct mdoc *, int, const char *); |
|
static int perr(struct mdoc *, int, int, enum merr); |
|
|
|
#define verr(m, t) perr((m), (m)->last->line, (m)->last->pos, (t)) |
|
|
|
/* |
|
* Get the first (root) node of the parse tree. |
|
*/ |
const struct mdoc_node * |
const struct mdoc_node * |
mdoc_result(struct mdoc *mdoc) |
mdoc_node(const struct mdoc *m) |
{ |
{ |
|
|
return(mdoc->first); |
return(MDOC_HALT & m->flags ? NULL : m->first); |
} |
} |
|
|
|
|
void |
const struct mdoc_meta * |
mdoc_free(struct mdoc *mdoc) |
mdoc_meta(const struct mdoc *m) |
{ |
{ |
|
|
|
return(MDOC_HALT & m->flags ? NULL : &m->meta); |
|
} |
|
|
|
|
|
static void |
|
mdoc_free1(struct mdoc *mdoc) |
|
{ |
|
|
if (mdoc->first) |
if (mdoc->first) |
mdoc_node_freelist(mdoc->first); |
mdoc_node_freelist(mdoc->first); |
|
if (mdoc->meta.title) |
|
free(mdoc->meta.title); |
|
if (mdoc->meta.os) |
|
free(mdoc->meta.os); |
|
if (mdoc->meta.name) |
|
free(mdoc->meta.name); |
|
if (mdoc->meta.arch) |
|
free(mdoc->meta.arch); |
|
if (mdoc->meta.vol) |
|
free(mdoc->meta.vol); |
|
} |
|
|
|
|
|
static int |
|
mdoc_alloc1(struct mdoc *mdoc) |
|
{ |
|
|
|
bzero(&mdoc->meta, sizeof(struct mdoc_meta)); |
|
mdoc->flags = 0; |
|
mdoc->lastnamed = mdoc->lastsec = 0; |
|
mdoc->last = calloc(1, sizeof(struct mdoc_node)); |
|
if (NULL == mdoc->last) |
|
return(0); |
|
|
|
mdoc->first = mdoc->last; |
|
mdoc->last->type = MDOC_ROOT; |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
return(1); |
|
} |
|
|
|
|
|
/* |
|
* Free up all resources contributed by a parse: the node tree, |
|
* meta-data and so on. Then reallocate the root node for another |
|
* parse. |
|
*/ |
|
int |
|
mdoc_reset(struct mdoc *mdoc) |
|
{ |
|
|
|
mdoc_free1(mdoc); |
|
return(mdoc_alloc1(mdoc)); |
|
} |
|
|
|
|
|
/* |
|
* Completely free up all resources. |
|
*/ |
|
void |
|
mdoc_free(struct mdoc *mdoc) |
|
{ |
|
|
|
mdoc_free1(mdoc); |
if (mdoc->htab) |
if (mdoc->htab) |
mdoc_tokhash_free(mdoc->htab); |
mdoc_hash_free(mdoc->htab); |
|
|
free(mdoc); |
free(mdoc); |
} |
} |
|
|
|
|
struct mdoc * |
struct mdoc * |
mdoc_alloc(void *data, const struct mdoc_cb *cb) |
mdoc_alloc(void *data, int pflags, const struct mdoc_cb *cb) |
{ |
{ |
struct mdoc *p; |
struct mdoc *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc)); |
if (NULL == (p = calloc(1, sizeof(struct mdoc)))) |
|
return(NULL); |
|
if (cb) |
|
(void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
|
|
p->data = data; |
p->data = data; |
(void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
p->pflags = pflags; |
|
|
p->htab = mdoc_tokhash_alloc(); |
if (NULL == (p->htab = mdoc_hash_alloc())) { |
return(p); |
free(p); |
|
return(NULL); |
|
} else if (mdoc_alloc1(p)) |
|
return(p); |
|
|
|
free(p); |
|
return(NULL); |
} |
} |
|
|
|
|
|
/* |
|
* Climb back up the parse tree, validating open scopes. Mostly calls |
|
* through to macro_end in macro.c. |
|
*/ |
int |
int |
mdoc_parseln(struct mdoc *mdoc, char *buf) |
mdoc_endparse(struct mdoc *m) |
{ |
{ |
int c, i; |
|
char tmp[5]; |
|
|
|
if ('.' != *buf) { |
if (MDOC_HALT & m->flags) |
mdoc_word_alloc(mdoc, 0, buf); |
return(0); |
|
else if (mdoc_macroend(m)) |
return(1); |
return(1); |
} |
m->flags |= MDOC_HALT; |
|
return(0); |
|
} |
|
|
if (buf[1] && '\\' == buf[1]) |
|
if (buf[2] && '\"' == buf[2]) |
|
return(1); |
|
|
|
i = 1; |
/* |
while (buf[i] && ! isspace(buf[i]) && i < (int)sizeof(tmp)) |
* Main parse routine. Parses a single line -- really just hands off to |
i++; |
* the macro or text parser. |
|
*/ |
|
int |
|
mdoc_parseln(struct mdoc *m, int ln, char *buf) |
|
{ |
|
|
if (i == (int)sizeof(tmp)) |
/* If in error-mode, then we parse no more. */ |
return(mdoc_err(mdoc, -1, 1, ERR_MACRO_NOTSUP)); |
|
else if (i <= 2) |
|
return(mdoc_err(mdoc, -1, 1, ERR_MACRO_NOTSUP)); |
|
|
|
i--; |
if (MDOC_HALT & m->flags) |
|
return(0); |
|
|
(void)memcpy(tmp, buf + 1, (size_t)i); |
return('.' == *buf ? parsemacro(m, ln, buf) : |
tmp[i++] = 0; |
parsetext(m, ln, buf)); |
|
|
if (MDOC_MAX == (c = mdoc_find(mdoc, tmp))) |
|
return(mdoc_err(mdoc, c, 1, ERR_MACRO_NOTSUP)); |
|
|
|
while (buf[i] && isspace(buf[i])) |
|
i++; |
|
|
|
return(mdoc_macro(mdoc, c, 1, &i, buf)); |
|
} |
} |
|
|
|
|
void |
void |
mdoc_msg(struct mdoc *mdoc, int pos, const char *fmt, ...) |
mdoc_vmsg(struct mdoc *mdoc, int ln, int pos, const char *fmt, ...) |
{ |
{ |
va_list ap; |
char buf[256]; |
char buf[256]; |
va_list ap; |
|
|
if (NULL == mdoc->cb.mdoc_msg) |
if (NULL == mdoc->cb.mdoc_msg) |
return; |
return; |
|
|
va_start(ap, fmt); |
va_start(ap, fmt); |
(void)vsnprintf(buf, sizeof(buf), fmt, ap); |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
va_end(ap); |
va_end(ap); |
|
(*mdoc->cb.mdoc_msg)(mdoc->data, ln, pos, buf); |
(*mdoc->cb.mdoc_msg)(mdoc->data, pos, buf); |
|
} |
} |
|
|
|
|
int |
int |
mdoc_err(struct mdoc *mdoc, int tok, int pos, enum mdoc_err type) |
mdoc_verr(struct mdoc *mdoc, int ln, int pos, |
|
const char *fmt, ...) |
{ |
{ |
|
char buf[256]; |
|
va_list ap; |
|
|
if (NULL == mdoc->cb.mdoc_err) |
if (NULL == mdoc->cb.mdoc_err) |
return(0); |
return(0); |
return((*mdoc->cb.mdoc_err)(mdoc->data, tok, pos, type)); |
|
|
va_start(ap, fmt); |
|
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
|
va_end(ap); |
|
return((*mdoc->cb.mdoc_err)(mdoc->data, ln, pos, buf)); |
} |
} |
|
|
|
|
int |
int |
mdoc_warn(struct mdoc *mdoc, int tok, int pos, enum mdoc_warn type) |
mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, |
|
enum mdoc_warn type, const char *fmt, ...) |
{ |
{ |
|
char buf[256]; |
|
va_list ap; |
|
|
if (NULL == mdoc->cb.mdoc_warn) |
if (NULL == mdoc->cb.mdoc_warn) |
return(0); |
return(0); |
return((*mdoc->cb.mdoc_warn)(mdoc->data, tok, pos, type)); |
|
|
va_start(ap, fmt); |
|
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
|
va_end(ap); |
|
return((*mdoc->cb.mdoc_warn)(mdoc->data, ln, pos, type, buf)); |
} |
} |
|
|
|
|
int |
int |
mdoc_macro(struct mdoc *mdoc, int tok, int ppos, int *pos, char *buf) |
mdoc_macro(struct mdoc *m, int tok, |
|
int ln, int pp, int *pos, char *buf) |
{ |
{ |
|
|
if (NULL == (mdoc_macros[tok].fp)) { |
/* FIXME - these should happen during validation. */ |
(void)mdoc_err(mdoc, tok, ppos, ERR_MACRO_NOTSUP); |
|
return(0); |
|
} |
|
|
|
if (1 != ppos && ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) { |
if (MDOC_PROLOGUE & mdoc_macros[tok].flags && |
(void)mdoc_err(mdoc, tok, ppos, ERR_MACRO_NOTCALL); |
SEC_PROLOGUE != m->lastnamed) |
return(0); |
return(perr(m, ln, pp, EPROLBODY)); |
} |
|
|
|
/*mdoc_msg(mdoc, ppos, "calling `%s'", mdoc_macronames[tok]);*/ |
if ( ! (MDOC_PROLOGUE & mdoc_macros[tok].flags) && |
|
SEC_PROLOGUE == m->lastnamed) |
|
return(perr(m, ln, pp, EBODYPROL)); |
|
|
return((*mdoc_macros[tok].fp)(mdoc, tok, ppos, pos, buf)); |
if (1 != pp && ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) |
|
return(perr(m, ln, pp, ENOCALL)); |
|
|
|
return((*mdoc_macros[tok].fp)(m, tok, ln, pp, pos, buf)); |
} |
} |
|
|
|
|
static void |
static int |
mdoc_node_append(struct mdoc *mdoc, int pos, struct mdoc_node *p) |
perr(struct mdoc *m, int line, int pos, enum merr type) |
{ |
{ |
const char *nn, *on, *nt, *ot, *act; |
char *p; |
|
|
switch (p->type) { |
p = NULL; |
case (MDOC_TEXT): |
switch (type) { |
nn = p->data.text.string; |
case (ENOCALL): |
nt = "text"; |
p = "not callable"; |
break; |
break; |
case (MDOC_BODY): |
case (EPROLBODY): |
nn = mdoc_macronames[p->data.body.tok]; |
p = "macro disallowed in document body"; |
nt = "body"; |
|
break; |
break; |
case (MDOC_ELEM): |
case (EBODYPROL): |
nn = mdoc_macronames[p->data.elem.tok]; |
p = "macro disallowed in document prologue"; |
nt = "elem"; |
|
break; |
break; |
case (MDOC_HEAD): |
case (EMALLOC): |
nn = mdoc_macronames[p->data.head.tok]; |
p = "memory exhausted"; |
nt = "head"; |
|
break; |
break; |
case (MDOC_BLOCK): |
case (ETEXTPROL): |
nn = mdoc_macronames[p->data.block.tok]; |
p = "text disallowed in document prologue"; |
nt = "block"; |
|
break; |
break; |
default: |
case (ENOBLANK): |
abort(); |
p = "blank lines disallowed in non-literal contexts"; |
/* NOTREACHED */ |
break; |
|
case (ESPACE): |
|
p = "whitespace disallowed after delimiter"; |
|
break; |
} |
} |
|
assert(p); |
|
return(mdoc_perr(m, line, pos, p)); |
|
} |
|
|
if (NULL == mdoc->first) { |
|
assert(NULL == mdoc->last); |
|
mdoc->first = p; |
|
mdoc->last = p; |
|
mdoc_msg(mdoc, pos, "parse: root %s `%s'", nt, nn); |
|
return; |
|
} |
|
|
|
switch (mdoc->last->type) { |
static int |
case (MDOC_TEXT): |
node_append(struct mdoc *mdoc, struct mdoc_node *p) |
on = "<text>"; |
{ |
ot = "text"; |
|
|
assert(mdoc->last); |
|
assert(mdoc->first); |
|
assert(MDOC_ROOT != p->type); |
|
|
|
switch (mdoc->next) { |
|
case (MDOC_NEXT_SIBLING): |
|
mdoc->last->next = p; |
|
p->prev = mdoc->last; |
|
p->parent = mdoc->last->parent; |
break; |
break; |
case (MDOC_BODY): |
case (MDOC_NEXT_CHILD): |
on = mdoc_macronames[mdoc->last->data.body.tok]; |
mdoc->last->child = p; |
ot = "body"; |
p->parent = mdoc->last; |
break; |
break; |
case (MDOC_ELEM): |
|
on = mdoc_macronames[mdoc->last->data.elem.tok]; |
|
ot = "elem"; |
|
break; |
|
case (MDOC_HEAD): |
|
on = mdoc_macronames[mdoc->last->data.head.tok]; |
|
ot = "head"; |
|
break; |
|
case (MDOC_BLOCK): |
|
on = mdoc_macronames[mdoc->last->data.block.tok]; |
|
ot = "block"; |
|
break; |
|
default: |
default: |
abort(); |
abort(); |
/* NOTREACHED */ |
/* NOTREACHED */ |
} |
} |
|
|
|
if ( ! mdoc_valid_pre(mdoc, p)) |
|
return(0); |
|
if ( ! mdoc_action_pre(mdoc, p)) |
|
return(0); |
|
|
switch (p->type) { |
switch (p->type) { |
|
case (MDOC_HEAD): |
|
assert(MDOC_BLOCK == p->parent->type); |
|
p->parent->head = p; |
|
break; |
|
case (MDOC_TAIL): |
|
assert(MDOC_BLOCK == p->parent->type); |
|
p->parent->tail = p; |
|
break; |
case (MDOC_BODY): |
case (MDOC_BODY): |
p->parent = mdoc->last->parent; |
assert(MDOC_BLOCK == p->parent->type); |
mdoc->last->next = p; |
p->parent->body = p; |
p->prev = mdoc->last; |
|
act = "sibling"; |
|
break; |
break; |
|
default: |
case (MDOC_HEAD): |
|
assert(mdoc->last->type == MDOC_BLOCK); |
|
p->parent = mdoc->last; |
|
mdoc->last->child = p; |
|
act = "child"; |
|
break; |
break; |
|
} |
|
|
|
mdoc->last = p; |
|
|
|
switch (p->type) { |
|
case (MDOC_TEXT): |
|
if ( ! mdoc_valid_post(mdoc)) |
|
return(0); |
|
if ( ! mdoc_action_post(mdoc)) |
|
return(0); |
|
break; |
default: |
default: |
switch (mdoc->last->type) { |
|
case (MDOC_BODY): |
|
/* FALLTHROUGH */ |
|
case (MDOC_HEAD): |
|
p->parent = mdoc->last; |
|
mdoc->last->child = p; |
|
act = "child"; |
|
break; |
|
default: |
|
p->parent = mdoc->last->parent; |
|
p->prev = mdoc->last; |
|
mdoc->last->next = p; |
|
act = "sibling"; |
|
break; |
|
} |
|
break; |
break; |
} |
} |
|
|
mdoc_msg(mdoc, pos, "parse: %s `%s' %s %s `%s'", |
return(1); |
nt, nn, act, ot, on); |
|
mdoc->last = p; |
|
} |
} |
|
|
|
|
/* FIXME: deprecate paramsz, params. */ |
static struct mdoc_node * |
void |
node_alloc(struct mdoc *mdoc, int line, |
mdoc_head_alloc(struct mdoc *mdoc, int pos, int tok, |
int pos, int tok, enum mdoc_type type) |
size_t paramsz, const char **params) |
|
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
assert(mdoc->first); |
if (NULL == (p = calloc(1, sizeof(struct mdoc_node)))) { |
assert(mdoc->last); |
(void)verr(mdoc, EMALLOC); |
assert(mdoc->last->type == MDOC_BLOCK); |
return(NULL); |
assert(mdoc->last->data.block.tok == tok); |
} |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p->sec = mdoc->lastsec; |
p->type = MDOC_HEAD; |
p->line = line; |
p->data.head.tok = tok; |
p->pos = pos; |
p->data.head.sz = paramsz; |
p->tok = tok; |
p->data.head.args = paramdup(paramsz, params); |
if (MDOC_TEXT != (p->type = type)) |
|
assert(p->tok >= 0); |
|
|
mdoc_node_append(mdoc, pos, p); |
return(p); |
} |
} |
|
|
|
|
void |
int |
mdoc_body_alloc(struct mdoc *mdoc, int pos, int tok) |
mdoc_tail_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
assert(mdoc->first); |
p = node_alloc(mdoc, line, pos, tok, MDOC_TAIL); |
assert(mdoc->last); |
if (NULL == p) |
assert((mdoc->last->type == MDOC_BLOCK) || |
return(0); |
(mdoc->last->type == MDOC_HEAD)); |
return(node_append(mdoc, p)); |
if (mdoc->last->type == MDOC_BLOCK) |
|
assert(mdoc->last->data.block.tok == tok); |
|
else |
|
assert(mdoc->last->data.head.tok == tok); |
|
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
|
|
|
p->type = MDOC_BODY; |
|
p->data.body.tok = tok; |
|
|
|
mdoc_node_append(mdoc, pos, p); |
|
} |
} |
|
|
|
|
void |
int |
mdoc_block_alloc(struct mdoc *mdoc, int pos, int tok, |
mdoc_head_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
size_t argsz, const struct mdoc_arg *args) |
|
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
assert(mdoc->first); |
|
assert(mdoc->last); |
|
|
p->type = MDOC_BLOCK; |
p = node_alloc(mdoc, line, pos, tok, MDOC_HEAD); |
p->data.block.tok = tok; |
if (NULL == p) |
p->data.block.argc = argsz; |
return(0); |
p->data.block.argv = argdup(argsz, args); |
return(node_append(mdoc, p)); |
|
|
mdoc_node_append(mdoc, pos, p); |
|
} |
} |
|
|
|
|
void |
int |
mdoc_elem_alloc(struct mdoc *mdoc, int pos, int tok, |
mdoc_body_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
size_t argsz, const struct mdoc_arg *args, |
|
size_t paramsz, const char **params) |
|
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p = node_alloc(mdoc, line, pos, tok, MDOC_BODY); |
p->type = MDOC_ELEM; |
if (NULL == p) |
p->data.elem.tok = tok; |
return(0); |
p->data.elem.sz = paramsz; |
return(node_append(mdoc, p)); |
p->data.elem.args = paramdup(paramsz, params); |
|
p->data.elem.argc = argsz; |
|
p->data.elem.argv = argdup(argsz, args); |
|
|
|
mdoc_node_append(mdoc, pos, p); |
|
} |
} |
|
|
|
|
void |
int |
mdoc_word_alloc(struct mdoc *mdoc, int pos, const char *word) |
mdoc_block_alloc(struct mdoc *mdoc, int line, int pos, |
|
int tok, struct mdoc_arg *args) |
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p = node_alloc(mdoc, line, pos, tok, MDOC_BLOCK); |
p->type = MDOC_TEXT; |
if (NULL == p) |
p->data.text.string = xstrdup(word); |
return(0); |
|
if ((p->args = args)) |
mdoc_node_append(mdoc, pos, p); |
(args->refcnt)++; |
|
return(node_append(mdoc, p)); |
} |
} |
|
|
|
|
static void |
int |
argfree(size_t sz, struct mdoc_arg *p) |
mdoc_elem_alloc(struct mdoc *mdoc, int line, int pos, |
|
int tok, struct mdoc_arg *args) |
{ |
{ |
int i, j; |
struct mdoc_node *p; |
|
|
if (0 == sz) |
p = node_alloc(mdoc, line, pos, tok, MDOC_ELEM); |
return; |
if (NULL == p) |
|
return(0); |
assert(p); |
if ((p->args = args)) |
/* LINTED */ |
(args->refcnt)++; |
for (i = 0; i < (int)sz; i++) |
return(node_append(mdoc, p)); |
if (p[i].sz > 0) { |
|
assert(p[i].value); |
|
/* LINTED */ |
|
for (j = 0; j < (int)p[i].sz; j++) |
|
free(p[i].value[j]); |
|
} |
|
free(p); |
|
} |
} |
|
|
|
|
static void |
int |
mdoc_elem_free(struct mdoc_elem *p) |
mdoc_word_alloc(struct mdoc *mdoc, |
|
int line, int pos, const char *word) |
{ |
{ |
|
struct mdoc_node *p; |
|
|
paramfree(p->sz, p->args); |
p = node_alloc(mdoc, line, pos, -1, MDOC_TEXT); |
argfree(p->argc, p->argv); |
if (NULL == p) |
|
return(0); |
|
if (NULL == (p->string = strdup(word))) { |
|
(void)verr(mdoc, EMALLOC); |
|
return(0); |
|
} |
|
return(node_append(mdoc, p)); |
} |
} |
|
|
|
|
static void |
|
mdoc_block_free(struct mdoc_block *p) |
|
{ |
|
|
|
argfree(p->argc, p->argv); |
|
} |
|
|
|
|
|
static void |
|
mdoc_text_free(struct mdoc_text *p) |
|
{ |
|
|
|
if (p->string) |
|
free(p->string); |
|
} |
|
|
|
|
|
static void |
|
mdoc_head_free(struct mdoc_head *p) |
|
{ |
|
|
|
paramfree(p->sz, p->args); |
|
} |
|
|
|
|
|
void |
void |
mdoc_node_free(struct mdoc_node *p) |
mdoc_node_free(struct mdoc_node *p) |
{ |
{ |
|
|
switch (p->type) { |
if (p->string) |
case (MDOC_TEXT): |
free(p->string); |
mdoc_text_free(&p->data.text); |
if (p->args) |
break; |
mdoc_argv_free(p->args); |
case (MDOC_ELEM): |
|
mdoc_elem_free(&p->data.elem); |
|
break; |
|
case (MDOC_BLOCK): |
|
mdoc_block_free(&p->data.block); |
|
break; |
|
case (MDOC_HEAD): |
|
mdoc_head_free(&p->data.head); |
|
break; |
|
default: |
|
break; |
|
} |
|
|
|
free(p); |
free(p); |
} |
} |
|
|
|
|
static void |
void |
mdoc_node_freelist(struct mdoc_node *p) |
mdoc_node_freelist(struct mdoc_node *p) |
{ |
{ |
|
|
Line 634 mdoc_node_freelist(struct mdoc_node *p) |
|
Line 543 mdoc_node_freelist(struct mdoc_node *p) |
|
} |
} |
|
|
|
|
int |
/* |
mdoc_find(const struct mdoc *mdoc, const char *key) |
* Parse free-form text, that is, a line that does not begin with the |
|
* control character. |
|
*/ |
|
static int |
|
parsetext(struct mdoc *m, int line, char *buf) |
{ |
{ |
|
|
return(mdoc_tokhash_find(mdoc->htab, key)); |
if (SEC_PROLOGUE == m->lastnamed) |
|
return(perr(m, line, 0, ETEXTPROL)); |
|
|
|
if (0 == buf[0] && ! (MDOC_LITERAL & m->flags)) |
|
return(perr(m, line, 0, ENOBLANK)); |
|
|
|
if ( ! mdoc_word_alloc(m, line, 0, buf)) |
|
return(0); |
|
|
|
m->next = MDOC_NEXT_SIBLING; |
|
return(1); |
} |
} |
|
|
|
|
static void |
static int |
argcpy(struct mdoc_arg *dst, const struct mdoc_arg *src) |
macrowarn(struct mdoc *m, int ln, const char *buf) |
{ |
{ |
int i; |
if ( ! (MDOC_IGN_MACRO & m->pflags)) |
|
return(mdoc_perr(m, ln, 1, |
dst->arg = src->arg; |
"unknown macro: %s%s", |
if (0 == (dst->sz = src->sz)) |
buf, strlen(buf) > 3 ? "..." : "")); |
return; |
return(mdoc_pwarn(m, ln, 1, WARN_SYNTAX, |
dst->value = xcalloc(dst->sz, sizeof(char *)); |
"unknown macro: %s%s", |
for (i = 0; i < (int)dst->sz; i++) |
buf, strlen(buf) > 3 ? "..." : "")); |
dst->value[i] = xstrdup(src->value[i]); |
|
} |
} |
|
|
|
|
static struct mdoc_arg * |
|
argdup(size_t argsz, const struct mdoc_arg *args) |
/* |
|
* Parse a macro line, that is, a line beginning with the control |
|
* character. |
|
*/ |
|
int |
|
parsemacro(struct mdoc *m, int ln, char *buf) |
{ |
{ |
struct mdoc_arg *pp; |
int i, c; |
int i; |
char mac[5]; |
|
|
if (0 == argsz) |
/* Comments and empties are quickly ignored. */ |
return(NULL); |
|
|
|
pp = xcalloc((size_t)argsz, sizeof(struct mdoc_arg)); |
if (0 == buf[1]) |
for (i = 0; i < (int)argsz; i++) |
return(1); |
argcpy(&pp[i], &args[i]); |
|
|
|
return(pp); |
if (' ' == buf[1]) { |
} |
i = 2; |
|
while (buf[i] && ' ' == buf[i]) |
|
i++; |
|
if (0 == buf[i]) |
|
return(1); |
|
return(perr(m, ln, 1, ESPACE)); |
|
} |
|
|
|
if (buf[1] && '\\' == buf[1]) |
|
if (buf[2] && '\"' == buf[2]) |
|
return(1); |
|
|
static void |
/* Copy the first word into a nil-terminated buffer. */ |
paramfree(size_t sz, char **p) |
|
{ |
|
int i; |
|
|
|
if (0 == sz) |
for (i = 1; i < 5; i++) { |
return; |
if (0 == (mac[i - 1] = buf[i])) |
|
break; |
|
else if (' ' == buf[i]) |
|
break; |
|
} |
|
|
assert(p); |
mac[i - 1] = 0; |
/* LINTED */ |
|
for (i = 0; i < (int)sz; i++) |
|
free(p[i]); |
|
free(p); |
|
} |
|
|
|
|
if (i == 5 || i <= 2) { |
|
if ( ! macrowarn(m, ln, mac)) |
|
goto err; |
|
return(1); |
|
} |
|
|
|
if (MDOC_MAX == (c = mdoc_hash_find(m->htab, mac))) { |
|
if ( ! macrowarn(m, ln, mac)) |
|
goto err; |
|
return(1); |
|
} |
|
|
static char ** |
/* The macro is sane. Jump to the next word. */ |
paramdup(size_t sz, const char **p) |
|
{ |
|
char **pp; |
|
int i; |
|
|
|
if (0 == sz) |
while (buf[i] && ' ' == buf[i]) |
return(NULL); |
i++; |
|
|
pp = xcalloc(sz, sizeof(char *)); |
/* Begin recursive parse sequence. */ |
for (i = 0; i < (int)sz; i++) |
|
pp[i] = xstrdup(p[i]); |
|
|
|
return(pp); |
if ( ! mdoc_macro(m, c, ln, 1, &i, buf)) |
|
goto err; |
|
|
|
return(1); |
|
|
|
err: /* Error out. */ |
|
|
|
m->flags |= MDOC_HALT; |
|
return(0); |
} |
} |