[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.329 and 1.349

version 1.329, 2017/05/31 15:31:00 version 1.349, 2017/07/15 16:40:29
Line 33 
Line 33 
   
 #include "mandoc_aux.h"  #include "mandoc_aux.h"
 #include "mandoc.h"  #include "mandoc.h"
   #include "mandoc_xr.h"
 #include "roff.h"  #include "roff.h"
 #include "mdoc.h"  #include "mdoc.h"
 #include "libmandoc.h"  #include "libmandoc.h"
Line 53  typedef void (*v_post)(POST_ARGS);
Line 54  typedef void (*v_post)(POST_ARGS);
   
 static  int      build_list(struct roff_man *, int);  static  int      build_list(struct roff_man *, int);
 static  void     check_text(struct roff_man *, int, int, char *);  static  void     check_text(struct roff_man *, int, int, char *);
 static  void     check_bsd(struct roff_man *, int, int, char *);  
 static  void     check_argv(struct roff_man *,  static  void     check_argv(struct roff_man *,
                         struct roff_node *, struct mdoc_argv *);                          struct roff_node *, struct mdoc_argv *);
 static  void     check_args(struct roff_man *, struct roff_node *);  static  void     check_args(struct roff_man *, struct roff_node *);
   static  void     check_toptext(struct roff_man *, int, int, const char *);
 static  int      child_an(const struct roff_node *);  static  int      child_an(const struct roff_node *);
 static  size_t          macro2len(enum roff_tok);  static  size_t          macro2len(enum roff_tok);
 static  void     rewrite_macro2len(struct roff_man *, char **);  static  void     rewrite_macro2len(struct roff_man *, char **);
   static  int      similar(const char *, const char *);
   
 static  void     post_an(POST_ARGS);  static  void     post_an(POST_ARGS);
 static  void     post_an_norm(POST_ARGS);  static  void     post_an_norm(POST_ARGS);
Line 75  static void  post_bx(POST_ARGS);
Line 77  static void  post_bx(POST_ARGS);
 static  void     post_defaults(POST_ARGS);  static  void     post_defaults(POST_ARGS);
 static  void     post_display(POST_ARGS);  static  void     post_display(POST_ARGS);
 static  void     post_dd(POST_ARGS);  static  void     post_dd(POST_ARGS);
   static  void     post_delim(POST_ARGS);
   static  void     post_delim_nb(POST_ARGS);
 static  void     post_dt(POST_ARGS);  static  void     post_dt(POST_ARGS);
 static  void     post_en(POST_ARGS);  static  void     post_en(POST_ARGS);
 static  void     post_es(POST_ARGS);  static  void     post_es(POST_ARGS);
Line 106  static void  post_sh_authors(POST_ARGS);
Line 110  static void  post_sh_authors(POST_ARGS);
 static  void     post_sm(POST_ARGS);  static  void     post_sm(POST_ARGS);
 static  void     post_st(POST_ARGS);  static  void     post_st(POST_ARGS);
 static  void     post_std(POST_ARGS);  static  void     post_std(POST_ARGS);
   static  void     post_sx(POST_ARGS);
 static  void     post_useless(POST_ARGS);  static  void     post_useless(POST_ARGS);
 static  void     post_xr(POST_ARGS);  static  void     post_xr(POST_ARGS);
 static  void     post_xx(POST_ARGS);  static  void     post_xx(POST_ARGS);
Line 124  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
Line 129  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
         post_bl,        /* Bl */          post_bl,        /* Bl */
         NULL,           /* El */          NULL,           /* El */
         post_it,        /* It */          post_it,        /* It */
         NULL,           /* Ad */          post_delim_nb,  /* Ad */
         post_an,        /* An */          post_an,        /* An */
         NULL,           /* Ap */          NULL,           /* Ap */
         post_defaults,  /* Ar */          post_defaults,  /* Ar */
         NULL,           /* Cd */          NULL,           /* Cd */
         NULL,           /* Cm */          post_delim_nb,  /* Cm */
         NULL,           /* Dv */          post_delim_nb,  /* Dv */
         NULL,           /* Er */          post_delim_nb,  /* Er */
         NULL,           /* Ev */          post_delim_nb,  /* Ev */
         post_ex,        /* Ex */          post_ex,        /* Ex */
         post_fa,        /* Fa */          post_fa,        /* Fa */
         NULL,           /* Fd */          NULL,           /* Fd */
         NULL,           /* Fl */          post_delim_nb,  /* Fl */
         post_fn,        /* Fn */          post_fn,        /* Fn */
         NULL,           /* Ft */          post_delim_nb,  /* Ft */
         NULL,           /* Ic */          post_delim_nb,  /* Ic */
         NULL,           /* In */          post_delim_nb,  /* In */
         post_defaults,  /* Li */          post_defaults,  /* Li */
         post_nd,        /* Nd */          post_nd,        /* Nd */
         post_nm,        /* Nm */          post_nm,        /* Nm */
         NULL,           /* Op */          post_delim_nb,  /* Op */
         post_obsolete,  /* Ot */          post_obsolete,  /* Ot */
         post_defaults,  /* Pa */          post_defaults,  /* Pa */
         post_rv,        /* Rv */          post_rv,        /* Rv */
         post_st,        /* St */          post_st,        /* St */
         NULL,           /* Va */          post_delim_nb,  /* Va */
         NULL,           /* Vt */          post_delim_nb,  /* Vt */
         post_xr,        /* Xr */          post_xr,        /* Xr */
         NULL,           /* %A */          NULL,           /* %A */
         post_hyph,      /* %B */ /* FIXME: can be used outside Rs/Re. */          post_hyph,      /* %B */ /* FIXME: can be used outside Rs/Re. */
Line 164  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
Line 169  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
         post_hyph,      /* %T */ /* FIXME: can be used outside Rs/Re. */          post_hyph,      /* %T */ /* FIXME: can be used outside Rs/Re. */
         NULL,           /* %V */          NULL,           /* %V */
         NULL,           /* Ac */          NULL,           /* Ac */
         NULL,           /* Ao */          post_delim_nb,  /* Ao */
         NULL,           /* Aq */          post_delim_nb,  /* Aq */
         post_at,        /* At */          post_at,        /* At */
         NULL,           /* Bc */          NULL,           /* Bc */
         post_bf,        /* Bf */          post_bf,        /* Bf */
         NULL,           /* Bo */          post_delim_nb,  /* Bo */
         NULL,           /* Bq */          NULL,           /* Bq */
         post_xx,        /* Bsx */          post_xx,        /* Bsx */
         post_bx,        /* Bx */          post_bx,        /* Bx */
Line 179  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
Line 184  static const v_post __mdoc_valids[MDOC_MAX - MDOC_Dd] 
         NULL,           /* Dq */          NULL,           /* Dq */
         NULL,           /* Ec */          NULL,           /* Ec */
         NULL,           /* Ef */          NULL,           /* Ef */
         NULL,           /* Em */          post_delim_nb,  /* Em */
         NULL,           /* Eo */          NULL,           /* Eo */
         post_xx,        /* Fx */          post_xx,        /* Fx */
         NULL,           /* Ms */          post_delim_nb,  /* Ms */
         NULL,           /* No */          NULL,           /* No */
         post_ns,        /* Ns */          post_ns,        /* Ns */
         post_xx,        /* Nx */          post_xx,        /* Nx */
         post_xx,        /* Ox */          post_xx,        /* Ox */
         NULL,           /* Pc */          NULL,           /* Pc */
         NULL,           /* Pf */          NULL,           /* Pf */
         NULL,           /* Po */          post_delim_nb,  /* Po */
         NULL,           /* Pq */          post_delim_nb,  /* Pq */
         NULL,           /* Qc */          NULL,           /* Qc */
         NULL,           /* Ql */          post_delim_nb,  /* Ql */
         NULL,           /* Qo */          post_delim_nb,  /* Qo */
         NULL,           /* Qq */          post_delim_nb,  /* Qq */
         NULL,           /* Re */          NULL,           /* Re */
         post_rs,        /* Rs */          post_rs,        /* Rs */
         NULL,           /* Sc */          NULL,           /* Sc */
         NULL,           /* So */          post_delim_nb,  /* So */
         NULL,           /* Sq */          post_delim_nb,  /* Sq */
         post_sm,        /* Sm */          post_sm,        /* Sm */
         post_hyph,      /* Sx */          post_sx,        /* Sx */
         NULL,           /* Sy */          post_delim_nb,  /* Sy */
         post_useless,   /* Tn */          post_useless,   /* Tn */
         post_xx,        /* Ux */          post_xx,        /* Ux */
         NULL,           /* Xc */          NULL,           /* Xc */
         NULL,           /* Xo */          NULL,           /* Xo */
         post_fo,        /* Fo */          post_fo,        /* Fo */
         NULL,           /* Fc */          NULL,           /* Fc */
         NULL,           /* Oo */          post_delim_nb,  /* Oo */
         NULL,           /* Oc */          NULL,           /* Oc */
         post_bk,        /* Bk */          post_bk,        /* Bk */
         NULL,           /* Ek */          NULL,           /* Ek */
         post_eoln,      /* Bt */          post_eoln,      /* Bt */
         NULL,           /* Hf */          post_obsolete,  /* Hf */
         post_obsolete,  /* Fr */          post_obsolete,  /* Fr */
         post_eoln,      /* Ud */          post_eoln,      /* Ud */
         post_lb,        /* Lb */          post_lb,        /* Lb */
         post_par,       /* Lp */          post_par,       /* Lp */
         NULL,           /* Lk */          post_delim_nb,  /* Lk */
         post_defaults,  /* Mt */          post_defaults,  /* Mt */
         NULL,           /* Brq */          post_delim_nb,  /* Brq */
         NULL,           /* Bro */          post_delim_nb,  /* Bro */
         NULL,           /* Brc */          NULL,           /* Brc */
         NULL,           /* %C */          NULL,           /* %C */
         post_es,        /* Es */          post_es,        /* Es */
Line 303  mdoc_node_validate(struct roff_man *mdoc)
Line 308  mdoc_node_validate(struct roff_man *mdoc)
                 if (n->sec != SEC_SYNOPSIS ||                  if (n->sec != SEC_SYNOPSIS ||
                     (n->parent->tok != MDOC_Cd && n->parent->tok != MDOC_Fd))                      (n->parent->tok != MDOC_Cd && n->parent->tok != MDOC_Fd))
                         check_text(mdoc, n->line, n->pos, n->string);                          check_text(mdoc, n->line, n->pos, n->string);
                 if (n->parent->tok == MDOC_Sh ||                  if (n->parent->tok == MDOC_It ||
                     n->parent->tok == MDOC_Ss ||                      (n->parent->type == ROFFT_BODY &&
                     n->parent->tok == MDOC_It)                       (n->parent->tok == MDOC_Sh ||
                         check_bsd(mdoc, n->line, n->pos, n->string);                        n->parent->tok == MDOC_Ss)))
                           check_toptext(mdoc, n->line, n->pos, n->string);
                 break;                  break;
         case ROFFT_EQN:          case ROFFT_EQN:
         case ROFFT_TBL:          case ROFFT_TBL:
Line 389  check_text(struct roff_man *mdoc, int ln, int pos, cha
Line 395  check_text(struct roff_man *mdoc, int ln, int pos, cha
 }  }
   
 static void  static void
 check_bsd(struct roff_man *mdoc, int ln, int pos, char *p)  check_toptext(struct roff_man *mdoc, int ln, int pos, const char *p)
 {  {
         const char      *cp;          const char      *cp, *cpr;
   
           if (*p == '\0')
                   return;
   
         if ((cp = strstr(p, "OpenBSD")) != NULL)          if ((cp = strstr(p, "OpenBSD")) != NULL)
                 mandoc_msg(MANDOCERR_BX, mdoc->parse,                  mandoc_msg(MANDOCERR_BX, mdoc->parse,
                     ln, pos + (cp - p), "Ox");                      ln, pos + (cp - p), "Ox");
Line 405  check_bsd(struct roff_man *mdoc, int ln, int pos, char
Line 414  check_bsd(struct roff_man *mdoc, int ln, int pos, char
         if ((cp = strstr(p, "DragonFly")) != NULL)          if ((cp = strstr(p, "DragonFly")) != NULL)
                 mandoc_msg(MANDOCERR_BX, mdoc->parse,                  mandoc_msg(MANDOCERR_BX, mdoc->parse,
                     ln, pos + (cp - p), "Dx");                      ln, pos + (cp - p), "Dx");
   
           cp = p;
           while ((cp = strstr(cp + 1, "()")) != NULL) {
                   for (cpr = cp - 1; cpr >= p; cpr--)
                           if (*cpr != '_' && !isalnum((unsigned char)*cpr))
                                   break;
                   if ((cpr < p || *cpr == ' ') && cpr + 1 < cp) {
                           cpr++;
                           mandoc_vmsg(MANDOCERR_FUNC, mdoc->parse,
                               ln, pos + (cpr - p),
                               "%.*s()", (int)(cp - cpr), cpr);
                   }
           }
 }  }
   
 static void  static void
   post_delim(POST_ARGS)
   {
           const struct roff_node  *nch;
           const char              *lc;
           enum mdelim              delim;
           enum roff_tok            tok;
   
           tok = mdoc->last->tok;
           nch = mdoc->last->last;
           if (nch == NULL || nch->type != ROFFT_TEXT)
                   return;
           lc = strchr(nch->string, '\0') - 1;
           if (lc < nch->string)
                   return;
           delim = mdoc_isdelim(lc);
           if (delim == DELIM_NONE || delim == DELIM_OPEN)
                   return;
           if (*lc == ')' && (tok == MDOC_Nd || tok == MDOC_Sh ||
               tok == MDOC_Ss || tok == MDOC_Fo))
                   return;
   
           mandoc_vmsg(MANDOCERR_DELIM, mdoc->parse,
               nch->line, nch->pos + (lc - nch->string),
               "%s%s %s", roff_name[tok],
               nch == mdoc->last->child ? "" : " ...", nch->string);
   }
   
   static void
   post_delim_nb(POST_ARGS)
   {
           const struct roff_node  *nch;
           const char              *lc, *cp;
           int                      nw;
           enum mdelim              delim;
           enum roff_tok            tok;
   
           /*
            * Find candidates: at least two bytes,
            * the last one a closing or middle delimiter.
            */
   
           tok = mdoc->last->tok;
           nch = mdoc->last->last;
           if (nch == NULL || nch->type != ROFFT_TEXT)
                   return;
           lc = strchr(nch->string, '\0') - 1;
           if (lc <= nch->string)
                   return;
           delim = mdoc_isdelim(lc);
           if (delim == DELIM_NONE || delim == DELIM_OPEN)
                   return;
   
           /*
            * Reduce false positives by allowing various cases.
            */
   
           /* Escaped delimiters. */
           if (lc > nch->string + 1 && lc[-2] == '\\' &&
               (lc[-1] == '&' || lc[-1] == 'e'))
                   return;
   
           /* Specific byte sequences. */
           switch (*lc) {
           case ')':
                   for (cp = lc; cp >= nch->string; cp--)
                           if (*cp == '(')
                                   return;
                   break;
           case '.':
                   if (lc > nch->string + 1 && lc[-2] == '.' && lc[-1] == '.')
                           return;
                   if (lc[-1] == '.')
                           return;
                   break;
           case ';':
                   if (tok == MDOC_Vt)
                           return;
                   break;
           case '?':
                   if (lc[-1] == '?')
                           return;
                   break;
           case ']':
                   for (cp = lc; cp >= nch->string; cp--)
                           if (*cp == '[')
                                   return;
                   break;
           case '|':
                   if (lc == nch->string + 1 && lc[-1] == '|')
                           return;
           default:
                   break;
           }
   
           /* Exactly two non-alphanumeric bytes. */
           if (lc == nch->string + 1 && !isalnum((unsigned char)lc[-1]))
                   return;
   
           /* At least three alphabetic words with a sentence ending. */
           if (strchr("!.:?", *lc) != NULL && (tok == MDOC_Em ||
               tok == MDOC_Li || tok == MDOC_Po || tok == MDOC_Pq ||
               tok == MDOC_Sy)) {
                   nw = 0;
                   for (cp = lc - 1; cp >= nch->string; cp--) {
                           if (*cp == ' ') {
                                   nw++;
                                   if (cp > nch->string && cp[-1] == ',')
                                           cp--;
                           } else if (isalpha((unsigned int)*cp)) {
                                   if (nw > 1)
                                           return;
                           } else
                                   break;
                   }
           }
   
           mandoc_vmsg(MANDOCERR_DELIM_NB, mdoc->parse,
               nch->line, nch->pos + (lc - nch->string),
               "%s%s %s", roff_name[tok],
               nch == mdoc->last->child ? "" : " ...", nch->string);
   }
   
   static void
 post_bl_norm(POST_ARGS)  post_bl_norm(POST_ARGS)
 {  {
         struct roff_node *n;          struct roff_node *n;
Line 555  post_bl_norm(POST_ARGS)
Line 700  post_bl_norm(POST_ARGS)
   
         switch (n->norm->Bl.type) {          switch (n->norm->Bl.type) {
         case LIST_tag:          case LIST_tag:
                 if (NULL == n->norm->Bl.width)                  if (n->norm->Bl.width == NULL)
                         mandoc_msg(MANDOCERR_BL_NOWIDTH, mdoc->parse,                          mandoc_msg(MANDOCERR_BL_NOWIDTH, mdoc->parse,
                             n->line, n->pos, "Bl -tag");                              n->line, n->pos, "Bl -tag");
                 break;                  break;
Line 564  post_bl_norm(POST_ARGS)
Line 709  post_bl_norm(POST_ARGS)
         case LIST_ohang:          case LIST_ohang:
         case LIST_inset:          case LIST_inset:
         case LIST_item:          case LIST_item:
                 if (n->norm->Bl.width)                  if (n->norm->Bl.width != NULL)
                         mandoc_vmsg(MANDOCERR_BL_SKIPW, mdoc->parse,                          mandoc_vmsg(MANDOCERR_BL_SKIPW, mdoc->parse,
                             wa->line, wa->pos, "Bl -%s",                              wa->line, wa->pos, "Bl -%s",
                             mdoc_argnames[mdoclt]);                              mdoc_argnames[mdoclt]);
                   n->norm->Bl.width = NULL;
                 break;                  break;
         case LIST_bullet:          case LIST_bullet:
         case LIST_dash:          case LIST_dash:
         case LIST_hyphen:          case LIST_hyphen:
                 if (NULL == n->norm->Bl.width)                  if (n->norm->Bl.width == NULL)
                         n->norm->Bl.width = "2n";                          n->norm->Bl.width = "2n";
                 break;                  break;
         case LIST_enum:          case LIST_enum:
                 if (NULL == n->norm->Bl.width)                  if (n->norm->Bl.width == NULL)
                         n->norm->Bl.width = "3n";                          n->norm->Bl.width = "3n";
                 break;                  break;
         default:          default:
Line 782  post_lb(POST_ARGS)
Line 928  post_lb(POST_ARGS)
         struct roff_node        *n;          struct roff_node        *n;
         const char              *p;          const char              *p;
   
           post_delim_nb(mdoc);
   
         n = mdoc->last;          n = mdoc->last;
         assert(n->child->type == ROFFT_TEXT);          assert(n->child->type == ROFFT_TEXT);
         mdoc->next = ROFF_NEXT_CHILD;          mdoc->next = ROFF_NEXT_CHILD;
Line 794  post_lb(POST_ARGS)
Line 942  post_lb(POST_ARGS)
                 return;                  return;
         }          }
   
           mandoc_vmsg(MANDOCERR_LB_BAD, mdoc->parse, n->child->line,
               n->child->pos, "Lb %s", n->child->string);
   
         roff_word_alloc(mdoc, n->line, n->pos, "library");          roff_word_alloc(mdoc, n->line, n->pos, "library");
         mdoc->last->flags = NODE_NOSRC;          mdoc->last->flags = NODE_NOSRC;
         roff_word_alloc(mdoc, n->line, n->pos, "\\(Lq");          roff_word_alloc(mdoc, n->line, n->pos, "\\(Lq");
Line 848  post_std(POST_ARGS)
Line 999  post_std(POST_ARGS)
 {  {
         struct roff_node *n;          struct roff_node *n;
   
           post_delim(mdoc);
   
         n = mdoc->last;          n = mdoc->last;
         if (n->args && n->args->argc == 1)          if (n->args && n->args->argc == 1)
                 if (n->args->argv[0].arg == MDOC_Std)                  if (n->args->argv[0].arg == MDOC_Std)
Line 984  post_fname(POST_ARGS)
Line 1137  post_fname(POST_ARGS)
         if ( ! (cp[0] == '\0' || (cp[0] == '(' && cp[1] == '*')))          if ( ! (cp[0] == '\0' || (cp[0] == '(' && cp[1] == '*')))
                 mandoc_msg(MANDOCERR_FN_PAREN, mdoc->parse,                  mandoc_msg(MANDOCERR_FN_PAREN, mdoc->parse,
                     n->line, n->pos + pos, n->string);                      n->line, n->pos + pos, n->string);
           if (n->sec == SEC_SYNOPSIS && mdoc->meta.msec != NULL)
                   mandoc_xr_add(mdoc->meta.msec, n->string, -1, -1);
 }  }
   
 static void  static void
Line 1015  post_fo(POST_ARGS)
Line 1170  post_fo(POST_ARGS)
                     "Fo ... %s", n->child->next->string);                      "Fo ... %s", n->child->next->string);
                 while (n->child != n->last)                  while (n->child != n->last)
                         roff_node_delete(mdoc, n->last);                          roff_node_delete(mdoc, n->last);
         }          } else
                   post_delim(mdoc);
   
         post_fname(mdoc);          post_fname(mdoc);
 }  }
