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

Annotation of mandoc/eqn.c, Revision 1.54

1.54    ! schwarze    1: /*     $Id: eqn.c,v 1.53 2014/10/12 20:08:58 schwarze Exp $ */
1.1       kristaps    2: /*
1.51      schwarze    3:  * Copyright (c) 2011, 2014 Kristaps Dzonsons <kristaps@bsd.lv>
1.53      schwarze    4:  * Copyright (c) 2014 Ingo Schwarze <schwarze@openbsd.org>
1.1       kristaps    5:  *
                      6:  * Permission to use, copy, modify, and distribute this software for any
                      7:  * purpose with or without fee is hereby granted, provided that the above
                      8:  * copyright notice and this permission notice appear in all copies.
                      9:  *
                     10:  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
                     11:  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
                     12:  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
                     13:  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
                     14:  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
                     15:  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
                     16:  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
                     17:  */
                     18: #include "config.h"
1.45      schwarze   19:
                     20: #include <sys/types.h>
1.1       kristaps   21:
                     22: #include <assert.h>
1.19      kristaps   23: #include <limits.h>
1.1       kristaps   24: #include <stdio.h>
                     25: #include <stdlib.h>
                     26: #include <string.h>
                     27: #include <time.h>
                     28:
                     29: #include "mandoc.h"
1.39      schwarze   30: #include "mandoc_aux.h"
1.1       kristaps   31: #include "libmandoc.h"
                     32: #include "libroff.h"
                     33:
1.48      kristaps   34: #define        EQN_MSG(t, x) \
                     35:        mandoc_msg((t), (x)->parse, (x)->eqn.ln, (x)->eqn.pos, NULL)
1.11      kristaps   36: #define        EQN_NEST_MAX     128 /* maximum nesting of defines */
1.48      kristaps   37: #define        STRNEQ(p1, sz1, p2, sz2) \
                     38:        ((sz1) == (sz2) && 0 == strncmp((p1), (p2), (sz1)))
                     39: #define        EQNSTREQ(x, p, sz) \
                     40:        STRNEQ((x)->name, (x)->sz, (p), (sz))
1.8       kristaps   41:
1.48      kristaps   42: enum   eqn_tok {
                     43:        EQN_TOK_DYAD = 0,
                     44:        EQN_TOK_VEC,
                     45:        EQN_TOK_UNDER,
                     46:        EQN_TOK_BAR,
                     47:        EQN_TOK_TILDE,
                     48:        EQN_TOK_HAT,
                     49:        EQN_TOK_DOT,
                     50:        EQN_TOK_DOTDOT,
                     51:        EQN_TOK_FWD,
                     52:        EQN_TOK_BACK,
                     53:        EQN_TOK_DOWN,
                     54:        EQN_TOK_UP,
                     55:        EQN_TOK_FAT,
                     56:        EQN_TOK_ROMAN,
                     57:        EQN_TOK_ITALIC,
                     58:        EQN_TOK_BOLD,
                     59:        EQN_TOK_SIZE,
                     60:        EQN_TOK_SUB,
                     61:        EQN_TOK_SUP,
                     62:        EQN_TOK_SQRT,
                     63:        EQN_TOK_OVER,
                     64:        EQN_TOK_FROM,
                     65:        EQN_TOK_TO,
                     66:        EQN_TOK_BRACE_OPEN,
                     67:        EQN_TOK_BRACE_CLOSE,
                     68:        EQN_TOK_GSIZE,
                     69:        EQN_TOK_GFONT,
                     70:        EQN_TOK_MARK,
                     71:        EQN_TOK_LINEUP,
                     72:        EQN_TOK_LEFT,
                     73:        EQN_TOK_RIGHT,
                     74:        EQN_TOK_PILE,
                     75:        EQN_TOK_LPILE,
                     76:        EQN_TOK_RPILE,
                     77:        EQN_TOK_CPILE,
                     78:        EQN_TOK_MATRIX,
                     79:        EQN_TOK_CCOL,
                     80:        EQN_TOK_LCOL,
                     81:        EQN_TOK_RCOL,
                     82:        EQN_TOK_DELIM,
                     83:        EQN_TOK_DEFINE,
                     84:        EQN_TOK_TDEFINE,
                     85:        EQN_TOK_NDEFINE,
                     86:        EQN_TOK_UNDEF,
                     87:        EQN_TOK_EOF,
                     88:        EQN_TOK_ABOVE,
                     89:        EQN_TOK__MAX
                     90: };
                     91:
                     92: static const char *eqn_toks[EQN_TOK__MAX] = {
                     93:        "dyad", /* EQN_TOK_DYAD */
                     94:        "vec", /* EQN_TOK_VEC */
                     95:        "under", /* EQN_TOK_UNDER */
                     96:        "bar", /* EQN_TOK_BAR */
                     97:        "tilde", /* EQN_TOK_TILDE */
                     98:        "hat", /* EQN_TOK_HAT */
                     99:        "dot", /* EQN_TOK_DOT */
                    100:        "dotdot", /* EQN_TOK_DOTDOT */
                    101:        "fwd", /* EQN_TOK_FWD * */
                    102:        "back", /* EQN_TOK_BACK */
                    103:        "down", /* EQN_TOK_DOWN */
                    104:        "up", /* EQN_TOK_UP */
                    105:        "fat", /* EQN_TOK_FAT */
                    106:        "roman", /* EQN_TOK_ROMAN */
                    107:        "italic", /* EQN_TOK_ITALIC */
                    108:        "bold", /* EQN_TOK_BOLD */
                    109:        "size", /* EQN_TOK_SIZE */
                    110:        "sub", /* EQN_TOK_SUB */
                    111:        "sup", /* EQN_TOK_SUP */
                    112:        "sqrt", /* EQN_TOK_SQRT */
                    113:        "over", /* EQN_TOK_OVER */
                    114:        "from", /* EQN_TOK_FROM */
                    115:        "to", /* EQN_TOK_TO */
                    116:        "{", /* EQN_TOK_BRACE_OPEN */
                    117:        "}", /* EQN_TOK_BRACE_CLOSE */
                    118:        "gsize", /* EQN_TOK_GSIZE */
                    119:        "gfont", /* EQN_TOK_GFONT */
                    120:        "mark", /* EQN_TOK_MARK */
                    121:        "lineup", /* EQN_TOK_LINEUP */
                    122:        "left", /* EQN_TOK_LEFT */
                    123:        "right", /* EQN_TOK_RIGHT */
                    124:        "pile", /* EQN_TOK_PILE */
                    125:        "lpile", /* EQN_TOK_LPILE */
                    126:        "rpile", /* EQN_TOK_RPILE */
                    127:        "cpile", /* EQN_TOK_CPILE */
                    128:        "matrix", /* EQN_TOK_MATRIX */
                    129:        "ccol", /* EQN_TOK_CCOL */
                    130:        "lcol", /* EQN_TOK_LCOL */
                    131:        "rcol", /* EQN_TOK_RCOL */
                    132:        "delim", /* EQN_TOK_DELIM */
                    133:        "define", /* EQN_TOK_DEFINE */
                    134:        "tdefine", /* EQN_TOK_TDEFINE */
                    135:        "ndefine", /* EQN_TOK_NDEFINE */
                    136:        "undef", /* EQN_TOK_UNDEF */
                    137:        NULL, /* EQN_TOK_EOF */
                    138:        "above", /* EQN_TOK_ABOVE */
1.20      kristaps  139: };
                    140:
