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

Diff for /mandoc/Attic/validate.c between version 1.40 and 1.44

version 1.40, 2009/01/19 17:51:33 version 1.44, 2009/01/20 13:44:05
Line 21 
Line 21 
   
 #include "private.h"  #include "private.h"
   
   /*
    * Pre- and post-validate macros as they're parsed.  Pre-validation
    * occurs when the macro has been detected and its arguments parsed.
    * Post-validation occurs when all child macros have also been parsed.
    * In the ELEMENT case, this is simply the parameters of the macro; in
    * the BLOCK case, this is the HEAD, BODY, TAIL and so on.
    */
   
 typedef int     (*v_pre)(struct mdoc *, struct mdoc_node *);  typedef int     (*v_pre)(struct mdoc *, struct mdoc_node *);
 typedef int     (*v_post)(struct mdoc *);  typedef int     (*v_post)(struct mdoc *);
   
 /* FIXME: some sections should only occur in specific msecs. */  /* FIXME: some sections should only occur in specific msecs. */
 /* FIXME: ignoring Pp. */  /* FIXME: ignoring Pp. */
 /* FIXME: math symbols. */  /* FIXME: math symbols. */
 /* FIXME: make sure prologue is complete. */  
 /* FIXME: valid character-escape checks. */  /* FIXME: valid character-escape checks. */
 /* FIXME: make sure required sections are included (NAME, ...). */  /* FIXME: make sure required sections are included (NAME, ...). */
   