Line 1039  post_fa(POST_ARGS)
Line 1195  post_fa(POST_ARGS)
                         break;                          break;
                 }                  }
         }          }
           post_delim_nb(mdoc);
 }  }
   
 static void  static void
Line 1048  post_nm(POST_ARGS)
Line 1205  post_nm(POST_ARGS)
   
         n = mdoc->last;          n = mdoc->last;
   
           if ((n->sec == SEC_NAME || n->sec == SEC_SYNOPSIS) &&
               n->child != NULL && n->child->type == ROFFT_TEXT &&
               mdoc->meta.msec != NULL)
                   mandoc_xr_add(mdoc->meta.msec, n->child->string, -1, -1);
   
         if (n->last != NULL &&          if (n->last != NULL &&
             (n->last->tok == MDOC_Pp ||              (n->last->tok == MDOC_Pp ||
              n->last->tok == MDOC_Lp))               n->last->tok == MDOC_Lp))
Line 1061  post_nm(POST_ARGS)
Line 1223  post_nm(POST_ARGS)
                 mandoc_msg(MANDOCERR_NM_NONAME, mdoc->parse,                  mandoc_msg(MANDOCERR_NM_NONAME, mdoc->parse,
                     n->line, n->pos, "Nm");                      n->line, n->pos, "Nm");
   
         if ((n->type != ROFFT_ELEM && n->type != ROFFT_HEAD) ||          switch (n->type) {
             (n->child != NULL && n->child->type == ROFFT_TEXT) ||          case ROFFT_ELEM:
                   post_delim_nb(mdoc);
                   break;
           case ROFFT_HEAD:
                   post_delim(mdoc);
                   break;
           default:
                   return;
           }
   
           if ((n->child != NULL && n->child->type == ROFFT_TEXT) ||
             mdoc->meta.name == NULL)              mdoc->meta.name == NULL)
                 return;                  return;
   
