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

Diff for /mandoc/man_validate.c between version 1.94 and 1.104

version 1.94, 2014/07/01 22:37:15 version 1.104, 2014/08/01 21:24:17
Line 40 
Line 40 
   
 typedef int     (*v_check)(CHKARGS);  typedef int     (*v_check)(CHKARGS);
   
 struct  man_valid {  
         v_check  *pres;  
         v_check  *posts;  
 };  
   
 static  int       check_eq0(CHKARGS);  static  int       check_eq0(CHKARGS);
 static  int       check_eq2(CHKARGS);  static  int       check_eq2(CHKARGS);
 static  int       check_le1(CHKARGS);  static  int       check_le1(CHKARGS);
 static  int       check_ge2(CHKARGS);  static  int       check_ge2(CHKARGS);
 static  int       check_le5(CHKARGS);  static  int       check_le5(CHKARGS);
 static  int       check_head1(CHKARGS);  
 static  int       check_par(CHKARGS);  static  int       check_par(CHKARGS);
 static  int       check_part(CHKARGS);  static  int       check_part(CHKARGS);
 static  int       check_root(CHKARGS);  static  int       check_root(CHKARGS);
 static  void      check_text(CHKARGS);  static  int       check_text(CHKARGS);
   
 static  int       post_AT(CHKARGS);  static  int       post_AT(CHKARGS);
 static  int       post_IP(CHKARGS);  static  int       post_IP(CHKARGS);
