--- ray/src/common/caldefn.c 1990/07/19 11:15:31 1.5 +++ ray/src/common/caldefn.c 1991/04/29 08:33:13 1.10 @@ -1,4 +1,4 @@ -/* Copyright (c) 1986 Regents of the University of California */ +/* Copyright (c) 1991 Regents of the University of California */ #ifndef lint static char SCCSid[] = "$SunId$ LBL"; @@ -18,6 +18,8 @@ static char SCCSid[] = "$SunId$ LBL"; * 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 */ #include @@ -105,8 +107,9 @@ EPNODE *ep; } -varset(vname, val) /* set a variable's value */ +varset(vname, assign, val) /* set a variable's value */ char *vname; +int assign; double val; { register EPNODE *ep1, *ep2; @@ -115,12 +118,13 @@ double val; ep2 = ep1->v.kid->sibling; if (ep2->type == NUM) { ep2->v.num = val; + ep1->type = assign; return; } } /* hand build definition */ ep1 = newnode(); - ep1->type = '='; + ep1->type = assign; ep2 = newnode(); ep2->type = SYM; ep2->v.name = savestr(vname); @@ -129,16 +133,31 @@ double val; ep2->type = NUM; ep2->v.num = val; addekid(ep1, ep2); - dclear(vname); + dremove(vname); dpush(ep1); } -dclear(name) /* delete all definitions of name */ +dclear(name) /* delete variable definitions of name */ char *name; { register EPNODE *ep; + while ((ep = dpop(name)) != NULL) { + if (ep->type == ':') { + dpush(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); } @@ -154,18 +173,20 @@ char *name; #ifdef OUTCHAN -chanout() /* set output channels */ +chanout(cs) /* set output channels */ +int (*cs)(); { register EPNODE *ep; for (ep = outchan; ep != NULL; ep = ep->sibling) - chanset(ep->v.kid->v.chan, evalue(ep->v.kid->sibling)); + (*cs)(ep->v.kid->v.chan, evalue(ep->v.kid->sibling)); } #endif -dclearall() /* clear all definitions */ +dcleanup(lvl) /* clear definitions (0->vars,1->consts,2->output) */ +int lvl; { register int i; register VARDEF *vp; @@ -173,11 +194,16 @@ dclearall() /* clear all definitions */ for (i = 0; i < NHASH; i++) for (vp = hashtbl[i]; vp != NULL; vp = vp->next) - dclear(vp->name); + if (lvl >= 1) + dremove(vp->name); + else + dclear(vp->name); #ifdef OUTCHAN - for (ep = outchan; ep != NULL; ep = ep->sibling) - epfree(ep); - outchan = NULL; + if (lvl >= 2) { + for (ep = outchan; ep != NULL; ep = ep->sibling) + epfree(ep); + outchan = NULL; + } #endif } @@ -352,6 +378,7 @@ EPNODE *sp; loaddefn() /* load next definition */ { register EPNODE *ep; + EPNODE *lastdef; if (nextc == ';') { /* empty statement */ scan(); @@ -366,14 +393,25 @@ loaddefn() /* load next definition */ { /* ordinary definition */ ep = getdefn(); #ifdef REDEFW - if (dlookup(dname(ep)) != NULL) { - dclear(dname(ep)); - wputs(dname(ep)); + if ((lastdef = dlookup(dname(ep))) != NULL) { + wputs(dname(ep)); + if (lastdef->type == ':') + wputs(": redefined constant expression\n"); + else wputs(": redefined\n"); } -#else - dclear(dname(ep)); +#ifdef FUNCTION + else if (ep->v.kid->type == FUNC && + liblookup(ep->v.kid->v.kid->v.name) != NULL) { + wputs(ep->v.kid->v.kid->v.name); + wputs(": redefined library function\n"); + } #endif +#endif + if (ep->type == ':') + dremove(dname(ep)); + else + dclear(dname(ep)); dpush(ep); } if (nextc != EOF) { @@ -386,7 +424,9 @@ loaddefn() /* load next definition */ EPNODE * getdefn() /* A -> SYM = E1 */ + /* SYM : E1 */ /* FUNC(SYM,..) = E1 */ + /* FUNC(SYM,..) : E1 */ { register EPNODE *ep1, *ep2; @@ -420,19 +460,20 @@ getdefn() /* A -> SYM = E1 */ curfunc = NULL; #endif - if (nextc != '=') - syntax("'=' expected"); - scan(); + if (nextc != '=' && nextc != ':') + syntax("'=' or ':' expected"); ep2 = newnode(); - ep2->type = '='; + ep2->type = nextc; + scan(); addekid(ep2, ep1); addekid(ep2, getE1()); + if ( #ifdef FUNCTION - if (ep1->type == SYM) + ep1->type == SYM && #endif - { + ep1->sibling->type != NUM) { ep1 = newnode(); ep1->type = TICK; ep1->v.tick = -1; @@ -497,7 +538,7 @@ EPNODE *d; return(ep1->v.num); /* return if number */ ep2 = ep1->sibling; /* check time */ if (ep2->v.tick < 0 || ep2->v.tick < eclock) { - ep2->v.tick = eclock; + ep2->v.tick = d->type == ':' ? 1L<<30 : eclock; ep2 = ep2->sibling; ep2->v.num = evalue(ep1); /* needs new value */ } else