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

Diff for /mandoc/mdoc_macro.c between version 1.159 and 1.166

version 1.159, 2014/12/18 20:58:32 version 1.166, 2015/02/02 04:26:44
Line 1 
Line 1 
 /*      $Id$ */  /*      $Id$ */
 /*  /*
  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>   * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2010, 2012, 2013, 2014 Ingo Schwarze <schwarze@openbsd.org>   * Copyright (c) 2010, 2012-2015 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 65  static enum rew rew_dohalt(enum mdoct, enum mdoc_type,
Line 65  static enum rew rew_dohalt(enum mdoct, enum mdoc_type,
                                 const struct mdoc_node *);                                  const struct mdoc_node *);
 static  void            rew_elem(struct mdoc *, enum mdoct);  static  void            rew_elem(struct mdoc *, enum mdoct);
 static  void            rew_last(struct mdoc *, const struct mdoc_node *);  static  void            rew_last(struct mdoc *, const struct mdoc_node *);
   static  void            rew_pending(struct mdoc *, const struct mdoc_node *);
 static  void            rew_sub(enum mdoc_type, struct mdoc *,  static  void            rew_sub(enum mdoc_type, struct mdoc *,
                                 enum mdoct, int, int);                                  enum mdoct, int, int);
   
Line 263  lookup(struct mdoc *mdoc, enum mdoct from, int line, i
Line 264  lookup(struct mdoc *mdoc, enum mdoct from, int line, i
         return(MDOC_MAX);          return(MDOC_MAX);
 }  }
   
   /*
    * Rewind up to and including a specific node.
    */
 static void  static void
 rew_last(struct mdoc *mdoc, const struct mdoc_node *to)  rew_last(struct mdoc *mdoc, const struct mdoc_node *to)
 {  {
Line 271  rew_last(struct mdoc *mdoc, const struct mdoc_node *to
Line 275  rew_last(struct mdoc *mdoc, const struct mdoc_node *to
         assert(to);          assert(to);
         mdoc->next = MDOC_NEXT_SIBLING;          mdoc->next = MDOC_NEXT_SIBLING;
         while (mdoc->last != to) {          while (mdoc->last != to) {
                   if ( ! (mdoc->last->flags & MDOC_VALID))
                           mdoc->last->lastline = to->lastline -
                               (mdoc->flags & MDOC_NEWLINE ? 1 : 0);
                 /*                  /*
                  * Save the parent here, because we may delete the                   * Save the parent here, because we may delete the
                  * mdoc->last node in the post-validation phase and reset                   * mdoc->last node in the post-validation phase and reset
Line 288  rew_last(struct mdoc *mdoc, const struct mdoc_node *to
Line 295  rew_last(struct mdoc *mdoc, const struct mdoc_node *to
 }  }
   
 /*  /*
    * Rewind up to a specific block, including all blocks that broke it.
    */
   static void
   rew_pending(struct mdoc *mdoc, const struct mdoc_node *n)
   {
   
           rew_last(mdoc, n);
   
           if (n->type != MDOC_BLOCK)
                   return;
   
           while ((n = n->pending) != NULL) {
                   rew_last(mdoc, n);
                   if (n->type == MDOC_HEAD)
                           mdoc_body_alloc(mdoc, n->line, n->pos, n->tok);
           }
   }
   
   /*
  * For a block closing macro, return the corresponding opening one.   * For a block closing macro, return the corresponding opening one.
  * Otherwise, return the macro itself.   * Otherwise, return the macro itself.
  */   */
Line 363  rew_dohalt(enum mdoct tok, enum mdoc_type type,
Line 389  rew_dohalt(enum mdoct tok, enum mdoc_type type,
          * When starting to rewind, skip plain text           * When starting to rewind, skip plain text
          * and nodes that have already been rewound.           * and nodes that have already been rewound.
          */           */
         if (MDOC_TEXT == p->type || MDOC_VALID & p->flags)          if (p->type == MDOC_TEXT || p->flags & (MDOC_VALID | MDOC_BREAK))
                 return(REWIND_MORE);                  return(REWIND_MORE);
   
         /*          /*
Line 533  make_pending(struct mdoc_node *broken, enum mdoct tok,
Line 559  make_pending(struct mdoc_node *broken, enum mdoct tok,
                  */                   */
                 broken->pending = breaker;                  broken->pending = breaker;
                 breaker->flags |= MDOC_BREAK;                  breaker->flags |= MDOC_BREAK;
                   if (breaker->body != NULL)
                           breaker->body->flags |= MDOC_BREAK;
                 mandoc_vmsg(MANDOCERR_BLK_NEST, mdoc->parse, line, ppos,                  mandoc_vmsg(MANDOCERR_BLK_NEST, mdoc->parse, line, ppos,
                     "%s breaks %s", mdoc_macronames[tok],                      "%s breaks %s", mdoc_macronames[tok],
                     mdoc_macronames[broken->tok]);                      mdoc_macronames[broken->tok]);
Line 550  static void
Line 578  static void
 rew_sub(enum mdoc_type t, struct mdoc *mdoc,  rew_sub(enum mdoc_type t, struct mdoc *mdoc,
                 enum mdoct tok, int line, int ppos)                  enum mdoct tok, int line, int ppos)
 {  {
         struct mdoc_node *n;          struct mdoc_node *n, *to;
   
           to = NULL;
         n = mdoc->last;          n = mdoc->last;
         while (n) {          while (n) {
                 switch (rew_dohalt(tok, t, n)) {                  switch (rew_dohalt(tok, t, n)) {
                 case REWIND_NONE:                  case REWIND_NONE:
                         return;                          if (to == NULL)
                                   return;
                           n = to;
                           break;
                 case REWIND_THIS:                  case REWIND_THIS:
                         n->lastline = line -                          n->lastline = line -
                             (mdoc->flags & MDOC_NEWLINE &&                              (mdoc->flags & MDOC_NEWLINE &&
Line 571  rew_sub(enum mdoc_type t, struct mdoc *mdoc,
Line 603  rew_sub(enum mdoc_type t, struct mdoc *mdoc,
                 case REWIND_MORE:                  case REWIND_MORE:
                         n->lastline = line -                          n->lastline = line -
                             (mdoc->flags & MDOC_NEWLINE ? 1 : 0);                              (mdoc->flags & MDOC_NEWLINE ? 1 : 0);
                           to = n;
                         n = n->parent;                          n = n->parent;
                         continue;                          continue;
                 case REWIND_LATER:                  case REWIND_LATER:
Line 587  rew_sub(enum mdoc_type t, struct mdoc *mdoc,
Line 620  rew_sub(enum mdoc_type t, struct mdoc *mdoc,
                 break;                  break;
         }          }
         assert(n);          assert(n);
         rew_last(mdoc, n);          rew_pending(mdoc, n);
   
         /*  
          * The current block extends an enclosing block.  
          * Now that the current block ends, close the enclosing block, too.  
          */  
         while ((n = n->pending) != NULL) {  
                 rew_last(mdoc, n);  
                 if (n->type == MDOC_HEAD)  
                         mdoc_body_alloc(mdoc, n->line, n->pos, n->tok);  
         }  
 }  }
   
 /*  /*
Line 711  blk_exp_close(MACRO_PROT_ARGS)
Line 734  blk_exp_close(MACRO_PROT_ARGS)
         struct mdoc_node *body;         /* Our own body. */          struct mdoc_node *body;         /* Our own body. */
         struct mdoc_node *endbody;      /* Our own end marker. */          struct mdoc_node *endbody;      /* Our own end marker. */
         struct mdoc_node *later;        /* A sub-block starting later. */          struct mdoc_node *later;        /* A sub-block starting later. */
         struct mdoc_node *n;            /* For searching backwards. */          struct mdoc_node *n;            /* Search back to our block. */
   
         int              j, lastarg, maxargs, flushed, nl;          int              have_it, j, lastarg, maxargs, nl;
         enum margserr    ac;          enum margserr    ac;
         enum mdoct       atok, ntok;          enum mdoct       atok, ntok;
         char            *p;          char            *p;
Line 737  blk_exp_close(MACRO_PROT_ARGS)
Line 760  blk_exp_close(MACRO_PROT_ARGS)
          * both of our own and of pending sub-blocks.           * both of our own and of pending sub-blocks.
          */           */
   
           have_it = 0;
         atok = rew_alt(tok);          atok = rew_alt(tok);
         body = endbody = later = NULL;          body = endbody = later = NULL;
         for (n = mdoc->last; n; n = n->parent) {          for (n = mdoc->last; n; n = n->parent) {
                 if (n->flags & MDOC_VALID)                  if (n->flags & (MDOC_VALID | MDOC_BREAK))
                         continue;                          continue;
   
                 /* Remember the start of our own body. */                  /* Remember the start of our own body. */
   
                 if (n->type == MDOC_BODY && atok == n->tok) {                  if (n->type == MDOC_BODY && atok == n->tok) {
                         if (n->end == ENDBODY_NOT)                          if (n->end == ENDBODY_NOT) {
                                 body = n;                                  body = n;
                                   n->lastline = line;
                           }
                         continue;                          continue;
                 }                  }
   
                 if (n->type != MDOC_BLOCK || n->tok == MDOC_Nm)                  if (n->type != MDOC_BLOCK || n->tok == MDOC_Nm)
                         continue;                          continue;
   
                   if (n->tok == MDOC_It) {
                           have_it = 1;
                           continue;
                   }
   
                 if (atok == n->tok) {                  if (atok == n->tok) {
                           n->lastline = line;
                         assert(body);                          assert(body);
   
                         /*                          /*
Line 762  blk_exp_close(MACRO_PROT_ARGS)
Line 795  blk_exp_close(MACRO_PROT_ARGS)
                          * just proceed to closing out.                           * just proceed to closing out.
                          */                           */
   
                         if (later == NULL)                          if (later == NULL ||
                               (tok == MDOC_El && !have_it))
                                 break;                                  break;
   
                         /*                          /*
Line 778  blk_exp_close(MACRO_PROT_ARGS)
Line 812  blk_exp_close(MACRO_PROT_ARGS)
                          * the scope - of the current block ends.                           * the scope - of the current block ends.
                          */                           */
   
                         mdoc_endbody_alloc(mdoc, line, ppos,                          endbody = mdoc_endbody_alloc(mdoc, line, ppos,
                             atok, body, ENDBODY_SPACE);                              atok, body, ENDBODY_SPACE);
   
                         /*                          /*
                          * If a block closing macro taking arguments                           * If a block closing macro taking arguments
                          * breaks another block, put the arguments                           * breaks another block, put the arguments
                          * into the end marker and remeber the                           * into the end marker.
                          * end marker in order to close it out.  
                          */                           */
   
                         if (maxargs) {                          if (maxargs)
                                 endbody = mdoc->last;  
                                 mdoc->next = MDOC_NEXT_CHILD;                                  mdoc->next = MDOC_NEXT_CHILD;
                         }  
                         break;                          break;
                 }                  }
   
Line 801  blk_exp_close(MACRO_PROT_ARGS)
Line 832  blk_exp_close(MACRO_PROT_ARGS)
                  * implicit ones, the first open implicit block.                   * implicit ones, the first open implicit block.
                  */                   */
   
                 if (later &&                  if (later == NULL ||
                     mdoc_macros[later->tok].flags & MDOC_EXPLICIT)                      ! (mdoc_macros[later->tok].flags & MDOC_EXPLICIT))
                         continue;  
                 if (n->tok != MDOC_It)  
                         later = n;                          later = n;
         }          }
         rew_sub(MDOC_BODY, mdoc, tok, line, ppos);  
   
           if (body == NULL) {
                   mandoc_msg(MANDOCERR_BLK_NOTOPEN, mdoc->parse,
                       line, ppos, mdoc_macronames[tok]);
                   if (maxargs && endbody == NULL) {
                           /*
                            * Stray .Ec without previous .Eo:
                            * Break the output line, keep the arguments.
                            */
                           mdoc_elem_alloc(mdoc, line, ppos, MDOC_br, NULL);
                           rew_elem(mdoc, MDOC_br);
                   }
           } else if (endbody == NULL) {
                   rew_last(mdoc, body);
                   if (maxargs)
                           mdoc_tail_alloc(mdoc, line, ppos, atok);
           }
   
         if ( ! (mdoc_macros[tok].flags & MDOC_PARSED)) {          if ( ! (mdoc_macros[tok].flags & MDOC_PARSED)) {
                 if (buf[*pos] != '\0')                  if (buf[*pos] != '\0')
                         mandoc_vmsg(MANDOCERR_ARG_SKIP,                          mandoc_vmsg(MANDOCERR_ARG_SKIP,
Line 819  blk_exp_close(MACRO_PROT_ARGS)
Line 864  blk_exp_close(MACRO_PROT_ARGS)
                 return;                  return;
         }          }
   
         if (maxargs && endbody == NULL) {          if (endbody != NULL)
                 if (n == NULL) {                  n = endbody;
                         /*  
                          * Stray .Ec without previous .Eo:  
                          * Break the output line, ignore any arguments.  
                          */  
                         mdoc_elem_alloc(mdoc, line, ppos, MDOC_br, NULL);  
                         rew_elem(mdoc, MDOC_br);  
                 } else  
                         mdoc_tail_alloc(mdoc, line, ppos, atok);  
         }  
   
         flushed = n == NULL;  
         for (j = 0; ; j++) {          for (j = 0; ; j++) {
                 lastarg = *pos;                  lastarg = *pos;
   
                 if (j == maxargs && ! flushed) {                  if (j == maxargs && n != NULL) {
                         if (endbody == NULL)                          rew_pending(mdoc, n);
                                 rew_sub(MDOC_BLOCK, mdoc, tok, line, ppos);                          n = NULL;
                         else  
                                 rew_last(mdoc, endbody);  
                         flushed = 1;  
                 }                  }
   
                 ac = mdoc_args(mdoc, line, pos, buf, tok, &p);                  ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
Line 856  blk_exp_close(MACRO_PROT_ARGS)
Line 887  blk_exp_close(MACRO_PROT_ARGS)
                         continue;                          continue;
                 }                  }
   
                 if ( ! flushed) {                  if (n != NULL) {
                         if (endbody == NULL)                          rew_pending(mdoc, n);
                                 rew_sub(MDOC_BLOCK, mdoc, tok, line, ppos);                          n = NULL;
                         else  
                                 rew_last(mdoc, endbody);  
                         flushed = 1;  
                 }                  }
                 mdoc->flags &= ~MDOC_NEWLINE;                  mdoc->flags &= ~MDOC_NEWLINE;
                 mdoc_macro(mdoc, ntok, line, lastarg, pos, buf);                  mdoc_macro(mdoc, ntok, line, lastarg, pos, buf);
                 break;                  break;
         }          }
   
         if ( ! flushed) {          if (n != NULL)
                 if (endbody == NULL)                  rew_pending(mdoc, n);
                         rew_sub(MDOC_BLOCK, mdoc, tok, line, ppos);  
                 else  
                         rew_last(mdoc, endbody);  
         }  
         if (nl)          if (nl)
                 append_delims(mdoc, line, pos, buf);                  append_delims(mdoc, line, pos, buf);
 }  }
Line 1066  blk_full(MACRO_PROT_ARGS)
Line 1090  blk_full(MACRO_PROT_ARGS)
 {  {
         int               la, nl, parsed;          int               la, nl, parsed;
         struct mdoc_arg  *arg;          struct mdoc_arg  *arg;
         struct mdoc_node *head; /* save of head macro */          struct mdoc_node *blk; /* Our own block. */
         struct mdoc_node *body; /* save of body macro */          struct mdoc_node *head; /* Our own head. */
           struct mdoc_node *body; /* Our own body. */
         struct mdoc_node *n;          struct mdoc_node *n;
         enum margserr     ac, lac;          enum margserr     ac, lac;
         char             *p;          char             *p;
Line 1107  blk_full(MACRO_PROT_ARGS)
Line 1132  blk_full(MACRO_PROT_ARGS)
          */           */
   
         mdoc_argv(mdoc, line, tok, &arg, pos, buf);          mdoc_argv(mdoc, line, tok, &arg, pos, buf);
         mdoc_block_alloc(mdoc, line, ppos, tok, arg);          blk = mdoc_block_alloc(mdoc, line, ppos, tok, arg);
         head = body = NULL;          head = body = NULL;
   
         /*          /*
Line 1126  blk_full(MACRO_PROT_ARGS)
Line 1151  blk_full(MACRO_PROT_ARGS)
   
         if (tok == MDOC_Nd) {          if (tok == MDOC_Nd) {
                 head = mdoc_head_alloc(mdoc, line, ppos, tok);                  head = mdoc_head_alloc(mdoc, line, ppos, tok);
                 rew_sub(MDOC_HEAD, mdoc, tok, line, ppos);                  rew_last(mdoc, head);
                 body = mdoc_body_alloc(mdoc, line, ppos, tok);                  body = mdoc_body_alloc(mdoc, line, ppos, tok);
         }          }
   
Line 1207  blk_full(MACRO_PROT_ARGS)
Line 1232  blk_full(MACRO_PROT_ARGS)
                         break;                          break;
         }          }
   
           if (blk->flags & MDOC_VALID)
                   return;
         if (head == NULL)          if (head == NULL)
                 head = mdoc_head_alloc(mdoc, line, ppos, tok);                  head = mdoc_head_alloc(mdoc, line, ppos, tok);
         if (nl)          if (nl)
Line 1263  blk_part_imp(MACRO_PROT_ARGS)
Line 1290  blk_part_imp(MACRO_PROT_ARGS)
          */           */
   
         blk = mdoc_block_alloc(mdoc, line, ppos, tok, NULL);          blk = mdoc_block_alloc(mdoc, line, ppos, tok, NULL);
         mdoc_head_alloc(mdoc, line, ppos, tok);          rew_last(mdoc, mdoc_head_alloc(mdoc, line, ppos, tok));
         rew_sub(MDOC_HEAD, mdoc, tok, line, ppos);  
   
         /*          /*
          * Open the body scope "on-demand", that is, after we've           * Open the body scope "on-demand", that is, after we've
Line 1311  blk_part_imp(MACRO_PROT_ARGS)
Line 1337  blk_part_imp(MACRO_PROT_ARGS)
                 }                  }
         }          }
         assert(n == body);          assert(n == body);
         rew_sub(MDOC_BODY, mdoc, tok, line, ppos);          rew_last(mdoc, body);
         if (nl)          if (nl)
                 append_delims(mdoc, line, pos, buf);                  append_delims(mdoc, line, pos, buf);
         rew_sub(MDOC_BLOCK, mdoc, tok, line, ppos);          rew_pending(mdoc, blk);
   
         /* Move trailing .Ns out of scope. */          /* Move trailing .Ns out of scope. */
   
Line 1330  blk_part_exp(MACRO_PROT_ARGS)
Line 1356  blk_part_exp(MACRO_PROT_ARGS)
         int               la, nl;          int               la, nl;
         enum margserr     ac;          enum margserr     ac;
         struct mdoc_node *head; /* keep track of head */          struct mdoc_node *head; /* keep track of head */
         struct mdoc_node *body; /* keep track of body */  
         char             *p;          char             *p;
   
         nl = MDOC_NEWLINE & mdoc->flags;          nl = MDOC_NEWLINE & mdoc->flags;
Line 1342  blk_part_exp(MACRO_PROT_ARGS)
Line 1367  blk_part_exp(MACRO_PROT_ARGS)
          */           */
   
         mdoc_block_alloc(mdoc, line, ppos, tok, NULL);          mdoc_block_alloc(mdoc, line, ppos, tok, NULL);
         for (head = body = NULL; ; ) {          head = NULL;
           for (;;) {
                 la = *pos;                  la = *pos;
                 ac = mdoc_args(mdoc, line, pos, buf, tok, &p);                  ac = mdoc_args(mdoc, line, pos, buf, tok, &p);
                 if (ac == ARGS_PUNCT || ac == ARGS_EOLN)                  if (ac == ARGS_PUNCT || ac == ARGS_EOLN)
Line 1352  blk_part_exp(MACRO_PROT_ARGS)
Line 1378  blk_part_exp(MACRO_PROT_ARGS)
   
                 if (head == NULL && ac != ARGS_QWORD &&                  if (head == NULL && ac != ARGS_QWORD &&
                     mdoc_isdelim(p) == DELIM_OPEN) {                      mdoc_isdelim(p) == DELIM_OPEN) {
                         assert(NULL == body);  
                         dword(mdoc, line, la, p, DELIM_OPEN, 0);                          dword(mdoc, line, la, p, DELIM_OPEN, 0);
                         continue;                          continue;
                 }                  }
   
                 if (head == NULL) {                  if (head == NULL) {
                         assert(body == NULL);  
                         head = mdoc_head_alloc(mdoc, line, ppos, tok);                          head = mdoc_head_alloc(mdoc, line, ppos, tok);
                 }                          if (tok == MDOC_Eo)  /* Not parsed. */
   
                 /*  
                  * `Eo' gobbles any data into the head, but most other  
                  * macros just immediately close out and begin the body.  
                  */  
   
                 if (body == NULL) {  
                         assert(head);  
                         /* No check whether it's a macro! */  
                         if (tok == MDOC_Eo)  
                                 dword(mdoc, line, la, p, DELIM_MAX, 0);                                  dword(mdoc, line, la, p, DELIM_MAX, 0);
                         rew_sub(MDOC_HEAD, mdoc, tok, line, ppos);                          rew_last(mdoc, head);
                         body = mdoc_body_alloc(mdoc, line, ppos, tok);                          mdoc_body_alloc(mdoc, line, ppos, tok);
                         if (tok == MDOC_Eo)                          if (tok == MDOC_Eo)
                                 continue;                                  continue;
                 }                  }
                 assert(head != NULL && body != NULL);  
   
                 if (macro_or_word(mdoc, tok, line, la, pos, buf, 1))                  if (macro_or_word(mdoc, tok, line, la, pos, buf, 1))
                         break;                          break;
Line 1385  blk_part_exp(MACRO_PROT_ARGS)
Line 1398  blk_part_exp(MACRO_PROT_ARGS)
   
         /* Clean-up to leave in a consistent state. */          /* Clean-up to leave in a consistent state. */
   
         if (head == NULL)          if (head == NULL) {
                 mdoc_head_alloc(mdoc, line, ppos, tok);                  rew_last(mdoc, mdoc_head_alloc(mdoc, line, ppos, tok));
   
         if (body == NULL) {  
                 rew_sub(MDOC_HEAD, mdoc, tok, line, ppos);  
                 mdoc_body_alloc(mdoc, line, ppos, tok);                  mdoc_body_alloc(mdoc, line, ppos, tok);
         }          }
         if (nl)          if (nl)
Legend:
Removed from v.1.159  
changed lines
  Added in v.1.166
CVSweb