version 1.10, 2008/12/30 19:06:03 |
version 1.11, 2009/01/01 20:40:16 |
|
|
|
|
#include "private.h" |
#include "private.h" |
|
|
|
/* FIXME: `.St' can only have one argument set. */ |
|
|
typedef int (*v_sz)(struct mdoc *, int, int, int); |
typedef int (*v_args_sz)(struct mdoc *, int, int, int); |
typedef int (*v_extra)(struct mdoc *, int, int, int, |
typedef int (*v_args)(struct mdoc *, int, int, int, |
const char *[], int, const struct mdoc_arg *); |
const char *[], int, const struct mdoc_arg *); |
|
typedef int (*v_post)(struct mdoc *, int, int); |
|
|
static int assert_eq0(struct mdoc *, int, int, int); |
static int need_head_child(struct mdoc *, int, int); |
static int assert_le1(struct mdoc *, int, int, int); |
|
static int need_eq0(struct mdoc *, int, int, int); |
static int assert_eq0(struct mdoc *, int, int, int); |
static int need_eq1(struct mdoc *, int, int, int); |
static int assert_le1(struct mdoc *, int, int, int); |
static int need_ge1(struct mdoc *, int, int, int); |
static int need_eq0(struct mdoc *, int, int, int); |
static int need_le2(struct mdoc *, int, int, int); |
static int need_eq1(struct mdoc *, int, int, int); |
static int want_eq0(struct mdoc *, int, int, int); |
static int need_ge1(struct mdoc *, int, int, int); |
static int want_ge1(struct mdoc *, int, int, int); |
static int need_le2(struct mdoc *, int, int, int); |
static int v_Sh(struct mdoc *, int, int, int, |
static int want_eq0(struct mdoc *, int, int, int); |
|
static int want_ge1(struct mdoc *, int, int, int); |
|
|
|
static int args_ref(struct mdoc *, int, int, int, |
const char *[], int, const struct mdoc_arg *); |
const char *[], int, const struct mdoc_arg *); |
static int v_Bd(struct mdoc *, int, int, int, |
static int args_bool(struct mdoc *, int, int, int, |
const char *[], int, const struct mdoc_arg *); |
const char *[], int, const struct mdoc_arg *); |
static int v_At(struct mdoc *, int, int, int, |
static int args_Sh(struct mdoc *, int, int, int, |
const char *[], int, const struct mdoc_arg *); |
const char *[], int, const struct mdoc_arg *); |
|
static int args_blocknest(struct mdoc *, int, int, int, |
|
const char *[], int, const struct mdoc_arg *); |
|
static int args_At(struct mdoc *, int, int, int, |
|
const char *[], int, const struct mdoc_arg *); |
|
static int args_Xr(struct mdoc *, int, int, int, |
|
const char *[], int, const struct mdoc_arg *); |
|
|
struct valids { |
struct valids { |
v_sz sz; |
v_args_sz sz; |
v_extra extra; |
v_args args; |
|
v_post post; |
}; |
}; |
|
|
|
|
const struct valids mdoc_valids[MDOC_MAX] = { |
const struct valids mdoc_valids[MDOC_MAX] = { |
{ NULL, NULL }, /* \" */ |
{ NULL, NULL, NULL }, /* \" */ |
{ NULL, NULL }, /* Dd */ |
{ NULL, NULL, NULL }, /* Dd */ /* TODO */ |
{ NULL, NULL }, /* Dt */ |
{ NULL, NULL, NULL }, /* Dt */ /* TODO */ |
{ NULL, NULL }, /* Os */ |
{ NULL, NULL, NULL }, /* Os */ /* TODO */ |
{ need_ge1, v_Sh }, /* Sh */ |
{ NULL, args_Sh, NULL }, /* Sh */ |
{ need_ge1, NULL }, /* Ss */ |
{ NULL, NULL, NULL }, /* Ss */ |
{ want_eq0, NULL }, /* Pp */ |
{ want_eq0, NULL, NULL }, /* Pp */ |
{ NULL, NULL }, /* D1 */ |
{ NULL, args_blocknest, need_head_child }, /* D1 */ |
{ NULL, NULL }, /* Dl */ |
{ NULL, args_blocknest, need_head_child }, /* Dl */ |
{ NULL, v_Bd }, /* Bd */ |
{ NULL, args_blocknest, NULL }, /* Bd */ |
{ NULL, NULL }, /* Ed */ |
{ NULL, NULL, NULL }, /* Ed */ |
{ NULL, NULL }, /* Bl */ |
{ NULL, NULL, NULL }, /* Bl */ |
{ NULL, NULL }, /* El */ |
{ NULL, NULL, NULL }, /* El */ |
{ NULL, NULL }, /* It */ |
{ NULL, NULL, NULL }, /* It */ |
{ need_ge1, NULL }, /* Ad */ |
{ need_ge1, NULL, NULL }, /* Ad */ |
{ NULL, NULL }, /* An */ |
{ NULL, NULL, NULL }, /* An */ |
{ NULL, NULL }, /* Ar */ |
{ NULL, NULL, NULL }, /* Ar */ |
{ need_ge1, NULL }, /* Cd */ |
{ need_ge1, NULL, NULL }, /* Cd */ |
{ NULL, NULL }, /* Cm */ |
{ NULL, NULL, NULL }, /* Cm */ |
{ need_ge1, NULL }, /* Dv */ |
{ need_ge1, NULL, NULL }, /* Dv */ |
{ need_ge1, NULL }, /* Er */ |
{ need_ge1, NULL, NULL }, /* Er */ |
{ need_ge1, NULL }, /* Ev */ |
{ need_ge1, NULL, NULL }, /* Ev */ |
{ NULL, NULL }, /* Ex */ |
{ NULL, NULL, NULL }, /* Ex */ |
{ need_ge1, NULL }, /* Fa */ |
{ need_ge1, NULL, NULL }, /* Fa */ |
{ NULL, NULL }, /* Fd */ |
{ NULL, NULL, NULL }, /* Fd */ |
{ NULL, NULL }, /* Fl */ |
{ NULL, NULL, NULL }, /* Fl */ |
{ need_ge1, NULL }, /* Fn */ |
{ need_ge1, NULL, NULL }, /* Fn */ |
{ want_ge1, NULL }, /* Ft */ |
{ want_ge1, NULL, NULL }, /* Ft */ |
{ need_ge1, NULL }, /* Ic */ |
{ need_ge1, NULL, NULL }, /* Ic */ |
{ NULL, NULL }, /* In */ |
{ need_eq1, NULL, NULL }, /* In */ |
{ want_ge1, NULL }, /* Li */ |
{ want_ge1, NULL, NULL }, /* Li */ |
{ want_ge1, NULL }, /* Nd */ |
{ want_ge1, NULL, NULL }, /* Nd */ |
{ NULL, NULL }, /* Nm */ |
{ NULL, NULL, NULL }, /* Nm */ |
{ NULL, NULL }, /* Op */ |
{ NULL, NULL, NULL }, /* Op */ |
{ NULL, NULL }, /* Ot */ |
{ NULL, NULL, NULL }, /* Ot */ |
{ want_ge1, NULL }, /* Pa */ |
{ want_ge1, NULL, NULL }, /* Pa */ |
{ NULL, NULL }, /* Rv */ |
{ NULL, NULL, NULL }, /* Rv */ |
{ NULL, NULL }, /* St */ |
{ NULL, NULL, NULL }, /* St */ |
{ need_ge1, NULL }, /* Va */ |
{ need_ge1, NULL, NULL }, /* Va */ |
{ need_ge1, NULL }, /* Vt */ |
{ need_ge1, NULL, NULL }, /* Vt */ |
{ NULL, NULL }, /* Xr */ |
{ need_le2, args_Xr, NULL }, /* Xr */ |
{ NULL, NULL }, /* %A */ |
{ need_ge1, args_ref, NULL }, /* %A */ |
{ NULL, NULL }, /* %B */ |
{ need_ge1, args_ref, NULL }, /* %B */ |
{ NULL, NULL }, /* %D */ |
{ need_ge1, args_ref, NULL }, /* %D */ |
{ NULL, NULL }, /* %I */ |
{ need_ge1, args_ref, NULL }, /* %I */ |
{ NULL, NULL }, /* %J */ |
{ need_ge1, args_ref, NULL }, /* %J */ |
{ NULL, NULL }, /* %N */ |
{ need_ge1, args_ref, NULL }, /* %N */ |
{ NULL, NULL }, /* %O */ |
{ need_ge1, args_ref, NULL }, /* %O */ |
{ NULL, NULL }, /* %P */ |
{ need_ge1, args_ref, NULL }, /* %P */ |
{ NULL, NULL }, /* %R */ |
{ need_ge1, args_ref, NULL }, /* %R */ |
{ NULL, NULL }, /* %T */ |
{ need_ge1, args_ref, NULL }, /* %T */ |
{ NULL, NULL }, /* %V */ |
{ need_ge1, args_ref, NULL }, /* %V */ |
{ NULL, NULL }, /* Ac */ |
{ NULL, NULL, NULL }, /* Ac */ |
{ NULL, NULL }, /* Ao */ |
{ NULL, NULL, NULL }, /* Ao */ |
{ NULL, NULL }, /* Aq */ |
{ NULL, NULL, NULL }, /* Aq */ |
{ need_le2, v_At }, /* At */ |
{ need_le2, args_At, NULL }, /* At */ |
{ NULL, NULL }, /* Bc */ |
{ NULL, NULL, NULL }, /* Bc */ |
{ NULL, NULL }, /* Bf */ |
{ NULL, NULL, NULL }, /* Bf */ |
{ NULL, NULL }, /* Bo */ |
{ NULL, NULL, NULL }, /* Bo */ |
{ NULL, NULL }, /* Bq */ |
{ NULL, NULL, NULL }, /* Bq */ |
{ assert_le1, NULL }, /* Bsx */ |
{ assert_le1, NULL, NULL }, /* Bsx */ |
{ assert_le1, NULL }, /* Bx */ |
{ assert_le1, NULL, NULL }, /* Bx */ |
{ NULL, NULL }, /* Db */ |
{ need_eq1, args_bool, NULL }, /* Db */ |
{ NULL, NULL }, /* Dc */ |
{ NULL, NULL, NULL }, /* Dc */ |
{ NULL, NULL }, /* Do */ |
{ NULL, NULL, NULL }, /* Do */ |
{ NULL, NULL }, /* Dq */ |
{ NULL, NULL, NULL }, /* Dq */ |
{ NULL, NULL }, /* Ec */ |
{ NULL, NULL, NULL }, /* Ec */ |
{ NULL, NULL }, /* Ef */ |
{ NULL, NULL, NULL }, /* Ef */ |
{ need_ge1, NULL }, /* Em */ |
{ need_ge1, NULL, NULL }, /* Em */ |
{ NULL, NULL }, /* Eo */ |
{ NULL, NULL, NULL }, /* Eo */ |
{ assert_le1, NULL }, /* Fx */ |
{ assert_le1, NULL, NULL }, /* Fx */ |
{ want_ge1, NULL }, /* Ms */ |
{ want_ge1, NULL, NULL }, /* Ms */ |
{ NULL, NULL }, /* No */ |
{ NULL, NULL, NULL }, /* No */ |
{ NULL, NULL }, /* Ns */ |
{ NULL, NULL, NULL }, /* Ns */ |
{ assert_le1, NULL }, /* Nx */ |
{ assert_le1, NULL, NULL }, /* Nx */ |
{ assert_le1, NULL }, /* Ox */ |
{ assert_le1, NULL, NULL }, /* Ox */ |
{ NULL, NULL }, /* Pc */ |
{ NULL, NULL, NULL }, /* Pc */ |
{ NULL, NULL }, /* Pf */ |
{ NULL, NULL, NULL }, /* Pf */ |
{ NULL, NULL }, /* Po */ |
{ NULL, NULL, NULL }, /* Po */ |
{ NULL, NULL }, /* Pq */ |
{ NULL, NULL, NULL }, /* Pq */ |
{ NULL, NULL }, /* Qc */ |
{ NULL, NULL, NULL }, /* Qc */ |
{ NULL, NULL }, /* Ql */ |
{ NULL, NULL, NULL }, /* Ql */ |
{ NULL, NULL }, /* Qo */ |
{ NULL, NULL, NULL }, /* Qo */ |
{ NULL, NULL }, /* Qq */ |
{ NULL, NULL, NULL }, /* Qq */ |
{ NULL, NULL }, /* Re */ |
{ NULL, NULL, NULL }, /* Re */ |
{ NULL, NULL }, /* Rs */ |
{ NULL, NULL, NULL }, /* Rs */ |
{ NULL, NULL }, /* Sc */ |
{ NULL, NULL, NULL }, /* Sc */ |
{ NULL, NULL }, /* So */ |
{ NULL, NULL, NULL }, /* So */ |
{ NULL, NULL }, /* Sq */ |
{ NULL, NULL, NULL }, /* Sq */ |
{ NULL, NULL }, /* Sm */ |
{ need_eq1, args_bool, NULL }, /* Sm */ |
{ need_ge1, NULL }, /* Sx */ |
{ need_ge1, NULL, NULL }, /* Sx */ |
{ need_ge1, NULL }, /* Sy */ |
{ need_ge1, NULL, NULL }, /* Sy */ |
{ want_ge1, NULL }, /* Tn */ |
{ want_ge1, NULL, NULL }, /* Tn */ |
{ assert_eq0, NULL }, /* Ux */ |
{ assert_eq0, NULL, NULL }, /* Ux */ |
{ NULL, NULL }, /* Xc */ |
{ NULL, NULL, NULL }, /* Xc */ |
{ NULL, NULL }, /* Xo */ |
{ NULL, NULL, NULL }, /* Xo */ |
{ NULL, NULL }, /* Fo */ |
{ NULL, NULL, NULL }, /* Fo */ |
{ NULL, NULL }, /* Fc */ |
{ NULL, NULL, NULL }, /* Fc */ |
{ NULL, NULL }, /* Oo */ |
{ NULL, NULL, NULL }, /* Oo */ |
{ NULL, NULL }, /* Oc */ |
{ NULL, NULL, NULL }, /* Oc */ |
{ NULL, NULL }, /* Bk */ |
{ NULL, NULL, NULL }, /* Bk */ |
{ NULL, NULL }, /* Ek */ |
{ NULL, NULL, NULL }, /* Ek */ |
{ need_eq0, NULL }, /* Bt */ |
{ need_eq0, NULL, NULL }, /* Bt */ |
{ need_eq1, NULL }, /* Hf */ |
{ need_eq1, NULL, NULL }, /* Hf */ |
{ NULL, NULL }, /* Fr */ |
{ NULL, NULL, NULL }, /* Fr */ |
{ need_eq0, NULL }, /* Ud */ |
{ need_eq0, NULL, NULL }, /* Ud */ |
}; |
}; |
|
|
|
|
static int |
static int |
need_le2(struct mdoc *mdoc, int tok, int pos, int sz) |
need_le2(struct mdoc *mdoc, int tok, int pos, int sz) |
{ |
{ |
if (sz > 2) |
if (sz <= 2) |
return(1); |
return(1); |
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_LE2)); |
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_LE2)); |
} |
} |
Line 230 need_ge1(struct mdoc *mdoc, int tok, int pos, int sz) |
|
Line 242 need_ge1(struct mdoc *mdoc, int tok, int pos, int sz) |
|
|
|
|
|
static int |
static int |
v_Sh(struct mdoc *mdoc, int tok, int pos, |
need_head_child(struct mdoc *mdoc, int tok, int pos) |
|
{ |
|
struct mdoc_node *n; |
|
|
|
assert(mdoc->last); |
|
n = mdoc->last; |
|
|
|
assert(MDOC_BLOCK == n->type); |
|
assert(n->child); |
|
|
|
n = n->child; |
|
|
|
if (MDOC_HEAD != n->type) |
|
return(mdoc_err(mdoc, tok, pos, ERR_CHILD_HEAD)); |
|
if (n->child) |
|
return(1); |
|
return(mdoc_err(mdoc, tok, pos, ERR_CHILD_HEAD)); |
|
} |
|
|
|
|
|
static int |
|
args_Sh(struct mdoc *mdoc, int tok, int pos, |
int sz, const char *args[], |
int sz, const char *args[], |
int argc, const struct mdoc_arg *argv) |
int argc, const struct mdoc_arg *argv) |
{ |
{ |
Line 248 v_Sh(struct mdoc *mdoc, int tok, int pos, |
|
Line 281 v_Sh(struct mdoc *mdoc, int tok, int pos, |
|
|
|
|
|
static int |
static int |
v_At(struct mdoc *mdoc, int tok, int pos, |
args_bool(struct mdoc *mdoc, int tok, int pos, |
int sz, const char *args[], |
int sz, const char *args[], |
int argc, const struct mdoc_arg *argv) |
int argc, const struct mdoc_arg *argv) |
{ |
{ |
|
|
|
assert(1 == sz); |
|
if (xstrcmp(args[0], "on")) |
|
return(1); |
|
if (xstrcmp(args[0], "off")) |
|
return(1); |
|
return(mdoc_err(mdoc, tok, pos, ERR_SYNTAX_ARGBAD)); |
|
} |
|
|
|
|
|
static int |
|
args_ref(struct mdoc *mdoc, int tok, int pos, |
|
int sz, const char *args[], |
|
int argc, const struct mdoc_arg *argv) |
|
{ |
|
struct mdoc_node *n; |
|
|
|
assert(mdoc->last); |
|
for (n = mdoc->last ; n; n = n->parent) { |
|
if (MDOC_BLOCK != n->type) |
|
continue; |
|
if (MDOC_Rs != n->data.block.tok) |
|
break; |
|
return(1); |
|
} |
|
|
|
return(mdoc_err(mdoc, tok, pos, ERR_SCOPE_NOCTX)); |
|
} |
|
|
|
|
|
static int |
|
args_Xr(struct mdoc *mdoc, int tok, int pos, |
|
int sz, const char *args[], |
|
int argc, const struct mdoc_arg *argv) |
|
{ |
|
|
|
if (1 == sz) |
|
return(1); |
|
if (0 == sz) |
|
return(mdoc_err(mdoc, tok, pos, ERR_ARGS_GE1)); |
|
|
|
if (MSEC_DEFAULT == mdoc_atomsec(args[1])) |
|
return(mdoc_err(mdoc, tok, pos, ERR_SYNTAX_ARGFORM)); |
|
return(1); |
|
} |
|
|
|
|
|
static int |
|
args_At(struct mdoc *mdoc, int tok, int pos, |
|
int sz, const char *args[], |
|
int argc, const struct mdoc_arg *argv) |
|
{ |
int i; |
int i; |
|
|
if (0 == sz) |
if (0 == sz) |
Line 271 v_At(struct mdoc *mdoc, int tok, int pos, |
|
Line 356 v_At(struct mdoc *mdoc, int tok, int pos, |
|
|
|
|
|
static int |
static int |
v_Bd(struct mdoc *mdoc, int tok, int pos, |
args_blocknest(struct mdoc *mdoc, int tok, int pos, |
int sz, const char *args[], |
int sz, const char *args[], |
int argc, const struct mdoc_arg *argv) |
int argc, const struct mdoc_arg *argv) |
{ |
{ |
Line 285 v_Bd(struct mdoc *mdoc, int tok, int pos, |
|
Line 370 v_Bd(struct mdoc *mdoc, int tok, int pos, |
|
assert(mdoc->last); |
assert(mdoc->last); |
|
|
/* LINTED */ |
/* LINTED */ |
for (node = mdoc->last->parent ; node; node = node->parent) { |
for (node = mdoc->last; node; node = node->parent) { |
if (node->type != MDOC_BLOCK) |
if (node->type != MDOC_BLOCK) |
continue; |
continue; |
if (node->data.block.tok != MDOC_Bd) |
if (node->data.block.tok != MDOC_Bd) |
Line 299 v_Bd(struct mdoc *mdoc, int tok, int pos, |
|
Line 384 v_Bd(struct mdoc *mdoc, int tok, int pos, |
|
|
|
|
|
int |
int |
mdoc_valid(struct mdoc *mdoc, int tok, int pos, |
mdoc_valid_pre(struct mdoc *mdoc, int tok, int pos, |
int sz, const char *args[], |
int sz, const char *args[], |
int argc, const struct mdoc_arg *argv) |
int argc, const struct mdoc_arg *argv) |
{ |
{ |
Line 309 mdoc_valid(struct mdoc *mdoc, int tok, int pos, |
|
Line 394 mdoc_valid(struct mdoc *mdoc, int tok, int pos, |
|
if ( ! (*mdoc_valids[tok].sz)(mdoc, tok, pos, sz)) |
if ( ! (*mdoc_valids[tok].sz)(mdoc, tok, pos, sz)) |
return(0); |
return(0); |
|
|
if (NULL == mdoc_valids[tok].extra) |
if (NULL == mdoc_valids[tok].args) |
return(1); |
return(1); |
return(*mdoc_valids[tok].extra)(mdoc, |
return((*mdoc_valids[tok].args)(mdoc, |
tok, pos, sz, args, argc, argv); |
tok, pos, sz, args, argc, argv)); |
} |
} |
|
|
|
|
|
int |
|
mdoc_valid_post(struct mdoc *mdoc, int tok, int pos) |
|
{ |
|
|
|
if (NULL == mdoc_valids[tok].post) |
|
return(1); |
|
return((*mdoc_valids[tok].post)(mdoc, tok, pos)); |
|
} |