[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.168 and 1.197

version 1.168, 2011/04/13 09:57:08 version 1.197, 2013/10/21 23:47:58
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, 2013 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 19 
Line 19 
 #include "config.h"  #include "config.h"
 #endif  #endif
   
 #ifndef OSNAME  #ifndef OSNAME
 #include <sys/utsname.h>  #include <sys/utsname.h>
 #endif  #endif
   
Line 72  static void  check_text(struct mdoc *, int, int, char 
Line 72  static void  check_text(struct mdoc *, int, int, char 
 static  void     check_argv(struct mdoc *,  static  void     check_argv(struct mdoc *,
                         struct mdoc_node *, struct mdoc_argv *);                          struct mdoc_node *, struct mdoc_argv *);
 static  void     check_args(struct mdoc *, struct mdoc_node *);  static  void     check_args(struct mdoc *, struct mdoc_node *);
   static  int      concat(char *, const struct mdoc_node *, size_t);
 static  int      concat(struct mdoc *, char *,  
                         const struct mdoc_node *, size_t);  
 static  enum mdoc_sec   a2sec(const char *);  static  enum mdoc_sec   a2sec(const char *);
 static  size_t          macro2len(enum mdoct);  static  size_t          macro2len(enum mdoct);
   
Line 99  static int  post_bl_block_width(POST_ARGS);
Line 97  static int  post_bl_block_width(POST_ARGS);
 static  int      post_bl_block_tag(POST_ARGS);  static  int      post_bl_block_tag(POST_ARGS);
 static  int      post_bl_head(POST_ARGS);  static  int      post_bl_head(POST_ARGS);
 static  int      post_bx(POST_ARGS);  static  int      post_bx(POST_ARGS);
   static  int      post_defaults(POST_ARGS);
 static  int      post_dd(POST_ARGS);  static  int      post_dd(POST_ARGS);
 static  int      post_dt(POST_ARGS);  static  int      post_dt(POST_ARGS);
 static  int      post_defaults(POST_ARGS);  
 static  int      post_literal(POST_ARGS);  
 static  int      post_eoln(POST_ARGS);  static  int      post_eoln(POST_ARGS);
   static  int      post_hyph(POST_ARGS);
   static  int      post_ignpar(POST_ARGS);
 static  int      post_it(POST_ARGS);  static  int      post_it(POST_ARGS);
 static  int      post_lb(POST_ARGS);  static  int      post_lb(POST_ARGS);
   static  int      post_literal(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_ignpar(POST_ARGS);  static  int      post_par(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);
 static  int      post_rs(POST_ARGS);  static  int      post_rs(POST_ARGS);
Line 143  static v_post  posts_bx[] = { post_bx, NULL };
Line 143  static v_post  posts_bx[] = { post_bx, NULL };
 static  v_post   posts_bool[] = { ebool, NULL };  static  v_post   posts_bool[] = { ebool, NULL };
 static  v_post   posts_eoln[] = { post_eoln, NULL };  static  v_post   posts_eoln[] = { post_eoln, NULL };
 static  v_post   posts_defaults[] = { post_defaults, NULL };  static  v_post   posts_defaults[] = { post_defaults, NULL };
   static  v_post   posts_d1[] = { bwarn_ge1, post_hyph, NULL };
 static  v_post   posts_dd[] = { post_dd, post_prol, NULL };  static  v_post   posts_dd[] = { post_dd, post_prol, NULL };
 static  v_post   posts_dl[] = { post_literal, bwarn_ge1, NULL };  static  v_post   posts_dl[] = { post_literal, bwarn_ge1, NULL };
 static  v_post   posts_dt[] = { post_dt, post_prol, NULL };  static  v_post   posts_dt[] = { post_dt, post_prol, NULL };
 static  v_post   posts_fo[] = { hwarn_eq1, bwarn_ge1, NULL };  static  v_post   posts_fo[] = { hwarn_eq1, bwarn_ge1, NULL };
   static  v_post   posts_hyph[] = { post_hyph, NULL };
   static  v_post   posts_hyphtext[] = { ewarn_ge1, post_hyph, NULL };
 static  v_post   posts_it[] = { post_it, NULL };  static  v_post   posts_it[] = { post_it, NULL };
 static  v_post   posts_lb[] = { post_lb, NULL };  static  v_post   posts_lb[] = { post_lb, NULL };
 static  v_post   posts_nd[] = { berr_ge1, NULL };  static  v_post   posts_nd[] = { berr_ge1, post_hyph, NULL };
 static  v_post   posts_nm[] = { post_nm, NULL };  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,post_hyph,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, post_hyph, NULL };
 static  v_post   posts_st[] = { post_st, NULL };  static  v_post   posts_st[] = { post_st, NULL };
 static  v_post   posts_std[] = { post_std, NULL };  static  v_post   posts_std[] = { post_std, NULL };
 static  v_post   posts_text[] = { ewarn_ge1, NULL };  static  v_post   posts_text[] = { ewarn_ge1, NULL };
 static  v_post   posts_text1[] = { ewarn_eq1, NULL };  static  v_post   posts_text1[] = { ewarn_eq1, NULL };
 static  v_post   posts_vt[] = { post_vt, NULL };  static  v_post   posts_vt[] = { post_vt, NULL };
 static  v_post   posts_wline[] = { bwarn_ge1, NULL };  
 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, pre_literal, pre_par, NULL };  static  v_pre    pres_bd[] = { pre_display, pre_bd, pre_literal, pre_par, NULL };
 static  v_pre    pres_bl[] = { pre_bl, pre_par, NULL };  static  v_pre    pres_bl[] = { pre_bl, pre_par, NULL };
Line 171  static v_pre  pres_d1[] = { pre_display, NULL };
Line 174  static v_pre  pres_d1[] = { pre_display, NULL };
 static  v_pre    pres_dl[] = { pre_literal, pre_display, NULL };  static  v_pre    pres_dl[] = { pre_literal, pre_display, NULL };
 static  v_pre    pres_dd[] = { pre_dd, NULL };  static  v_pre    pres_dd[] = { pre_dd, NULL };
 static  v_pre    pres_dt[] = { pre_dt, NULL };  static  v_pre    pres_dt[] = { pre_dt, NULL };
 static  v_pre    pres_er[] = { NULL, NULL };  
 static  v_pre    pres_fd[] = { NULL, NULL };  
 static  v_pre    pres_it[] = { pre_it, pre_par, NULL };  static  v_pre    pres_it[] = { pre_it, pre_par, NULL };
 static  v_pre    pres_os[] = { pre_os, NULL };  static  v_pre    pres_os[] = { pre_os, NULL };
 static  v_pre    pres_pp[] = { pre_par, NULL };  static  v_pre    pres_pp[] = { pre_par, NULL };
Line 187  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 188  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_d1 },                  /* D1 */
         { pres_dl, posts_dl },                  /* Dl */          { pres_dl, posts_dl },                  /* Dl */
         { pres_bd, posts_bd },                  /* Bd */          { pres_bd, posts_bd },                  /* Bd */
         { NULL, NULL },                         /* Ed */          { NULL, NULL },                         /* Ed */
Line 201  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 202  static const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL },                         /* Cd */          { NULL, NULL },                         /* Cd */
         { NULL, NULL },                         /* Cm */          { NULL, NULL },                         /* Cm */
         { NULL, NULL },                         /* Dv */          { NULL, NULL },                         /* Dv */
         { pres_er, NULL },                      /* Er */          { NULL, NULL },                         /* Er */
         { NULL, NULL },                         /* Ev */          { NULL, NULL },                         /* Ev */
         { pres_std, posts_std },                /* Ex */          { pres_std, posts_std },                /* Ex */
         { NULL, NULL },                         /* Fa */          { NULL, NULL },                         /* Fa */
         { pres_fd, posts_text },                /* Fd */          { NULL, posts_text },                   /* Fd */
         { NULL, NULL },                         /* Fl */          { NULL, NULL },                         /* Fl */
         { NULL, NULL },                         /* Fn */          { NULL, NULL },                         /* Fn */
         { NULL, NULL },                         /* Ft */          { NULL, NULL },                         /* Ft */
