ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/radiance/ray/src/common/calexpr.c
(Generate patch)

Comparing ray/src/common/calexpr.c (file contents):
Revision 2.14 by greg, Fri Jun 4 15:04:48 1993 UTC vs.
Revision 2.39 by greg, Sat Dec 28 18:05:13 2019 UTC

# Line 1 | Line 1
1 /* Copyright (c) 1992 Regents of the University of California */
2
1   #ifndef lint
2 < static char SCCSid[] = "$SunId$ LBL";
2 > static const char       RCSid[] = "$Id$";
3   #endif
6
4   /*
5   *  Compute data values using expression parser
6   *
# Line 16 | Line 13 | static char SCCSid[] = "$SunId$ LBL";
13   *  1/29/87  Made variables conditional (VARIABLE)
14   *
15   *  5/19/88  Added constant subexpression elimination (RCONST)
16 + *
17 + *  2/19/03     Eliminated conditional compiles in favor of esupport extern.
18   */
19  
20 < #include  <stdio.h>
20 > #include "copyright.h"
21  
22   #include  <ctype.h>
24
23   #include  <errno.h>
26
24   #include  <math.h>
25 + #include  <stdlib.h>
26  
27 + #include  "rtmisc.h"
28 + #include  "rtio.h"
29 + #include  "rterror.h"
30   #include  "calcomp.h"
31  
32   #define  MAXLINE        256             /* maximum line length */
# Line 34 | Line 35 | static char SCCSid[] = "$SunId$ LBL";
35  
36   #define  isdecimal(c)   (isdigit(c) || (c) == '.')
37  
38 < extern char  *savestr();
39 < extern char  *emalloc(), *ecalloc();
40 < extern EPNODE  *curfunc;
41 < extern double  efunc(), evariable();
42 < static double  euminus(), eargument(), enumber();
43 < #ifdef  INCHAN
43 < static double  echannel();
44 < #endif
45 < static double  eadd(), esubtr(), emult(), edivi(), epow();
46 < static double  ebotch();
38 > static double  euminus(EPNODE *), eargument(EPNODE *), enumber(EPNODE *);
39 > static double  echannel(EPNODE *);
40 > static double  eadd(EPNODE *), esubtr(EPNODE *),
41 >               emult(EPNODE *), edivi(EPNODE *),
42 >               epow(EPNODE *);
43 > static double  ebotch(EPNODE *);
44  
45 + unsigned int  esupport =                /* what to support */
46 +                E_VARIABLE | E_FUNCTION ;
47 +
48 + int  eofc = 0;                          /* optional end-of-file character */
49   int  nextc;                             /* lookahead character */
50  
51 < double  (*eoper[])() = {                /* expression operations */
51 > double  (*eoper[])(EPNODE *) = {        /* expression operations */
52          ebotch,
52 #ifdef  VARIABLE
53          evariable,
54 #else
55        ebotch,
56 #endif
54          enumber,
55          euminus,
59 #ifdef  INCHAN
56          echannel,
61 #else
62        ebotch,
63 #endif
64 #ifdef  FUNCTION
57          efunc,
58          eargument,
67 #else
59          ebotch,
60          ebotch,
70 #endif
71        ebotch,
72        ebotch,
61          0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
62          0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
63          emult,
# Line 95 | Line 83 | static int  linepos;                   /* position in buffer */
83  
84  
85   EPNODE *
86 < eparse(expr)                    /* parse an expression string */
87 < char  *expr;
86 > eparse(                 /* parse an expression string */
87 >    char  *expr
88 > )
89   {
90      EPNODE  *ep;
91  
92      initstr(expr, NULL, 0);
104 #if  defined(VARIABLE) && defined(FUNCTION)
93      curfunc = NULL;
106 #endif
94      ep = getE1();
95      if (nextc != EOF)
96          syntax("unexpected character");
# Line 112 | Line 99 | char  *expr;
99  
100  
101   double
102 < eval(expr)                      /* evaluate an expression string */
103 < char  *expr;
102 > eval(                   /* evaluate an expression string */
103 >    char  *expr
104 > )
105   {
106 <    register EPNODE  *ep;
106 >    int  prev_support = esupport;
107 >    EPNODE  *ep;
108      double  rval;
109  
110 +    esupport &= ~E_RCONST;      /* don't bother reducing constant expr */
111      ep = eparse(expr);
112 +    esupport = prev_support;    /* as you were */
113      rval = evalue(ep);
114      epfree(ep);
115      return(rval);
116   }
117  
118  
119 < epfree(epar)                    /* free a parse tree */
120 < register EPNODE  *epar;
119 > int
120 > epcmp(                  /* compare two expressions for equivalence */
121 >    EPNODE  *ep1,
122 >    EPNODE  *ep2
123 > )
124   {
125 <    register EPNODE  *ep;
125 >        double  d;
126  
127 +        if (ep1->type != ep2->type)
128 +                return(1);
129 +
130 +        switch (ep1->type) {
131 +
132 +        case VAR:
133 +                return(ep1->v.ln != ep2->v.ln);
134 +
135 +        case NUM:
136 +                if (ep2->v.num == 0)
137 +                        return(ep1->v.num != 0);
138 +                d = ep1->v.num / ep2->v.num;
139 +                return((d > 1.000000000001) | (d < 0.999999999999));
140 +
141 +        case CHAN:
142 +        case ARG:
143 +                return(ep1->v.chan != ep2->v.chan);
144 +
145 +        case '=':
146 +        case ':':
147 +                return(epcmp(ep1->v.kid->sibling, ep2->v.kid->sibling));
148 +
149 +        case CLKT:
150 +        case SYM:                       /* should never get this one */
151 +                return(0);
152 +
153 +        default:
154 +                ep1 = ep1->v.kid;
155 +                ep2 = ep2->v.kid;
156 +                while (ep1 != NULL) {
157 +                        if (ep2 == NULL)
158 +                                return(1);
159 +                        if (epcmp(ep1, ep2))
160 +                                return(1);
161 +                        ep1 = ep1->sibling;
162 +                        ep2 = ep2->sibling;
163 +                }
164 +                return(ep2 != NULL);
165 +        }
166 + }
167 +
168 +
169 + void
170 + epfree(                 /* free a parse tree */
171 +    EPNODE       *epar
172 + )
173 + {
174 +    EPNODE  *ep;
175 +
176      switch (epar->type) {
177  
135 #if  defined(VARIABLE) || defined(FUNCTION)
178          case VAR:
179              varfree(epar->v.ln);
180              break;
# Line 140 | Line 182 | register EPNODE         *epar;
182          case SYM:
183              freestr(epar->v.name);
184              break;
143 #endif
185  
186          case NUM:
187          case CHAN:
188          case ARG:
189 <        case TICK:
189 >        case CLKT:
190              break;
191  
192          default:
# Line 161 | Line 202 | register EPNODE         *epar;
202   }
203  
204                                  /* the following used to be a switch */
164 #ifdef  FUNCTION
205   static double
206 < eargument(ep)
207 < EPNODE  *ep;
206 > eargument(
207 >    EPNODE      *ep
208 > )
209   {
210      return(argument(ep->v.chan));
211   }
171 #endif
212  
213   static double
214 < enumber(ep)
215 < EPNODE  *ep;
214 > enumber(
215 >    EPNODE      *ep
216 > )
217   {
218      return(ep->v.num);
219   }
220  
221   static double
222 < euminus(ep)
223 < EPNODE  *ep;
222 > euminus(
223 >    EPNODE      *ep
224 > )
225   {
226 <    register EPNODE  *ep1 = ep->v.kid;
226 >    EPNODE  *ep1 = ep->v.kid;
227  
228      return(-evalue(ep1));
229   }
230  
189 #ifdef  INCHAN
231   static double
232 < echannel(ep)
233 < EPNODE  *ep;
232 > echannel(
233 >    EPNODE      *ep
234 > )
235   {
236      return(chanvalue(ep->v.chan));
237   }
196 #endif
238  
239   static double
240 < eadd(ep)
241 < EPNODE  *ep;
240 > eadd(
241 >    EPNODE      *ep
242 > )
243   {
244 <    register EPNODE  *ep1 = ep->v.kid;
244 >    EPNODE  *ep1 = ep->v.kid;
245  
246      return(evalue(ep1) + evalue(ep1->sibling));
247   }
248  
249   static double
250 < esubtr(ep)
251 < EPNODE  *ep;
250 > esubtr(
251 >    EPNODE      *ep
252 > )
253   {
254 <    register EPNODE  *ep1 = ep->v.kid;
254 >    EPNODE  *ep1 = ep->v.kid;
255  
256      return(evalue(ep1) - evalue(ep1->sibling));
257   }
258  
259   static double
260 < emult(ep)
261 < EPNODE  *ep;
260 > emult(
261 >    EPNODE      *ep
262 > )
263   {
264 <    register EPNODE  *ep1 = ep->v.kid;
264 >    EPNODE  *ep1 = ep->v.kid;
265  
266      return(evalue(ep1) * evalue(ep1->sibling));
267   }
268  
269   static double
270 < edivi(ep)
271 < EPNODE  *ep;
270 > edivi(
271 >    EPNODE      *ep
272 > )
273   {
274 <    register EPNODE  *ep1 = ep->v.kid;
274 >    EPNODE  *ep1 = ep->v.kid;
275      double  d;
276  
277      d = evalue(ep1->sibling);
# Line 239 | Line 284 | EPNODE *ep;
284   }
285  
286   static double
287 < epow(ep)
288 < EPNODE  *ep;
287 > epow(
288 >    EPNODE      *ep
289 > )
290   {
291 <    register EPNODE  *ep1 = ep->v.kid;
291 >    EPNODE  *ep1 = ep->v.kid;
292      double  d;
293      int  lasterrno;
294  
295      lasterrno = errno;
296      errno = 0;
297      d = pow(evalue(ep1), evalue(ep1->sibling));
298 < #ifdef  IEEE
299 <    if (!finite(d))
300 <        errno = EDOM;
298 > #ifdef  isnan
299 >    if (errno == 0) {
300 >        if (isnan(d))
301 >            errno = EDOM;
302 >        else if (isinf(d))
303 >            errno = ERANGE;
304 >    }
305   #endif
306 <    if (errno) {
306 >    if (errno == EDOM || errno == ERANGE) {
307          wputs("Illegal power\n");
308          return(0.0);
309      }
# Line 262 | Line 312 | EPNODE *ep;
312   }
313  
314   static double
315 < ebotch(ep)
316 < EPNODE  *ep;
315 > ebotch(
316 >    EPNODE      *ep
317 > )
318   {
319      eputs("Bad expression!\n");
320      quit(1);
321 +        return 0.0; /* pro forma return */
322   }
323  
324  
325   EPNODE *
326 < ekid(ep, n)                     /* return pointer to a node's nth kid */
327 < register EPNODE  *ep;
328 < register int  n;
326 > ekid(                   /* return pointer to a node's nth kid */
327 >    EPNODE       *ep,
328 >    int  n
329 > )
330   {
331  
332      for (ep = ep->v.kid; ep != NULL; ep = ep->sibling)
# Line 285 | Line 338 | register int  n;
338  
339  
340   int
341 < nekids(ep)                      /* return # of kids for node ep */
342 < register EPNODE  *ep;
341 > nekids(                 /* return # of kids for node ep */
342 >    EPNODE       *ep
343 > )
344   {
345 <    register int  n = 0;
345 >    int  n = 0;
346  
347      for (ep = ep->v.kid; ep != NULL; ep = ep->sibling)
348          n++;
# Line 297 | Line 351 | register EPNODE         *ep;
351   }
352  
353  
354 < initfile(fp, fn, ln)            /* prepare input file */
355 < FILE  *fp;
356 < char  *fn;
357 < int  ln;
354 > void
355 > initfile(               /* prepare input file */
356 >    FILE  *fp,
357 >    char  *fn,
358 >    int  ln
359 > )
360   {
361      static char  inpbuf[MAXLINE];
362  
# Line 314 | Line 370 | int  ln;
370   }
371  
372  
373 < initstr(s, fn, ln)              /* prepare input string */
374 < char  *s;
375 < char  *fn;
376 < int  ln;
373 > void
374 > initstr(                /* prepare input string */
375 >    char  *s,
376 >    char  *fn,
377 >    int  ln
378 > )
379   {
380      infp = NULL;
381      infile = fn;
# Line 328 | Line 386 | int  ln;
386   }
387  
388  
389 < getscanpos(fnp, lnp, spp, fpp)  /* return current scan position */
390 < char  **fnp;
391 < int  *lnp;
392 < char  **spp;
393 < FILE  **fpp;
389 > void
390 > getscanpos(     /* return current scan position */
391 >    char  **fnp,
392 >    int  *lnp,
393 >    char  **spp,
394 >    FILE  **fpp
395 > )
396   {
397      if (fnp != NULL) *fnp = infile;
398      if (lnp != NULL) *lnp = lineno;
# Line 342 | Line 402 | FILE  **fpp;
402  
403  
404   int
405 < scan()                          /* scan next character, return literal next */
405 > scan(void)              /* scan next character, return literal next */
406   {
407 <    register int  lnext = 0;
407 >    int  lnext = 0;
408  
409      do {
410          if (linbuf[linepos] == '\0')
# Line 359 | Line 419 | scan()                         /* scan next character, return literal next
419              nextc = linbuf[linepos++];
420          if (!lnext)
421                  lnext = nextc;
422 +        if (nextc == eofc) {
423 +                nextc = EOF;
424 +                break;
425 +        }
426          if (nextc == '{') {
427              scan();
428              while (nextc != '}')
# Line 374 | Line 438 | scan()                         /* scan next character, return literal next
438  
439  
440   char *
441 < long2ascii(l)                         /* convert long to ascii */
442 < long  l;
441 > long2ascii(                           /* convert long to ascii */
442 >    long  l
443 > )
444   {
445      static char  buf[16];
446 <    register char  *cp;
446 >    char  *cp;
447      int  neg = 0;
448  
449      if (l == 0)
# Line 399 | Line 464 | long  l;
464   }
465  
466  
467 < syntax(err)                     /* report syntax error and quit */
468 < char  *err;
467 > void
468 > syntax(                 /* report syntax error and quit */
469 >    char  *err
470 > )
471   {
472 <    register int  i;
472 >    int  i;
473  
474      if (infile != NULL || lineno != 0) {
475          if (infile != NULL) eputs(infile);
# Line 424 | Line 491 | char  *err;
491   }
492  
493  
494 < addekid(ep, ekid)                       /* add a child to ep */
495 < register EPNODE  *ep;
496 < EPNODE  *ekid;
494 > void
495 > addekid(                        /* add a child to ep */
496 >    EPNODE       *ep,
497 >    EPNODE      *ekid
498 > )
499   {
500      if (ep->v.kid == NULL)
501          ep->v.kid = ekid;
# Line 439 | Line 508 | EPNODE *ekid;
508   }
509  
510  
442 #if  defined(VARIABLE) || defined(FUNCTION)
511   char *
512 < getname()                       /* scan an identifier */
512 > getname(void)                   /* scan an identifier */
513   {
514 <    static char  str[MAXWORD+1];
515 <    register int  i, lnext;
514 >    static char  str[RMAXWORD+1];
515 >    int  i, lnext;
516  
517      lnext = nextc;
518 <    for (i = 0; i < MAXWORD && isid(lnext); i++, lnext = scan())
518 >    for (i = 0; i < RMAXWORD && isid(lnext); i++, lnext = scan())
519          str[i] = lnext;
520      str[i] = '\0';
521      while (isid(lnext))         /* skip rest of name */
# Line 455 | Line 523 | getname()                      /* scan an identifier */
523  
524      return(str);
525   }
458 #endif
526  
527  
528   int
529 < getinum()                       /* scan a positive integer */
529 > getinum(void)                   /* scan a positive integer */
530   {
531 <    register int  n, lnext;
531 >    int  n, lnext;
532  
533      n = 0;
534      lnext = nextc;
# Line 474 | Line 541 | getinum()                      /* scan a positive integer */
541  
542  
543   double
544 < getnum()                        /* scan a positive float */
544 > getnum(void)                    /* scan a positive float */
545   {
546 <    register int  i, lnext;
547 <    char  str[MAXWORD+1];
546 >    int  i, lnext;
547 >    char  str[RMAXWORD+1];
548  
549      i = 0;
550      lnext = nextc;
551 <    while (isdigit(lnext) && i < MAXWORD) {
551 >    while (isdigit(lnext) && i < RMAXWORD) {
552          str[i++] = lnext;
553          lnext = scan();
554      }
555 <    if (lnext == '.' && i < MAXWORD) {
555 >    if (lnext == '.' && i < RMAXWORD) {
556          str[i++] = lnext;
557          lnext = scan();
558 <        while (isdigit(lnext) && i < MAXWORD) {
558 >        if (i == 1 && !isdigit(lnext))
559 >            syntax("badly formed number");
560 >        while (isdigit(lnext) && i < RMAXWORD) {
561              str[i++] = lnext;
562              lnext = scan();
563          }
564      }
565 <    if ((lnext == 'e' || lnext == 'E') && i < MAXWORD) {
565 >    if ((lnext == 'e') | (lnext == 'E') && i < RMAXWORD) {
566          str[i++] = lnext;
567          lnext = scan();
568 <        if ((lnext == '-' || lnext == '+') && i < MAXWORD) {
568 >        if ((lnext == '-') | (lnext == '+') && i < RMAXWORD) {
569              str[i++] = lnext;
570              lnext = scan();
571          }
572 <        while (isdigit(lnext) && i < MAXWORD) {
572 >        if (!isdigit(lnext))
573 >            syntax("missing exponent");
574 >        while (isdigit(lnext) && i < RMAXWORD) {
575              str[i++] = lnext;
576              lnext = scan();
577          }
# Line 512 | Line 583 | getnum()                       /* scan a positive float */
583  
584  
585   EPNODE *
586 < getE1()                         /* E1 -> E1 ADDOP E2 */
586 > getE1(void)                     /* E1 -> E1 ADDOP E2 */
587                                  /*       E2 */
588   {
589 <    register EPNODE  *ep1, *ep2;
589 >    EPNODE  *ep1, *ep2;
590  
591      ep1 = getE2();
592      while (nextc == '+' || nextc == '-') {
# Line 524 | Line 595 | getE1()                                /* E1 -> E1 ADDOP E2 */
595          scan();
596          addekid(ep2, ep1);
597          addekid(ep2, getE2());
598 < #ifdef  RCONST
599 <        if (ep1->type == NUM && ep1->sibling->type == NUM)
598 >        if (esupport&E_RCONST &&
599 >                        ep1->type == NUM && ep1->sibling->type == NUM)
600                  ep2 = rconst(ep2);
530 #endif
601          ep1 = ep2;
602      }
603      return(ep1);
# Line 535 | Line 605 | getE1()                                /* E1 -> E1 ADDOP E2 */
605  
606  
607   EPNODE *
608 < getE2()                         /* E2 -> E2 MULOP E3 */
608 > getE2(void)                     /* E2 -> E2 MULOP E3 */
609                                  /*       E3 */
610   {
611 <    register EPNODE  *ep1, *ep2;
611 >    EPNODE  *ep1, *ep2;
612  
613      ep1 = getE3();
614      while (nextc == '*' || nextc == '/') {
# Line 547 | Line 617 | getE2()                                /* E2 -> E2 MULOP E3 */
617          scan();
618          addekid(ep2, ep1);
619          addekid(ep2, getE3());
620 < #ifdef  RCONST
621 <        if (ep1->type == NUM && ep1->sibling->type == NUM)
622 <                ep2 = rconst(ep2);
623 < #endif
620 >        if (esupport&E_RCONST) {
621 >                EPNODE  *ep3 = ep1->sibling;
622 >                if (ep1->type == NUM && ep3->type == NUM) {
623 >                        ep2 = rconst(ep2);
624 >                } else if (ep3->type == NUM) {
625 >                        if (ep2->type == '/') {
626 >                                if (ep3->v.num == 0)
627 >                                        syntax("divide by zero constant");
628 >                                ep2->type = '*';        /* for speed */
629 >                                ep3->v.num = 1./ep3->v.num;
630 >                        } else if (ep3->v.num == 0) {
631 >                                ep1->sibling = NULL;    /* (E2 * 0) */
632 >                                epfree(ep2);
633 >                                ep2 = ep3;
634 >                        }
635 >                } else if (ep1->type == NUM && ep1->v.num == 0) {
636 >                        epfree(ep3);            /* (0 * E3) or (0 / E3) */
637 >                        ep1->sibling = NULL;
638 >                        efree((char *)ep2);
639 >                        ep2 = ep1;
640 >                }
641 >        }
642          ep1 = ep2;
643      }
644      return(ep1);
# Line 558 | Line 646 | getE2()                                /* E2 -> E2 MULOP E3 */
646  
647  
648   EPNODE *
649 < getE3()                         /* E3 -> E4 ^ E3 */
649 > getE3(void)                     /* E3 -> E4 ^ E3 */
650                                  /*       E4 */
651   {
652 <    register EPNODE  *ep1, *ep2;
652 >        EPNODE  *ep1, *ep2;
653  
654 <    ep1 = getE4();
655 <    if (nextc == '^') {
654 >        ep1 = getE4();
655 >        if (nextc != '^')
656 >                return(ep1);
657          ep2 = newnode();
658          ep2->type = nextc;
659          scan();
660          addekid(ep2, ep1);
661          addekid(ep2, getE3());
662 < #ifdef  RCONST
663 <        if (ep1->type == NUM && ep1->sibling->type == NUM)
664 <                ep2 = rconst(ep2);
665 < #endif
662 >        if (esupport&E_RCONST) {
663 >                EPNODE  *ep3 = ep1->sibling;
664 >                if (ep1->type == NUM && ep3->type == NUM) {
665 >                        ep2 = rconst(ep2);
666 >                } else if (ep1->type == NUM && ep1->v.num == 0) {
667 >                        epfree(ep3);            /* (0 ^ E3) */
668 >                        ep1->sibling = NULL;
669 >                        efree((char *)ep2);
670 >                        ep2 = ep1;
671 >                } else if ((ep3->type == NUM && ep3->v.num == 0) ||
672 >                                (ep1->type == NUM && ep1->v.num == 1)) {
673 >                        epfree(ep2);            /* (E4 ^ 0) or (1 ^ E3) */
674 >                        ep2 = newnode();
675 >                        ep2->type = NUM;
676 >                        ep2->v.num = 1;
677 >                }
678 >        }
679          return(ep2);
578    }
579    return(ep1);
680   }
681  
682  
683   EPNODE *
684 < getE4()                         /* E4 -> ADDOP E5 */
684 > getE4(void)                     /* E4 -> ADDOP E5 */
685                                  /*       E5 */
686   {
687 <    register EPNODE  *ep1, *ep2;
687 >    EPNODE  *ep1, *ep2;
688  
689      if (nextc == '-') {
690          scan();
# Line 594 | Line 694 | getE4()                                /* E4 -> ADDOP E5 */
694                  return(ep2);
695          }
696          if (ep2->type == UMINUS) {      /* don't generate -(-E5) */
697 +            ep1 = ep2->v.kid;
698              efree((char *)ep2);
699 <            return(ep2->v.kid);
699 >            return(ep1);
700          }
701          ep1 = newnode();
702          ep1->type = UMINUS;
# Line 609 | Line 710 | getE4()                                /* E4 -> ADDOP E5 */
710  
711  
712   EPNODE *
713 < getE5()                         /* E5 -> (E1) */
713 > getE5(void)                     /* E5 -> (E1) */
714                                  /*       VAR */
715                                  /*       NUM */
716                                  /*       $N */
717                                  /*       FUNC(E1,..) */
718                                  /*       ARG */
719   {
720 <    int  i;
721 <    char  *nam;
722 <    register EPNODE  *ep1, *ep2;
720 >        int      i;
721 >        char  *nam;
722 >        EPNODE  *ep1, *ep2;
723  
724 <    if (nextc == '(') {
725 <        scan();
726 <        ep1 = getE1();
727 <        if (nextc != ')')
728 <            syntax("')' expected");
729 <        scan();
730 <        return(ep1);
731 <    }
724 >        if (nextc == '(') {
725 >                scan();
726 >                ep1 = getE1();
727 >                if (nextc != ')')
728 >                        syntax("')' expected");
729 >                scan();
730 >                return(ep1);
731 >        }
732  
733 < #ifdef  INCHAN
734 <    if (nextc == '$') {
735 <        scan();
736 <        ep1 = newnode();
737 <        ep1->type = CHAN;
738 <        ep1->v.chan = getinum();
739 <        return(ep1);
639 <    }
640 < #endif
733 >        if (esupport&E_INCHAN && nextc == '$') {
734 >                scan();
735 >                ep1 = newnode();
736 >                ep1->type = CHAN;
737 >                ep1->v.chan = getinum();
738 >                return(ep1);
739 >        }
740  
741 < #if  defined(VARIABLE) || defined(FUNCTION)
742 <    if (isalpha(nextc) || nextc == CNTXMARK) {
743 <        nam = getname();
744 < #if  defined(VARIABLE) && defined(FUNCTION)
745 <        ep1 = NULL;
746 <        if (curfunc != NULL)
747 <            for (i = 1, ep2 = curfunc->v.kid->sibling;
748 <                                ep2 != NULL; i++, ep2 = ep2->sibling)
749 <                if (!strcmp(ep2->v.name, nam)) {
750 <                    ep1 = newnode();
751 <                    ep1->type = ARG;
752 <                    ep1->v.chan = i;
753 <                    break;
741 >        if (esupport&(E_VARIABLE|E_FUNCTION) &&
742 >                        (isalpha(nextc) || nextc == CNTXMARK)) {
743 >                nam = getname();
744 >                ep1 = NULL;
745 >                if ((esupport&(E_VARIABLE|E_FUNCTION)) == (E_VARIABLE|E_FUNCTION)
746 >                                && curfunc != NULL)
747 >                        for (i = 1, ep2 = curfunc->v.kid->sibling;
748 >                                        ep2 != NULL; i++, ep2 = ep2->sibling)
749 >                                if (!strcmp(ep2->v.name, nam)) {
750 >                                        ep1 = newnode();
751 >                                        ep1->type = ARG;
752 >                                        ep1->v.chan = i;
753 >                                        break;
754 >                                }
755 >                if (ep1 == NULL) {
756 >                        ep1 = newnode();
757 >                        ep1->type = VAR;
758 >                        ep1->v.ln = varinsert(nam);
759                  }
760 <        if (ep1 == NULL)
761 < #endif
762 <        {
763 <            ep1 = newnode();
764 <            ep1->type = VAR;
765 <            ep1->v.ln = varinsert(nam);
760 >                if (esupport&E_FUNCTION && nextc == '(') {
761 >                        ep2 = newnode();
762 >                        ep2->type = FUNC;
763 >                        addekid(ep2, ep1);
764 >                        ep1 = ep2;
765 >                        do {
766 >                                scan();
767 >                                addekid(ep1, getE1());
768 >                        } while (nextc == ',');
769 >                        if (nextc != ')')
770 >                                syntax("')' expected");
771 >                        scan();
772 >                } else if (!(esupport&E_VARIABLE))
773 >                        syntax("'(' expected");
774 >                if (esupport&E_RCONST && isconstvar(ep1))
775 >                        ep1 = rconst(ep1);
776 >                return(ep1);
777          }
663 #ifdef  FUNCTION
664        if (nextc == '(') {
665            ep2 = newnode();
666            ep2->type = FUNC;
667            addekid(ep2, ep1);
668            ep1 = ep2;
669            do {
670                scan();
671                addekid(ep1, getE1());
672            } while (nextc == ',');
673            if (nextc != ')')
674                syntax("')' expected");
675            scan();
676        }
677 #ifndef  VARIABLE
678        else
679            syntax("'(' expected");
680 #endif
681 #endif
682 #ifdef  RCONST
683        if (isconstvar(ep1))
684            ep1 = rconst(ep1);
685 #endif
686        return(ep1);
687    }
688 #endif
778  
779 <    if (isdecimal(nextc)) {
780 <        ep1 = newnode();
781 <        ep1->type = NUM;
782 <        ep1->v.num = getnum();
783 <        return(ep1);
784 <    }
785 <    syntax("unexpected character");
779 >        if (isdecimal(nextc)) {
780 >                ep1 = newnode();
781 >                ep1->type = NUM;
782 >                ep1->v.num = getnum();
783 >                return(ep1);
784 >        }
785 >        syntax("unexpected character");
786 >        return NULL; /* pro forma return */
787   }
788  
789  
700 #ifdef  RCONST
790   EPNODE *
791 < rconst(epar)                    /* reduce a constant expression */
792 < register EPNODE  *epar;
791 > rconst(                 /* reduce a constant expression */
792 >    EPNODE       *epar
793 > )
794   {
795 <    register EPNODE  *ep;
795 >    EPNODE  *ep;
796  
797      ep = newnode();
798      ep->type = NUM;
799      errno = 0;
800      ep->v.num = evalue(epar);
801 <    if (errno)
801 >    if (errno == EDOM || errno == ERANGE)
802          syntax("bad constant expression");
803      epfree(epar);
804  
# Line 716 | Line 806 | register EPNODE         *epar;
806   }
807  
808  
809 < isconstvar(ep)                  /* is ep linked to a constant expression? */
810 < register EPNODE  *ep;
809 > int
810 > isconstvar(                     /* is ep linked to a constant expression? */
811 >    EPNODE       *ep
812 > )
813   {
814 < #ifdef  VARIABLE
723 <    register EPNODE  *ep1;
724 < #ifdef  FUNCTION
814 >    EPNODE  *ep1;
815  
816 <    if (ep->type == FUNC) {
816 >    if (esupport&E_FUNCTION && ep->type == FUNC) {
817          if (!isconstfun(ep->v.kid))
818                  return(0);
819          for (ep1 = ep->v.kid->sibling; ep1 != NULL; ep1 = ep1->sibling)
# Line 731 | Line 821 | register EPNODE         *ep;
821                  return(0);
822          return(1);
823      }
734 #endif
824      if (ep->type != VAR)
825          return(0);
826      ep1 = ep->v.ln->def;
827      if (ep1 == NULL || ep1->type != ':')
828          return(0);
829 < #ifdef  FUNCTION
741 <    if (ep1->v.kid->type != SYM)
829 >    if (esupport&E_FUNCTION && ep1->v.kid->type != SYM)
830          return(0);
743 #endif
831      return(1);
745 #else
746    return(ep->type == FUNC);
747 #endif
832   }
833  
834  
835 < #if  defined(FUNCTION) && defined(VARIABLE)
836 < isconstfun(ep)                  /* is ep linked to a constant function? */
837 < register EPNODE  *ep;
835 > int
836 > isconstfun(                     /* is ep linked to a constant function? */
837 >    EPNODE       *ep
838 > )
839   {
840 <    register EPNODE  *dp;
841 <    register LIBR  *lp;
840 >    EPNODE  *dp;
841 >    LIBR  *lp;
842  
843      if (ep->type != VAR)
844          return(0);
845 <    if ((dp = ep->v.ln->def) != NULL && dp->v.kid->type == FUNC)
846 <        return(dp->type == ':');
845 >    if ((dp = ep->v.ln->def) != NULL) {
846 >        if (dp->v.kid->type == FUNC)
847 >            return(dp->type == ':');
848 >        else
849 >            return(0);          /* don't identify masked library functions */
850 >    }
851      if ((lp = ep->v.ln->lib) != NULL)
852          return(lp->atyp == ':');
853      return(0);
854   }
766 #endif
767 #endif

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines