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

Diff for /mandoc/Attic/validate.c between version 1.37 and 1.39

version 1.37, 2009/01/17 16:47:02 version 1.39, 2009/01/19 17:02:59
Line 29  typedef int (*v_post)(struct mdoc *);
Line 29  typedef int (*v_post)(struct mdoc *);
 /* FIXME: math symbols. */  /* FIXME: math symbols. */
 /* FIXME: make sure prologue is complete. */  /* FIXME: make sure prologue is complete. */
 /* FIXME: valid character-escape checks. */  /* FIXME: valid character-escape checks. */
   /* FIXME: make sure required sections are included (NAME, ...). */
   
 struct  valids {  struct  valids {
         v_pre   *pre;          v_pre   *pre;
Line 45  static int pre_check_stdarg(struct mdoc *, struct mdoc
Line 46  static int pre_check_stdarg(struct mdoc *, struct mdoc
 static  int     post_check_children_count(struct mdoc *);  static  int     post_check_children_count(struct mdoc *);
 static  int     post_check_children_lt(struct mdoc *, int);  static  int     post_check_children_lt(struct mdoc *, int);
 static  int     post_check_children_gt(struct mdoc *, int);  static  int     post_check_children_gt(struct mdoc *, int);
   static  int     post_check_children_wgt(struct mdoc *, int);
 static  int     post_check_children_eq(struct mdoc *, int);  static  int     post_check_children_eq(struct mdoc *, int);
   static  int     post_check_children_weq(struct mdoc *, int);
   
 /* Specific pre-child-parse routines. */  /* Specific pre-child-parse routines. */
   
Line 76  static int eerr_le2(struct mdoc *);
Line 79  static int eerr_le2(struct mdoc *);
 static  int     eerr_eq1(struct mdoc *);  static  int     eerr_eq1(struct mdoc *);
 static  int     eerr_ge1(struct mdoc *);  static  int     eerr_ge1(struct mdoc *);
 static  int     ewarn_eq0(struct mdoc *);  static  int     ewarn_eq0(struct mdoc *);
   static  int     ewarn_eq1(struct mdoc *);
 static  int     bwarn_ge1(struct mdoc *);  static  int     bwarn_ge1(struct mdoc *);
 static  int     berr_eq0(struct mdoc *);  static  int     berr_eq0(struct mdoc *);
 static  int     ewarn_ge1(struct mdoc *);  static  int     ewarn_ge1(struct mdoc *);
Line 117  static v_post posts_wline[] = { hwarn_ge1, berr_eq0, N
Line 121  static v_post posts_wline[] = { hwarn_ge1, berr_eq0, N
 static  v_post  posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };  static  v_post  posts_sh[] = { herr_ge1, bwarn_ge1, post_sh, NULL };
 static  v_post  posts_bl[] = { herr_eq0, bwarn_ge1, post_bl, NULL };  static  v_post  posts_bl[] = { herr_eq0, bwarn_ge1, post_bl, NULL };
 static  v_post  posts_it[] = { post_it, NULL };  static  v_post  posts_it[] = { post_it, NULL };
   static  v_post  posts_in[] = { ewarn_eq1, NULL };
 static  v_post  posts_ss[] = { herr_ge1, NULL };  static  v_post  posts_ss[] = { herr_ge1, NULL };
 static  v_post  posts_pp[] = { ewarn_eq0, NULL };  static  v_post  posts_pp[] = { ewarn_eq0, NULL };
 static  v_post  posts_d1[] = { herr_ge1, NULL };  static  v_post  posts_d1[] = { herr_ge1, NULL };
Line 155  const struct valids mdoc_valids[MDOC_MAX] = {
Line 160  const struct valids mdoc_valids[MDOC_MAX] = {
         { pres_ex, posts_ex }, /* Ex */          { pres_ex, posts_ex }, /* Ex */
         { NULL, posts_text }, /* Fa */          { NULL, posts_text }, /* Fa */
         /* FIXME: only in SYNOPSIS section. */          /* FIXME: only in SYNOPSIS section. */
         { NULL, NULL }, /* Fd */          { NULL, posts_wtext }, /* Fd */
         { NULL, NULL }, /* Fl */          { NULL, NULL }, /* Fl */
         { NULL, posts_text }, /* Fn */          { NULL, posts_text }, /* Fn */
         { NULL, NULL }, /* Ft */          { NULL, posts_wtext }, /* Ft */
         { NULL, posts_text }, /* Ic */          { NULL, posts_text }, /* Ic */
         { NULL, posts_wtext }, /* In */          { NULL, posts_in }, /* In */
         { NULL, posts_text }, /* Li */          { NULL, posts_text }, /* Li */
         { NULL, posts_wtext }, /* Nd */          { NULL, posts_wtext }, /* Nd */
         { NULL, posts_nm }, /* Nm */          { NULL, posts_nm }, /* Nm */
Line 188  const struct valids mdoc_valids[MDOC_MAX] = {
Line 193  const struct valids mdoc_valids[MDOC_MAX] = {
         { NULL, posts_wline }, /* Aq */          { NULL, posts_wline }, /* Aq */
         { NULL, posts_at }, /* At */          { NULL, posts_at }, /* At */
         { NULL, NULL }, /* Bc */          { NULL, NULL }, /* Bc */
         { NULL, NULL }, /* Bf */          { NULL, NULL }, /* Bf */  /* FIXME */
         { NULL, NULL }, /* Bo */          { NULL, NULL }, /* Bo */
         { NULL, posts_wline }, /* Bq */          { NULL, posts_wline }, /* Bq */
         { NULL, NULL }, /* Bsx */          { NULL, NULL }, /* Bsx */
Line 253  post_check_children_count(struct mdoc *mdoc)
Line 258  post_check_children_count(struct mdoc *mdoc)
   
   
 static int  static int
   post_check_children_wgt(struct mdoc *mdoc, int sz)
   {
           int               i;
   
           if ((i = post_check_children_count(mdoc)) > sz)
                   return(1);
           return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests more "
                                   "than %d parameters (has %d)", sz, i));
   }
   
   
   static int
 post_check_children_gt(struct mdoc *mdoc, int sz)  post_check_children_gt(struct mdoc *mdoc, int sz)
 {  {
         int               i;          int               i;
Line 260  post_check_children_gt(struct mdoc *mdoc, int sz)
Line 277  post_check_children_gt(struct mdoc *mdoc, int sz)
         if ((i = post_check_children_count(mdoc)) > sz)          if ((i = post_check_children_count(mdoc)) > sz)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, "macro requires more than %d "          return(mdoc_err(mdoc, "macro requires more than %d "
                                 "parameters (have %d)", sz, i));                                  "parameters (has %d)", sz, i));
 }  }
   
   
 static int  static int
   post_check_children_weq(struct mdoc *mdoc, int sz)
   {
           int               i;
   
           if ((i = post_check_children_count(mdoc)) == sz)
                   return(1);
           return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests %d "
                                   "parameters (has %d)", sz, i));
   }
   
   
   static int
 post_check_children_eq(struct mdoc *mdoc, int sz)  post_check_children_eq(struct mdoc *mdoc, int sz)
 {  {
         int               i;          int               i;
Line 338  berr_eq0(struct mdoc *mdoc)
Line 367  berr_eq0(struct mdoc *mdoc)
   
         if (MDOC_BODY != mdoc->last->type)          if (MDOC_BODY != mdoc->last->type)
                 return(1);                  return(1);
         if (NULL == mdoc->last->child)          return(post_check_children_eq(mdoc, 0));
                 return(1);  
         return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests no body children"));  
 }  }
   
   
Line 350  bwarn_ge1(struct mdoc *mdoc)
Line 377  bwarn_ge1(struct mdoc *mdoc)
   
         if (MDOC_BODY != mdoc->last->type)          if (MDOC_BODY != mdoc->last->type)
                 return(1);                  return(1);
         if (mdoc->last->child)          return(post_check_children_wgt(mdoc, 0));
                 return(1);  
         return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more body children"));  
 }  }
   
   
 static int  static int
   ewarn_eq1(struct mdoc *mdoc)
   {
   
           assert(MDOC_ELEM == mdoc->last->type);
           return(post_check_children_weq(mdoc, 1));
   }
   
   
   static int
 ewarn_eq0(struct mdoc *mdoc)  ewarn_eq0(struct mdoc *mdoc)
 {  {
   
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
         if (NULL == mdoc->last->child)          return(post_check_children_weq(mdoc, 0));
                 return(1);  
         return(mdoc_pwarn(mdoc, mdoc->last->child->line,  
                         mdoc->last->child->pos, WARN_SYNTAX, "macro suggests no parameters"));  
 }  }
   
   
Line 373  ewarn_ge1(struct mdoc *mdoc)
Line 404  ewarn_ge1(struct mdoc *mdoc)
 {  {
   
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
         if (mdoc->last->child)          return(post_check_children_wgt(mdoc, 0));
                 return(1);  
         return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));  
 }  }
   
   