Line 223  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 224  static const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, posts_vt },                     /* Vt */          { NULL, posts_vt },                     /* Vt */
         { NULL, posts_text },                   /* Xr */          { NULL, posts_text },                   /* Xr */
         { NULL, posts_text },                   /* %A */          { NULL, posts_text },                   /* %A */
         { NULL, posts_text },                   /* %B */ /* FIXME: can be used outside Rs/Re. */          { NULL, posts_hyphtext },               /* %B */ /* FIXME: can be used outside Rs/Re. */
         { NULL, posts_text },                   /* %D */          { NULL, posts_text },                   /* %D */
         { NULL, posts_text },                   /* %I */          { NULL, posts_text },                   /* %I */
         { NULL, posts_text },                   /* %J */          { NULL, posts_text },                   /* %J */
         { NULL, posts_text },                   /* %N */          { NULL, posts_hyphtext },               /* %N */
         { NULL, posts_text },                   /* %O */          { NULL, posts_hyphtext },               /* %O */
         { NULL, posts_text },                   /* %P */          { NULL, posts_text },                   /* %P */
         { NULL, posts_text },                   /* %R */          { NULL, posts_hyphtext },               /* %R */
         { NULL, posts_text },                   /* %T */ /* FIXME: can be used outside Rs/Re. */          { NULL, posts_hyphtext },               /* %T */ /* FIXME: can be used outside Rs/Re. */
         { NULL, posts_text },                   /* %V */          { NULL, posts_text },                   /* %V */
         { NULL, NULL },                         /* Ac */          { NULL, NULL },                         /* Ac */
         { NULL, NULL },                         /* Ao */          { NULL, NULL },                         /* Ao */