Line 1089  post_nd(POST_ARGS)
Line 1261  post_nd(POST_ARGS)
         if (n->child == NULL)          if (n->child == NULL)
                 mandoc_msg(MANDOCERR_ND_EMPTY, mdoc->parse,                  mandoc_msg(MANDOCERR_ND_EMPTY, mdoc->parse,
                     n->line, n->pos, "Nd");                      n->line, n->pos, "Nd");
           else
                   post_delim(mdoc);
   
         post_hyph(mdoc);          post_hyph(mdoc);
 }  }
Line 1145  post_defaults(POST_ARGS)
Line 1319  post_defaults(POST_ARGS)
 {  {
         struct roff_node *nn;          struct roff_node *nn;
   
           if (mdoc->last->child != NULL) {
                   post_delim_nb(mdoc);
                   return;
           }
   
         /*          /*
          * The `Ar' defaults to "file ..." if no value is provided as an           * The `Ar' defaults to "file ..." if no value is provided as an
          * argument; the `Mt' and `Pa' macros use "~"; the `Li' just           * argument; the `Mt' and `Pa' macros use "~"; the `Li' just
          * gets an empty string.           * gets an empty string.
          */           */
   
         if (mdoc->last->child != NULL)  
                 return;  
   
         nn = mdoc->last;          nn = mdoc->last;
   
         switch (nn->tok) {          switch (nn->tok) {
         case MDOC_Ar:          case MDOC_Ar:
                 mdoc->next = ROFF_NEXT_CHILD;                  mdoc->next = ROFF_NEXT_CHILD;
Line 1219  post_an(POST_ARGS)
Line 1394  post_an(POST_ARGS)
                 if (nch == NULL)                  if (nch == NULL)
                         mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,                          mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
                             np->line, np->pos, "An");                              np->line, np->pos, "An");
                   else
                           post_delim_nb(mdoc);
         } else if (nch != NULL)          } else if (nch != NULL)
                 mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,                  mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                     nch->line, nch->pos, "An ... %s", nch->string);                      nch->line, nch->pos, "An ... %s", nch->string);
