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

Diff for /mandoc/man_validate.c between version 1.111 and 1.115

version 1.111, 2015/02/06 08:28:35 version 1.115, 2015/04/02 22:48:17
Line 1 
Line 1 
 /*      $OpenBSD$ */  /*      $OpenBSD$ */
 /*  /*
  * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>   * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010, 2012, 2013, 2014 Ingo Schwarze <schwarze@openbsd.org>   * Copyright (c) 2010, 2012-2015 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
  * copyright notice and this permission notice appear in all copies.   * copyright notice and this permission notice appear in all copies.
  *   *
  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES   * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF   * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES   * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN   * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
Line 28 
Line 28 
 #include <string.h>  #include <string.h>
 #include <time.h>  #include <time.h>
   
 #include "man.h"  
 #include "mandoc.h"  
 #include "mandoc_aux.h"  #include "mandoc_aux.h"
 #include "libman.h"  #include "mandoc.h"
   #include "roff.h"
   #include "man.h"
 #include "libmandoc.h"  #include "libmandoc.h"
   #include "libman.h"
   
 #define CHKARGS   struct man *man, struct man_node *n  #define CHKARGS   struct man *man, struct roff_node *n
   
 typedef void    (*v_check)(CHKARGS);  typedef void    (*v_check)(CHKARGS);
   
 static  void      check_eq2(CHKARGS);  
 static  void      check_le1(CHKARGS);  
 static  void      check_le5(CHKARGS);  
 static  void      check_par(CHKARGS);  static  void      check_par(CHKARGS);
 static  void      check_part(CHKARGS);  static  void      check_part(CHKARGS);
 static  void      check_root(CHKARGS);  static  void      check_root(CHKARGS);
Line 52  static void   post_vs(CHKARGS);
Line 50  static void   post_vs(CHKARGS);
 static  void      post_fi(CHKARGS);  static  void      post_fi(CHKARGS);
 static  void      post_ft(CHKARGS);  static  void      post_ft(CHKARGS);
 static  void      post_nf(CHKARGS);  static  void      post_nf(CHKARGS);
   static  void      post_OP(CHKARGS);
 static  void      post_TH(CHKARGS);  static  void      post_TH(CHKARGS);
 static  void      post_UC(CHKARGS);  static  void      post_UC(CHKARGS);
 static  void      post_UR(CHKARGS);  static  void      post_UR(CHKARGS);
Line 85  static v_check man_valids[MAN_MAX] = {
Line 84  static v_check man_valids[MAN_MAX] = {
         check_part, /* RS */          check_part, /* RS */
         NULL,       /* DT */          NULL,       /* DT */
         post_UC,    /* UC */          post_UC,    /* UC */
         check_le1,  /* PD */          NULL,       /* PD */
         post_AT,    /* AT */          post_AT,    /* AT */
         NULL,       /* in */          NULL,       /* in */
         post_ft,    /* ft */          post_ft,    /* ft */
         check_eq2,  /* OP */          post_OP,    /* OP */
         post_nf,    /* EX */          post_nf,    /* EX */
         post_fi,    /* EE */          post_fi,    /* EE */
         post_UR,    /* UR */          post_UR,    /* UR */