Line 271  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 272  static const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, NULL },                         /* So */          { NULL, NULL },                         /* So */
         { NULL, NULL },                         /* Sq */          { NULL, NULL },                         /* Sq */
         { NULL, posts_bool },                   /* Sm */          { NULL, posts_bool },                   /* Sm */
         { NULL, NULL },                         /* Sx */          { NULL, posts_hyph },                   /* Sx */
         { NULL, NULL },                         /* Sy */          { NULL, NULL },                         /* Sy */
         { NULL, NULL },                         /* Tn */          { NULL, NULL },                         /* Tn */
         { NULL, NULL },                         /* Ux */          { NULL, NULL },                         /* Ux */
Line 288  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 289  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 299  static const struct valids mdoc_valids[MDOC_MAX] = {
Line 300  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 316  static const enum mdoct rsord[RSORD_MAX] = {
Line 317  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__O,  
         MDOC__C,          MDOC__C,
         MDOC__U          MDOC__D,
           MDOC__O
 };  };
   
 static  const char * const secnames[SEC__MAX] = {  static  const char * const secnames[SEC__MAX] = {
Line 416  mdoc_valid_post(struct mdoc *mdoc)
Line 417  mdoc_valid_post(struct mdoc *mdoc)
 }  }
   
 static int  static int
 check_count(struct mdoc *m, enum mdoc_type type,  check_count(struct mdoc *mdoc, enum mdoc_type type,
                 enum check_lvl lvl, enum check_ineq ineq, int val)                  enum check_lvl lvl, enum check_ineq ineq, int val)
 {  {
         const char      *p;          const char      *p;
         enum mandocerr   t;          enum mandocerr   t;
   
         if (m->last->type != type)          if (mdoc->last->type != type)
                 return(1);                  return(1);
   
         switch (ineq) {          switch (ineq) {
         case (CHECK_LT):          case (CHECK_LT):
                 p = "less than ";                  p = "less than ";
                 if (m->last->nchild < val)                  if (mdoc->last->nchild < val)
                         return(1);                          return(1);
                 break;                  break;
         case (CHECK_GT):          case (CHECK_GT):
                 p = "more than ";                  p = "more than ";
                 if (m->last->nchild > val)                  if (mdoc->last->nchild > val)
                         return(1);                          return(1);
                 break;                  break;
         case (CHECK_EQ):          case (CHECK_EQ):
                 p = "";                  p = "";
                 if (val == m->last->nchild)                  if (val == mdoc->last->nchild)
                         return(1);                          return(1);
                 break;                  break;
         default:          default:
Line 447  check_count(struct mdoc *m, enum mdoc_type type, 
Line 448  check_count(struct mdoc *m, enum mdoc_type type, 
         }          }
   
         t = lvl == CHECK_WARN ? MANDOCERR_ARGCWARN : MANDOCERR_ARGCOUNT;          t = lvl == CHECK_WARN ? MANDOCERR_ARGCWARN : MANDOCERR_ARGCOUNT;
         mandoc_vmsg(t, m->parse, m->last->line, m->last->pos,          mandoc_vmsg(t, mdoc->parse, mdoc->last->line, mdoc->last->pos,
                         "want %s%d children (have %d)",                          "want %s%d children (have %d)",
                         p, val, m->last->nchild);                          p, val, mdoc->last->nchild);
         return(1);          return(1);
 }  }
   
Line 515  hwarn_le1(POST_ARGS)
Line 516  hwarn_le1(POST_ARGS)
 }  }
   
 static void  static void
 check_args(struct mdoc *m, struct mdoc_node *n)  check_args(struct mdoc *mdoc, struct mdoc_node *n)
 {  {
         int              i;          int              i;
   
Line 524  check_args(struct mdoc *m, struct mdoc_node *n)
Line 525  check_args(struct mdoc *m, struct mdoc_node *n)
   
         assert(n->args->argc);          assert(n->args->argc);
         for (i = 0; i < (int)n->args->argc; i++)          for (i = 0; i < (int)n->args->argc; i++)
                 check_argv(m, n, &n->args->argv[i]);                  check_argv(mdoc, n, &n->args->argv[i]);
 }  }
   
 static void  static void
 check_argv(struct mdoc *m, struct mdoc_node *n, struct mdoc_argv *v)  check_argv(struct mdoc *mdoc, struct mdoc_node *n, struct mdoc_argv *v)
 {  {
         int              i;          int              i;
   
         for (i = 0; i < (int)v->sz; i++)          for (i = 0; i < (int)v->sz; i++)
                 check_text(m, v->line, v->pos, v->value[i]);                  check_text(mdoc, v->line, v->pos, v->value[i]);
   
         /* FIXME: move to post_std(). */          /* FIXME: move to post_std(). */
   
         if (MDOC_Std == v->arg)          if (MDOC_Std == v->arg)
                 if ( ! (v->sz || m->meta.name))                  if ( ! (v->sz || mdoc->meta.name))
                         mdoc_nmsg(m, n, MANDOCERR_NONAME);                          mdoc_nmsg(mdoc, n, MANDOCERR_NONAME);
 }  }
   
 static void  static void
 check_text(struct mdoc *m, int ln, int pos, char *p)  check_text(struct mdoc *mdoc, int ln, int pos, char *p)
 {  {
         char            *cpp, *pp;          char            *cp;
         size_t           sz;  
   
         while ('\0' != *p) {          if (MDOC_LITERAL & mdoc->flags)
                 sz = strcspn(p, "\t\\");                  return;
   
                 p += (int)sz;          for (cp = p; NULL != (p = strchr(p, '\t')); p++)
                 pos += (int)sz;                  mdoc_pmsg(mdoc, ln, pos + (int)(p - cp), MANDOCERR_BADTAB);
   
                 if ('\t' == *p) {  
                         if ( ! (MDOC_LITERAL & m->flags))  
                                 mdoc_pmsg(m, ln, pos, MANDOCERR_BADTAB);  
                         p++;  
                         pos++;  
                         continue;  
                 } else if ('\0' == *p)  
                         break;  
   
                 pos++;  
                 pp = ++p;  
   
                 if (ESCAPE_ERROR == mandoc_escape  
                                 ((const char **)&pp, NULL, NULL)) {  
                         mdoc_pmsg(m, ln, pos, MANDOCERR_BADESCAPE);  
                         break;  
                 }  
   
                 cpp = p;  
                 while (NULL != (cpp = memchr(cpp, ASCII_HYPH, pp - cpp)))  
                         *cpp = '-';  
   
                 pos += pp - p;  
                 p = pp;  
         }  
 }  }
   
 static int  static int
