src/common/caldefn.c

/* Copyright (c) 1991 Regents of the University of California */

#ifndef lint
static char SCCSid[] = "$SunId$ LBL";
#endif

/*
 *  Store variable definitions.
 *
 *  7/1/85  Greg Ward
 *
 *  11/11/85  Added conditional compiles (OUTCHAN) for control output.
 *
 *  4/2/86  Added conditional compiles for function definitions (FUNCTION).
 *
 *  1/15/88  Added clock for caching of variable values.
 *
 *  11/16/88  Added VARDEF structure for hard linking.
 *
 *  5/31/90  Added conditional compile (REDEFW) for redefinition warning.
 *
 *  4/23/91  Added ':' assignment for constant expressions
 *
 *  8/7/91  Added optional context path to append to variable names
 */

#include  <stdio.h>

#include  <ctype.h>

#include  "calcomp.h"

#ifndef  NHASH
#define  NHASH          521             /* hash size (a prime!) */
#endif

#define  newnode()      (EPNODE *)ecalloc(1, sizeof(EPNODE))

extern char  *ecalloc(), *savestr(), *strcpy();

static double  dvalue();

long  eclock = -1;                      /* value storage timer */

static char  context[MAXWORD];          /* current context path */

static VARDEF  *hashtbl[NHASH];         /* definition list */
static int  htndx;                      /* index for */         
static VARDEF  *htpos;                  /* ...dfirst() and */
#ifdef  OUTCHAN
static EPNODE  *ochpos;                 /* ...dnext */
static EPNODE  *outchan;
#endif

#ifdef  FUNCTION
EPNODE  *curfunc;
#define  dname(ep)      ((ep)->v.kid->type == SYM ? \
                        (ep)->v.kid->v.name : \
                        (ep)->v.kid->v.kid->v.name)
#else
#define  dname(ep)      ((ep)->v.kid->v.name)
#endif


fcompile(fname)                 /* get definitions from a file */
char  *fname;
{
    FILE  *fp;

    if (fname == NULL)
        fp = stdin;
    else if ((fp = fopen(fname, "r")) == NULL) {
        eputs(fname);
        eputs(": cannot open\n");
        quit(1);
    }
    initfile(fp, fname, 0);
    while (nextc != EOF)
        getstatement();
    if (fname != NULL)
        fclose(fp);
}


scompile(str, fn, ln)           /* get definitions from a string */
char  *str;
char  *fn;
int  ln;
{
    initstr(str, fn, ln);
    while (nextc != EOF)
        getstatement();
}


double
varvalue(vname)                 /* return a variable's value */
char  *vname;
{
    return(dvalue(vname, dlookup(vname)));
}


double
evariable(ep)                   /* evaluate a variable */
EPNODE  *ep;
{
    register VARDEF  *dp = ep->v.ln;

    return(dvalue(dp->name, dp->def));
}


varset(vname, assign, val)      /* set a variable's value */
char  *vname;
int  assign;
double  val;
{
    char  *qname;
    register EPNODE  *ep1, *ep2;
                                        /* get qualified name */
    qname = qualname(vname, 0);
                                        /* check for quick set */
    if ((ep1 = dlookup(qname)) != NULL && ep1->v.kid->type == SYM) {
        ep2 = ep1->v.kid->sibling;
        if (ep2->type == NUM) {
            ep2->v.num = val;
            ep1->type = assign;
            return;
        }
    }
                                        /* hand build definition */
    ep1 = newnode();
    ep1->type = assign;
    ep2 = newnode();
    ep2->type = SYM;
    ep2->v.name = savestr(vname);
    addekid(ep1, ep2);
    ep2 = newnode();
    ep2->type = NUM;
    ep2->v.num = val;
    addekid(ep1, ep2);
    dremove(qname);
    dpush(qname, ep1);
}


dclear(name)                    /* delete variable definitions of name */
char  *name;
{
    register EPNODE  *ep;

    while ((ep = dpop(name)) != NULL) {
        if (ep->type == ':') {
            dpush(name, ep);            /* don't clear constants */
            return;
        }
        epfree(ep);
    }
}


dremove(name)                   /* delete all definitions of name */
char  *name;
{
    register EPNODE  *ep;

    while ((ep = dpop(name)) != NULL)
        epfree(ep);
}


vardefined(name)        /* return non-zero if variable defined */
char  *name;
{
    register EPNODE  *dp;

    return((dp = dlookup(name)) != NULL && dp->v.kid->type == SYM);
}


