123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996 |
- /*************************************************************************
- * Copyright (c) 2011 AT&T Intellectual Property
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution, and is available at
- * https://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors: Details at https://graphviz.org
- *************************************************************************/
- #ifdef __cplusplus
- extern "C" {
- #endif
- /*
- * grammar support routines
- * stuffed in a header so exparse.y can work
- * with both yacc and bison
- */
- #if !defined(_EXGRAM_H) && ( defined(MINTOKEN) || defined(YYTOKENTYPE) )
- #define _EXGRAM_H
- #include <cgraph/gv_ctype.h>
- #include <expr/exlib.h>
- #include <stdbool.h>
- #include <stdio.h>
- #include <stdlib.h>
- #include <util/agxbuf.h>
- #define ex_lex() extoken_fn(expr.program)
- #define ALLOCATE(p,x) exalloc(p,sizeof(x))
- static int a2t[] = { 0, FLOATING, INTEGER, STRING };
- static Switch_t swstate;
- Exstate_t expr;
- static int T(long t) {
- if (expr.program->disc->types)
- return expr.program->disc->types[t & TMASK];
- else
- return a2t[t & TMASK];
- }
- /*
- * allocate and initialize a new expression node in the current program
- */
- Exnode_t *exnewnode(Expr_t *p, long op, bool binary, long type, Exnode_t *left,
- Exnode_t *right) {
- Exnode_t* x;
- x = ALLOCATE(p, Exnode_t);
- *x = (Exnode_t){0};
- x->op = op;
- x->type = type;
- x->binary = binary;
- x->data.operand.left = left;
- x->data.operand.right = right;
- return x;
- }
- /*
- * free node x and its children
- */
- void
- exfreenode(Expr_t* p, Exnode_t* x)
- {
- Print_t* pr;
- Exref_t* r;
- Print_t* pn;
- Exref_t* rn;
- switch (x->op)
- {
- case CALL:
- if (x->data.call.args)
- exfreenode(p, x->data.call.args);
- break;
- case CONSTANT:
- break;
- case DEFAULT:
- if (x->data.select.next)
- exfreenode(p, x->data.select.next);
- break;
- case DYNAMIC:
- if (x->data.variable.index)
- exfreenode(p, x->data.variable.index);
- if (x->data.variable.symbol->local)
- {
- dtclose(x->data.variable.symbol->local);
- x->data.variable.symbol->local = NULL;
- }
- break;
- case '#':
- if (x->data.variable.symbol->local) {
- dtclose(x->data.variable.symbol->local);
- x->data.variable.symbol->local = NULL;
- }
- break;
- // case IN_OP:
- case UNSET:
- if (x->data.variable.index)
- exfreenode(p, x->data.variable.index);
- if (x->data.variable.symbol->local) {
- dtclose(x->data.variable.symbol->local);
- x->data.variable.symbol->local = NULL;
- }
- break;
- case ITERATE:
- case ITERATOR:
- if (x->data.generate.statement)
- exfreenode(p, x->data.generate.statement);
- break;
- case ID:
- rn = x->data.variable.reference;
- while ((r = rn))
- {
- rn = r->next;
- vmfree(p->vm, r);
- }
- if (x->data.variable.index)
- exfreenode(p, x->data.variable.index);
- break;
- case GSUB:
- case SUB:
- case SUBSTR:
- exfreenode(p, x->data.string.base);
- exfreenode(p, x->data.string.pat);
- if (x->data.string.repl)
- exfreenode(p, x->data.string.repl);
- break;
- case TOKENS:
- case SPLIT:
- if (x->data.split.seps)
- exfreenode(p, x->data.split.seps);
- exfreenode(p, x->data.split.string);
- if (x->data.split.array->local) {
- dtclose(x->data.split.array->local);
- x->data.split.array->local = NULL;
- }
- break;
- case PRINT:
- exfreenode(p, x->data.operand.left);
- break;
- case PRINTF:
- case SPRINTF:
- if (x->data.print.descriptor)
- exfreenode(p, x->data.print.descriptor);
- pn = x->data.print.args;
- while ((pr = pn))
- {
- size_t i;
- for (i = 0; i < elementsof(pr->param) && pr->param[i]; i++)
- exfreenode(p, pr->param[i]);
- if (pr->arg)
- exfreenode(p, pr->arg);
- pn = pr->next;
- vmfree(p->vm, pr);
- }
- break;
- default:
- if (x->data.operand.left)
- exfreenode(p, x->data.operand.left);
- if (x->data.operand.right)
- exfreenode(p, x->data.operand.right);
- break;
- }
- vmfree(p->vm, x);
- }
- /* extract:
- * Given an argument list, extract first argument,
- * check its type, reset argument list, and
- * return first argument.
- * Return 0 on failure.
- */
- static Exnode_t *extract(Expr_t * p, Exnode_t ** argp, int type) {
- Exnode_t *args = *argp;
- Exnode_t *left;
- if (!args || (type != args->data.operand.left->type))
- return 0;
- *argp = args->data.operand.right;
- left = args->data.operand.left;
- args->data.operand.left = args->data.operand.right = 0;
- exfreenode(p, args);
- return left;
- }
- /* exnewsplit:
- * Generate split/tokens node.
- * Fifth argument is optional.
- */
- static Exnode_t *exnewsplit(Expr_t *p, long op, Exid_t *dyn, Exnode_t *s,
- Exnode_t *seps) {
- Exnode_t *ss = 0;
- if (dyn->local == NULL)
- exerror("cannot use non-array %s in %s", dyn->name, exopname(op));
- if ((dyn->index_type > 0) && (dyn->index_type != INTEGER))
- exerror("in %s, array %s must have integer index type, not %s",
- exopname(op), dyn->name, extypename(p, s->type));
- if (dyn->type != STRING)
- exerror("in %s, array %s entries must have string type, not %s",
- exopname(op), dyn->name, extypename(p, s->type));
- if (s->type != STRING)
- exerror("first argument to %s must have string type, not %s",
- exopname(op), extypename(p, s->type));
- if (seps && (seps->type != STRING))
- exerror("third argument to %s must have string type, not %s",
- exopname(op), extypename(p, seps->type));
- ss = exnewnode(p, op, false, INTEGER, NULL, NULL);
- ss->data.split.array = dyn;
- ss->data.split.string = s;
- ss->data.split.seps = seps;
- return ss;
- }
- /* exnewsub:
- * Generate sub node.
- * Third argument is optional.
- */
- static Exnode_t *exnewsub(Expr_t * p, Exnode_t * args, int op) {
- Exnode_t *base;
- Exnode_t *pat;
- Exnode_t *repl;
- Exnode_t *ss = 0;
- base = extract(p, &args, STRING);
- if (!base)
- exerror("invalid first argument to sub operator");
- pat = extract(p, &args, STRING);
- if (!pat)
- exerror("invalid second argument to sub operator");
- if (args) {
- repl = extract(p, &args, STRING);
- if (!repl)
- exerror("invalid third argument to sub operator");
- } else
- repl = 0;
- if (args)
- exerror("too many arguments to sub operator");
- ss = exnewnode(p, op, false, STRING, NULL, NULL);
- ss->data.string.base = base;
- ss->data.string.pat = pat;
- ss->data.string.repl = repl;
- return ss;
- }
- /* exnewsubstr:
- * Generate substr node.
- */
- static Exnode_t *exnewsubstr(Expr_t * p, Exnode_t * args) {
- Exnode_t *base;
- Exnode_t *pat;
- Exnode_t *repl;
- Exnode_t *ss = 0;
- base = extract(p, &args, STRING);
- if (!base)
- exerror("invalid first argument to substr operator");
- pat = extract(p, &args, INTEGER);
- if (!pat)
- exerror("invalid second argument to substr operator");
- if (args) {
- repl = extract(p, &args, INTEGER);
- if (!repl)
- exerror("invalid third argument to substr operator");
- } else
- repl = 0;
- if (args)
- exerror("too many arguments to substr operator");
- ss = exnewnode(p, SUBSTR, false, STRING, NULL, NULL);
- ss->data.string.base = base;
- ss->data.string.pat = pat;
- ss->data.string.repl = repl;
- return ss;
- }
- /* exstringOf:
- * Cast x to type STRING
- * Assume x->type != STRING
- */
- static Exnode_t *exstringOf(Expr_t * p, Exnode_t * x) {
- const long type = x->type;
- int cvt = 0;
- if (!type) {
- x->type = STRING;
- return x;
- }
- if (!BUILTIN(type) && !p->disc->stringof)
- exerror("cannot convert %s to STRING", extypename(p, type));
- if (x->op != CONSTANT) {
- if (!BUILTIN(type)) {
- if (p->disc->stringof(p, x, 1) < 0) {
- exerror("cannot convert %s to STRING",
- extypename(p, type));
- }
- cvt = XPRINT;
- } else
- switch (type) {
- case FLOATING:
- cvt = F2S;
- break;
- case INTEGER:
- cvt = I2S;
- break;
- }
- x = exnewnode(p, cvt, false, STRING, x, 0);
- } else if (!BUILTIN(type)) {
- if (p->disc->stringof(p, x, 0) < 0)
- exerror("cannot convert constant %s to STRING",
- extypename(p, x->type));
- } else
- switch (type) {
- case FLOATING:
- x->data.constant.value.string =
- exprintf(p->vm, "%g", x->data.constant.value.floating);
- break;
- case INTEGER:
- x->data.constant.value.string =
- exprintf(p->vm, "%lld", x->data.constant.value.integer);
- break;
- default:
- exerror("internal error: %ld: unknown type", type);
- break;
- }
- x->type = STRING;
- return x;
- }
- /* exprint:
- * Generate argument list of strings.
- */
- static Exnode_t *exprint(Expr_t * p, Exid_t * ex, Exnode_t * args) {
- Exnode_t *arg = args;
- Exnode_t *pr;
- while (arg) {
- if (arg->data.operand.left->type != STRING)
- arg->data.operand.left =
- exstringOf(p, arg->data.operand.left);
- arg = arg->data.operand.right;
- }
- pr = exnewnode(p, ex->index, true, ex->type, args, NULL);
- return pr;
- }
- /* makeVar:
- *
- * Create variable from s[idx].refs
- * If s is DYNAMIC, refs is non-empty and dyna represents s[idx].
- * The rightmost element in s[idx].refs becomes the dominant symbol,
- * and the prefix gets stored in refs. (This format is used to simplify
- * the yacc parser.)
- */
- static Exnode_t *makeVar(Expr_t * prog, Exid_t * s, Exnode_t * idx,
- Exnode_t * dyna, Exref_t * refs) {
- Exnode_t *nn;
- Exid_t *sym;
- /* parse components */
- if (refs) {
- if (refs->next) {
- sym = refs->next->symbol;
- refs->next->symbol = refs->symbol;
- } else
- sym = refs->symbol;
- refs->symbol = s;
- refs->index = idx;
- } else
- sym = s;
- const long kind = sym->type ? sym->type : STRING;
- nn = exnewnode(prog, ID, false, kind, NULL, NULL);
- nn->data.variable.symbol = sym;
- nn->data.variable.reference = refs;
- nn->data.variable.index = 0;
- nn->data.variable.dyna = dyna;
- if (!prog->disc->getf)
- exerror("%s: identifier references not supported", sym->name);
- else if (expr.program->disc->reff)
- expr.program->disc->reff(prog, nn, nn->data.variable.symbol, refs);
- return nn;
- }
- /*
- * cast x to type
- */
- static char* typename[] =
- {
- "external", "integer", "unsigned", "char", "float", "string"
- };
- static int typecast[6][6] =
- {
- {X2X, X2I, X2I, X2I, X2F, X2S},
- {I2X, 0, 0, 0, I2F, I2S},
- {I2X, 0, 0, 0, I2F, I2S},
- {I2X, 0, 0, 0, I2F, I2S},
- {F2X, F2I, F2I, F2I, 0, F2S},
- {S2X, S2I, S2I, S2I, S2F, 0},
- };
- #define TYPEINDEX(t) (((t)>=INTEGER&&(t)<=STRING)?((t)-INTEGER+1):0)
- #define TYPENAME(t) typename[TYPEINDEX(t)]
- #define TYPECAST(f,t) typecast[TYPEINDEX(f)][TYPEINDEX(t)]
- #define EXTERNAL(t) ((t)>=F2X)
- char *extypename(Expr_t *p, long type) {
- if (BUILTIN(type))
- return TYPENAME(type);
- return p->disc->typename(type);
- }
- /* exnoncast:
- * Return first non-cast node.
- */
- Exnode_t *exnoncast(Exnode_t * x) {
- while (x && (x->op >= F2I) && (x->op <= X2X))
- x = x->data.operand.left;
- return x;
- }
- Exnode_t *excast(Expr_t *p, Exnode_t *x, long type, Exnode_t *xref, int arg) {
- int t2t;
- char* s;
- char* e;
- if (x && x->type != type && type && type != VOIDTYPE)
- {
- if (!x->type)
- {
- x->type = type;
- return x;
- }
- if (!(t2t = TYPECAST(x->type, type)))
- return x;
- if (EXTERNAL(t2t) && !p->disc->convertf)
- exerror("cannot convert %s to %s", extypename(p, x->type), extypename(p, type));
- if (x->op != CONSTANT) {
- Exid_t *sym = (xref ? xref->data.variable.symbol : NULL);
- if (EXTERNAL(t2t)) {
- if (p->disc->convertf(x, type, 1) < 0) {
- if (xref) {
- if ((sym->lex == FUNCTION) && arg)
- exerror ("%s: cannot use value of type %s as argument %d in function %s",
- sym->name, extypename(p, x->type),
- arg, sym->name);
- else
- exerror("%s: cannot convert %s to %s",
- xref->data.variable.symbol->name,
- extypename(p, x->type),
- extypename(p, type));
- } else {
- exerror("cannot convert %s to %s",
- extypename(p, x->type), extypename(p, type));
- }
- }
- }
- x = exnewnode(p, t2t, false, type, x, xref);
- }
- else switch (t2t)
- {
- case F2X:
- case I2X:
- case S2X:
- case X2F:
- case X2I:
- case X2S:
- case X2X:
- if (xref && xref->op == ID)
- {
- if (p->disc->convertf(x, type, arg) < 0)
- exerror("%s: cannot cast constant %s to %s", xref->data.variable.symbol->name, extypename(p, x->type), extypename(p, type));
- }
- else if (p->disc->convertf(x, type, arg) < 0)
- exerror("cannot cast constant %s to %s", extypename(p, x->type), extypename(p, type));
- break;
- case F2I:
- x->data.constant.value.integer = x->data.constant.value.floating;
- break;
- case F2S:
- x->data.constant.value.string =
- exprintf(p->vm, "%g", x->data.constant.value.floating);
- break;
- case I2F:
- x->data.constant.value.floating = x->data.constant.value.integer;
- break;
- case I2S:
- x->data.constant.value.string =
- exprintf(p->vm, "%lld", x->data.constant.value.integer);
- break;
- case S2F:
- s = x->data.constant.value.string;
- x->data.constant.value.floating = strtod(s, &e);
- if (*e)
- x->data.constant.value.floating = (*s != 0);
- break;
- case S2I:
- s = x->data.constant.value.string;
- x->data.constant.value.integer = strtoll(s, &e, 0);
- if (*e)
- x->data.constant.value.integer = (*s != 0);
- break;
- default:
- exerror("internal error: %d: unknown cast op", t2t);
- break;
- }
- x->type = type;
- }
- return x;
- }
- /*
- * check function call arg types and count
- * return function identifier node
- */
- static Exnode_t*
- call(Exref_t* ref, Exid_t* fun, Exnode_t* args)
- {
- int type;
- Exnode_t* x;
- int num;
- x = exnewnode(expr.program, ID, false, 0, NULL, NULL);
- long t = fun->type;
- x->data.variable.symbol = fun;
- x->data.variable.reference = ref;
- num = 0;
- N(t);
- while ((type = T(t)))
- {
- if (!args)
- {
- exerror("%s: not enough args", fun->name);
- return args;
- }
- num++;
- if (type != args->data.operand.left->type)
- args->data.operand.left = excast(expr.program, args->data.operand.left, type, NULL, num);
- args = args->data.operand.right;
- N(t);
- }
- if (args)
- exerror("%s: too many args", fun->name);
- return x;
- }
- /*
- * precompile a printf/scanf call
- */
- static Print_t*
- preprint(Exnode_t* args)
- {
- Print_t* x;
- char* s;
- char c;
- int t;
- int i;
- int n;
- char* e;
- char* f;
- Print_t* p = 0;
- Print_t* q;
- if (!args || args->data.operand.left->type != STRING)
- exerror("format string argument expected");
- if (args->data.operand.left->op != CONSTANT)
- {
- x = ALLOCATE(expr.program, Print_t);
- *x = (Print_t){0};
- x->arg = args;
- return x;
- }
- f = args->data.operand.left->data.constant.value.string;
- args = args->data.operand.right;
- for (s = f; *s; s++)
- {
- agxbputc(&expr.program->tmp, *s);
- if (*s == '%')
- {
- if (!*++s)
- exerror("%s: trailing %% in format", f);
- if (*s != '%')
- break;
- if (args)
- agxbputc(&expr.program->tmp, '%');
- }
- }
- x = 0;
- for (;;)
- {
- q = ALLOCATE(expr.program, Print_t);
- if (x)
- x->next = q;
- else
- p = q;
- x = q;
- *x = (Print_t){0};
- if (*s)
- {
- i = 0;
- t = INTEGER;
- for (;;)
- {
- switch (c = *s++)
- {
- case 0:
- exerror("unterminated %%... in format");
- goto done;
- case '*':
- if (i >= (int)elementsof(x->param))
- {
- *s = 0;
- exerror("format %s has too many * arguments", f);
- goto done;
- }
- if (!args)
- {
- *s = 0;
- exerror("format %s * argument expected", f);
- goto done;
- }
- x->param[i++] = args->data.operand.left;
- args = args->data.operand.right;
- break;
- case '(':
- n = 1;
- for (;;)
- {
- agxbputc(&expr.program->tmp, c);
- switch (c = *s++)
- {
- case 0:
- s--;
- break;
- case '(':
- n++;
- continue;
- case ')':
- if (--n <= 0)
- break;
- continue;
- default:
- continue;
- }
- break;
- }
- break;
- case 'c':
- case 'd':
- goto specified;
- case 'e':
- case 'f':
- case 'g':
- t = FLOATING;
- goto specified;
- case 'h':
- exerror("short formats not supported");
- goto done;
- case 'l':
- t = INTEGER;
- break;
- case 'o':
- case 'u':
- case 'x':
- case 'T':
- t = UNSIGNED;
- goto specified;
- case 's':
- case 'S':
- t = STRING;
- goto specified;
- default:
- if (gv_isalpha(c))
- goto specified;
- break;
- }
- agxbputc(&expr.program->tmp, c);
- }
- specified:
- agxbputc(&expr.program->tmp, c);
- for (e = s; *s; s++)
- {
- if (*s == '%')
- {
- if (!*++s)
- {
- *e = 0;
- exerror("%s: trailing %% in format", f);
- goto done;
- }
- if (*s != '%')
- {
- s--;
- break;
- }
- }
- agxbputc(&expr.program->tmp, *s);
- }
- if (!args)
- {
- *e = 0;
- exerror("%s format argument expected", f);
- goto done;
- }
- x->arg = args->data.operand.left;
- switch (t)
- {
- case FLOATING:
- if (x->arg->type != FLOATING)
- x->arg = exnewnode(expr.program,
- x->arg->type == STRING ? S2F : INTEGRAL(x->arg->type) ? I2F : X2F,
- false, FLOATING, x->arg,
- x->arg->op == ID ? x->arg : NULL);
- break;
- case INTEGER:
- case UNSIGNED:
- if (!INTEGRAL(x->arg->type))
- x->arg = exnewnode(expr.program,
- x->arg->type == STRING ? S2I : x->arg->type == FLOATING ? F2I : X2I,
- false, INTEGER, x->arg,
- x->arg->op == ID ? x->arg : NULL);
- x->arg->type = t;
- break;
- case STRING:
- if (x->arg->type != STRING)
- {
- if (x->arg->op == CONSTANT && x->arg->data.constant.reference && expr.program->disc->convertf)
- {
- if (expr.program->disc->convertf(x->arg, STRING, 0) < 0)
- exerror("cannot convert string format argument");
- else x->arg->data.constant.value.string = vmstrdup(expr.program->vm, x->arg->data.constant.value.string);
- }
- else if (!expr.program->disc->convertf || (x->arg->op != ID && x->arg->op != DYNAMIC && x->arg->op != F2X && x->arg->op != I2X && x->arg->op != S2X))
- exerror("string format argument expected");
- else
- x->arg = exnewnode(expr.program,
- x->arg->type == FLOATING ? F2S : INTEGRAL(x->arg->type) ? I2S : X2S,
- false, STRING, x->arg,
- x->arg->op == ID ? x->arg : NULL);
- }
- break;
- }
- args = args->data.operand.right;
- }
- x->format = vmstrdup(expr.program->vm, agxbuse(&expr.program->tmp));
- if (x->format == NULL) {
- x->format = exnospace();
- }
- if (!*s)
- break;
- f = s;
- }
- if (args)
- exerror("too many format arguments");
- done:
- agxbclear(&expr.program->tmp);
- return p;
- }
- /*
- * push a new input stream and program
- */
- int expush(Expr_t *p, const char *name, int line, FILE *fp) {
- Exinput_t* in;
- if (!(in = calloc(1, sizeof(Exinput_t))))
- {
- exnospace();
- return -1;
- }
- if (!p->input)
- p->input = &expr.null;
- if ((in->fp = fp))
- in->close = 0;
- else if (name)
- {
- if (!(in->fp = fopen(name, "r")))
- {
- exerror("%s: file not found", name);
- }
- else
- {
- name = vmstrdup(p->vm, name);
- in->close = 1;
- }
- }
- if (!(in->next = p->input)->next)
- {
- p->errors = 0;
- if (line >= 0)
- error_info.line = line;
- }
- else if (line >= 0)
- error_info.line = line;
- setcontext(p);
- p->eof = 0;
- p->input = in;
- in->file = error_info.file;
- if (line >= 0)
- error_info.file = (char*)name;
- in->line = error_info.line;
- in->nesting = 0;
- in->unit = !name && !line;
- p->program = expr.program;
- expr.program = p;
- return 0;
- }
- /*
- * pop the current input stream
- */
- int
- expop(Expr_t* p)
- {
- int c;
- Exinput_t* in;
- if (!(in = p->input) || !in->next || in->unit)
- return -1;
- if (in->nesting)
- exerror("unbalanced quote or nesting construct");
- error_info.file = in->file;
- if (in->next->next)
- error_info.line = in->line;
- else
- {
- if (p->errors && in->fp && p->linep != p->line)
- while ((c = getc(in->fp)) != EOF)
- if (c == '\n')
- {
- error_info.line++;
- break;
- }
- error_info.line = in->line;
- }
- if (in->fp && in->close)
- fclose(in->fp);
- free(in->pushback);
- p->input = in->next;
- free(in);
- setcontext(p);
- if (p->program)
- expr.program = p->program;
- return 0;
- }
- /*
- * clear global state of stale pointers
- */
- void exinit(void) { expr = (Exstate_t){0}; }
- int excomp(Expr_t *p, const char *name, int line, FILE *fp, char *prefix) {
- int eof;
- eof = p->eof;
- if (expush(p, name, line, fp))
- return -1;
- p->input->unit = line >= 0;
- // insert prefix as pre-loaded pushback
- p->input->pushback = p->input->pp = prefix;
- ex_parse();
- p->input->unit = 0;
- expop(p);
- p->eof = eof;
- return 0;
- }
- /*
- * free the program p
- */
- void
- exclose(Expr_t* p, int all)
- {
- Exinput_t* in;
- if (p)
- {
- if (all)
- {
- size_t i;
- for (i = 3; i < elementsof(p->file); i++)
- if (p->file[i])
- fclose(p->file[i]);
- if (p->vm)
- vmclose(p->vm);
- if (p->ve)
- vmclose(p->ve);
- if (p->symbols)
- dtclose(p->symbols);
- agxbfree(&p->tmp);
- while ((in = p->input))
- {
- free(in->pushback);
- if (in->fp && in->close)
- fclose(in->fp);
- if ((p->input = in->next))
- free(in);
- }
- free(p);
- }
- else
- {
- vmclear(p->ve);
- p->main.value = 0;
- }
- }
- }
- /* checkBinary:
- * See if application wants to allow the given expression
- * combination. l and r give the operands; the operator
- * is given by ex. r may be NULL.
- */
- static void
- checkBinary(Expr_t * p, Exnode_t * l, Exnode_t * ex, Exnode_t * r)
- {
- if (p->disc->binaryf(l, ex, r, 1) < 0) {
- if (r)
- exerror
- ("cannot apply operator %s to expressions of types %s and %s",
- exopname(ex->op), extypename(p, l->type),
- extypename(p, r->type));
- else
- exerror
- ("cannot apply operator %s to expression of type %s",
- exopname(ex->op), extypename(p, l->type));
- }
- }
- /* checkName:
- * We allow parser to accept any name in a declaration, in
- * order to check that the name is undeclared and give a better
- * error message if it isn't.
- */
- static void checkName(Exid_t * id)
- {
- switch (id->lex) {
- case DYNAMIC:
- exerror("Variable \"%s\" already declared", id->name);
- break;
- case FUNCTION:
- exerror("Name \"%s\" already used as a function", id->name);
- break;
- case ID:
- exerror("Name \"%s\" already used as a keyword", id->name);
- break;
- case NAME:
- break;
- default:
- error(ERROR_PANIC,
- "Unexpected token \"%s\" as name in dcl_item", id->name);
- break;
- }
- }
- static int cmpKey(void *k1, void *k2) {
- const Extype_t *key1 = k1;
- const Extype_t *key2 = k2;
- if (key1->integer < key2->integer)
- return -1;
- else if (key1->integer > key2->integer)
- return 1;
- else
- return 0;
- }
- int
- exisAssign(Exnode_t * n)
- {
- return n->op == '=' && n->subop == '=';
- }
- #endif
- #ifdef __cplusplus
- }
- #endif
|