[BACK]Return to mdoc_validate.c CVS log [TXT][DIR] Up to [cvsweb.bsd.lv] / mandoc

Diff for /mandoc/mdoc_validate.c between version 1.159 and 1.179

version 1.159, 2011/03/15 16:23:51 version 1.179, 2011/11/19 13:29:47
Line 33 
Line 33 
 #include <string.h>  #include <string.h>
 #include <time.h>  #include <time.h>
   
   #include "mdoc.h"
 #include "mandoc.h"  #include "mandoc.h"
 #include "libmdoc.h"  #include "libmdoc.h"
 #include "libmandoc.h"  #include "libmandoc.h"
Line 71  static void  check_text(struct mdoc *, int, int, char 
Line 72  static void  check_text(struct mdoc *, int, int, char 
 static  void     check_argv(struct mdoc *,  static  void     check_argv(struct mdoc *,
                         struct mdoc_node *, struct mdoc_argv *);                          struct mdoc_node *, struct mdoc_argv *);
 static  void     check_args(struct mdoc *, struct mdoc_node *);  static  void     check_args(struct mdoc *, struct mdoc_node *);
   static  int      concat(char *, const struct mdoc_node *, size_t);
   static  enum mdoc_sec   a2sec(const char *);
   static  size_t          macro2len(enum mdoct);
   
 static  int      concat(struct mdoc *, char *,  
                         const struct mdoc_node *, size_t);  
   
 static  int      ebool(POST_ARGS);  static  int      ebool(POST_ARGS);
 static  int      berr_ge1(POST_ARGS);  static  int      berr_ge1(POST_ARGS);
 static  int      bwarn_ge1(POST_ARGS);  static  int      bwarn_ge1(POST_ARGS);
Line 152  static v_post  posts_notext[] = { ewarn_eq0, NULL };
Line 153  static v_post  posts_notext[] = { ewarn_eq0, NULL };
 static  v_post   posts_ns[] = { post_ns, NULL };  static  v_post   posts_ns[] = { post_ns, NULL };
 static  v_post   posts_os[] = { post_os, post_prol, NULL };  static  v_post   posts_os[] = { post_os, post_prol, NULL };
 static  v_post   posts_rs[] = { post_rs, NULL };  static  v_post   posts_rs[] = { post_rs, NULL };
 static  v_post   posts_sh[] = { post_ignpar, hwarn_ge1, bwarn_ge1, post_sh, NULL };  static  v_post   posts_sh[] = { post_ignpar, hwarn_ge1, post_sh, NULL };
 static  v_post   posts_sp[] = { ewarn_le1, NULL };  static  v_post   posts_sp[] = { ewarn_le1, NULL };
 static  v_post   posts_ss[] = { post_ignpar, hwarn_ge1, bwarn_ge1, NULL };  static  v_post   posts_ss[] = { post_ignpar, hwarn_ge1, NULL };
 static  v_post   posts_st[] = { post_st, NULL };  static  v_post   posts_st[] = { post_st, NULL };
 static  v_post   posts_std[] = { post_std, NULL };  static  v_post   posts_std[] = { post_std, NULL };
 static  v_post   posts_text[] = { ewarn_ge1, NULL };  static  v_post   posts_text[] = { ewarn_ge1, NULL };
Line 177  static v_pre  pres_sh[] = { pre_sh, NULL };
Line 178  static v_pre  pres_sh[] = { pre_sh, NULL };
 static  v_pre    pres_ss[] = { pre_ss, NULL };  static  v_pre    pres_ss[] = { pre_ss, NULL };
 static  v_pre    pres_std[] = { pre_std, NULL };  static  v_pre    pres_std[] = { pre_std, NULL };
   
 const   struct valids mdoc_valids[MDOC_MAX] = {  static  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL },                         /* Ap */          { NULL, NULL },                         /* Ap */
         { pres_dd, posts_dd },                  /* Dd */          { pres_dd, posts_dd },                  /* Dd */
         { pres_dt, posts_dt },                  /* Dt */          { pres_dt, posts_dt },                  /* Dt */
Line 321  static const enum mdoct rsord[RSORD_MAX] = {
Line 322  static const enum mdoct rsord[RSORD_MAX] = {
         MDOC__U          MDOC__U
 };  };
   
   static  const char * const secnames[SEC__MAX] = {
           NULL,
           "NAME",
           "LIBRARY",
           "SYNOPSIS",
           "DESCRIPTION",
           "IMPLEMENTATION NOTES",
           "RETURN VALUES",
           "ENVIRONMENT",
           "FILES",
           "EXIT STATUS",
           "EXAMPLES",
           "DIAGNOSTICS",
           "COMPATIBILITY",
           "ERRORS",
           "SEE ALSO",
           "STANDARDS",
           "HISTORY",
           "AUTHORS",
           "CAVEATS",
           "BUGS",
           "SECURITY CONSIDERATIONS",
           NULL
   };
   
 int  int
 mdoc_valid_pre(struct mdoc *mdoc, struct mdoc_node *n)  mdoc_valid_pre(struct mdoc *mdoc, struct mdoc_node *n)
Line 420  check_count(struct mdoc *m, enum mdoc_type type, 
Line 445  check_count(struct mdoc *m, enum mdoc_type type, 
         }          }
   
         t = lvl == CHECK_WARN ? MANDOCERR_ARGCWARN : MANDOCERR_ARGCOUNT;          t = lvl == CHECK_WARN ? MANDOCERR_ARGCWARN : MANDOCERR_ARGCOUNT;
           mandoc_vmsg(t, m->parse, m->last->line, m->last->pos,
         return(mdoc_vmsg(m, t, m->last->line, m->last->pos,  
                         "want %s%d children (have %d)",                          "want %s%d children (have %d)",
                         p, val, m->last->nchild));                          p, val, m->last->nchild);
           return(1);
 }  }
   
 static int  static int
