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

Diff for /mandoc/roff.c between version 1.71 and 1.75

version 1.71, 2010/05/15 21:53:11 version 1.75, 2010/05/16 13:49:23
Line 21 
Line 21 
 #include <assert.h>  #include <assert.h>
 #include <stdlib.h>  #include <stdlib.h>
 #include <string.h>  #include <string.h>
   #include <stdio.h>
   
 #include "mandoc.h"  #include "mandoc.h"
 #include "roff.h"  #include "roff.h"
   
   #define ROFF_CTL(c) \
           ('.' == (c) || '\'' == (c))
   #ifdef  ROFF_DEBUG
   #define ROFF_MDEBUG(p, str) \
           fprintf(stderr, "%s: %s (%d:%d)\n", (str), \
                   roffs[(p)->last->tok].name, \
                   (p)->last->line, (p)->last->col)
   #else
   #define ROFF_MDEBUG(p, str) while (/* CONSTCOND */ 0)
   #endif
   
 enum    rofft {  enum    rofft {
         ROFF_de,          ROFF_if,
         ROFF_dei,          ROFF_ccond,
   #if 0
         ROFF_am,          ROFF_am,
         ROFF_ami,          ROFF_ami,
           ROFF_de,
           ROFF_dei,
         ROFF_ig,          ROFF_ig,
         ROFF_close,          ROFF_close,
   #endif
         ROFF_MAX          ROFF_MAX
 };  };
   
