[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.16 and 1.29

version 1.16, 2009/06/18 20:46:19 version 1.29, 2009/07/12 16:41:33
Line 23 
Line 23 
 #include <string.h>  #include <string.h>
   
 #include "libmdoc.h"  #include "libmdoc.h"
   #include "libmandoc.h"
   
 /* FIXME: .Bl -diag can't have non-text children in HEAD. */  /* FIXME: .Bl -diag can't have non-text children in HEAD. */
 /* TODO: ignoring Pp (it's superfluous in some invocations). */  /* TODO: ignoring Pp (it's superfluous in some invocations). */
Line 30 
Line 31 
 #define PRE_ARGS        struct mdoc *mdoc, const struct mdoc_node *n  #define PRE_ARGS        struct mdoc *mdoc, const struct mdoc_node *n
 #define POST_ARGS       struct mdoc *mdoc  #define POST_ARGS       struct mdoc *mdoc
   
 enum    merr {  
         ETOOLONG,  
         EESCAPE,  
         EPRINT,  
         ENODATA,  
         ENOPROLOGUE,  
         ELINE,  
         EATT,  
         ENAME,  
         ELISTTYPE,  
         EDISPTYPE,  
         EMULTIDISP,  
         ESECNAME,  
         EMULTILIST,  
         EARGREP,  
         EBOOL,  
         ECOLMIS,  
         ENESTDISP  
 };  
   
 enum    mwarn {  
         WPRINT,  
         WNOWIDTH,  
         WMISSWIDTH,  
         WESCAPE,  
         WDEPESC,  
         WDEPCOL,  
         WWRONGMSEC,  
         WSECOOO,  
         WSECREP,  
         WBADSTAND,  
         WNAMESECINC,  
         WNOMULTILINE,  
         WMULTILINE,  
         WLINE,  
         WNOLINE,  
         WPROLOOO,  
         WPROLREP,  
         WARGVAL,  
         WBADSEC,  
         WBADMSEC  
 };  
   
 typedef int     (*v_pre)(PRE_ARGS);  typedef int     (*v_pre)(PRE_ARGS);
 typedef int     (*v_post)(POST_ARGS);  typedef int     (*v_post)(POST_ARGS);
   
Line 81  struct valids {
Line 40  struct valids {
         v_post  *post;          v_post  *post;
 };  };
   
 static  int     pwarn(struct mdoc *, int, int, enum mwarn);  
 static  int     perr(struct mdoc *, int, int, enum merr);  
 static  int     check_parent(PRE_ARGS, int, enum mdoc_type);  static  int     check_parent(PRE_ARGS, int, enum mdoc_type);
 static  int     check_msec(PRE_ARGS, ...);  static  int     check_msec(PRE_ARGS, ...);
 static  int     check_sec(PRE_ARGS, ...);  static  int     check_sec(PRE_ARGS, ...);
Line 128  static int eerr_le2(POST_ARGS);
Line 85  static int eerr_le2(POST_ARGS);
 static  int     eerr_eq1(POST_ARGS);  static  int     eerr_eq1(POST_ARGS);
 static  int     eerr_ge1(POST_ARGS);  static  int     eerr_ge1(POST_ARGS);
 static  int     ewarn_eq0(POST_ARGS);  static  int     ewarn_eq0(POST_ARGS);
 static  int     ewarn_eq1(POST_ARGS);  
 static  int     bwarn_ge1(POST_ARGS);  static  int     bwarn_ge1(POST_ARGS);
   static  int     berr_ge1(POST_ARGS);
 static  int     hwarn_eq1(POST_ARGS);  static  int     hwarn_eq1(POST_ARGS);
 static  int     ewarn_ge1(POST_ARGS);  static  int     ewarn_ge1(POST_ARGS);
 static  int     ebool(POST_ARGS);  static  int     ebool(POST_ARGS);
Line 147  static int post_sh_body(POST_ARGS);
Line 104  static int post_sh_body(POST_ARGS);
 static  int     post_sh_head(POST_ARGS);  static  int     post_sh_head(POST_ARGS);
 static  int     post_st(POST_ARGS);  static  int     post_st(POST_ARGS);
   
 #define vwarn(m, t) nwarn((m), (m)->last, (t))  
 #define verr(m, t) nerr((m), (m)->last, (t))  
 #define nwarn(m, n, t) pwarn((m), (n)->line, (n)->pos, (t))  
 #define nerr(m, n, t) perr((m), (n)->line, (n)->pos, (t))  
   
 static  v_pre   pres_an[] = { pre_an, NULL };  static  v_pre   pres_an[] = { pre_an, 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 };
Line 177  static v_post posts_wline[] = { bwarn_ge1, herr_eq0, N
Line 129  static v_post posts_wline[] = { bwarn_ge1, herr_eq0, N
 static  v_post  posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };  static  v_post  posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
 static  v_post  posts_bl[] = { bwarn_ge1, post_bl, NULL };  static  v_post  posts_bl[] = { bwarn_ge1, post_bl, NULL };
 static  v_post  posts_it[] = { post_it, NULL };  static  v_post  posts_it[] = { post_it, NULL };
 static  v_post  posts_in[] = { ewarn_eq1, NULL };  static  v_post  posts_in[] = { eerr_eq1, NULL };
 static  v_post  posts_ss[] = { herr_ge1, NULL };  static  v_post  posts_ss[] = { herr_ge1, NULL };
   static  v_post  posts_nd[] = { berr_ge1, NULL };
 static  v_post  posts_pf[] = { eerr_eq1, NULL };  static  v_post  posts_pf[] = { eerr_eq1, NULL };
 static  v_post  posts_lb[] = { eerr_eq1, NULL };  static  v_post  posts_lb[] = { eerr_eq1, NULL };
 static  v_post  posts_st[] = { eerr_eq1, post_st, NULL };  static  v_post  posts_st[] = { eerr_eq1, post_st, NULL };
Line 224  const struct valids mdoc_valids[MDOC_MAX] = {
Line 177  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, posts_text },                   /* Ic */          { NULL, posts_text },                   /* Ic */
         { NULL, posts_in },                     /* In */          { NULL, posts_in },                     /* In */
         { NULL, NULL },                         /* Li */          { NULL, NULL },                         /* Li */
         { NULL, posts_wtext },                  /* Nd */          { NULL, posts_nd },                     /* Nd */
         { NULL, posts_nm },                     /* Nm */          { NULL, posts_nm },                     /* Nm */
         { NULL, posts_wline },                  /* Op */          { NULL, posts_wline },                  /* Op */
         { NULL, NULL },                         /* Ot */          { NULL, NULL },                         /* Ot */
Line 378  mdoc_valid_post(struct mdoc *mdoc)
Line 331  mdoc_valid_post(struct mdoc *mdoc)
   
   
 static int  static int
 perr(struct mdoc *m, int line, int pos, enum merr type)  
 {  
         char             *p;  
   
         p = NULL;  
         switch (type) {  
         case (ETOOLONG):  
                 p = "text argument too long";  
                 break;  
         case (EESCAPE):  
                 p = "invalid escape sequence";  
                 break;  
         case (EPRINT):  
                 p = "invalid character";  
                 break;  
         case (ENESTDISP):  
                 p = "displays may not be nested";  
                 break;  
         case (EBOOL):  
                 p = "expected boolean value";  
                 break;  
         case (EARGREP):  
                 p = "argument repeated";  
                 break;  
         case (EMULTIDISP):  
                 p = "multiple display types specified";  
                 break;  
         case (EMULTILIST):  
                 p = "multiple list types specified";  
                 break;  
         case (ELISTTYPE):  
                 p = "missing list type";  
                 break;  
         case (EDISPTYPE):  
                 p = "missing display type";  
                 break;  
         case (ESECNAME):  
                 p = "the NAME section must come first";  
                 break;  
         case (ELINE):  
                 p = "expected line arguments";  
                 break;  
         case (ENOPROLOGUE):  
                 p = "document has no prologue";  
                 break;  
         case (ENODATA):  
                 p = "document has no data";  
                 break;  
         case (ECOLMIS):  
                 p = "column syntax style mismatch";  
                 break;  
         case (EATT):  
                 p = "expected valid AT&T symbol";  
                 break;  
         case (ENAME):  
                 p = "default name not yet set";  
                 break;  
         }  
         assert(p);  
         return(mdoc_perr(m, line, pos, p));  
 }  
   
   
 static int  
 pwarn(struct mdoc *m, int line, int pos, enum mwarn type)  
 {  
         char             *p;  
         enum mdoc_warn    c;  
   
         c = WARN_SYNTAX;  
         p = NULL;  
         switch (type) {  
         case (WBADMSEC):  
                 p = "inappropriate manual section";  
                 c = WARN_COMPAT;  
                 break;  
         case (WBADSEC):  
                 p = "inappropriate document section";  
                 c = WARN_COMPAT;  
                 break;  
         case (WARGVAL):  
                 p = "argument value suggested";  
                 c = WARN_COMPAT;  
                 break;  
         case (WPROLREP):  
                 p = "prologue macros repeated";  
                 c = WARN_COMPAT;  
                 break;  
         case (WPROLOOO):  
                 p = "prologue macros out-of-order";  
                 c = WARN_COMPAT;  
                 break;  
         case (WDEPCOL):  
                 p = "deprecated column argument syntax";  
                 c = WARN_COMPAT;  
                 break;  
         case (WNOWIDTH):  
                 p = "superfluous width argument";  
                 break;  
         case (WMISSWIDTH):  
                 p = "missing width argument";  
                 break;  
         case (WPRINT):  
                 p = "invalid character";  
                 break;  
         case (WESCAPE):  
                 p = "invalid escape sequence";  
                 break;  
         case (WDEPESC):  
                 p = "deprecated special-character escape";  
                 break;  
         case (WNOLINE):  
                 p = "suggested no line arguments";  
                 break;  
         case (WLINE):  
                 p = "suggested line arguments";  
                 break;  
         case (WMULTILINE):  
                 p = "suggested multi-line arguments";  
                 break;  
         case (WNOMULTILINE):  
                 p = "suggested no multi-line arguments";  
                 break;  
         case (WWRONGMSEC):  
                 p = "document section in wrong manual section";  
                 c = WARN_COMPAT;  
                 break;  
         case (WSECOOO):  
                 p = "document section out of conventional order";  
                 break;  
         case (WSECREP):  
                 p = "document section repeated";  
                 break;  
         case (WBADSTAND):  
                 p = "unknown standard";  
                 break;  
         case (WNAMESECINC):  
                 p = "NAME section contents incomplete/badly-ordered";  
                 break;  
         }  
         assert(p);  
         return(mdoc_pwarn(m, line, pos, c, p));  
 }  
   
   
 static int  
 warn_print(struct mdoc *m, int ln, int pos)  warn_print(struct mdoc *m, int ln, int pos)
 {  {
   
         if (MDOC_IGN_CHARS & m->pflags)          if (MDOC_IGN_CHARS & m->pflags)
                 return(pwarn(m, ln, pos, WPRINT));                  return(mdoc_pwarn(m, ln, pos, EPRINT));
         return(perr(m, ln, pos, EPRINT));          return(mdoc_perr(m, ln, pos, EPRINT));
 }  }
   
   
Line 537  warn_count(struct mdoc *m, const char *k, 
Line 345  warn_count(struct mdoc *m, const char *k, 
                 int want, const char *v, int has)                  int want, const char *v, int has)
 {  {
   
         return(mdoc_warn(m, WARN_SYNTAX,          return(mdoc_vwarn(m, m->last->line, m->last->pos,
                 "suggests %s %s %d (has %d)", v, k, want, has));                  "suggests %s %s %d (has %d)", v, k, want, has));
 }  }
   
Line 547  err_count(struct mdoc *m, const char *k,
Line 355  err_count(struct mdoc *m, const char *k,
                 int want, const char *v, int has)                  int want, const char *v, int has)
 {  {
   
         return(mdoc_err(m,          return(mdoc_verr(m, m->last->line, m->last->pos,
                 "requires %s %s %d (has %d)", v, k, want, has));                  "requires %s %s %d (has %d)", v, k, want, has));
 }  }
   
Line 601  CHECK_CHILD_DEFN(err, eq, ==)   /* err_child_eq() */
Line 409  CHECK_CHILD_DEFN(err, eq, ==)   /* err_child_eq() */
 CHECK_CHILD_DEFN(err, lt, <)                    /* err_child_lt() */  CHECK_CHILD_DEFN(err, lt, <)                    /* err_child_lt() */
 CHECK_CHILD_DEFN(warn, lt, <)                   /* warn_child_lt() */  CHECK_CHILD_DEFN(warn, lt, <)                   /* warn_child_lt() */
 CHECK_BODY_DEFN(ge1, warn, warn_child_gt, 0)    /* bwarn_ge1() */  CHECK_BODY_DEFN(ge1, warn, warn_child_gt, 0)    /* bwarn_ge1() */
 CHECK_ELEM_DEFN(eq1, warn, warn_child_eq, 1)    /* ewarn_eq1() */  CHECK_BODY_DEFN(ge1, err, err_child_gt, 0)      /* berr_ge1() */
 CHECK_ELEM_DEFN(eq0, warn, warn_child_eq, 0)    /* ewarn_eq0() */  CHECK_ELEM_DEFN(eq0, warn, warn_child_eq, 0)    /* ewarn_eq0() */
 CHECK_ELEM_DEFN(ge1, warn, warn_child_gt, 0)    /* ewarn_gt1() */  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(eq1, err, err_child_eq, 1)      /* eerr_eq1() */
Line 621  check_stdarg(PRE_ARGS)
Line 429  check_stdarg(PRE_ARGS)
         if (n->args && 1 == n->args->argc)          if (n->args && 1 == n->args->argc)
                 if (MDOC_Std == n->args->argv[0].arg)                  if (MDOC_Std == n->args->argv[0].arg)
                         return(1);                          return(1);
         return(nwarn(mdoc, n, WARGVAL));          return(mdoc_nwarn(mdoc, n, EARGVAL));
 }  }
   
   
