Added new old escape sequence \*[nn].

[mandoc.git] / validate.c

diff --git a/validate.c b/validate.c
index c3e6f0b5896763838d6104247c4998cd19a54cc3..ebd95aee751b02ff149a6592f0d5f0784b99d328 100644 (file)
--- a/validate.c
+++ b/validate.c
@@ -1,4 +1,4 @@
-/* $Id: validate.c,v 1.61 2009/02/26 14:56:27 kristaps Exp $ */
+/* $Id: validate.c,v 1.66 2009/03/02 17:14:46 kristaps Exp $ */

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


@@ -36,9 +36,7 @@
 typedef        int     (*v_pre)(PRE_ARGS);
 typedef        int     (*v_post)(POST_ARGS);
 
 typedef        int     (*v_pre)(PRE_ARGS);
 typedef        int     (*v_post)(POST_ARGS);
 

-/* FIXME: some sections should only occur in specific msecs. */
-/* FIXME: ignoring Pp. */
-/* FIXME: math symbols. */
+/* TODO: ignoring Pp (it's superfluous in some invocations). */

 
 struct valids {
        v_pre   *pre;
 
 struct valids {
        v_pre   *pre;


@@ -52,7 +50,7 @@ static        int     check_msec(PRE_ARGS, int, enum mdoc_msec *);
 static int     check_stdarg(PRE_ARGS);
 
 static int     check_text(struct mdoc *, 
 static int     check_stdarg(PRE_ARGS);
 
 static int     check_text(struct mdoc *, 

-                       size_t, size_t, const char *);
+                       int, int, const char *);

 
 static int     err_child_lt(struct mdoc *, const char *, int);
 static int     warn_child_lt(struct mdoc *, const char *, int);
 
 static int     err_child_lt(struct mdoc *, const char *, int);
 static int     warn_child_lt(struct mdoc *, const char *, int);


@@ -278,7 +276,8 @@ mdoc_valid_pre(struct mdoc *mdoc,
 {
        v_pre           *p;
        struct mdoc_arg *argv;
 {
        v_pre           *p;
        struct mdoc_arg *argv;

-       size_t           argc, i, j, line, pos;
+       size_t           argc;
+       int              line, pos, i, j;

        const char      *tp;
 
        if (MDOC_TEXT == node->type) {
        const char      *tp;
 
        if (MDOC_TEXT == node->type) {


@@ -296,10 +295,10 @@ mdoc_valid_pre(struct mdoc *mdoc,
                        node->data.block.argc :
                        node->data.elem.argc;
 
                        node->data.block.argc :
                        node->data.elem.argc;
 

-               for (i = 0; i < argc; i++) {
+               for (i = 0; i < (int)argc; i++) {

                        if (0 == argv[i].sz)
                                continue;
                        if (0 == argv[i].sz)
                                continue;

-                       for (j = 0; j < argv[i].sz; j++) {
+                       for (j = 0; j < (int)argv[i].sz; j++) {

                                tp = argv[i].value[j];
                                line = argv[i].line;
                                pos = argv[i].pos;
                                tp = argv[i].value[j];
                                line = argv[i].line;
                                pos = argv[i].pos;


@@ -476,22 +475,24 @@ check_msec(PRE_ARGS, int sz, enum mdoc_msec *msecs)
 
 
 static int
 
 
 static int

-check_text(struct mdoc *mdoc, size_t line, size_t pos, const char *p)
+check_text(struct mdoc *mdoc, int line, int pos, const char *p)

 {
        size_t           c;
 
 {
        size_t           c;
 

+       /* XXX - indicate deprecated escapes \*(xx and \*x. */
+

        for ( ; *p; p++) {
                if ( ! isprint((int)*p) && '\t' != *p)
                        return(mdoc_perr(mdoc, line, pos,
        for ( ; *p; p++) {
                if ( ! isprint((int)*p) && '\t' != *p)
                        return(mdoc_perr(mdoc, line, pos,

-                                       "invalid characters"));
+                               "invalid non-printing characters"));

                if ('\\' != *p)
                        continue;
                if ((c = mdoc_isescape(p))) {
                if ('\\' != *p)
                        continue;
                if ((c = mdoc_isescape(p))) {

-                       p += (c - 1);
+                       p += (int)c - 1;

                        continue;
                }
                        continue;
                }

-               return(mdoc_perr(mdoc, line, pos,
-                                       "invalid escape sequence"));
+               return(mdoc_perr(mdoc, line, pos, 
+                               "invalid escape sequence"));

        }
 
        return(1);
        }
 
        return(1);


@@ -623,11 +624,11 @@ pre_bl(PRE_ARGS)
                                "superfluous -%s argument",
                                mdoc_argnames[MDOC_Width]));
        case (MDOC_Tag):
                                "superfluous -%s argument",
                                mdoc_argnames[MDOC_Width]));
        case (MDOC_Tag):

-               if (-1 != width)
-                       break;
-               return(mdoc_nwarn(mdoc, n, WARN_SYNTAX,
-                               "suggest -%s argument",
-                               mdoc_argnames[MDOC_Width]));
+               if (-1 == width && ! mdoc_nwarn(mdoc, n, WARN_SYNTAX, 
+                                       "suggest -%s argument",
+                                       mdoc_argnames[MDOC_Width]))
+                       return(0);
+               break;

        default:
                break;
        }
        default:
                break;
        }


@@ -703,8 +704,6 @@ static int
 pre_it(PRE_ARGS)
 {
 
 pre_it(PRE_ARGS)
 {
 

-       /* TODO: children too big for -width? */
-

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


@@ -1053,19 +1052,25 @@ post_bl(POST_ARGS)
 
        if (MDOC_BODY != mdoc->last->type)
                return(1);
 
        if (MDOC_BODY != mdoc->last->type)
                return(1);

+       if (NULL == (mdoc->last->child))
+               return(1);
+
+       /*
+        * Only allow `It' macros to be the immediate descendants of the
+        * `Bl' list. 
+        */

 
        /* LINTED */
        for (n = mdoc->last->child; n; n = n->next) {
                if (MDOC_BLOCK == n->type) 
                        if (MDOC_It == n->tok)
                                continue;
 
        /* LINTED */
        for (n = mdoc->last->child; n; n = n->next) {
                if (MDOC_BLOCK == n->type) 
                        if (MDOC_It == n->tok)
                                continue;

-               break;
-       }

 
 

-       if (NULL == n)
-               return(1);
+               return(mdoc_nerr(mdoc, n, "bad child of parent %s",
+                               mdoc_macronames[mdoc->last->tok]));
+       }

 
 

-       return(mdoc_nerr(mdoc, n, "bad child of parent list"));
+       return(1);

 }
 
 
 }