Line 44  struct roff {
Line 60  struct roff {
 struct  roffnode {  struct  roffnode {
         enum rofft       tok; /* type of node */          enum rofft       tok; /* type of node */
         struct roffnode *parent; /* up one in stack */          struct roffnode *parent; /* up one in stack */
         char            *end; /* custom end-token */          char            *end; /* end-token: custom */
         int              line; /* parse line */          int              line; /* parse line */
         int              col; /* parse col */          int              col; /* parse col */
           int              endspan;
 };  };
   
 #define ROFF_ARGS        struct roff *r, /* parse ctx */ \  #define ROFF_ARGS        struct roff *r, /* parse ctx */ \
                            enum rofft tok, /* tok of macro */ \
                          char **bufp, /* input buffer */ \                           char **bufp, /* input buffer */ \
                          size_t *szp, /* size of input buffer */ \                           size_t *szp, /* size of input buffer */ \
                          int ln, /* parse line */ \                           int ln, /* parse line */ \
                          int ppos /* current pos in buffer */                           int ppos, /* original pos in buffer */ \
                            int pos, /* current pos in buffer */ \
                            int *offs /* reset offset of buffer data */
   
 typedef enum rofferr (*roffproc)(ROFF_ARGS);  typedef enum rofferr (*roffproc)(ROFF_ARGS);
   
 struct  roffmac {  struct  roffmac {
         const char      *name; /* macro name */          const char      *name; /* macro name */
         roffproc         sub; /* child of control black */          roffproc         proc;
         roffproc         new; /* root of stack (type = ROFF_MAX) */  
 };  };
   
 static  enum rofferr     roff_ignore(ROFF_ARGS);  static  enum rofferr     roff_if(ROFF_ARGS);
   static  enum rofferr     roff_ccond(ROFF_ARGS);
   #if 0
 static  enum rofferr     roff_new_close(ROFF_ARGS);  static  enum rofferr     roff_new_close(ROFF_ARGS);
 static  enum rofferr     roff_new_ig(ROFF_ARGS);  static  enum rofferr     roff_new_ig(ROFF_ARGS);
 static  enum rofferr     roff_sub_ig(ROFF_ARGS);  static  enum rofferr     roff_sub_ig(ROFF_ARGS);
   #endif
   
 const   struct roffmac   roffs[ROFF_MAX] = {  const   struct roffmac   roffs[ROFF_MAX] = {
         { "de", NULL, roff_ignore },          { "if", roff_if },
         { "dei", NULL, roff_ignore },          { "\\}", roff_ccond },
         { "am", NULL, roff_ignore },  #if 0
         { "ami", NULL, roff_ignore },          { "am", roff_sub_ig, roff_new_ig },
           { "ami", roff_sub_ig, roff_new_ig },
           { "de", roff_sub_ig, roff_new_ig },
           { "dei", roff_sub_ig, roff_new_ig },
         { "ig", roff_sub_ig, roff_new_ig },          { "ig", roff_sub_ig, roff_new_ig },
         { ".", NULL, roff_new_close },          { ".", NULL, roff_new_close },
   #endif
 };  };
   
 static  void             roff_free1(struct roff *);  static  void             roff_free1(struct roff *);
Line 113  roffnode_pop(struct roff *r)
Line 139  roffnode_pop(struct roff *r)
 {  {
         struct roffnode *p;          struct roffnode *p;
   
         if (NULL == (p = r->last))          assert(r->last);
                 return;          p = r->last;
         r->last = p->parent;          r->last = r->last->parent;
           if (p->end)
                   free(p->end);
         free(p);          free(p);
 }  }
   
Line 187  roff_alloc(const mandocmsg msg, void *data)
Line 215  roff_alloc(const mandocmsg msg, void *data)
   
   
 enum rofferr  enum rofferr
 roff_parseln(struct roff *r, int ln, char **bufp, size_t *szp)  roff_parseln(struct roff *r, int ln,
                   char **bufp, size_t *szp, int pos, int *offs)
 {  {
         enum rofft       t;          enum rofft       t;
         int              ppos;          int              ppos;
   
         if (NULL != r->last) {          /* Return when in free text without a context. */
                 /*  
                  * If there's a node on the stack, then jump directly          if (r->last && ! ROFF_CTL((*bufp)[pos])) {
                  * into its processing function.                  /* XXX: this assumes we're just discarding. */
                  */                  while (r->last) {
                 t = r->last->tok;                          if (r->last->endspan-- < 0)
                 assert(roffs[t].sub);                                  break;
                 return((*roffs[t].sub)(r, bufp, szp, ln, 0));                          ROFF_MDEBUG(r, "closing implicit scope");
         } else if ('.' != (*bufp)[0] && NULL == r->last)                          roffnode_pop(r);
                 /* Return when in free text without a context. */                  }
                   return(ROFF_IGN);
           } else if ( ! ROFF_CTL((*bufp)[pos]))
                 return(ROFF_CONT);                  return(ROFF_CONT);
   
         /* There's nothing on the stack: make us anew. */          /* There's nothing on the stack: make us anew. */
   
         if (ROFF_MAX == (t = roff_parse(*bufp, &ppos)))          ppos = pos;
           if (ROFF_MAX == (t = roff_parse(*bufp, &pos)))
                 return(ROFF_CONT);                  return(ROFF_CONT);
   
         assert(roffs[t].new);          assert(roffs[t].proc);
         return((*roffs[t].new)(r, bufp, szp, ln, ppos));          return((*roffs[t].proc)(r, t, bufp, szp, ln, ppos, pos, offs));
 }  }
   
   
   int
   roff_endparse(struct roff *r)
   {
   
           if (NULL == r->last)
                   return(1);
           return((*r->msg)(MANDOCERR_SCOPEEXIT, r->data, r->last->line,
                                   r->last->col, NULL));
   }
   
   
 /*  /*
  * Parse a roff node's type from the input buffer.  This must be in the   * Parse a roff node's type from the input buffer.  This must be in the
  * form of ".foo xxx" in the usual way.   * form of ".foo xxx" in the usual way.
Line 225  roff_parse(const char *buf, int *pos)
Line 268  roff_parse(const char *buf, int *pos)
         char             mac[5];          char             mac[5];
         enum rofft       t;          enum rofft       t;
   
         assert('.' == buf[0]);          assert(ROFF_CTL(buf[*pos]));
         *pos = 1;          (*pos)++;
   
         while (buf[*pos] && (' ' == buf[*pos] || '\t' == buf[*pos]))          while (buf[*pos] && (' ' == buf[*pos] || '\t' == buf[*pos]))
                 (*pos)++;                  (*pos)++;
Line 255  roff_parse(const char *buf, int *pos)
Line 298  roff_parse(const char *buf, int *pos)
 }  }
   
   
   #if 0
 /* ARGSUSED */  /* ARGSUSED */
 static enum rofferr  static enum rofferr
 roff_ignore(ROFF_ARGS)  
 {  
   
         return(ROFF_IGN);  
 }  
   
   
 /* ARGSUSED */  
 static enum rofferr  
 roff_sub_ig(ROFF_ARGS)  roff_sub_ig(ROFF_ARGS)
 {  {
         int              i, j;          int              i, j;
   
         /* Ignore free-text lines. */          /* Ignore free-text lines. */
   
         if ('.' != (*bufp)[ppos])          if ('.' != (*bufp)[ppos] && '\'' != (*bufp)[ppos])
                 return(ROFF_IGN);                  return(ROFF_IGN);
   
         if (r->last->end) {          if (r->last->end) {
                 /*  
                  * Allow a macro to break us, if we've defined a special  
                  * one for the case.  Old groff didn't allow spaces to  
                  * buffer the macro, but new groff does.  Whee!  
                  */  
                 i = ppos + 1;                  i = ppos + 1;
   
                 while ((*bufp)[i] && ' ' == (*bufp)[i])                  while ((*bufp)[i] && ' ' == (*bufp)[i])
                         i++;                          i++;
   
                 if ('\0' == (*bufp)[i])  
                         return(ROFF_IGN);  
   
                 for (j = 0; r->last->end[j]; i++, j++)                  for (j = 0; r->last->end[j]; i++, j++)
                         if ((*bufp)[i] != r->last->end[j])                          if ((*bufp)[i] != r->last->end[j])
                                 return(ROFF_IGN);                                  return(ROFF_IGN);
Line 299  roff_sub_ig(ROFF_ARGS)
Line 327  roff_sub_ig(ROFF_ARGS)
   
                 while (' ' == (*bufp)[i])                  while (' ' == (*bufp)[i])
                         i++;                          i++;
   
         } else if (ROFF_close != roff_parse(*bufp, &i))          } else if (ROFF_close != roff_parse(*bufp, &i))
                 return(ROFF_IGN);                  return(ROFF_IGN);
   
         /*  
          * Pop off the ignoring context and warn if we're going to lose  
          * any of our remaining arguments.  
          */  
   
         roffnode_pop(r);          roffnode_pop(r);
   
         if ('\0' == (*bufp)[i])          if ('\0' == (*bufp)[i])
Line 323  static enum rofferr
Line 347  static enum rofferr
 roff_new_close(ROFF_ARGS)  roff_new_close(ROFF_ARGS)
 {  {
   
         /*  
         if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL))          if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL))
                 return(ROFF_ERR);                  return(ROFF_ERR);
         */  
         return(ROFF_IGN);          return(ROFF_IGN);
 }  }
   #endif
   
   
 /* ARGSUSED */  /* ARGSUSED */
 static enum rofferr  static enum rofferr
   roff_ccond(ROFF_ARGS)
   {
   
           if (NULL == r->last || ROFF_if != r->last->tok || r->last->endspan > -1) {
                   if ( ! (*r->msg)(MANDOCERR_NOSCOPE, r->data, ln, ppos, NULL))
                           return(ROFF_ERR);
                   return(ROFF_IGN);
           }
   
           ROFF_MDEBUG(r, "closing explicit scope");
           roffnode_pop(r);
   
           while (r->last) {
                   if (--r->last->endspan < 0)
                           break;
   
                   ROFF_MDEBUG(r, "closing implicit scope");
                   roffnode_pop(r);
           }
   
           return(ROFF_IGN);
   }
   
   
   /* ARGSUSED */
   static enum rofferr
   roff_if(ROFF_ARGS)
   {
   
           /*
            * Read ahead past the conditional.
            * FIXME: this does not work, as conditionals don't end on
            * whitespace, but are parsed according to a formal grammar.
            * It's good enough for now, however.
            */
   
           if ( ! roffnode_push(r, tok, ln, ppos))
                   return(ROFF_ERR);
   
           while ((*bufp)[pos] && ' ' != (*bufp)[pos])
                   pos++;
           while (' ' == (*bufp)[pos])
                   pos++;
   
           /* Don't evaluate: just assume NO. */
   
           r->last->endspan = 1;
   
           if ('\\' == (*bufp)[pos] && '{' == (*bufp)[pos + 1]) {
                   ROFF_MDEBUG(r, "opening explicit scope");
                   r->last->endspan = -1;
                   pos += 2;
           } else
                   ROFF_MDEBUG(r, "opening implicit scope");
   
           if ('\0' == (*bufp)[pos])
                   return(ROFF_IGN);
   
           *offs = pos;
           return(ROFF_RERUN);
   }
   
   
   #if 0
   static enum rofferr
 roff_new_ig(ROFF_ARGS)  roff_new_ig(ROFF_ARGS)
 {  {
         int              i;          int              i;
   
         if ( ! roffnode_push(r, ROFF_ig, ln, ppos))          if ( ! roffnode_push(r, tok, ln, ppos))
                 return(ROFF_ERR);                  return(ROFF_ERR);
   
           /*
            * Other macros (not `ig') using this routine have additional
            * crap here that we discard.
            */
   
           if (ROFF_ig != tok) {
                   while ((*bufp)[ppos] && ' ' != (*bufp)[ppos])
                           ppos++;
                   while (' ' == (*bufp)[ppos])
                           ppos++;
           }
   
         i = (int)ppos;          i = (int)ppos;
   
         while ((*bufp)[i] && ' ' != (*bufp)[i])          while ((*bufp)[i] && ' ' != (*bufp)[i])
                 i++;                  i++;
   
         if (i == (int)ppos)          if (i == (int)ppos)
                 return(ROFF_IGN);                  return(ROFF_IGN);
   
         if ((*bufp)[i])          if ((*bufp)[i])
                 if ( ! (*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, i, NULL))                  if ( ! (*r->msg)(MANDOCERR_ARGSLOST, r->data, ln, i, NULL))
                         return(ROFF_ERR);                          return(ROFF_ERR);
   
         /*          /*
          * If `.ig' has arguments, the first argument (up to the next           * If the macro has arguments, the first argument (up to the
          * whitespace) is interpreted as an argument marking the macro           * next whitespace) is interpreted as an argument marking the
          * close.  Thus, `.ig foo' will close at `.foo'.           * macro close.  Thus, `.ig foo' will close at `.foo'.
          *           *
          * NOTE: the closing macro `.foo' in the above case is not           * NOTE: the closing macro `.foo' in the above case is not
          * allowed to have leading spaces with old groff!  Thus `.foo'           * allowed to have leading spaces with old groff!  Thus `.foo'
Line 361  roff_new_ig(ROFF_ARGS)
Line 464  roff_new_ig(ROFF_ARGS)
          * Merry fucking Christmas.           * Merry fucking Christmas.
          */           */
   
         r->last->end = malloc((size_t)i - ppos + 1);          r->last->end = malloc((size_t)(i - ppos) + 1);
         if (NULL == r->last->end) {          if (NULL == r->last->end) {
                 (*r->msg)(MANDOCERR_MEM, r->data, ln, ppos, NULL);                  (*r->msg)(MANDOCERR_MEM, r->data, ln, ppos, NULL);
                 return(ROFF_ERR);                  return(ROFF_ERR);
         }          }
   
         memcpy(r->last->end, &(*bufp)[ppos], (size_t)i - ppos);          memcpy(r->last->end, &(*bufp)[ppos], (size_t)(i - ppos));
         r->last->end[(size_t)i - ppos] = '\0';          r->last->end[i - ppos] = '\0';
   
         return(ROFF_IGN);          return(ROFF_IGN);
 }  }
   #endif
   
 int  
 roff_endparse(struct roff *r)  
 {  
   
         if (NULL == r->last)  
                 return(1);  
         return((*r->msg)(MANDOCERR_SCOPEEXIT, r->data,  
                                 r->last->line, r->last->col, NULL));  
 }  
Legend:
Removed from v.1.71  
changed lines
  Added in v.1.75
CVSweb