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

Diff for /mandoc/Attic/validate.c between version 1.26 and 1.31

version 1.26, 2009/01/12 16:39:57 version 1.31, 2009/01/16 11:50:54
Line 41  static int pre_prologue(struct mdoc *, struct mdoc_nod
Line 41  static int pre_prologue(struct mdoc *, struct mdoc_nod
 static  int     pre_prologue(struct mdoc *, struct mdoc_node *);  static  int     pre_prologue(struct mdoc *, struct mdoc_node *);
   
 static  int     headchild_err_ge1(struct mdoc *);  static  int     headchild_err_ge1(struct mdoc *);
   static  int     headchild_warn_ge1(struct mdoc *);
 static  int     headchild_err_eq0(struct mdoc *);  static  int     headchild_err_eq0(struct mdoc *);
 static  int     elemchild_err_eq0(struct mdoc *);  static  int     elemchild_err_eq0(struct mdoc *);
 static  int     elemchild_err_ge1(struct mdoc *);  static  int     elemchild_err_ge1(struct mdoc *);
 static  int     elemchild_warn_eq0(struct mdoc *);  static  int     elemchild_warn_eq0(struct mdoc *);
 static  int     bodychild_warn_ge1(struct mdoc *);  static  int     bodychild_warn_ge1(struct mdoc *);
   static  int     bodychild_err_eq0(struct mdoc *);
 static  int     elemchild_warn_ge1(struct mdoc *);  static  int     elemchild_warn_ge1(struct mdoc *);
 static  int     post_sh(struct mdoc *);  static  int     post_sh(struct mdoc *);
 static  int     post_bl(struct mdoc *);  static  int     post_bl(struct mdoc *);
Line 56  static v_pre pres_d1[] = { pre_display, NULL };
Line 58  static v_pre pres_d1[] = { pre_display, NULL };
 static  v_pre   pres_bd[] = { pre_display, pre_bd, NULL };  static  v_pre   pres_bd[] = { pre_display, pre_bd, NULL };
 static  v_pre   pres_bl[] = { pre_bl, NULL };  static  v_pre   pres_bl[] = { pre_bl, NULL };
 static  v_pre   pres_it[] = { pre_it, NULL };  static  v_pre   pres_it[] = { pre_it, NULL };
 static  v_post  posts_bd[] = { headchild_err_eq0,  
                         bodychild_warn_ge1, NULL };  
   
   static  v_post  posts_bd[] = { headchild_err_eq0, bodychild_warn_ge1, NULL };
 static  v_post  posts_text[] = { elemchild_err_ge1, NULL };  static  v_post  posts_text[] = { elemchild_err_ge1, NULL };
 static  v_post  posts_wtext[] = { elemchild_warn_ge1, NULL };  static  v_post  posts_wtext[] = { elemchild_warn_ge1, NULL };
 static  v_post  posts_notext[] = { elemchild_err_eq0, NULL };  static  v_post  posts_notext[] = { elemchild_err_eq0, NULL };
 static  v_post  posts_sh[] = { headchild_err_ge1,  static  v_post  posts_wline[] = { headchild_warn_ge1, bodychild_err_eq0, NULL };
                         bodychild_warn_ge1, post_sh, NULL };  static  v_post  posts_sh[] = { headchild_err_ge1, bodychild_warn_ge1, post_sh, NULL };
 static  v_post  posts_bl[] = { headchild_err_eq0,  static  v_post  posts_bl[] = { headchild_err_eq0, bodychild_warn_ge1, post_bl, NULL };
                         bodychild_warn_ge1, post_bl, NULL };  
 static  v_post  posts_it[] = { post_it, NULL };  static  v_post  posts_it[] = { post_it, NULL };
 static  v_post  posts_ss[] = { headchild_err_ge1, NULL };  static  v_post  posts_ss[] = { headchild_err_ge1, NULL };
 static  v_post  posts_pp[] = { elemchild_warn_eq0, NULL };  static  v_post  posts_pp[] = { elemchild_warn_eq0, NULL };
Line 79  const struct valids mdoc_valids[MDOC_MAX] = {
Line 79  const struct valids mdoc_valids[MDOC_MAX] = {
         { pres_prologue, NULL }, /* Os */          { pres_prologue, NULL }, /* Os */
         /* FIXME: preceding Pp. */          /* FIXME: preceding Pp. */
         /* FIXME: NAME section internal ordering. */          /* FIXME: NAME section internal ordering. */
           /* FIXME: can only be a child of root. */
         { NULL, posts_sh }, /* Sh */          { NULL, posts_sh }, /* Sh */
         /* FIXME: preceding Pp. */          /* FIXME: preceding Pp. */
           /* FIXME: can only be a child of Sh. */
         { NULL, posts_ss }, /* Ss */          { NULL, posts_ss }, /* Ss */
         /* FIXME: proceeding... */          /* FIXME: proceeding... */
         { NULL, posts_pp }, /* Pp */          { NULL, posts_pp }, /* Pp */
Line 114  const struct valids mdoc_valids[MDOC_MAX] = {
Line 116  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, posts_text }, /* Li */          { NULL, posts_text }, /* Li */
         { NULL, posts_wtext }, /* Nd */          { NULL, posts_wtext }, /* Nd */
         { NULL, NULL }, /* Nm */  /* FIXME: If name not set? */          { NULL, NULL }, /* Nm */  /* FIXME: If name not set? */
         { NULL, posts_wtext }, /* Op */          { NULL, posts_wline }, /* Op */
         { NULL, NULL }, /* Ot */          { NULL, NULL }, /* Ot */
         { NULL, NULL }, /* Pa */          { NULL, NULL }, /* Pa */
         { NULL, posts_notext }, /* Rv */ /* -std required */          { NULL, posts_notext }, /* Rv */ /* -std required */
Line 135  const struct valids mdoc_valids[MDOC_MAX] = {
Line 137  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, posts_text }, /* %V */          { NULL, posts_text }, /* %V */
         { NULL, NULL }, /* Ac */          { NULL, NULL }, /* Ac */
         { NULL, NULL }, /* Ao */          { NULL, NULL }, /* Ao */
         { NULL, posts_wtext }, /* Aq */          { NULL, posts_wline }, /* Aq */
         { NULL, NULL }, /* At */ /* FIXME */          { NULL, NULL }, /* At */ /* FIXME */
         { NULL, NULL }, /* Bc */          { NULL, NULL }, /* Bc */
         { NULL, NULL }, /* Bf */          { NULL, NULL }, /* Bf */
         { NULL, NULL }, /* Bo */          { NULL, NULL }, /* Bo */
         { NULL, posts_wtext }, /* Bq */          { NULL, posts_wline }, /* Bq */
         { NULL, NULL }, /* Bsx */          { NULL, NULL }, /* Bsx */
         { NULL, NULL }, /* Bx */          { NULL, NULL }, /* Bx */
         { NULL, NULL }, /* Db */ /* FIXME: boolean */          { NULL, NULL }, /* Db */ /* FIXME: boolean */
         { NULL, NULL }, /* Dc */          { NULL, NULL }, /* Dc */
         { NULL, NULL }, /* Do */          { NULL, NULL }, /* Do */
         { NULL, posts_wtext }, /* Dq */          { NULL, posts_wline }, /* Dq */
         { NULL, NULL }, /* Ec */          { NULL, NULL }, /* Ec */
         { NULL, NULL }, /* Ef */ /* -symbolic, etc. */          { NULL, NULL }, /* Ef */ /* -symbolic, etc. */
         { NULL, posts_text }, /* Em */          { NULL, posts_text }, /* Em */
Line 160  const struct valids mdoc_valids[MDOC_MAX] = {
Line 162  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL }, /* Pc */          { NULL, NULL }, /* Pc */
         { NULL, NULL }, /* Pf */ /* FIXME: 2 or more arguments */          { NULL, NULL }, /* Pf */ /* FIXME: 2 or more arguments */
         { NULL, NULL }, /* Po */          { NULL, NULL }, /* Po */
         { NULL, posts_wtext }, /* Pq */ /* FIXME: ignore following Sh/Ss */          { NULL, posts_wline }, /* Pq */ /* FIXME: ignore following Sh/Ss */
         { NULL, NULL }, /* Qc */          { NULL, NULL }, /* Qc */
         { NULL, posts_wtext }, /* Ql */          { NULL, posts_wline }, /* Ql */
         { NULL, NULL }, /* Qo */          { NULL, NULL }, /* Qo */
         { NULL, posts_wtext }, /* Qq */          { NULL, posts_wline }, /* Qq */
         { NULL, NULL }, /* Re */          { NULL, NULL }, /* Re */
         { NULL, NULL }, /* Rs */          { NULL, NULL }, /* Rs */
         { NULL, NULL }, /* Sc */          { NULL, NULL }, /* Sc */
         { NULL, NULL }, /* So */          { NULL, NULL }, /* So */
         { NULL, posts_wtext }, /* Sq */          { NULL, posts_wline }, /* Sq */
         { NULL, NULL }, /* Sm */ /* FIXME: boolean */          { NULL, NULL }, /* Sm */ /* FIXME: boolean */
         { NULL, posts_text }, /* Sx */          { NULL, posts_text }, /* Sx */
         { NULL, posts_text }, /* Sy */          { NULL, posts_text }, /* Sy */
Line 191  const struct valids mdoc_valids[MDOC_MAX] = {
Line 193  const struct valids mdoc_valids[MDOC_MAX] = {
   
   
 static int  static int
   bodychild_err_eq0(struct mdoc *mdoc)
   {
   
           if (MDOC_BODY != mdoc->last->type)
                   return(1);
           if (NULL == mdoc->last->child)
                   return(1);
           return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no body children"));
   }
   
   
   static int
 bodychild_warn_ge1(struct mdoc *mdoc)  bodychild_warn_ge1(struct mdoc *mdoc)
 {  {
   
Line 198  bodychild_warn_ge1(struct mdoc *mdoc)
Line 212  bodychild_warn_ge1(struct mdoc *mdoc)
                 return(1);                  return(1);
         if (mdoc->last->child)          if (mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_warn(mdoc, WARN_ARGS_GE1));          return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more body children"));
 }  }
   
   
Line 210  elemchild_warn_eq0(struct mdoc *mdoc)
Line 224  elemchild_warn_eq0(struct mdoc *mdoc)
         if (NULL == mdoc->last->child)          if (NULL == mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_pwarn(mdoc, mdoc->last->child->line,          return(mdoc_pwarn(mdoc, mdoc->last->child->line,
                         mdoc->last->child->pos, WARN_ARGS_EQ0));                          mdoc->last->child->pos, WARN_SYNTAX, "macro suggests no parameters"));
 }  }
   
   
Line 221  elemchild_warn_ge1(struct mdoc *mdoc)
Line 235  elemchild_warn_ge1(struct mdoc *mdoc)
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
         if (mdoc->last->child)          if (mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_warn(mdoc, WARN_ARGS_GE1));          return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));
 }  }
   
   
