Annotation of OpenXM_contrib2/asir2000/parse/eval.c, Revision 1.12
1.4 noro 1: /*
2: * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
3: * All rights reserved.
4: *
5: * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
6: * non-exclusive and royalty-free license to use, copy, modify and
7: * redistribute, solely for non-commercial and non-profit purposes, the
8: * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
9: * conditions of this Agreement. For the avoidance of doubt, you acquire
10: * only a limited right to use the SOFTWARE hereunder, and FLL or any
11: * third party developer retains all rights, including but not limited to
12: * copyrights, in and to the SOFTWARE.
13: *
14: * (1) FLL does not grant you a license in any way for commercial
15: * purposes. You may use the SOFTWARE only for non-commercial and
16: * non-profit purposes only, such as academic, research and internal
17: * business use.
18: * (2) The SOFTWARE is protected by the Copyright Law of Japan and
19: * international copyright treaties. If you make copies of the SOFTWARE,
20: * with or without modification, as permitted hereunder, you shall affix
21: * to all such copies of the SOFTWARE the above copyright notice.
22: * (3) An explicit reference to this SOFTWARE and its copyright owner
23: * shall be made on your publication or presentation in any form of the
24: * results obtained by use of the SOFTWARE.
25: * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
1.5 noro 26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
1.4 noro 27: * for such modification or the source code of the modified part of the
28: * SOFTWARE.
29: *
30: * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
31: * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
32: * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
33: * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
34: * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
35: * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
36: * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
37: * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
38: * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
39: * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
40: * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
41: * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
42: * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
43: * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
44: * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
45: * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
46: * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
47: *
1.12 ! noro 48: * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.11 2001/08/31 02:47:19 noro Exp $
1.4 noro 49: */
1.1 noro 50: #include <ctype.h>
51: #include "ca.h"
52: #include "al.h"
53: #include "base.h"
54: #include "parse.h"
55: #include <sys/types.h>
56: #include <sys/stat.h>
1.2 noro 57: #if PARI
1.1 noro 58: #include "genpari.h"
1.2 noro 59: #endif
1.1 noro 60:
61: extern jmp_buf timer_env;
62:
63: int f_break,f_return,f_continue;
64: int evalstatline;
65: int recv_intr;
66:
67: pointer bevalf(), evalmapf(), evall();
1.9 noro 68: pointer eval_rec_mapf(), beval_rec_mapf();
1.1 noro 69: Obj getopt_from_cpvs();
70:
71: pointer eval(f)
72: FNODE f;
73: {
74: LIST t;
75: STRING str;
76: pointer val = 0;
77: pointer a,a1,a2;
78: NODE tn,ind;
79: R u;
80: DP dp;
81: int pv,c;
82: FNODE f1;
83: UP2 up2;
84: UP up;
85: GF2N gf2n;
86: GFPN gfpn;
87:
88: #if defined(VISUAL)
89: if ( recv_intr ) {
90: #include <signal.h>
91: if ( recv_intr == 1 ) {
92: recv_intr = 0;
93: int_handler(SIGINT);
94: } else {
95: recv_intr = 0;
96: ox_usr1_handler(0);
97: }
98: }
99: #endif
100: if ( !f )
101: return ( 0 );
102: switch ( f->id ) {
1.10 noro 103: case I_PAREN:
104: val = eval((FNODE)(FA0(f)));
105: break;
1.1 noro 106: case I_BOP:
107: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
108: (*((ARF)FA0(f))->fp)(CO,a1,a2,&val);
1.10 noro 109: break;
1.1 noro 110: case I_COP:
111: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
112: c = arf_comp(CO,a1,a2);
113: switch ( (cid)FA0(f) ) {
114: case C_EQ:
115: c = (c == 0); break;
116: case C_NE:
117: c = (c != 0); break;
118: case C_GT:
119: c = (c > 0); break;
120: case C_LT:
121: c = (c < 0); break;
122: case C_GE:
123: c = (c >= 0); break;
124: case C_LE:
125: c = (c <= 0); break;
126: default:
127: c = 0; break;
128: }
129: if ( c )
130: val = (pointer)ONE;
131: break;
132: case I_AND:
133: if ( eval((FNODE)FA0(f)) && eval((FNODE)FA1(f)) )
134: val = (pointer)ONE;
135: break;
136: case I_OR:
137: if ( eval((FNODE)FA0(f)) || eval((FNODE)FA1(f)) )
138: val = (pointer)ONE;
139: break;
140: case I_NOT:
141: if ( eval((FNODE)FA0(f)) )
142: val = 0;
143: else
144: val = (pointer)ONE;
145: break;
146: case I_LOP:
147: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
148: val = evall((lid)FA0(f),a1,a2);
149: break;
150: case I_CE:
151: if ( eval((FNODE)FA0(f)) )
152: val = eval((FNODE)FA1(f));
153: else
154: val = eval((FNODE)FA2(f));
155: break;
156: case I_EV:
157: evalnodebody((NODE)FA0(f),&tn); nodetod(tn,&dp); val = (pointer)dp;
158: break;
159: case I_FUNC:
160: val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break;
161: case I_FUNC_OPT:
162: val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;
163: case I_PFDERIV:
164: error("eval : not implemented yet");
165: break;
166: case I_MAP:
167: val = evalmapf((FUNC)FA0(f),(FNODE)FA1(f)); break;
1.9 noro 168: case I_RECMAP:
169: val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break;
1.1 noro 170: case I_IFUNC:
171: val = evalif((FNODE)FA0(f),(FNODE)FA1(f)); break;
172: #if !defined(VISUAL)
173: case I_TIMER:
174: {
175: int interval;
176: Obj expired;
177:
178: interval = QTOS((Q)eval((FNODE)FA0(f)));
179: expired = (Obj)eval((FNODE)FA2(f));
180: set_timer(interval);
181: savepvs();
182: if ( !setjmp(timer_env) )
183: val = eval((FNODE)FA1(f));
184: else {
185: val = (pointer)expired;
186: restorepvs();
187: }
188: reset_timer();
189: }
190: break;
191: #endif
192: case I_PRESELF:
193: f1 = (FNODE)FA1(f);
194: if ( ID(f1) == I_PVAR ) {
195: pv = (int)FA0(f1); ind = (NODE)FA1(f1); GETPV(pv,a);
196: if ( !ind ) {
197: (*((ARF)FA0(f))->fp)(CO,a,ONE,&val); ASSPV(pv,val);
198: } else if ( a ) {
199: evalnodebody(ind,&tn); getarray(a,tn,(pointer *)&u);
200: (*((ARF)FA0(f))->fp)(CO,u,ONE,&val); putarray(a,tn,val);
201: }
202: } else
1.6 noro 203: error("++ : not implemented yet");
1.1 noro 204: break;
205: case I_POSTSELF:
206: f1 = (FNODE)FA1(f);
207: if ( ID(f1) == I_PVAR ) {
208: pv = (int)FA0(f1); ind = (NODE)FA1(f1); GETPV(pv,val);
209: if ( !ind ) {
210: (*((ARF)FA0(f))->fp)(CO,val,ONE,&u); ASSPV(pv,u);
211: } else if ( val ) {
212: evalnodebody(ind,&tn); getarray(val,tn,&a);
213: (*((ARF)FA0(f))->fp)(CO,a,ONE,&u); putarray(val,tn,(pointer)u);
214: val = a;
215: }
216: } else
1.6 noro 217: error("-- : not implemented yet");
1.1 noro 218: break;
219: case I_PVAR:
220: pv = (int)FA0(f); ind = (NODE)FA1(f); GETPV(pv,a);
221: if ( !ind )
222: val = a;
223: else {
224: evalnodebody(ind,&tn); getarray(a,tn,&val);
225: }
226: break;
227: case I_ASSPVAR:
228: f1 = (FNODE)FA0(f);
229: if ( ID(f1) == I_PVAR ) {
230: pv = (int)FA0(f1); ind = (NODE)FA1(f1);
231: if ( !ind ) {
232: val = eval((FNODE)FA1(f)); ASSPV(pv,val);
233: } else {
234: GETPV(pv,a);
235: evalnodebody(ind,&tn);
236: putarray(a,tn,val = eval((FNODE)FA1(f)));
237: }
1.6 noro 238: } else if ( ID(f1) == I_POINT ) {
239: /* f1 <-> FA0(f1)->FA1(f1) */
240: a = eval(FA0(f1));
1.7 noro 241: assign_to_member(a,(char *)FA1(f1),val = eval((FNODE)FA1(f)));
242: } else if ( ID(f1) == I_INDEX ) {
243: /* f1 <-> FA0(f1)[FA1(f1)] */
244: a = eval((FNODE)FA0(f1)); ind = (NODE)FA1(f1);
245: evalnodebody(ind,&tn);
246: putarray(a,tn,val = eval((FNODE)FA1(f)));
1.6 noro 247: }
1.1 noro 248: break;
249: case I_ANS:
250: if ( (pv =(int)FA0(f)) < (int)APVS->n )
251: val = APVS->va[pv].priv;
252: break;
253: case I_GF2NGEN:
254: NEWUP2(up2,1);
255: up2->w=1;
256: up2->b[0] = 2; /* @ */
257: MKGF2N(up2,gf2n);
258: val = (pointer)gf2n;
259: break;
260: case I_GFPNGEN:
261: up = UPALLOC(1);
262: up->d=1;
263: up->c[0] = 0;
264: up->c[1] = (Num)ONELM;
265: MKGFPN(up,gfpn);
266: val = (pointer)gfpn;
267: break;
268: case I_STR:
269: MKSTR(str,FA0(f)); val = (pointer)str; break;
270: case I_FORMULA:
271: val = FA0(f); break;
272: case I_LIST:
273: evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break;
274: case I_NEWCOMP:
275: newstruct((int)FA0(f),(struct oCOMP **)&val); break;
276: case I_CAR:
277: if ( !(a = eval((FNODE)FA0(f))) || (OID(a) != O_LIST) )
278: val = 0;
279: else if ( !BDY((LIST)a) )
280: val = a;
281: else
282: val = (pointer)BDY(BDY((LIST)a));
283: break;
284: case I_CDR:
285: if ( !(a = eval((FNODE)FA0(f))) || (OID(a) != O_LIST) )
286: val = 0;
287: else if ( !BDY((LIST)a) )
288: val = a;
289: else {
290: MKLIST(t,NEXT(BDY((LIST)a))); val = (pointer)t;
291: }
292: break;
293: case I_PROC:
294: val = (pointer)FA0(f); break;
295: case I_INDEX:
296: a = eval((FNODE)FA0(f)); ind = (NODE)FA1(f);
297: evalnodebody(ind,&tn); getarray(a,tn,&val);
298: break;
299: case I_OPT:
300: MKSTR(str,(char *)FA0(f));
301: a = (pointer)eval(FA1(f));
302: tn = mknode(2,str,a);
303: MKLIST(t,tn); val = (pointer)t;
304: break;
305: case I_GETOPT:
306: val = (pointer)getopt_from_cpvs((char *)FA0(f));
1.6 noro 307: break;
308: case I_POINT:
309: a = (pointer)eval(FA0(f));
310: val = (pointer)memberofstruct(a,(char *)FA1(f));
1.1 noro 311: break;
312: default:
313: error("eval : unknown id");
314: break;
315: }
316: return ( val );
317: }
318:
319: pointer evalstat(f)
320: SNODE f;
321: {
322: pointer val = 0,t,s,s1;
323: P u;
324: NODE tn;
325: int i,ac;
326: V *a;
327: char *buf;
328:
329: if ( !f )
330: return ( 0 );
331: if ( nextbp && nextbplevel <= 0 && f->id != S_CPLX ) {
332: nextbp = 0;
333: bp(f);
334: }
335: evalstatline = f->ln;
336:
337: switch ( f->id ) {
338: case S_BP:
339: if ( !nextbp && (!FA1(f) || eval((FNODE)FA1(f))) ) {
340: if ( (FNODE)FA2(f) ) {
341: #if PARI
342: pari_outfile = stderr;
343: #endif
344: asir_out = stderr;
345: printexpr(CO,eval((FNODE)FA2(f)));
346: putc('\n',asir_out); fflush(asir_out);
347: #if PARI
348: pari_outfile = stdout;
349: #endif
350: asir_out = stdout;
351: } else {
352: nextbp = 1; nextbplevel = 0;
353: }
354: }
355: val = evalstat((SNODE)FA0(f));
356: break;
357: case S_PFDEF:
358: ac = argc(FA1(f)); a = (V *)MALLOC(ac*sizeof(V));
359: s = eval((FNODE)FA2(f));
360: buf = (char *)ALLOCA(BUFSIZ);
361: for ( i = 0, tn = (NODE)FA1(f); tn; tn = NEXT(tn), i++ ) {
362: t = eval((FNODE)tn->body); sprintf(buf,"_%s",NAME(VR((P)t)));
363: makevar(buf,&u); a[i] = VR(u);
364: substr(CO,0,(Obj)s,VR((P)t),(Obj)u,(Obj *)&s1); s = s1;
365: }
366: mkpf((char *)FA0(f),(Obj)s,ac,a,0,0,0,(PF *)&val); val = 0; break;
367: case S_SINGLE:
368: val = eval((FNODE)FA0(f)); break;
369: case S_CPLX:
370: for ( tn = (NODE)FA0(f); tn; tn = NEXT(tn) ) {
371: if ( BDY(tn) )
372: val = evalstat((SNODE)BDY(tn));
373: if ( f_break || f_return || f_continue )
374: break;
375: }
376: break;
377: case S_BREAK:
378: if ( GPVS != CPVS )
379: f_break = 1;
380: break;
381: case S_CONTINUE:
382: if ( GPVS != CPVS )
383: f_continue = 1;
384: break;
385: case S_RETURN:
386: if ( GPVS != CPVS ) {
387: val = eval((FNODE)FA0(f)); f_return = 1;
388: }
389: break;
390: case S_IFELSE:
391: if ( evalnode((NODE)FA1(f)) )
392: val = evalstat((SNODE)FA2(f));
393: else if ( FA3(f) )
394: val = evalstat((SNODE)FA3(f));
395: break;
396: case S_FOR:
397: evalnode((NODE)FA1(f));
398: while ( 1 ) {
399: if ( !evalnode((NODE)FA2(f)) )
400: break;
401: val = evalstat((SNODE)FA4(f));
402: if ( f_break || f_return )
403: break;
404: f_continue = 0;
405: evalnode((NODE)FA3(f));
406: }
407: f_break = 0; break;
408: case S_DO:
409: while ( 1 ) {
410: val = evalstat((SNODE)FA1(f));
411: if ( f_break || f_return )
412: break;
413: f_continue = 0;
414: if ( !evalnode((NODE)FA2(f)) )
415: break;
416: }
417: f_break = 0; break;
418: default:
419: error("evalstat : unknown id");
420: break;
421: }
422: return ( val );
423: }
424:
425: pointer evalnode(node)
426: NODE node;
427: {
428: NODE tn;
429: pointer val;
430:
431: for ( tn = node, val = 0; tn; tn = NEXT(tn) )
432: if ( BDY(tn) )
433: val = eval((FNODE)BDY(tn));
434: return ( val );
435: }
436:
437: extern FUNC cur_binf;
438: extern NODE PVSS;
439:
440: pointer evalf(f,a,opt)
441: FUNC f;
442: FNODE a;
443: FNODE opt;
444: {
445: LIST args;
446: pointer val;
447: int i,n,level;
1.11 noro 448: NODE tn,sn,opts,opt1;
1.1 noro 449: VS pvs;
450: char errbuf[BUFSIZ];
1.12 ! noro 451: static int stack_size;
! 452: static void *stack_base;
1.1 noro 453:
454: if ( f->id == A_UNDEF ) {
455: sprintf(errbuf,"evalf : %s undefined",NAME(f));
456: error(errbuf);
457: }
458: if ( f->id != A_PARI ) {
459: for ( i = 0, tn = a?(NODE)FA0(a):0; tn; i++, tn = NEXT(tn) );
460: if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) {
461: sprintf(errbuf,"evalf : argument mismatch in %s()",NAME(f));
462: error(errbuf);
463: }
464: }
465: switch ( f->id ) {
466: case A_BIN:
467: if ( !n ) {
468: cur_binf = f;
469: (*f->f.binf)(&val);
470: } else {
471: args = (LIST)eval(a);
472: cur_binf = f;
473: (*f->f.binf)(args?BDY(args):0,&val);
474: }
475: cur_binf = 0;
476: break;
477: case A_PARI:
478: args = (LIST)eval(a);
479: cur_binf = f;
480: val = evalparif(f,args?BDY(args):0);
481: cur_binf = 0;
482: break;
483: case A_USR:
1.12 ! noro 484: /* stack check */
! 485: #if !defined(VISUAL)
! 486: if ( !stack_size ) {
! 487: struct rlimit rl;
! 488: getrlimit(RLIMIT_STACK,&rl);
! 489: stack_size = rl.rlim_cur;
! 490: }
! 491: if ( !stack_base )
! 492: stack_base = (void *)GC_get_stack_base();
! 493: if ( (stack_base - (void *)&args) +0x100000 > stack_size )
! 494: error("stack overflow");
! 495: #endif
1.1 noro 496: args = (LIST)eval(a);
1.11 noro 497: if ( opt ) {
1.1 noro 498: opts = BDY((LIST)eval(opt));
1.11 noro 499: /* opts = ["opt1",arg1],... */
500: opt1 = BDY((LIST)BDY(opts));
501: if ( !strcmp(BDY((STRING)BDY(opt1)),"option_list") ) {
502: /*
503: * the special option specification:
504: * option_list=[["o1","a1"],...]
505: */
506: asir_assert(BDY(NEXT(opt1)),O_LIST,"evalf");
507: opts = BDY((LIST)BDY(NEXT(opt1)));
508: }
509: } else
1.1 noro 510: opts = 0;
511: pvs = f->f.usrf->pvs;
512: if ( PVSS ) {
513: ((VS)BDY(PVSS))->at = evalstatline;
514: level = ((VS)BDY(PVSS))->level+1;
515: } else
516: level = 1;
517: MKNODE(tn,pvs,PVSS); PVSS = tn;
518: CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
519: CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n;
520: CPVS->level = level;
521: CPVS->opt = opts;
522: if ( CPVS->n ) {
523: CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV));
524: bcopy((char *)pvs->va,(char *)CPVS->va,
525: (int)(pvs->n*sizeof(struct oPV)));
526: }
527: if ( nextbp )
528: nextbplevel++;
529: for ( tn = f->f.usrf->args, sn = BDY(args);
530: sn; tn = NEXT(tn), sn = NEXT(sn) )
531: ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
532: val = evalstat((SNODE)BDY(f->f.usrf));
533: f_return = f_break = f_continue = 0; poppvs();
534: break;
535: case A_PURE:
536: args = (LIST)eval(a);
537: val = evalpf(f->f.puref,args?BDY(args):0);
538: break;
539: default:
540: sprintf(errbuf,"evalf : %s undefined",NAME(f));
541: error(errbuf);
542: break;
543: }
544: return val;
545: }
546:
547: pointer evalmapf(f,a)
548: FUNC f;
549: FNODE a;
550: {
551: LIST args;
552: NODE node,rest,t,n,r,r0;
553: Obj head;
554: VECT v,rv;
555: MAT m,rm;
556: LIST rl;
557: int len,row,col,i,j;
558: pointer val;
559:
560: args = (LIST)eval(a);
561: node = BDY(args); head = (Obj)BDY(node); rest = NEXT(node);
1.3 noro 562: if ( !head ) {
563: val = bevalf(f,node);
564: return val;
565: }
1.1 noro 566: switch ( OID(head) ) {
567: case O_VECT:
568: v = (VECT)head; len = v->len; MKVECT(rv,len);
569: for ( i = 0; i < len; i++ ) {
570: MKNODE(t,BDY(v)[i],rest); BDY(rv)[i] = bevalf(f,t);
571: }
572: val = (pointer)rv;
573: break;
574: case O_MAT:
575: m = (MAT)head; row = m->row; col = m->col; MKMAT(rm,row,col);
576: for ( i = 0; i < row; i++ )
577: for ( j = 0; j < col; j++ ) {
578: MKNODE(t,BDY(m)[i][j],rest); BDY(rm)[i][j] = bevalf(f,t);
579: }
580: val = (pointer)rm;
581: break;
582: case O_LIST:
583: n = BDY((LIST)head);
584: for ( r0 = r = 0; n; n = NEXT(n) ) {
585: NEXTNODE(r0,r); MKNODE(t,BDY(n),rest); BDY(r) = bevalf(f,t);
1.9 noro 586: }
587: if ( r0 )
588: NEXT(r) = 0;
589: MKLIST(rl,r0);
590: val = (pointer)rl;
591: break;
592: default:
593: val = bevalf(f,node);
594: break;
595: }
596: return val;
597: }
598:
599: pointer eval_rec_mapf(f,a)
600: FUNC f;
601: FNODE a;
602: {
603: LIST args;
604:
605: args = (LIST)eval(a);
606: return beval_rec_mapf(f,BDY(args));
607: }
608:
609: pointer beval_rec_mapf(f,node)
610: FUNC f;
611: NODE node;
612: {
613: LIST args;
614: NODE rest,t,n,r,r0;
615: Obj head;
616: VECT v,rv;
617: MAT m,rm;
618: LIST rl;
619: int len,row,col,i,j;
620: pointer val;
621:
622: head = (Obj)BDY(node); rest = NEXT(node);
623: if ( !head ) {
624: val = bevalf(f,node);
625: return val;
626: }
627: switch ( OID(head) ) {
628: case O_VECT:
629: v = (VECT)head; len = v->len; MKVECT(rv,len);
630: for ( i = 0; i < len; i++ ) {
631: MKNODE(t,BDY(v)[i],rest); BDY(rv)[i] = beval_rec_mapf(f,t);
632: }
633: val = (pointer)rv;
634: break;
635: case O_MAT:
636: m = (MAT)head; row = m->row; col = m->col; MKMAT(rm,row,col);
637: for ( i = 0; i < row; i++ )
638: for ( j = 0; j < col; j++ ) {
639: MKNODE(t,BDY(m)[i][j],rest);
640: BDY(rm)[i][j] = beval_rec_mapf(f,t);
641: }
642: val = (pointer)rm;
643: break;
644: case O_LIST:
645: n = BDY((LIST)head);
646: for ( r0 = r = 0; n; n = NEXT(n) ) {
647: NEXTNODE(r0,r); MKNODE(t,BDY(n),rest);
648: BDY(r) = beval_rec_mapf(f,t);
1.1 noro 649: }
650: if ( r0 )
651: NEXT(r) = 0;
652: MKLIST(rl,r0);
653: val = (pointer)rl;
654: break;
655: default:
656: val = bevalf(f,node);
657: break;
658: }
659: return val;
660: }
661:
662: pointer bevalf(f,a)
663: FUNC f;
664: NODE a;
665: {
666: pointer val;
667: int i,n;
668: NODE tn,sn;
669: VS pvs;
670: struct oLIST list;
671: struct oFNODE fnode;
672: char errbuf[BUFSIZ];
673:
674: if ( f->id == A_UNDEF ) {
675: sprintf(errbuf,"bevalf : %s undefined",NAME(f));
676: error(errbuf);
677: }
678: if ( f->id != A_PARI ) {
679: for ( i = 0, tn = a; tn; i++, tn = NEXT(tn) );
680: if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) {
681: sprintf(errbuf,"bevalf : argument mismatch in %s()",NAME(f));
682: error(errbuf);
683: }
684: }
685: switch ( f->id ) {
686: case A_BIN:
687: if ( !n ) {
688: cur_binf = f;
689: (*f->f.binf)(&val);
690: } else {
691: cur_binf = f;
692: (*f->f.binf)(a,&val);
693: }
694: cur_binf = 0;
695: break;
696: case A_PARI:
697: cur_binf = f;
698: val = evalparif(f,a);
699: cur_binf = 0;
700: break;
701: case A_USR:
702: pvs = f->f.usrf->pvs;
703: if ( PVSS )
704: ((VS)BDY(PVSS))->at = evalstatline;
705: MKNODE(tn,pvs,PVSS); PVSS = tn;
706: CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
707: CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n;
708: CPVS->opt = 0;
709: if ( CPVS->n ) {
710: CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV));
711: bcopy((char *)pvs->va,(char *)CPVS->va,
712: (int)(pvs->n*sizeof(struct oPV)));
713: }
714: if ( nextbp )
715: nextbplevel++;
716: for ( tn = f->f.usrf->args, sn = a;
717: sn; tn = NEXT(tn), sn = NEXT(sn) )
718: ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
719: val = evalstat((SNODE)BDY(f->f.usrf));
720: f_return = f_break = f_continue = 0; poppvs();
721: break;
722: case A_PURE:
723: val = evalpf(f->f.puref,a);
724: break;
725: default:
726: sprintf(errbuf,"bevalf : %s undefined",NAME(f));
727: error(errbuf);
728: break;
729: }
730: return val;
731: }
732:
733: pointer evalif(f,a)
734: FNODE f,a;
735: {
736: Obj g;
737:
738: g = (Obj)eval(f);
739: if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) )
740: return evalf((FUNC)VR((P)g)->priv,a,0);
741: else {
742: error("invalid function pointer");
743: }
744: }
745:
746: pointer evalpf(pf,args)
747: PF pf;
748: NODE args;
749: {
750: Obj s,s1;
751: int i;
752: NODE node;
753: PFINS ins;
754: PFAD ad;
755: char errbuf[BUFSIZ];
756:
757: if ( !pf->body ) {
758: ins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD));
759: ins->pf = pf;
760: for ( i = 0, node = args, ad = ins->ad;
761: node; node = NEXT(node), i++ ) {
762: ad[i].d = 0; ad[i].arg = (Obj)node->body;
763: }
764: simplify_ins(ins,&s);
765: } else {
766: for ( i = 0, s = pf->body, node = args;
767: node; node = NEXT(node), i++ ) {
768: substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1;
769: }
770: }
771: return (pointer)s;
772: }
773:
774: void evalnodebody(sn,dnp)
775: NODE sn;
776: NODE *dnp;
777: {
778: NODE n,n0,tn;
779: int line;
780:
781: if ( !sn ) {
782: *dnp = 0;
783: return;
784: }
785: line = evalstatline;
786: for ( tn = sn, n0 = 0; tn; tn = NEXT(tn) ) {
787: NEXTNODE(n0,n);
788: BDY(n) = eval((FNODE)BDY(tn));
789: evalstatline = line;
790: }
791: NEXT(n) = 0; *dnp = n0;
792: }
793:
1.12 ! noro 794: void gen_searchf(name,r)
! 795: char *name;
! 796: FUNC *r;
! 797: {
! 798: FUNC val;
! 799:
! 800: searchf(sysf,name,&val);
! 801: if ( !val )
! 802: searchf(ubinf,name,&val);
! 803: if ( !val )
! 804: searchpf(name,&val);
! 805: if ( !val )
! 806: searchf(usrf,name,&val);
! 807: if ( !val )
! 808: appenduf(name,&val);
! 809: *r = val;
! 810: }
! 811:
1.1 noro 812: void searchf(fn,name,r)
813: NODE fn;
814: char *name;
815: FUNC *r;
816: {
817: NODE tn;
818:
819: for ( tn = fn;
820: tn && strcmp(NAME((FUNC)BDY(tn)),name); tn = NEXT(tn) );
821: if ( tn ) {
822: *r = (FUNC)BDY(tn);
823: return;
824: }
825: *r = 0;
826: }
827:
828: void appenduf(name,r)
829: char *name;
830: FUNC *r;
831: {
832: NODE tn;
833: FUNC f;
834:
835: f=(FUNC)MALLOC(sizeof(struct oFUNC));
836: f->name = name; f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
837: MKNODE(tn,f,usrf); usrf = tn;
838: *r = f;
839: }
840:
841: void mkparif(name,r)
842: char *name;
843: FUNC *r;
844: {
845: FUNC f;
846:
847: *r = f =(FUNC)MALLOC(sizeof(struct oFUNC));
848: f->name = name; f->id = A_PARI; f->argc = 0; f->f.binf = 0;
849: }
850:
851: void mkuf(name,fname,args,body,startl,endl,desc)
852: char *name,*fname;
853: NODE args;
854: SNODE body;
855: int startl,endl;
856: char *desc;
857: {
858: FUNC f;
859: USRF t;
860: NODE sn,tn;
861: FNODE fn;
862: int argc;
863:
864: searchf(sysf,name,&f);
865: if ( f ) {
866: fprintf(stderr,"def : builtin function %s() cannot be redefined.\n",name);
867: CPVS = GPVS; return;
868: }
869: for ( argc = 0, sn = args; sn; argc++, sn = NEXT(sn) ) {
870: fn = (FNODE)BDY(sn);
871: if ( !fn || ID(fn) != I_PVAR ) {
872: fprintf(stderr,"illegal argument in %s()\n",name);
873: CPVS = GPVS; return;
874: }
875: }
876: for ( sn = usrf; sn && strcmp(NAME((FUNC)BDY(sn)),name); sn = NEXT(sn) );
877: if ( sn )
878: f = (FUNC)BDY(sn);
879: else {
880: f=(FUNC)MALLOC(sizeof(struct oFUNC));
881: f->name = name;
882: MKNODE(tn,f,usrf); usrf = tn;
883: }
884: if ( Verbose && f->id != A_UNDEF )
885: fprintf(stderr,"Warning : %s() redefined.\n",name);
886: /* else
887: fprintf(stderr,"%s() defined.\n",name); */
888: t=(USRF)MALLOC(sizeof(struct oUSRF));
889: t->args=args; BDY(t)=body; t->pvs = CPVS; t->fname = fname;
890: t->startl = startl; t->endl = endl; t->vol = asir_infile->vol;
891: t->desc = desc;
892: f->id = A_USR; f->argc = argc; f->f.usrf = t;
893: CPVS = GPVS;
894: clearbp(f);
895: }
896:
897: /*
898: retrieve value of an option whose key matches 'key'
899: CVS->opt is a list(node) of key-value pair (list)
900: CVS->opt = BDY([[key,value],[key,value],...])
901: */
902:
903: Obj getopt_from_cpvs(key)
904: char *key;
905: {
906: NODE opts,opt;
907: Obj value;
1.12 ! noro 908: LIST r;
1.1 noro 909: extern Obj VOIDobj;
910:
911: opts = CPVS->opt;
1.12 ! noro 912: if ( !key ) {
! 913: MKLIST(r,opts);
! 914: return (Obj)r;
! 915: } else {
! 916: for ( ; opts; opts = NEXT(opts) ) {
! 917: asir_assert(BDY(opts),O_LIST,"getopt_from_cvps");
! 918: opt = BDY((LIST)BDY(opts));
! 919: if ( !strcmp(key,BDY((STRING)BDY(opt))) )
! 920: return (Obj)BDY(NEXT(opt));
! 921: }
! 922: return VOIDobj;
1.1 noro 923: }
924:
925: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>