version 1.6, 2008/12/23 05:30:49 |
version 1.27, 2009/01/07 16:11:40 |
|
|
#include <stdlib.h> |
#include <stdlib.h> |
#include <stdio.h> |
#include <stdio.h> |
#include <string.h> |
#include <string.h> |
|
#ifdef __linux__ |
|
#include <time.h> |
|
#endif |
|
|
#include "private.h" |
#include "private.h" |
|
|
#define _CC(p) ((const char **)p) |
/* FIXME: maxlineargs should be per LINE, no per TOKEN. */ |
|
|
static int scope_rewind_exp(struct mdoc *, int, int, int); |
static int rewind_elem(struct mdoc *, int, int); |
static int append_text(struct mdoc *, int, |
static int rewind_impblock(struct mdoc *, int, int); |
int, int, char *[]); |
static int rewind_expblock(struct mdoc *, int, int, int); |
static int append_scoped(struct mdoc *, int, int, int, |
static int rewind_head(struct mdoc *, int, int); |
const char *[], int, const struct mdoc_arg *); |
static int rewind_body(struct mdoc *, int, int, int); |
static int args_next(struct mdoc *, int, |
static int rewind_last(struct mdoc *, int, struct mdoc_node *); |
int *, char *, char **); |
static int append_delims(struct mdoc *, |
static int argv_next(struct mdoc *, int, |
int, int, int *, char *); |
int *, char *, struct mdoc_arg *); |
static int lookup(struct mdoc *, int, const char *); |
static int args_next_quoted(struct mdoc *, int, |
|
int *, char *, char **); |
|
|
|
|
|
static int |
static int |
args_next_quoted(struct mdoc *mdoc, int tok, |
lookup(struct mdoc *mdoc, int from, const char *p) |
int *pos, char *buf, char **v) |
|
{ |
{ |
|
|
if (0 == buf[*pos]) |
if ( ! (MDOC_PARSED & mdoc_macros[from].flags)) |
return(0); |
return(MDOC_MAX); |
|
return(mdoc_find(mdoc, p)); |
|
} |
|
|
assert( ! isspace(buf[*pos])); |
|
|
|
if ('\"' != buf[*pos]) |
static int |
return(args_next(mdoc, tok, pos, buf, v)); |
rewind_last(struct mdoc *mdoc, int ppos, struct mdoc_node *to) |
|
{ |
|
|
*v = &buf[++(*pos)]; |
assert(to); |
|
while (mdoc->last != to) { |
while (buf[*pos] && '\"' != buf[*pos]) |
if ( ! mdoc_valid_post(mdoc, ppos)) |
(*pos)++; |
return(0); |
|
if ( ! mdoc_action(mdoc, ppos)) |
if (0 == buf[*pos]) { |
return(0); |
(void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_UNQUOTE); |
mdoc->last = mdoc->last->parent; |
return(-1); |
assert(mdoc->last); |
} |
} |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
if ( ! mdoc_valid_post(mdoc, ppos)) |
|
return(0); |
|
return(mdoc_action(mdoc, ppos)); |
|
} |
|
|
buf[(*pos)++] = 0; |
|
if (0 == buf[*pos]) |
|
return(1); |
|
|
|
while (buf[*pos] && isspace(buf[*pos])) |
static int |
(*pos)++; |
rewind_elem(struct mdoc *mdoc, int ppos, int tok) |
|
{ |
|
struct mdoc_node *n; |
|
|
if (0 == buf[*pos]) |
n = mdoc->last; |
if ( ! mdoc_warn(mdoc, tok, *pos, WARN_SYNTAX_WS_EOLN)) |
if (MDOC_ELEM != n->type) |
return(-1); |
n = n->parent; |
|
assert(MDOC_ELEM == n->type); |
|
assert(tok == n->data.elem.tok); |
|
|
return(1); |
return(rewind_last(mdoc, ppos, n)); |
} |
} |
|
|
|
|
static int |
static int |
scope_rewind_exp(struct mdoc *mdoc, int ppos, int tok, int dst) |
rewind_body(struct mdoc *mdoc, int ppos, int tok, int tt) |
{ |
{ |
struct mdoc_node *n; |
struct mdoc_node *n; |
|
int t; |
|
|
/* LINTED */ |
/* LINTED */ |
for (n = mdoc->last; n; n = n->parent) { |
for (n = mdoc->last; n; n = n->parent) { |
if (MDOC_BLOCK != n->type) |
if (MDOC_BODY != n->type) |
continue; |
continue; |
if (dst == n->data.block.tok) |
if (tt == (t = n->data.head.tok)) |
break; |
break; |
|
if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags)) |
|
continue; |
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
} |
} |
|
|
if (NULL == (mdoc->last = n)) |
assert(n); |
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_NOCTX)); |
return(rewind_last(mdoc, ppos, n)); |
|
|
mdoc_msg(mdoc, ppos, "scope: rewound `%s' to `%s'", |
|
mdoc_macronames[tok], mdoc_macronames[dst]); |
|
|
|
return(1); |
|
} |
} |
|
|
|
|
static int |
static int |
argv_next(struct mdoc *mdoc, int tok, |
rewind_head(struct mdoc *mdoc, int ppos, int tok) |
int *pos, char *buf, struct mdoc_arg *v) |
|
{ |
{ |
char *argv; |
struct mdoc_node *n; |
int i, val; |
int t; |
|
|
if (0 == buf[*pos]) |
/* LINTED */ |
return(0); |
for (n = mdoc->last; n; n = n->parent) { |
|
if (MDOC_HEAD != n->type) |
assert( ! isspace(buf[*pos])); |
continue; |
|
if (tok == (t = n->data.head.tok)) |
if ('-' != buf[*pos]) { |
break; |
(void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_ARGS); |
if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags)) |
return(-1); |
continue; |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
} |
} |
|
|
i = *pos; |
assert(n); |
argv = &buf[++(*pos)]; |
return(rewind_last(mdoc, ppos, n)); |
|
} |
|
|
while (buf[*pos] && ! isspace(buf[*pos])) |
|
(*pos)++; |
|
|
|
if (buf[*pos]) |
static int |
buf[(*pos)++] = 0; |
rewind_expblock(struct mdoc *mdoc, int ppos, int tok, int tt) |
|
{ |
|
struct mdoc_node *n; |
|
int t; |
|
|
/* |
assert(mdoc->last); |
* XXX This is a little bit ugly. The mdoc_argv structure |
|
* points to a pointer array, which we allocate on-the-fly in |
|
* this function. If there's any failure, we need to release |
|
* this memory, which is done by the caller of this function |
|
* with mdoc_argv_free. Ew. This should be simpler. |
|
*/ |
|
|
|
if (MDOC_ARG_MAX == (val = mdoc_argv_lookup(tok, argv))) { |
/* LINTED */ |
(void)mdoc_err(mdoc, tok, i, ERR_SYNTAX_BADARG); |
for (n = mdoc->last->parent; n; n = n->parent) { |
return(-1); |
if (MDOC_BLOCK != n->type) |
|
continue; |
|
if (tt == (t = n->data.block.tok)) |
|
break; |
|
if (MDOC_NESTED & mdoc_macros[t].flags) |
|
continue; |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
} |
} |
|
|
while (buf[*pos] && isspace(buf[*pos])) |
if (NULL == n) |
(*pos)++; |
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_NOCTX)); |
|
return(rewind_last(mdoc, ppos, n)); |
if ( ! mdoc_argv_parse(mdoc, tok, val, v, pos, buf)) |
|
return(-1); |
|
|
|
return(1); |
|
} |
} |
|
|
|
|
static int |
static int |
args_next(struct mdoc *mdoc, int tok, |
rewind_impblock(struct mdoc *mdoc, int ppos, int tok) |
int *pos, char *buf, char **v) |
|
{ |
{ |
|
struct mdoc_node *n; |
|
int t; |
|
|
if (0 == buf[*pos]) |
n = mdoc->last ? mdoc->last->parent : NULL; |
return(0); |
|
|
|
assert( ! isspace(buf[*pos])); |
/* LINTED */ |
|
for ( ; n; n = n->parent) { |
if ('\"' == buf[*pos]) { |
if (MDOC_BLOCK != n->type) |
(void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_QUOTE); |
continue; |
return(-1); |
if (tok == (t = n->data.block.tok)) |
|
break; |
|
if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags)) |
|
continue; |
|
if (MDOC_NESTED & mdoc_macros[tok].flags) |
|
return(1); |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
} |
} |
|
|
*v = &buf[*pos]; |
if (NULL == n) |
|
return(1); |
|
return(rewind_last(mdoc, ppos, n)); |
|
} |
|
|
/* Scan ahead to end of token. */ |
|
|
|
while (buf[*pos] && ! isspace(buf[*pos])) |
static int |
(*pos)++; |
append_delims(struct mdoc *mdoc, int tok, |
|
int line, int *pos, char *buf) |
|
{ |
|
int c, lastarg; |
|
char *p; |
|
|
if (buf[*pos] && buf[*pos + 1] && '\\' == buf[*pos]) { |
|
(void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_WS); |
|
return(-1); |
|
} |
|
|
|
if (0 == buf[*pos]) |
if (0 == buf[*pos]) |
return(1); |
return(1); |
|
|
/* Scan ahead over trailing whitespace. */ |
for (;;) { |
|
lastarg = *pos; |
|
c = mdoc_args(mdoc, tok, pos, buf, 0, &p); |
|
if (ARGS_ERROR == c) |
|
return(0); |
|
else if (ARGS_EOLN == c) |
|
break; |
|
assert(mdoc_isdelim(p)); |
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
} |
|
|
buf[(*pos)++] = 0; |
|
while (buf[*pos] && isspace(buf[*pos])) |
|
(*pos)++; |
|
|
|
if (0 == buf[*pos]) |
|
if ( ! mdoc_warn(mdoc, tok, *pos, WARN_SYNTAX_WS_EOLN)) |
|
return(-1); |
|
|
|
return(1); |
return(1); |
} |
} |
|
|
|
|
static int |
/* ARGSUSED */ |
append_scoped(struct mdoc *mdoc, int tok, int pos, |
int |
int sz, const char *args[], |
macro_close_explicit(MACRO_PROT_ARGS) |
int argc, const struct mdoc_arg *argv) |
|
{ |
{ |
enum mdoc_sec sec; |
int tt, j, c, lastarg, maxargs, flushed; |
|
char *p; |
|
|
switch (tok) { |
switch (tok) { |
/* ======= ADD MORE MACRO CHECKS BELOW. ======= */ |
case (MDOC_Ac): |
case (MDOC_Sh): |
tt = MDOC_Ao; |
if (0 == sz) |
|
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_GE1)); |
|
|
|
sec = mdoc_atosec((size_t)sz, _CC(args)); |
|
if (SEC_CUSTOM != sec && sec < mdoc->sec_lastn) |
|
if ( ! mdoc_warn(mdoc, tok, pos, WARN_SEC_OO)) |
|
return(0); |
|
|
|
if (SEC_BODY == mdoc->sec_last && SEC_NAME != sec) |
|
return(mdoc_err(mdoc, tok, pos, ERR_SEC_NAME)); |
|
|
|
if (SEC_CUSTOM != sec) |
|
mdoc->sec_lastn = sec; |
|
mdoc->sec_last = sec; |
|
break; |
break; |
|
case (MDOC_Bc): |
case (MDOC_Ss): |
tt = MDOC_Bo; |
if (0 == sz) |
|
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_GE1)); |
|
break; |
break; |
|
case (MDOC_Dc): |
case (MDOC_Bl): |
tt = MDOC_Do; |
break; |
break; |
|
case (MDOC_Ec): |
/* ======= ADD MORE MACRO CHECKS ABOVE. ======= */ |
tt = MDOC_Eo; |
|
break; |
|
case (MDOC_Ed): |
|
tt = MDOC_Bd; |
|
break; |
|
case (MDOC_Ef): |
|
tt = MDOC_Bf; |
|
break; |
|
case (MDOC_Ek): |
|
tt = MDOC_Bk; |
|
break; |
|
case (MDOC_El): |
|
tt = MDOC_Bl; |
|
break; |
|
case (MDOC_Fc): |
|
tt = MDOC_Fo; |
|
break; |
|
case (MDOC_Oc): |
|
tt = MDOC_Oo; |
|
break; |
|
case (MDOC_Pc): |
|
tt = MDOC_Po; |
|
break; |
|
case (MDOC_Qc): |
|
tt = MDOC_Qo; |
|
break; |
|
case (MDOC_Re): |
|
tt = MDOC_Rs; |
|
break; |
|
case (MDOC_Sc): |
|
tt = MDOC_So; |
|
break; |
|
case (MDOC_Xc): |
|
tt = MDOC_Xo; |
|
break; |
default: |
default: |
abort(); |
abort(); |
/* NOTREACHED */ |
/* NOTREACHED */ |
} |
} |
|
|
mdoc_block_alloc(mdoc, pos, tok, (size_t)argc, argv); |
switch (tok) { |
mdoc_head_alloc(mdoc, pos, tok, (size_t)sz, _CC(args)); |
case (MDOC_Ec): |
mdoc_body_alloc(mdoc, pos, tok); |
maxargs = 1; |
return(1); |
break; |
} |
default: |
|
maxargs = 0; |
|
break; |
|
} |
|
|
|
if ( ! (MDOC_CALLABLE & mdoc_macros[tok].flags)) { |
|
if ( ! rewind_expblock(mdoc, ppos, tok, tt)) |
|
return(0); |
|
if (0 != buf[*pos]) |
|
return(mdoc_err(mdoc, tok, *pos, ERR_ARGS_EQ0)); |
|
return(1); |
|
} |
|
|
static int |
if ( ! rewind_body(mdoc, ppos, tok, tt)) |
append_text(struct mdoc *mdoc, int tok, |
return(0); |
int pos, int sz, char *args[]) |
|
{ |
|
|
|
assert(sz >= 0); |
lastarg = ppos; |
args[sz] = NULL; |
flushed = 0; |
|
|
switch (tok) { |
if (maxargs > 0) { |
/* ======= ADD MORE MACRO CHECKS BELOW. ======= */ |
mdoc_tail_alloc(mdoc, line, ppos, tt); |
case (MDOC_Ft): |
mdoc->next = MDOC_NEXT_CHILD; |
/* FALLTHROUGH */ |
} |
case (MDOC_Li): |
|
/* FALLTHROUGH */ |
for (j = 0; j < MDOC_LINEARG_MAX; j++) { |
case (MDOC_Ms): |
lastarg = *pos; |
/* FALLTHROUGH */ |
|
case (MDOC_Pa): |
if (j == maxargs && ! flushed) { |
/* FALLTHROUGH */ |
if ( ! rewind_expblock(mdoc, ppos, tok, tt)) |
case (MDOC_Tn): |
return(0); |
if (0 < sz) |
flushed = 1; |
break; |
} |
if ( ! mdoc_warn(mdoc, tok, pos, WARN_ARGS_GE1)) |
|
|
c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p); |
|
if (ARGS_ERROR == c) |
return(0); |
return(0); |
break; |
if (ARGS_PUNCT == c) |
case (MDOC_Ar): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Cm): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Fl): |
|
break; |
|
case (MDOC_Ad): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Em): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Er): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Ev): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Fa): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Dv): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Ic): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Va): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Vt): |
|
if (0 < sz) |
|
break; |
break; |
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_GE1)); |
if (ARGS_EOLN == c) |
/* ======= ADD MORE MACRO CHECKS ABOVE. ======= */ |
break; |
default: |
|
abort(); |
if (MDOC_MAX != (c = lookup(mdoc, tok, p))) { |
/* NOTREACHED */ |
if ( ! flushed) { |
|
if ( ! rewind_expblock(mdoc, ppos, tok, tt)) |
|
return(0); |
|
flushed = 1; |
|
} |
|
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
|
return(0); |
|
break; |
|
} |
|
|
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
} |
} |
|
|
mdoc_elem_alloc(mdoc, pos, tok, 0, |
if (MDOC_LINEARG_MAX == j) |
NULL, (size_t)sz, _CC(args)); |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
return(1); |
|
|
if ( ! flushed) |
|
if ( ! rewind_expblock(mdoc, ppos, tok, tt)) |
|
return(0); |
|
|
|
if (ppos > 1) |
|
return(1); |
|
return(append_delims(mdoc, tok, line, pos, buf)); |
} |
} |
|
|
|
|
|
/* |
|
* A general text domain macro. When invoked, this opens a scope that |
|
* accepts words until either end-of-line, only-punctuation, or a |
|
* callable macro. If the word is punctuation (not only-punctuation), |
|
* then the scope is closed out, the punctuation appended, then the |
|
* scope opened again. If any terminating conditions are met, the scope |
|
* is closed out. If this is the first macro in the line and |
|
* only-punctuation remains, this punctuation is flushed. |
|
*/ |
int |
int |
macro_text(MACRO_PROT_ARGS) |
macro_text(MACRO_PROT_ARGS) |
{ |
{ |
int lastarg, c, lasttok, lastpunct, j; |
int lastarg, lastpunct, c, sz, fl, argc; |
char *args[MDOC_LINEARG_MAX], *p; |
struct mdoc_arg argv[MDOC_LINEARG_MAX]; |
|
char *p; |
|
|
lasttok = ppos; |
lastarg = ppos; |
lastpunct = 0; |
lastpunct = 0; |
j = 0; |
|
|
|
if (SEC_PROLOGUE == mdoc->sec_lastn) |
for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE)); |
lastarg = *pos; |
|
|
again: |
c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf); |
lastarg = *pos; |
if (ARGV_EOLN == c || ARGV_WORD == c) |
|
break; |
if (j == MDOC_LINEARG_MAX) |
else if (ARGV_ARG == c) |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
continue; |
c = args_next(mdoc, tok, pos, buf, &args[j]); |
mdoc_argv_free(argc, argv); |
|
|
if (-1 == c) |
|
return(0); |
return(0); |
if (0 == c && ! lastpunct) |
} |
return(append_text(mdoc, tok, lasttok, j, args)); |
|
else if (0 == c) |
|
return(1); |
|
|
|
/* Command found. */ |
if ( ! mdoc_valid_pre(mdoc, tok, ppos, argc, argv)) { |
|
mdoc_argv_free(argc, argv); |
if (MDOC_MAX != (c = mdoc_find(mdoc, args[j]))) { |
return(0); |
if ( ! lastpunct) |
|
if ( ! append_text(mdoc, tok, lasttok, j, args)) |
|
return(0); |
|
return(mdoc_macro(mdoc, c, lastarg, pos, buf)); |
|
} |
} |
|
|
/* Word found. */ |
fl = ARGS_DELIM; |
|
if (MDOC_QUOTABLE & mdoc_macros[tok].flags) |
|
fl |= ARGS_QUOTED; |
|
|
if ( ! mdoc_isdelim(args[j])) { |
mdoc_elem_alloc(mdoc, line, lastarg, tok, argc, argv); |
j++; |
mdoc->next = MDOC_NEXT_CHILD; |
goto again; |
|
} |
|
|
|
/* Punctuation found. */ |
for (lastpunct = sz = 0; sz + argc < MDOC_LINEARG_MAX; sz++) { |
|
lastarg = *pos; |
|
|
p = args[j]; /* Save argument (NULL-ified in append). */ |
if (lastpunct) { |
|
mdoc_elem_alloc(mdoc, line, lastarg, tok, argc, argv); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
lastpunct = 0; |
|
} |
|
|
if ( ! lastpunct) |
c = mdoc_args(mdoc, tok, pos, buf, fl, &p); |
if ( ! append_text(mdoc, tok, lasttok, j, args)) |
if (ARGS_ERROR == c) { |
|
mdoc_argv_free(argc, argv); |
return(0); |
return(0); |
|
} |
|
|
args[j] = p; |
if (ARGS_EOLN == c) |
|
break; |
|
if (ARGS_PUNCT == c) |
|
break; |
|
|
mdoc_word_alloc(mdoc, lastarg, args[j]); |
if (MDOC_MAX != (c = lookup(mdoc, tok, p))) { |
lastpunct = 1; |
if ( ! rewind_elem(mdoc, ppos, tok)) { |
j = 0; |
mdoc_argv_free(argc, argv); |
|
return(0); |
|
} |
|
mdoc_argv_free(argc, argv); |
|
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
|
return(0); |
|
if (ppos > 1) |
|
return(1); |
|
return(append_delims(mdoc, tok, line, pos, buf)); |
|
} |
|
|
goto again; |
if (mdoc_isdelim(p)) { |
|
if ( ! rewind_elem(mdoc, ppos, tok)) { |
|
mdoc_argv_free(argc, argv); |
|
return(0); |
|
} |
|
lastpunct = 1; |
|
} |
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
} |
|
|
/* NOTREACHED */ |
mdoc_argv_free(argc, argv); |
|
|
|
if (sz == MDOC_LINEARG_MAX) |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
|
|
|
if ( ! rewind_elem(mdoc, ppos, tok)) |
|
return(0); |
|
if (ppos > 1) |
|
return(1); |
|
return(append_delims(mdoc, tok, line, pos, buf)); |
} |
} |
|
|
|
|
|
/* |
|
* Multi-line-scoped macro. |
|
*/ |
int |
int |
macro_prologue_dtitle(MACRO_PROT_ARGS) |
macro_scoped(MACRO_PROT_ARGS) |
{ |
{ |
int c, lastarg, j; |
int c, lastarg, argc, j; |
char *args[MDOC_LINEARG_MAX]; |
struct mdoc_arg argv[MDOC_LINEARG_MAX]; |
|
char *p; |
|
|
if (SEC_PROLOGUE != mdoc->sec_lastn) |
assert ( ! (MDOC_CALLABLE & mdoc_macros[tok].flags)); |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_NPROLOGUE)); |
|
if (0 == mdoc->meta.date) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_OO)); |
|
if (mdoc->meta.title[0]) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_REP)); |
|
|
|
j = -1; |
if ( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags)) |
|
if ( ! rewind_impblock(mdoc, ppos, tok)) |
|
return(0); |
|
|
again: |
lastarg = ppos; |
lastarg = *pos; |
|
|
|
if (j == MDOC_LINEARG_MAX) |
for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
lastarg = *pos; |
c = args_next(mdoc, tok, pos, buf, &args[++j]); |
c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf); |
|
if (ARGV_EOLN == c || ARGV_WORD == c) |
|
break; |
|
else if (ARGV_ARG == c) |
|
continue; |
|
mdoc_argv_free(argc, argv); |
|
return(0); |
|
} |
|
|
if (0 == c) { |
if ( ! mdoc_valid_pre(mdoc, tok, ppos, argc, argv)) { |
if (mdoc->meta.title) |
mdoc_argv_free(argc, argv); |
return(1); |
return(0); |
if ( ! mdoc_warn(mdoc, tok, ppos, WARN_ARGS_GE1)) |
} |
|
|
|
mdoc_block_alloc(mdoc, line, ppos, tok, (size_t)argc, argv); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
|
mdoc_argv_free(argc, argv); |
|
|
|
if (0 == buf[*pos]) { |
|
mdoc_head_alloc(mdoc, line, ppos, tok); |
|
if ( ! rewind_head(mdoc, ppos, tok)) |
return(0); |
return(0); |
(void)xstrlcpy(mdoc->meta.title, |
mdoc_body_alloc(mdoc, line, ppos, tok); |
"UNTITLED", META_TITLE_SZ); |
mdoc->next = MDOC_NEXT_CHILD; |
return(1); |
return(1); |
} else if (-1 == c) |
} |
return(0); |
|
|
|
if (MDOC_MAX != mdoc_find(mdoc, args[j]) && ! mdoc_warn |
|
(mdoc, tok, lastarg, WARN_SYNTAX_MACLIKE)) |
|
return(0); |
|
|
|
if (0 == j) { |
mdoc_head_alloc(mdoc, line, ppos, tok); |
if (xstrlcpy(mdoc->meta.title, args[0], META_TITLE_SZ)) |
mdoc->next = MDOC_NEXT_CHILD; |
goto again; |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
|
|
|
} else if (1 == j) { |
for (j = 0; j < MDOC_LINEARG_MAX; j++) { |
mdoc->meta.msec = mdoc_atomsec(args[1]); |
lastarg = *pos; |
if (MSEC_DEFAULT != mdoc->meta.msec) |
c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p); |
goto again; |
|
return(mdoc_err(mdoc, tok, -1, ERR_SYNTAX_ARGS)); |
if (ARGS_ERROR == c) |
|
return(0); |
|
if (ARGS_PUNCT == c) |
|
break; |
|
if (ARGS_EOLN == c) |
|
break; |
|
|
|
if (MDOC_MAX == (c = lookup(mdoc, tok, p))) { |
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
continue; |
|
} |
|
|
} else if (2 == j) { |
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
mdoc->meta.vol = mdoc_atovol(args[2]); |
return(0); |
if (VOL_DEFAULT != mdoc->meta.vol) |
break; |
goto again; |
|
mdoc->meta.arch = mdoc_atoarch(args[2]); |
|
if (ARCH_DEFAULT != mdoc->meta.arch) |
|
goto again; |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
|
} |
} |
|
|
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
if (j == MDOC_LINEARG_MAX) |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
|
|
|
if ( ! rewind_head(mdoc, ppos, tok)) |
|
return(0); |
|
if (1 == ppos && ! append_delims(mdoc, tok, line, pos, buf)) |
|
return(0); |
|
|
|
mdoc_body_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
|
return(1); |
} |
} |
|
|
|
|
|
/* |
|
* When scoped to a line, a macro encompasses all of the contents. This |
|
* differs from constants or text macros, where a new macro will |
|
* terminate the existing context. |
|
*/ |
int |
int |
macro_prologue_os(MACRO_PROT_ARGS) |
macro_scoped_line(MACRO_PROT_ARGS) |
{ |
{ |
int c, lastarg, j; |
int lastarg, c, j; |
char *args[MDOC_LINEARG_MAX]; |
char *p; |
|
|
if (SEC_PROLOGUE != mdoc->sec_lastn) |
mdoc_block_alloc(mdoc, line, ppos, tok, 0, NULL); |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_NPROLOGUE)); |
mdoc->next = MDOC_NEXT_CHILD; |
if (0 == mdoc->meta.title[0]) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_OO)); |
|
if (mdoc->meta.os[0]) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_REP)); |
|
|
|
j = -1; |
mdoc_head_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
again: |
/* XXX - no known argument macros. */ |
lastarg = *pos; |
|
|
|
|
if ( ! mdoc_valid_pre(mdoc, tok, ppos, 0, NULL)) |
|
return(0); |
|
|
|
/* Process line parameters. */ |
|
|
|
for (lastarg = ppos, j = 0; j < MDOC_LINEARG_MAX; j++) { |
|
lastarg = *pos; |
|
c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p); |
|
|
|
if (ARGS_ERROR == c) |
|
return(0); |
|
if (ARGS_PUNCT == c) |
|
break; |
|
if (ARGS_EOLN == c) |
|
break; |
|
|
|
if (MDOC_MAX == (c = lookup(mdoc, tok, p))) { |
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
continue; |
|
} |
|
|
|
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
|
return(0); |
|
break; |
|
} |
|
|
if (j == MDOC_LINEARG_MAX) |
if (j == MDOC_LINEARG_MAX) |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
c = args_next_quoted(mdoc, tok, pos, buf, &args[++j]); |
|
|
|
if (0 == c) { |
if (1 == ppos) { |
mdoc->sec_lastn = mdoc->sec_last = SEC_BODY; |
if ( ! rewind_head(mdoc, ppos, tok)) |
return(1); |
return(0); |
} else if (-1 == c) |
if ( ! append_delims(mdoc, tok, line, pos, buf)) |
return(0); |
return(0); |
|
} |
if ( ! xstrlcat(mdoc->meta.os, args[j], sizeof(mdoc->meta.os))) |
return(rewind_impblock(mdoc, ppos, tok)); |
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
|
if ( ! xstrlcat(mdoc->meta.os, " ", sizeof(mdoc->meta.os))) |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
|
|
|
goto again; |
|
/* NOTREACHED */ |
|
} |
} |
|
|
|
|
int |
int |
macro_prologue_ddate(MACRO_PROT_ARGS) |
macro_constant_scoped(MACRO_PROT_ARGS) |
{ |
{ |
int c, lastarg, j; |
int lastarg, flushed, j, c, maxargs; |
char *args[MDOC_LINEARG_MAX], date[64]; |
char *p; |
|
|
if (SEC_PROLOGUE != mdoc->sec_lastn) |
lastarg = ppos; |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_NPROLOGUE)); |
flushed = 0; |
if (mdoc->meta.title[0]) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_OO)); |
|
if (mdoc->meta.date) |
|
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE_REP)); |
|
|
|
j = -1; |
switch (tok) { |
date[0] = 0; |
case (MDOC_Eo): |
|
maxargs = 1; |
|
break; |
|
default: |
|
maxargs = 0; |
|
break; |
|
} |
|
|
again: |
if ( ! mdoc_valid_pre(mdoc, tok, ppos, 0, NULL)) |
lastarg = *pos; |
return(0); |
|
|
if (j == MDOC_LINEARG_MAX) |
mdoc_block_alloc(mdoc, line, ppos, tok, 0, NULL); |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
mdoc->next = MDOC_NEXT_CHILD; |
c = args_next(mdoc, tok, pos, buf, &args[++j]); |
|
|
|
if (0 == c) { |
if (0 == maxargs) { |
if (mdoc->meta.date) |
mdoc_head_alloc(mdoc, line, ppos, tok); |
return(1); |
if ( ! rewind_head(mdoc, ppos, tok)) |
mdoc->meta.date = mdoc_atotime(date); |
return(0); |
if (mdoc->meta.date) |
mdoc_body_alloc(mdoc, line, ppos, tok); |
return(1); |
flushed = 1; |
return(mdoc_err(mdoc, tok, ppos, ERR_SYNTAX_ARGS)); |
} else |
} else if (-1 == c) |
mdoc_head_alloc(mdoc, line, ppos, tok); |
return(0); |
|
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
|
for (j = 0; j < MDOC_LINEARG_MAX; j++) { |
|
lastarg = *pos; |
|
|
|
if (j == maxargs && ! flushed) { |
|
if ( ! rewind_head(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
mdoc_body_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
} |
|
|
|
c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p); |
|
if (ARGS_ERROR == c) |
|
return(0); |
|
if (ARGS_PUNCT == c) |
|
break; |
|
if (ARGS_EOLN == c) |
|
break; |
|
|
|
if (MDOC_MAX != (c = lookup(mdoc, tok, p))) { |
|
if ( ! flushed) { |
|
if ( ! rewind_head(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
mdoc_body_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
} |
|
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
|
return(0); |
|
break; |
|
} |
|
|
|
if ( ! flushed && mdoc_isdelim(p)) { |
|
if ( ! rewind_head(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
mdoc_body_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
} |
|
|
if (MDOC_MAX != mdoc_find(mdoc, args[j]) && ! mdoc_warn |
mdoc_word_alloc(mdoc, line, lastarg, p); |
(mdoc, tok, lastarg, WARN_SYNTAX_MACLIKE)) |
mdoc->next = MDOC_NEXT_SIBLING; |
return(0); |
} |
|
|
if (0 == j) { |
|
if (xstrcmp("$Mdocdate$", args[j])) { |
|
mdoc->meta.date = time(NULL); |
|
goto again; |
|
} else if (xstrcmp("$Mdocdate:", args[j])) |
|
goto again; |
|
} else if (4 == j) |
|
if ( ! xstrcmp("$", args[j])) |
|
goto again; |
|
|
|
if ( ! xstrlcat(date, args[j], sizeof(date))) |
if (MDOC_LINEARG_MAX == j) |
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
if ( ! xstrlcat(date, " ", sizeof(date))) |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_SYNTAX_ARGS)); |
|
|
|
goto again; |
if ( ! flushed) { |
/* NOTREACHED */ |
if ( ! rewind_head(mdoc, ppos, tok)) |
|
return(0); |
|
mdoc_body_alloc(mdoc, line, ppos, tok); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
} |
|
|
|
if (ppos > 1) |
|
return(1); |
|
return(append_delims(mdoc, tok, line, pos, buf)); |
} |
} |
|
|
|
|
|
/* |
|
* Delimited macros are like text macros except that, should punctuation |
|
* be encountered, the macro isn't re-started with remaining tokens |
|
* (it's only emitted once). Delimited macros can have a maximum number |
|
* of arguments. |
|
*/ |
int |
int |
macro_scoped_explicit(MACRO_PROT_ARGS) |
macro_constant_delimited(MACRO_PROT_ARGS) |
{ |
{ |
int c, lastarg, j; |
int lastarg, flushed, j, c, maxargs, argc; |
struct mdoc_arg argv[MDOC_LINEARG_MAX]; |
struct mdoc_arg argv[MDOC_LINEARG_MAX]; |
|
char *p; |
|
|
if (SEC_PROLOGUE == mdoc->sec_lastn) |
lastarg = ppos; |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE)); |
flushed = 0; |
|
|
/* |
|
* First close out the explicit scope. The `end' tags (such as |
|
* `.El' to `.Bl' don't cause anything to happen: we merely |
|
* readjust our last parse point. |
|
*/ |
|
|
|
switch (tok) { |
switch (tok) { |
case (MDOC_El): |
case (MDOC_No): |
return(scope_rewind_exp(mdoc, ppos, tok, MDOC_Bl)); |
/* FALLTHROUGH */ |
|
case (MDOC_Ns): |
|
/* FALLTHROUGH */ |
|
case (MDOC_Ux): |
|
/* FALLTHROUGH */ |
|
case (MDOC_St): |
|
maxargs = 0; |
|
break; |
default: |
default: |
|
maxargs = 1; |
break; |
break; |
} |
} |
|
|
assert(MDOC_EXPLICIT & mdoc_macros[tok].flags); |
for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { |
|
lastarg = *pos; |
|
c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf); |
|
if (ARGV_EOLN == c || ARGV_WORD == c) |
|
break; |
|
else if (ARGV_ARG == c) |
|
continue; |
|
mdoc_argv_free(argc, argv); |
|
return(0); |
|
} |
|
|
lastarg = *pos; |
if ( ! mdoc_valid_pre(mdoc, tok, ppos, argc, argv)) { |
|
mdoc_argv_free(argc, argv); |
|
return(0); |
|
} |
|
|
|
mdoc_elem_alloc(mdoc, line, lastarg, tok, argc, argv); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
|
mdoc_argv_free(argc, argv); |
|
|
for (j = 0; j < MDOC_LINEARG_MAX; j++) { |
for (j = 0; j < MDOC_LINEARG_MAX; j++) { |
lastarg = *pos; |
lastarg = *pos; |
c = argv_next(mdoc, tok, pos, buf, &argv[j]); |
|
if (0 == c) |
if (j == maxargs && ! flushed) { |
|
if ( ! rewind_elem(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
} |
|
|
|
c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p); |
|
if (ARGS_ERROR == c) |
|
return(0); |
|
if (ARGS_PUNCT == c) |
break; |
break; |
else if (1 == c) |
if (ARGS_EOLN == c) |
continue; |
break; |
|
|
mdoc_argv_free(j, argv); |
if (MDOC_MAX != (c = lookup(mdoc, tok, p))) { |
return(0); |
if ( ! flushed && ! rewind_elem(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
if ( ! mdoc_macro(mdoc, c, line, lastarg, pos, buf)) |
|
return(0); |
|
break; |
|
} |
|
|
|
if ( ! flushed && mdoc_isdelim(p)) { |
|
if ( ! rewind_elem(mdoc, ppos, tok)) |
|
return(0); |
|
flushed = 1; |
|
} |
|
|
|
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
} |
} |
|
|
if (MDOC_LINEARG_MAX == j) { |
if (MDOC_LINEARG_MAX == j) |
mdoc_argv_free(j, argv); |
|
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
} |
|
|
|
c = append_scoped(mdoc, tok, ppos, 0, NULL, j, argv); |
if ( ! flushed && rewind_elem(mdoc, ppos, tok)) |
mdoc_argv_free(j, argv); |
return(0); |
return(c); |
|
|
if (ppos > 1) |
|
return(1); |
|
return(append_delims(mdoc, tok, line, pos, buf)); |
} |
} |
|
|
|
|
|
/* |
|
* Constant macros span an entire line: they constitute a macro and all |
|
* of its arguments and child data. |
|
*/ |
int |
int |
macro_scoped_implicit(MACRO_PROT_ARGS) |
macro_constant(MACRO_PROT_ARGS) |
{ |
{ |
int t, c, lastarg, j; |
int c, lastarg, argc, sz, fl; |
char *args[MDOC_LINEARG_MAX]; |
struct mdoc_arg argv[MDOC_LINEARG_MAX]; |
struct mdoc_node *n; |
char *p; |
|
|
assert( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags)); |
/*assert( ! (MDOC_PARSED & mdoc_macros[tok].flags));*/ |
|
/*FIXME*/ |
|
|
if (SEC_PROLOGUE == mdoc->sec_lastn) |
fl = 0; |
return(mdoc_err(mdoc, tok, ppos, ERR_SEC_PROLOGUE)); |
if (MDOC_QUOTABLE & mdoc_macros[tok].flags) |
|
fl = ARGS_QUOTED; |
|
|
/* FIXME: put into scope_rewind_imp(). */ |
for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) { |
|
lastarg = *pos; |
/* LINTED */ |
c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf); |
for (n = mdoc->last; n; n = n->parent) { |
if (ARGV_EOLN == c) |
if (MDOC_BLOCK != n->type) |
|
continue; |
|
if (tok == (t = n->data.block.tok)) |
|
break; |
break; |
if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags)) |
else if (ARGV_ARG == c) |
continue; |
continue; |
return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK)); |
else if (ARGV_WORD == c) |
|
break; |
|
|
|
mdoc_argv_free(argc, argv); |
|
return(0); |
} |
} |
|
|
if (n) { |
if (MDOC_LINEARG_MAX == argc) { |
mdoc->last = n; |
mdoc_argv_free(argc, argv); |
mdoc_msg(mdoc, ppos, "scope: rewound `%s'", |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
mdoc_macronames[tok]); |
} |
} else |
|
mdoc_msg(mdoc, ppos, "scope: new `%s'", |
|
mdoc_macronames[tok]); |
|
|
|
j = 0; |
mdoc_elem_alloc(mdoc, line, ppos, tok, argc, argv); |
|
mdoc->next = MDOC_NEXT_CHILD; |
|
|
again: |
mdoc_argv_free(argc, argv); |
lastarg = *pos; |
|
|
|
if (j == MDOC_LINEARG_MAX) |
for (sz = 0; sz + argc < MDOC_LINEARG_MAX; sz++) { |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
lastarg = *pos; |
c = args_next(mdoc, tok, pos, buf, &args[j]); |
c = mdoc_args(mdoc, tok, pos, buf, fl, &p); |
|
if (ARGS_ERROR == c) |
if (-1 == c) |
return(0); |
return(0); |
if (ARGS_EOLN == c) |
if (0 == c) |
break; |
return(append_scoped(mdoc, tok, ppos, |
|
j, _CC(args), 0, NULL)); |
|
|
|
/* Command found. */ |
mdoc_word_alloc(mdoc, line, lastarg, p); |
|
mdoc->next = MDOC_NEXT_SIBLING; |
|
} |
|
|
if (MDOC_MAX != (c = mdoc_find(mdoc, args[j]))) |
if (MDOC_LINEARG_MAX == sz + argc) |
if ( ! mdoc_warn(mdoc, tok, lastarg, WARN_SYNTAX_MACLIKE)) |
return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY)); |
return(0); |
|
|
|
/* Word found. */ |
return(rewind_elem(mdoc, ppos, tok)); |
|
} |
|
|
j++; |
|
goto again; |
|
|
|
/* NOTREACHED */ |
/* ARGSUSED */ |
|
int |
|
macro_obsolete(MACRO_PROT_ARGS) |
|
{ |
|
|
|
return(mdoc_warn(mdoc, tok, ppos, WARN_IGN_OBSOLETE)); |
} |
} |
|
|
|
|
|
int |
|
macro_end(struct mdoc *mdoc) |
|
{ |
|
|
|
assert(mdoc->first); |
|
assert(mdoc->last); |
|
return(rewind_last(mdoc, -1, mdoc->first)); |
|
} |