[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.174 and 1.189

version 1.174, 2011/08/16 12:23:51 version 1.189, 2012/07/18 11:11:12
Line 1 
Line 1 
 /*      $Id$ */  /*      $Id$ */
 /*  /*
  * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>   * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010, 2011 Ingo Schwarze <schwarze@openbsd.org>   * Copyright (c) 2010, 2011, 2012 Ingo Schwarze <schwarze@openbsd.org>
  *   *
  * Permission to use, copy, modify, and distribute this software for any   * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above   * purpose with or without fee is hereby granted, provided that the above
Line 107  static int  post_lb(POST_ARGS);
Line 107  static int  post_lb(POST_ARGS);
 static  int      post_nm(POST_ARGS);  static  int      post_nm(POST_ARGS);
 static  int      post_ns(POST_ARGS);  static  int      post_ns(POST_ARGS);
 static  int      post_os(POST_ARGS);  static  int      post_os(POST_ARGS);
   static  int      post_par(POST_ARGS);
 static  int      post_ignpar(POST_ARGS);  static  int      post_ignpar(POST_ARGS);
 static  int      post_prol(POST_ARGS);  static  int      post_prol(POST_ARGS);
 static  int      post_root(POST_ARGS);  static  int      post_root(POST_ARGS);
Line 152  static v_post  posts_nm[] = { post_nm, NULL };
Line 153  static v_post  posts_nm[] = { post_nm, NULL };
 static  v_post   posts_notext[] = { ewarn_eq0, NULL };  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_pp[] = { post_par, ewarn_eq0, 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, 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[] = { post_par, ewarn_le1, NULL };
 static  v_post   posts_ss[] = { post_ignpar, hwarn_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 };
Line 185  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 187  static const struct valids mdoc_valids[MDOC_MAX] = {
         { pres_os, posts_os },                  /* Os */          { pres_os, posts_os },                  /* Os */
         { pres_sh, posts_sh },                  /* Sh */          { pres_sh, posts_sh },                  /* Sh */
         { pres_ss, posts_ss },                  /* Ss */          { pres_ss, posts_ss },                  /* Ss */
         { pres_pp, posts_notext },              /* Pp */          { pres_pp, posts_pp },                  /* Pp */
         { pres_d1, posts_wline },               /* D1 */          { pres_d1, posts_wline },               /* D1 */
         { pres_dl, posts_dl },                  /* Dl */          { pres_dl, posts_dl },                  /* Dl */
         { pres_bd, posts_bd },                  /* Bd */          { pres_bd, posts_bd },                  /* Bd */
Line 286  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 288  static const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL },                         /* Fr */          { NULL, NULL },                         /* Fr */
         { NULL, posts_eoln },                   /* Ud */          { NULL, posts_eoln },                   /* Ud */
         { NULL, posts_lb },                     /* Lb */          { NULL, posts_lb },                     /* Lb */
         { NULL, posts_notext },                 /* Lp */          { pres_pp, posts_pp },                  /* Lp */
         { NULL, NULL },                         /* Lk */          { NULL, NULL },                         /* Lk */
         { NULL, posts_defaults },               /* Mt */          { NULL, posts_defaults },               /* Mt */
         { NULL, NULL },                         /* Brq */          { NULL, NULL },                         /* Brq */
Line 297  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 299  static const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL },                         /* En */          { NULL, NULL },                         /* En */
         { NULL, NULL },                         /* Dx */          { NULL, NULL },                         /* Dx */
         { NULL, posts_text },                   /* %Q */          { NULL, posts_text },                   /* %Q */
         { NULL, posts_notext },                 /* br */          { NULL, posts_pp },                     /* br */
         { pres_pp, posts_sp },                  /* sp */          { NULL, posts_sp },                     /* sp */
         { NULL, posts_text1 },                  /* %U */          { NULL, posts_text1 },                  /* %U */
         { NULL, NULL },                         /* Ta */          { NULL, NULL },                         /* Ta */
 };  };