Line 101  static v_check man_valids[MAN_MAX] = {
Line 100  static v_check man_valids[MAN_MAX] = {
 void  void
 man_valid_post(struct man *man)  man_valid_post(struct man *man)
 {  {
         struct man_node *n;          struct roff_node *n;
         v_check         *cp;          v_check         *cp;
   
         n = man->last;          n = man->last;
Line 110  man_valid_post(struct man *man)
Line 109  man_valid_post(struct man *man)
         n->flags |= MAN_VALID;          n->flags |= MAN_VALID;
   
         switch (n->type) {          switch (n->type) {
         case MAN_TEXT:          case ROFFT_TEXT:
                 check_text(man, n);                  check_text(man, n);
                 break;                  break;
         case MAN_ROOT:          case ROFFT_ROOT:
                 check_root(man, n);                  check_root(man, n);
                 break;                  break;
         case MAN_EQN:          case ROFFT_EQN:
                 /* FALLTHROUGH */                  /* FALLTHROUGH */
         case MAN_TBL:          case ROFFT_TBL:
                 break;                  break;
         default:          default:
                 cp = man_valids + n->tok;                  cp = man_valids + n->tok;
Line 170  check_text(CHKARGS)
Line 169  check_text(CHKARGS)
                     n->line, n->pos + (p - cp), NULL);                      n->line, n->pos + (p - cp), NULL);
 }  }
   
 #define INEQ_DEFINE(x, ineq, name) \  static void
 static void \  post_OP(CHKARGS)
 check_##name(CHKARGS) \  {
 { \  
         if (n->nchild ineq (x)) \          if (n->nchild == 0)
                 return; \                  mandoc_msg(MANDOCERR_OP_EMPTY, man->parse,
         mandoc_vmsg(MANDOCERR_ARGCOUNT, man->parse, n->line, n->pos, \                      n->line, n->pos, "OP");
             "line arguments %s %d (have %d)", \          else if (n->nchild > 2) {
             #ineq, (x), n->nchild); \                  n = n->child->next->next;
                   mandoc_vmsg(MANDOCERR_ARG_EXCESS, man->parse,
                       n->line, n->pos, "OP ... %s", n->string);
           }
 }  }
   
 INEQ_DEFINE(2, ==, eq2)  
 INEQ_DEFINE(1, <=, le1)  
 INEQ_DEFINE(5, <=, le5)  
   
 static void  static void
 post_UR(CHKARGS)  post_UR(CHKARGS)
 {  {
   
         if (MAN_HEAD == n->type && 1 != n->nchild)          if (n->type == ROFFT_HEAD && n->child == NULL)
                 mandoc_vmsg(MANDOCERR_ARGCOUNT, man->parse, n->line,                  mandoc_vmsg(MANDOCERR_UR_NOHEAD, man->parse,
                     n->pos, "line arguments eq 1 (have %d)", n->nchild);                      n->line, n->pos, "UR");
         check_part(man, n);          check_part(man, n);
 }  }
   
Line 240  post_ft(CHKARGS)
Line 238  post_ft(CHKARGS)
                     n->line, n->pos, "ft %s", cp);                      n->line, n->pos, "ft %s", cp);
                 *cp = '\0';                  *cp = '\0';
         }          }
   
         if (1 < n->nchild)  
                 mandoc_vmsg(MANDOCERR_ARGCOUNT, man->parse, n->line,  
                     n->pos, "want one child (have %d)", n->nchild);  
 }  }
   
 static void  static void
 check_part(CHKARGS)  check_part(CHKARGS)
 {  {
   
         if (n->type == MAN_BODY && n->child == NULL)          if (n->type == ROFFT_BODY && n->child == NULL)
                 mandoc_msg(MANDOCERR_BLK_EMPTY, man->parse,                  mandoc_msg(MANDOCERR_BLK_EMPTY, man->parse,
                     n->line, n->pos, man_macronames[n->tok]);                      n->line, n->pos, man_macronames[n->tok]);
 }  }
Line 260  check_par(CHKARGS)
Line 254  check_par(CHKARGS)
 {  {
   
         switch (n->type) {          switch (n->type) {
         case MAN_BLOCK:          case ROFFT_BLOCK:
                 if (0 == n->body->nchild)                  if (0 == n->body->nchild)
                         man_node_delete(man, n);                          man_node_delete(man, n);
                 break;                  break;
         case MAN_BODY:          case ROFFT_BODY:
                 if (0 == n->nchild)                  if (0 == n->nchild)
                         mandoc_vmsg(MANDOCERR_PAR_SKIP,                          mandoc_vmsg(MANDOCERR_PAR_SKIP,
                             man->parse, n->line, n->pos,                              man->parse, n->line, n->pos,
                             "%s empty", man_macronames[n->tok]);                              "%s empty", man_macronames[n->tok]);
                 break;                  break;
         case MAN_HEAD:          case ROFFT_HEAD:
                 if (n->nchild)                  if (n->nchild)
                         mandoc_vmsg(MANDOCERR_ARG_SKIP,                          mandoc_vmsg(MANDOCERR_ARG_SKIP,
                             man->parse, n->line, n->pos,                              man->parse, n->line, n->pos,
Line 288  post_IP(CHKARGS)
Line 282  post_IP(CHKARGS)
 {  {
   
         switch (n->type) {          switch (n->type) {
         case MAN_BLOCK:          case ROFFT_BLOCK:
                 if (0 == n->head->nchild && 0 == n->body->nchild)                  if (0 == n->head->nchild && 0 == n->body->nchild)
                         man_node_delete(man, n);                          man_node_delete(man, n);
                 break;                  break;
         case MAN_BODY:          case ROFFT_BODY:
                 if (0 == n->parent->head->nchild && 0 == n->nchild)                  if (0 == n->parent->head->nchild && 0 == n->nchild)
                         mandoc_vmsg(MANDOCERR_PAR_SKIP,                          mandoc_vmsg(MANDOCERR_PAR_SKIP,
                             man->parse, n->line, n->pos,                              man->parse, n->line, n->pos,
Line 306  post_IP(CHKARGS)
Line 300  post_IP(CHKARGS)
 static void  static void
 post_TH(CHKARGS)  post_TH(CHKARGS)
 {  {
         struct man_node *nb;          struct roff_node *nb;
         const char      *p;          const char      *p;
   
         check_le5(man, n);  
   
         free(man->meta.title);          free(man->meta.title);
         free(man->meta.vol);          free(man->meta.vol);
         free(man->meta.source);          free(man->meta.source);
Line 388  post_TH(CHKARGS)
Line 380  post_TH(CHKARGS)
             (NULL != (p = mandoc_a2msec(man->meta.msec))))              (NULL != (p = mandoc_a2msec(man->meta.msec))))
                 man->meta.vol = mandoc_strdup(p);                  man->meta.vol = mandoc_strdup(p);
   
           if (n != NULL && (n = n->next) != NULL)
                   mandoc_vmsg(MANDOCERR_ARG_EXCESS, man->parse,
                       n->line, n->pos, "TH ... %s", n->string);
   
         /*          /*
          * Remove the `TH' node after we've processed it for our           * Remove the `TH' node after we've processed it for our
          * meta-data.           * meta-data.
Line 432  post_UC(CHKARGS)
Line 428  post_UC(CHKARGS)
   
         n = n->child;          n = n->child;
   
         if (NULL == n || MAN_TEXT != n->type)          if (n == NULL || n->type != ROFFT_TEXT)
                 p = bsd_versions[0];                  p = bsd_versions[0];
         else {          else {
                 s = n->string;                  s = n->string;
Line 464  post_AT(CHKARGS)
Line 460  post_AT(CHKARGS)
             "System V Release 2",              "System V Release 2",
         };          };
   
           struct roff_node *nn;
         const char      *p, *s;          const char      *p, *s;
         struct man_node *nn;  
   
         n = n->child;          n = n->child;
   
         if (NULL == n || MAN_TEXT != n->type)          if (n == NULL || n->type != ROFFT_TEXT)
                 p = unix_versions[0];                  p = unix_versions[0];
         else {          else {
                 s = n->string;                  s = n->string;
Line 479  post_AT(CHKARGS)
Line 475  post_AT(CHKARGS)
                         p = unix_versions[1];                          p = unix_versions[1];
                 else if (0 == strcmp(s, "5")) {                  else if (0 == strcmp(s, "5")) {
                         nn = n->next;                          nn = n->next;
                         if (nn && MAN_TEXT == nn->type && nn->string[0])                          if (nn != NULL &&
                               nn->type == ROFFT_TEXT &&
                               nn->string[0] != '\0')
                                 p = unix_versions[3];                                  p = unix_versions[3];
                         else                          else
                                 p = unix_versions[2];                                  p = unix_versions[2];
Line 494  post_AT(CHKARGS)
Line 492  post_AT(CHKARGS)
 static void  static void
 post_vs(CHKARGS)  post_vs(CHKARGS)
 {  {
   
         if (n->tok == MAN_sp)  
                 check_le1(man, n);  
   
         if (NULL != n->prev)          if (NULL != n->prev)
                 return;                  return;
Legend:
Removed from v.1.111  
changed lines
  Added in v.1.115
CVSweb