Line 690  pre_bl(PRE_ARGS)
Line 664  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 731  pre_bl(PRE_ARGS)
Line 710  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 757  pre_bl(PRE_ARGS)
Line 736  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 778  pre_bl(PRE_ARGS)
Line 757  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 898  pre_sh(PRE_ARGS)
Line 889  pre_sh(PRE_ARGS)
   
         if (MDOC_BLOCK != n->type)          if (MDOC_BLOCK != n->type)
                 return(1);                  return(1);
   
         mdoc->regs->regs[(int)REG_nS].set = 0;  
         return(check_parent(mdoc, n, MDOC_MAX, MDOC_ROOT));          return(check_parent(mdoc, n, MDOC_MAX, MDOC_ROOT));
 }  }
   
Line 1133  static int
Line 1122  static int
 post_nm(POST_ARGS)  post_nm(POST_ARGS)
 {  {
         char             buf[BUFSIZ];          char             buf[BUFSIZ];
           int              c;
   
         /* If no child specified, make sure we have the meta name. */          if (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. */
   
         if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))          if (NULL != mdoc->last->child) {
                 return(0);                  buf[0] = '\0';
                   c = concat(buf, mdoc->last->child, BUFSIZ);
           } else
                   c = 0;
   
         mdoc->meta.name = mandoc_strdup(buf);          switch (c) {
           case (-1):
                   mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);
                   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;
           }
         return(1);          return(1);
 }  }
   
