[BACK]Return to eval.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/eval.c between version 1.57 and 1.69

version 1.57, 2005/12/10 14:14:15 version 1.69, 2013/11/21 06:48:04
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.56 2005/12/09 08:10:44 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.68 2011/02/18 02:54:49 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
 #include "base.h"  #include "base.h"
 #include "parse.h"  #include "parse.h"
   #if defined(GC7)
   #include "gc.h"
   #endif
 #include <sys/types.h>  #include <sys/types.h>
 #include <sys/stat.h>  #include <sys/stat.h>
 #if defined(PARI)  #if defined(PARI)
Line 59 
Line 62 
 #endif  #endif
   
 extern JMP_BUF timer_env;  extern JMP_BUF timer_env;
   extern FUNC cur_binf;
   extern NODE PVSS;
   
 int f_break,f_return,f_continue;  int f_break,f_return,f_continue;
 int evalstatline;  int evalstatline;
 int recv_intr;  int recv_intr;
 int show_crossref;  int show_crossref;
   int at_root;
 void gen_searchf_searchonly(char *name,FUNC *r);  void gen_searchf_searchonly(char *name,FUNC *r);
 LIST eval_arg(FNODE a,unsigned int quote);  LIST eval_arg(FNODE a,unsigned int quote);
   
Line 189  pointer eval(FNODE f)
Line 195  pointer eval(FNODE f)
                 case I_RECMAP:                  case I_RECMAP:
                         val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break;                          val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break;
                 case I_IFUNC:                  case I_IFUNC:
                         val = evalif((FNODE)FA0(f),(FNODE)FA1(f)); break;                          val = evalif((FNODE)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;
 #if !defined(VISUAL)  #if !defined(VISUAL)
                 case I_TIMER:                  case I_TIMER:
                         {                          {
Line 547  FNODE partial_eval(FNODE f)
Line 553  FNODE partial_eval(FNODE f)
                         return mkfnode(3,f->id,a0,a1,a2);                          return mkfnode(3,f->id,a0,a1,a2);
                         break;                          break;
   
                 /* XXX : function is evaluated */                  /* XXX : function is evaluated with QUOTE args */
                 case I_FUNC: case I_FUNC_QARG:                  case I_FUNC:
                         a1 = partial_eval((FNODE)FA1(f));                          a1 = partial_eval((FNODE)FA1(f));
                         func = (FUNC)FA0(f);                          func = (FUNC)FA0(f);
                         a1 =  mkfnode(2,I_FUNC,func,a1);                          if ( func->id == A_UNDEF || func->id != A_USR ) {
                         if ( f->id == I_FUNC_QARG || func->id == A_UNDEF )                                  a1 =  mkfnode(2,I_FUNC,func,a1);
                                 return a1;                                  return a1;
                         else {                          } else {
                                 obj = eval(a1);                                  n = BDY(eval_arg(a1,(unsigned int)0xffffffff));
                                   obj = bevalf(func,n);
                                 objtoquote(obj,&q);                                  objtoquote(obj,&q);
                                 return BDY(q);                                  return BDY(q);
                         }                          }
Line 720  pointer evalstat(SNODE f)
Line 727  pointer evalstat(SNODE f)
                 bp(f);                  bp(f);
         }          }
         evalstatline = f->ln;          evalstatline = f->ln;
           if ( !PVSS ) at_root = evalstatline;
   
         switch ( f->id ) {          switch ( f->id ) {
                 case S_BP:                  case S_BP:
Line 833  pointer evalnode(NODE node)
Line 841  pointer evalnode(NODE node)
         return ( val );          return ( val );
 }  }
   
 extern FUNC cur_binf;  
 extern NODE PVSS;  
   
 LIST eval_arg(FNODE a,unsigned int quote)  LIST eval_arg(FNODE a,unsigned int quote)
 {  {
Line 911  pointer evalf(FUNC f,FNODE a,FNODE opt)
Line 917  pointer evalf(FUNC f,FNODE a,FNODE opt)
                         } else                          } else
                                 opts = 0;                                  opts = 0;
                         if ( !n ) {                          if ( !n ) {
                                   current_option = opts;
                                 cur_binf = f;                                  cur_binf = f;
                                 (*f->f.binf)(&val);                                  (*f->f.binf)(&val);
                         } else {                          } else {
Line 935  pointer evalf(FUNC f,FNODE a,FNODE opt)
Line 942  pointer evalf(FUNC f,FNODE a,FNODE opt)
                                 getrlimit(RLIMIT_STACK,&rl);                                  getrlimit(RLIMIT_STACK,&rl);
                                 stack_size = rl.rlim_cur;                                  stack_size = rl.rlim_cur;
                         }                          }
                         if ( !stack_base )              if ( !stack_base ) {
                                 stack_base = (void *)GC_get_stack_base();  #if defined(GC7)
                   stack_base = (void *)GC_get_main_stack_base();
   #else
                   stack_base = (void *)GC_get_stack_base();
   #endif
               }
                         if ( (stack_base - (void *)&args) +0x100000 > stack_size )                          if ( (stack_base - (void *)&args) +0x100000 > stack_size )
                                 error("stack overflow");                                  error("stack overflow");
 #endif  #endif
Line 976  pointer evalf(FUNC f,FNODE a,FNODE opt)
Line 988  pointer evalf(FUNC f,FNODE a,FNODE opt)
                         for ( tn = f->f.usrf->args, sn = BDY(args);                          for ( tn = f->f.usrf->args, sn = BDY(args);
                                 sn; tn = NEXT(tn), sn = NEXT(sn) )                                  sn; tn = NEXT(tn), sn = NEXT(sn) )
                                 ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));                                  ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
                           f_return = f_break = f_continue = 0;
                         if ( f->f.usrf->module ) {                          if ( f->f.usrf->module ) {
                                 prev_mpvs = MPVS;                                  prev_mpvs = MPVS;
                                 MPVS = f->f.usrf->module->pvs;                                  MPVS = f->f.usrf->module->pvs;
Line 984  pointer evalf(FUNC f,FNODE a,FNODE opt)
Line 997  pointer evalf(FUNC f,FNODE a,FNODE opt)
                         } else                          } else
                                 val = evalstat((SNODE)BDY(f->f.usrf));                                  val = evalstat((SNODE)BDY(f->f.usrf));
                         f_return = f_break = f_continue = 0; poppvs();                          f_return = f_break = f_continue = 0; poppvs();
                           if ( PVSS )
                           evalstatline = ((VS)BDY(PVSS))->at;
                         break;                          break;
                 case A_PURE:                  case A_PURE:
                         args = (LIST)eval(a);                          args = (LIST)eval(a);