Line 645  check_sec(PRE_ARGS, ...)
Line 453  check_sec(PRE_ARGS, ...)
         }          }
   
         va_end(ap);          va_end(ap);
         return(nwarn(mdoc, n, WBADSEC));          return(mdoc_nwarn(mdoc, n, EBADSEC));
 }  }
   
   
Line 667  check_msec(PRE_ARGS, ...)
Line 475  check_msec(PRE_ARGS, ...)
         }          }
   
         va_end(ap);          va_end(ap);
         return(nwarn(mdoc, n, WBADMSEC));          return(mdoc_nwarn(mdoc, n, EBADMSEC));
 }  }
   
   
Line 702  check_argv(struct mdoc *m, const struct mdoc_node *n, 
Line 510  check_argv(struct mdoc *m, const struct mdoc_node *n, 
                 /* `Nm' name must be set. */                  /* `Nm' name must be set. */
                 if (v->sz || m->meta.name)                  if (v->sz || m->meta.name)
                         return(1);                          return(1);
                 return(nerr(m, n, ENAME));                  return(mdoc_nerr(m, n, ENAME));
         }          }
   
         return(1);          return(1);
Line 712  check_argv(struct mdoc *m, const struct mdoc_node *n, 
Line 520  check_argv(struct mdoc *m, const struct mdoc_node *n, 
 static int  static int
 check_text(struct mdoc *mdoc, int line, int pos, const char *p)  check_text(struct mdoc *mdoc, int line, int pos, const char *p)
 {  {
         size_t           c;          int              c;
   
         for ( ; *p; p++) {          for ( ; *p; p++, pos++) {
                 if ('\t' == *p) {                  if ('\t' == *p) {
                         if ( ! (MDOC_LITERAL & mdoc->flags))                          if ( ! (MDOC_LITERAL & mdoc->flags))
                                 if ( ! warn_print(mdoc, line, pos))                                  if ( ! warn_print(mdoc, line, pos))
Line 726  check_text(struct mdoc *mdoc, int line, int pos, const
Line 534  check_text(struct mdoc *mdoc, int line, int pos, const
                 if ('\\' != *p)                  if ('\\' != *p)
                         continue;                          continue;
   
                 c = mdoc_isescape(p);                  c = mandoc_special(p);
                 if (c) {                  if (c) {
                         /* See if form is deprecated. */                          p += c - 1;
                         if ('*' == p[1])                          pos += c - 1;
                                 if ( ! pwarn(mdoc, line, pos, WDEPESC))  
                                         return(0);  
                         p += (int)c - 1;  
                         continue;                          continue;
                 }                  }
                 if ( ! (MDOC_IGN_ESCAPE & mdoc->pflags))                  if ( ! (MDOC_IGN_ESCAPE & mdoc->pflags))
                         return(perr(mdoc, line, pos, EESCAPE));                          return(mdoc_perr(mdoc, line, pos, EESCAPE));
                 if ( ! pwarn(mdoc, line, pos, WESCAPE))                  if ( ! mdoc_perr(mdoc, line, pos, EESCAPE))
                         return(0);                          return(0);
         }          }
   
Line 756  check_parent(PRE_ARGS, int tok, enum mdoc_type t)
Line 561  check_parent(PRE_ARGS, int tok, enum mdoc_type t)
                         (t == n->parent->type))                          (t == n->parent->type))
                 return(1);                  return(1);
   
         return(mdoc_nerr(mdoc, n, "require parent %s",          return(mdoc_verr(mdoc, n->line, n->pos, "require parent %s",
                 MDOC_ROOT == t ? "<root>" : mdoc_macronames[tok]));                  MDOC_ROOT == t ? "<root>" : mdoc_macronames[tok]));
 }  }
   
Line 780  pre_display(PRE_ARGS)
Line 585  pre_display(PRE_ARGS)
         if (NULL == node)          if (NULL == node)
                 return(1);                  return(1);
   
         return(nerr(mdoc, n, ENESTDISP));          return(mdoc_nerr(mdoc, n, ENESTDISP));
 }  }
   
   
Line 792  pre_bl(PRE_ARGS)
Line 597  pre_bl(PRE_ARGS)
         if (MDOC_BLOCK != n->type)          if (MDOC_BLOCK != n->type)
                 return(1);                  return(1);
         if (NULL == n->args)          if (NULL == n->args)
                 return(nerr(mdoc, n, ELISTTYPE));                  return(mdoc_nerr(mdoc, n, ELISTTYPE));
   
         /* Make sure that only one type of list is specified.  */          /* Make sure that only one type of list is specified.  */
   
Line 823  pre_bl(PRE_ARGS)
Line 628  pre_bl(PRE_ARGS)
                         /* FALLTHROUGH */                          /* FALLTHROUGH */
                 case (MDOC_Column):                  case (MDOC_Column):
                         if (-1 != type)                          if (-1 != type)
                                 return(nerr(mdoc, n, EMULTILIST));                                  return(mdoc_nerr(mdoc, n, EMULTILIST));
                         type = n->args->argv[pos].arg;                          type = n->args->argv[pos].arg;
                         break;                          break;
                 case (MDOC_Width):                  case (MDOC_Width):
                         if (-1 != width)                          if (-1 != width)
                                 return(nerr(mdoc, n, EARGREP));                                  return(mdoc_nerr(mdoc, n, EARGREP));
                         width = n->args->argv[pos].arg;                          width = n->args->argv[pos].arg;
                         break;                          break;
                 case (MDOC_Offset):                  case (MDOC_Offset):
                         if (-1 != offset)                          if (-1 != offset)
                                 return(nerr(mdoc, n, EARGREP));                                  return(mdoc_nerr(mdoc, n, EARGREP));
                         offset = n->args->argv[pos].arg;                          offset = n->args->argv[pos].arg;
                         break;                          break;
                 default:                  default:
Line 841  pre_bl(PRE_ARGS)
Line 646  pre_bl(PRE_ARGS)
                 }                  }
   
         if (-1 == type)          if (-1 == type)
                 return(nerr(mdoc, n, ELISTTYPE));                  return(mdoc_nerr(mdoc, n, ELISTTYPE));
   
         /*          /*
          * Validate the width field.  Some list types don't need width           * Validate the width field.  Some list types don't need width
Line 851  pre_bl(PRE_ARGS)
Line 656  pre_bl(PRE_ARGS)
   
         switch (type) {          switch (type) {
         case (MDOC_Tag):          case (MDOC_Tag):
                 if (-1 == width && ! nwarn(mdoc, n, WMISSWIDTH))                  if (-1 == width && ! mdoc_nwarn(mdoc, n, EMISSWIDTH))
                         return(0);                          return(0);
                 break;                  break;
         case (MDOC_Column):          case (MDOC_Column):
Line 861  pre_bl(PRE_ARGS)
Line 666  pre_bl(PRE_ARGS)
         case (MDOC_Inset):          case (MDOC_Inset):
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case (MDOC_Item):          case (MDOC_Item):
                 if (-1 != width && ! nwarn(mdoc, n, WNOWIDTH))                  if (-1 != width && ! mdoc_nwarn(mdoc, n, ENOWIDTH))
                         return(0);                          return(0);
                 break;                  break;
         default:          default:
Line 880  pre_bd(PRE_ARGS)
Line 685  pre_bd(PRE_ARGS)
         if (MDOC_BLOCK != n->type)          if (MDOC_BLOCK != n->type)
                 return(1);                  return(1);
         if (NULL == n->args)          if (NULL == n->args)
                 return(nerr(mdoc, n, EDISPTYPE));                  return(mdoc_nerr(mdoc, n, EDISPTYPE));
   
         /* Make sure that only one type of display is specified.  */          /* Make sure that only one type of display is specified.  */
   
