ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/radiance/ray/src/common/caldefn.c
Revision: 2.6
Committed: Thu Apr 8 16:41:21 1993 UTC (31 years ago) by greg
Content type: text/plain
Branch: MAIN
Changes since 2.5: +45 -5 lines
Log Message:
added pushcontext() and popcontext() functions

File Contents

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