Line 62  static int   post_vs(CHKARGS);
Line 56  static int   post_vs(CHKARGS);
 static  int       post_fi(CHKARGS);  static  int       post_fi(CHKARGS);
 static  int       post_ft(CHKARGS);  static  int       post_ft(CHKARGS);
 static  int       post_nf(CHKARGS);  static  int       post_nf(CHKARGS);
 static  int       post_sec(CHKARGS);  
 static  int       post_TH(CHKARGS);  static  int       post_TH(CHKARGS);
 static  int       post_UC(CHKARGS);  static  int       post_UC(CHKARGS);
 static  int       pre_sec(CHKARGS);  static  int       post_UR(CHKARGS);
   
 static  v_check   posts_at[] = { post_AT, NULL };  static  v_check man_valids[MAN_MAX] = {
 static  v_check   posts_br[] = { post_vs, check_eq0, NULL };          post_vs,    /* br */
 static  v_check   posts_eq0[] = { check_eq0, NULL };          post_TH,    /* TH */
 static  v_check   posts_eq2[] = { check_eq2, NULL };          NULL,       /* SH */
 static  v_check   posts_fi[] = { check_eq0, post_fi, NULL };          NULL,       /* SS */
 static  v_check   posts_ft[] = { post_ft, NULL };          NULL,       /* TP */
 static  v_check   posts_ip[] = { post_IP, NULL };          check_par,  /* LP */
 static  v_check   posts_le1[] = { check_le1, NULL };          check_par,  /* PP */
 static  v_check   posts_nf[] = { check_eq0, post_nf, NULL };          check_par,  /* P */
 static  v_check   posts_par[] = { check_par, NULL };          post_IP,    /* IP */
 static  v_check   posts_part[] = { check_part, NULL };          NULL,       /* HP */
 static  v_check   posts_sec[] = { post_sec, NULL };          NULL,       /* SM */
 static  v_check   posts_sp[] = { post_vs, check_le1, NULL };          NULL,       /* SB */
 static  v_check   posts_th[] = { check_ge2, check_le5, post_TH, NULL };          NULL,       /* BI */
 static  v_check   posts_uc[] = { post_UC, NULL };          NULL,       /* IB */
 static  v_check   posts_ur[] = { check_head1, check_part, NULL };          NULL,       /* BR */
 static  v_check   pres_sec[] = { pre_sec, NULL };          NULL,       /* RB */
           NULL,       /* R */
 static  const struct man_valid man_valids[MAN_MAX] = {          NULL,       /* B */
         { NULL, posts_br }, /* br */          NULL,       /* I */
         { NULL, posts_th }, /* TH */          NULL,       /* IR */
         { pres_sec, posts_sec }, /* SH */          NULL,       /* RI */
         { pres_sec, posts_sec }, /* SS */          check_eq0,  /* na */
         { NULL, NULL }, /* TP */          post_vs,    /* sp */
         { NULL, posts_par }, /* LP */          post_nf,    /* nf */
         { NULL, posts_par }, /* PP */          post_fi,    /* fi */
         { NULL, posts_par }, /* P */          NULL,       /* RE */
         { NULL, posts_ip }, /* IP */          check_part, /* RS */
         { NULL, NULL }, /* HP */          NULL,       /* DT */
         { NULL, NULL }, /* SM */          post_UC,    /* UC */
         { NULL, NULL }, /* SB */          check_le1,  /* PD */
         { NULL, NULL }, /* BI */          post_AT,    /* AT */
         { NULL, NULL }, /* IB */          NULL,       /* in */
         { NULL, NULL }, /* BR */          post_ft,    /* ft */
         { NULL, NULL }, /* RB */          check_eq2,  /* OP */
         { NULL, NULL }, /* R */          post_nf,    /* EX */
         { NULL, NULL }, /* B */          post_fi,    /* EE */
         { NULL, NULL }, /* I */          post_UR,    /* UR */
         { NULL, NULL }, /* IR */          NULL,       /* UE */
         { NULL, NULL }, /* RI */          NULL,       /* ll */
         { NULL, posts_eq0 }, /* na */  
         { NULL, posts_sp }, /* sp */  
         { NULL, posts_nf }, /* nf */  
         { NULL, posts_fi }, /* fi */  
         { NULL, NULL }, /* RE */  
         { NULL, posts_part }, /* RS */  
         { NULL, NULL }, /* DT */  
         { NULL, posts_uc }, /* UC */  
         { NULL, posts_le1 }, /* PD */  
         { NULL, posts_at }, /* AT */  
         { NULL, NULL }, /* in */  
         { NULL, posts_ft }, /* ft */  
         { NULL, posts_eq2 }, /* OP */  
         { NULL, posts_nf }, /* EX */  
         { NULL, posts_fi }, /* EE */  
         { NULL, posts_ur }, /* UR */  
         { NULL, NULL }, /* UE */  
         { NULL, NULL }, /* ll */  
 };  };
   
   
 int  int
 man_valid_pre(struct man *man, struct man_node *n)  
 {  
         v_check         *cp;  
   
         switch (n->type) {  
         case MAN_TEXT:  
                 /* FALLTHROUGH */  
         case MAN_ROOT:  
                 /* FALLTHROUGH */  
         case MAN_EQN:  
                 /* FALLTHROUGH */  
         case MAN_TBL:  
                 return(1);  
         default:  
                 break;  
         }  
   
         if (NULL == (cp = man_valids[n->tok].pres))  
                 return(1);  
         for ( ; *cp; cp++)  
                 if ( ! (*cp)(man, n))  
                         return(0);  
         return(1);  
 }  
   
 int  
 man_valid_post(struct man *man)  man_valid_post(struct man *man)
 {  {
           struct man_node *n;
         v_check         *cp;          v_check         *cp;
   
         if (MAN_VALID & man->last->flags)          n = man->last;
           if (n->flags & MAN_VALID)
                 return(1);                  return(1);
         man->last->flags |= MAN_VALID;          n->flags |= MAN_VALID;
   
         switch (man->last->type) {          switch (n->type) {
         case MAN_TEXT:          case MAN_TEXT:
                 check_text(man, man->last);                  return(check_text(man, n));
                 return(1);  
         case MAN_ROOT:          case MAN_ROOT:
                 return(check_root(man, man->last));                  return(check_root(man, n));
         case MAN_EQN:          case MAN_EQN:
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case MAN_TBL:          case MAN_TBL:
                 return(1);                  return(1);
         default:          default:
                 break;                  cp = man_valids + n->tok;
                   return(*cp ? (*cp)(man, n) : 1);
         }          }
   
         if (NULL == (cp = man_valids[man->last->tok].posts))  
                 return(1);  
         for ( ; *cp; cp++)  
                 if ( ! (*cp)(man, man->last))  
                         return(0);  
   
         return(1);  
 }  }
   
 static int  static int
 check_root(CHKARGS)  check_root(CHKARGS)
 {  {
   
         if (MAN_BLINE & man->flags)          assert((man->flags & (MAN_BLINE | MAN_ELINE)) == 0);
                 man_nmsg(man, n, MANDOCERR_SCOPEEXIT);  
         else if (MAN_ELINE & man->flags)  
                 man_nmsg(man, n, MANDOCERR_SCOPEEXIT);  
   
         man->flags &= ~MAN_BLINE;  
         man->flags &= ~MAN_ELINE;  
   
         if (NULL == man->first->child)          if (NULL == man->first->child)
                 man_nmsg(man, n, MANDOCERR_DOC_EMPTY);                  mandoc_msg(MANDOCERR_DOC_EMPTY, man->parse,
                       n->line, n->pos, NULL);
         else          else
                 man->meta.hasbody = 1;                  man->meta.hasbody = 1;
   
         if (NULL == man->meta.title) {          if (NULL == man->meta.title) {
                 man_nmsg(man, n, MANDOCERR_TH_MISSING);                  mandoc_msg(MANDOCERR_TH_MISSING, man->parse,
                       n->line, n->pos, NULL);
   
                 /*                  /*
                  * If a title hasn't been set, do so now (by                   * If a title hasn't been set, do so now (by
Line 220  check_root(CHKARGS)
Line 159  check_root(CHKARGS)
         return(1);          return(1);
 }  }
   
 static void  static int
 check_text(CHKARGS)  check_text(CHKARGS)
 {  {
         char            *cp, *p;          char            *cp, *p;
   
         if (MAN_LITERAL & man->flags)          if (MAN_LITERAL & man->flags)
                 return;                  return(1);
   
         cp = n->string;          cp = n->string;
         for (p = cp; NULL != (p = strchr(p, '\t')); p++)          for (p = cp; NULL != (p = strchr(p, '\t')); p++)
                 man_pmsg(man, n->line, (int)(p - cp), MANDOCERR_BADTAB);                  mandoc_msg(MANDOCERR_FI_TAB, man->parse,
                       n->line, n->pos + (p - cp), NULL);
           return(1);
 }  }
   
 #define INEQ_DEFINE(x, ineq, name) \  #define INEQ_DEFINE(x, ineq, name) \
Line 252  INEQ_DEFINE(2, >=, ge2)
Line 193  INEQ_DEFINE(2, >=, ge2)
 INEQ_DEFINE(5, <=, le5)  INEQ_DEFINE(5, <=, le5)
   
 static int  static int
 check_head1(CHKARGS)  post_UR(CHKARGS)
 {  {
   
         if (MAN_HEAD == n->type && 1 != n->nchild)          if (MAN_HEAD == n->type && 1 != n->nchild)
                 mandoc_vmsg(MANDOCERR_ARGCOUNT, man->parse, n->line,                  mandoc_vmsg(MANDOCERR_ARGCOUNT, man->parse, n->line,
                     n->pos, "line arguments eq 1 (have %d)", n->nchild);                      n->pos, "line arguments eq 1 (have %d)", n->nchild);
   
         return(1);          return(check_part(man, n));
 }  }
   
 static int  static int
Line 303  post_ft(CHKARGS)
Line 244  post_ft(CHKARGS)
         }          }
   
         if (0 == ok) {          if (0 == ok) {
                 mandoc_vmsg(MANDOCERR_BADFONT, man->parse, n->line,                  mandoc_vmsg(MANDOCERR_FT_BAD, man->parse,
                     n->pos, "%s", cp);                      n->line, n->pos, "ft %s", cp);
                 *cp = '\0';                  *cp = '\0';
         }          }
   
Line 316  post_ft(CHKARGS)
Line 257  post_ft(CHKARGS)
 }  }
   
 static int  static int
 pre_sec(CHKARGS)  
 {  
   
         if (MAN_BLOCK == n->type)  
                 man->flags &= ~MAN_LITERAL;  
         return(1);  
 }  
   
 static int  
 post_sec(CHKARGS)  
 {  
   
         if ( ! (MAN_HEAD == n->type && 0 == n->nchild))  
                 return(1);  
   
         man_nmsg(man, n, MANDOCERR_SYNTARGCOUNT);  
         return(0);  
 }  
   
 static int  
 check_part(CHKARGS)  check_part(CHKARGS)
 {  {
   
Line 357  check_par(CHKARGS)
Line 278  check_par(CHKARGS)
                 break;                  break;
         case MAN_BODY:          case MAN_BODY:
                 if (0 == n->nchild)                  if (0 == n->nchild)
                         man_nmsg(man, n, MANDOCERR_IGNPAR);                          mandoc_vmsg(MANDOCERR_PAR_SKIP,
                               man->parse, n->line, n->pos,
                               "%s empty", man_macronames[n->tok]);
                 break;                  break;
         case MAN_HEAD:          case MAN_HEAD:
                 if (n->nchild)                  if (n->nchild)
                         man_nmsg(man, n, MANDOCERR_ARGSLOST);                          mandoc_vmsg(MANDOCERR_ARG_SKIP,
                               man->parse, n->line, n->pos,
                               "%s %s%s", man_macronames[n->tok],
                               n->child->string,
                               n->nchild > 1 ? " ..." : "");
                 break;                  break;
         default:          default:
                 break;                  break;
Line 381  post_IP(CHKARGS)
Line 308  post_IP(CHKARGS)
                 break;                  break;
         case MAN_BODY:          case MAN_BODY:
                 if (0 == n->parent->head->nchild && 0 == n->nchild)                  if (0 == n->parent->head->nchild && 0 == n->nchild)
                         man_nmsg(man, n, MANDOCERR_IGNPAR);                          mandoc_vmsg(MANDOCERR_PAR_SKIP,
                               man->parse, n->line, n->pos,
                               "%s empty", man_macronames[n->tok]);
                 break;                  break;
         default:          default:
                 break;                  break;
Line 395  post_TH(CHKARGS)
Line 324  post_TH(CHKARGS)
         struct man_node *nb;          struct man_node *nb;
         const char      *p;          const char      *p;
   
           check_ge2(man, n);
           check_le5(man, n);
   
         free(man->meta.title);          free(man->meta.title);
         free(man->meta.vol);          free(man->meta.vol);
         free(man->meta.source);          free(man->meta.source);
Line 414  post_TH(CHKARGS)
Line 346  post_TH(CHKARGS)
                         /* Only warn about this once... */                          /* Only warn about this once... */
                         if (isalpha((unsigned char)*p) &&                          if (isalpha((unsigned char)*p) &&
                             ! isupper((unsigned char)*p)) {                              ! isupper((unsigned char)*p)) {
                                 mandoc_msg(MANDOCERR_TITLE_CASE,                                  mandoc_vmsg(MANDOCERR_TITLE_CASE,
                                     man->parse, n->line,                                      man->parse, n->line,
                                     n->pos + (p - n->string),                                      n->pos + (p - n->string),
                                     n->string);                                      "TH %s", n->string);
                                 break;                                  break;
                         }                          }
                 }                  }
Line 445  post_TH(CHKARGS)
Line 377  post_TH(CHKARGS)
                         n->line, n->pos);                          n->line, n->pos);
         } else {          } else {
                 man->meta.date = mandoc_strdup("");                  man->meta.date = mandoc_strdup("");
                 man_nmsg(man, n ? n : nb, MANDOCERR_DATE_MISSING);                  mandoc_msg(MANDOCERR_DATE_MISSING, man->parse,
                       n ? n->line : nb->line,
                       n ? n->pos : nb->pos, "TH");
         }          }
   
         /* TITLE MSEC DATE ->SOURCE<- VOL */          /* TITLE MSEC DATE ->SOURCE<- VOL */
