===================================================================
RCS file: /cvs/mandoc/Attic/validate.c,v
retrieving revision 1.36
retrieving revision 1.44
diff -u -p -r1.36 -r1.44
--- mandoc/Attic/validate.c	2009/01/17 16:15:27	1.36
+++ mandoc/Attic/validate.c	2009/01/20 13:44:05	1.44
@@ -1,4 +1,4 @@
-/* $Id: validate.c,v 1.36 2009/01/17 16:15:27 kristaps Exp $ */
+/* $Id: validate.c,v 1.44 2009/01/20 13:44:05 kristaps Exp $ */
 /*
  * Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se>
  *
@@ -21,30 +21,44 @@
 
 #include "private.h"
 
+/*
+ * Pre- and post-validate macros as they're parsed.  Pre-validation
+ * occurs when the macro has been detected and its arguments parsed.
+ * Post-validation occurs when all child macros have also been parsed.
+ * In the ELEMENT case, this is simply the parameters of the macro; in
+ * the BLOCK case, this is the HEAD, BODY, TAIL and so on.
+ */
 
 typedef	int	(*v_pre)(struct mdoc *, struct mdoc_node *);
 typedef	int	(*v_post)(struct mdoc *);
 
-
 /* FIXME: some sections should only occur in specific msecs. */
 /* FIXME: ignoring Pp. */
 /* FIXME: math symbols. */
+/* FIXME: valid character-escape checks. */
+/* FIXME: make sure required sections are included (NAME, ...). */
 
 struct	valids {
 	v_pre	*pre;
 	v_post	*post;
 };
 
+/* Utility checks. */
+
 static	int	pre_check_parent(struct mdoc *, struct mdoc_node *, 
 			int, enum mdoc_type);
 static	int	pre_check_msecs(struct mdoc *, struct mdoc_node *, 
 			int, enum mdoc_msec *);
 static	int	pre_check_stdarg(struct mdoc *, struct mdoc_node *);
 static	int	post_check_children_count(struct mdoc *);
-static	int	post_check_children_lt(struct mdoc *, int);
-static	int	post_check_children_gt(struct mdoc *, int);
-static	int	post_check_children_eq(struct mdoc *, int);
+static	int	post_check_children_lt(struct mdoc *, const char *, int);
+static	int	post_check_children_gt(struct mdoc *, const char *, int);
+static	int	post_check_children_wgt(struct mdoc *, const char *, int);
+static	int	post_check_children_eq(struct mdoc *, const char *, int);
+static	int	post_check_children_weq(struct mdoc *, const char *, int);
 
+/* Specific pre-child-parse routines. */
+
 static	int	pre_display(struct mdoc *, struct mdoc_node *);
 static	int	pre_sh(struct mdoc *, struct mdoc_node *);
 static	int	pre_ss(struct mdoc *, struct mdoc_node *);