Line 1354  post_it(POST_ARGS)
Line 1352  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 1370  post_bl_block(POST_ARGS) 
Line 1368  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 1419  post_bl_block_width(POST_ARGS)
Line 1446  post_bl_block_width(POST_ARGS)
   
         assert(i < (int)n->args->argc);          assert(i < (int)n->args->argc);
   
         snprintf(buf, NUMSIZ, "%zun", width);          snprintf(buf, NUMSIZ, "%un", (unsigned int)width);
         free(n->args->argv[i].value[0]);          free(n->args->argv[i].value[0]);
         n->args->argv[i].value[0] = mandoc_strdup(buf);          n->args->argv[i].value[0] = mandoc_strdup(buf);
   
Line 1469  post_bl_block_tag(POST_ARGS)
Line 1496  post_bl_block_tag(POST_ARGS)
   
         /* Defaults to ten ens. */          /* Defaults to ten ens. */
   
         snprintf(buf, NUMSIZ, "%zun", sz);          snprintf(buf, NUMSIZ, "%un", (unsigned int)sz);
   
         /*          /*
          * We have to dynamically add this to the macro's argument list.           * We have to dynamically add this to the macro's argument list.
Line 1535  post_bl_head(POST_ARGS) 
Line 1562  post_bl_head(POST_ARGS) 
         assert(0 == np->args->argv[j].sz);          assert(0 == np->args->argv[j].sz);
   
         /*          /*
          * Accomodate for new-style groff column syntax.  Shuffle the           * Accommodate for new-style groff column syntax.  Shuffle the
          * child nodes, all of which must be TEXT, as arguments for the           * child nodes, all of which must be TEXT, as arguments for the
          * column field.  Then, delete the head children.           * column field.  Then, delete the head children.
          */           */
