version 1.33, 2009/01/16 15:58:50 |
version 1.83, 2009/06/16 20:22:23 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se> |
* Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se> |
* |
* |
* 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", |
"Ap", "Dd", "Dt", "Os", |
"Sh", "Ss", "Pp", "D1", |
"Sh", "Ss", "Pp", "D1", |
"Dl", "Bd", "Ed", "Bl", |
"Dl", "Bd", "Ed", "Bl", |
"El", "It", "Ad", "An", |
"El", "It", "Ad", "An", |
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", "Lp", |
|
"Lk", "Mt", "Brq", "Bro", |
|
/* LINTED */ |
|
"Brc", "\%C", "Es", "En", |
|
/* LINTED */ |
|
"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", |
|
"emphasis", "symbolic", |
|
}; |
}; |
|
|
const struct mdoc_macro __mdoc_macros[MDOC_MAX] = { |
|
{ NULL, 0 }, /* \" */ |
|
{ macro_constant, MDOC_PROLOGUE }, /* Dd */ |
|
{ macro_constant, MDOC_PROLOGUE }, /* Dt */ |
|
{ macro_constant, MDOC_PROLOGUE }, /* Os */ |
|
{ macro_scoped, 0 }, /* Sh */ |
|
{ macro_scoped, 0 }, /* Ss */ |
|
{ macro_text, 0 }, /* Pp */ |
|
{ macro_scoped_line, MDOC_PARSED }, /* D1 */ |
|
{ macro_scoped_line, MDOC_PARSED }, /* Dl */ |
|
{ macro_scoped, MDOC_EXPLICIT }, /* Bd */ |
|
{ macro_scoped_close, MDOC_EXPLICIT }, /* Ed */ |
|
{ macro_scoped, MDOC_EXPLICIT }, /* Bl */ |
|
{ macro_scoped_close, MDOC_EXPLICIT }, /* El */ |
|
{ macro_scoped, MDOC_PARSED | MDOC_TABSEP}, /* It */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ad */ |
|
{ macro_text, MDOC_PARSED }, /* An */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ar */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* Cd */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Cm */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Dv */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Er */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ev */ |
|
{ macro_constant, 0 }, /* Ex */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_QUOTABLE | MDOC_PARSED }, /* Fa */ |
|
{ macro_constant, 0 }, /* Fd */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Fl */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_QUOTABLE | MDOC_PARSED }, /* Fn */ |
|
{ macro_text, MDOC_PARSED | MDOC_QUOTABLE }, /* Ft */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Ic */ |
|
{ macro_constant, 0 }, /* In */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Li */ |
|
{ macro_constant, 0 }, /* Nd */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Nm */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Op */ |
|
{ macro_obsolete, 0 }, /* Ot */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Pa */ |
|
{ macro_constant, 0 }, /* Rv */ |
|
/* XXX - .St supposed to be (but isn't) callable. */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* St */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Va */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Vt */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Xr */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %A */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %B */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %D */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %I */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %J */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %N */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %O */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %P */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %R */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %T */ |
|
{ macro_constant, MDOC_QUOTABLE }, /* %V */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Ac */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Ao */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Aq */ |
|
{ macro_constant, 0 }, /* At */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Bc */ |
|
{ macro_scoped, MDOC_EXPLICIT }, /* Bf */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Bo */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Bq */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Bsx */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Bx */ |
|
{ macro_constant, 0 }, /* Db */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Dc */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Do */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Dq */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Ec */ |
|
{ macro_scoped_close, MDOC_EXPLICIT }, /* Ef */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Em */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Eo */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Fx */ |
|
{ macro_text, MDOC_PARSED }, /* Ms */ |
|
{ macro_constant_delimited, MDOC_CALLABLE | MDOC_PARSED }, /* No */ |
|
{ macro_constant_delimited, MDOC_CALLABLE | MDOC_PARSED }, /* Ns */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Nx */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Ox */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Pc */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Pf */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Po */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Pq */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Qc */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Ql */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Qo */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Qq */ |
|
{ macro_scoped_close, MDOC_EXPLICIT }, /* Re */ |
|
{ macro_scoped, MDOC_EXPLICIT }, /* Rs */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Sc */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* So */ |
|
{ macro_scoped_line, MDOC_CALLABLE | MDOC_PARSED }, /* Sq */ |
|
{ macro_constant, 0 }, /* Sm */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Sx */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Sy */ |
|
{ macro_text, MDOC_CALLABLE | MDOC_PARSED }, /* Tn */ |
|
{ macro_constant_delimited, MDOC_PARSED }, /* Ux */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Xc */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Xo */ |
|
/* XXX - .Fo supposed to be (but isn't) callable. */ |
|
{ macro_scoped, MDOC_EXPLICIT | MDOC_PARSED }, /* Fo */ |
|
/* XXX - .Fc supposed to be (but isn't) callable. */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_PARSED }, /* Fc */ |
|
{ macro_constant_scoped, MDOC_CALLABLE | MDOC_PARSED | MDOC_EXPLICIT }, /* Oo */ |
|
{ macro_scoped_close, MDOC_EXPLICIT | MDOC_CALLABLE | MDOC_PARSED }, /* Oc */ |
|
{ macro_scoped, MDOC_EXPLICIT }, /* Bk */ |
|
{ macro_scoped_close, MDOC_EXPLICIT }, /* Ek */ |
|
{ macro_constant, 0 }, /* Bt */ |
|
{ macro_constant, 0 }, /* Hf */ |
|
{ macro_obsolete, 0 }, /* Fr */ |
|
{ macro_constant, 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 void mdoc_node_freelist(struct mdoc_node *); |
|
static int mdoc_node_append(struct mdoc *, |
|
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)) |
|
|
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); |
p->data = data; |
|
if (cb) |
if (cb) |
(void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
(void)memcpy(&p->cb, cb, sizeof(struct mdoc_cb)); |
|
|
p->last = xcalloc(1, sizeof(struct mdoc_node)); |
p->data = data; |
p->last->type = MDOC_ROOT; |
p->pflags = pflags; |
p->first = p->last; |
|
|
|
p->next = MDOC_NEXT_CHILD; |
if (NULL == (p->htab = mdoc_hash_alloc())) { |
p->htab = mdoc_tokhash_alloc(); |
free(p); |
|
return(NULL); |
|
} else if (mdoc_alloc1(p)) |
|
return(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_endparse(struct mdoc *mdoc) |
mdoc_endparse(struct mdoc *m) |
{ |
{ |
|
|
if (MDOC_HALT & mdoc->flags) |
if (MDOC_HALT & m->flags) |
return(0); |
return(0); |
if (NULL == mdoc->first) |
else if (mdoc_macroend(m)) |
return(1); |
return(1); |
|
m->flags |= MDOC_HALT; |
|
return(0); |
|
} |
|
|
assert(mdoc->last); |
|
if ( ! macro_end(mdoc)) { |
/* |
mdoc->flags |= MDOC_HALT; |
* Main parse routine. Parses a single line -- really just hands off to |
|
* the macro or text parser. |
|
*/ |
|
int |
|
mdoc_parseln(struct mdoc *m, int ln, char *buf) |
|
{ |
|
|
|
/* If in error-mode, then we parse no more. */ |
|
|
|
if (MDOC_HALT & m->flags) |
return(0); |
return(0); |
} |
|
return(1); |
return('.' == *buf ? parsemacro(m, ln, buf) : |
|
parsetext(m, ln, buf)); |
} |
} |
|
|
|
|
int |
int |
mdoc_parseln(struct mdoc *mdoc, int line, char *buf) |
mdoc_verr(struct mdoc *mdoc, int ln, int pos, |
|
const char *fmt, ...) |
{ |
{ |
int c, i; |
char buf[256]; |
char tmp[5]; |
va_list ap; |
|
|
if (MDOC_HALT & mdoc->flags) |
if (NULL == mdoc->cb.mdoc_err) |
return(0); |
return(0); |
|
|
if ('.' != *buf) { |
va_start(ap, fmt); |
if (SEC_PROLOGUE != mdoc->sec_lastn) { |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
if ( ! mdoc_word_alloc(mdoc, line, 0, buf)) |
va_end(ap); |
return(0); |
return((*mdoc->cb.mdoc_err)(mdoc->data, ln, pos, buf)); |
mdoc->next = MDOC_NEXT_SIBLING; |
} |
return(1); |
|
} |
|
return(mdoc_perr(mdoc, line, 0, "text disallowed")); |
|
} |
|
|
|
if (buf[1] && '\\' == buf[1]) |
|
if (buf[2] && '\"' == buf[2]) |
|
return(1); |
|
|
|
i = 1; |
int |
while (buf[i] && ! isspace(buf[i]) && i < (int)sizeof(tmp)) |
mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, |
i++; |
enum mdoc_warn type, const char *fmt, ...) |
|
{ |
|
char buf[256]; |
|
va_list ap; |
|
|
if (i == (int)sizeof(tmp)) { |
if (NULL == mdoc->cb.mdoc_warn) |
mdoc->flags |= MDOC_HALT; |
return(0); |
return(mdoc_perr(mdoc, line, 1, "unknown macro")); |
|
} else if (i <= 2) { |
|
mdoc->flags |= MDOC_HALT; |
|
return(mdoc_perr(mdoc, line, 1, "unknown macro")); |
|
} |
|
|
|
i--; |
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)); |
|
} |
|
|
(void)memcpy(tmp, buf + 1, (size_t)i); |
|
tmp[i++] = 0; |
|
|
|
if (MDOC_MAX == (c = mdoc_find(mdoc, tmp))) { |
int |
mdoc->flags |= MDOC_HALT; |
mdoc_nerr(struct mdoc *mdoc, const struct mdoc_node *node, const char *fmt, ...) |
return(mdoc_perr(mdoc, line, 1, "unknown macro")); |
{ |
} |
char buf[256]; |
|
va_list ap; |
|
|
while (buf[i] && isspace(buf[i])) |
if (NULL == mdoc->cb.mdoc_err) |
i++; |
|
|
|
if ( ! mdoc_macro(mdoc, c, line, 1, &i, buf)) { |
|
mdoc->flags |= MDOC_HALT; |
|
return(0); |
return(0); |
} |
|
return(1); |
va_start(ap, fmt); |
|
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
|
va_end(ap); |
|
return((*mdoc->cb.mdoc_err)(mdoc->data, node->line, node->pos, buf)); |
} |
} |
|
|
|
|
void |
int |
mdoc_vmsg(struct mdoc *mdoc, int ln, int pos, const char *fmt, ...) |
mdoc_warn(struct mdoc *mdoc, enum mdoc_warn type, const char *fmt, ...) |
{ |
{ |
char buf[256]; |
char buf[256]; |
va_list ap; |
va_list ap; |
|
|
if (NULL == mdoc->cb.mdoc_msg) |
if (NULL == mdoc->cb.mdoc_warn) |
return; |
return(0); |
|
|
va_start(ap, fmt); |
va_start(ap, fmt); |
(void)vsnprintf(buf, sizeof(buf) - 1, 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); |
return((*mdoc->cb.mdoc_warn)(mdoc->data, mdoc->last->line, |
|
mdoc->last->pos, type, buf)); |
} |
} |
|
|
|
|
int |
int |
mdoc_verr(struct mdoc *mdoc, int ln, int pos, |
mdoc_err(struct mdoc *mdoc, const char *fmt, ...) |
const char *fmt, ...) |
|
{ |
{ |
char buf[256]; |
char buf[256]; |
va_list ap; |
va_list ap; |
Line 358 mdoc_verr(struct mdoc *mdoc, int ln, int pos, |
|
Line 318 mdoc_verr(struct mdoc *mdoc, int ln, int pos, |
|
va_start(ap, fmt); |
va_start(ap, fmt); |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
va_end(ap); |
va_end(ap); |
return((*mdoc->cb.mdoc_err)(mdoc->data, ln, pos, buf)); |
return((*mdoc->cb.mdoc_err)(mdoc->data, mdoc->last->line, |
|
mdoc->last->pos, buf)); |
} |
} |
|
|
|
|
int |
int |
mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, |
mdoc_pwarn(struct mdoc *mdoc, int line, int pos, enum mdoc_warn type, |
enum mdoc_warn type, const char *fmt, ...) |
const char *fmt, ...) |
{ |
{ |
char buf[256]; |
char buf[256]; |
va_list ap; |
va_list ap; |
Line 375 mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, |
|
Line 336 mdoc_vwarn(struct mdoc *mdoc, int ln, int pos, |
|
va_start(ap, fmt); |
va_start(ap, fmt); |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
va_end(ap); |
va_end(ap); |
return((*mdoc->cb.mdoc_warn)(mdoc->data, ln, pos, type, buf)); |
return((*mdoc->cb.mdoc_warn)(mdoc->data, line, pos, type, buf)); |
} |
} |
|
|
|
int |
|
mdoc_perr(struct mdoc *mdoc, int line, int pos, const char *fmt, ...) |
|
{ |
|
char buf[256]; |
|
va_list ap; |
|
|
|
if (NULL == mdoc->cb.mdoc_err) |
|
return(0); |
|
|
|
va_start(ap, fmt); |
|
(void)vsnprintf(buf, sizeof(buf) - 1, fmt, ap); |
|
va_end(ap); |
|
return((*mdoc->cb.mdoc_err)(mdoc->data, line, pos, buf)); |
|
} |
|
|
|
|
int |
int |
mdoc_macro(struct mdoc *mdoc, int tok, |
mdoc_macro(struct mdoc *m, int tok, |
int ln, int ppos, int *pos, char *buf) |
int ln, int pp, int *pos, char *buf) |
{ |
{ |
|
|
assert(mdoc_macros[tok].fp); |
/* FIXME - these should happen during validation. */ |
|
|
if ( ! (MDOC_PROLOGUE & mdoc_macros[tok].flags) && |
if (MDOC_PROLOGUE & mdoc_macros[tok].flags && |
SEC_PROLOGUE == mdoc->sec_lastn) |
SEC_PROLOGUE != m->lastnamed) |
return(mdoc_perr(mdoc, ln, ppos, "macro disallowed in document prologue")); |
return(perr(m, ln, pp, EPROLBODY)); |
if (1 != ppos && ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) |
|
return(mdoc_perr(mdoc, ln, ppos, "macro not callable")); |
if ( ! (MDOC_PROLOGUE & mdoc_macros[tok].flags) && |
return((*mdoc_macros[tok].fp)(mdoc, tok, ln, ppos, pos, buf)); |
SEC_PROLOGUE == m->lastnamed) |
|
return(perr(m, ln, pp, EBODYPROL)); |
|
|
|
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 int |
static int |
mdoc_node_append(struct mdoc *mdoc, struct mdoc_node *p) |
perr(struct mdoc *m, int line, int pos, enum merr type) |
{ |
{ |
const char *nn, *nt, *on, *ot, *act; |
char *p; |
|
|
|
p = NULL; |
|
switch (type) { |
|
case (ENOCALL): |
|
p = "not callable"; |
|
break; |
|
case (EPROLBODY): |
|
p = "macro disallowed in document body"; |
|
break; |
|
case (EBODYPROL): |
|
p = "macro disallowed in document prologue"; |
|
break; |
|
case (EMALLOC): |
|
p = "memory exhausted"; |
|
break; |
|
case (ETEXTPROL): |
|
p = "text disallowed in document prologue"; |
|
break; |
|
case (ENOBLANK): |
|
p = "blank lines disallowed in non-literal contexts"; |
|
break; |
|
case (ESPACE): |
|
p = "whitespace disallowed after delimiter"; |
|
break; |
|
} |
|
assert(p); |
|
return(mdoc_perr(m, line, pos, p)); |
|
} |
|
|
|
|
|
static int |
|
node_append(struct mdoc *mdoc, struct mdoc_node *p) |
|
{ |
|
|
assert(mdoc->last); |
assert(mdoc->last); |
assert(mdoc->first); |
assert(mdoc->first); |
assert(MDOC_ROOT != p->type); |
assert(MDOC_ROOT != p->type); |
|
|
if (MDOC_TEXT == mdoc->last->type) |
|
on = "<text>"; |
|
else if (MDOC_ROOT == mdoc->last->type) |
|
on = "<root>"; |
|
else |
|
on = mdoc_macronames[mdoc->last->tok]; |
|
|
|
if (MDOC_TEXT == p->type) |
|
nn = "<text>"; |
|
else if (MDOC_ROOT == p->type) |
|
nn = "<root>"; |
|
else |
|
nn = mdoc_macronames[p->tok]; |
|
|
|
ot = mdoc_type2a(mdoc->last->type); |
|
nt = mdoc_type2a(p->type); |
|
|
|
switch (mdoc->next) { |
switch (mdoc->next) { |
case (MDOC_NEXT_SIBLING): |
case (MDOC_NEXT_SIBLING): |
mdoc->last->next = p; |
mdoc->last->next = p; |
p->prev = mdoc->last; |
p->prev = mdoc->last; |
p->parent = mdoc->last->parent; |
p->parent = mdoc->last->parent; |
act = "sibling"; |
|
break; |
break; |
case (MDOC_NEXT_CHILD): |
case (MDOC_NEXT_CHILD): |
mdoc->last->child = p; |
mdoc->last->child = p; |
p->parent = mdoc->last; |
p->parent = mdoc->last; |
act = "child"; |
|
break; |
break; |
default: |
default: |
abort(); |
abort(); |
Line 446 mdoc_node_append(struct mdoc *mdoc, struct mdoc_node * |
|
Line 442 mdoc_node_append(struct mdoc *mdoc, struct mdoc_node * |
|
switch (p->type) { |
switch (p->type) { |
case (MDOC_HEAD): |
case (MDOC_HEAD): |
assert(MDOC_BLOCK == p->parent->type); |
assert(MDOC_BLOCK == p->parent->type); |
p->parent->data.block.head = p; |
p->parent->head = p; |
break; |
break; |
case (MDOC_TAIL): |
case (MDOC_TAIL): |
assert(MDOC_BLOCK == p->parent->type); |
assert(MDOC_BLOCK == p->parent->type); |
p->parent->data.block.tail = p; |
p->parent->tail = p; |
break; |
break; |
case (MDOC_BODY): |
case (MDOC_BODY): |
assert(MDOC_BLOCK == p->parent->type); |
assert(MDOC_BLOCK == p->parent->type); |
p->parent->data.block.body = p; |
p->parent->body = p; |
break; |
break; |
default: |
default: |
break; |
break; |
} |
} |
|
|
mdoc->last = p; |
mdoc->last = p; |
mdoc_msg(mdoc, "parse: %s `%s' %s of %s `%s'", |
|
nt, nn, act, ot, on); |
switch (p->type) { |
|
case (MDOC_TEXT): |
|
if ( ! mdoc_valid_post(mdoc)) |
|
return(0); |
|
if ( ! mdoc_action_post(mdoc)) |
|
return(0); |
|
break; |
|
default: |
|
break; |
|
} |
|
|
return(1); |
return(1); |
} |
} |
|
|
|
|
int |
static struct mdoc_node * |
mdoc_tail_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
node_alloc(struct mdoc *mdoc, int line, |
|
int pos, int tok, enum mdoc_type type) |
{ |
{ |
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); |
|
return(NULL); |
|
} |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p->sec = mdoc->lastsec; |
|
|
p->line = line; |
p->line = line; |
p->pos = pos; |
p->pos = pos; |
p->type = MDOC_TAIL; |
|
p->tok = tok; |
p->tok = tok; |
|
if (MDOC_TEXT != (p->type = type)) |
|
assert(p->tok >= 0); |
|
|
return(mdoc_node_append(mdoc, p)); |
return(p); |
} |
} |
|
|
|
|
int |
int |
mdoc_head_alloc(struct mdoc *mdoc, int line, 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) |
|
return(0); |
p = xcalloc(1, sizeof(struct mdoc_node)); |
return(node_append(mdoc, p)); |
|
|
p->line = line; |
|
p->pos = pos; |
|
p->type = MDOC_HEAD; |
|
p->tok = tok; |
|
|
|
return(mdoc_node_append(mdoc, p)); |
|
} |
} |
|
|
|
|
int |
int |
mdoc_body_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
mdoc_head_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
assert(mdoc->first); |
assert(mdoc->first); |
assert(mdoc->last); |
assert(mdoc->last); |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p = node_alloc(mdoc, line, pos, tok, MDOC_HEAD); |
|
if (NULL == p) |
p->line = line; |
return(0); |
p->pos = pos; |
return(node_append(mdoc, p)); |
p->type = MDOC_BODY; |
|
p->tok = tok; |
|
|
|
return(mdoc_node_append(mdoc, p)); |
|
} |
} |
|
|
|
|
int |
int |
mdoc_root_alloc(struct mdoc *mdoc) |
mdoc_body_alloc(struct mdoc *mdoc, int line, int pos, int tok) |
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p = node_alloc(mdoc, line, pos, tok, MDOC_BODY); |
|
if (NULL == p) |
p->type = MDOC_ROOT; |
return(0); |
|
return(node_append(mdoc, p)); |
return(mdoc_node_append(mdoc, p)); |
|
} |
} |
|
|
|
|
int |
int |
mdoc_block_alloc(struct mdoc *mdoc, int line, int pos, |
mdoc_block_alloc(struct mdoc *mdoc, int line, int pos, |
int tok, size_t argsz, const struct mdoc_arg *args) |
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); |
|
if (NULL == p) |
p->pos = pos; |
return(0); |
p->line = line; |
p->args = args; |
p->type = MDOC_BLOCK; |
if (p->args) |
p->tok = tok; |
(args->refcnt)++; |
p->data.block.argc = argsz; |
return(node_append(mdoc, p)); |
p->data.block.argv = argdup(argsz, args); |
|
|
|
return(mdoc_node_append(mdoc, p)); |
|
} |
} |
|
|
|
|
int |
int |
mdoc_elem_alloc(struct mdoc *mdoc, int line, int pos, |
mdoc_elem_alloc(struct mdoc *mdoc, int line, int pos, |
int tok, size_t argsz, const struct mdoc_arg *args) |
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_ELEM); |
|
if (NULL == p) |
p->line = line; |
return(0); |
p->pos = pos; |
p->args = args; |
p->type = MDOC_ELEM; |
if (p->args) |
p->tok = tok; |
(args->refcnt)++; |
p->data.elem.argc = argsz; |
return(node_append(mdoc, p)); |
p->data.elem.argv = argdup(argsz, args); |
|
|
|
return(mdoc_node_append(mdoc, p)); |
|
} |
} |
|
|
|
|
Line 581 mdoc_word_alloc(struct mdoc *mdoc, |
|
Line 572 mdoc_word_alloc(struct mdoc *mdoc, |
|
{ |
{ |
struct mdoc_node *p; |
struct mdoc_node *p; |
|
|
p = xcalloc(1, sizeof(struct mdoc_node)); |
p = node_alloc(mdoc, line, pos, -1, MDOC_TEXT); |
p->line = line; |
if (NULL == p) |
p->pos = pos; |
return(0); |
p->type = MDOC_TEXT; |
if (NULL == (p->string = strdup(word))) { |
p->data.text.string = xstrdup(word); |
(void)verr(mdoc, EMALLOC); |
|
return(0); |
return(mdoc_node_append(mdoc, p)); |
} |
|
return(node_append(mdoc, p)); |
} |
} |
|
|
|
|
static void |
void |
argfree(size_t sz, struct mdoc_arg *p) |
mdoc_node_free(struct mdoc_node *p) |
{ |
{ |
int i, j; |
|
|
|
if (0 == sz) |
if (p->string) |
return; |
free(p->string); |
|
if (p->args) |
assert(p); |
mdoc_argv_free(p->args); |
/* LINTED */ |
|
for (i = 0; i < (int)sz; i++) |
|
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[i].value); |
|
} |
|
free(p); |
free(p); |
} |
} |
|
|
|
|
static void |
void |
mdoc_elem_free(struct mdoc_elem *p) |
mdoc_node_freelist(struct mdoc_node *p) |
{ |
{ |
|
|
argfree(p->argc, p->argv); |
if (p->child) |
|
mdoc_node_freelist(p->child); |
|
if (p->next) |
|
mdoc_node_freelist(p->next); |
|
|
|
mdoc_node_free(p); |
} |
} |
|
|
|
|
static void |
/* |
mdoc_block_free(struct mdoc_block *p) |
* 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) |
{ |
{ |
|
|
argfree(p->argc, p->argv); |
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)); |
|
|
static void |
if ( ! mdoc_word_alloc(m, line, 0, buf)) |
mdoc_text_free(struct mdoc_text *p) |
return(0); |
{ |
|
|
|
if (p->string) |
m->next = MDOC_NEXT_SIBLING; |
free(p->string); |
return(1); |
} |
} |
|
|
|
|
void |
static int |
mdoc_node_free(struct mdoc_node *p) |
macrowarn(struct mdoc *m, int ln, const char *buf) |
{ |
{ |
|
if ( ! (MDOC_IGN_MACRO & m->pflags)) |
switch (p->type) { |
return(mdoc_perr(m, ln, 1, |
case (MDOC_TEXT): |
"unknown macro: %s%s", |
mdoc_text_free(&p->data.text); |
buf, strlen(buf) > 3 ? "..." : "")); |
break; |
return(mdoc_pwarn(m, ln, 1, WARN_SYNTAX, |
case (MDOC_ELEM): |
"unknown macro: %s%s", |
mdoc_elem_free(&p->data.elem); |
buf, strlen(buf) > 3 ? "..." : "")); |
break; |
|
case (MDOC_BLOCK): |
|
mdoc_block_free(&p->data.block); |
|
break; |
|
default: |
|
break; |
|
} |
|
|
|
free(p); |
|
} |
} |
|
|
|
|
static void |
/* |
mdoc_node_freelist(struct mdoc_node *p) |
* Parse a macro line, that is, a line beginning with the control |
|
* character. |
|
*/ |
|
int |
|
parsemacro(struct mdoc *m, int ln, char *buf) |
{ |
{ |
|
int i, c; |
|
char mac[5]; |
|
|
if (p->child) |
/* Empty lines are ignored. */ |
mdoc_node_freelist(p->child); |
|
if (p->next) |
|
mdoc_node_freelist(p->next); |
|
|
|
mdoc_node_free(p); |
if (0 == buf[1]) |
} |
return(1); |
|
|
|
if (' ' == buf[1]) { |
|
i = 2; |
|
while (buf[i] && ' ' == buf[i]) |
|
i++; |
|
if (0 == buf[i]) |
|
return(1); |
|
return(perr(m, ln, 1, ESPACE)); |
|
} |
|
|
int |
/* Copy the first word into a nil-terminated buffer. */ |
mdoc_find(const struct mdoc *mdoc, const char *key) |
|
{ |
|
|
|
return(mdoc_tokhash_find(mdoc->htab, key)); |
for (i = 1; i < 5; i++) { |
} |
if (0 == (mac[i - 1] = buf[i])) |
|
break; |
|
else if (' ' == buf[i]) |
|
break; |
|
} |
|
|
|
mac[i - 1] = 0; |
|
|
static void |
if (i == 5 || i <= 2) { |
argcpy(struct mdoc_arg *dst, const struct mdoc_arg *src) |
if ( ! macrowarn(m, ln, mac)) |
{ |
goto err; |
int i; |
return(1); |
|
} |
|
|
|
if (MDOC_MAX == (c = mdoc_hash_find(m->htab, mac))) { |
|
if ( ! macrowarn(m, ln, mac)) |
|
goto err; |
|
return(1); |
|
} |
|
|
dst->line = src->line; |
/* The macro is sane. Jump to the next word. */ |
dst->pos = src->pos; |
|
dst->arg = src->arg; |
|
if (0 == (dst->sz = src->sz)) |
|
return; |
|
dst->value = xcalloc(dst->sz, sizeof(char *)); |
|
for (i = 0; i < (int)dst->sz; i++) |
|
dst->value[i] = xstrdup(src->value[i]); |
|
} |
|
|
|
|
while (buf[i] && ' ' == buf[i]) |
|
i++; |
|
|
static struct mdoc_arg * |
/* Begin recursive parse sequence. */ |
argdup(size_t argsz, const struct mdoc_arg *args) |
|
{ |
|
struct mdoc_arg *pp; |
|
int i; |
|
|
|
if (0 == argsz) |
if ( ! mdoc_macro(m, c, ln, 1, &i, buf)) |
return(NULL); |
goto err; |
|
|
pp = xcalloc((size_t)argsz, sizeof(struct mdoc_arg)); |
return(1); |
for (i = 0; i < (int)argsz; i++) |
|
argcpy(&pp[i], &args[i]); |
|
|
|
return(pp); |
err: /* Error out. */ |
} |
|
|
|
|
m->flags |= MDOC_HALT; |
|
return(0); |
|
} |