Line 899  pre_bd(PRE_ARGS)
Line 704  pre_bd(PRE_ARGS)
                 case (MDOC_File):                  case (MDOC_File):
                         if (0 == type++)                          if (0 == type++)
                                 break;                                  break;
                         return(nerr(mdoc, n, EMULTIDISP));                          return(mdoc_nerr(mdoc, n, EMULTIDISP));
                 default:                  default:
                         break;                          break;
                 }                  }
   
         if (type)          if (type)
                 return(1);                  return(1);
         return(nerr(mdoc, n, EDISPTYPE));          return(mdoc_nerr(mdoc, n, EDISPTYPE));
 }  }
   
   
Line 946  pre_an(PRE_ARGS)
Line 751  pre_an(PRE_ARGS)
   
         if (NULL == n->args || 1 == n->args->argc)          if (NULL == n->args || 1 == n->args->argc)
                 return(1);                  return(1);
         return(mdoc_nerr(mdoc, n, "only one argument allowed"));          return(mdoc_verr(mdoc, n->line, n->pos,
                                   "only one argument allowed"));
 }  }
   
   
Line 999  pre_dt(PRE_ARGS)
Line 805  pre_dt(PRE_ARGS)
 {  {
   
         if (0 == mdoc->meta.date || mdoc->meta.os)          if (0 == mdoc->meta.date || mdoc->meta.os)
                 if ( ! nwarn(mdoc, n, WPROLOOO))                  if ( ! mdoc_nwarn(mdoc, n, EPROLOOO))
                         return(0);                          return(0);
         if (mdoc->meta.title)          if (mdoc->meta.title)
                 if ( ! nwarn(mdoc, n, WPROLREP))                  if ( ! mdoc_nwarn(mdoc, n, EPROLREP))
                         return(0);                          return(0);
         return(1);          return(1);
 }  }