char *
setcontext(ctx)                 /* set a new context path */
register char  *ctx;
{
    register char  *cpp;

    if (ctx == NULL)
        return(context);                /* just asking */
    if (!*ctx) {
        context[0] = '\0';              /* clear context */
        return(context);
    }
    cpp = context;                      /* else copy it (carefully!) */
    if (*ctx != CNTXMARK)
        *cpp++ = CNTXMARK;              /* make sure there's a mark */
    do {
        if (cpp >= context+MAXWORD-1) {
            *cpp = '\0';
            wputs(context);
            wputs(": context path too long\n");
            return(NULL);
        }
        if (isid(*ctx))
            *cpp++ = *ctx++;
        else {
            *cpp++ = '_'; ctx++;
        }
    } while (*ctx);
    *cpp = '\0';
    return(context);
}


char *
qualname(nam, lvl)              /* get qualified name */
register char  *nam;
int  lvl;
{
    static char  nambuf[MAXWORD];
    register char  *cp = nambuf, *cpp;
                                /* check for explicit local */
    if (*nam == CNTXMARK)
        if (lvl > 0)            /* only action is to refuse search */
            return(NULL);
        else
            nam++;
    else if (nam == nambuf)     /* check for repeat call */
        return(lvl > 0 ? NULL : nam);
                                /* copy name to static buffer */
    while (*nam) {
        if (cp >= nambuf+MAXWORD-1)
                goto toolong;
        *cp++ = *nam++;
    }
                                /* check for explicit global */
    if (cp > nambuf && cp[-1] == CNTXMARK) {
        if (lvl > 0)
            return(NULL);
        *--cp = '\0';
        return(nambuf);         /* already qualified */
    }
    cpp = context;              /* else skip the requested levels */
    while (lvl-- > 0) {
        if (!*cpp)
            return(NULL);       /* return NULL if past global level */
        while (*++cpp && *cpp != CNTXMARK)
            ;
    }
    while (*cpp) {              /* copy context to static buffer */
        if (cp >= nambuf+MAXWORD-1)
            goto toolong;
        *cp++ = *cpp++;
    }
    *cp = '\0';
    return(nambuf);             /* return qualified name */
toolong:
    *cp = '\0';
    eputs(nambuf);
    eputs(": name too long\n");
    quit(1);
}


incontext(qn)                   /* is qualified name in current context? */
register char  *qn;
{
    while (*qn && *qn != CNTXMARK)      /* find context mark */
        ;
    return(!strcmp(qn, context));
}


#ifdef  OUTCHAN
chanout(cs)                     /* set output channels */
int  (*cs)();
{
    register EPNODE  *ep;

    for (ep = outchan; ep != NULL; ep = ep->sibling)
        (*cs)(ep->v.kid->v.chan, evalue(ep->v.kid->sibling));

}
#endif


dcleanup(lvl)           /* clear definitions (0->vars,1->output,2->consts) */
int  lvl;
{
    register int  i;
    register VARDEF  *vp;
    register EPNODE  *ep;
                                /* if context is global, clear all */
    for (i = 0; i < NHASH; i++)
        for (vp = hashtbl[i]; vp != NULL; vp = vp->next)
            if (!context[0] || incontext(vp->name))
                if (lvl >= 2)
                    dremove(vp->name);
                else
                    dclear(vp->name);
#ifdef  OUTCHAN
    if (lvl >= 1) {
        for (ep = outchan; ep != NULL; ep = ep->sibling)
            epfree(ep);
        outchan = NULL;
    }
#endif
}


EPNODE *
dlookup(name)                   /* look up a definition */
char  *name;
{
    register VARDEF  *vp;
    
    if ((vp = varlookup(name)) == NULL)
        return(NULL);
    return(vp->def);
}


VARDEF *
varlookup(name)                 /* look up a variable */
char  *name;
{
    int  lvl = 0;
    register char  *qname;
    register VARDEF  *vp;
                                /* find most qualified match */
    while ((qname = qualname(name, lvl++)) != NULL)
        for (vp = hashtbl[hash(qname)]; vp != NULL; vp = vp->next)
            if (!strcmp(vp->name, qname))
                return(vp);
    return(NULL);
}


VARDEF *
varinsert(name)                 /* get a link to a variable */
char  *name;
{
    register VARDEF  *vp;
    LIBR  *libp;
    int  hv;
    
    if ((vp = varlookup(name)) != NULL) {
        vp->nlinks++;
        return(vp);
    }
#ifdef  FUNCTION
    libp = liblookup(name);
#else
    libp = NULL;
#endif
    if (libp == NULL)                   /* if name not in library */
        name = qualname(name, 0);       /* use fully qualified version */
    hv = hash(name);
    vp = (VARDEF *)emalloc(sizeof(VARDEF));
    vp->name = savestr(name);
    vp->nlinks = 1;
    vp->def = NULL;
    vp->lib = libp;
    vp->next = hashtbl[hv];
    hashtbl[hv] = vp;
    return(vp);
}