Line 314  static const enum mdoct rsord[RSORD_MAX] = {
Line 316  static const enum mdoct rsord[RSORD_MAX] = {
         MDOC__R,          MDOC__R,
         MDOC__N,          MDOC__N,
         MDOC__V,          MDOC__V,
           MDOC__U,
         MDOC__P,          MDOC__P,
         MDOC__Q,          MDOC__Q,
         MDOC__D,          MDOC__D,
         MDOC__O,          MDOC__O,
         MDOC__C,          MDOC__C
         MDOC__U  
 };  };
   
 static  const char * const secnames[SEC__MAX] = {  static  const char * const secnames[SEC__MAX] = {
Line 545  check_text(struct mdoc *m, int ln, int pos, char *p)
Line 547  check_text(struct mdoc *m, int ln, int pos, char *p)
 {  {
         char            *cp;          char            *cp;
   
         cp = p;          if (MDOC_LITERAL & m->flags)
         for (cp = p; NULL != (p = strchr(p, '\t')); p++) {                  return;
                 if (MDOC_LITERAL & m->flags)  
                         continue;          for (cp = p; NULL != (p = strchr(p, '\t')); p++)
                 mdoc_pmsg(m, ln, (int)(p - cp), MANDOCERR_BADTAB);                  mdoc_pmsg(m, ln, pos + (int)(p - cp), MANDOCERR_BADTAB);
         }  
 }  }
   
 static int  static int
Line 662  pre_bl(PRE_ARGS)
Line 663  pre_bl(PRE_ARGS)
                         comp = 1;                          comp = 1;
                         break;                          break;
                 case (MDOC_Width):                  case (MDOC_Width):
                         dup = (NULL != n->norm->Bl.width);                          /* NB: this can be empty! */
                         width = n->args->argv[i].value[0];                          if (n->args->argv[i].sz) {
                                   width = n->args->argv[i].value[0];
                                   dup = (NULL != n->norm->Bl.width);
                                   break;
                           }
                           mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);
                         break;                          break;
                 case (MDOC_Offset):                  case (MDOC_Offset):
                         /* NB: this can be empty! */                          /* NB: this can be empty! */
Line 703  pre_bl(PRE_ARGS)
Line 709  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 729  pre_bl(PRE_ARGS)
Line 735  pre_bl(PRE_ARGS)
         /*          /*
          * Validate the width field.  Some list types don't need width           * Validate the width field.  Some list types don't need width
          * types and should be warned about them.  Others should have it           * types and should be warned about them.  Others should have it
          * and must also be warned.           * and must also be warned.  Yet others have a default and need
            * no warning.
          */           */
   
         switch (n->norm->Bl.type) {          switch (n->norm->Bl.type) {
         case (LIST_tag):          case (LIST_tag):
                 if (n->norm->Bl.width)                  if (NULL == n->norm->Bl.width)
                         break;                          mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG);
                 mdoc_nmsg(mdoc, n, MANDOCERR_NOWIDTHARG);  
                 break;                  break;
         case (LIST_column):          case (LIST_column):
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
Line 750  pre_bl(PRE_ARGS)
Line 756  pre_bl(PRE_ARGS)
                 if (n->norm->Bl.width)                  if (n->norm->Bl.width)
                         mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);                          mdoc_nmsg(mdoc, n, MANDOCERR_IGNARGV);
                 break;                  break;
           case (LIST_bullet):
                   /* FALLTHROUGH */
           case (LIST_dash):
                   /* FALLTHROUGH */
           case (LIST_hyphen):
                   if (NULL == n->norm->Bl.width)
                           n->norm->Bl.width = "2n";
                   break;
           case (LIST_enum):
                   if (NULL == n->norm->Bl.width)
                           n->norm->Bl.width = "3n";
                   break;
         default:          default:
                 break;                  break;
         }          }
Line 1107  post_nm(POST_ARGS)
Line 1125  post_nm(POST_ARGS)
         char             buf[BUFSIZ];          char             buf[BUFSIZ];
         int              c;          int              c;
   
         /* If no child specified, make sure we have the meta name. */          if (NULL != mdoc->meta.name)
   
         if (NULL == mdoc->last->child && NULL == mdoc->meta.name) {  
                 mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NONAME);  
                 return(1);                  return(1);
         } else if (mdoc->meta.name)  
                 return(1);  
   
         /* If no meta name, set it from the child. */          /* Try to use our children for setting the meta name. */
   
         buf[0] = '\0';          if (NULL != mdoc->last->child) {
         if (-1 == (c = concat(buf, mdoc->last->child, BUFSIZ))) {                  buf[0] = '\0';
                   c = concat(buf, mdoc->last->child, BUFSIZ);
           } else
                   c = 0;
   
           switch (c) {
           case (-1):
                 mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);                  mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           case (0):
                   mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_NONAME);
                   mdoc->meta.name = mandoc_strdup("UNKNOWN");
                   break;
           default:
                   mdoc->meta.name = mandoc_strdup(buf);
                   break;
         }          }
   
         assert(c);  
         mdoc->meta.name = mandoc_strdup(buf);  
         return(1);          return(1);
 }  }
   