Line 1013  pre_os(PRE_ARGS)
Line 819  pre_os(PRE_ARGS)
 {  {
   
         if (NULL == mdoc->meta.title || 0 == mdoc->meta.date)          if (NULL == mdoc->meta.title || 0 == mdoc->meta.date)
                 if ( ! nwarn(mdoc, n, WPROLOOO))                  if ( ! mdoc_nwarn(mdoc, n, EPROLOOO))
                         return(0);                          return(0);
         if (mdoc->meta.os)          if (mdoc->meta.os)
                 if ( ! nwarn(mdoc, n, WPROLREP))                  if ( ! mdoc_nwarn(mdoc, n, EPROLREP))
                         return(0);                          return(0);
         return(1);          return(1);
 }  }
Line 1027  pre_dd(PRE_ARGS)
Line 833  pre_dd(PRE_ARGS)
 {  {
   
         if (mdoc->meta.title || mdoc->meta.os)          if (mdoc->meta.title || mdoc->meta.os)
                 if ( ! nwarn(mdoc, n, WPROLOOO))                  if ( ! mdoc_nwarn(mdoc, n, EPROLOOO))
                         return(0);                          return(0);
         if (mdoc->meta.date)          if (mdoc->meta.date)
                 if ( ! nwarn(mdoc, n, WPROLREP))                  if ( ! mdoc_nwarn(mdoc, n, EPROLREP))
                         return(0);                          return(0);
         return(1);          return(1);
 }  }
