]> git.cameronkatri.com Git - mandoc.git/blobdiff - mdoc_validate.c
Portability: replaced queue macros in html.c (Joerg Sonnenberger).
[mandoc.git] / mdoc_validate.c
index 80277fc251251f9fb945069a37f651a5ba7f1699..0ca6190e01da5d680ba1bc014f4c93e09f982f43 100644 (file)
@@ -1,4 +1,4 @@
-/*     $Id: mdoc_validate.c,v 1.43 2009/09/24 15:01:06 kristaps Exp $ */
+/*     $Id: mdoc_validate.c,v 1.51 2009/10/26 04:09:46 kristaps Exp $ */
 /*
  * Copyright (c) 2008, 2009 Kristaps Dzonsons <kristaps@kth.se>
  *
@@ -74,6 +74,7 @@ static        int      eerr_eq0(POST_ARGS);
 static int      eerr_eq1(POST_ARGS);
 static int      eerr_ge1(POST_ARGS);
 static int      eerr_le2(POST_ARGS);
+static int      eerr_le1(POST_ARGS);
 static int      ewarn_ge1(POST_ARGS);
 static int      herr_eq0(POST_ARGS);
 static int      herr_ge1(POST_ARGS);
@@ -93,7 +94,6 @@ static        int      post_rs(POST_ARGS);
 static int      post_sh(POST_ARGS);
 static int      post_sh_body(POST_ARGS);
 static int      post_sh_head(POST_ARGS);
-static int      post_sp(POST_ARGS);
 static int      post_st(POST_ARGS);
 static int      pre_an(PRE_ARGS);
 static int      pre_bd(PRE_ARGS);
@@ -119,19 +119,18 @@ static    v_post   posts_bf[] = { hwarn_le1, post_bf, NULL };
 static v_post   posts_bl[] = { bwarn_ge1, post_bl, NULL };
 static v_post   posts_bool[] = { eerr_eq1, ebool, NULL };
 static v_post   posts_fo[] = { hwarn_eq1, bwarn_ge1, NULL };
-static v_post   posts_in[] = { eerr_eq1, NULL };
 static v_post   posts_it[] = { post_it, NULL };
 static v_post   posts_lb[] = { eerr_eq1, post_lb, NULL };
 static v_post   posts_nd[] = { berr_ge1, NULL };
 static v_post   posts_nm[] = { post_nm, NULL };
 static v_post   posts_notext[] = { eerr_eq0, NULL };
-static v_post   posts_pf[] = { eerr_eq1, NULL };
-static v_post   posts_rs[] = { bwarn_ge1, herr_eq0, post_rs, NULL };
+static v_post   posts_rs[] = { berr_ge1, herr_eq0, post_rs, NULL };
 static v_post   posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
-static v_post   posts_sp[] = { post_sp, NULL };
+static v_post   posts_sp[] = { eerr_le1, NULL };
 static v_post   posts_ss[] = { herr_ge1, NULL };
 static v_post   posts_st[] = { eerr_eq1, post_st, NULL };
 static v_post   posts_text[] = { eerr_ge1, NULL };
+static v_post   posts_text1[] = { eerr_eq1, NULL };
 static v_post   posts_wline[] = { bwarn_ge1, herr_eq0, NULL };
 static v_post   posts_wtext[] = { ewarn_ge1, NULL };
 static v_post   posts_xr[] = { eerr_ge1, eerr_le2, NULL };
@@ -182,7 +181,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_text },                   /* Fn */ 
        { NULL, posts_wtext },                  /* Ft */ 
        { NULL, posts_text },                   /* Ic */ 
-       { NULL, posts_in },                     /* In */ 
+       { NULL, posts_text1 },                  /* In */ 
        { NULL, NULL },                         /* Li */
        { NULL, posts_nd },                     /* Nd */
        { NULL, posts_nm },                     /* Nm */
@@ -195,7 +194,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_text },                   /* Vt */ 
        { NULL, posts_xr },                     /* Xr */ 
        { NULL, posts_text },                   /* %A */
-       { NULL, posts_text },                   /* %B */
+       { NULL, posts_text },                   /* %B */ /* FIXME: can be used outside Rs/Re. */
        { NULL, posts_text },                   /* %D */
        { NULL, posts_text },                   /* %I */
        { NULL, posts_text },                   /* %J */
@@ -203,7 +202,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_text },                   /* %O */
        { NULL, posts_text },                   /* %P */
        { NULL, posts_text },                   /* %R */
-       { NULL, posts_text },                   /* %T */
+       { NULL, posts_text },                   /* %T */ /* FIXME: can be used outside Rs/Re. */
        { NULL, posts_text },                   /* %V */
        { NULL, NULL },                         /* Ac */
        { NULL, NULL },                         /* Ao */
@@ -230,7 +229,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, NULL },                         /* Nx */
        { NULL, NULL },                         /* Ox */
        { NULL, NULL },                         /* Pc */
-       { NULL, posts_pf },                     /* Pf */
+       { NULL, posts_text1 },                  /* Pf */
        { NULL, NULL },                         /* Po */
        { NULL, posts_wline },                  /* Pq */
        { NULL, NULL },                         /* Qc */
@@ -261,7 +260,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_notext },                 /* Ud */
        { pres_lb, posts_lb },                  /* Lb */
        { NULL, posts_notext },                 /* Lp */ 
-       { NULL, NULL },                         /* Lk */ 
+       { NULL, posts_text },                   /* Lk */ 
        { NULL, posts_text },                   /* Mt */ 
        { NULL, posts_wline },                  /* Brq */ 
        { NULL, NULL },                         /* Bro */ 