1.27      kristaps  141: enum   eqn_symt {
                    142:        EQNSYM_alpha,
                    143:        EQNSYM_beta,
                    144:        EQNSYM_chi,
                    145:        EQNSYM_delta,
                    146:        EQNSYM_epsilon,
                    147:        EQNSYM_eta,
                    148:        EQNSYM_gamma,
                    149:        EQNSYM_iota,
                    150:        EQNSYM_kappa,
                    151:        EQNSYM_lambda,
                    152:        EQNSYM_mu,
                    153:        EQNSYM_nu,
                    154:        EQNSYM_omega,
                    155:        EQNSYM_omicron,
                    156:        EQNSYM_phi,
                    157:        EQNSYM_pi,
                    158:        EQNSYM_ps,
                    159:        EQNSYM_rho,
                    160:        EQNSYM_sigma,
                    161:        EQNSYM_tau,
                    162:        EQNSYM_theta,
                    163:        EQNSYM_upsilon,
                    164:        EQNSYM_xi,
                    165:        EQNSYM_zeta,
                    166:        EQNSYM_DELTA,
                    167:        EQNSYM_GAMMA,
                    168:        EQNSYM_LAMBDA,
                    169:        EQNSYM_OMEGA,
                    170:        EQNSYM_PHI,
                    171:        EQNSYM_PI,
                    172:        EQNSYM_PSI,
                    173:        EQNSYM_SIGMA,
                    174:        EQNSYM_THETA,
                    175:        EQNSYM_UPSILON,
                    176:        EQNSYM_XI,
1.28      kristaps  177:        EQNSYM_inter,
                    178:        EQNSYM_union,
                    179:        EQNSYM_prod,
                    180:        EQNSYM_int,
                    181:        EQNSYM_sum,
                    182:        EQNSYM_grad,
                    183:        EQNSYM_del,
                    184:        EQNSYM_times,
                    185:        EQNSYM_cdot,
                    186:        EQNSYM_nothing,
                    187:        EQNSYM_approx,
                    188:        EQNSYM_prime,
                    189:        EQNSYM_half,
                    190:        EQNSYM_partial,
                    191:        EQNSYM_inf,
                    192:        EQNSYM_muchgreat,
                    193:        EQNSYM_muchless,
                    194:        EQNSYM_larrow,
                    195:        EQNSYM_rarrow,
                    196:        EQNSYM_pm,
                    197:        EQNSYM_nequal,
                    198:        EQNSYM_equiv,
                    199:        EQNSYM_lessequal,
                    200:        EQNSYM_moreequal,
1.27      kristaps  201:        EQNSYM__MAX
                    202: };
                    203:
                    204: struct eqnsym {
1.48      kristaps  205:        const char      *str;
1.28      kristaps  206:        const char      *sym;
1.27      kristaps  207: };
                    208:
                    209: static const struct eqnsym eqnsyms[EQNSYM__MAX] = {
1.48      kristaps  210:        { "alpha", "*a" }, /* EQNSYM_alpha */
                    211:        { "beta", "*b" }, /* EQNSYM_beta */
                    212:        { "chi", "*x" }, /* EQNSYM_chi */
                    213:        { "delta", "*d" }, /* EQNSYM_delta */
                    214:        { "epsilon", "*e" }, /* EQNSYM_epsilon */
                    215:        { "eta", "*y" }, /* EQNSYM_eta */
                    216:        { "gamma", "*g" }, /* EQNSYM_gamma */
                    217:        { "iota", "*i" }, /* EQNSYM_iota */
                    218:        { "kappa", "*k" }, /* EQNSYM_kappa */
                    219:        { "lambda", "*l" }, /* EQNSYM_lambda */
                    220:        { "mu", "*m" }, /* EQNSYM_mu */
                    221:        { "nu", "*n" }, /* EQNSYM_nu */
                    222:        { "omega", "*w" }, /* EQNSYM_omega */
                    223:        { "omicron", "*o" }, /* EQNSYM_omicron */
                    224:        { "phi", "*f" }, /* EQNSYM_phi */
                    225:        { "pi", "*p" }, /* EQNSYM_pi */
                    226:        { "psi", "*q" }, /* EQNSYM_psi */
                    227:        { "rho", "*r" }, /* EQNSYM_rho */
                    228:        { "sigma", "*s" }, /* EQNSYM_sigma */
                    229:        { "tau", "*t" }, /* EQNSYM_tau */
                    230:        { "theta", "*h" }, /* EQNSYM_theta */
                    231:        { "upsilon", "*u" }, /* EQNSYM_upsilon */
                    232:        { "xi", "*c" }, /* EQNSYM_xi */
                    233:        { "zeta", "*z" }, /* EQNSYM_zeta */
                    234:        { "DELTA", "*D" }, /* EQNSYM_DELTA */
                    235:        { "GAMMA", "*G" }, /* EQNSYM_GAMMA */
                    236:        { "LAMBDA", "*L" }, /* EQNSYM_LAMBDA */
                    237:        { "OMEGA", "*W" }, /* EQNSYM_OMEGA */
                    238:        { "PHI", "*F" }, /* EQNSYM_PHI */
                    239:        { "PI", "*P" }, /* EQNSYM_PI */
                    240:        { "PSI", "*Q" }, /* EQNSYM_PSI */
                    241:        { "SIGMA", "*S" }, /* EQNSYM_SIGMA */
                    242:        { "THETA", "*H" }, /* EQNSYM_THETA */
                    243:        { "UPSILON", "*U" }, /* EQNSYM_UPSILON */
                    244:        { "XI", "*C" }, /* EQNSYM_XI */
                    245:        { "inter", "ca" }, /* EQNSYM_inter */
                    246:        { "union", "cu" }, /* EQNSYM_union */
                    247:        { "prod", "product" }, /* EQNSYM_prod */
                    248:        { "int", "integral" }, /* EQNSYM_int */
                    249:        { "sum", "sum" }, /* EQNSYM_sum */
                    250:        { "grad", "gr" }, /* EQNSYM_grad */
                    251:        { "del", "gr" }, /* EQNSYM_del */
                    252:        { "times", "mu" }, /* EQNSYM_times */
                    253:        { "cdot", "pc" }, /* EQNSYM_cdot */
                    254:        { "nothing", "&" }, /* EQNSYM_nothing */
                    255:        { "approx", "~~" }, /* EQNSYM_approx */
                    256:        { "prime", "aq" }, /* EQNSYM_prime */
                    257:        { "half", "12" }, /* EQNSYM_half */
                    258:        { "partial", "pd" }, /* EQNSYM_partial */
                    259:        { "inf", "if" }, /* EQNSYM_inf */
                    260:        { ">>", ">>" }, /* EQNSYM_muchgreat */
                    261:        { "<<", "<<" }, /* EQNSYM_muchless */
                    262:        { "<-", "<-" }, /* EQNSYM_larrow */
                    263:        { "->", "->" }, /* EQNSYM_rarrow */
                    264:        { "+-", "+-" }, /* EQNSYM_pm */
                    265:        { "!=", "!=" }, /* EQNSYM_nequal */
                    266:        { "==", "==" }, /* EQNSYM_equiv */
                    267:        { "<=", "<=" }, /* EQNSYM_lessequal */
                    268:        { ">=", ">=" }, /* EQNSYM_moreequal */
1.27      kristaps  269: };
                    270:
1.1       kristaps  271: enum rofferr
1.40      schwarze  272: eqn_read(struct eqn_node **epp, int ln,
1.6       kristaps  273:                const char *p, int pos, int *offs)
1.1       kristaps  274: {
1.8       kristaps  275:        size_t           sz;
                    276:        struct eqn_node *ep;
1.12      kristaps  277:        enum rofferr     er;
                    278:
                    279:        ep = *epp;
                    280:
                    281:        /*
                    282:         * If we're the terminating mark, unset our equation status and
                    283:         * validate the full equation.
                    284:         */
1.1       kristaps  285:
1.35      kristaps  286:        if (0 == strncmp(p, ".EN", 3)) {
1.38      kristaps  287:                er = eqn_end(epp);
1.35      kristaps  288:                p += 3;
                    289:                while (' ' == *p || '\t' == *p)
                    290:                        p++;
1.40      schwarze  291:                if ('\0' == *p)
1.35      kristaps  292:                        return(er);
1.43      schwarze  293:                mandoc_vmsg(MANDOCERR_ARG_SKIP, ep->parse,
                    294:                    ln, pos, "EN %s", p);
1.12      kristaps  295:                return(er);
1.1       kristaps  296:        }
                    297:
1.12      kristaps  298:        /*
                    299:         * Build up the full string, replacing all newlines with regular
                    300:         * whitespace.
                    301:         */
1.6       kristaps  302:
1.12      kristaps  303:        sz = strlen(p + pos) + 1;
                    304:        ep->data = mandoc_realloc(ep->data, ep->sz + sz + 1);
1.6       kristaps  305:
1.12      kristaps  306:        /* First invocation: nil terminate the string. */
1.8       kristaps  307:
1.12      kristaps  308:        if (0 == ep->sz)
                    309:                *ep->data = '\0';
1.8       kristaps  310:
1.12      kristaps  311:        ep->sz += sz;
                    312:        strlcat(ep->data, p + pos, ep->sz + 1);
                    313:        strlcat(ep->data, " ", ep->sz + 1);
1.11      kristaps  314:        return(ROFF_IGN);
                    315: }
                    316:
1.1       kristaps  317: struct eqn_node *
1.36      kristaps  318: eqn_alloc(const char *name, int pos, int line, struct mparse *parse)
1.1       kristaps  319: {
                    320:        struct eqn_node *p;
1.36      kristaps  321:        size_t           sz;
                    322:        const char      *end;
1.1       kristaps  323:
                    324:        p = mandoc_calloc(1, sizeof(struct eqn_node));
1.36      kristaps  325:
1.38      kristaps  326:        if (name && '\0' != *name) {
1.36      kristaps  327:                sz = strlen(name);
                    328:                assert(sz);
                    329:                do {
                    330:                        sz--;
                    331:                        end = name + (int)sz;
                    332:                } while (' ' == *end || '\t' == *end);
                    333:                p->eqn.name = mandoc_strndup(name, sz + 1);
                    334:        }
                    335:
1.5       kristaps  336:        p->parse = parse;
1.12      kristaps  337:        p->eqn.ln = line;
1.2       kristaps  338:        p->eqn.pos = pos;
1.29      kristaps  339:        p->gsize = EQN_DEFSIZE;
1.1       kristaps  340:
                    341:        return(p);
                    342: }
                    343:
1.48      kristaps  344: /*
                    345:  * Find the key "key" of the give size within our eqn-defined values.
                    346:  */
                    347: static struct eqn_def *
                    348: eqn_def_find(struct eqn_node *ep, const char *key, size_t sz)
1.1       kristaps  349: {
1.6       kristaps  350:        int              i;
1.1       kristaps  351:
1.48      kristaps  352:        for (i = 0; i < (int)ep->defsz; i++)
                    353:                if (ep->defs[i].keysz && STRNEQ(ep->defs[i].key,
                    354:                    ep->defs[i].keysz, key, sz))
                    355:                        return(&ep->defs[i]);
1.6       kristaps  356:
1.48      kristaps  357:        return(NULL);
1.20      kristaps  358: }
                    359:
1.48      kristaps  360: /*
                    361:  * Get the next token from the input stream using the given quote
                    362:  * character.
                    363:  * Optionally make any replacements.
                    364:  */
1.12      kristaps  365: static const char *
1.14      kristaps  366: eqn_next(struct eqn_node *ep, char quote, size_t *sz, int repl)
1.6       kristaps  367: {
1.12      kristaps  368:        char            *start, *next;
                    369:        int              q, diff, lim;
1.22      kristaps  370:        size_t           ssz, dummy;
1.12      kristaps  371:        struct eqn_def  *def;
                    372:
                    373:        if (NULL == sz)
1.22      kristaps  374:                sz = &dummy;
1.6       kristaps  375:
1.13      kristaps  376:        lim = 0;
1.20      kristaps  377:        ep->rew = ep->cur;
1.13      kristaps  378: again:
                    379:        /* Prevent self-definitions. */
                    380:
                    381:        if (lim >= EQN_NEST_MAX) {
1.36      kristaps  382:                EQN_MSG(MANDOCERR_ROFFLOOP, ep);
1.13      kristaps  383:                return(NULL);
                    384:        }
                    385:
1.20      kristaps  386:        ep->cur = ep->rew;
1.12      kristaps  387:        start = &ep->data[(int)ep->cur];
1.6       kristaps  388:        q = 0;
                    389:
                    390:        if ('\0' == *start)
                    391:                return(NULL);
                    392:
1.12      kristaps  393:        if (quote == *start) {
                    394:                ep->cur++;
1.6       kristaps  395:                q = 1;
                    396:        }
                    397:
1.12      kristaps  398:        start = &ep->data[(int)ep->cur];
1.22      kristaps  399:
                    400:        if ( ! q) {
                    401:                if ('{' == *start || '}' == *start)
                    402:                        ssz = 1;
                    403:                else
1.31      kristaps  404:                        ssz = strcspn(start + 1, " ^~\"{}\t") + 1;
1.22      kristaps  405:                next = start + (int)ssz;
                    406:                if ('\0' == *next)
                    407:                        next = NULL;
                    408:        } else
                    409:                next = strchr(start, quote);
1.12      kristaps  410:
                    411:        if (NULL != next) {
                    412:                *sz = (size_t)(next - start);
                    413:                ep->cur += *sz;
1.6       kristaps  414:                if (q)
1.12      kristaps  415:                        ep->cur++;
1.22      kristaps  416:                while (' ' == ep->data[(int)ep->cur] ||
1.40      schwarze  417:                    '\t' == ep->data[(int)ep->cur] ||
                    418:                    '^' == ep->data[(int)ep->cur] ||
                    419:                    '~' == ep->data[(int)ep->cur])
1.12      kristaps  420:                        ep->cur++;
1.6       kristaps  421:        } else {
                    422:                if (q)
1.44      schwarze  423:                        EQN_MSG(MANDOCERR_ARG_QUOTE, ep);
1.12      kristaps  424:                next = strchr(start, '\0');
                    425:                *sz = (size_t)(next - start);
                    426:                ep->cur += *sz;
                    427:        }
                    428:
1.13      kristaps  429:        /* Quotes aren't expanded for values. */
                    430:
1.14      kristaps  431:        if (q || ! repl)
1.13      kristaps  432:                return(start);
                    433:
1.12      kristaps  434:        if (NULL != (def = eqn_def_find(ep, start, *sz))) {
                    435:                diff = def->valsz - *sz;
                    436:
                    437:                if (def->valsz > *sz) {
                    438:                        ep->sz += diff;
                    439:                        ep->data = mandoc_realloc(ep->data, ep->sz + 1);
                    440:                        ep->data[ep->sz] = '\0';
1.20      kristaps  441:                        start = &ep->data[(int)ep->rew];
1.12      kristaps  442:                }
                    443:
                    444:                diff = def->valsz - *sz;
1.40      schwarze  445:                memmove(start + *sz + diff, start + *sz,
                    446:                    (strlen(start) - *sz) + 1);
1.12      kristaps  447:                memcpy(start, def->val, def->valsz);
                    448:                goto again;
1.6       kristaps  449:        }
                    450:
                    451:        return(start);
1.8       kristaps  452: }
                    453:
1.48      kristaps  454: /*
                    455:  * Get the next delimited token using the default current quote
                    456:  * character.
                    457:  */
                    458: static const char *
                    459: eqn_nexttok(struct eqn_node *ep, size_t *sz)
                    460: {
                    461:
                    462:        return(eqn_next(ep, '"', sz, 1));
                    463: }
                    464:
                    465: /*
                    466:  * Get next token without replacement.
                    467:  */
                    468: static const char *
                    469: eqn_nextrawtok(struct eqn_node *ep, size_t *sz)
                    470: {
                    471:
                    472:        return(eqn_next(ep, '"', sz, 0));
                    473: }
                    474:
                    475: /*
                    476:  * Parse a token from the stream of text.
                    477:  * A token consists of one of the recognised eqn(7) strings.
                    478:  * Strings are separated by delimiting marks.
                    479:  * This returns EQN_TOK_EOF when there are no more tokens.
                    480:  * If the token is an unrecognised string literal, then it returns
                    481:  * EQN_TOK__MAX and sets the "p" pointer to an allocated, nil-terminated
                    482:  * string.
                    483:  * This must be later freed with free(3).
                    484:  */
                    485: static enum eqn_tok
                    486: eqn_tok_parse(struct eqn_node *ep, char **p)
                    487: {
                    488:        const char      *start;
                    489:        size_t           i, sz;
1.53      schwarze  490:        int              quoted;
1.48      kristaps  491:
                    492:        if (NULL != p)
                    493:                *p = NULL;
                    494:
1.53      schwarze  495:        quoted = ep->data[ep->cur] == '"';
                    496:
1.48      kristaps  497:        if (NULL == (start = eqn_nexttok(ep, &sz)))
                    498:                return(EQN_TOK_EOF);
1.53      schwarze  499:
                    500:        if (quoted) {
                    501:                if (p != NULL)
                    502:                        *p = mandoc_strndup(start, sz);
                    503:                return(EQN_TOK__MAX);
                    504:        }
1.48      kristaps  505:
                    506:        for (i = 0; i < EQN_TOK__MAX; i++) {
                    507:                if (NULL == eqn_toks[i])
                    508:                        continue;
                    509:                if (STRNEQ(start, sz, eqn_toks[i], strlen(eqn_toks[i])))
                    510:                        break;
                    511:        }
                    512:
                    513:        if (i == EQN_TOK__MAX && NULL != p)
                    514:                *p = mandoc_strndup(start, sz);
                    515:
                    516:        return(i);
                    517: }
                    518:
                    519: static void
                    520: eqn_box_free(struct eqn_box *bp)
1.33      kristaps  521: {
                    522:
1.48      kristaps  523:        if (bp->first)
                    524:                eqn_box_free(bp->first);
                    525:        if (bp->next)
                    526:                eqn_box_free(bp->next);
1.33      kristaps  527:
1.48      kristaps  528:        free(bp->text);
                    529:        free(bp->left);
                    530:        free(bp->right);
                    531:        free(bp->top);
                    532:        free(bp->bottom);
                    533:        free(bp);
1.33      kristaps  534: }
                    535:
1.48      kristaps  536: /*
                    537:  * Allocate a box as the last child of the parent node.
                    538:  */
                    539: static struct eqn_box *
                    540: eqn_box_alloc(struct eqn_node *ep, struct eqn_box *parent)
1.8       kristaps  541: {
1.48      kristaps  542:        struct eqn_box  *bp;
                    543:
                    544:        bp = mandoc_calloc(1, sizeof(struct eqn_box));
                    545:        bp->parent = parent;
                    546:        bp->parent->args++;
                    547:        bp->expectargs = UINT_MAX;
                    548:        bp->size = ep->gsize;
                    549:
                    550:        if (NULL != parent->first) {
                    551:                parent->last->next = bp;
                    552:                bp->prev = parent->last;
                    553:        } else
                    554:                parent->first = bp;
                    555:
                    556:        parent->last = bp;
                    557:        return(bp);
                    558: }