Line 1048  post_bf(POST_ARGS)
Line 854  post_bf(POST_ARGS)
         head = mdoc->last->head;          head = mdoc->last->head;
   
         if (mdoc->last->args && head->child)          if (mdoc->last->args && head->child)
                 return(mdoc_err(mdoc, "one argument expected"));                  return(mdoc_nerr(mdoc, mdoc->last, ELINE));
         else if (mdoc->last->args)          else if (mdoc->last->args)
                 return(1);                  return(1);
   
         if (NULL == head->child || MDOC_TEXT != head->child->type)          if (NULL == head->child || MDOC_TEXT != head->child->type)
                 return(mdoc_err(mdoc, "text argument expected"));                  return(mdoc_nerr(mdoc, mdoc->last, ELINE));
   
         p = head->child->string;          p = head->child->string;
   
Line 1064  post_bf(POST_ARGS)
Line 870  post_bf(POST_ARGS)
         else if (0 == strcmp(p, "Sm"))          else if (0 == strcmp(p, "Sm"))
                 return(1);                  return(1);
   
         return(mdoc_nerr(mdoc, head->child, "invalid font mode"));          return(mdoc_nerr(mdoc, head, EFONT));
 }  }
   
   
Line 1076  post_nm(POST_ARGS)
Line 882  post_nm(POST_ARGS)
                 return(1);                  return(1);
         if (mdoc->meta.name)          if (mdoc->meta.name)
                 return(1);                  return(1);
         return(verr(mdoc, ENAME));          return(mdoc_nerr(mdoc, mdoc->last, ENAME));
 }  }
   
   