@@ -61,19 +75,21 @@ static	int	pre_prologue(struct mdoc *, struct mdoc_nod
 static	int	pre_prologue(struct mdoc *, struct mdoc_node *);
 static	int	pre_prologue(struct mdoc *, struct mdoc_node *);
 
-static	int	head_err_ge1(struct mdoc *);
-static	int	head_warn_ge1(struct mdoc *);
-static	int	head_err_eq0(struct mdoc *);
-static	int	elem_err_eq0(struct mdoc *);
-static	int	elem_err_le1(struct mdoc *);
-static	int	elem_err_le2(struct mdoc *);
-static	int	elem_err_eq1(struct mdoc *);
-static	int	elem_err_ge1(struct mdoc *);
-static	int	elem_warn_eq0(struct mdoc *);
-static	int	body_warn_ge1(struct mdoc *);
-static	int	body_err_eq0(struct mdoc *);
-static	int	elem_warn_ge1(struct mdoc *);
-static	int	elem_bool(struct mdoc *);
+/* Specific post-child-parse routines. */
+
+static	int	herr_ge1(struct mdoc *);
+static	int	herr_le1(struct mdoc *);
+static	int	herr_eq0(struct mdoc *);
+static	int	eerr_eq0(struct mdoc *);
+static	int	eerr_le1(struct mdoc *);
+static	int	eerr_le2(struct mdoc *);
+static	int	eerr_eq1(struct mdoc *);
+static	int	eerr_ge1(struct mdoc *);
+static	int	ewarn_eq0(struct mdoc *);
+static	int	ewarn_eq1(struct mdoc *);
+static	int	bwarn_ge1(struct mdoc *);
+static	int	ewarn_ge1(struct mdoc *);
+static	int	ebool(struct mdoc *);
 static	int	post_sh(struct mdoc *);
 static	int	post_bl(struct mdoc *);
 static	int	post_it(struct mdoc *);
@@ -81,7 +97,12 @@ static	int	post_ex(struct mdoc *);
 static	int	post_an(struct mdoc *);
 static	int	post_at(struct mdoc *);
 static	int	post_xr(struct mdoc *);
+static	int	post_nm(struct mdoc *);
+static	int	post_bf(struct mdoc *);
+static	int	post_root(struct mdoc *);
 
+/* Collections of pre-child-parse routines. */
+
 static	v_pre	pres_prologue[] = { pre_prologue, NULL };
 static	v_pre	pres_d1[] = { pre_display, NULL };
 static	v_pre	pres_bd[] = { pre_display, pre_bd, NULL };
@@ -96,26 +117,28 @@ static	v_pre	pres_rv[] = { pre_rv, NULL };
 static	v_pre	pres_an[] = { pre_an, NULL };
 static	v_pre	pres_st[] = { pre_st, NULL };
 
-static	v_post	posts_bool[] = { elem_err_eq1, elem_bool, NULL };
-static	v_post	posts_bd[] = { head_err_eq0, body_warn_ge1, NULL };
-static	v_post	posts_text[] = { elem_err_ge1, NULL };
-static	v_post	posts_wtext[] = { elem_warn_ge1, NULL };
-static	v_post	posts_notext[] = { elem_err_eq0, NULL };
-static	v_post	posts_wline[] = { head_warn_ge1, body_err_eq0, NULL };
-static	v_post	posts_sh[] = { head_err_ge1, 
-			body_warn_ge1, post_sh, NULL };
-static	v_post	posts_bl[] = { head_err_eq0, 
-			body_warn_ge1, post_bl, NULL };
+/* Collections of post-child-parse routines. */
+
+static	v_post	posts_bool[] = { eerr_eq1, ebool, NULL };
+static	v_post	posts_bd[] = { herr_eq0, bwarn_ge1, NULL };
+static	v_post	posts_text[] = { eerr_ge1, NULL };
+static	v_post	posts_wtext[] = { ewarn_ge1, NULL };
+static	v_post	posts_notext[] = { eerr_eq0, NULL };
+static	v_post	posts_wline[] = { bwarn_ge1, herr_eq0, NULL };
+static	v_post	posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
+static	v_post	posts_bl[] = { herr_eq0, bwarn_ge1, post_bl, NULL };
 static	v_post	posts_it[] = { post_it, NULL };
-static	v_post	posts_ss[] = { head_err_ge1, NULL };
-static	v_post	posts_pp[] = { elem_warn_eq0, NULL };
-static	v_post	posts_d1[] = { head_err_ge1, NULL };
-static	v_post	posts_ex[] = { elem_err_le1, post_ex, NULL };
+static	v_post	posts_in[] = { ewarn_eq1, NULL };
+static	v_post	posts_ss[] = { herr_ge1, NULL };
+static	v_post	posts_pp[] = { ewarn_eq0, NULL };
+static	v_post	posts_ex[] = { eerr_le1, post_ex, NULL };
 static	v_post	posts_an[] = { post_an, NULL };
-static	v_post	posts_at[] = { elem_err_eq1, post_at, NULL };
-static	v_post	posts_xr[] = { elem_err_ge1, elem_err_le2, 
-			post_xr, NULL };
+static	v_post	posts_at[] = { post_at, NULL };
+static	v_post	posts_xr[] = { eerr_ge1, eerr_le2, post_xr, NULL };
+static	v_post	posts_nm[] = { post_nm, NULL };
+static	v_post	posts_bf[] = { herr_le1, post_bf, NULL };
 
+/* Per-macro pre- and post-child-check routine collections. */
 
 const	struct valids mdoc_valids[MDOC_MAX] = {
 	{ NULL, NULL }, /* \" */
@@ -126,8 +149,8 @@ const	struct valids mdoc_valids[MDOC_MAX] = {
 	{ pres_sh, posts_sh }, /* Sh */ 
 	{ pres_ss, posts_ss }, /* Ss */ 
 	{ NULL, posts_pp }, /* Pp */ 
-	{ pres_d1, posts_d1 }, /* D1 */
-	{ pres_d1, posts_d1 }, /* Dl */
+	{ pres_d1, posts_wline }, /* D1 */
+	{ pres_d1, posts_wline }, /* Dl */
 	{ pres_bd, posts_bd }, /* Bd */
 	{ NULL, NULL }, /* Ed */
 	{ pres_bl, posts_bl }, /* Bl */ 
@@ -144,16 +167,15 @@ const	struct valids mdoc_valids[MDOC_MAX] = {
 	{ pres_ex, posts_ex }, /* Ex */ 
 	{ NULL, posts_text }, /* Fa */ 
 	/* FIXME: only in SYNOPSIS section. */
-	{ NULL, NULL }, /* Fd */
+	{ NULL, posts_wtext }, /* Fd */
 	{ NULL, NULL }, /* Fl */
 	{ NULL, posts_text }, /* Fn */ 
-	{ NULL, NULL }, /* Ft */ 
+	{ NULL, posts_wtext }, /* Ft */ 
 	{ NULL, posts_text }, /* Ic */ 
-	{ NULL, posts_wtext }, /* In */ 
+	{ NULL, posts_in }, /* In */ 
 	{ NULL, posts_text }, /* Li */
 	{ NULL, posts_wtext }, /* Nd */
-	/* FIXME: check that name must be set/provided. */
-	{ NULL, NULL }, /* Nm */
+	{ NULL, posts_nm }, /* Nm */
 	{ NULL, posts_wline }, /* Op */
 	{ NULL, NULL }, /* Ot */
 	{ NULL, NULL }, /* Pa */
@@ -178,7 +200,7 @@ const	struct valids mdoc_valids[MDOC_MAX] = {
 	{ NULL, posts_wline }, /* Aq */
 	{ NULL, posts_at }, /* At */ 
 	{ NULL, NULL }, /* Bc */
-	{ NULL, NULL }, /* Bf */ 
+	{ NULL, posts_bf }, /* Bf */
 	{ NULL, NULL }, /* Bo */
 	{ NULL, posts_wline }, /* Bq */
 	{ NULL, NULL }, /* Bsx */
@@ -243,38 +265,62 @@ post_check_children_count(struct mdoc *mdoc)
 
 
 static int
-post_check_children_gt(struct mdoc *mdoc, int sz)
+post_check_children_wgt(struct mdoc *mdoc, const char *p, int sz)
 {
 	int		  i;
 
 	if ((i = post_check_children_count(mdoc)) > sz)
 		return(1);
+	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests more "
+				"than %d %s (has %d)", sz, p, i));
+}
+
+
+static int
+post_check_children_gt(struct mdoc *mdoc, const char *p, int sz)
+{
+	int		  i;
+
+	if ((i = post_check_children_count(mdoc)) > sz)
+		return(1);
 	return(mdoc_err(mdoc, "macro requires more than %d "
-				"parameters (have %d)", sz, i));
+				"%s (has %d)", sz, p, i));
 }
 
 
 static int
-post_check_children_eq(struct mdoc *mdoc, int sz)
+post_check_children_weq(struct mdoc *mdoc, const char *p, int sz)
 {
 	int		  i;
 
 	if ((i = post_check_children_count(mdoc)) == sz)
 		return(1);
-	return(mdoc_err(mdoc, "macro requires %d parameters "
-				"(have %d)", sz, i));
+	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests %d "
+				"%s (has %d)", sz, p, i));
 }
 
 
 static int
-post_check_children_lt(struct mdoc *mdoc, int sz)
+post_check_children_eq(struct mdoc *mdoc, const char *p, int sz)
 {
 	int		  i;
 
+	if ((i = post_check_children_count(mdoc)) == sz)
+		return(1);
+	return(mdoc_err(mdoc, "macro requires %d %s "
+				"(have %d)", sz, p, i));
+}
+
+
+static int
+post_check_children_lt(struct mdoc *mdoc, const char *p, int sz)
+{
+	int		  i;
+
 	if ((i = post_check_children_count(mdoc)) < sz)
 		return(1);
 	return(mdoc_err(mdoc, "macro requires less than %d "
-				"parameters (have %d)", sz, i));
+				"%s (have %d)", sz, p, i));
 }
 
 
@@ -300,8 +346,8 @@ pre_check_msecs(struct mdoc *mdoc, struct mdoc_node *n
 	for (i = 0; i < sz; i++)
 		if (msecs[i] == mdoc->meta.msec)
 			return(1);
-	return(mdoc_nwarn(mdoc, node, WARN_COMPAT,
-				"macro is not appropriate for this manual section"));
+	return(mdoc_nwarn(mdoc, node, WARN_COMPAT, "macro not "
+				"appropriate for manual section"));
 }
 
 