varfree(ln)                             /* release link to variable */
register VARDEF  *ln;
{
    register VARDEF  *vp;
    int  hv;

    if (--ln->nlinks > 0)
        return;                         /* still active */

    hv = hash(ln->name);
    vp = hashtbl[hv];
    if (vp == ln)
        hashtbl[hv] = vp->next;
    else {
        while (vp->next != ln)          /* must be in list */
                vp = vp->next;
        vp->next = ln->next;
    }
    freestr(ln->name);
    efree((char *)ln);
}


EPNODE *
dfirst()                        /* return pointer to first definition */
{
    htndx = 0;
    htpos = NULL;
#ifdef  OUTCHAN
    ochpos = outchan;
#endif
    return(dnext());
}


EPNODE *
dnext()                         /* return pointer to next definition */
{
    register EPNODE  *ep;

    while (htndx < NHASH) {
        if (htpos == NULL)
                htpos = hashtbl[htndx++];
        while (htpos != NULL) {
            ep = htpos->def;
            htpos = htpos->next;
            if (ep != NULL)
                return(ep);
        }
    }
#ifdef  OUTCHAN
    if ((ep = ochpos) != NULL)
        ochpos = ep->sibling;
    return(ep);
#else
    return(NULL);
#endif
}


EPNODE *
dpop(name)                      /* pop a definition */
char  *name;
{
    register VARDEF  *vp;
    register EPNODE  *dp;
    
    if ((vp = varlookup(name)) == NULL || vp->def == NULL)
        return(NULL);
    dp = vp->def;
    vp->def = dp->sibling;
    varfree(vp);
    return(dp);
}


dpush(nm, ep)                   /* push on a definition */
char  *nm;
register EPNODE  *ep;
{
    register VARDEF  *vp;

    vp = varinsert(nm);
    ep->sibling = vp->def;
    vp->def = ep;
}


#ifdef  OUTCHAN
addchan(sp)                     /* add an output channel assignment */
EPNODE  *sp;
{
    int  ch = sp->v.kid->v.chan;
    register EPNODE  *ep, *epl;

    for (epl = NULL, ep = outchan; ep != NULL; epl = ep, ep = ep->sibling)
        if (ep->v.kid->v.chan >= ch) {
            if (epl != NULL)
                epl->sibling = sp;
            else
                outchan = sp;
            if (ep->v.kid->v.chan > ch)
                sp->sibling = ep;
            else {
                sp->sibling = ep->sibling;
                epfree(ep);
            }
            return;
        }
    if (epl != NULL)
        epl->sibling = sp;
    else
        outchan = sp;
    sp->sibling = NULL;

}
#endif


getstatement()                  /* get next statement */
{
    register EPNODE  *ep;
    char  *qname;
    register VARDEF  *vdef;

    if (nextc == ';') {         /* empty statement */
        scan();
        return;
    }
#ifdef  OUTCHAN
    if (nextc == '$') {         /* channel assignment */
        ep = getchan();
        addchan(ep);
    } else
#endif
    {                           /* ordinary definition */
        ep = getdefn();
        qname = qualname(dname(ep), 0);
#ifdef  REDEFW
        if ((vdef = varlookup(qname)) != NULL)
            if (vdef->def != NULL) {
                wputs(qname);
                if (vdef->def->type == ':')
                    wputs(": redefined constant expression\n");
                else
                    wputs(": redefined\n");
            }
#ifdef  FUNCTION
            else if (ep->v.kid->type == FUNC && vdef->lib != NULL) {
                wputs(qname);
                wputs(": definition hides library function\n");
            }
#endif
#endif
        if (ep->type == ':')
            dremove(qname);
        else
            dclear(qname);
        dpush(qname, ep);
    }
    if (nextc != EOF) {
        if (nextc != ';')
            syntax("';' expected");
        scan();
    }
}