Line 1087  post_at(POST_ARGS)
Line 893  post_at(POST_ARGS)
         if (NULL == mdoc->last->child)          if (NULL == mdoc->last->child)
                 return(1);                  return(1);
         if (MDOC_TEXT != mdoc->last->child->type)          if (MDOC_TEXT != mdoc->last->child->type)
                 return(verr(mdoc, EATT));                  return(mdoc_nerr(mdoc, mdoc->last, EATT));
         if (mdoc_a2att(mdoc->last->child->string))          if (mdoc_a2att(mdoc->last->child->string))
                 return(1);                  return(1);
         return(verr(mdoc, EATT));          return(mdoc_nerr(mdoc, mdoc->last, EATT));
 }  }
   
   
Line 1101  post_an(POST_ARGS)
Line 907  post_an(POST_ARGS)
         if (mdoc->last->args) {          if (mdoc->last->args) {
                 if (NULL == mdoc->last->child)                  if (NULL == mdoc->last->child)
                         return(1);                          return(1);
                 return(verr(mdoc, ELINE));                  return(mdoc_nerr(mdoc, mdoc->last, ELINE));
         }          }
   
         if (mdoc->last->child)          if (mdoc->last->child)
                 return(1);                  return(1);
         return(verr(mdoc, ELINE));          return(mdoc_nerr(mdoc, mdoc->last, ELINE));
 }  }
   
   
Line 1116  post_args(POST_ARGS)
Line 922  post_args(POST_ARGS)
   
         if (mdoc->last->args)          if (mdoc->last->args)
                 return(1);                  return(1);
         return(verr(mdoc, ELINE));          return(mdoc_nerr(mdoc, mdoc->last, ELINE));
 }  }
   
   
Line 1131  post_it(POST_ARGS)
Line 937  post_it(POST_ARGS)
   
         n = mdoc->last->parent->parent;          n = mdoc->last->parent->parent;
         if (NULL == n->args)          if (NULL == n->args)
                 return(verr(mdoc, ELISTTYPE));                  return(mdoc_nerr(mdoc, mdoc->last, ELISTTYPE));
   
         /* Some types require block-head, some not. */          /* Some types require block-head, some not. */
   