Line 518  check_argv(struct mdoc *m, struct mdoc_node *n, struct
Line 543  check_argv(struct mdoc *m, struct mdoc_node *n, struct
 static void  static void
 check_text(struct mdoc *m, int ln, int pos, char *p)  check_text(struct mdoc *m, int ln, int pos, char *p)
 {  {
         int              c;          char            *cp;
         size_t           sz;  
   
         for ( ; *p; p++, pos++) {          if (MDOC_LITERAL & m->flags)
                 sz = strcspn(p, "\t\\");                  return;
                 p += (int)sz;  
   
                 if ('\0' == *p)          for (cp = p; NULL != (p = strchr(p, '\t')); p++)
                         break;                  mdoc_pmsg(m, ln, pos + (int)(p - cp), MANDOCERR_BADTAB);
   
                 pos += (int)sz;  
   
                 if ('\t' == *p) {  
                         if ( ! (MDOC_LITERAL & m->flags))  
                                 mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB);  
                         continue;  
                 }  
   
                 if (0 == (c = mandoc_special(p))) {  
                         mdoc_pmsg(m, ln, pos, MANDOCERR_BADESCAPE);  
                         continue;  
                 }  
   
                 p += c - 1;  
                 pos += c - 1;  
         }  
 }  }
   
 static int  static int
Line 555  check_parent(PRE_ARGS, enum mdoct tok, enum mdoc_type 
Line 561  check_parent(PRE_ARGS, enum mdoct tok, enum mdoc_type 
                         (t == n->parent->type))                          (t == n->parent->type))
                 return(1);                  return(1);
   
         mdoc_vmsg(mdoc, MANDOCERR_SYNTCHILD,          mandoc_vmsg(MANDOCERR_SYNTCHILD, mdoc->parse, n->line,
                                 n->line, n->pos, "want parent %s",                          n->pos, "want parent %s", MDOC_ROOT == t ?
                                 MDOC_ROOT == t ? "<root>" :                          "<root>" : mdoc_macronames[tok]);
                                         mdoc_macronames[tok]);  
         return(0);          return(0);
 }  }
   