EPNODE *
getdefn()                       /* A -> SYM = E1 */
                                /*      SYM : E1 */
                                /*      FUNC(SYM,..) = E1 */
                                /*      FUNC(SYM,..) : E1 */
{
    register EPNODE  *ep1, *ep2;

    if (!isalpha(nextc))
        syntax("illegal variable name");

    ep1 = newnode();
    ep1->type = SYM;
    ep1->v.name = savestr(getname());

#ifdef  FUNCTION
    if (nextc == '(') {
        ep2 = newnode();
        ep2->type = FUNC;
        addekid(ep2, ep1);
        ep1 = ep2;
        do {
            scan();
            if (!isalpha(nextc))
                syntax("illegal variable name");
            ep2 = newnode();
            ep2->type = SYM;
            ep2->v.name = savestr(getname());
            addekid(ep1, ep2);
        } while (nextc == ',');
        if (nextc != ')')
            syntax("')' expected");
        scan();
        curfunc = ep1;
    } else
        curfunc = NULL;
#endif

    if (nextc != '=' && nextc != ':')
        syntax("'=' or ':' expected");

    ep2 = newnode();
    ep2->type = nextc;
    scan();
    addekid(ep2, ep1);
    addekid(ep2, getE1());

    if (
#ifdef  FUNCTION
            ep1->type == SYM &&
#endif
            ep1->sibling->type != NUM) {
        ep1 = newnode();
        ep1->type = TICK;
        ep1->v.tick = -1;
        addekid(ep2, ep1);
        ep1 = newnode();
        ep1->type = NUM;
        addekid(ep2, ep1);
    }

    return(ep2);
}


#ifdef  OUTCHAN
EPNODE *
getchan()                       /* A -> $N = E1 */
{
    register EPNODE  *ep1, *ep2;

    if (nextc != '$')
        syntax("missing '$'");
    scan();

    ep1 = newnode();
    ep1->type = CHAN;
    ep1->v.chan = getinum();

    if (nextc != '=')
        syntax("'=' expected");
    scan();

    ep2 = newnode();
    ep2->type = '=';
    addekid(ep2, ep1);
    addekid(ep2, getE1());

    return(ep2);
}
#endif


/*
 *  The following routines are for internal use only:
 */


static double
dvalue(name, d)                 /* evaluate a variable */
char  *name;
EPNODE  *d;
{
    register EPNODE  *ep1, *ep2;
    
    if (d == NULL || d->v.kid->type != SYM) {
        eputs(name);
        eputs(": undefined variable\n");
        quit(1);
    }
    ep1 = d->v.kid->sibling;                    /* get expression */
    if (ep1->type == NUM)
        return(ep1->v.num);                     /* return if number */
    ep2 = ep1->sibling;                         /* check time */
    if (ep2->v.tick < 0 || ep2->v.tick < eclock) {
        ep2->v.tick = d->type == ':' ? 1L<<30 : eclock;
        ep2 = ep2->sibling;
        ep2->v.num = evalue(ep1);               /* needs new value */
    } else
        ep2 = ep2->sibling;                     /* else reuse old value */

    return(ep2->v.num);
}