Line 1169  post_it(POST_ARGS)
Line 975  post_it(POST_ARGS)
                 }                  }
   
         if (-1 == type)          if (-1 == type)
                 return(verr(mdoc, ELISTTYPE));                  return(mdoc_nerr(mdoc, mdoc->last, ELISTTYPE));
   
         switch (type) {          switch (type) {
         case (MDOC_Tag):          case (MDOC_Tag):
                 if (NULL == mdoc->last->head->child)                  if (NULL == mdoc->last->head->child)
                         if ( ! vwarn(mdoc, WLINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, ELINE))
                                 return(0);                                  return(0);
                 break;                  break;
         case (MDOC_Hang):          case (MDOC_Hang):
Line 1185  post_it(POST_ARGS)
Line 991  post_it(POST_ARGS)
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case (MDOC_Diag):          case (MDOC_Diag):
                 if (NULL == mdoc->last->head->child)                  if (NULL == mdoc->last->head->child)
                         if ( ! vwarn(mdoc, WLINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, ELINE))
                                 return(0);                                  return(0);
                 if (NULL == mdoc->last->body->child)                  if (NULL == mdoc->last->body->child)
                         if ( ! vwarn(mdoc, WMULTILINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, EMULTILINE))
                                 return(0);                                  return(0);
                 break;                  break;
         case (MDOC_Bullet):          case (MDOC_Bullet):
Line 1201  post_it(POST_ARGS)
Line 1007  post_it(POST_ARGS)
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case (MDOC_Item):          case (MDOC_Item):
                 if (mdoc->last->head->child)                  if (mdoc->last->head->child)
                         if ( ! vwarn(mdoc, WNOLINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, ENOLINE))
                                 return(0);                                  return(0);
                 if (NULL == mdoc->last->body->child)                  if (NULL == mdoc->last->body->child)
                         if ( ! vwarn(mdoc, WMULTILINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, EMULTILINE))
                                 return(0);                                  return(0);
                 break;                  break;
         case (MDOC_Column):          case (MDOC_Column):
                 if (NULL == mdoc->last->head->child)                  if (NULL == mdoc->last->head->child)
                         if ( ! vwarn(mdoc, WLINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, ELINE))
                                 return(0);                                  return(0);
                 if (mdoc->last->body->child)                  if (mdoc->last->body->child)
                         if ( ! vwarn(mdoc, WNOMULTILINE))                          if ( ! mdoc_nwarn(mdoc, mdoc->last, ENOMULTILINE))
                                 return(0);                                  return(0);
                 c = mdoc->last->child;                  c = mdoc->last->child;
                 for (i = 0; c && MDOC_HEAD == c->type; c = c->next)                  for (i = 0; c && MDOC_HEAD == c->type; c = c->next)
                         i++;                          i++;
                 if (i == cols)                  if (i == cols)
                         break;                          break;
                 return(mdoc_err(mdoc, "column mismatch (have "                  return(mdoc_verr(mdoc, mdoc->last->line, mdoc->last->pos,
                                         "%d, want %d)", i, cols));                                  "column mismatch (have %d, want %d)",
                                   i, cols));
         default:          default:
                 break;                  break;
         }          }
Line 1246  post_bl_head(POST_ARGS) 
Line 1053  post_bl_head(POST_ARGS) 
                 return(1);                  return(1);
   
         if (n->args->argv[i].sz && mdoc->last->child)          if (n->args->argv[i].sz && mdoc->last->child)
                 return(nerr(mdoc, n, ECOLMIS));                  return(mdoc_nerr(mdoc, n, ECOLMIS));
   
         return(1);          return(1);
 }  }
Line 1269  post_bl(POST_ARGS)
Line 1076  post_bl(POST_ARGS)
                 if (MDOC_BLOCK == n->type)                  if (MDOC_BLOCK == n->type)
                         if (MDOC_It == n->tok)                          if (MDOC_It == n->tok)
                                 continue;                                  continue;
                 return(mdoc_nerr(mdoc, n, "bad child of parent %s",                  return(mdoc_verr(mdoc, n->line, n->pos,
                                   "bad child of parent %s",
                                 mdoc_macronames[mdoc->last->tok]));                                  mdoc_macronames[mdoc->last->tok]));
         }          }
   
Line 1295  ebool(struct mdoc *mdoc)
Line 1103  ebool(struct mdoc *mdoc)
   
         if (NULL == n)          if (NULL == n)
                 return(1);                  return(1);
         return(nerr(mdoc, n, EBOOL));          return(mdoc_nerr(mdoc, n, EBOOL));
 }  }
   
   
Line 1304  post_root(POST_ARGS)
Line 1112  post_root(POST_ARGS)
 {  {
   
         if (NULL == mdoc->first->child)          if (NULL == mdoc->first->child)
                 return(verr(mdoc, ENODATA));                  return(mdoc_nerr(mdoc, mdoc->first, ENODAT));
         if ( ! (MDOC_PBODY & mdoc->flags))          if ( ! (MDOC_PBODY & mdoc->flags))
                 return(verr(mdoc, ENOPROLOGUE));                  return(mdoc_nerr(mdoc, mdoc->first, ENOPROLOGUE));
   
         if (MDOC_BLOCK != mdoc->first->child->type)          if (MDOC_BLOCK != mdoc->first->child->type)
                 return(verr(mdoc, ENODATA));                  return(mdoc_nerr(mdoc, mdoc->first, ENODAT));
         if (MDOC_Sh != mdoc->first->child->tok)          if (MDOC_Sh != mdoc->first->child->tok)
                 return(verr(mdoc, ENODATA));                  return(mdoc_nerr(mdoc, mdoc->first, ENODAT));
   
         return(1);          return(1);
 }  }