Line 697  pre_bl(PRE_ARGS)
Line 702  pre_bl(PRE_ARGS)
                         if (LIST_column == lt) {                          if (LIST_column == lt) {
                                 n->norm->Bl.ncols =                                  n->norm->Bl.ncols =
                                         n->args->argv[i].sz;                                          n->args->argv[i].sz;
                                 n->norm->Bl.cols = (const char **)                                  n->norm->Bl.cols = (void *)
                                         n->args->argv[i].value;                                          n->args->argv[i].value;
                         }                          }
                 }                  }
Line 865  pre_sh(PRE_ARGS)
Line 870  pre_sh(PRE_ARGS)
         if (MDOC_BLOCK != n->type)          if (MDOC_BLOCK != n->type)
                 return(1);                  return(1);
   
         mdoc->regs->regs[(int)REG_nS].set = 0;          roff_regunset(mdoc->roff, REG_nS);
         return(check_parent(mdoc, n, MDOC_MAX, MDOC_ROOT));          return(check_parent(mdoc, n, MDOC_MAX, MDOC_ROOT));
 }  }
   
Line 1099  static int
Line 1104  static int
 post_nm(POST_ARGS)  post_nm(POST_ARGS)
 {  {
         char             buf[BUFSIZ];          char             buf[BUFSIZ];
           int              c;
   
         /* If no child specified, make sure we have the meta name. */          /* If no child specified, make sure we have the meta name. */
   
Line 1110  post_nm(POST_ARGS)
Line 1116  post_nm(POST_ARGS)
   
         /* If no meta name, set it from the child. */          /* If no meta name, set it from the child. */
   
         if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))          buf[0] = '\0';
           if (-1 == (c = concat(buf, mdoc->last->child, BUFSIZ))) {
                   mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           }
   
           assert(c);
         mdoc->meta.name = mandoc_strdup(buf);          mdoc->meta.name = mandoc_strdup(buf);
   
         return(1);          return(1);
 }  }
   
Line 1240  post_an(POST_ARGS)
Line 1249  post_an(POST_ARGS)
 static int  static int
 post_it(POST_ARGS)  post_it(POST_ARGS)
 {  {
         int               i, cols, rc;          int               i, cols;
         enum mdoc_list    lt;          enum mdoc_list    lt;
         struct mdoc_node *n, *c;          struct mdoc_node *n, *c;
         enum mandocerr    er;          enum mandocerr    er;
Line 1306  post_it(POST_ARGS)
Line 1315  post_it(POST_ARGS)
                 else                  else
                         er = MANDOCERR_SYNTARGCOUNT;                          er = MANDOCERR_SYNTARGCOUNT;
   
                 rc = mdoc_vmsg(mdoc, er,                  mandoc_vmsg(er, mdoc->parse, mdoc->last->line,
                                 mdoc->last->line, mdoc->last->pos,                                  mdoc->last->pos,
                                 "columns == %d (have %d)", cols, i);                                  "columns == %d (have %d)", cols, i);
                 return(rc);                  return(MANDOCERR_ARGCOUNT == er);
         default:          default:
                 break;                  break;
         }          }
Line 1370  post_bl_block_width(POST_ARGS)
Line 1379  post_bl_block_width(POST_ARGS)
                 width = 6;                  width = 6;
         else if (MDOC_MAX == (tok = mdoc_hash_find(n->norm->Bl.width)))          else if (MDOC_MAX == (tok = mdoc_hash_find(n->norm->Bl.width)))
                 return(1);                  return(1);
         else if (0 == (width = mdoc_macro2len(tok)))  {          else if (0 == (width = macro2len(tok)))  {
                 mdoc_nmsg(mdoc, n, MANDOCERR_BADWIDTH);                  mdoc_nmsg(mdoc, n, MANDOCERR_BADWIDTH);
                 return(1);                  return(1);
         }          }