Line 1545  post_bl_head(POST_ARGS) 
Line 1572  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 1564  post_bl_head(POST_ARGS) 
Line 1591  post_bl_head(POST_ARGS) 
 static int  static int
 post_bl(POST_ARGS)  post_bl(POST_ARGS)
 {  {
         struct mdoc_node        *n;          struct mdoc_node        *nparent, *nprev; /* of the Bl block */
           struct mdoc_node        *nblock, *nbody;  /* of the Bl */
           struct mdoc_node        *nchild, *nnext;  /* of the Bl body */
   
         if (MDOC_HEAD == mdoc->last->type)          nbody = mdoc->last;
                 return(post_bl_head(mdoc));          switch (nbody->type) {
         if (MDOC_BLOCK == mdoc->last->type)          case (MDOC_BLOCK):
                 return(post_bl_block(mdoc));                  return(post_bl_block(mdoc));
         if (MDOC_BODY != mdoc->last->type)          case (MDOC_HEAD):
                   return(post_bl_head(mdoc));
           case (MDOC_BODY):
                   break;
           default:
                 return(1);                  return(1);
           }
   
         for (n = mdoc->last->child; n; n = n->next) {          nchild = nbody->child;
                 switch (n->tok) {          while (NULL != nchild) {
                 case (MDOC_Lp):                  if (MDOC_It == nchild->tok || MDOC_Sm == nchild->tok) {
                         /* FALLTHROUGH */                          nchild = nchild->next;
                 case (MDOC_Pp):  
                         mdoc_nmsg(mdoc, n, MANDOCERR_CHILD);  
                         /* FALLTHROUGH */  
                 case (MDOC_It):  
                         /* FALLTHROUGH */  
                 case (MDOC_Sm):  
                         continue;                          continue;
                 default:  
                         break;  
                 }                  }
   
                 mdoc_nmsg(mdoc, n, MANDOCERR_SYNTCHILD);                  mdoc_nmsg(mdoc, nchild, MANDOCERR_CHILD);
                 return(0);  
                   /*
                    * Move the node out of the Bl block.
                    * First, collect all required node pointers.
                    */
   
                   nblock  = nbody->parent;
                   nprev   = nblock->prev;
                   nparent = nblock->parent;
                   nnext   = nchild->next;
   
                   /*
                    * Unlink this child.
                    */
   
                   assert(NULL == nchild->prev);
                   if (0 == --nbody->nchild) {
                           nbody->child = NULL;
                           nbody->last  = NULL;
                           assert(NULL == nnext);
                   } else {
                           nbody->child = nnext;
                           nnext->prev = NULL;
                   }
   
                   /*
                    * Relink this child.
                    */
   
                   nchild->parent = nparent;
                   nchild->prev   = nprev;
                   nchild->next   = nblock;
   
                   nblock->prev = nchild;
                   nparent->nchild++;
                   if (NULL == nprev)
                           nparent->child = nchild;
                   else
                           nprev->next = nchild;
   
                   nchild = nnext;
         }          }
   
         return(1);          return(1);
Line 1608  ebool(struct mdoc *mdoc)
Line 1674  ebool(struct mdoc *mdoc)
   
         assert(MDOC_TEXT == mdoc->last->child->type);          assert(MDOC_TEXT == mdoc->last->child->type);
   
         if (0 == strcmp(mdoc->last->child->string, "on"))          if (0 == strcmp(mdoc->last->child->string, "on")) {
                   if (MDOC_Sm == mdoc->last->tok)
                           mdoc->flags &= ~MDOC_SMOFF;
                 return(1);                  return(1);
         if (0 == strcmp(mdoc->last->child->string, "off"))          }
           if (0 == strcmp(mdoc->last->child->string, "off")) {
                   if (MDOC_Sm == mdoc->last->tok)
                           mdoc->flags |= MDOC_SMOFF;
                 return(1);                  return(1);
           }
   
         mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADBOOL);          mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_BADBOOL);
         return(1);          return(1);