Line 232  elemchild_err_eq0(struct mdoc *mdoc)
Line 246  elemchild_err_eq0(struct mdoc *mdoc)
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
         if (NULL == mdoc->last->child)          if (NULL == mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, ERR_ARGS_EQ0));          return(mdoc_err(mdoc, "macro expects no parameters"));
 }  }
   
   
Line 243  elemchild_err_ge1(struct mdoc *mdoc)
Line 257  elemchild_err_ge1(struct mdoc *mdoc)
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
         if (mdoc->last->child)          if (mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, ERR_ARGS_GE1));          return(mdoc_err(mdoc, "macro expects one or more parameters"));
 }  }
   
   
Line 256  headchild_err_eq0(struct mdoc *mdoc)
Line 270  headchild_err_eq0(struct mdoc *mdoc)
         if (NULL == mdoc->last->child)          if (NULL == mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_perr(mdoc, mdoc->last->child->line,          return(mdoc_perr(mdoc, mdoc->last->child->line,
                         mdoc->last->child->pos, ERR_ARGS_EQ0));                          mdoc->last->child->pos, "macro expects no parameters"));
 }  }
   
   
 static int  static int
   headchild_warn_ge1(struct mdoc *mdoc)
   {
   
           if (MDOC_HEAD != mdoc->last->type)
                   return(1);
           if (mdoc->last->child)
                   return(1);
           return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));
   }
   
   
   static int
 headchild_err_ge1(struct mdoc *mdoc)  headchild_err_ge1(struct mdoc *mdoc)
 {  {
   
Line 268  headchild_err_ge1(struct mdoc *mdoc)
Line 294  headchild_err_ge1(struct mdoc *mdoc)
                 return(1);                  return(1);
         if (mdoc->last->child)          if (mdoc->last->child)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, ERR_ARGS_GE1));          return(mdoc_err(mdoc, "macro expects one or more parameters"));
 }  }
   
   