Line 440  hwarn_ge1(struct mdoc *mdoc)
Line 469  hwarn_ge1(struct mdoc *mdoc)
   
         if (MDOC_HEAD != mdoc->last->type)          if (MDOC_HEAD != mdoc->last->type)
                 return(1);                  return(1);
         if (mdoc->last->child)          return(post_check_children_wgt(mdoc, 0));
                 return(1);  
         return(mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests one or more parameters"));  
 }  }
   
   
Line 465  pre_display(struct mdoc *mdoc, struct mdoc_node *node)
Line 492  pre_display(struct mdoc *mdoc, struct mdoc_node *node)
                 return(1);                  return(1);
   
         assert(mdoc->last);          assert(mdoc->last);
           /* LINTED */
         for (n = mdoc->last->parent; n; n = n->parent)          for (n = mdoc->last->parent; n; n = n->parent)
                 if (MDOC_BLOCK == n->type)                  if (MDOC_BLOCK == n->type)
                         if (MDOC_Bd == n->tok)                          if (MDOC_Bd == n->tok)
Line 489  pre_bl(struct mdoc *mdoc, struct mdoc_node *node)
Line 517  pre_bl(struct mdoc *mdoc, struct mdoc_node *node)
         argv = NULL;          argv = NULL;
         argc = node->data.block.argc;          argc = node->data.block.argc;
   
           /* LINTED */
         for (i = type = err = 0; i < argc; i++) {          for (i = type = err = 0; i < argc; i++) {
                 argv = &node->data.block.argv[(int)i];                  argv = &node->data.block.argv[(int)i];
                 assert(argv);                  assert(argv);
Line 546  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
Line 575  pre_bd(struct mdoc *mdoc, struct mdoc_node *node)
         argv = NULL;          argv = NULL;
         argc = node->data.block.argc;          argc = node->data.block.argc;
   
           /* LINTED */
         for (err = i = type = 0; 0 == err && i < argc; i++) {          for (err = i = type = 0; 0 == err && i < argc; i++) {
                 argv = &node->data.block.argv[(int)i];                  argv = &node->data.block.argv[(int)i];
                 assert(argv);                  assert(argv);
Line 858  post_it(struct mdoc *mdoc)
Line 888  post_it(struct mdoc *mdoc)
   
         argc = n->data.block.argc;          argc = n->data.block.argc;
         type = TYPE_NONE;          type = TYPE_NONE;
           sv = -1;
   
         /* Some types require block-head, some not. */          /* Some types require block-head, some not. */
   
           /* LINTED */
         for (i = 0; TYPE_NONE == type && i < argc; i++)          for (i = 0; TYPE_NONE == type && i < argc; i++)
                 switch (n->data.block.argv[(int)i].arg) {                  switch (n->data.block.argv[(int)i].arg) {
                 case (MDOC_Tag):                  case (MDOC_Tag):
Line 926  post_it(struct mdoc *mdoc)
Line 958  post_it(struct mdoc *mdoc)
                 if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))                  if ( ! mdoc_warn(mdoc, WARN_SYNTAX, "macro suggests body children"))
                         return(0);                          return(0);
   
           assert(-1 != sv);
         if (MDOC_Column != sv)          if (MDOC_Column != sv)
                 return(1);                  return(1);
   
         /* Make sure the number of columns is sane. */          /* Make sure the number of columns is sane. */
   
         sv = mdoc->last->parent->parent->data.block.argv->sz;          argc = mdoc->last->parent->parent->data.block.argv->sz;
         n = mdoc->last->data.block.head->child;          n = mdoc->last->data.block.head->child;
   
         for (i = 0; n; n = n->next)          for (i = 0; n; n = n->next)
                 i++;                  i++;
   
         if (i == (size_t)sv)          if (i == argc)
                 return(1);                  return(1);
         return(mdoc_err(mdoc, "expected %d list columns, have %d", sv, (int)i));          return(mdoc_err(mdoc, "expected %zu list columns, have %zu", argc, i));
 #undef  TYPE_NONE  #undef  TYPE_NONE
 #undef  TYPE_BODY  #undef  TYPE_BODY
 #undef  TYPE_HEAD  #undef  TYPE_HEAD
Line 955  post_bl(struct mdoc *mdoc)
Line 988  post_bl(struct mdoc *mdoc)
                 return(1);                  return(1);
         assert(MDOC_Bl == mdoc->last->tok);          assert(MDOC_Bl == mdoc->last->tok);
   
           /* LINTED */
         for (n = mdoc->last->child; n; n = n->next) {          for (n = mdoc->last->child; n; n = n->next) {
                 if (MDOC_BLOCK == n->type)                  if (MDOC_BLOCK == n->type)
                         if (MDOC_It == n->tok)                          if (MDOC_It == n->tok)
Line 973  ebool(struct mdoc *mdoc)
Line 1007  ebool(struct mdoc *mdoc)
         struct mdoc_node *n;          struct mdoc_node *n;
   
         assert(MDOC_ELEM == mdoc->last->type);          assert(MDOC_ELEM == mdoc->last->type);
           /* LINTED */
         for (n = mdoc->last->child; n; n = n->next) {          for (n = mdoc->last->child; n; n = n->next) {
                 if (MDOC_TEXT != n->type)                  if (MDOC_TEXT != n->type)
                         break;                          break;
Line 995  post_root(struct mdoc *mdoc)
Line 1030  post_root(struct mdoc *mdoc)
         if (NULL == mdoc->last->child)          if (NULL == mdoc->last->child)
                 return(mdoc_err(mdoc, "document has no data"));                  return(mdoc_err(mdoc, "document has no data"));
         if (NULL == mdoc->meta.title)          if (NULL == mdoc->meta.title)
                 return(mdoc_err(mdoc, "document has no incomplete prologue"));                  return(mdoc_err(mdoc, "document has incomplete prologue"));
         if (NULL == mdoc->meta.os)          if (NULL == mdoc->meta.os)
                 return(mdoc_err(mdoc, "document has no incomplete prologue"));                  return(mdoc_err(mdoc, "document has incomplete prologue"));
         if (0 == mdoc->meta.date)          if (0 == mdoc->meta.date)
                 return(mdoc_err(mdoc, "document has no incomplete prologue"));                  return(mdoc_err(mdoc, "document has incomplete prologue"));
         return(1);          return(1);
 }  }
   
Line 1050  int
Line 1085  int
 mdoc_valid_post(struct mdoc *mdoc)  mdoc_valid_post(struct mdoc *mdoc)
 {  {
         v_post          *p;          v_post          *p;
   
           if (MDOC_VALID & mdoc->last->flags)
                   return(1);
           mdoc->last->flags |= MDOC_VALID;
   
         if (MDOC_TEXT == mdoc->last->type)          if (MDOC_TEXT == mdoc->last->type)
                 return(1);                  return(1);
Legend:
Removed from v.1.37  
changed lines
  Added in v.1.39
CVSweb