Line 1330  post_it(POST_ARGS)
Line 1353  post_it(POST_ARGS)
 static int  static int
 post_bl_block(POST_ARGS)  post_bl_block(POST_ARGS)
 {  {
         struct mdoc_node *n;          struct mdoc_node *n, *ni, *nc;
   
         /*          /*
          * These are fairly complicated, so we've broken them into two           * These are fairly complicated, so we've broken them into two
Line 1346  post_bl_block(POST_ARGS) 
Line 1369  post_bl_block(POST_ARGS) 
                         NULL == n->norm->Bl.width) {                          NULL == n->norm->Bl.width) {
                 if ( ! post_bl_block_tag(mdoc))                  if ( ! post_bl_block_tag(mdoc))
                         return(0);                          return(0);
                   assert(n->norm->Bl.width);
         } else if (NULL != n->norm->Bl.width) {          } else if (NULL != n->norm->Bl.width) {
                 if ( ! post_bl_block_width(mdoc))                  if ( ! post_bl_block_width(mdoc))
                         return(0);                          return(0);
         } else                  assert(n->norm->Bl.width);
                 return(1);          }
   
         assert(n->norm->Bl.width);          for (ni = n->body->child; ni; ni = ni->next) {
                   if (NULL == ni->body)
                           continue;
                   nc = ni->body->last;
                   while (NULL != nc) {
                           switch (nc->tok) {
                           case (MDOC_Pp):
                                   /* FALLTHROUGH */
                           case (MDOC_Lp):
                                   /* FALLTHROUGH */
                           case (MDOC_br):
                                   break;
                           default:
                                   nc = NULL;
                                   continue;
                           }
                           if (NULL == ni->next) {
                                   mdoc_nmsg(mdoc, nc, MANDOCERR_MOVEPAR);
                                   if ( ! mdoc_node_relink(mdoc, nc))
                                           return(0);
                           } else if (0 == n->norm->Bl.comp &&
                               LIST_column != n->norm->Bl.type) {
                                   mdoc_nmsg(mdoc, nc, MANDOCERR_IGNPAR);
                                   mdoc_node_delete(mdoc, nc);
                           } else
                                   break;
                           nc = ni->body->last;
                   }
           }
         return(1);          return(1);
 }  }
   