Line 286  pre_display(struct mdoc *mdoc, struct mdoc_node *node)
Line 312  pre_display(struct mdoc *mdoc, struct mdoc_node *node)
                                 break;                                  break;
         if (NULL == n)          if (NULL == n)
                 return(1);                  return(1);
         return(mdoc_verr(mdoc, node, ERR_SCOPE_NONEST));          return(mdoc_nerr(mdoc, node, "displays may not be nested"));
 }  }
   
   
Line 338  pre_bl(struct mdoc *mdoc, struct mdoc_node *node)
Line 364  pre_bl(struct mdoc *mdoc, struct mdoc_node *node)
                 }                  }
         }          }
         if (0 == type)          if (0 == type)
                 return(mdoc_err(mdoc, ERR_SYNTAX_ARGMISS));                  return(mdoc_err(mdoc, "no list type specified"));
         if (0 == err)          if (0 == err)
                 return(1);                  return(1);
         assert(argv);          assert(argv);
         return(mdoc_perr(mdoc, argv->line,          return(mdoc_perr(mdoc, argv->line,
                         argv->pos, ERR_SYNTAX_ARGBAD));                          argv->pos, "only one list type possible"));
 }  }
   
   
Line 369  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
Line 395  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
                         /* FALLTHROUGH */                          /* FALLTHROUGH */
                 case (MDOC_Unfilled):                  case (MDOC_Unfilled):
                         /* FALLTHROUGH */                          /* FALLTHROUGH */
                   case (MDOC_Filled):
                           /* FALLTHROUGH */
                 case (MDOC_Literal):                  case (MDOC_Literal):
                         /* FALLTHROUGH */                          /* FALLTHROUGH */
                 case (MDOC_File):                  case (MDOC_File):