Line 1247  post_xx(POST_ARGS)
Line 1424  post_xx(POST_ARGS)
         struct roff_node        *n;          struct roff_node        *n;
         const char              *os;          const char              *os;
   
           post_delim_nb(mdoc);
   
         n = mdoc->last;          n = mdoc->last;
         switch (n->tok) {          switch (n->tok) {
         case MDOC_Bsx:          case MDOC_Bsx:
Line 1326  post_it(POST_ARGS)
Line 1505  post_it(POST_ARGS)
   
                 assert(nit->head->child == NULL);                  assert(nit->head->child == NULL);
   
                 i = 0;                  if (nit->head->next->child == NULL &&
                 for (nch = nit->child; nch != NULL; nch = nch->next)                      nit->head->next->next == NULL) {
                         if (nch->type == ROFFT_BODY)                          mandoc_msg(MANDOCERR_MACRO_EMPTY, mdoc->parse,
                                 i++;                              nit->line, nit->pos, "It");
                           roff_node_delete(mdoc, nit);
                           break;
                   }
   
                   i = 0;
                   for (nch = nit->child; nch != NULL; nch = nch->next) {
                           if (nch->type != ROFFT_BODY)
                                   continue;
                           if (i++ && nch->flags & NODE_LINE)
                                   mandoc_msg(MANDOCERR_TA_LINE, mdoc->parse,
                                       nch->line, nch->pos, "Ta");
                   }
                 if (i < cols || i > cols + 1)                  if (i < cols || i > cols + 1)
                         mandoc_vmsg(MANDOCERR_BL_COL,                          mandoc_vmsg(MANDOCERR_BL_COL,
                             mdoc->parse, nit->line, nit->pos,                              mdoc->parse, nit->line, nit->pos,
                             "%d columns, %d cells", cols, i);                              "%d columns, %d cells", cols, i);
                   else if (nit->head->next->child != NULL &&
                       nit->head->next->child->line > nit->line)
                           mandoc_msg(MANDOCERR_IT_NOARG, mdoc->parse,
                               nit->line, nit->pos, "Bl -column It");
                 break;                  break;
         default:          default:
                 abort();                  abort();
Line 1473  post_bl(POST_ARGS)
Line 1667  post_bl(POST_ARGS)
         struct roff_node        *nparent, *nprev; /* of the Bl block */          struct roff_node        *nparent, *nprev; /* of the Bl block */
         struct roff_node        *nblock, *nbody;  /* of the Bl */          struct roff_node        *nblock, *nbody;  /* of the Bl */
         struct roff_node        *nchild, *nnext;  /* of the Bl body */          struct roff_node        *nchild, *nnext;  /* of the Bl body */
           const char              *prev_Er;
           int                      order;
   
         nbody = mdoc->last;          nbody = mdoc->last;
         switch (nbody->type) {          switch (nbody->type) {
Line 1573  post_bl(POST_ARGS)
Line 1769  post_bl(POST_ARGS)
   
                 nchild = nnext;                  nchild = nnext;
         }          }
   
           if (mdoc->meta.os_e != MANDOC_OS_NETBSD)
                   return;
   
           prev_Er = NULL;
           for (nchild = nbody->child; nchild != NULL; nchild = nchild->next) {
                   if (nchild->tok != MDOC_It)
                           continue;
                   if ((nnext = nchild->head->child) == NULL)
                           continue;
                   if (nnext->type == ROFFT_BLOCK)
                           nnext = nnext->body->child;
                   if (nnext == NULL || nnext->tok != MDOC_Er)
                           continue;
                   nnext = nnext->child;
                   if (prev_Er != NULL) {
                           order = strcmp(prev_Er, nnext->string);
                           if (order > 0)
                                   mandoc_vmsg(MANDOCERR_ER_ORDER,
                                       mdoc->parse, nnext->line, nnext->pos,
                                       "Er %s %s (NetBSD)",
                                       prev_Er, nnext->string);
                           else if (order == 0)
                                   mandoc_vmsg(MANDOCERR_ER_REP,
                                       mdoc->parse, nnext->line, nnext->pos,
                                       "Er %s (NetBSD)", prev_Er);
                   }
                   prev_Er = nnext->string;
           }
 }  }
   
 static void  static void
