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

Diff for /mandoc/Attic/macro.c between version 1.4 and 1.21

version 1.4, 2008/12/15 03:13:01 version 1.21, 2009/01/05 14:14:04
Line 20 
Line 20 
 #include <ctype.h>  #include <ctype.h>
 #include <stdlib.h>  #include <stdlib.h>
 #include <stdio.h>  #include <stdio.h>
   #include <string.h>
   #ifdef  __linux__
   #include <time.h>
   #endif
   
 #include "private.h"  #include "private.h"
   
 #define _CC(p)  ((const char **)p)  /* FIXME: maxlineargs should be per LINE, no per TOKEN. */
   
 static  int       append_text(struct mdoc *, int,  static  int       rewind_elem(struct mdoc *, int, int);
                         int, int, char *[]);  static  int       rewind_imp(struct mdoc *, int, int);
 static  int       append_scoped(struct mdoc *, int,  static  int       rewind_exp(struct mdoc *, int, int, int);
                         int, int, char *[]);  static  int       rewind_line(struct mdoc *, int, int);
 static  int       args_next(struct mdoc *, int,  static  int       append_delims(struct mdoc *, int, int *, char *);
                         int *, char *, char **);  
   
   
 static int  static int
 args_next(struct mdoc *mdoc, int tok,  rewind_elem(struct mdoc *mdoc, int ppos, int tok)
                 int *pos, char *buf, char **v)  
 {  {
           struct mdoc_node *n;
   
         if (0 == buf[*pos])          n = mdoc->last;
           if (MDOC_ELEM != n->type)
                   n = n->parent;
           assert(MDOC_ELEM == n->type);
           assert(tok == n->data.elem.tok);
   
           mdoc->last = n;
           mdoc->next = MDOC_NEXT_SIBLING;
           if ( ! mdoc_valid_post(mdoc, tok, ppos))
                 return(0);                  return(0);
           return(mdoc_action(mdoc, tok, ppos));
   }
   
         assert( ! isspace(buf[*pos]));  
   
         if ('\"' == buf[*pos]) {  static int
                 (void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_QUOTE);  rewind_line(struct mdoc *mdoc, int ppos, int tok)
                 return(-1);  {
           struct mdoc_node *n;
           int               t;
   
           /* LINTED */
           for (n = mdoc->last; n; n = n->parent) {
                   if (MDOC_HEAD != n->type)
                           continue;
                   if (tok == (t = n->data.head.tok))
                           break;
                   if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags))
                           continue;
                   return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK));
         }          }
   
         *v = &buf[*pos];          mdoc->last = n ? n : mdoc->last;
           mdoc->next = MDOC_NEXT_SIBLING;
           /* XXX - no validation, we do this only for blocks/elements. */
           return(1);
   }
   
         /* Scan ahead to end of token. */  
   
         while (buf[*pos] && ! isspace(buf[*pos]))  static int
                 (*pos)++;  rewind_exp(struct mdoc *mdoc, int ppos, int tok, int tt)
   {
           struct mdoc_node *n;
   
         if (buf[*pos] && buf[*pos + 1] && '\\' == buf[*pos]) {          assert(mdoc->last);
                 (void)mdoc_err(mdoc, tok, *pos, ERR_SYNTAX_WS);  
                 return(-1);          /* LINTED */
           for (n = mdoc->last->parent; n; n = n->parent) {
                   if (MDOC_BLOCK != n->type)
                           continue;
                   if (tt == n->data.block.tok)
                           break;
                   return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK));
         }          }
   
         if (0 == buf[*pos])          if (NULL == (mdoc->last = n))
                 return(1);                  return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_NOCTX));
   
         /* Scan ahead over trailing whitespace. */          mdoc->next = MDOC_NEXT_SIBLING;
           if ( ! mdoc_valid_post(mdoc, tok, ppos))
                   return(0);
           return(mdoc_action(mdoc, tok, ppos));
   }
   
         buf[(*pos)++] = 0;  
         while (buf[*pos] && isspace(buf[*pos]))  
                 (*pos)++;  
   
         if (0 == buf[*pos])  static int
                 if ( ! mdoc_warn(mdoc, tok, *pos, WARN_SYNTAX_WS_EOLN))  rewind_imp(struct mdoc *mdoc, int ppos, int tok)
                         return(-1);  {
           struct mdoc_node *n;
           int               t;
   
         return(1);          n = mdoc->last ? mdoc->last->parent : NULL;
   
           /* LINTED */
           for ( ; n; n = n->parent) {
                   if (MDOC_BLOCK != n->type)
                           continue;
                   if (tok == (t = n->data.block.tok))
                           break;
                   if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags))
                           continue;
                   return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK));
           }
   
           mdoc->last = n ? n : mdoc->last;
           mdoc->next = MDOC_NEXT_SIBLING;
           if ( ! mdoc_valid_post(mdoc, tok, ppos))
                   return(0);
           return(mdoc_action(mdoc, tok, ppos));
 }  }
   
   
 static int  /* ARGSUSED */
 append_scoped(struct mdoc *mdoc, int tok,  int
                 int pos, int sz, char *args[])  macro_close_explicit(MACRO_PROT_ARGS)
 {  {
           int              tt;
   
         switch (tok) {          switch (tok) {
          /* ======= ADD MORE MACRO CHECKS BELOW. ======= */          case (MDOC_El):
         case (MDOC_Sh):                  tt = MDOC_Bl;
                 break;                  break;
         case (MDOC_Ss):          case (MDOC_Ed):
                   tt = MDOC_Bd;
                 break;                  break;
          /* ======= ADD MORE MACRO CHECKS ABOVE. ======= */          case (MDOC_Re):
                   tt = MDOC_Rs;
                   break;
           case (MDOC_Ef):
                   tt = MDOC_Bf;
                   break;
         default:          default:
                 abort();                  abort();
                 /* NOTREACHED */                  /* NOTREACHED */
         }          }
   
         assert(sz >= 0);          if (0 != buf[*pos])
         args[sz] = NULL;                  return(mdoc_err(mdoc, tok, ppos, ERR_ARGS_EQ0));
         mdoc_block_alloc(mdoc, pos, tok, 0, NULL);          return(rewind_exp(mdoc, ppos, tok, tt));
         mdoc_head_alloc(mdoc, pos, tok, (size_t)sz, _CC(args));  
         mdoc_body_alloc(mdoc, pos, tok);  
         return(1);  
 }  }
   
   
 static int  static int
 append_text(struct mdoc *mdoc, int tok,  append_delims(struct mdoc *mdoc, int tok, int *pos, char *buf)
                 int pos, int sz, char *args[])  
 {  {
           int              c, lastarg;
           char            *p;
   
         assert(sz >= 0);          if (0 == buf[*pos])
         args[sz] = NULL;                  return(1);
   
         switch (tok) {          for (;;) {
          /* ======= ADD MORE MACRO CHECKS BELOW. ======= */                  lastarg = *pos;
         case (MDOC_Ft):                  c = mdoc_args(mdoc, tok, pos, buf, 0, &p);
                 /* FALLTHROUGH */                  if (ARGS_ERROR == c)
         case (MDOC_Li):  
                 /* FALLTHROUGH */  
         case (MDOC_Ms):  
                 /* FALLTHROUGH */  
         case (MDOC_Pa):  
                 /* FALLTHROUGH */  
         case (MDOC_Tn):  
                 if (0 < sz)  
                         break;  
                 if ( ! mdoc_warn(mdoc, tok, pos, WARN_ARGS_GE1))  
                         return(0);                          return(0);
                 break;                  else if (ARGS_EOLN == c)
         case (MDOC_Ar):  
                 /* FALLTHROUGH */  
         case (MDOC_Cm):  
                 /* FALLTHROUGH */  
         case (MDOC_Fl):  
                 break;  
         case (MDOC_Ad):  
                 /* FALLTHROUGH */  
         case (MDOC_Em):  
                 /* FALLTHROUGH */  
         case (MDOC_Er):  
                 /* FALLTHROUGH */  
         case (MDOC_Ev):  
                 /* FALLTHROUGH */  
         case (MDOC_Fa):  
                 /* FALLTHROUGH */  
         case (MDOC_Dv):  
                 /* FALLTHROUGH */  
         case (MDOC_Ic):  
                 /* FALLTHROUGH */  
         case (MDOC_Va):  
                 /* FALLTHROUGH */  
         case (MDOC_Vt):  
                 if (0 < sz)  
                         break;                          break;
                 return(mdoc_err(mdoc, tok, pos, ERR_ARGS_GE1));                  assert(mdoc_isdelim(p));
          /* ======= ADD MORE MACRO CHECKS ABOVE. ======= */                  mdoc_word_alloc(mdoc, lastarg, p);
         default:                  mdoc->next = MDOC_NEXT_SIBLING;
                 abort();  
                 /* NOTREACHED */  
         }          }
   
         mdoc_elem_alloc(mdoc, pos, tok, 0,  
                         NULL, (size_t)sz, _CC(args));  
         return(1);          return(1);
 }  }
   
   
   /*
    * A general text domain macro.  When invoked, this opens a scope that
    * accepts words until either end-of-line, only-punctuation, or a
    * callable macro.  If the word is punctuation (not only-punctuation),
    * then the scope is closed out, the punctuation appended, then the
    * scope opened again.  If any terminating conditions are met, the scope
    * is closed out.  If this is the first macro in the line and
    * only-punctuation remains, this punctuation is flushed.
    */
 int  int
 macro_text(struct mdoc *mdoc, int tok, int ppos, int *pos, char *buf)  macro_text(MACRO_PROT_ARGS)
 {  {
         int               lastarg, c, lasttok, lastpunct, j;          int               lastarg, lastpunct, c, sz, fl, argc;
         char             *args[MDOC_LINEARG_MAX], *p;          struct mdoc_arg   argv[MDOC_LINEARG_MAX];
           char             *p;
   
         lasttok = ppos;          lastarg = ppos;
         lastpunct = 0;          lastpunct = 0;
         j = 0;  
   
 again:          for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) {
                   lastarg = *pos;
   
         lastarg = *pos;                  c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf);
         c = args_next(mdoc, tok, pos, buf, &args[j]);                  if (ARGV_EOLN == c || ARGV_WORD == c)
                           break;
         if (-1 == c)                  else if (ARGV_ARG == c)
                           continue;
                   mdoc_argv_free(argc, argv);
                 return(0);                  return(0);
         if (0 == c && ! lastpunct)          }
                 return(append_text(mdoc, tok, lasttok, j, args));  
         else if (0 == c)  
                 return(1);  
   
         /* Command found. */          if ( ! mdoc_valid_pre(mdoc, tok, ppos, argc, argv)) {
                   mdoc_argv_free(argc, argv);
                   return(0);
           }
   
         if (MDOC_MAX != (c = mdoc_find(mdoc, args[j]))) {          fl = ARGS_DELIM;
                 if ( ! lastpunct)          if (MDOC_QUOTABLE & mdoc_macros[tok].flags)
                         if ( ! append_text(mdoc, tok, lasttok, j, args))                  fl |= ARGS_QUOTED;
   
           mdoc_elem_alloc(mdoc, lastarg, tok, argc, argv);
           mdoc->next = MDOC_NEXT_CHILD;
   
           for (lastpunct = sz = 0; sz + argc < MDOC_LINEARG_MAX; sz++) {
                   lastarg = *pos;
   
                   if (lastpunct) {
                           mdoc_elem_alloc(mdoc, lastarg, tok, argc, argv);
                           mdoc->next = MDOC_NEXT_CHILD;
                           lastpunct = 0;
                   }
   
                   c = mdoc_args(mdoc, tok, pos, buf, fl, &p);
                   if (ARGS_ERROR == c) {
                           mdoc_argv_free(argc, argv);
                           return(0);
                   }
   
                   if (ARGS_EOLN == c)
                           break;
                   if (ARGS_PUNCT == c)
                           break;
   
                   if (MDOC_MAX != (c = mdoc_find(mdoc, p))) {
                           if ( ! rewind_elem(mdoc, ppos, tok)) {
                                   mdoc_argv_free(argc, argv);
                                 return(0);                                  return(0);
                 return(mdoc_macro(mdoc, c, lastarg, pos, buf));                          }
                           mdoc_argv_free(argc, argv);
                           if ( ! mdoc_macro(mdoc, c, lastarg, pos, buf))
                                   return(0);
                           if (ppos > 1)
                                   return(1);
                           return(append_delims(mdoc, tok, pos, buf));
                   }
   
                   if (mdoc_isdelim(p)) {
                           if ( ! rewind_elem(mdoc, ppos, tok)) {
                                   mdoc_argv_free(argc, argv);
                                   return(0);
                           }
                           lastpunct = 1;
                   }
                   mdoc_word_alloc(mdoc, lastarg, p);
                   mdoc->next = MDOC_NEXT_SIBLING;
         }          }
   
         /* Word found. */          mdoc_argv_free(argc, argv);
   
         if ( ! mdoc_isdelim(args[j])) {          if (sz == MDOC_LINEARG_MAX)
                 j++;                  return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY));
                 goto again;  
           if ( ! rewind_elem(mdoc, ppos, tok))
                   return(0);
           if (ppos > 1)
                   return(1);
           return(append_delims(mdoc, tok, pos, buf));
   }
   
   
   /*
    * Multi-line-scoped macro.
    */
   int
   macro_scoped(MACRO_PROT_ARGS)
   {
           int               c, lastarg, argc;
           struct mdoc_arg   argv[MDOC_LINEARG_MAX];
   
           assert ( ! (MDOC_CALLABLE & mdoc_macros[tok].flags));
   
           if ( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags))
                   if ( ! rewind_imp(mdoc, ppos, tok))
                           return(0);
   
           lastarg = ppos;
   
           for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) {
                   lastarg = *pos;
                   c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf);
                   if (ARGV_EOLN == c || ARGV_WORD == c)
                           break;
                   else if (ARGV_ARG == c)
                           continue;
                   mdoc_argv_free(argc, argv);
                   return(0);
         }          }
   
         /* Punctuation found.  */          if ( ! mdoc_valid_pre(mdoc, tok, ppos, argc, argv)) {
                   mdoc_argv_free(argc, argv);
                   return(0);
           }
   
         p = args[j]; /* Save argument (NULL-ified in append). */          mdoc_block_alloc(mdoc, ppos, tok, (size_t)argc, argv);
           mdoc->next = MDOC_NEXT_CHILD;
   
         if ( ! lastpunct)          mdoc_argv_free(argc, argv);
                 if ( ! append_text(mdoc, tok, lasttok, j, args))  
           /* XXX - Assumes header isn't parsed! */
   
           if (0 != buf[*pos]) {
                   mdoc_head_alloc(mdoc, ppos, tok);
                   mdoc->next = MDOC_NEXT_CHILD;
   
                   mdoc_word_alloc(mdoc, lastarg, &buf[*pos]);
                   mdoc->next = MDOC_NEXT_SIBLING;
   
                   if ( ! rewind_line(mdoc, ppos, tok))
                         return(0);                          return(0);
   
         args[j] = p;                  while (buf[*pos])
                           (*pos)++;
           }
   
         mdoc_word_alloc(mdoc, lastarg, args[j]);  #if 0
         lastpunct = 1;          /* Post-processing. */
         j = 0;          switch (tok) {
           case (MDOC_Sh):
                   sec = mdoc_atosec((size_t)sz, _CC(args));
                   if (SEC_CUSTOM != sec)
                           mdoc->sec_lastn = sec;
                   mdoc->sec_last = sec;
                   break;
           default:
                   break;
           }
   #endif
   
         goto again;          mdoc_body_alloc(mdoc, ppos, tok);
           mdoc->next = MDOC_NEXT_CHILD;
   
         /* NOTREACHED */          return(1);
 }  }
   
   
   /*
    * When scoped to a line, a macro encompasses all of the contents.  This
    * differs from constants or text macros, where a new macro will
    * terminate the existing context.
    */
 int  int
 macro_scoped_implicit(struct mdoc *mdoc,  macro_scoped_line(MACRO_PROT_ARGS)
                 int tok, int ppos, int *pos, char *buf)  
 {  {
         int               t, c, lastarg, j;          int               lastarg, c, j;
         char             *args[MDOC_LINEARG_MAX];          char              *p;
         struct mdoc_node *n;  
   
         /*          mdoc_block_alloc(mdoc, ppos, tok, 0, NULL);
          * Look for an implicit parent.          mdoc->next = MDOC_NEXT_CHILD;
          */  
   
         assert( ! (MDOC_EXPLICIT & mdoc_macros[tok].flags));          mdoc_head_alloc(mdoc, ppos, tok);
           mdoc->next = MDOC_NEXT_CHILD;
   
         /* LINTED */          /* XXX - no known argument macros. */
         for (n = mdoc->last; n; n = n->parent) {  
                 if (MDOC_BLOCK != n->type)          if ( ! mdoc_valid_pre(mdoc, tok, ppos, 0, NULL))
                         continue;                  return(0);
                 if (tok == (t = n->data.block.tok))  
           /* Process line parameters. */
   
           for (lastarg = ppos, j = 0; j < MDOC_LINEARG_MAX; j++) {
                   lastarg = *pos;
                   c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p);
   
                   if (ARGS_ERROR == c)
                           return(0);
                   if (ARGS_PUNCT == c)
                         break;                          break;
                 if ( ! (MDOC_EXPLICIT & mdoc_macros[t].flags))                  if (ARGS_EOLN == c)
                           break;
   
                   if (MDOC_MAX == (c = mdoc_find(mdoc, p))) {
                           mdoc_word_alloc(mdoc, lastarg, p);
                           mdoc->next = MDOC_NEXT_SIBLING;
                         continue;                          continue;
                 return(mdoc_err(mdoc, tok, ppos, ERR_SCOPE_BREAK));                  }
   
                   if ( ! mdoc_macro(mdoc, c, lastarg, pos, buf))
                           return(0);
                   break;
         }          }
   
         if (n) {          if (j == MDOC_LINEARG_MAX)
                 mdoc->last = n;                  return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY));
                 mdoc_msg(mdoc, ppos, "scope: rewound `%s'",  
                                 mdoc_macronames[tok]);  
         } else  
                 mdoc_msg(mdoc, ppos, "scope: new `%s'",  
                                 mdoc_macronames[tok]);  
   
         j = 0;          if (1 == ppos) {
                   if ( ! rewind_line(mdoc, ppos, tok))
                           return(0);
                   if ( ! append_delims(mdoc, tok, pos, buf))
                           return(0);
           }
           return(rewind_imp(mdoc, ppos, tok));
   }
   
 again:  
   
         lastarg = *pos;  /*
         c = args_next(mdoc, tok, pos, buf, &args[j]);   * Delimited macros are like text macros except that, should punctuation
    * be encountered, the macro isn't re-started with remaining tokens
    * (it's only emitted once).  Delimited macros can have a maximum number
    * of arguments.
    */
   int
   macro_constant_delimited(MACRO_PROT_ARGS)
   {
           int               lastarg, flushed, j, c, maxargs;
           char             *p;
   
           lastarg = ppos;
           flushed = 0;
   
           switch (tok) {
           case (MDOC_No):
                   /* FALLTHROUGH */
           case (MDOC_Ns):
                   /* FALLTHROUGH */
           case (MDOC_Ux):
                   maxargs = 0;
                   break;
           default:
                   maxargs = 1;
                   break;
           }
   
           mdoc_elem_alloc(mdoc, lastarg, tok, 0, NULL);
           mdoc->next = MDOC_NEXT_CHILD;
   
           for (j = 0; j < MDOC_LINEARG_MAX; j++) {
                   lastarg = *pos;
   
                   if (j == maxargs && ! flushed) {
                           if ( ! rewind_elem(mdoc, ppos, tok))
                                   return(0);
                           flushed = 1;
                   }
   
                   c = mdoc_args(mdoc, tok, pos, buf, ARGS_DELIM, &p);
                   if (ARGS_ERROR == c)
                           return(0);
                   if (ARGS_PUNCT == c)
                           break;
                   if (ARGS_EOLN == c)
                           break;
   
                   if (MDOC_MAX != (c = mdoc_find(mdoc, p))) {
                           if ( ! flushed && ! rewind_elem(mdoc, ppos, tok))
                                   return(0);
                           flushed = 1;
                           if ( ! mdoc_macro(mdoc, c, lastarg, pos, buf))
                                   return(0);
                           break;
                   }
   
                   if (mdoc_isdelim(p)) {
                           if ( ! rewind_elem(mdoc, ppos, tok))
                                   return(0);
                           flushed = 1;
                   }
   
         if (-1 == c)                  mdoc_word_alloc(mdoc, lastarg, p);
                   mdoc->next = MDOC_NEXT_SIBLING;
           }
   
           if ( ! flushed && rewind_elem(mdoc, ppos, tok))
                 return(0);                  return(0);
         if (0 == c)  
                 return(append_scoped(mdoc, tok, ppos, j, args));  
   
         /* Command found. */          if (MDOC_LINEARG_MAX == j)
                   return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY));
   
         if (MDOC_MAX != (c = mdoc_find(mdoc, args[j])))          if (ppos > 1)
                 if ( ! mdoc_warn(mdoc, tok, lastarg, WARN_SYNTAX_MACLIKE))                  return(1);
           return(append_delims(mdoc, tok, pos, buf));
   }
   
   
   /*
    * Constant macros span an entire line:  they constitute a macro and all
    * of its arguments and child data.
    */
   int
   macro_constant(MACRO_PROT_ARGS)
   {
           int              c, lastarg, argc, sz, fl;
           struct mdoc_arg  argv[MDOC_LINEARG_MAX];
           char            *p;
   
           fl = 0;
           if (MDOC_QUOTABLE & mdoc_macros[tok].flags)
                   fl = ARGS_QUOTED;
   
           for (argc = 0; argc < MDOC_LINEARG_MAX; argc++) {
                   lastarg = *pos;
                   c = mdoc_argv(mdoc, tok, &argv[argc], pos, buf);
                   if (ARGV_EOLN == c)
                           break;
                   else if (ARGV_ARG == c)
                           continue;
                   else if (ARGV_WORD == c)
                           break;
   
                   mdoc_argv_free(argc, argv);
                   return(0);
           }
   
           if (MDOC_LINEARG_MAX == argc) {
                   mdoc_argv_free(argc, argv);
                   return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY));
           }
   
           mdoc_elem_alloc(mdoc, ppos, tok, argc, argv);
           mdoc->next = MDOC_NEXT_CHILD;
   
           mdoc_argv_free(argc, argv);
   
           for (sz = 0; sz + argc < MDOC_LINEARG_MAX; sz++) {
                   lastarg = *pos;
                   c = mdoc_args(mdoc, tok, pos, buf, fl, &p);
                   if (ARGS_ERROR == c)
                         return(0);                          return(0);
                   if (ARGS_EOLN == c)
                           break;
   
         /* Word found. */                  mdoc_word_alloc(mdoc, lastarg, p);
                   mdoc->next = MDOC_NEXT_SIBLING;
           }
   
         j++;          if (MDOC_LINEARG_MAX == sz + argc)
         goto again;                  return(mdoc_err(mdoc, tok, lastarg, ERR_ARGS_MANY));
   
         /* NOTREACHED */          return(rewind_elem(mdoc, ppos, tok));
   }
   
   
   /* ARGSUSED */
   int
   macro_obsolete(MACRO_PROT_ARGS)
   {
   
           return(mdoc_warn(mdoc, tok, ppos, WARN_IGN_OBSOLETE));
 }  }
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.21
CVSweb