Line 1719  post_rs(POST_ARGS)
Line 1791  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 1783  post_rs(POST_ARGS)
Line 1863  post_rs(POST_ARGS)
         return(1);          return(1);
 }  }
   
   /*
    * For some arguments of some macros,
    * convert all breakable hyphens into ASCII_HYPH.
    */
 static int  static int
   post_hyph(POST_ARGS)
   {
           struct mdoc_node        *n, *nch;
           char                    *cp;
   
           n = mdoc->last;
           switch (n->type) {
           case (MDOC_HEAD):
                   if (MDOC_Sh == n->tok || MDOC_Ss == n->tok)
                           break;
                   return(1);
           case (MDOC_BODY):
                   if (MDOC_D1 == n->tok || MDOC_Nd == n->tok)
                           break;
                   return(1);
           case (MDOC_ELEM):
                   break;
           default:
                   return(1);
           }
   
           for (nch = n->child; nch; nch = nch->next) {
                   if (MDOC_TEXT != nch->type)
                           continue;
                   cp = nch->string;
                   if (3 > strnlen(cp, 3))
                           continue;
                   while ('\0' != *(++cp))
                           if ('-' == *cp &&
                               isalpha((unsigned char)cp[-1]) &&
                               isalpha((unsigned char)cp[1]))
                                   *cp = ASCII_HYPH;
           }
           return(1);
   }
   
   static int
 post_ns(POST_ARGS)  post_ns(POST_ARGS)
 {  {
   
Line 1843  static int
Line 1964  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;
   
         /*          /*
          * Process a new section.  Sections are either "named" or           * Process a new section.  Sections are either "named" or
Line 1852  post_sh_head(POST_ARGS)
Line 1975  post_sh_head(POST_ARGS)
          * manual sections.           * manual sections.
          */           */
   
         if ( ! concat(mdoc, buf, mdoc->last->child, BUFSIZ))          sec = SEC_CUSTOM;
           buf[0] = '\0';
           if (-1 == (c = concat(buf, mdoc->last->child, BUFSIZ))) {
                   mdoc_nmsg(mdoc, mdoc->last->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           } else if (1 == c)
                   sec = a2sec(buf);
   
         sec = a2sec(buf);  
   
         /* The NAME should be first. */          /* The NAME should be first. */
   
         if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)          if (SEC_NAME != sec && SEC_NONE == mdoc->lastnamed)
Line 1864  post_sh_head(POST_ARGS)
Line 1990  post_sh_head(POST_ARGS)
   
         /* The SYNOPSIS gets special attention in other areas. */          /* The SYNOPSIS gets special attention in other areas. */
   
         if (SEC_SYNOPSIS == sec)          if (SEC_SYNOPSIS == sec) {
                   roff_setreg(mdoc->roff, "nS", 1);
                 mdoc->flags |= MDOC_SYNOPSIS;                  mdoc->flags |= MDOC_SYNOPSIS;
         else          } else {
                   roff_setreg(mdoc->roff, "nS", 0);
                 mdoc->flags &= ~MDOC_SYNOPSIS;                  mdoc->flags &= ~MDOC_SYNOPSIS;
           }
   
         /* Mark our last section. */          /* Mark our last section. */
   
         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 1909  post_sh_head(POST_ARGS)
Line 2052  post_sh_head(POST_ARGS)
                         break;                          break;
                 if (*mdoc->meta.msec == '9')                  if (*mdoc->meta.msec == '9')
                         break;                          break;
                 mdoc_nmsg(mdoc, mdoc->last, MANDOCERR_SECMSEC);                  mandoc_msg(MANDOCERR_SECMSEC, mdoc->parse,
                                   mdoc->last->line, mdoc->last->pos, buf);
                 break;                  break;
         default:          default:
                 break;                  break;
Line 1955  pre_par(PRE_ARGS)
Line 2099  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 1970  pre_par(PRE_ARGS)
Line 2116  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 2004  post_dd(POST_ARGS)
Line 2176  post_dd(POST_ARGS)
 {  {
         char              buf[DATESIZE];          char              buf[DATESIZE];
         struct mdoc_node *n;          struct mdoc_node *n;
           int               c;
   
         if (mdoc->meta.date)          if (mdoc->meta.date)
                 free(mdoc->meta.date);                  free(mdoc->meta.date);
Line 2015  post_dd(POST_ARGS)
Line 2188  post_dd(POST_ARGS)
                 return(1);                  return(1);
         }          }
   
         if ( ! concat(mdoc, buf, n->child, DATESIZE))          buf[0] = '\0';
           if (-1 == (c = concat(buf, n->child, DATESIZE))) {
                   mdoc_nmsg(mdoc, n->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           }
   
           assert(c);
         mdoc->meta.date = mandoc_normdate          mdoc->meta.date = mandoc_normdate
                 (mdoc->parse, buf, n->line, n->pos);                  (mdoc->parse, buf, n->line, n->pos);
   
Line 2046  post_dt(POST_ARGS)
Line 2223  post_dt(POST_ARGS)
   
         if (NULL != (nn = n->child))          if (NULL != (nn = n->child))
                 for (p = nn->string; *p; p++) {                  for (p = nn->string; *p; p++) {
                         if (toupper((u_char)*p) == *p)                          if (toupper((unsigned char)*p) == *p)
                                 continue;                                  continue;
   
                         /*                          /*
Line 2092  post_dt(POST_ARGS)
Line 2269  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 2117  post_dt(POST_ARGS)
Line 2294  post_dt(POST_ARGS)
                 free(mdoc->meta.vol);                  free(mdoc->meta.vol);
                 mdoc->meta.vol = mandoc_strdup(cp);                  mdoc->meta.vol = mandoc_strdup(cp);
         } else {          } else {
                 /* FIXME: warn about bad arch. */  
                 cp = mdoc_a2arch(nn->string);                  cp = mdoc_a2arch(nn->string);
                 if (NULL == cp) {                  if (NULL == cp) {
                           mdoc_nmsg(mdoc, nn, MANDOCERR_BADVOLARCH);
                         free(mdoc->meta.vol);                          free(mdoc->meta.vol);
                         mdoc->meta.vol = mandoc_strdup(nn->string);                          mdoc->meta.vol = mandoc_strdup(nn->string);
                 } else                  } else
Line 2172  post_os(POST_ARGS)
Line 2349  post_os(POST_ARGS)
 {  {
         struct mdoc_node *n;          struct mdoc_node *n;
         char              buf[BUFSIZ];          char              buf[BUFSIZ];
           int               c;
 #ifndef OSNAME  #ifndef OSNAME
         struct utsname    utsname;          struct utsname    utsname;
 #endif  #endif
Line 2179  post_os(POST_ARGS)
Line 2357  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);  
   
         if ( ! concat(mdoc, buf, n->child, BUFSIZ))          buf[0] = '\0';
           if (-1 == (c = concat(buf, n->child, BUFSIZ))) {
                   mdoc_nmsg(mdoc, n->child, MANDOCERR_MEM);
                 return(0);                  return(0);
           }
   
         /* XXX: yes, these can all be dynamically-adjusted buffers, but          assert(c);
          * 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);
Line 2256  post_std(POST_ARGS)
Line 2440  post_std(POST_ARGS)
         return(1);          return(1);
 }  }
   
   /*
    * Concatenate a node, stopping at the first non-text.
    * Concatenation is separated by a single whitespace.
    * Returns -1 on fatal (string overrun) error, 0 if child nodes were
    * encountered, 1 otherwise.
    */
 static int  static int
 concat(struct mdoc *m, char *p, const struct mdoc_node *n, size_t sz)  concat(char *p, const struct mdoc_node *n, size_t sz)
 {  {
   
         p[0] = '\0';          for ( ; NULL != n; n = n->next) {
                   if (MDOC_TEXT != n->type)
         /*  
          * Concatenate sibling nodes together.  All siblings must be of  
          * type MDOC_TEXT or an assertion is raised.  Concatenation is  
          * separated by a single whitespace.  Returns 0 on fatal (string  
          * overrun) error.  
          */  
   
         for ( ; n; n = n->next) {  
                 assert(MDOC_TEXT == n->type);  
   
                 if (strlcat(p, n->string, sz) >= sz) {  
                         mdoc_nmsg(m, n, MANDOCERR_MEM);  
                         return(0);                          return(0);
                 }                  if ('\0' != p[0] && strlcat(p, " ", sz) >= sz)
                           return(-1);
                 if (NULL == n->next)                  if (strlcat(p, n->string, sz) >= sz)
                         continue;                          return(-1);
                   concat(p, n->child, sz);
                 if (strlcat(p, " ", sz) >= sz) {  
                         mdoc_nmsg(m, n, MANDOCERR_MEM);  
                         return(0);  
                 }  
         }          }
   
         return(1);          return(1);

Legend:
Removed from v.1.168  
changed lines
  Added in v.1.197

CVSweb