1.8       kristaps  559:
1.48      kristaps  560: /*
                    561:  * Reparent the current last node (of the current parent) under a new
                    562:  * EQN_SUBEXPR as the first element.
                    563:  * Then return the new parent.
                    564:  * The new EQN_SUBEXPR will have a two-child limit.
                    565:  */
                    566: static struct eqn_box *
1.51      schwarze  567: eqn_box_makebinary(struct eqn_node *ep,
1.48      kristaps  568:        enum eqn_post pos, struct eqn_box *parent)
                    569: {
                    570:        struct eqn_box  *b, *newb;
1.36      kristaps  571:
1.48      kristaps  572:        assert(NULL != parent->last);
                    573:        b = parent->last;
                    574:        if (parent->last == parent->first)
                    575:                parent->first = NULL;
                    576:        parent->args--;
                    577:        parent->last = b->prev;
                    578:        b->prev = NULL;
                    579:        newb = eqn_box_alloc(ep, parent);
                    580:        newb->pos = pos;
                    581:        newb->type = EQN_SUBEXPR;
                    582:        newb->expectargs = 2;
                    583:        newb->args = 1;
                    584:        newb->first = newb->last = b;
                    585:        newb->first->next = NULL;
                    586:        b->parent = newb;
                    587:        return(newb);
1.36      kristaps  588: }
                    589:
1.48      kristaps  590: /*
1.54    ! schwarze  591:  * Parse the "delim" control statement.
        !           592:  */
        !           593: static void
        !           594: eqn_delim(struct eqn_node *ep)
        !           595: {
        !           596:        const char      *start;
        !           597:        size_t           sz;
        !           598:
        !           599:        if ((start = eqn_nextrawtok(ep, &sz)) == NULL)
        !           600:                mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
        !           601:                    ep->eqn.ln, ep->eqn.pos, "delim");
        !           602:        else if (strncmp(start, "off", 3) == 0)
        !           603:                ep->delim = 0;
        !           604:        else if (strncmp(start, "on", 2) == 0) {
        !           605:                if (ep->odelim && ep->cdelim)
        !           606:                        ep->delim = 1;
        !           607:        } else if (start[1] != '\0') {
        !           608:                ep->odelim = start[0];
        !           609:                ep->cdelim = start[1];
        !           610:                ep->delim = 1;
        !           611:        }
        !           612: }
        !           613:
        !           614: /*
1.48      kristaps  615:  * Undefine a previously-defined string.
                    616:  */
1.36      kristaps  617: static int
1.48      kristaps  618: eqn_undef(struct eqn_node *ep)
1.36      kristaps  619: {
1.48      kristaps  620:        const char      *start;
                    621:        struct eqn_def  *def;
                    622:        size_t           sz;
1.36      kristaps  623:
1.48      kristaps  624:        if (NULL == (start = eqn_nextrawtok(ep, &sz))) {
1.29      kristaps  625:                EQN_MSG(MANDOCERR_EQNEOF, ep);
1.48      kristaps  626:                return(0);
                    627:        } else if (NULL != (def = eqn_def_find(ep, start, sz)))
                    628:                def->keysz = 0;
1.8       kristaps  629:
1.48      kristaps  630:        return(1);
1.8       kristaps  631: }
                    632:
                    633: static int
1.48      kristaps  634: eqn_def(struct eqn_node *ep)
1.8       kristaps  635: {
                    636:        const char      *start;
                    637:        size_t           sz;
1.12      kristaps  638:        struct eqn_def  *def;
1.8       kristaps  639:        int              i;
                    640:
1.14      kristaps  641:        if (NULL == (start = eqn_nextrawtok(ep, &sz))) {
1.29      kristaps  642:                EQN_MSG(MANDOCERR_EQNEOF, ep);
1.8       kristaps  643:                return(0);
                    644:        }
                    645:
1.40      schwarze  646:        /*
                    647:         * Search for a key that already exists.
1.12      kristaps  648:         * Create a new key if none is found.
1.8       kristaps  649:         */
1.12      kristaps  650:        if (NULL == (def = eqn_def_find(ep, start, sz))) {
1.8       kristaps  651:                /* Find holes in string array. */
                    652:                for (i = 0; i < (int)ep->defsz; i++)
                    653:                        if (0 == ep->defs[i].keysz)
                    654:                                break;
                    655:
                    656:                if (i == (int)ep->defsz) {
                    657:                        ep->defsz++;
1.42      schwarze  658:                        ep->defs = mandoc_reallocarray(ep->defs,
                    659:                            ep->defsz, sizeof(struct eqn_def));
1.9       kristaps  660:                        ep->defs[i].key = ep->defs[i].val = NULL;
1.8       kristaps  661:                }
                    662:
                    663:                ep->defs[i].keysz = sz;
1.40      schwarze  664:                ep->defs[i].key = mandoc_realloc(
                    665:                    ep->defs[i].key, sz + 1);
1.8       kristaps  666:
                    667:                memcpy(ep->defs[i].key, start, sz);
                    668:                ep->defs[i].key[(int)sz] = '\0';
1.12      kristaps  669:                def = &ep->defs[i];
1.8       kristaps  670:        }
                    671:
1.14      kristaps  672:        start = eqn_next(ep, ep->data[(int)ep->cur], &sz, 0);
1.8       kristaps  673:
1.12      kristaps  674:        if (NULL == start) {
1.29      kristaps  675:                EQN_MSG(MANDOCERR_EQNEOF, ep);
1.48      kristaps  676:                return(-1);
1.8       kristaps  677:        }
                    678:
1.12      kristaps  679:        def->valsz = sz;
1.13      kristaps  680:        def->val = mandoc_realloc(def->val, sz + 1);
1.12      kristaps  681:        memcpy(def->val, start, sz);
                    682:        def->val[(int)sz] = '\0';
1.30      kristaps  683:        return(1);
                    684: }
                    685:
1.48      kristaps  686: /*
                    687:  * Recursively parse an eqn(7) expression.
                    688:  */