Line 474  static int
Line 408  static int
 post_nf(CHKARGS)  post_nf(CHKARGS)
 {  {
   
           check_eq0(man, n);
   
         if (MAN_LITERAL & man->flags)          if (MAN_LITERAL & man->flags)
                 man_nmsg(man, n, MANDOCERR_SCOPEREP);                  mandoc_msg(MANDOCERR_NF_SKIP, man->parse,
                       n->line, n->pos, "nf");
   
         man->flags |= MAN_LITERAL;          man->flags |= MAN_LITERAL;
         return(1);          return(1);
Line 485  static int
Line 422  static int
 post_fi(CHKARGS)  post_fi(CHKARGS)
 {  {
   
           check_eq0(man, n);
   
         if ( ! (MAN_LITERAL & man->flags))          if ( ! (MAN_LITERAL & man->flags))
                 man_nmsg(man, n, MANDOCERR_WNOSCOPE);                  mandoc_msg(MANDOCERR_FI_SKIP, man->parse,
                       n->line, n->pos, "fi");
   
         man->flags &= ~MAN_LITERAL;          man->flags &= ~MAN_LITERAL;
         return(1);          return(1);
Line 572  static int
Line 512  static int
 post_vs(CHKARGS)  post_vs(CHKARGS)
 {  {
   
           if (n->tok == MAN_br)
                   check_eq0(man, n);
           else
                   check_le1(man, n);
   
         if (NULL != n->prev)          if (NULL != n->prev)
                 return(1);                  return(1);
   
Line 579  post_vs(CHKARGS)
Line 524  post_vs(CHKARGS)
         case MAN_SH:          case MAN_SH:
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case MAN_SS:          case MAN_SS:
                 man_nmsg(man, n, MANDOCERR_IGNPAR);                  mandoc_vmsg(MANDOCERR_PAR_SKIP, man->parse, n->line, n->pos,
                       "%s after %s", man_macronames[n->tok],
                       man_macronames[n->parent->tok]);
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case MAN_MAX:          case MAN_MAX:
                 /*                  /*
Legend:
Removed from v.1.94  
changed lines
  Added in v.1.104
CVSweb