static int
hash(s)                         /* hash a string */
register char  *s;
{
    register int  rval = 0;

    while (*s)
        rval += *s++;
    
    return(rval % NHASH);
}
Revision:	1.17
Committed:	Fri Aug 9 08:27:56 1991 UTC (32 years, 8 months ago) by greg
Content type:	text/plain
Branch:	MAIN
Changes since 1.16:	+22 -21 lines
Log Message:	changed location of context mark for locals/globals
#	User	Rev	Content
1	greg	1.9	/* Copyright (c) 1991 Regents of the University of California */
2	greg	1.1
3			#ifndef lint
4			static char SCCSid[] = "$SunId$ LBL";
5			#endif
6
7			/*
8			* Store variable definitions.
9			*
10			* 7/1/85 Greg Ward
11			*
12			* 11/11/85 Added conditional compiles (OUTCHAN) for control output.
13			*
14			* 4/2/86 Added conditional compiles for function definitions (FUNCTION).
15			*
16			* 1/15/88 Added clock for caching of variable values.
17			*
18			* 11/16/88 Added VARDEF structure for hard linking.
19	greg	1.2	*
20			* 5/31/90 Added conditional compile (REDEFW) for redefinition warning.
21	greg	1.8	*
22	greg	1.10	* 4/23/91 Added ':' assignment for constant expressions
23	greg	1.13	*
24			* 8/7/91 Added optional context path to append to variable names
25	greg	1.1	*/
26
27			#include <stdio.h>
28
29			#include <ctype.h>
30
31			#include "calcomp.h"
32
33			#ifndef NHASH
34			#define NHASH 521 /* hash size (a prime!) */
35			#endif
36
37			#define newnode() (EPNODE *)ecalloc(1, sizeof(EPNODE))
38
39	greg	1.13	extern char ecalloc(), savestr(), *strcpy();
40	greg	1.1
41	greg	1.3	static double dvalue();
42	greg	1.1
43			long eclock = -1; /* value storage timer */
44
45	greg	1.13	static char context[MAXWORD]; /* current context path */
46
47	greg	1.1	static VARDEF hashtbl[NHASH]; / definition list */
48			static int htndx; /* index for */
49			static VARDEF htpos; / ...dfirst() and */
50			#ifdef OUTCHAN
51			static EPNODE ochpos; / ...dnext */
52			static EPNODE *outchan;
53			#endif
54
55			#ifdef FUNCTION
56			EPNODE *curfunc;
57			#define dname(ep) ((ep)->v.kid->type == SYM ? \
58			(ep)->v.kid->v.name : \
59			(ep)->v.kid->v.kid->v.name)
60			#else
61			#define dname(ep) ((ep)->v.kid->v.name)
62			#endif
63
64
65			fcompile(fname) /* get definitions from a file */
66			char *fname;
67			{
68			FILE *fp;
69
70			if (fname == NULL)
71			fp = stdin;
72			else if ((fp = fopen(fname, "r")) == NULL) {
73			eputs(fname);
74			eputs(": cannot open\n");
75			quit(1);
76			}
77	greg	1.4	initfile(fp, fname, 0);
78	greg	1.1	while (nextc != EOF)
79	greg	1.13	getstatement();
80	greg	1.1	if (fname != NULL)
81			fclose(fp);
82			}
83
84
85	greg	1.4	scompile(str, fn, ln) /* get definitions from a string */
86	greg	1.1	char *str;
87	greg	1.4	char *fn;
88			int ln;
89	greg	1.1	{
90	greg	1.4	initstr(str, fn, ln);
91	greg	1.1	while (nextc != EOF)
92	greg	1.13	getstatement();
93	greg	1.1	}
94
95
96			double
97			varvalue(vname) /* return a variable's value */
98			char *vname;
99			{
100			return(dvalue(vname, dlookup(vname)));
101			}
102
103
104			double
105			evariable(ep) /* evaluate a variable */
106			EPNODE *ep;
107			{
108			register VARDEF *dp = ep->v.ln;
109
110			return(dvalue(dp->name, dp->def));
111			}
112
113
114	greg	1.8	varset(vname, assign, val) /* set a variable's value */
115	greg	1.1	char *vname;
116	greg	1.8	int assign;
117	greg	1.1	double val;
118			{
119	greg	1.13	char *qname;
120	greg	1.1	register EPNODE ep1, ep2;
121	greg	1.13	/* get qualified name */
122			qname = qualname(vname, 0);
123	greg	1.1	/* check for quick set */
124	greg	1.13	if ((ep1 = dlookup(qname)) != NULL && ep1->v.kid->type == SYM) {
125	greg	1.1	ep2 = ep1->v.kid->sibling;
126			if (ep2->type == NUM) {
127			ep2->v.num = val;
128	greg	1.8	ep1->type = assign;
129	greg	1.1	return;
130			}
131			}
132			/* hand build definition */
133			ep1 = newnode();
134	greg	1.8	ep1->type = assign;
135	greg	1.1	ep2 = newnode();
136			ep2->type = SYM;
137			ep2->v.name = savestr(vname);
138			addekid(ep1, ep2);
139			ep2 = newnode();
140			ep2->type = NUM;
141			ep2->v.num = val;
142			addekid(ep1, ep2);
143	greg	1.13	dremove(qname);
144			dpush(qname, ep1);
145	greg	1.1	}
146
147
148	greg	1.8	dclear(name) /* delete variable definitions of name */
149	greg	1.1	char *name;
150			{
151			register EPNODE *ep;
152
153	greg	1.8	while ((ep = dpop(name)) != NULL) {
154			if (ep->type == ':') {
155	greg	1.13	dpush(name, ep); /* don't clear constants */
156	greg	1.8	return;
157			}
158			epfree(ep);
159			}
160			}
161
162
163			dremove(name) /* delete all definitions of name */
164			char *name;
165			{
166			register EPNODE *ep;
167
168	greg	1.1	while ((ep = dpop(name)) != NULL)
169			epfree(ep);
170			}
171
172
173			vardefined(name) /* return non-zero if variable defined */
174			char *name;
175			{
176			register EPNODE *dp;
177
178			return((dp = dlookup(name)) != NULL && dp->v.kid->type == SYM);
179			}
180
181
182	greg	1.13	char *
183			setcontext(ctx) /* set a new context path */
184			register char *ctx;
185			{
186			register char *cpp;
187
188			if (ctx == NULL)
189			return(context); /* just asking */
190			if (!*ctx) {
191			context[0] = '\0'; /* clear context */
192			return(context);
193			}
194			cpp = context; /* else copy it (carefully!) */
195			if (*ctx != CNTXMARK)
196			cpp++ = CNTXMARK; / make sure there's a mark */
197			do {
198			if (cpp >= context+MAXWORD-1) {
199			*cpp = '\0';
200			wputs(context);
201			wputs(": context path too long\n");
202			return(NULL);
203			}
204			if (isid(*ctx))
205			cpp++ = ctx++;
206			else {
207			*cpp++ = '_'; ctx++;
208			}
209			} while (*ctx);
210			*cpp = '\0';
211			return(context);
212			}
213
214
215			char *
216			qualname(nam, lvl) /* get qualified name */
217			register char *nam;
218			int lvl;
219			{
220			static char nambuf[MAXWORD];
221	greg	1.17	register char cp = nambuf, cpp;
222			/* check for explicit local */
223	greg	1.15	if (*nam == CNTXMARK)
224	greg	1.17	if (lvl > 0) /* only action is to refuse search */
225			return(NULL);
226			else
227			nam++;
228			else if (nam == nambuf) /* check for repeat call */
229			return(lvl > 0 ? NULL : nam);
230	greg	1.13	/* copy name to static buffer */
231			while (*nam) {
232			if (cp >= nambuf+MAXWORD-1)
233			goto toolong;
234	greg	1.17	cp++ = nam++;
235	greg	1.13	}
236	greg	1.17	/* check for explicit global */
237			if (cp > nambuf && cp[-1] == CNTXMARK) {
238	greg	1.13	if (lvl > 0)
239	greg	1.17	return(NULL);
240			*--cp = '\0';
241			return(nambuf); /* already qualified */
242			}
243			cpp = context; /* else skip the requested levels */
244			while (lvl-- > 0) {
245			if (!*cpp)
246			return(NULL); /* return NULL if past global level */
247			while (++cpp && cpp != CNTXMARK)
248			;
249			}
250	greg	1.13	while (cpp) { / copy context to static buffer */
251			if (cp >= nambuf+MAXWORD-1)
252			goto toolong;
253			cp++ = cpp++;
254			}
255			*cp = '\0';
256			return(nambuf); /* return qualified name */
257			toolong:
258			*cp = '\0';
259	greg	1.14	eputs(nambuf);
260			eputs(": name too long\n");
261			quit(1);
262	greg	1.13	}
263
264
265	greg	1.14	incontext(qn) /* is qualified name in current context? */
266			register char *qn;
267			{
268			while (qn && qn != CNTXMARK) /* find context mark */
269			;
270			return(!strcmp(qn, context));
271			}
272
273
274	greg	1.1	#ifdef OUTCHAN
275	greg	1.6	chanout(cs) /* set output channels */
276			int (*cs)();
277	greg	1.1	{
278			register EPNODE *ep;
279
280			for (ep = outchan; ep != NULL; ep = ep->sibling)
281	greg	1.6	(*cs)(ep->v.kid->v.chan, evalue(ep->v.kid->sibling));
282	greg	1.1
283			}
284			#endif
285
286
287	greg	1.12	dcleanup(lvl) /* clear definitions (0->vars,1->output,2->consts) */
288	greg	1.10	int lvl;
289	greg	1.1	{
290			register int i;
291			register VARDEF *vp;
292			register EPNODE *ep;
293	greg	1.14	/* if context is global, clear all */
294	greg	1.1	for (i = 0; i < NHASH; i++)
295			for (vp = hashtbl[i]; vp != NULL; vp = vp->next)
296	greg	1.14	if (!context[0] \|\| incontext(vp->name))
297			if (lvl >= 2)
298			dremove(vp->name);
299			else
300			dclear(vp->name);
301	greg	1.1	#ifdef OUTCHAN
302	greg	1.12	if (lvl >= 1) {
303	greg	1.9	for (ep = outchan; ep != NULL; ep = ep->sibling)
304			epfree(ep);
305			outchan = NULL;
306			}
307	greg	1.1	#endif
308			}
309
310
311			EPNODE *
312			dlookup(name) /* look up a definition */
313			char *name;
314			{
315			register VARDEF *vp;
316
317			if ((vp = varlookup(name)) == NULL)
318			return(NULL);
319			return(vp->def);
320			}
321
322
323			VARDEF *
324			varlookup(name) /* look up a variable */
325			char *name;
326			{
327	greg	1.13	int lvl = 0;
328			register char *qname;
329	greg	1.1	register VARDEF *vp;
330	greg	1.13	/* find most qualified match */
331			while ((qname = qualname(name, lvl++)) != NULL)
332			for (vp = hashtbl[hash(qname)]; vp != NULL; vp = vp->next)
333			if (!strcmp(vp->name, qname))
334			return(vp);
335	greg	1.1	return(NULL);
336			}
337
338
339			VARDEF *
340			varinsert(name) /* get a link to a variable */
341			char *name;
342			{
343			register VARDEF *vp;
344	greg	1.16	LIBR *libp;
345	greg	1.1	int hv;
346
347	greg	1.13	if ((vp = varlookup(name)) != NULL) {
348			vp->nlinks++;
349			return(vp);
350			}
351	greg	1.16	#ifdef FUNCTION
352			libp = liblookup(name);
353			#else
354			libp = NULL;
355			#endif
356			if (libp == NULL) /* if name not in library */
357			name = qualname(name, 0); /* use fully qualified version */
358	greg	1.1	hv = hash(name);
359			vp = (VARDEF *)emalloc(sizeof(VARDEF));
360			vp->name = savestr(name);
361			vp->nlinks = 1;
362			vp->def = NULL;
363	greg	1.16	vp->lib = libp;
364	greg	1.1	vp->next = hashtbl[hv];
365			hashtbl[hv] = vp;
366			return(vp);
367			}
368
369
370			varfree(ln) /* release link to variable */
371			register VARDEF *ln;
372			{
373			register VARDEF *vp;
374			int hv;
375
376			if (--ln->nlinks > 0)
377			return; /* still active */
378
379			hv = hash(ln->name);
380			vp = hashtbl[hv];
381			if (vp == ln)
382			hashtbl[hv] = vp->next;
383			else {
384			while (vp->next != ln) /* must be in list */
385			vp = vp->next;
386			vp->next = ln->next;
387			}
388			freestr(ln->name);
389			efree((char *)ln);
390			}
391
392
393			EPNODE *
394			dfirst() /* return pointer to first definition */
395			{
396			htndx = 0;
397			htpos = NULL;
398			#ifdef OUTCHAN
399			ochpos = outchan;
400			#endif
401			return(dnext());
402			}
403
404
405			EPNODE *
406			dnext() /* return pointer to next definition */
407			{
408			register EPNODE *ep;
409
410			while (htndx < NHASH) {
411			if (htpos == NULL)
412			htpos = hashtbl[htndx++];
413			while (htpos != NULL) {
414			ep = htpos->def;
415			htpos = htpos->next;
416			if (ep != NULL)
417			return(ep);
418			}
419			}
420			#ifdef OUTCHAN
421			if ((ep = ochpos) != NULL)
422			ochpos = ep->sibling;
423			return(ep);
424			#else
425			return(NULL);
426			#endif
427			}
428
429
430			EPNODE *
431			dpop(name) /* pop a definition */
432			char *name;
433			{
434			register VARDEF *vp;
435			register EPNODE *dp;
436
437			if ((vp = varlookup(name)) == NULL \|\| vp->def == NULL)
438			return(NULL);
439			dp = vp->def;
440			vp->def = dp->sibling;
441			varfree(vp);
442			return(dp);
443			}
444
445
446	greg	1.13	dpush(nm, ep) /* push on a definition */
447			char *nm;
448	greg	1.1	register EPNODE *ep;
449			{
450			register VARDEF *vp;
451
452	greg	1.13	vp = varinsert(nm);
453	greg	1.1	ep->sibling = vp->def;
454			vp->def = ep;
455			}
456
457
458			#ifdef OUTCHAN
459			addchan(sp) /* add an output channel assignment */
460			EPNODE *sp;
461			{
462			int ch = sp->v.kid->v.chan;
463			register EPNODE ep, epl;
464
465			for (epl = NULL, ep = outchan; ep != NULL; epl = ep, ep = ep->sibling)
466			if (ep->v.kid->v.chan >= ch) {
467			if (epl != NULL)
468			epl->sibling = sp;
469			else
470			outchan = sp;
471			if (ep->v.kid->v.chan > ch)
472			sp->sibling = ep;
473			else {
474			sp->sibling = ep->sibling;
475			epfree(ep);
476			}
477			return;
478			}
479			if (epl != NULL)
480			epl->sibling = sp;
481			else
482			outchan = sp;
483			sp->sibling = NULL;
484
485			}
486			#endif
487
488
489	greg	1.13	getstatement() /* get next statement */
490	greg	1.1	{
491			register EPNODE *ep;
492	greg	1.13	char *qname;
493	greg	1.16	register VARDEF *vdef;
494	greg	1.1
495			if (nextc == ';') { /* empty statement */
496			scan();
497			return;
498			}
499			#ifdef OUTCHAN
500			if (nextc == '$') { /* channel assignment */
501			ep = getchan();
502			addchan(ep);
503			} else
504			#endif
505			{ /* ordinary definition */
506			ep = getdefn();
507	greg	1.13	qname = qualname(dname(ep), 0);
508	greg	1.2	#ifdef REDEFW
509	greg	1.16	if ((vdef = varlookup(qname)) != NULL)
510			if (vdef->def != NULL) {
511			wputs(qname);
512			if (vdef->def->type == ':')
513			wputs(": redefined constant expression\n");
514			else
515			wputs(": redefined\n");
516			}
517	greg	1.8	#ifdef FUNCTION
518	greg	1.16	else if (ep->v.kid->type == FUNC && vdef->lib != NULL) {
519			wputs(qname);
520			wputs(": definition hides library function\n");
521			}
522	greg	1.8	#endif
523	greg	1.2	#endif
524	greg	1.10	if (ep->type == ':')
525	greg	1.13	dremove(qname);
526	greg	1.10	else
527	greg	1.13	dclear(qname);
528			dpush(qname, ep);
529	greg	1.1	}
530			if (nextc != EOF) {
531			if (nextc != ';')
532			syntax("';' expected");
533			scan();
534			}
535			}
536
537
538			EPNODE *
539			getdefn() /* A -> SYM = E1 */
540	greg	1.8	/* SYM : E1 */
541	greg	1.1	/* FUNC(SYM,..) = E1 */
542	greg	1.8	/* FUNC(SYM,..) : E1 */
543	greg	1.1	{
544			register EPNODE ep1, ep2;
545
546			if (!isalpha(nextc))
547			syntax("illegal variable name");
548
549			ep1 = newnode();
550			ep1->type = SYM;
551			ep1->v.name = savestr(getname());
552
553			#ifdef FUNCTION
554			if (nextc == '(') {
555			ep2 = newnode();
556			ep2->type = FUNC;
557			addekid(ep2, ep1);
558			ep1 = ep2;
559			do {
560			scan();
561			if (!isalpha(nextc))
562			syntax("illegal variable name");
563			ep2 = newnode();
564			ep2->type = SYM;
565			ep2->v.name = savestr(getname());
566			addekid(ep1, ep2);
567			} while (nextc == ',');
568			if (nextc != ')')
569			syntax("')' expected");
570			scan();
571			curfunc = ep1;
572			} else
573			curfunc = NULL;
574			#endif
575
576	greg	1.8	if (nextc != '=' && nextc != ':')
577			syntax("'=' or ':' expected");
578	greg	1.1
579			ep2 = newnode();
580	greg	1.8	ep2->type = nextc;
581			scan();
582	greg	1.1	addekid(ep2, ep1);
583			addekid(ep2, getE1());
584
585	greg	1.7	if (
586	greg	1.1	#ifdef FUNCTION
587	greg	1.7	ep1->type == SYM &&
588	greg	1.1	#endif
589	greg	1.7	ep1->sibling->type != NUM) {
590	greg	1.1	ep1 = newnode();
591			ep1->type = TICK;
592			ep1->v.tick = -1;
593			addekid(ep2, ep1);
594			ep1 = newnode();
595			ep1->type = NUM;
596			addekid(ep2, ep1);
597			}
598
599			return(ep2);
600			}
601
602
603			#ifdef OUTCHAN
604			EPNODE *
605			getchan() /* A -> $N = E1 */
606			{
607			register EPNODE ep1, ep2;
608
609			if (nextc != '$')
610			syntax("missing '$'");
611			scan();
612
613			ep1 = newnode();
614			ep1->type = CHAN;
615			ep1->v.chan = getinum();
616
617			if (nextc != '=')
618			syntax("'=' expected");
619			scan();
620
621			ep2 = newnode();
622			ep2->type = '=';
623			addekid(ep2, ep1);
624			addekid(ep2, getE1());
625
626			return(ep2);
627			}
628			#endif
629
630
631
632			/*
633			* The following routines are for internal use only:
634			*/
635
636
637			static double
638			dvalue(name, d) /* evaluate a variable */
639			char *name;
640			EPNODE *d;
641			{
642			register EPNODE ep1, ep2;
643
644			if (d == NULL \|\| d->v.kid->type != SYM) {
645			eputs(name);
646			eputs(": undefined variable\n");
647			quit(1);
648			}
649			ep1 = d->v.kid->sibling; /* get expression */
650	greg	1.5	if (ep1->type == NUM)
651			return(ep1->v.num); /* return if number */
652	greg	1.1	ep2 = ep1->sibling; /* check time */
653			if (ep2->v.tick < 0 \|\| ep2->v.tick < eclock) {
654	greg	1.8	ep2->v.tick = d->type == ':' ? 1L<<30 : eclock;
655	greg	1.1	ep2 = ep2->sibling;
656	greg	1.5	ep2->v.num = evalue(ep1); /* needs new value */
657	greg	1.1	} else
658	greg	1.5	ep2 = ep2->sibling; /* else reuse old value */
659	greg	1.1
660			return(ep2->v.num);
661			}
662
663
664			static int
665			hash(s) /* hash a string */
666			register char *s;
667			{
668			register int rval = 0;
669
670			while (*s)
671			rval += *s++;
672
673			return(rval % NHASH);
674			}