Line 1385  post_bl_block_width(POST_ARGS)
Line 1394  post_bl_block_width(POST_ARGS)
   
         assert(i < (int)n->args->argc);          assert(i < (int)n->args->argc);
   
         snprintf(buf, NUMSIZ, "%zun", width);          snprintf(buf, NUMSIZ, "%un", (unsigned int)width);
         free(n->args->argv[i].value[0]);          free(n->args->argv[i].value[0]);
         n->args->argv[i].value[0] = mandoc_strdup(buf);          n->args->argv[i].value[0] = mandoc_strdup(buf);
   
Line 1427  post_bl_block_tag(POST_ARGS)
Line 1436  post_bl_block_tag(POST_ARGS)
                         break;                          break;
                 }                  }
   
                 if (0 != (ssz = mdoc_macro2len(nn->tok)))                  if (0 != (ssz = macro2len(nn->tok)))
                         sz = ssz;                          sz = ssz;
   
                 break;                  break;
Line 1435  post_bl_block_tag(POST_ARGS)
Line 1444  post_bl_block_tag(POST_ARGS)
   
         /* Defaults to ten ens. */          /* Defaults to ten ens. */
   
         snprintf(buf, NUMSIZ, "%zun", sz);          snprintf(buf, NUMSIZ, "%un", (unsigned int)sz);
   
         /*          /*
          * We have to dynamically add this to the macro's argument list.           * We have to dynamically add this to the macro's argument list.
Line 1501  post_bl_head(POST_ARGS) 
Line 1510  post_bl_head(POST_ARGS) 
         assert(0 == np->args->argv[j].sz);          assert(0 == np->args->argv[j].sz);
   
         /*          /*
          * Accomodate for new-style groff column syntax.  Shuffle the           * Accommodate for new-style groff column syntax.  Shuffle the
          * child nodes, all of which must be TEXT, as arguments for the           * child nodes, all of which must be TEXT, as arguments for the
          * column field.  Then, delete the head children.           * column field.  Then, delete the head children.
          */           */
Line 1511  post_bl_head(POST_ARGS) 
Line 1520  post_bl_head(POST_ARGS) 
                 ((size_t)mdoc->last->nchild * sizeof(char *));                  ((size_t)mdoc->last->nchild * sizeof(char *));
   
         mdoc->last->norm->Bl.ncols = np->args->argv[j].sz;          mdoc->last->norm->Bl.ncols = np->args->argv[j].sz;
         mdoc->last->norm->Bl.cols = (const char **)np->args->argv[j].value;          mdoc->last->norm->Bl.cols = (void *)np->args->argv[j].value;
   
         for (i = 0, nn = mdoc->last->child; nn; i++) {          for (i = 0, nn = mdoc->last->child; nn; i++) {
                 np->args->argv[j].value[i] = nn->string;                  np->args->argv[j].value[i] = nn->string;
Line 1685  post_rs(POST_ARGS)
Line 1694  post_rs(POST_ARGS)
         }          }
   
         /*          /*
            * Nothing to sort if only invalid nodes were found
            * inside the `Rs' body.
            */
   
           if (NULL == mdoc->last->child)
                   return(1);
   
           /*
          * The full `Rs' block needs special handling to order the           * The full `Rs' block needs special handling to order the
          * sub-elements according to `rsord'.  Pick through each element           * sub-elements according to `rsord'.  Pick through each element
          * and correctly order it.  This is a insertion sort.           * and correctly order it.  This is a insertion sort.
Line 1810  post_sh_head(POST_ARGS)
Line 1827  post_sh_head(POST_ARGS)
 {  {
         char             buf[BUFSIZ];          char             buf[BUFSIZ];
         enum mdoc_sec    sec;          enum mdoc_sec    sec;
           int              c;
   
         /*          /*
          * Process a new section.  Sections are either "named" or           * Process a new section.  Sections are either "named" or
Line 1818  post_sh_head(POST_ARGS)
Line 1836  post_sh_head(POST_ARGS)
          * manual sections.           * manual sections.
          */           */
   
         if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))          sec = SEC_CUSTOM;
           buf[0] = '\0';
           if (-1 == (c = concat(buf, mdoc->last->child, BUFSIZ))) {
                   mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           } else if (1 == c)
                   sec = a2sec(buf);
   
         sec = mdoc_str2sec(buf);  
   
         /* The NAME should be first. */          /* The NAME should be first. */
   
         if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)          if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)