1.30      kristaps  689: static int
1.48      kristaps  690: eqn_parse(struct eqn_node *ep, struct eqn_box *parent)
1.30      kristaps  691: {
1.48      kristaps  692:        char            *p;
1.52      schwarze  693:        enum eqn_tok     tok, subtok;
1.48      kristaps  694:        enum eqn_post    pos;
                    695:        struct eqn_box  *cur;
                    696:        int              rc, size;
                    697:        size_t           i, sz;
                    698:        char             sym[64];
                    699:        const char      *start;
1.30      kristaps  700:
1.48      kristaps  701:        assert(NULL != parent);
1.51      schwarze  702:
1.52      schwarze  703: next_tok:
                    704:        tok = eqn_tok_parse(ep, &p);
                    705:
                    706: this_tok:
                    707:        switch (tok) {
1.48      kristaps  708:        case (EQN_TOK_UNDEF):
                    709:                if ((rc = eqn_undef(ep)) <= 0)
                    710:                        return(rc);
                    711:                break;
                    712:        case (EQN_TOK_NDEFINE):
                    713:        case (EQN_TOK_DEFINE):
                    714:                if ((rc = eqn_def(ep)) <= 0)
                    715:                        return(rc);
                    716:                break;
                    717:        case (EQN_TOK_TDEFINE):
                    718:                if (NULL == eqn_nextrawtok(ep, NULL))
                    719:                        EQN_MSG(MANDOCERR_EQNEOF, ep);
1.51      schwarze  720:                else if (NULL == eqn_next(ep,
1.48      kristaps  721:                                ep->data[(int)ep->cur], NULL, 0))
                    722:                        EQN_MSG(MANDOCERR_EQNEOF, ep);
                    723:                break;
1.49      kristaps  724:        case (EQN_TOK_DELIM):
1.54    ! schwarze  725:                eqn_delim(ep);
        !           726:                break;
1.48      kristaps  727:        case (EQN_TOK_GFONT):
1.52      schwarze  728:                if (eqn_nextrawtok(ep, NULL) == NULL)
                    729:                        mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                    730:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
1.48      kristaps  731:                break;
                    732:        case (EQN_TOK_MARK):
                    733:        case (EQN_TOK_LINEUP):
                    734:                /* Ignore these. */
                    735:                break;
                    736:        case (EQN_TOK_DYAD):
                    737:        case (EQN_TOK_VEC):
                    738:        case (EQN_TOK_UNDER):
                    739:        case (EQN_TOK_BAR):
                    740:        case (EQN_TOK_TILDE):
                    741:        case (EQN_TOK_HAT):
                    742:        case (EQN_TOK_DOT):
                    743:        case (EQN_TOK_DOTDOT):
1.52      schwarze  744:                if (parent->last == NULL) {
                    745:                        mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                    746:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    747:                        cur = eqn_box_alloc(ep, parent);
                    748:                        cur->type = EQN_TEXT;
                    749:                        cur->text = mandoc_strdup("");
1.48      kristaps  750:                }
1.51      schwarze  751:                parent = eqn_box_makebinary(ep, EQNPOS_NONE, parent);
1.48      kristaps  752:                parent->type = EQN_LISTONE;
                    753:                parent->expectargs = 1;
                    754:                switch (tok) {
                    755:                case (EQN_TOK_DOTDOT):
                    756:                        strlcpy(sym, "\\[ad]", sizeof(sym));
                    757:                        break;
                    758:                case (EQN_TOK_VEC):
                    759:                        strlcpy(sym, "\\[->]", sizeof(sym));
                    760:                        break;
                    761:                case (EQN_TOK_DYAD):
                    762:                        strlcpy(sym, "\\[<>]", sizeof(sym));
                    763:                        break;
                    764:                case (EQN_TOK_TILDE):
                    765:                        strlcpy(sym, "\\[a~]", sizeof(sym));
                    766:                        break;
                    767:                case (EQN_TOK_UNDER):
                    768:                        strlcpy(sym, "\\[ul]", sizeof(sym));
                    769:                        break;
                    770:                case (EQN_TOK_BAR):
                    771:                        strlcpy(sym, "\\[rl]", sizeof(sym));
                    772:                        break;
                    773:                case (EQN_TOK_DOT):
                    774:                        strlcpy(sym, "\\[a.]", sizeof(sym));
                    775:                        break;
                    776:                case (EQN_TOK_HAT):
                    777:                        strlcpy(sym, "\\[ha]", sizeof(sym));
                    778:                        break;
                    779:                default:
                    780:                        abort();
                    781:                }
                    782:
                    783:                switch (tok) {
                    784:                case (EQN_TOK_DOTDOT):
                    785:                case (EQN_TOK_VEC):
                    786:                case (EQN_TOK_DYAD):
                    787:                case (EQN_TOK_TILDE):
                    788:                case (EQN_TOK_BAR):
                    789:                case (EQN_TOK_DOT):
                    790:                case (EQN_TOK_HAT):
                    791:                        parent->top = mandoc_strdup(sym);
                    792:                        break;
                    793:                case (EQN_TOK_UNDER):
                    794:                        parent->bottom = mandoc_strdup(sym);
                    795:                        break;
                    796:                default:
                    797:                        abort();
                    798:                }
                    799:                parent = parent->parent;
                    800:                break;
                    801:        case (EQN_TOK_FWD):
                    802:        case (EQN_TOK_BACK):
                    803:        case (EQN_TOK_DOWN):
                    804:        case (EQN_TOK_UP):
1.52      schwarze  805:                subtok = eqn_tok_parse(ep, NULL);
                    806:                if (subtok != EQN_TOK__MAX) {
                    807:                        mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                    808:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    809:                        tok = subtok;
                    810:                        goto this_tok;
1.48      kristaps  811:                }
                    812:                break;
                    813:        case (EQN_TOK_FAT):
                    814:        case (EQN_TOK_ROMAN):
                    815:        case (EQN_TOK_ITALIC):
                    816:        case (EQN_TOK_BOLD):
                    817:                while (parent->args == parent->expectargs)
1.52      schwarze  818:                        parent = parent->parent;
1.48      kristaps  819:                /*
                    820:                 * These values apply to the next word or sequence of
                    821:                 * words; thus, we mark that we'll have a child with
                    822:                 * exactly one of those.
                    823:                 */
                    824:                parent = eqn_box_alloc(ep, parent);
                    825:                parent->type = EQN_LISTONE;
                    826:                parent->expectargs = 1;
                    827:                switch (tok) {
                    828:                case (EQN_TOK_FAT):
                    829:                        parent->font = EQNFONT_FAT;
                    830:                        break;
                    831:                case (EQN_TOK_ROMAN):
                    832:                        parent->font = EQNFONT_ROMAN;
                    833:                        break;
                    834:                case (EQN_TOK_ITALIC):
                    835:                        parent->font = EQNFONT_ITALIC;
                    836:                        break;
                    837:                case (EQN_TOK_BOLD):
                    838:                        parent->font = EQNFONT_BOLD;
                    839:                        break;
                    840:                default:
                    841:                        abort();
                    842:                }
                    843:                break;
                    844:        case (EQN_TOK_SIZE):
                    845:        case (EQN_TOK_GSIZE):
                    846:                /* Accept two values: integral size and a single. */
                    847:                if (NULL == (start = eqn_nexttok(ep, &sz))) {
1.52      schwarze  848:                        mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                    849:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    850:                        break;
1.48      kristaps  851:                }
                    852:                size = mandoc_strntoi(start, sz, 10);
                    853:                if (-1 == size) {
1.52      schwarze  854:                        mandoc_msg(MANDOCERR_IT_NONUM, ep->parse,
                    855:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    856:                        break;
1.48      kristaps  857:                }
                    858:                if (EQN_TOK_GSIZE == tok) {
                    859:                        ep->gsize = size;
                    860:                        break;
                    861:                }
                    862:                parent = eqn_box_alloc(ep, parent);
                    863:                parent->type = EQN_LISTONE;
                    864:                parent->expectargs = 1;
                    865:                parent->size = size;
                    866:                break;
                    867:        case (EQN_TOK_FROM):
                    868:        case (EQN_TOK_TO):
                    869:        case (EQN_TOK_SUB):
                    870:        case (EQN_TOK_SUP):
                    871:                /*
                    872:                 * We have a left-right-associative expression.
                    873:                 * Repivot under a positional node, open a child scope
                    874:                 * and keep on reading.
                    875:                 */
1.52      schwarze  876:                if (parent->last == NULL) {
                    877:                        mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                    878:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    879:                        cur = eqn_box_alloc(ep, parent);
                    880:                        cur->type = EQN_TEXT;
                    881:                        cur->text = mandoc_strdup("");
1.48      kristaps  882:                }
                    883:                /* Handle the "subsup" and "fromto" positions. */
                    884:                if (EQN_TOK_SUP == tok && parent->pos == EQNPOS_SUB) {
                    885:                        parent->expectargs = 3;
                    886:                        parent->pos = EQNPOS_SUBSUP;
                    887:                        break;
                    888:                }
                    889:                if (EQN_TOK_TO == tok && parent->pos == EQNPOS_FROM) {
                    890:                        parent->expectargs = 3;
                    891:                        parent->pos = EQNPOS_FROMTO;
                    892:                        break;
                    893:                }
                    894:                switch (tok) {
                    895:                case (EQN_TOK_FROM):
                    896:                        pos = EQNPOS_FROM;
                    897:                        break;
                    898:                case (EQN_TOK_TO):
                    899:                        pos = EQNPOS_TO;
                    900:                        break;
                    901:                case (EQN_TOK_SUP):
                    902:                        pos = EQNPOS_SUP;
                    903:                        break;
                    904:                case (EQN_TOK_SUB):
                    905:                        pos = EQNPOS_SUB;
                    906:                        break;
                    907:                default:
                    908:                        abort();
                    909:                }
                    910:                parent = eqn_box_makebinary(ep, pos, parent);
                    911:                break;
                    912:        case (EQN_TOK_SQRT):
                    913:                while (parent->args == parent->expectargs)
1.52      schwarze  914:                        parent = parent->parent;
1.51      schwarze  915:                /*
1.48      kristaps  916:                 * Accept a left-right-associative set of arguments just
                    917:                 * like sub and sup and friends but without rebalancing
                    918:                 * under a pivot.
                    919:                 */
                    920:                parent = eqn_box_alloc(ep, parent);
                    921:                parent->type = EQN_SUBEXPR;
                    922:                parent->pos = EQNPOS_SQRT;
                    923:                parent->expectargs = 1;
                    924:                break;
                    925:        case (EQN_TOK_OVER):
                    926:                /*
                    927:                 * We have a right-left-associative fraction.
                    928:                 * Close out anything that's currently open, then
                    929:                 * rebalance and continue reading.
                    930:                 */
1.52      schwarze  931:                if (parent->last == NULL) {
                    932:                        mandoc_msg(MANDOCERR_EQN_NOBOX, ep->parse,
                    933:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    934:                        cur = eqn_box_alloc(ep, parent);
                    935:                        cur->type = EQN_TEXT;
                    936:                        cur->text = mandoc_strdup("");
1.48      kristaps  937:                }
                    938:                while (EQN_SUBEXPR == parent->type)
1.52      schwarze  939:                        parent = parent->parent;
1.48      kristaps  940:                parent = eqn_box_makebinary(ep, EQNPOS_OVER, parent);
                    941:                break;
                    942:        case (EQN_TOK_RIGHT):
                    943:        case (EQN_TOK_BRACE_CLOSE):
                    944:                /*
                    945:                 * Close out the existing brace.
                    946:                 * FIXME: this is a shitty sentinel: we should really
                    947:                 * have a native EQN_BRACE type or whatnot.
                    948:                 */
1.52      schwarze  949:                for (cur = parent; cur != NULL; cur = cur->parent)
                    950:                        if (cur->type == EQN_LIST &&
                    951:                            (tok == EQN_TOK_BRACE_CLOSE ||
                    952:                             cur->left != NULL))
                    953:                                break;
                    954:                if (cur == NULL) {
                    955:                        mandoc_msg(MANDOCERR_BLK_NOTOPEN, ep->parse,
                    956:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                    957:                        break;
                    958:                }
                    959:                parent = cur;
1.48      kristaps  960:                if (EQN_TOK_RIGHT == tok) {
                    961:                        if (NULL == (start = eqn_nexttok(ep, &sz))) {
1.52      schwarze  962:                                mandoc_msg(MANDOCERR_REQ_EMPTY,
                    963:                                    ep->parse, ep->eqn.ln,
                    964:                                    ep->eqn.pos, eqn_toks[tok]);
                    965:                                break;
1.48      kristaps  966:                        }
                    967:                        /* Handling depends on right/left. */
                    968:                        if (STRNEQ(start, sz, "ceiling", 7)) {
                    969:                                strlcpy(sym, "\\[rc]", sizeof(sym));
                    970:                                parent->right = mandoc_strdup(sym);
                    971:                        } else if (STRNEQ(start, sz, "floor", 5)) {
                    972:                                strlcpy(sym, "\\[rf]", sizeof(sym));
                    973:                                parent->right = mandoc_strdup(sym);
1.51      schwarze  974:                        } else
1.48      kristaps  975:                                parent->right = mandoc_strndup(start, sz);
                    976:                }
1.52      schwarze  977:                parent = parent->parent;
1.51      schwarze  978:                if (EQN_TOK_BRACE_CLOSE == tok && parent &&
                    979:                    (parent->type == EQN_PILE ||
                    980:                     parent->type == EQN_MATRIX))
1.48      kristaps  981:                        parent = parent->parent;
                    982:                /* Close out any "singleton" lists. */
1.51      schwarze  983:                while (parent->type == EQN_LISTONE &&
                    984:                    parent->args == parent->expectargs)
1.52      schwarze  985:                        parent = parent->parent;
1.48      kristaps  986:                break;
                    987:        case (EQN_TOK_BRACE_OPEN):
                    988:        case (EQN_TOK_LEFT):
                    989:                /*
                    990:                 * If we already have something in the stack and we're
                    991:                 * in an expression, then rewind til we're not any more
                    992:                 * (just like with the text node).
                    993:                 */
                    994:                while (parent->args == parent->expectargs)
1.52      schwarze  995:                        parent = parent->parent;
                    996:                if (EQN_TOK_LEFT == tok &&
                    997:                    (start = eqn_nexttok(ep, &sz)) == NULL) {
                    998:                        mandoc_msg(MANDOCERR_REQ_EMPTY, ep->parse,
                    999:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                   1000:                        break;
                   1001:                }
1.48      kristaps 1002:                parent = eqn_box_alloc(ep, parent);
                   1003:                parent->type = EQN_LIST;
                   1004:                if (EQN_TOK_LEFT == tok) {
                   1005:                        if (STRNEQ(start, sz, "ceiling", 7)) {
                   1006:                                strlcpy(sym, "\\[lc]", sizeof(sym));
                   1007:                                parent->left = mandoc_strdup(sym);
                   1008:                        } else if (STRNEQ(start, sz, "floor", 5)) {
                   1009:                                strlcpy(sym, "\\[lf]", sizeof(sym));
                   1010:                                parent->left = mandoc_strdup(sym);
1.51      schwarze 1011:                        } else
1.48      kristaps 1012:                                parent->left = mandoc_strndup(start, sz);
                   1013:                }
                   1014:                break;
                   1015:        case (EQN_TOK_PILE):
                   1016:        case (EQN_TOK_LPILE):
                   1017:        case (EQN_TOK_RPILE):
                   1018:        case (EQN_TOK_CPILE):
                   1019:        case (EQN_TOK_CCOL):
                   1020:        case (EQN_TOK_LCOL):
                   1021:        case (EQN_TOK_RCOL):
                   1022:                while (parent->args == parent->expectargs)
1.52      schwarze 1023:                        parent = parent->parent;
1.48      kristaps 1024:                parent = eqn_box_alloc(ep, parent);
                   1025:                parent->type = EQN_PILE;
1.52      schwarze 1026:                parent->expectargs = 1;
1.48      kristaps 1027:                break;
                   1028:        case (EQN_TOK_ABOVE):
1.52      schwarze 1029:                for (cur = parent; cur != NULL; cur = cur->parent)
                   1030:                        if (cur->type == EQN_PILE)
                   1031:                                break;
                   1032:                if (cur == NULL) {
                   1033:                        mandoc_msg(MANDOCERR_IT_STRAY, ep->parse,
                   1034:                            ep->eqn.ln, ep->eqn.pos, eqn_toks[tok]);
                   1035:                        break;
                   1036:                }
                   1037:                parent = eqn_box_alloc(ep, cur);
1.48      kristaps 1038:                parent->type = EQN_LIST;
                   1039:                break;
                   1040:        case (EQN_TOK_MATRIX):
                   1041:                while (parent->args == parent->expectargs)
1.52      schwarze 1042:                        parent = parent->parent;
1.48      kristaps 1043:                parent = eqn_box_alloc(ep, parent);
                   1044:                parent->type = EQN_MATRIX;
1.52      schwarze 1045:                parent->expectargs = 1;
1.48      kristaps 1046:                break;
                   1047:        case (EQN_TOK_EOF):
                   1048:                /*
1.51      schwarze 1049:                 * End of file!
1.48      kristaps 1050:                 * TODO: make sure we're not in an open subexpression.
                   1051:                 */
1.30      kristaps 1052:                return(0);
1.48      kristaps 1053:        default:
                   1054:                assert(tok == EQN_TOK__MAX);
                   1055:                assert(NULL != p);
                   1056:                /*
                   1057:                 * If we already have something in the stack and we're
                   1058:                 * in an expression, then rewind til we're not any more.
                   1059:                 */
                   1060:                while (parent->args == parent->expectargs)
1.52      schwarze 1061:                        parent = parent->parent;
1.48      kristaps 1062:                cur = eqn_box_alloc(ep, parent);
                   1063:                cur->type = EQN_TEXT;
                   1064:                for (i = 0; i < EQNSYM__MAX; i++)
                   1065:                        if (0 == strcmp(eqnsyms[i].str, p)) {
1.51      schwarze 1066:                                (void)snprintf(sym, sizeof(sym),
1.48      kristaps 1067:                                        "\\[%s]", eqnsyms[i].sym);
                   1068:                                cur->text = mandoc_strdup(sym);
                   1069:                                free(p);
                   1070:                                break;
                   1071:                        }
1.8       kristaps 1072:
1.48      kristaps 1073:                if (i == EQNSYM__MAX)
                   1074:                        cur->text = p;
                   1075:                /*
                   1076:                 * Post-process list status.
                   1077:                 */
1.51      schwarze 1078:                while (parent->type == EQN_LISTONE &&
1.52      schwarze 1079:                    parent->args == parent->expectargs)
                   1080:                        parent = parent->parent;
1.48      kristaps 1081:                break;
1.40      schwarze 1082:        }
1.52      schwarze 1083:        goto next_tok;
1.29      kristaps 1084: }
                   1085:
1.48      kristaps 1086: enum rofferr
1.51      schwarze 1087: eqn_end(struct eqn_node **epp)
1.8       kristaps 1088: {
1.48      kristaps 1089:        struct eqn_node *ep;
1.8       kristaps 1090:
1.48      kristaps 1091:        ep = *epp;
                   1092:        *epp = NULL;
1.8       kristaps 1093:
1.48      kristaps 1094:        ep->eqn.root = mandoc_calloc(1, sizeof(struct eqn_box));
                   1095:        ep->eqn.root->expectargs = UINT_MAX;
                   1096:        return(0 == eqn_parse(ep, ep->eqn.root) ? ROFF_EQN : ROFF_IGN);
1.12      kristaps 1097: }
                   1098:
1.48      kristaps 1099: void
                   1100: eqn_free(struct eqn_node *p)
1.12      kristaps 1101: {
                   1102:        int              i;
1.8       kristaps 1103:
1.48      kristaps 1104:        eqn_box_free(p->eqn.root);
                   1105:
                   1106:        for (i = 0; i < (int)p->defsz; i++) {
                   1107:                free(p->defs[i].key);
                   1108:                free(p->defs[i].val);
                   1109:        }
1.8       kristaps 1110:
1.48      kristaps 1111:        free(p->eqn.name);
                   1112:        free(p->data);
                   1113:        free(p->defs);
                   1114:        free(p);
1.1       kristaps 1115: }

CVSweb