@@ -323,126 +369,113 @@ pre_check_parent(struct mdoc *mdoc, struct mdoc_node *
 
 
 static int
-body_err_eq0(struct mdoc *mdoc)
+bwarn_ge1(struct mdoc *mdoc)
 {
 
 	if (MDOC_BODY != mdoc->last->type)
 		return(1);
-	if (NULL == mdoc->last->child)
-		return(1);
-	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no body children"));
+	return(post_check_children_wgt(mdoc, "body children", 0));
 }
 
 
 static int
-body_warn_ge1(struct mdoc *mdoc)
+ewarn_eq1(struct mdoc *mdoc)
 {
 
-	if (MDOC_BODY != mdoc->last->type)
-		return(1);
-	if (mdoc->last->child)
-		return(1);
-	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more body children"));
+	assert(MDOC_ELEM == mdoc->last->type);
+	return(post_check_children_weq(mdoc, "parameters", 1));
 }
 
 
 static int
-elem_warn_eq0(struct mdoc *mdoc)
+ewarn_eq0(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	if (NULL == mdoc->last->child)
-		return(1);
-	return(mdoc_pwarn(mdoc, mdoc->last->child->line,
-			mdoc->last->child->pos, WARN_SYNTAX, "macro suggests no parameters"));
+	return(post_check_children_weq(mdoc, "parameters", 0));
 }
 
 
 static int
-elem_warn_ge1(struct mdoc *mdoc)
+ewarn_ge1(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	if (mdoc->last->child)
-		return(1);
-	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));
+	return(post_check_children_wgt(mdoc, "parameters", 0));
 }
 
 
 static int
-elem_err_eq1(struct mdoc *mdoc)
+eerr_eq1(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	return(post_check_children_eq(mdoc, 1));
+	return(post_check_children_eq(mdoc, "parameters", 1));
 }
 
 
 static int
-elem_err_le2(struct mdoc *mdoc)
+eerr_le2(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	return(post_check_children_lt(mdoc, 3));
+	return(post_check_children_lt(mdoc, "parameters", 3));
 }
 
 
 static int
-elem_err_le1(struct mdoc *mdoc)
+eerr_le1(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	return(post_check_children_lt(mdoc, 2));
+	return(post_check_children_lt(mdoc, "parameters", 2));
 }
 
 
 static int
-elem_err_eq0(struct mdoc *mdoc)
+eerr_eq0(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	return(post_check_children_eq(mdoc, 0));
+	return(post_check_children_eq(mdoc, "parameters", 0));
 }
 
 
 static int
-elem_err_ge1(struct mdoc *mdoc)
+eerr_ge1(struct mdoc *mdoc)
 {
 
 	assert(MDOC_ELEM == mdoc->last->type);
-	return(post_check_children_gt(mdoc, 0));
+	return(post_check_children_gt(mdoc, "parameters", 0));
 }
 
 
 static int
-head_err_eq0(struct mdoc *mdoc)
+herr_eq0(struct mdoc *mdoc)
 {
 
 	if (MDOC_HEAD != mdoc->last->type)
 		return(1);
-	return(post_check_children_eq(mdoc, 0));
+	return(post_check_children_eq(mdoc, "parameters", 0));
 }
 
 
 static int