Line 71  static int pre_prologue(struct mdoc *, struct mdoc_nod
Line 78  static int pre_prologue(struct mdoc *, struct mdoc_nod
 /* Specific post-child-parse routines. */  /* Specific post-child-parse routines. */
   
 static  int     herr_ge1(struct mdoc *);  static  int     herr_ge1(struct mdoc *);
 static  int     hwarn_ge1(struct mdoc *);  static  int     herr_le1(struct mdoc *);
 static  int     herr_eq0(struct mdoc *);  static  int     herr_eq0(struct mdoc *);
 static  int     eerr_eq0(struct mdoc *);  static  int     eerr_eq0(struct mdoc *);
 static  int     eerr_le1(struct mdoc *);  static  int     eerr_le1(struct mdoc *);
Line 81  static int eerr_ge1(struct mdoc *);
Line 88  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     ewarn_eq1(struct mdoc *);
 static  int     bwarn_ge1(struct mdoc *);  static  int     bwarn_ge1(struct mdoc *);
 static  int     berr_eq0(struct mdoc *);  
 static  int     ewarn_ge1(struct mdoc *);  static  int     ewarn_ge1(struct mdoc *);
 static  int     ebool(struct mdoc *);  static  int     ebool(struct mdoc *);
 static  int     post_sh(struct mdoc *);  static  int     post_sh(struct mdoc *);
Line 92  static int post_an(struct mdoc *);
Line 98  static int post_an(struct mdoc *);
 static  int     post_at(struct mdoc *);  static  int     post_at(struct mdoc *);
 static  int     post_xr(struct mdoc *);  static  int     post_xr(struct mdoc *);
 static  int     post_nm(struct mdoc *);  static  int     post_nm(struct mdoc *);
   static  int     post_bf(struct mdoc *);
 static  int     post_root(struct mdoc *);  static  int     post_root(struct mdoc *);
   
 /* Collections of pre-child-parse routines. */  /* Collections of pre-child-parse routines. */
Line 117  static v_post posts_bd[] = { herr_eq0, bwarn_ge1, NULL
Line 124  static v_post posts_bd[] = { herr_eq0, bwarn_ge1, NULL
 static  v_post  posts_text[] = { eerr_ge1, NULL };  static  v_post  posts_text[] = { eerr_ge1, NULL };
 static  v_post  posts_wtext[] = { ewarn_ge1, NULL };  static  v_post  posts_wtext[] = { ewarn_ge1, NULL };
 static  v_post  posts_notext[] = { eerr_eq0, NULL };  static  v_post  posts_notext[] = { eerr_eq0, NULL };
 static  v_post  posts_wline[] = { hwarn_ge1, berr_eq0, NULL };  static  v_post  posts_wline[] = { bwarn_ge1, herr_eq0, NULL };
 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_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_ex[] = { eerr_le1, post_ex, NULL };  static  v_post  posts_ex[] = { eerr_le1, post_ex, NULL };
 static  v_post  posts_an[] = { post_an, NULL };  static  v_post  posts_an[] = { post_an, NULL };
 static  v_post  posts_at[] = { post_at, NULL };  static  v_post  posts_at[] = { post_at, NULL };
 static  v_post  posts_xr[] = { eerr_ge1, eerr_le2, post_xr, NULL };  static  v_post  posts_xr[] = { eerr_ge1, eerr_le2, post_xr, NULL };
 static  v_post  posts_nm[] = { post_nm, NULL };  static  v_post  posts_nm[] = { post_nm, NULL };
   static  v_post  posts_bf[] = { herr_le1, post_bf, NULL };
   
 /* Per-macro pre- and post-child-check routine collections. */  /* Per-macro pre- and post-child-check routine collections. */
   
Line 142  const struct valids mdoc_valids[MDOC_MAX] = {
Line 149  const struct valids mdoc_valids[MDOC_MAX] = {
         { pres_sh, posts_sh }, /* Sh */          { pres_sh, posts_sh }, /* Sh */
         { pres_ss, posts_ss }, /* Ss */          { pres_ss, posts_ss }, /* Ss */
         { NULL, posts_pp }, /* Pp */          { NULL, posts_pp }, /* Pp */
         { pres_d1, posts_d1 }, /* D1 */          { pres_d1, posts_wline }, /* D1 */
         { pres_d1, posts_d1 }, /* Dl */          { pres_d1, posts_wline }, /* Dl */
         { pres_bd, posts_bd }, /* Bd */          { pres_bd, posts_bd }, /* Bd */
         { NULL, NULL }, /* Ed */          { NULL, NULL }, /* Ed */
         { pres_bl, posts_bl }, /* Bl */          { pres_bl, posts_bl }, /* Bl */
Line 193  const struct valids mdoc_valids[MDOC_MAX] = {
Line 200  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 */  /* FIXME */          { NULL, posts_bf }, /* Bf */
         { NULL, NULL }, /* Bo */          { NULL, NULL }, /* Bo */
         { NULL, posts_wline }, /* Bq */          { NULL, posts_wline }, /* Bq */
         { NULL, NULL }, /* Bsx */          { NULL, NULL }, /* Bsx */
Line 362  pre_check_parent(struct mdoc *mdoc, struct mdoc_node *
Line 369  pre_check_parent(struct mdoc *mdoc, struct mdoc_node *
   
   
 static int  static int
 berr_eq0(struct mdoc *mdoc)  
 {  
   
         if (MDOC_BODY != mdoc->last->type)  
                 return(1);  
         return(post_check_children_eq(mdoc, "body children", 0));  
 }  
   
   
 static int  
 bwarn_ge1(struct mdoc *mdoc)  bwarn_ge1(struct mdoc *mdoc)
 {  {
   
Line 464  herr_eq0(struct mdoc *mdoc)
Line 461  herr_eq0(struct mdoc *mdoc)
   
   
 static int  static int
 hwarn_ge1(struct mdoc *mdoc)  herr_le1(struct mdoc *mdoc)
 {  {
   
         if (MDOC_HEAD != mdoc->last->type)          if (MDOC_HEAD != mdoc->last->type)
                 return(1);                  return(1);
         return(post_check_children_wgt(mdoc, "parameters", 0));          return(post_check_children_lt(mdoc, "parameters", 2));
 }  }
   
   
Line 763  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
Line 759  pre_prologue(struct mdoc *mdoc, struct mdoc_node *node
         }          }
   
         return(mdoc_nerr(mdoc, node, "prologue macro repeated"));          return(mdoc_nerr(mdoc, node, "prologue macro repeated"));
   }
   
   
   static int
   post_bf(struct mdoc *mdoc)
   {
           char             *p;
           struct mdoc_node *head;
   
           if (MDOC_BLOCK != mdoc->last->type)
                   return(1);
           assert(MDOC_Bf == mdoc->last->tok);
           head = mdoc->last->data.block.head;
           assert(head);
   
           if (0 == mdoc->last->data.block.argc) {
                   if (head->child) {
                           assert(MDOC_TEXT == head->child->type);
                           p = head->child->data.text.string;
                           if (xstrcmp(p, "Em"))
                                   return(1);
                           else if (xstrcmp(p, "Li"))
                                   return(1);
                           else if (xstrcmp(p, "Sm"))
                                   return(1);
                           return(mdoc_nerr(mdoc, head->child, "invalid font mode"));
                   }
                   return(mdoc_err(mdoc, "macro expects an argument or parameter"));
           }
           if (head->child)
                   return(mdoc_err(mdoc, "macro expects an argument or parameter"));
           if (1 == mdoc->last->data.block.argc)
                   return(1);
           return(mdoc_err(mdoc, "macro expects an argument or parameter"));
 }  }
   
   

Legend:
Removed from v.1.40  
changed lines
  Added in v.1.44

CVSweb