Line 1622  post_sm(POST_ARGS)
Line 1847  post_sm(POST_ARGS)
 static void  static void
 post_root(POST_ARGS)  post_root(POST_ARGS)
 {  {
           const char *openbsd_arch[] = {
                   "alpha", "amd64", "arm64", "armv7", "hppa", "i386",
                   "landisk", "loongson", "luna88k", "macppc", "mips64",
                   "octeon", "sgi", "socppc", "sparc64", NULL
           };
           const char *netbsd_arch[] = {
                   "acorn26", "acorn32", "algor", "alpha", "amiga",
                   "arc", "atari",
                   "bebox", "cats", "cesfic", "cobalt", "dreamcast",
                   "emips", "evbarm", "evbmips", "evbppc", "evbsh3", "evbsh5",
                   "hp300", "hpcarm", "hpcmips", "hpcsh", "hppa",
                   "i386", "ibmnws", "luna68k",
                   "mac68k", "macppc", "mipsco", "mmeye", "mvme68k", "mvmeppc",
                   "netwinder", "news68k", "newsmips", "next68k",
                   "pc532", "playstation2", "pmax", "pmppc", "prep",
                   "sandpoint", "sbmips", "sgimips", "shark",
                   "sparc", "sparc64", "sun2", "sun3",
                   "vax", "walnut", "x68k", "x86", "x86_64", "xen", NULL
           };
           const char **arches[] = { NULL, netbsd_arch, openbsd_arch };
   
         struct roff_node *n;          struct roff_node *n;
           const char **arch;
   
         /* Add missing prologue data. */          /* Add missing prologue data. */
   
         if (mdoc->meta.date == NULL)          if (mdoc->meta.date == NULL)
                 mdoc->meta.date = mdoc->quick ?                  mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :
                     mandoc_strdup("") :                      mandoc_normdate(mdoc, NULL, 0, 0);
                     mandoc_normdate(mdoc->parse, NULL, 0, 0);  
   
         if (mdoc->meta.title == NULL) {          if (mdoc->meta.title == NULL) {
                 mandoc_msg(MANDOCERR_DT_NOTITLE,                  mandoc_msg(MANDOCERR_DT_NOTITLE,
Line 1644  post_root(POST_ARGS)
Line 1890  post_root(POST_ARGS)
                 mandoc_msg(MANDOCERR_OS_MISSING,                  mandoc_msg(MANDOCERR_OS_MISSING,
                     mdoc->parse, 0, 0, NULL);                      mdoc->parse, 0, 0, NULL);
                 mdoc->meta.os = mandoc_strdup("");                  mdoc->meta.os = mandoc_strdup("");
           } else if (mdoc->meta.os_e &&
               (mdoc->meta.rcsids & (1 << mdoc->meta.os_e)) == 0)
                   mandoc_msg(MANDOCERR_RCS_MISSING, mdoc->parse, 0, 0,
                       mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                       "(OpenBSD)" : "(NetBSD)");
   
           if (mdoc->meta.arch != NULL &&
               (arch = arches[mdoc->meta.os_e]) != NULL) {
                   while (*arch != NULL && strcmp(*arch, mdoc->meta.arch))
                           arch++;
                   if (*arch == NULL) {
                           n = mdoc->first->child;
                           while (n->tok != MDOC_Dt)
                                   n = n->next;
                           n = n->child->next->next;
                           mandoc_vmsg(MANDOCERR_ARCH_BAD,
                               mdoc->parse, n->line, n->pos,
                               "Dt ... %s %s", mdoc->meta.arch,
                               mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                               "(OpenBSD)" : "(NetBSD)");
                   }
         }          }
   
         /* Check that we begin with a proper `Sh'. */          /* Check that we begin with a proper `Sh'. */
Line 1776  post_hyph(POST_ARGS)
Line 2043  post_hyph(POST_ARGS)
 static void  static void
 post_ns(POST_ARGS)  post_ns(POST_ARGS)
 {  {
           struct roff_node        *n;
   
         if (mdoc->last->flags & NODE_LINE)          n = mdoc->last;
           if (n->flags & NODE_LINE ||
               (n->next != NULL && n->next->flags & NODE_DELIMC))
                 mandoc_msg(MANDOCERR_NS_SKIP, mdoc->parse,                  mandoc_msg(MANDOCERR_NS_SKIP, mdoc->parse,
                     mdoc->last->line, mdoc->last->pos, NULL);                      n->line, n->pos, NULL);
 }  }
   
 static void  static void
   post_sx(POST_ARGS)
   {
           post_delim(mdoc);
           post_hyph(mdoc);
   }
   
   static void
 post_sh(POST_ARGS)  post_sh(POST_ARGS)
 {  {
   
Line 1942  post_sh_authors(POST_ARGS)
Line 2219  post_sh_authors(POST_ARGS)
                     mdoc->last->line, mdoc->last->pos, NULL);                      mdoc->last->line, mdoc->last->pos, NULL);
 }  }
   
   /*
    * Return an upper bound for the string distance (allowing
    * transpositions).  Not a full Levenshtein implementation
    * because Levenshtein is quadratic in the string length
    * and this function is called for every standard name,
    * so the check for each custom name would be cubic.
    * The following crude heuristics is linear, resulting
    * in quadratic behaviour for checking one custom name,
    * which does not cause measurable slowdown.
    */
   static int
   similar(const char *s1, const char *s2)
   {
           const int       maxdist = 3;
           int             dist = 0;
   
           while (s1[0] != '\0' && s2[0] != '\0') {
                   if (s1[0] == s2[0]) {
                           s1++;
                           s2++;
                           continue;
                   }
                   if (++dist > maxdist)
                           return INT_MAX;
                   if (s1[1] == s2[1]) {  /* replacement */
                           s1++;
                           s2++;
                   } else if (s1[0] == s2[1] && s1[1] == s2[0]) {
                           s1 += 2;        /* transposition */
                           s2 += 2;
                   } else if (s1[0] == s2[1])  /* insertion */
                           s2++;
                   else if (s1[1] == s2[0])  /* deletion */
                           s1++;
                   else
                           return INT_MAX;
           }
           dist += strlen(s1) + strlen(s2);
           return dist > maxdist ? INT_MAX : dist;
   }
   
 static void  static void
 post_sh_head(POST_ARGS)  post_sh_head(POST_ARGS)
 {  {
         struct roff_node        *nch;          struct roff_node        *nch;
         const char              *goodsec;          const char              *goodsec;
           const char *const       *testsec;
           int                      dist, mindist;
         enum roff_sec            sec;          enum roff_sec            sec;
   
         /*          /*
Line 1984  post_sh_head(POST_ARGS)
Line 2304  post_sh_head(POST_ARGS)
   
         /* We don't care about custom sections after this. */          /* We don't care about custom sections after this. */
   
         if (sec == SEC_CUSTOM)          if (sec == SEC_CUSTOM) {
                   if ((nch = mdoc->last->child) == NULL ||
                       nch->type != ROFFT_TEXT || nch->next != NULL)
                           return;
                   goodsec = NULL;
                   mindist = INT_MAX;
                   for (testsec = secnames + 1; *testsec != NULL; testsec++) {
                           dist = similar(nch->string, *testsec);
                           if (dist < mindist) {
                                   goodsec = *testsec;
                                   mindist = dist;
                           }
                   }
                   if (goodsec != NULL)
                           mandoc_vmsg(MANDOCERR_SEC_TYPO, mdoc->parse,
                               nch->line, nch->pos, "Sh %s instead of %s",
                               nch->string, goodsec);
                 return;                  return;
           }
   
         /*          /*
          * Check whether our non-custom section is being repeated or is           * Check whether our non-custom section is being repeated or is
Line 2051  post_xr(POST_ARGS)
Line 2388  post_xr(POST_ARGS)
         if (nch->next == NULL) {          if (nch->next == NULL) {
                 mandoc_vmsg(MANDOCERR_XR_NOSEC, mdoc->parse,                  mandoc_vmsg(MANDOCERR_XR_NOSEC, mdoc->parse,
                     n->line, n->pos, "Xr %s", nch->string);                      n->line, n->pos, "Xr %s", nch->string);
                 return;          } else {
                   assert(nch->next == n->last);
                   if(mandoc_xr_add(nch->next->string, nch->string,
                       nch->line, nch->pos))
                           mandoc_vmsg(MANDOCERR_XR_SELF, mdoc->parse,
                               nch->line, nch->pos, "Xr %s %s",
                               nch->string, nch->next->string);
         }          }
         assert(nch->next == n->last);          post_delim_nb(mdoc);
 }  }
   
 static void  static void
Line 2066  post_ignpar(POST_ARGS)
Line 2409  post_ignpar(POST_ARGS)
                 post_prevpar(mdoc);                  post_prevpar(mdoc);
                 return;                  return;
         case ROFFT_HEAD:          case ROFFT_HEAD:
                   post_delim(mdoc);
                 post_hyph(mdoc);                  post_hyph(mdoc);
                 return;                  return;
         case ROFFT_BODY:          case ROFFT_BODY:
Line 2185  post_dd(POST_ARGS)
Line 2529  post_dd(POST_ARGS)
   
         if (n->child == NULL || n->child->string[0] == '\0') {          if (n->child == NULL || n->child->string[0] == '\0') {
                 mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :                  mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :
                     mandoc_normdate(mdoc->parse, NULL, n->line, n->pos);                      mandoc_normdate(mdoc, NULL, n->line, n->pos);
                 return;                  return;
         }          }
   
Line 2194  post_dd(POST_ARGS)
Line 2538  post_dd(POST_ARGS)
         if (mdoc->quick)          if (mdoc->quick)
                 mdoc->meta.date = datestr;                  mdoc->meta.date = datestr;
         else {          else {
                 mdoc->meta.date = mandoc_normdate(mdoc->parse,                  mdoc->meta.date = mandoc_normdate(mdoc,
                     datestr, n->line, n->pos);                      datestr, n->line, n->pos);
                 free(datestr);                  free(datestr);
         }          }
Line 2302  post_bx(POST_ARGS)
Line 2646  post_bx(POST_ARGS)
         struct roff_node        *n, *nch;          struct roff_node        *n, *nch;
         const char              *macro;          const char              *macro;
   
           post_delim_nb(mdoc);
   
         n = mdoc->last;          n = mdoc->last;
         nch = n->child;          nch = n->child;
   
Line 2366  post_os(POST_ARGS)
Line 2712  post_os(POST_ARGS)
                 mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,                  mandoc_msg(MANDOCERR_PROLOG_LATE, mdoc->parse,
                     n->line, n->pos, "Os");                      n->line, n->pos, "Os");
   
           post_delim(mdoc);
   
         /*          /*
          * Set the operating system by way of the `Os' macro.           * Set the operating system by way of the `Os' macro.
          * The order of precedence is:           * The order of precedence is:
Line 2379  post_os(POST_ARGS)
Line 2727  post_os(POST_ARGS)
         mdoc->meta.os = NULL;          mdoc->meta.os = NULL;
         deroff(&mdoc->meta.os, n);          deroff(&mdoc->meta.os, n);
         if (mdoc->meta.os)          if (mdoc->meta.os)
                 return;                  goto out;
   
         if (mdoc->defos) {          if (mdoc->os_s != NULL) {
                 mdoc->meta.os = mandoc_strdup(mdoc->defos);                  mdoc->meta.os = mandoc_strdup(mdoc->os_s);
                 return;                  goto out;
         }          }
   
 #ifdef OSNAME  #ifdef OSNAME
Line 2400  post_os(POST_ARGS)
Line 2748  post_os(POST_ARGS)
         }          }
         mdoc->meta.os = mandoc_strdup(defbuf);          mdoc->meta.os = mandoc_strdup(defbuf);
 #endif /*!OSNAME*/  #endif /*!OSNAME*/
   
   out:
           if (mdoc->meta.os_e == MANDOC_OS_OTHER) {
                   if (strstr(mdoc->meta.os, "OpenBSD") != NULL)
                           mdoc->meta.os_e = MANDOC_OS_OPENBSD;
                   else if (strstr(mdoc->meta.os, "NetBSD") != NULL)
                           mdoc->meta.os_e = MANDOC_OS_NETBSD;
           }
   
           /*
            * This is the earliest point where we can check
            * Mdocdate conventions because we don't know
            * the operating system earlier.
            */
   
           if (n->child != NULL)
                   mandoc_vmsg(MANDOCERR_OS_ARG, mdoc->parse,
                       n->child->line, n->child->pos,
                       "Os %s (%s)", n->child->string,
                       mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
                       "OpenBSD" : "NetBSD");
   
           while (n->tok != MDOC_Dd)
                   if ((n = n->prev) == NULL)
                           return;
           if ((n = n->child) == NULL)
                   return;
           if (strncmp(n->string, "$" "Mdocdate", 9)) {
                   if (mdoc->meta.os_e == MANDOC_OS_OPENBSD)
                           mandoc_vmsg(MANDOCERR_MDOCDATE_MISSING,
                               mdoc->parse, n->line, n->pos,
                               "Dd %s (OpenBSD)", n->string);
           } else {
                   if (mdoc->meta.os_e == MANDOC_OS_NETBSD)
                           mandoc_vmsg(MANDOCERR_MDOCDATE,
                               mdoc->parse, n->line, n->pos,
                               "Dd %s (NetBSD)", n->string);
           }
 }  }
   
 enum roff_sec  enum roff_sec

Legend:
Removed from v.1.329  
changed lines
  Added in v.1.349

CVSweb