-head_warn_ge1(struct mdoc *mdoc)
+herr_le1(struct mdoc *mdoc)
 {
-
 	if (MDOC_HEAD != mdoc->last->type)
 		return(1);
-	if (mdoc->last->child)
-		return(1);
-	return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));
+	return(post_check_children_lt(mdoc, "parameters", 2));
 }
 
 
 static int
-head_err_ge1(struct mdoc *mdoc)
+herr_ge1(struct mdoc *mdoc)
 {
 
 	if (MDOC_HEAD != mdoc->last->type)
 		return(1);
-	return(post_check_children_gt(mdoc, 0));
+	return(post_check_children_gt(mdoc, "parameters", 0));
 }
 
 
@@ -455,6 +488,7 @@ pre_display(struct mdoc *mdoc, struct mdoc_node *node)
 		return(1);
 
 	assert(mdoc->last);
+	/* LINTED */
 	for (n = mdoc->last->parent; n; n = n->parent) 
 		if (MDOC_BLOCK == n->type)
 			if (MDOC_Bd == n->tok)
@@ -479,6 +513,7 @@ pre_bl(struct mdoc *mdoc, struct mdoc_node *node)
 	argv = NULL;
 	argc = node->data.block.argc; 
 
+	/* LINTED */
 	for (i = type = err = 0; i < argc; i++) {
 		argv = &node->data.block.argv[(int)i];
 		assert(argv);
@@ -536,6 +571,7 @@ pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
 	argv = NULL;
 	argc = node->data.block.argc;
 
+	/* LINTED */
 	for (err = i = type = 0; 0 == err && i < argc; i++) {
 		argv = &node->data.block.argv[(int)i];
 		assert(argv);
@@ -727,6 +763,55 @@ pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
 
 
 static int
+post_bf(struct mdoc *mdoc)
+{
+	char		 *p;
+	struct mdoc_node *head;
+
+	if (MDOC_BLOCK != mdoc->last->type)
+		return(1);
+	assert(MDOC_Bf == mdoc->last->tok);
+	head = mdoc->last->data.block.head;
+	assert(head);
+
+	if (0 == mdoc->last->data.block.argc) {
+		if (head->child) {
+			assert(MDOC_TEXT == head->child->type);
+			p = head->child->data.text.string;
+			if (xstrcmp(p, "Em"))
+				return(1);
+			else if (xstrcmp(p, "Li"))
+				return(1);
+			else if (xstrcmp(p, "Sm"))
+				return(1);
+			return(mdoc_nerr(mdoc, head->child, "invalid font mode"));
+		}
+		return(mdoc_err(mdoc, "macro expects an argument or parameter"));
+	}
+	if (head->child)
+		return(mdoc_err(mdoc, "macro expects an argument or parameter"));
+	if (1 == mdoc->last->data.block.argc)
+		return(1);
+	return(mdoc_err(mdoc, "macro expects an argument or parameter"));
+}
+
+
+static int
+post_nm(struct mdoc *mdoc)
+{
+
+	assert(MDOC_ELEM == mdoc->last->type);
+	assert(MDOC_Nm == mdoc->last->tok);
+	if (mdoc->last->child)
+		return(1);
+	if (mdoc->meta.name)
+		return(1);
+	return(mdoc_err(mdoc, "macro `%s' has not been invoked with a name",
+				mdoc_macronames[MDOC_Nm]));
+}
+
+
+static int
 post_xr(struct mdoc *mdoc)
 {
 	struct mdoc_node *n;
@@ -751,7 +836,9 @@ post_at(struct mdoc *mdoc)
 
 	assert(MDOC_ELEM == mdoc->last->type);
 	assert(MDOC_At == mdoc->last->tok);
-	assert(mdoc->last->child);
+
+	if (NULL == mdoc->last->child)
+		return(1);
 	assert(MDOC_TEXT == mdoc->last->child->type);
 
 	if (ATT_DEFAULT != mdoc_atoatt(mdoc->last->child->data.text.string))
@@ -831,9 +918,11 @@ post_it(struct mdoc *mdoc)
 
 	argc = n->data.block.argc;
 	type = TYPE_NONE;
+	sv = -1;
 	
 	/* Some types require block-head, some not. */
 
+	/* LINTED */
 	for (i = 0; TYPE_NONE == type && i < argc; i++)
 		switch (n->data.block.argv[(int)i].arg) {
 		case (MDOC_Tag):
@@ -899,27 +988,27 @@ post_it(struct mdoc *mdoc)
 		if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
 			return(0);
 
+	assert(-1 != sv);
 	if (MDOC_Column != sv) 
 		return(1);
 
 	/* Make sure the number of columns is sane. */
 
-	sv = mdoc->last->parent->parent->data.block.argv->sz;
+	argc = mdoc->last->parent->parent->data.block.argv->sz;
 	n = mdoc->last->data.block.head->child;
 
 	for (i = 0; n; n = n->next)
 		i++;
 
-	if (i == (size_t)sv)
+	if (i == argc)
 		return(1);
-	return(mdoc_err(mdoc, "expected %d list columns, have %d", sv, (int)i));
+	return(mdoc_err(mdoc, "expected %zu list columns, have %zu", argc, i));
 #undef	TYPE_NONE
 #undef	TYPE_BODY
 #undef	TYPE_HEAD
 }
 
 
-/* Make sure that only `It' macros are our body-children. */
 static int
 post_bl(struct mdoc *mdoc)
 {
@@ -929,6 +1018,7 @@ post_bl(struct mdoc *mdoc)
 		return(1);
 	assert(MDOC_Bl == mdoc->last->tok);
 
+	/* LINTED */
 	for (n = mdoc->last->child; n; n = n->next) {
 		if (MDOC_BLOCK == n->type) 
 			if (MDOC_It == n->tok)
@@ -942,11 +1032,12 @@ post_bl(struct mdoc *mdoc)
 
 
 static int
-elem_bool(struct mdoc *mdoc)
+ebool(struct mdoc *mdoc)
 {
 	struct mdoc_node *n;
 
 	assert(MDOC_ELEM == mdoc->last->type);
+	/* LINTED */
 	for (n = mdoc->last->child; n; n = n->next) {
 		if (MDOC_TEXT != n->type)
 			break;
@@ -958,10 +1049,26 @@ elem_bool(struct mdoc *mdoc)
 	}
 	if (NULL == n)
 		return(1);
-	return(mdoc_nerr(mdoc, n, "expected boolean value [on/off]"));
+	return(mdoc_nerr(mdoc, n, "expected boolean value"));
 }
 
 
+static int
+post_root(struct mdoc *mdoc)
+{
+
+	if (NULL == mdoc->last->child)
+		return(mdoc_err(mdoc, "document has no data"));
+	if (NULL == mdoc->meta.title)
+		return(mdoc_err(mdoc, "document has incomplete prologue"));
+	if (NULL == mdoc->meta.os)
+		return(mdoc_err(mdoc, "document has incomplete prologue"));
+	if (0 == mdoc->meta.date)
+		return(mdoc_err(mdoc, "document has incomplete prologue"));
+	return(1);
+}
+
+
 /* Warn if conventional sections are out of order. */
 static int
 post_sh(struct mdoc *mdoc)
@@ -991,8 +1098,6 @@ mdoc_valid_pre(struct mdoc *mdoc, struct mdoc_node *no
 {
 	v_pre		*p;
 
-	/* TODO: character-escape checks. */
-
 	if (MDOC_TEXT == node->type)
 		return(1);
 	assert(MDOC_ROOT != node->type);
@@ -1011,12 +1116,14 @@ mdoc_valid_post(struct mdoc *mdoc)
 {
 	v_post		*p;
 
+	if (MDOC_VALID & mdoc->last->flags)
+		return(1);
+	mdoc->last->flags |= MDOC_VALID;
+
 	if (MDOC_TEXT == mdoc->last->type)
 		return(1);
-	if (MDOC_ROOT == mdoc->last->type) {
-		/* TODO: make sure prologue is complete. */
-		return(1);
-	}
+	if (MDOC_ROOT == mdoc->last->type)
+		return(post_root(mdoc));
 
 	if (NULL == mdoc_valids[mdoc->last->tok].post)
 		return(1);