Line 1521  post_bl_head(POST_ARGS) 
Line 1573  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 1695  post_rs(POST_ARGS)
Line 1747  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 1819  static int
Line 1879  static int
 post_sh_head(POST_ARGS)  post_sh_head(POST_ARGS)
 {  {
         char             buf[BUFSIZ];          char             buf[BUFSIZ];
           struct mdoc_node *n;
         enum mdoc_sec    sec;          enum mdoc_sec    sec;
         int              c;          int              c;
   
Line 1853  post_sh_head(POST_ARGS)
Line 1914  post_sh_head(POST_ARGS)
   
         mdoc->lastsec = sec;          mdoc->lastsec = sec;
   
           /*
            * Set the section attribute for the current HEAD, for its
            * parent BLOCK, and for the HEAD children; the latter can
            * only be TEXT nodes, so no recursion is needed.
            * For other blocks and elements, including .Sh BODY, this is
            * done when allocating the node data structures, but for .Sh
            * BLOCK and HEAD, the section is still unknown at that time.
            */
   
           mdoc->last->parent->sec = sec;
           mdoc->last->sec = sec;
           for (n = mdoc->last->child; n; n = n->next)
                   n->sec = sec;
   
         /* We don't care about custom sections after this. */          /* We don't care about custom sections after this. */
   
         if (SEC_CUSTOM == sec)          if (SEC_CUSTOM == sec)
Line 1935  pre_par(PRE_ARGS)
Line 2010  pre_par(PRE_ARGS)
          * block:  `Lp', `Pp', or non-compact `Bd' or `Bl'.           * block:  `Lp', `Pp', or non-compact `Bd' or `Bl'.
          */           */
   
         if (MDOC_Pp != mdoc->last->tok && MDOC_Lp != mdoc->last->tok)          if (MDOC_Pp != mdoc->last->tok &&
               MDOC_Lp != mdoc->last->tok &&
               MDOC_br != mdoc->last->tok)
                 return(1);                  return(1);
         if (MDOC_Bl == n->tok && n->norm->Bl.comp)          if (MDOC_Bl == n->tok && n->norm->Bl.comp)
                 return(1);                  return(1);
Line 1950  pre_par(PRE_ARGS)
Line 2027  pre_par(PRE_ARGS)
 }  }
   
 static int  static int
   post_par(POST_ARGS)
   {
   
           if (MDOC_ELEM != mdoc->last->type &&
               MDOC_BLOCK != mdoc->last->type)
                   return(1);
   
           if (NULL == mdoc->last->prev) {
                   if (MDOC_Sh != mdoc->last->parent->tok &&
                       MDOC_Ss != mdoc->last->parent->tok)
                           return(1);
           } else {
                   if (MDOC_Pp != mdoc->last->prev->tok &&
                       MDOC_Lp != mdoc->last->prev->tok &&
                       (MDOC_br != mdoc->last->tok ||
                        (MDOC_sp != mdoc->last->prev->tok &&
                         MDOC_br != mdoc->last->prev->tok)))
                           return(1);
           }
   
           mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_IGNPAR);
           mdoc_node_delete(mdoc, mdoc->last);
           return(1);
   }
   
   static int
 pre_literal(PRE_ARGS)  pre_literal(PRE_ARGS)
 {  {
   
Line 2077  post_dt(POST_ARGS)
Line 2180  post_dt(POST_ARGS)
          *       arch = NULL           *       arch = NULL
          */           */
   
         cp = mdoc_a2msec(nn->string);          cp = mandoc_a2msec(nn->string);
         if (cp) {          if (cp) {
                 mdoc->meta.vol = mandoc_strdup(cp);                  mdoc->meta.vol = mandoc_strdup(cp);
                 mdoc->meta.msec = mandoc_strdup(nn->string);                  mdoc->meta.msec = mandoc_strdup(nn->string);
Line 2165  post_os(POST_ARGS)
Line 2268  post_os(POST_ARGS)
         n = mdoc->last;          n = mdoc->last;
   
         /*          /*
          * Set the operating system by way of the `Os' macro.  Note that           * Set the operating system by way of the `Os' macro.
          * if an argument isn't provided and -DOSNAME="\"foo\"" is           * The order of precedence is:
          * provided during compilation, this value will be used instead           * 1. the argument of the `Os' macro, unless empty
          * of filling in "sysname release" from uname().           * 2. the -Ios=foo command line argument, if provided
            * 3. -DOSNAME="\"foo\"", if provided during compilation
            * 4. "sysname release" from uname(3)
          */           */
   
         if (mdoc->meta.os)          free(mdoc->meta.os);
                 free(mdoc->meta.os);  
   
         buf[0] = '\0';          buf[0] = '\0';
         if (-1 == (c = concat(buf, n->child, BUFSIZ))) {          if (-1 == (c = concat(buf, n->child, BUFSIZ))) {
Line 2182  post_os(POST_ARGS)
Line 2286  post_os(POST_ARGS)
   
         assert(c);          assert(c);
   
         /* XXX: yes, these can all be dynamically-adjusted buffers, but  
          * it's really not worth the extra hackery.  
          */  
   
         if ('\0' == buf[0]) {          if ('\0' == buf[0]) {
                   if (mdoc->defos) {
                           mdoc->meta.os = mandoc_strdup(mdoc->defos);
                           return(1);
                   }
 #ifdef OSNAME  #ifdef OSNAME
                 if (strlcat(buf, OSNAME, BUFSIZ) >= BUFSIZ) {                  if (strlcat(buf, OSNAME, BUFSIZ) >= BUFSIZ) {
                         mdoc_nmsg(mdoc, n, MANDOCERR_MEM);                          mdoc_nmsg(mdoc, n, MANDOCERR_MEM);
Legend:
Removed from v.1.174  
changed lines
  Added in v.1.189
CVSweb