Line 1323  post_st(POST_ARGS)
Line 1131  post_st(POST_ARGS)
   
         if (mdoc_a2st(mdoc->last->child->string))          if (mdoc_a2st(mdoc->last->child->string))
                 return(1);                  return(1);
         return(vwarn(mdoc, WBADSTAND));          return(mdoc_nwarn(mdoc, mdoc->last, EBADSTAND));
 }  }
   
   
Line 1345  post_sh_body(POST_ARGS)
Line 1153  post_sh_body(POST_ARGS)
 {  {
         struct mdoc_node *n;          struct mdoc_node *n;
   
         if (SEC_NAME != mdoc->lastnamed)          if (SEC_NAME != mdoc->lastsec)
                 return(1);                  return(1);
   
         /*          /*
Line 1355  post_sh_body(POST_ARGS)
Line 1163  post_sh_body(POST_ARGS)
          */           */
   
         if (NULL == (n = mdoc->last->child))          if (NULL == (n = mdoc->last->child))
                 return(vwarn(mdoc, WNAMESECINC));                  return(mdoc_nwarn(mdoc, mdoc->last, ENAMESECINC));
   
         for ( ; n && n->next; n = n->next) {          for ( ; n && n->next; n = n->next) {
                 if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)                  if (MDOC_ELEM == n->type && MDOC_Nm == n->tok)
                         continue;                          continue;
                 if (MDOC_TEXT == n->type)                  if (MDOC_TEXT == n->type)
                         continue;                          continue;
                 if ( ! vwarn(mdoc, WNAMESECINC))                  if ( ! mdoc_nwarn(mdoc, mdoc->last, ENAMESECINC))
                         return(0);                          return(0);
         }          }
   
         if (MDOC_ELEM == n->type && MDOC_Nd == n->tok)          if (MDOC_BLOCK == n->type && MDOC_Nd == n->tok)
                 return(1);                  return(1);
         return(vwarn(mdoc, WNAMESECINC));          return(mdoc_nwarn(mdoc, mdoc->last, ENAMESECINC));
 }  }
   
   
Line 1393  post_sh_head(POST_ARGS)
Line 1201  post_sh_head(POST_ARGS)
                 assert(MDOC_TEXT == n->type);                  assert(MDOC_TEXT == n->type);
   
                 if (strlcat(buf, n->string, 64) >= 64)                  if (strlcat(buf, n->string, 64) >= 64)
                         return(nerr(mdoc, n, ETOOLONG));                          return(mdoc_nerr(mdoc, n, ETOOLONG));
                 if (NULL == n->next)                  if (NULL == n->next)
                         continue;                          continue;
                 if (strlcat(buf, " ", 64) >= 64)                  if (strlcat(buf, " ", 64) >= 64)
                         return(nerr(mdoc, n, ETOOLONG));                          return(mdoc_nerr(mdoc, n, ETOOLONG));
         }          }
   
         sec = mdoc_atosec(buf);          sec = mdoc_atosec(buf);
Line 1408  post_sh_head(POST_ARGS)
Line 1216  post_sh_head(POST_ARGS)
          */           */
   
         if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)          if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)
                 return(verr(mdoc, ESECNAME));                  return(mdoc_nerr(mdoc, mdoc->last, ESECNAME));
         if (SEC_CUSTOM == sec)          if (SEC_CUSTOM == sec)
                 return(1);                  return(1);
         if (sec == mdoc->lastnamed)          if (sec == mdoc->lastnamed)
                 return(vwarn(mdoc, WSECREP));                  if ( ! mdoc_nwarn(mdoc, mdoc->last, ESECREP))
                           return(0);
         if (sec < mdoc->lastnamed)          if (sec < mdoc->lastnamed)
                 return(vwarn(mdoc, WSECOOO));                  if ( ! mdoc_nwarn(mdoc, mdoc->last, ESECOOO))
                           return(0);
   
         /*          /*
          * Check particular section/manual conventions.  LIBRARY can           * Check particular section/manual conventions.  LIBRARY can
Line 1429  post_sh_head(POST_ARGS)
Line 1239  post_sh_head(POST_ARGS)
                 case (3):                  case (3):
                         break;                          break;
                 default:                  default:
                         return(vwarn(mdoc, WWRONGMSEC));                          return(mdoc_nwarn(mdoc, mdoc->last, EWRONGMSEC));
                 }                  }
                 break;                  break;
         default:          default:
Legend:
Removed from v.1.16  
changed lines
  Added in v.1.29
CVSweb