@@ -273,6 +272,7 @@ const       struct valids mdoc_valids[MDOC_MAX] = {
        { NULL, posts_text },                   /* %Q */
        { NULL, posts_notext },                 /* br */
        { NULL, posts_sp },                     /* sp */
+       { NULL, posts_text1 },                  /* %U */
 };
 
 
@@ -408,6 +408,7 @@ CHECK_BODY_DEFN(ge1, err, err_child_gt, 0)  /* berr_ge1() */
 CHECK_ELEM_DEFN(ge1, warn, warn_child_gt, 0)   /* ewarn_gt1() */
 CHECK_ELEM_DEFN(eq1, err, err_child_eq, 1)     /* eerr_eq1() */
 CHECK_ELEM_DEFN(le2, err, err_child_lt, 3)     /* eerr_le2() */
+CHECK_ELEM_DEFN(le1, err, err_child_lt, 2)     /* eerr_le1() */
 CHECK_ELEM_DEFN(eq0, err, err_child_eq, 0)     /* eerr_eq0() */
 CHECK_ELEM_DEFN(ge1, err, err_child_gt, 0)     /* eerr_ge1() */
 CHECK_HEAD_DEFN(eq0, err, err_child_eq, 0)     /* herr_eq0() */
@@ -621,25 +622,33 @@ pre_bl(PRE_ARGS)
                case (MDOC_Inset):
                        /* FALLTHROUGH */
                case (MDOC_Column):
-                       if (-1 != type
+                       if (type >= 0
                                return(mdoc_nerr(mdoc, n, EMULTILIST));
                        type = n->args->argv[pos].arg;
                        break;
+               case (MDOC_Compact):
+                       if (type < 0 && ! mdoc_nwarn(mdoc, n, ENOTYPE))
+                               return(0);
+                       break;
                case (MDOC_Width):
-                       if (-1 != width)
+                       if (width >= 0)
                                return(mdoc_nerr(mdoc, n, EARGREP));
+                       if (type < 0 && ! mdoc_nwarn(mdoc, n, ENOTYPE))
+                               return(0);
                        width = n->args->argv[pos].arg;
                        break;
                case (MDOC_Offset):
-                       if (-1 != offset)
+                       if (offset >= 0)
                                return(mdoc_nerr(mdoc, n, EARGREP));
+                       if (type < 0 && ! mdoc_nwarn(mdoc, n, ENOTYPE))
+                               return(0);
                        offset = n->args->argv[pos].arg;
                        break;
                default:
                        break;
                }
 
-       if (-1 == type)
+       if (type < 0)
                return(mdoc_nerr(mdoc, n, ELISTTYPE));
 
        /* 
@@ -650,7 +659,7 @@ pre_bl(PRE_ARGS)
 
        switch (type) {
        case (MDOC_Tag):
-               if (-1 == width && ! mdoc_nwarn(mdoc, n, EMISSWIDTH))
+               if (width < 0 && ! mdoc_nwarn(mdoc, n, EMISSWIDTH))
                        return(0);
                break;
        case (MDOC_Column):
@@ -660,7 +669,7 @@ pre_bl(PRE_ARGS)
        case (MDOC_Inset):
                /* FALLTHROUGH */
        case (MDOC_Item):
-               if (-1 != width && ! mdoc_nwarn(mdoc, n, ENOWIDTH))
+               if (width >= 0 && ! mdoc_nwarn(mdoc, n, ENOWIDTH))
                        return(0);
                break;
        default:
@@ -687,6 +696,8 @@ pre_bd(PRE_ARGS)
        for (i = 0, err = type = 0; ! err && 
                        i < (int)n->args->argc; i++)
                switch (n->args->argv[i].arg) {
+               case (MDOC_Centred):
+                       /* FALLTHROUGH */
                case (MDOC_Ragged):
                        /* FALLTHROUGH */
                case (MDOC_Unfilled):
@@ -694,8 +705,6 @@ pre_bd(PRE_ARGS)
                case (MDOC_Filled):
                        /* FALLTHROUGH */
                case (MDOC_Literal):
-                       /* FALLTHROUGH */
-               case (MDOC_File):
                        if (0 == type++) 
                                break;
                        return(mdoc_nerr(mdoc, n, EMULTIDISP));
@@ -1126,37 +1135,6 @@ post_root(POST_ARGS)
 }
 
 
-static int
-post_sp(POST_ARGS)
-{
-       long             lval;
-       char            *ep, *buf;
-
-       if (NULL == mdoc->last->child)
-               return(1);
-       else if ( ! eerr_eq1(mdoc))
-               return(0);
-
-       assert(MDOC_TEXT == mdoc->last->child->type);
-       buf = mdoc->last->child->string;
-       assert(buf);
-       
-       /* From OpenBSD's strtol(3). */
-       errno = 0;
-       lval = strtol(buf, &ep, 10);
-       if (buf[0] == '\0' || *ep != '\0')
-               return(mdoc_nerr(mdoc, mdoc->last->child, ENUMFMT));
-
-       if ((errno == ERANGE && (lval == LONG_MAX || lval == LONG_MIN)) ||
-                       (lval > INT_MAX || lval < 0))
-               return(mdoc_nerr(mdoc, mdoc->last->child, ENUMFMT));
-
-       return(1);
-}
-
-
-
-
 static int
 post_st(POST_ARGS)
 {
@@ -1177,6 +1155,8 @@ post_rs(POST_ARGS)
 
        for (nn = mdoc->last->child; nn; nn = nn->next)
                switch (nn->tok) {
+               case(MDOC__U):
+                       /* FALLTHROUGH */
                case(MDOC__Q):
                        /* FALLTHROUGH */
                case(MDOC__C):