version 1.127, 2017/05/05 15:17:32 |
version 1.138, 2018/12/03 21:00:10 |
|
|
/* $OpenBSD$ */ |
/* $OpenBSD$ */ |
/* |
/* |
* Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> |
* Copyright (c) 2010, 2012-2017 Ingo Schwarze <schwarze@openbsd.org> |
* Copyright (c) 2010, 2012-2018 Ingo Schwarze <schwarze@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 above |
* purpose with or without fee is hereby granted, provided that the above |
|
|
|
|
typedef void (*v_check)(CHKARGS); |
typedef void (*v_check)(CHKARGS); |
|
|
|
static void check_abort(CHKARGS); |
static void check_par(CHKARGS); |
static void check_par(CHKARGS); |
static void check_part(CHKARGS); |
static void check_part(CHKARGS); |
static void check_root(CHKARGS); |
static void check_root(CHKARGS); |
Line 47 static void check_text(CHKARGS); |
|
Line 48 static void check_text(CHKARGS); |
|
|
|
static void post_AT(CHKARGS); |
static void post_AT(CHKARGS); |
static void post_IP(CHKARGS); |
static void post_IP(CHKARGS); |
static void post_vs(CHKARGS); |
|
static void post_OP(CHKARGS); |
static void post_OP(CHKARGS); |
static void post_TH(CHKARGS); |
static void post_TH(CHKARGS); |
static void post_UC(CHKARGS); |
static void post_UC(CHKARGS); |
static void post_UR(CHKARGS); |
static void post_UR(CHKARGS); |
|
static void post_in(CHKARGS); |
|
static void post_vs(CHKARGS); |
|
|
static const v_check __man_valids[MAN_MAX - MAN_TH] = { |
static const v_check man_valids[MAN_MAX - MAN_TH] = { |
post_TH, /* TH */ |
post_TH, /* TH */ |
NULL, /* SH */ |
NULL, /* SH */ |
NULL, /* SS */ |
NULL, /* SS */ |
NULL, /* TP */ |
NULL, /* TP */ |
check_par, /* LP */ |
NULL, /* TQ */ |
|
check_abort,/* LP */ |
check_par, /* PP */ |
check_par, /* PP */ |
check_par, /* P */ |
check_abort,/* P */ |
post_IP, /* IP */ |
post_IP, /* IP */ |
NULL, /* HP */ |
NULL, /* HP */ |
NULL, /* SM */ |
NULL, /* SM */ |
Line 82 static const v_check __man_valids[MAN_MAX - MAN_TH] = |
|
Line 85 static const v_check __man_valids[MAN_MAX - MAN_TH] = |
|
post_UC, /* UC */ |
post_UC, /* UC */ |
NULL, /* PD */ |
NULL, /* PD */ |
post_AT, /* AT */ |
post_AT, /* AT */ |
NULL, /* in */ |
post_in, /* in */ |
|
NULL, /* SY */ |
|
NULL, /* YS */ |
post_OP, /* OP */ |
post_OP, /* OP */ |
NULL, /* EX */ |
NULL, /* EX */ |
NULL, /* EE */ |
NULL, /* EE */ |
post_UR, /* UR */ |
post_UR, /* UR */ |
NULL, /* UE */ |
NULL, /* UE */ |
|
post_UR, /* MT */ |
|
NULL, /* ME */ |
}; |
}; |
static const v_check *man_valids = __man_valids - MAN_TH; |
|
|
|
|
|
|
/* Validate the subtree rooted at man->last. */ |
void |
void |
man_node_validate(struct roff_man *man) |
man_node_validate(struct roff_man *man) |
{ |
{ |
struct roff_node *n; |
struct roff_node *n; |
const v_check *cp; |
const v_check *cp; |
|
|
|
/* |
|
* Translate obsolete macros such that later code |
|
* does not need to look for them. |
|
*/ |
|
|
n = man->last; |
n = man->last; |
|
switch (n->tok) { |
|
case MAN_LP: |
|
case MAN_P: |
|
n->tok = MAN_PP; |
|
break; |
|
default: |
|
break; |
|
} |
|
|
|
/* |
|
* Iterate over all children, recursing into each one |
|
* in turn, depth-first. |
|
*/ |
|
|
man->last = man->last->child; |
man->last = man->last->child; |
while (man->last != NULL) { |
while (man->last != NULL) { |
man_node_validate(man); |
man_node_validate(man); |
Line 108 man_node_validate(struct roff_man *man) |
|
Line 134 man_node_validate(struct roff_man *man) |
|
man->last = man->last->next; |
man->last = man->last->next; |
} |
} |
|
|
|
/* Finally validate the macro itself. */ |
|
|
man->last = n; |
man->last = n; |
man->next = ROFF_NEXT_SIBLING; |
man->next = ROFF_NEXT_SIBLING; |
switch (n->type) { |
switch (n->type) { |
Line 117 man_node_validate(struct roff_man *man) |
|
Line 145 man_node_validate(struct roff_man *man) |
|
case ROFFT_ROOT: |
case ROFFT_ROOT: |
check_root(man, n); |
check_root(man, n); |
break; |
break; |
|
case ROFFT_COMMENT: |
case ROFFT_EQN: |
case ROFFT_EQN: |
case ROFFT_TBL: |
case ROFFT_TBL: |
break; |
break; |
Line 134 man_node_validate(struct roff_man *man) |
|
Line 163 man_node_validate(struct roff_man *man) |
|
break; |
break; |
} |
} |
assert(n->tok >= MAN_TH && n->tok < MAN_MAX); |
assert(n->tok >= MAN_TH && n->tok < MAN_MAX); |
cp = man_valids + n->tok; |
cp = man_valids + (n->tok - MAN_TH); |
if (*cp) |
if (*cp) |
(*cp)(man, n); |
(*cp)(man, n); |
if (man->last == n) |
if (man->last == n) |
Line 146 man_node_validate(struct roff_man *man) |
|
Line 175 man_node_validate(struct roff_man *man) |
|
static void |
static void |
check_root(CHKARGS) |
check_root(CHKARGS) |
{ |
{ |
|
|
assert((man->flags & (MAN_BLINE | MAN_ELINE)) == 0); |
assert((man->flags & (MAN_BLINE | MAN_ELINE)) == 0); |
|
|
if (NULL == man->first->child) |
if (n->last == NULL || n->last->type == ROFFT_COMMENT) |
mandoc_msg(MANDOCERR_DOC_EMPTY, man->parse, |
mandoc_msg(MANDOCERR_DOC_EMPTY, man->parse, |
n->line, n->pos, NULL); |
n->line, n->pos, NULL); |
else |
else |
Line 167 check_root(CHKARGS) |
|
Line 195 check_root(CHKARGS) |
|
man->meta.title = mandoc_strdup(""); |
man->meta.title = mandoc_strdup(""); |
man->meta.msec = mandoc_strdup(""); |
man->meta.msec = mandoc_strdup(""); |
man->meta.date = man->quick ? mandoc_strdup("") : |
man->meta.date = man->quick ? mandoc_strdup("") : |
mandoc_normdate(man->parse, NULL, n->line, n->pos); |
mandoc_normdate(man, NULL, n->line, n->pos); |
} |
} |
|
|
|
if (man->meta.os_e && |
|
(man->meta.rcsids & (1 << man->meta.os_e)) == 0) |
|
mandoc_msg(MANDOCERR_RCS_MISSING, man->parse, 0, 0, |
|
man->meta.os_e == MANDOC_OS_OPENBSD ? |
|
"(OpenBSD)" : "(NetBSD)"); |
} |
} |
|
|
static void |
static void |
|
check_abort(CHKARGS) |
|
{ |
|
abort(); |
|
} |
|
|
|
static void |
check_text(CHKARGS) |
check_text(CHKARGS) |
{ |
{ |
char *cp, *p; |
char *cp, *p; |
Line 202 post_OP(CHKARGS) |
|
Line 242 post_OP(CHKARGS) |
|
static void |
static void |
post_UR(CHKARGS) |
post_UR(CHKARGS) |
{ |
{ |
|
|
if (n->type == ROFFT_HEAD && n->child == NULL) |
if (n->type == ROFFT_HEAD && n->child == NULL) |
mandoc_vmsg(MANDOCERR_UR_NOHEAD, man->parse, |
mandoc_msg(MANDOCERR_UR_NOHEAD, man->parse, |
n->line, n->pos, "UR"); |
n->line, n->pos, roff_name[n->tok]); |
check_part(man, n); |
check_part(man, n); |
} |
} |
|
|
Line 323 post_TH(CHKARGS) |
|
Line 362 post_TH(CHKARGS) |
|
if (n && n->string && '\0' != n->string[0]) { |
if (n && n->string && '\0' != n->string[0]) { |
man->meta.date = man->quick ? |
man->meta.date = man->quick ? |
mandoc_strdup(n->string) : |
mandoc_strdup(n->string) : |
mandoc_normdate(man->parse, n->string, |
mandoc_normdate(man, n->string, n->line, n->pos); |
n->line, n->pos); |
|
} else { |
} else { |
man->meta.date = mandoc_strdup(""); |
man->meta.date = mandoc_strdup(""); |
mandoc_msg(MANDOCERR_DATE_MISSING, man->parse, |
mandoc_msg(MANDOCERR_DATE_MISSING, man->parse, |
Line 336 post_TH(CHKARGS) |
|
Line 374 post_TH(CHKARGS) |
|
|
|
if (n && (n = n->next)) |
if (n && (n = n->next)) |
man->meta.os = mandoc_strdup(n->string); |
man->meta.os = mandoc_strdup(n->string); |
else if (man->defos != NULL) |
else if (man->os_s != NULL) |
man->meta.os = mandoc_strdup(man->defos); |
man->meta.os = mandoc_strdup(man->os_s); |
|
if (man->meta.os_e == MANDOC_OS_OTHER && man->meta.os != NULL) { |
|
if (strstr(man->meta.os, "OpenBSD") != NULL) |
|
man->meta.os_e = MANDOC_OS_OPENBSD; |
|
else if (strstr(man->meta.os, "NetBSD") != NULL) |
|
man->meta.os_e = MANDOC_OS_NETBSD; |
|
} |
|
|
/* TITLE MSEC DATE OS ->VOL<- */ |
/* TITLE MSEC DATE OS ->VOL<- */ |
/* If missing, use the default VOL name for MSEC. */ |
/* If missing, use the default VOL name for MSEC. */ |
Line 436 post_AT(CHKARGS) |
|
Line 480 post_AT(CHKARGS) |
|
} |
} |
|
|
static void |
static void |
|
post_in(CHKARGS) |
|
{ |
|
char *s; |
|
|
|
if (n->parent->tok != MAN_TP || |
|
n->parent->type != ROFFT_HEAD || |
|
n->child == NULL || |
|
*n->child->string == '+' || |
|
*n->child->string == '-') |
|
return; |
|
mandoc_asprintf(&s, "+%s", n->child->string); |
|
free(n->child->string); |
|
n->child->string = s; |
|
} |
|
|
|
static void |
post_vs(CHKARGS) |
post_vs(CHKARGS) |
{ |
{ |
|
|
Line 446 post_vs(CHKARGS) |
|
Line 506 post_vs(CHKARGS) |
|
case MAN_SH: |
case MAN_SH: |
case MAN_SS: |
case MAN_SS: |
case MAN_PP: |
case MAN_PP: |
case MAN_LP: |
|
case MAN_P: |
|
mandoc_vmsg(MANDOCERR_PAR_SKIP, man->parse, n->line, n->pos, |
mandoc_vmsg(MANDOCERR_PAR_SKIP, man->parse, n->line, n->pos, |
"%s after %s", roff_name[n->tok], |
"%s after %s", roff_name[n->tok], |
roff_name[n->parent->tok]); |
roff_name[n->parent->tok]); |