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

Diff for /mandoc/eqn.c between version 1.51 and 1.52

version 1.51, 2014/10/10 14:27:46 version 1.52, 2014/10/12 19:31:41
Line 656  static int
Line 656  static int
 eqn_parse(struct eqn_node *ep, struct eqn_box *parent)  eqn_parse(struct eqn_node *ep, struct eqn_box *parent)
 {  {
         char            *p;          char            *p;
         enum eqn_tok     tok;          enum eqn_tok     tok, subtok;
         enum eqn_post    pos;          enum eqn_post    pos;
         struct eqn_box  *cur;          struct eqn_box  *cur;
         int              rc, size;          int              rc, size;
Line 665  eqn_parse(struct eqn_node *ep, struct eqn_box *parent)
Line 665  eqn_parse(struct eqn_node *ep, struct eqn_box *parent)
         const char      *start;          const char      *start;
   
         assert(NULL != parent);          assert(NULL != parent);
 again:  
   
         switch ((tok = eqn_tok_parse(ep, &p))) {  next_tok:
           tok = eqn_tok_parse(ep, &p);
   
   this_tok:
           switch (tok) {
         case (EQN_TOK_UNDEF):          case (EQN_TOK_UNDEF):
                 if ((rc = eqn_undef(ep)) <= 0)                  if ((rc = eqn_undef(ep)) <= 0)
                         return(rc);                          return(rc);
Line 686  again:
Line 689  again:
                 break;                  break;
         case (EQN_TOK_DELIM):          case (EQN_TOK_DELIM):
         case (EQN_TOK_GFONT):          case (EQN_TOK_GFONT):
                 if (NULL == eqn_nextrawtok(ep, NULL)) {                  if (eqn_nextrawtok(ep, NULL) == NULL)
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                 }  
                 break;                  break;
         case (EQN_TOK_MARK):          case (EQN_TOK_MARK):
         case (EQN_TOK_LINEUP):          case (EQN_TOK_LINEUP):
Line 703  again:
Line 705  again:
         case (EQN_TOK_HAT):          case (EQN_TOK_HAT):
         case (EQN_TOK_DOT):          case (EQN_TOK_DOT):
         case (EQN_TOK_DOTDOT):          case (EQN_TOK_DOTDOT):
                 if (NULL == parent->last) {                  if (parent->last == NULL) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           cur = eqn_box_alloc(ep, parent);
                           cur->type = EQN_TEXT;
                           cur->text = mandoc_strdup("");
                 }                  }
                 parent = eqn_box_makebinary(ep, EQNPOS_NONE, parent);                  parent = eqn_box_makebinary(ep, EQNPOS_NONE, parent);
                 parent->type = EQN_LISTONE;                  parent->type = EQN_LISTONE;
Line 761  again:
Line 766  again:
         case (EQN_TOK_BACK):          case (EQN_TOK_BACK):
         case (EQN_TOK_DOWN):          case (EQN_TOK_DOWN):
         case (EQN_TOK_UP):          case (EQN_TOK_UP):
                 tok = eqn_tok_parse(ep, NULL);                  subtok = eqn_tok_parse(ep, NULL);
                 if (EQN_TOK__MAX != tok) {                  if (subtok != EQN_TOK__MAX) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           tok = subtok;
                           goto this_tok;
                 }                  }
                 break;                  break;
         case (EQN_TOK_FAT):          case (EQN_TOK_FAT):
Line 772  again:
Line 779  again:
         case (EQN_TOK_ITALIC):          case (EQN_TOK_ITALIC):
         case (EQN_TOK_BOLD):          case (EQN_TOK_BOLD):
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 /*                  /*
                  * These values apply to the next word or sequence of                   * These values apply to the next word or sequence of
                  * words; thus, we mark that we'll have a child with                   * words; thus, we mark that we'll have a child with
Line 805  again:
Line 809  again:
         case (EQN_TOK_GSIZE):          case (EQN_TOK_GSIZE):
                 /* Accept two values: integral size and a single. */                  /* Accept two values: integral size and a single. */
                 if (NULL == (start = eqn_nexttok(ep, &sz))) {                  if (NULL == (start = eqn_nexttok(ep, &sz))) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           break;
                 }                  }
                 size = mandoc_strntoi(start, sz, 10);                  size = mandoc_strntoi(start, sz, 10);
                 if (-1 == size) {                  if (-1 == size) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_IT_NONUM, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           break;
                 }                  }
                 if (EQN_TOK_GSIZE == tok) {                  if (EQN_TOK_GSIZE == tok) {
                         ep->gsize = size;                          ep->gsize = size;
Line 831  again:
Line 837  again:
                  * Repivot under a positional node, open a child scope                   * Repivot under a positional node, open a child scope
                  * and keep on reading.                   * and keep on reading.
                  */                   */
                 if (NULL == parent->last) {                  if (parent->last == NULL) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           cur = eqn_box_alloc(ep, parent);
                           cur->type = EQN_TEXT;
                           cur->text = mandoc_strdup("");
                 }                  }
                 /* Handle the "subsup" and "fromto" positions. */                  /* Handle the "subsup" and "fromto" positions. */
                 if (EQN_TOK_SUP == tok && parent->pos == EQNPOS_SUB) {                  if (EQN_TOK_SUP == tok && parent->pos == EQNPOS_SUB) {
Line 866  again:
Line 875  again:
                 break;                  break;
         case (EQN_TOK_SQRT):          case (EQN_TOK_SQRT):
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 /*                  /*
                  * Accept a left-right-associative set of arguments just                   * Accept a left-right-associative set of arguments just
                  * like sub and sup and friends but without rebalancing                   * like sub and sup and friends but without rebalancing
Line 886  again:
Line 892  again:
                  * Close out anything that's currently open, then                   * Close out anything that's currently open, then
                  * rebalance and continue reading.                   * rebalance and continue reading.
                  */                   */
                 if (NULL == parent->last) {                  if (parent->last == NULL) {
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);                          mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                         return(-1);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           cur = eqn_box_alloc(ep, parent);
                           cur->type = EQN_TEXT;
                           cur->text = mandoc_strdup("");
                 }                  }
                 while (EQN_SUBEXPR == parent->type)                  while (EQN_SUBEXPR == parent->type)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 parent = eqn_box_makebinary(ep, EQNPOS_OVER, parent);                  parent = eqn_box_makebinary(ep, EQNPOS_OVER, parent);
                 break;                  break;
         case (EQN_TOK_RIGHT):          case (EQN_TOK_RIGHT):
Line 904  again:
Line 910  again:
                  * FIXME: this is a shitty sentinel: we should really                   * FIXME: this is a shitty sentinel: we should really
                  * have a native EQN_BRACE type or whatnot.                   * have a native EQN_BRACE type or whatnot.
                  */                   */
                 while (parent->type != EQN_LIST)                  for (cur = parent; cur != NULL; cur = cur->parent)
                         if (NULL == (parent = parent->parent)) {                          if (cur->type == EQN_LIST &&
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);                              (tok == EQN_TOK_BRACE_CLOSE ||
                                 return(-1);                               cur->left != NULL))
                         }                                  break;
                   if (cur == NULL) {
                           mandoc_msg(MANDOCERR_BLK_NOTOPEN, ep->parse,
                               ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           break;
                   }
                   parent = cur;
                 if (EQN_TOK_RIGHT == tok) {                  if (EQN_TOK_RIGHT == tok) {
                         if (NULL == parent->left) {  
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                         if (NULL == (start = eqn_nexttok(ep, &sz))) {                          if (NULL == (start = eqn_nexttok(ep, &sz))) {
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);                                  mandoc_msg(MANDOCERR_REQ_EMPTY,
                                 return(-1);                                      ep->parse, ep->eqn.ln,
                                       ep->eqn.pos, eqn_toks[tok]);
                                   break;
                         }                          }
                         /* Handling depends on right/left. */                          /* Handling depends on right/left. */
                         if (STRNEQ(start, sz, "ceiling", 7)) {                          if (STRNEQ(start, sz, "ceiling", 7)) {
Line 928  again:
Line 938  again:
                         } else                          } else
                                 parent->right = mandoc_strndup(start, sz);                                  parent->right = mandoc_strndup(start, sz);
                 }                  }
                 if (NULL == (parent = parent->parent)) {                  parent = parent->parent;
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                         return(-1);  
                 }  
                 if (EQN_TOK_BRACE_CLOSE == tok && parent &&                  if (EQN_TOK_BRACE_CLOSE == tok && parent &&
                     (parent->type == EQN_PILE ||                      (parent->type == EQN_PILE ||
                      parent->type == EQN_MATRIX))                       parent->type == EQN_MATRIX))
Line 939  again:
Line 946  again:
                 /* Close out any "singleton" lists. */                  /* Close out any "singleton" lists. */
                 while (parent->type == EQN_LISTONE &&                  while (parent->type == EQN_LISTONE &&
                     parent->args == parent->expectargs)                      parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 break;                  break;
         case (EQN_TOK_BRACE_OPEN):          case (EQN_TOK_BRACE_OPEN):
         case (EQN_TOK_LEFT):          case (EQN_TOK_LEFT):
Line 952  again:
Line 956  again:
                  * (just like with the text node).                   * (just like with the text node).
                  */                   */
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);                  if (EQN_TOK_LEFT == tok &&
                                 return(-1);                      (start = eqn_nexttok(ep, &sz)) == NULL) {
                         }                          mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                               ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           break;
                   }
                 parent = eqn_box_alloc(ep, parent);                  parent = eqn_box_alloc(ep, parent);
                 parent->type = EQN_LIST;                  parent->type = EQN_LIST;
                 if (EQN_TOK_LEFT == tok) {                  if (EQN_TOK_LEFT == tok) {
                         if (NULL == (start = eqn_nexttok(ep, &sz))) {  
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                         /* Handling depends on right/left. */  
                         if (STRNEQ(start, sz, "ceiling", 7)) {                          if (STRNEQ(start, sz, "ceiling", 7)) {
                                 strlcpy(sym, "\\[lc]", sizeof(sym));                                  strlcpy(sym, "\\[lc]", sizeof(sym));
                                 parent->left = mandoc_strdup(sym);                                  parent->left = mandoc_strdup(sym);
Line 982  again:
Line 984  again:
         case (EQN_TOK_LCOL):          case (EQN_TOK_LCOL):
         case (EQN_TOK_RCOL):          case (EQN_TOK_RCOL):
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 if (EQN_TOK_BRACE_OPEN != eqn_tok_parse(ep, NULL)) {  
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                         return(-1);  
                 }  
                 parent = eqn_box_alloc(ep, parent);                  parent = eqn_box_alloc(ep, parent);
                 parent->type = EQN_PILE;                  parent->type = EQN_PILE;
                 parent = eqn_box_alloc(ep, parent);                  parent->expectargs = 1;
                 parent->type = EQN_LIST;  
                 break;                  break;
         case (EQN_TOK_ABOVE):          case (EQN_TOK_ABOVE):
                 while (parent->type != EQN_PILE)                  for (cur = parent; cur != NULL; cur = cur->parent)
                         if (NULL == (parent = parent->parent)) {                          if (cur->type == EQN_PILE)
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);                                  break;
                                 return(-1);                  if (cur == NULL) {
                         }                          mandoc_msg(MANDOCERR_IT_STRAY, ep->parse,
                 parent = eqn_box_alloc(ep, parent);                              ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                           break;
                   }
                   parent = eqn_box_alloc(ep, cur);
                 parent->type = EQN_LIST;                  parent->type = EQN_LIST;
                 break;                  break;
         case (EQN_TOK_MATRIX):          case (EQN_TOK_MATRIX):
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 if (EQN_TOK_BRACE_OPEN != eqn_tok_parse(ep, NULL)) {  
                         EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                         return(-1);  
                 }  
                 parent = eqn_box_alloc(ep, parent);                  parent = eqn_box_alloc(ep, parent);
                 parent->type = EQN_MATRIX;                  parent->type = EQN_MATRIX;
                 parent = eqn_box_alloc(ep, parent);                  parent->expectargs = 1;
                 parent->type = EQN_LIST;  
                 break;                  break;
         case (EQN_TOK_EOF):          case (EQN_TOK_EOF):
                 /*                  /*
Line 1033  again:
Line 1022  again:
                  * in an expression, then rewind til we're not any more.                   * in an expression, then rewind til we're not any more.
                  */                   */
                 while (parent->args == parent->expectargs)                  while (parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 free(p);  
                                 return(-1);  
                         }  
                 cur = eqn_box_alloc(ep, parent);                  cur = eqn_box_alloc(ep, parent);
                 cur->type = EQN_TEXT;                  cur->type = EQN_TEXT;
                 for (i = 0; i < EQNSYM__MAX; i++)                  for (i = 0; i < EQNSYM__MAX; i++)
Line 1055  again:
Line 1040  again:
                  * Post-process list status.                   * Post-process list status.
                  */                   */
                 while (parent->type == EQN_LISTONE &&                  while (parent->type == EQN_LISTONE &&
                         parent->args == parent->expectargs)                      parent->args == parent->expectargs)
                         if (NULL == (parent = parent->parent)) {                          parent = parent->parent;
                                 EQN_MSG(MANDOCERR_EQNSYNT, ep);  
                                 return(-1);  
                         }  
                 break;                  break;
         }          }
         goto again;          goto next_tok;
 }  }
   
 enum rofferr  enum rofferr
Legend:
Removed from v.1.51  
changed lines
  Added in v.1.52
CVSweb