Line 1970  post_dd(POST_ARGS)
Line 1991  post_dd(POST_ARGS)
 {  {
         char              buf[DATESIZE];          char              buf[DATESIZE];
         struct mdoc_node *n;          struct mdoc_node *n;
           int               c;
   
         if (mdoc->meta.date)          if (mdoc->meta.date)
                 free(mdoc->meta.date);                  free(mdoc->meta.date);
   
         n = mdoc->last;          n = mdoc->last;
         if (NULL == n->child || '\0' == n->child->string[0]) {          if (NULL == n->child || '\0' == n->child->string[0]) {
                 mdoc->meta.date = mandoc_normdate(NULL,                  mdoc->meta.date = mandoc_normdate
                     mdoc->msg, mdoc->data, n->line, n->pos);                          (mdoc->parse, NULL, n->line, n->pos);
                 return(1);                  return(1);
         }          }
   
         if ( ! concat(mdoc, buf, n->child, DATESIZE))          buf[0] = '\0';
           if (-1 == (c = concat(buf, n->child, DATESIZE))) {
                   mdoc_nmsg(mdoc, n->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           }
   
         mdoc->meta.date = mandoc_normdate(buf,          assert(c);
             mdoc->msg, mdoc->data, n->line, n->pos);          mdoc->meta.date = mandoc_normdate
                   (mdoc->parse, buf, n->line, n->pos);
   
         return(1);          return(1);
 }  }
Line 2012  post_dt(POST_ARGS)
Line 2038  post_dt(POST_ARGS)
   
         if (NULL != (nn = n->child))          if (NULL != (nn = n->child))
                 for (p = nn->string; *p; p++) {                  for (p = nn->string; *p; p++) {
                         if (toupper((u_char)*p) == *p)                          if (toupper((unsigned char)*p) == *p)
                                 continue;                                  continue;
   
                         /*                          /*
Line 2138  post_os(POST_ARGS)
Line 2164  post_os(POST_ARGS)
 {  {
         struct mdoc_node *n;          struct mdoc_node *n;
         char              buf[BUFSIZ];          char              buf[BUFSIZ];
           int               c;
 #ifndef OSNAME  #ifndef OSNAME
         struct utsname    utsname;          struct utsname    utsname;
 #endif  #endif
Line 2154  post_os(POST_ARGS)
Line 2181  post_os(POST_ARGS)
         if (mdoc->meta.os)          if (mdoc->meta.os)
                 free(mdoc->meta.os);                  free(mdoc->meta.os);
   
         if ( ! concat(mdoc, buf, n->child, BUFSIZ))          buf[0] = '\0';
           if (-1 == (c = concat(buf, n->child, BUFSIZ))) {
                   mdoc_nmsg(mdoc, n->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           }
   
           assert(c);
   
         /* XXX: yes, these can all be dynamically-adjusted buffers, but          /* XXX: yes, these can all be dynamically-adjusted buffers, but
          * it's really not worth the extra hackery.           * it's really not worth the extra hackery.
          */           */
Line 2168  post_os(POST_ARGS)
Line 2200  post_os(POST_ARGS)
                         return(0);                          return(0);
                 }                  }
 #else /*!OSNAME */  #else /*!OSNAME */
                 if (uname(&utsname)) {                  if (-1 == uname(&utsname)) {
                         mdoc_nmsg(mdoc, n, MANDOCERR_UNAME);                          mdoc_nmsg(mdoc, n, MANDOCERR_UNAME);
                         mdoc->meta.os = mandoc_strdup("UNKNOWN");                          mdoc->meta.os = mandoc_strdup("UNKNOWN");
                         return(post_prol(mdoc));                          return(post_prol(mdoc));
Line 2222  post_std(POST_ARGS)
Line 2254  post_std(POST_ARGS)
         return(1);          return(1);
 }  }
   
   /*
    * Concatenate a node, stopping at the first non-text.
    * Concatenation is separated by a single whitespace.
    * Returns -1 on fatal (string overrun) error, 0 if child nodes were
    * encountered, 1 otherwise.
    */
 static int  static int
 concat(struct mdoc *m, char *p, const struct mdoc_node *n, size_t sz)  concat(char *p, const struct mdoc_node *n, size_t sz)
 {  {
   
         p[0] = '\0';          for ( ; NULL != n; n = n->next) {
                   if (MDOC_TEXT != n->type)
                           return(0);
                   if ('\0' != p[0] && strlcat(p, " ", sz) >= sz)
                           return(-1);
                   if (strlcat(p, n->string, sz) >= sz)
                           return(-1);
                   concat(p, n->child, sz);
           }
   
         /*          return(1);
          * Concatenate sibling nodes together.  All siblings must be of  }
          * type MDOC_TEXT or an assertion is raised.  Concatenation is  
          * separated by a single whitespace.  Returns 0 on fatal (string  
          * overrun) error.  
          */  
   
         for ( ; n; n = n->next) {  static enum mdoc_sec
                 assert(MDOC_TEXT == n->type);  a2sec(const char *p)
   {
           int              i;
   
                 if (strlcat(p, n->string, sz) >= sz) {          for (i = 0; i < (int)SEC__MAX; i++)
                         mdoc_nmsg(m, n, MANDOCERR_MEM);                  if (secnames[i] && 0 == strcmp(p, secnames[i]))
                         return(0);                          return((enum mdoc_sec)i);
                 }  
   
                 if (NULL == n->next)          return(SEC_CUSTOM);
                         continue;  }
   
                 if (strlcat(p, " ", sz) >= sz) {  static size_t
                         mdoc_nmsg(m, n, MANDOCERR_MEM);  macro2len(enum mdoct macro)
                         return(0);  {
                 }  
         }  
   
         return(1);          switch (macro) {
           case(MDOC_Ad):
                   return(12);
           case(MDOC_Ao):
                   return(12);
           case(MDOC_An):
                   return(12);
           case(MDOC_Aq):
                   return(12);
           case(MDOC_Ar):
                   return(12);
           case(MDOC_Bo):
                   return(12);
           case(MDOC_Bq):
                   return(12);
           case(MDOC_Cd):
                   return(12);
           case(MDOC_Cm):
                   return(10);
           case(MDOC_Do):
                   return(10);
           case(MDOC_Dq):
                   return(12);
           case(MDOC_Dv):
                   return(12);
           case(MDOC_Eo):
                   return(12);
           case(MDOC_Em):
                   return(10);
           case(MDOC_Er):
                   return(17);
           case(MDOC_Ev):
                   return(15);
           case(MDOC_Fa):
                   return(12);
           case(MDOC_Fl):
                   return(10);
           case(MDOC_Fo):
                   return(16);
           case(MDOC_Fn):
                   return(16);
           case(MDOC_Ic):
                   return(10);
           case(MDOC_Li):
                   return(16);
           case(MDOC_Ms):
                   return(6);
           case(MDOC_Nm):
                   return(10);
           case(MDOC_No):
                   return(12);
           case(MDOC_Oo):
                   return(10);
           case(MDOC_Op):
                   return(14);
           case(MDOC_Pa):
                   return(32);
           case(MDOC_Pf):
                   return(12);
           case(MDOC_Po):
                   return(12);
           case(MDOC_Pq):
                   return(12);
           case(MDOC_Ql):
                   return(16);
           case(MDOC_Qo):
                   return(12);
           case(MDOC_So):
                   return(12);
           case(MDOC_Sq):
                   return(12);
           case(MDOC_Sy):
                   return(6);
           case(MDOC_Sx):
                   return(16);
           case(MDOC_Tn):
                   return(10);
           case(MDOC_Va):
                   return(12);
           case(MDOC_Vt):
                   return(12);
           case(MDOC_Xr):
                   return(10);
           default:
                   break;
           };
           return(0);
 }  }
   
Legend:
Removed from v.1.159  
changed lines
  Added in v.1.179
CVSweb