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

Diff for /mandoc/roff.c between version 1.367 and 1.379

version 1.367, 2019/11/09 14:39:49 version 1.379, 2021/10/04 10:12:27
Line 1 
Line 1 
 /*      $Id$ */  /* $Id$ */
 /*  /*
    * Copyright (c) 2010-2015, 2017-2020 Ingo Schwarze <schwarze@openbsd.org>
  * Copyright (c) 2008-2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv>   * Copyright (c) 2008-2012, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010-2015, 2017-2019 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
Line 14 
Line 14 
  * 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
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.   * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
    *
    * Implementation of the roff(7) parser for mandoc(1).
  */   */
 #include "config.h"  #include "config.h"
   
Line 190  static int   roff_cc(ROFF_ARGS);
Line 192  static int   roff_cc(ROFF_ARGS);
 static  int              roff_ccond(struct roff *, int, int);  static  int              roff_ccond(struct roff *, int, int);
 static  int              roff_char(ROFF_ARGS);  static  int              roff_char(ROFF_ARGS);
 static  int              roff_cond(ROFF_ARGS);  static  int              roff_cond(ROFF_ARGS);
   static  int              roff_cond_checkend(ROFF_ARGS);
 static  int              roff_cond_text(ROFF_ARGS);  static  int              roff_cond_text(ROFF_ARGS);
 static  int              roff_cond_sub(ROFF_ARGS);  static  int              roff_cond_sub(ROFF_ARGS);
 static  int              roff_ds(ROFF_ARGS);  static  int              roff_ds(ROFF_ARGS);
 static  int              roff_ec(ROFF_ARGS);  static  int              roff_ec(ROFF_ARGS);
 static  int              roff_eo(ROFF_ARGS);  static  int              roff_eo(ROFF_ARGS);
 static  int              roff_eqndelim(struct roff *, struct buf *, int);  static  int              roff_eqndelim(struct roff *, struct buf *, int);
 static  int              roff_evalcond(struct roff *r, int, char *, int *);  static  int              roff_evalcond(struct roff *, int, char *, int *);
 static  int              roff_evalnum(struct roff *, int,  static  int              roff_evalnum(struct roff *, int,
                                 const char *, int *, int *, int);                                  const char *, int *, int *, int);
 static  int              roff_evalpar(struct roff *, int,  static  int              roff_evalpar(struct roff *, int,
Line 355  const char *__roff_name[MAN_MAX + 1] = {
Line 358  const char *__roff_name[MAN_MAX + 1] = {
         "Lk",           "Mt",           "Brq",          "Bro",          "Lk",           "Mt",           "Brq",          "Bro",
         "Brc",          "%C",           "Es",           "En",          "Brc",          "%C",           "Es",           "En",
         "Dx",           "%Q",           "%U",           "Ta",          "Dx",           "%Q",           "%U",           "Ta",
         NULL,          "Tg",           NULL,
         "TH",           "SH",           "SS",           "TP",          "TH",           "SH",           "SS",           "TP",
         "TQ",          "TQ",
         "LP",           "PP",           "P",            "IP",          "LP",           "PP",           "P",            "IP",
Line 1101  roff_node_free(struct roff_node *n)
Line 1104  roff_node_free(struct roff_node *n)
                 free(n->norm);                  free(n->norm);
         eqn_box_free(n->eqn);          eqn_box_free(n->eqn);
         free(n->string);          free(n->string);
           free(n->tag);
         free(n);          free(n);
 }  }
   
Line 1114  roff_node_delete(struct roff_man *man, struct roff_nod
Line 1118  roff_node_delete(struct roff_man *man, struct roff_nod
         roff_node_free(n);          roff_node_free(n);
 }  }
   
   int
   roff_node_transparent(struct roff_node *n)
   {
           if (n == NULL)
                   return 0;
           if (n->type == ROFFT_COMMENT || n->flags & NODE_NOPRT)
                   return 1;
           return roff_tok_transparent(n->tok);
   }
   
   int
   roff_tok_transparent(enum roff_tok tok)
   {
           switch (tok) {
           case ROFF_ft:
           case ROFF_ll:
           case ROFF_mc:
           case ROFF_po:
           case ROFF_ta:
           case MDOC_Db:
           case MDOC_Es:
           case MDOC_Sm:
           case MDOC_Tg:
           case MAN_DT:
           case MAN_UC:
           case MAN_PD:
           case MAN_AT:
                   return 1;
           default:
                   return 0;
           }
   }
   
   struct roff_node *
   roff_node_child(struct roff_node *n)
   {
           for (n = n->child; roff_node_transparent(n); n = n->next)
                   continue;
           return n;
   }
   
   struct roff_node *
   roff_node_prev(struct roff_node *n)
   {
           do {
                   n = n->prev;
           } while (roff_node_transparent(n));
           return n;
   }
   
   struct roff_node *
   roff_node_next(struct roff_node *n)
   {
           do {
                   n = n->next;
           } while (roff_node_transparent(n));
           return n;
   }
   
 void  void
 deroff(char **dest, const struct roff_node *n)  deroff(char **dest, const struct roff_node *n)
 {  {
         char    *cp;          char    *cp;
         size_t   sz;          size_t   sz;
   
         if (n->type != ROFFT_TEXT) {          if (n->string == NULL) {
                 for (n = n->child; n != NULL; n = n->next)                  for (n = n->child; n != NULL; n = n->next)
                         deroff(dest, n);                          deroff(dest, n);
                 return;                  return;
Line 1760  roff_parsetext(struct roff *r, struct buf *buf, int po
Line 1823  roff_parsetext(struct roff *r, struct buf *buf, int po
 }  }
   
 int  int
 roff_parseln(struct roff *r, int ln, struct buf *buf, int *offs)  roff_parseln(struct roff *r, int ln, struct buf *buf, int *offs, size_t len)
 {  {
         enum roff_tok    t;          enum roff_tok    t;
         int              e;          int              e;
Line 1771  roff_parseln(struct roff *r, int ln, struct buf *buf, 
Line 1834  roff_parseln(struct roff *r, int ln, struct buf *buf, 
   
         ppos = pos = *offs;          ppos = pos = *offs;
   
           if (len > 80 && r->tbl == NULL && r->eqn == NULL &&
               (r->man->flags & ROFF_NOFILL) == 0 &&
               strchr(" .\\", buf->buf[pos]) == NULL &&
               buf->buf[pos] != r->control &&
               strcspn(buf->buf, " ") < 80)
                   mandoc_msg(MANDOCERR_TEXT_LONG, ln, (int)len - 1,
                       "%.20s...", buf->buf + pos);
   
         /* Handle in-line equation delimiters. */          /* Handle in-line equation delimiters. */
   
         if (r->tbl == NULL &&          if (r->tbl == NULL &&
Line 1972  roff_parse(struct roff *r, char *buf, int *pos, int ln
Line 2043  roff_parse(struct roff *r, char *buf, int *pos, int ln
   
 /* --- handling of request blocks ----------------------------------------- */  /* --- handling of request blocks ----------------------------------------- */
   
   /*
    * Close a macro definition block or an "ignore" block.
    */
 static int  static int
 roff_cblock(ROFF_ARGS)  roff_cblock(ROFF_ARGS)
 {  {
           int      rr;
   
         /*  
          * A block-close `..' should only be invoked as a child of an  
          * ignore macro, otherwise raise a warning and just ignore it.  
          */  
   
         if (r->last == NULL) {          if (r->last == NULL) {
                 mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, "..");                  mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, "..");
                 return ROFF_IGN;                  return ROFF_IGN;
Line 1988  roff_cblock(ROFF_ARGS)
Line 2058  roff_cblock(ROFF_ARGS)
   
         switch (r->last->tok) {          switch (r->last->tok) {
         case ROFF_am:          case ROFF_am:
                 /* ROFF_am1 is remapped to ROFF_am in roff_block(). */  
         case ROFF_ami:          case ROFF_ami:
         case ROFF_de:          case ROFF_de:
                 /* ROFF_de1 is remapped to ROFF_de in roff_block(). */  
         case ROFF_dei:          case ROFF_dei:
         case ROFF_ig:          case ROFF_ig:
                 break;                  break;
           case ROFF_am1:
           case ROFF_de1:
                   /* Remapped in roff_block(). */
                   abort();
         default:          default:
                 mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, "..");                  mandoc_msg(MANDOCERR_BLK_NOTOPEN, ln, ppos, "..");
                 return ROFF_IGN;                  return ROFF_IGN;
         }          }
   
           roffnode_pop(r);
           roffnode_cleanscope(r);
   
           /*
            * If a conditional block with braces is still open,
            * check for "\}" block end markers.
            */
   
           if (r->last != NULL && r->last->endspan < 0) {
                   rr = 1;  /* If arguments follow "\}", warn about them. */
                   roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr);
           }
   
         if (buf->buf[pos] != '\0')          if (buf->buf[pos] != '\0')
                 mandoc_msg(MANDOCERR_ARG_SKIP, ln, pos,                  mandoc_msg(MANDOCERR_ARG_SKIP, ln, pos,
                     ".. %s", buf->buf + pos);                      ".. %s", buf->buf + pos);
   
         roffnode_pop(r);  
         roffnode_cleanscope(r);  
         return ROFF_IGN;          return ROFF_IGN;
   
 }  }
   
 /*  /*
Line 2020  roffnode_cleanscope(struct roff *r)
Line 2102  roffnode_cleanscope(struct roff *r)
         int inloop;          int inloop;
   
         inloop = 0;          inloop = 0;
         while (r->last != NULL) {          while (r->last != NULL && r->last->endspan > 0) {
                 if (--r->last->endspan != 0)                  if (--r->last->endspan != 0)
                         break;                          break;
                 inloop += roffnode_pop(r);                  inloop += roffnode_pop(r);
Line 2029  roffnode_cleanscope(struct roff *r)
Line 2111  roffnode_cleanscope(struct roff *r)
 }  }
   
 /*  /*
  * Handle the closing \} of a conditional block.   * Handle the closing "\}" of a conditional block.
  * Apart from generating warnings, this only pops nodes.   * Apart from generating warnings, this only pops nodes.
  * Return the number of loops ended.   * Return the number of loops ended.
  */   */
Line 2249  roff_block_text(ROFF_ARGS)
Line 2331  roff_block_text(ROFF_ARGS)
         return ROFF_IGN;          return ROFF_IGN;
 }  }
   
   /*
    * Check for a closing "\}" and handle it.
    * In this function, the final "int *offs" argument is used for
    * different purposes than elsewhere:
    * Input: *offs == 0: caller wants to discard arguments following \}
    *        *offs == 1: caller wants to preserve text following \}
    * Output: *offs = 0: tell caller to discard input line
    *         *offs = 1: tell caller to use input line
    */
 static int  static int
 roff_cond_sub(ROFF_ARGS)  roff_cond_checkend(ROFF_ARGS)
 {  {
         struct roffnode *bl;  
         char            *ep;          char            *ep;
         int              endloop, irc, rr;          int              endloop, irc, rr;
         enum roff_tok    t;  
   
         irc = ROFF_IGN;          irc = ROFF_IGN;
         rr = r->last->rule;          rr = r->last->rule;
Line 2265  roff_cond_sub(ROFF_ARGS)
Line 2354  roff_cond_sub(ROFF_ARGS)
                 irc |= endloop;                  irc |= endloop;
   
         /*          /*
          * If `\}' occurs on a macro line without a preceding macro,           * If "\}" occurs on a macro line without a preceding macro or
          * drop the line completely.           * a text line contains nothing else, drop the line completely.
          */           */
   
         ep = buf->buf + pos;          ep = buf->buf + pos;
         if (ep[0] == '\\' && ep[1] == '}')          if (ep[0] == '\\' && ep[1] == '}' && (ep[2] == '\0' || *offs == 0))
                 rr = 0;                  rr = 0;
   
         /*          /*
          * The closing delimiter `\}' rewinds the conditional scope           * The closing delimiter "\}" rewinds the conditional scope
          * but is otherwise ignored when interpreting the line.           * but is otherwise ignored when interpreting the line.
          */           */
   
         while ((ep = strchr(ep, '\\')) != NULL) {          while ((ep = strchr(ep, '\\')) != NULL) {
                 switch (ep[1]) {                  switch (ep[1]) {
                 case '}':                  case '}':
                         memmove(ep, ep + 2, strlen(ep + 2) + 1);                          if (ep[2] == '\0')
                                   ep[0] = '\0';
                           else if (rr)
                                   ep[1] = '&';
                           else
                                   memmove(ep, ep + 2, strlen(ep + 2) + 1);
                         if (roff_ccond(r, ln, ep - buf->buf))                          if (roff_ccond(r, ln, ep - buf->buf))
                                 irc |= endloop;                                  irc |= endloop;
                         break;                          break;
Line 2293  roff_cond_sub(ROFF_ARGS)
Line 2387  roff_cond_sub(ROFF_ARGS)
                         break;                          break;
                 }                  }
         }          }
           *offs = rr;
           return irc;
   }
   
   /*
    * Parse and process a request or macro line in conditional scope.
    */
   static int
   roff_cond_sub(ROFF_ARGS)
   {
           struct roffnode *bl;
           int              irc, rr;
           enum roff_tok    t;
   
           rr = 0;  /* If arguments follow "\}", skip them. */
           irc = roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr);
           t = roff_parse(r, buf->buf, &pos, ln, ppos);
   
           /* For now, let high level macros abort .ce mode. */
   
           if (roffce_node != NULL &&
               (t == TOKEN_NONE || t == ROFF_Dd || t == ROFF_EQ ||
                t == ROFF_TH || t == ROFF_TS)) {
                   r->man->last = roffce_node;
                   r->man->next = ROFF_NEXT_SIBLING;
                   roffce_lines = 0;
                   roffce_node = NULL;
           }
   
         /*          /*
          * Fully handle known macros when they are structurally           * Fully handle known macros when they are structurally
          * required or when the conditional evaluated to true.           * required or when the conditional evaluated to true.
          */           */
   
         t = roff_parse(r, buf->buf, &pos, ln, ppos);  
         if (t == ROFF_break) {          if (t == ROFF_break) {
                 if (irc & ROFF_LOOPMASK)                  if (irc & ROFF_LOOPMASK)
                         irc = ROFF_IGN | ROFF_LOOPEXIT;                          irc = ROFF_IGN | ROFF_LOOPEXIT;
Line 2318  roff_cond_sub(ROFF_ARGS)
Line 2439  roff_cond_sub(ROFF_ARGS)
         return irc;          return irc;
 }  }
   
   /*
    * Parse and process a text line in conditional scope.
    */
 static int  static int
 roff_cond_text(ROFF_ARGS)  roff_cond_text(ROFF_ARGS)
 {  {
         char            *ep;          int      irc, rr;
         int              endloop, irc, rr;  
   
         irc = ROFF_IGN;          rr = 1;  /* If arguments follow "\}", preserve them. */
         rr = r->last->rule;          irc = roff_cond_checkend(r, tok, buf, ln, ppos, pos, &rr);
         endloop = tok != ROFF_while ? ROFF_IGN :  
             rr ? ROFF_LOOPCONT : ROFF_LOOPEXIT;  
         if (roffnode_cleanscope(r))  
                 irc |= endloop;  
   
         /*  
          * If `\}' occurs on a text line with neither preceding  
          * nor following characters, drop the line completely.  
          */  
   
         ep = buf->buf + pos;  
         if (strcmp(ep, "\\}") == 0)  
                 rr = 0;  
   
         /*  
          * The closing delimiter `\}' rewinds the conditional scope  
          * but is otherwise ignored when interpreting the line.  
          */  
   
         while ((ep = strchr(ep, '\\')) != NULL) {  
                 switch (ep[1]) {  
                 case '}':  
                         memmove(ep, ep + 2, strlen(ep + 2) + 1);  
                         if (roff_ccond(r, ln, ep - buf->buf))  
                                 irc |= endloop;  
                         break;  
                 case '\0':  
                         ++ep;  
                         break;  
                 default:  
                         ep += 2;  
                         break;  
                 }  
         }  
         if (rr)          if (rr)
                 irc |= ROFF_CONT;                  irc |= ROFF_CONT;
         return irc;          return irc;
Line 3578  roff_char(ROFF_ARGS)
Line 3667  roff_char(ROFF_ARGS)
                 case ESCAPE_FONTITALIC:                  case ESCAPE_FONTITALIC:
                 case ESCAPE_FONTBOLD:                  case ESCAPE_FONTBOLD:
                 case ESCAPE_FONTBI:                  case ESCAPE_FONTBI:
                 case ESCAPE_FONTCW:                  case ESCAPE_FONTCR:
                   case ESCAPE_FONTCB:
                   case ESCAPE_FONTCI:
                 case ESCAPE_FONTPREV:                  case ESCAPE_FONTPREV:
                         font++;                          font++;
                         break;                          break;
Line 3858  roff_userdef(ROFF_ARGS)
Line 3949  roff_userdef(ROFF_ARGS)
                 r->mstacksz += 8;                  r->mstacksz += 8;
         }          }
         ctx = r->mstack + r->mstackpos;          ctx = r->mstack + r->mstackpos;
         ctx->argsz = 0;  
         ctx->argc = 0;          ctx->argc = 0;
         ctx->argv = NULL;  
   
         /*          /*
          * Collect pointers to macro argument strings,           * Collect pointers to macro argument strings,
Legend:
Removed from v.1.367  
changed lines
  Added in v.1.379
CVSweb