A few more macros in place.

[mandoc.git] / validate.c

diff --git a/validate.c b/validate.c
index 382fd7211f1d2b09c7272fc01f3756324e48c143..275375882525a597c66ec26317b45a2db2eef0d7 100644 (file)
--- a/validate.c
+++ b/validate.c
@@ -1,4 +1,4 @@
-/* $Id: validate.c,v 1.46 2009/01/21 11:35:26 kristaps Exp $ */
+/* $Id: validate.c,v 1.49 2009/02/21 15:34:46 kristaps Exp $ */

 /*
  * Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se>
  *
 /*
  * Copyright (c) 2008 Kristaps Dzonsons <kristaps@kth.se>
  *


@@ -150,7 +150,6 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { pres_prologue, posts_text }, /* Dd */
        { pres_prologue, NULL }, /* Dt */
        { pres_prologue, NULL }, /* Os */
        { pres_prologue, posts_text }, /* Dd */
        { pres_prologue, NULL }, /* Dt */
        { pres_prologue, NULL }, /* Os */

-       /* FIXME: NAME section internal ordering. */

        { pres_sh, posts_sh }, /* Sh */ 
        { pres_ss, posts_ss }, /* Ss */ 
        { NULL, posts_pp }, /* Pp */ 
        { pres_sh, posts_sh }, /* Sh */ 
        { pres_ss, posts_ss }, /* Ss */ 
        { NULL, posts_pp }, /* Pp */ 


@@ -709,6 +708,9 @@ static int
 pre_it(struct mdoc *mdoc, struct mdoc_node *node)
 {
 
 pre_it(struct mdoc *mdoc, struct mdoc_node *node)
 {
 

+       /* TODO: -width attribute must be specified for -tag. */
+       /* TODO: children too big for -width? */
+

        if (MDOC_BLOCK != node->type)
                return(1);
        return(pre_check_parent(mdoc, node, MDOC_Bl, MDOC_BODY));
        if (MDOC_BLOCK != node->type)
                return(1);
        return(pre_check_parent(mdoc, node, MDOC_Bl, MDOC_BODY));


@@ -905,6 +907,7 @@ post_it(struct mdoc *mdoc)
 #define        TYPE_NONE        (0)
 #define        TYPE_BODY        (1)
 #define        TYPE_HEAD        (2)
 #define        TYPE_NONE        (0)
 #define        TYPE_BODY        (1)
 #define        TYPE_HEAD        (2)

+#define        TYPE_OHEAD       (3)

        size_t            i, argc;
        struct mdoc_node *n;
 
        size_t            i, argc;
        struct mdoc_node *n;
 


@@ -951,20 +954,23 @@ post_it(struct mdoc *mdoc)
                case (MDOC_Hyphen):
                        /* FALLTHROUGH */
                case (MDOC_Item):
                case (MDOC_Hyphen):
                        /* FALLTHROUGH */
                case (MDOC_Item):

-                       /* FALLTHROUGH */
-               case (MDOC_Column):

                        type = TYPE_BODY;
                        sv = n->data.block.argv[(int)i].arg;
                        break;
                        type = TYPE_BODY;
                        sv = n->data.block.argv[(int)i].arg;
                        break;

+               case (MDOC_Column):
+                       type = TYPE_OHEAD;
+                       sv = n->data.block.argv[(int)i].arg;
+                       break;

                default:
                        break;
                }
 
        assert(TYPE_NONE != type);
 
                default:
                        break;
                }
 
        assert(TYPE_NONE != type);
 

+       n = mdoc->last->data.block.head;
+       assert(n);
+

        if (TYPE_HEAD == type) {
        if (TYPE_HEAD == type) {

-               n = mdoc->last->data.block.head;
-               assert(n);

                if (NULL == n->child)
                        if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                                return(0);
                if (NULL == n->child)
                        if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                                return(0);


@@ -975,26 +981,29 @@ post_it(struct mdoc *mdoc)
                        if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                                return(0);
 
                        if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                                return(0);
 

-               return(1);
+       } else if (TYPE_BODY == type) {
+               if (n->child)
+                       if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no line parameters"))
+                               return(0);
+       
+               n = mdoc->last->data.block.body;
+               assert(n);
+               if (NULL == n->child)
+                       if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
+                               return(0);
+       } else {
+               if (NULL == n->child)
+                       if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
+                               return(0);
+       
+               n = mdoc->last->data.block.body;
+               assert(n);
+               if (n->child)
+                       if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no body children"))
+                               return(0);

        }
 
        }
 

-       assert(TYPE_BODY == type);
-       assert(mdoc->last->data.block.head);
-
-       n = mdoc->last->data.block.head;
-       assert(n);
-       if (n->child)
-               if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no line parameters"))
-                       return(0);
-
-       n = mdoc->last->data.block.body;
-       assert(n);
-       if (NULL == n->child)
-               if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
-                       return(0);
-
-       assert(-1 != sv);
-       if (MDOC_Column != sv) 
+       if (MDOC_Column != sv)

                return(1);
 
        /* Make sure the number of columns is sane. */
                return(1);
 
        /* Make sure the number of columns is sane. */


@@ -1011,6 +1020,7 @@ post_it(struct mdoc *mdoc)
 #undef TYPE_NONE
 #undef TYPE_BODY
 #undef TYPE_HEAD
 #undef TYPE_NONE
 #undef TYPE_BODY
 #undef TYPE_HEAD

+#undef TYPE_OHEAD

 }
 
 
 }