Line 1152  pointer bevalf(FUNC f,NODE a)
Line 1167  pointer bevalf(FUNC f,NODE a)
         }          }
         switch ( f->id ) {          switch ( f->id ) {
                 case A_BIN:                  case A_BIN:
                           current_option = 0;
                         if ( !n ) {                          if ( !n ) {
                                 cur_binf = f;                                  cur_binf = f;
                                 (*f->f.binf)(&val);                                  (*f->f.binf)(&val);
Line 1184  pointer bevalf(FUNC f,NODE a)
Line 1200  pointer bevalf(FUNC f,NODE a)
                         for ( tn = f->f.usrf->args, sn = a;                          for ( tn = f->f.usrf->args, sn = a;
                                 sn; tn = NEXT(tn), sn = NEXT(sn) )                                  sn; tn = NEXT(tn), sn = NEXT(sn) )
                                 ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));                                  ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
                           f_return = f_break = f_continue = 0;
                         if ( f->f.usrf->module ) {                          if ( f->f.usrf->module ) {
                                 prev_mpvs = MPVS;                                  prev_mpvs = MPVS;
                                 MPVS = f->f.usrf->module->pvs;                                  MPVS = f->f.usrf->module->pvs;
Line 1204  pointer bevalf(FUNC f,NODE a)
Line 1221  pointer bevalf(FUNC f,NODE a)
         return val;          return val;
 }  }
   
 pointer evalif(FNODE f,FNODE a)  pointer bevalf_with_opts(FUNC f,NODE a,NODE opts)
 {  {
           pointer val;
           int i,n;
           NODE tn,sn;
           VS pvs,prev_mpvs;
           char errbuf[BUFSIZ];
   
           if ( f->id == A_UNDEF ) {
                   sprintf(errbuf,"bevalf : %s undefined",NAME(f));
                   error(errbuf);
           }
           if ( getsecuremode() && !PVSS && !f->secure ) {
                   sprintf(errbuf,"bevalf : %s not permitted",NAME(f));
                   error(errbuf);
           }
           if ( f->id != A_PARI ) {
                   for ( i = 0, tn = a; tn; i++, tn = NEXT(tn) );
                   if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) {
                           sprintf(errbuf,"bevalf : argument mismatch in %s()",NAME(f));
                           error(errbuf);
                   }
           }
           switch ( f->id ) {
                   case A_BIN:
                           current_option = opts;
                           if ( !n ) {
                                   cur_binf = f;
                                   (*f->f.binf)(&val);
                           } else {
                                   cur_binf = f;
                                   (*f->f.binf)(a,&val);
                           }
                           cur_binf = 0;
                           break;
                   case A_PARI:
                           cur_binf = f;
                           val = evalparif(f,a);
                           cur_binf = 0;
                           break;
                   case A_USR:
                   pvs = f->f.usrf->pvs;
                   if ( PVSS )
                           ((VS)BDY(PVSS))->at = evalstatline;
                   MKNODE(tn,pvs,PVSS); PVSS = tn;
                   CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
                   CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n;
                           CPVS->opt = opts;
                   if ( CPVS->n ) {
                           CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV));
                           bcopy((char *)pvs->va,(char *)CPVS->va,
                                           (int)(pvs->n*sizeof(struct oPV)));
                   }
                   if ( nextbp )
                           nextbplevel++;
                           for ( tn = f->f.usrf->args, sn = a;
                                   sn; tn = NEXT(tn), sn = NEXT(sn) )
                                   ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
                           f_return = f_break = f_continue = 0;
                           if ( f->f.usrf->module ) {
                                   prev_mpvs = MPVS;
                                   MPVS = f->f.usrf->module->pvs;
                                   val = evalstat((SNODE)BDY(f->f.usrf));
                                   MPVS = prev_mpvs;
                           } else
                                   val = evalstat((SNODE)BDY(f->f.usrf));
                           f_return = f_break = f_continue = 0; poppvs();
                           break;
                   case A_PURE:
                           val = evalpf(f->f.puref,a,0);
                           break;
                   default:
                           sprintf(errbuf,"bevalf : %s undefined",NAME(f));
                           error(errbuf);
                           break;
           }
           return val;
   }
   
   pointer evalif(FNODE f,FNODE a,FNODE opt)
   {
         Obj g;          Obj g;
         QUOTE q;          QUOTE q;
         FNODE t;          FNODE t;
Line 1213  pointer evalif(FNODE f,FNODE a)
Line 1309  pointer evalif(FNODE f,FNODE a)
   
         g = (Obj)eval(f);          g = (Obj)eval(f);
         if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) )          if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) )
                 return evalf((FUNC)VR((P)g)->priv,a,0);                  return evalf((FUNC)VR((P)g)->priv,a,opt);
         else if ( g && OID(g) == O_QUOTEARG && ((QUOTEARG)g)->type == A_func ) {          else if ( g && OID(g) == O_QUOTEARG && ((QUOTEARG)g)->type == A_func ) {
                 t = mkfnode(2,I_FUNC,((QUOTEARG)g)->body,a);                  t = mkfnode(2,I_FUNC,((QUOTEARG)g)->body,a);
                 MKQUOTE(q,t);                  MKQUOTE(q,t);
Line 1248  pointer evalpf(PF pf,NODE args,NODE dargs)
Line 1344  pointer evalpf(PF pf,NODE args,NODE dargs)
                 simplify_ins(ins,&s);                  simplify_ins(ins,&s);
         } else {          } else {
                 s = pf->body;                  s = pf->body;
                 if ( dnode ) {                  if ( dargs ) {
                         for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) {                          for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) {
                                 di = QTOS((Q)dnode->body);                                  di = QTOS((Q)dnode->body);
                                 for ( j = 0; j < di; j++ ) {                                  for ( j = 0; j < di; j++ ) {
Legend:
Removed from v.1.57  
changed lines
  Added in v.1.69
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>