Line 381  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
Line 409  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
                 }                  }
         }          }
         if (0 == type)          if (0 == type)
                 return(mdoc_err(mdoc, ERR_SYNTAX_ARGMISS));                  return(mdoc_err(mdoc, "no display type specified"));
         if (0 == err)          if (0 == err)
                 return(1);                  return(1);
         assert(argv);          assert(argv);
         return(mdoc_perr(mdoc, argv->line,          return(mdoc_perr(mdoc, argv->line,
                         argv->pos, ERR_SYNTAX_ARGBAD));                          argv->pos, "only one display type possible"));
 }  }
   
   
Line 399  pre_it(struct mdoc *mdoc, struct mdoc_node *node)
Line 427  pre_it(struct mdoc *mdoc, struct mdoc_node *node)
         assert(MDOC_It == mdoc->last->tok);          assert(MDOC_It == mdoc->last->tok);
   
         if (MDOC_BODY != mdoc->last->parent->type)          if (MDOC_BODY != mdoc->last->parent->type)
                 return(mdoc_verr(mdoc, node, ERR_SYNTAX_PARENTBAD));                  return(mdoc_nerr(mdoc, node, "invalid macro parent `%s'", mdoc_macronames[mdoc->last->parent->tok]));
         if (MDOC_Bl != mdoc->last->parent->tok)          if (MDOC_Bl != mdoc->last->parent->tok)
                 return(mdoc_verr(mdoc, node, ERR_SYNTAX_PARENTBAD));                  return(mdoc_nerr(mdoc, node, "invalid macro parent `%s'", mdoc_macronames[mdoc->last->parent->tok]));
   
         return(1);          return(1);
 }  }
Line 412  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
Line 440  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
 {  {
   
         if (SEC_PROLOGUE != mdoc->sec_lastn)          if (SEC_PROLOGUE != mdoc->sec_lastn)
                 return(mdoc_verr(mdoc, node, ERR_SEC_NPROLOGUE));                  return(mdoc_nerr(mdoc, node, "macro may only be invoked in the prologue"));
         assert(MDOC_ELEM == node->type);          assert(MDOC_ELEM == node->type);
   
         /* Check for ordering. */          /* Check for ordering. */
Line 421  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
Line 449  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
         case (MDOC_Os):          case (MDOC_Os):
                 if (mdoc->meta.title[0] && mdoc->meta.date)                  if (mdoc->meta.title[0] && mdoc->meta.date)
                         break;                          break;
                 return(mdoc_verr(mdoc, node, ERR_SEC_PROLOGUE_OO));                  return(mdoc_nerr(mdoc, node, "prologue macro out-of-order"));
         case (MDOC_Dt):          case (MDOC_Dt):
                 if (0 == mdoc->meta.title[0] && mdoc->meta.date)                  if (0 == mdoc->meta.title[0] && mdoc->meta.date)
                         break;                          break;
                 return(mdoc_verr(mdoc, node, ERR_SEC_PROLOGUE_OO));                  return(mdoc_nerr(mdoc, node, "prologue macro out-of-order"));
         case (MDOC_Dd):          case (MDOC_Dd):
                 if (0 == mdoc->meta.title[0] && 0 == mdoc->meta.date)                  if (0 == mdoc->meta.title[0] && 0 == mdoc->meta.date)
                         break;                          break;
                 return(mdoc_verr(mdoc, node, ERR_SEC_PROLOGUE_OO));                  return(mdoc_nerr(mdoc, node, "prologue macro out-of-order"));
         default:          default:
                 abort();                  abort();
                 /* NOTREACHED */                  /* NOTREACHED */
Line 455  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
Line 483  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
                 /* NOTREACHED */                  /* NOTREACHED */
         }          }
   
         return(mdoc_verr(mdoc, node, ERR_SEC_PROLOGUE_REP));          return(mdoc_nerr(mdoc, node, "prologue macro repeated"));
 }  }
   
   
Line 524  post_it(struct mdoc *mdoc)
Line 552  post_it(struct mdoc *mdoc)
   
         if (TYPE_HEAD == type) {          if (TYPE_HEAD == type) {
                 if (NULL == (n = mdoc->last->data.block.head)) {                  if (NULL == (n = mdoc->last->data.block.head)) {
                         if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYHEAD))                          if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                                 return(0);                                  return(0);
                 } else if (NULL == n->child)                  } else if (NULL == n->child)
                         if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYHEAD))                          if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                                 return(0);                                  return(0);
   
                 if (NULL == (n = mdoc->last->data.block.body)) {                  if (NULL == (n = mdoc->last->data.block.body)) {
                         if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYBODY))                          if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                                 return(0);                                  return(0);
                 } else if (NULL == n->child)                  } else if (NULL == n->child)
                         if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYBODY))                          if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                                 return(0);                                  return(0);
   
                 return(1);                  return(1);
         }          }
   
         if (NULL == (n = mdoc->last->data.block.head)) {          if (NULL == (n = mdoc->last->data.block.head)) {
                 if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYHEAD))                  if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                         return(0);                          return(0);
         } else if (NULL == n->child)          } else if (NULL == n->child)
                 if ( ! mdoc_warn(mdoc, WARN_SYNTAX_EMPTYHEAD))                  if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests line parameters"))
                         return(0);                          return(0);
   
         if ((n = mdoc->last->data.block.body) && n->child)          if ((n = mdoc->last->data.block.body) && n->child)
                 if ( ! mdoc_warn(mdoc, WARN_SYNTAX_NOBODY))                  if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                         return(0);                          return(0);
   
         if (MDOC_Column != sv)          if (MDOC_Column != sv)
Line 564  post_it(struct mdoc *mdoc)
Line 592  post_it(struct mdoc *mdoc)
   
         if (i == (size_t)sv)          if (i == (size_t)sv)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, ERR_SYNTAX_ARGFORM));          return(mdoc_err(mdoc, "expected %d list columns, have %d", sv, (int)i));
   
 #undef  TYPE_NONE  #undef  TYPE_NONE
 #undef  TYPE_BODY  #undef  TYPE_BODY
Line 590  post_bl(struct mdoc *mdoc)
Line 618  post_bl(struct mdoc *mdoc)
         }          }
         if (NULL == n)          if (NULL == n)
                 return(1);                  return(1);
         return(mdoc_verr(mdoc, n, ERR_SYNTAX_CHILDBAD));          return(mdoc_nerr(mdoc, n, "invalid child of parent macro `Bl'"));
 }  }
   
   
Line 625  post_sh(struct mdoc *mdoc)
Line 653  post_sh(struct mdoc *mdoc)
                 return(1);                  return(1);
   
         if (sec == mdoc->sec_lastn)          if (sec == mdoc->sec_lastn)
                 return(mdoc_warn(mdoc, WARN_SEC_REP));                  return(mdoc_warn(mdoc, WARN_SYNTAX, "section repeated"));
         return(mdoc_warn(mdoc, WARN_SEC_OO));          return(mdoc_warn(mdoc, WARN_SYNTAX, "section out of conventional order"));
 }  }
   
   
Legend:
Removed from v.1.26  
changed lines
  Added in v.1.31
CVSweb