[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.56 and 1.57

version 1.56, 2005/12/09 08:10:44 version 1.57, 2005/12/10 14:14:15
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.55 2005/12/02 07:13:19 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.56 2005/12/09 08:10:44 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 65  int evalstatline;
Line 65  int evalstatline;
 int recv_intr;  int recv_intr;
 int show_crossref;  int show_crossref;
 void gen_searchf_searchonly(char *name,FUNC *r);  void gen_searchf_searchonly(char *name,FUNC *r);
   LIST eval_arg(FNODE a,unsigned int quote);
   
 pointer eval(FNODE f)  pointer eval(FNODE f)
 {  {
Line 178  pointer eval(FNODE f)
Line 179  pointer eval(FNODE f)
                         val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break;                          val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break;
                 case I_FUNC_OPT:                  case I_FUNC_OPT:
                         val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;                          val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;
                   case I_FUNC_QARG:
                           tn = BDY(eval_arg((FNODE)FA1(f),(unsigned int)0xffffffff));
                           val = bevalf((FUNC)FA0(f),tn); break;
                 case I_PFDERIV:                  case I_PFDERIV:
                         val = evalf_deriv((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;                          val = evalf_deriv((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;
                 case I_MAP:                  case I_MAP:
Line 544  FNODE partial_eval(FNODE f)
Line 548  FNODE partial_eval(FNODE f)
                         break;                          break;
   
                 /* XXX : function is evaluated */                  /* XXX : function is evaluated */
                 case I_FUNC:                  case I_FUNC: case I_FUNC_QARG:
                         a1 = partial_eval((FNODE)FA1(f));                          a1 = partial_eval((FNODE)FA1(f));
                         func = (FUNC)FA0(f);                          func = (FUNC)FA0(f);
                         a1 =  mkfnode(2,f->id,func,a1);                          a1 =  mkfnode(2,I_FUNC,func,a1);
                         if ( func->id == A_UNDEF )                          if ( f->id == I_FUNC_QARG || func->id == A_UNDEF )
                                 return a1;                                  return a1;
                         else {                          else {
                                 obj = eval(a1);                                  obj = eval(a1);
Line 589  NODE partial_eval_node(NODE n)
Line 593  NODE partial_eval_node(NODE n)
         return r0;          return r0;
 }  }
   
 NODE rewrite_fnode_node(NODE n,NODE arg);  NODE rewrite_fnode_node(NODE n,NODE arg,int qarg);
 FNODE rewrite_fnode(FNODE f,NODE arg);  FNODE rewrite_fnode(FNODE f,NODE arg,int qarg);
   
 FNODE rewrite_fnode(FNODE f,NODE arg)  FNODE rewrite_fnode(FNODE f,NODE arg,int qarg)
 {  {
         FNODE a0,a1,a2,value;          FNODE a0,a1,a2,value;
         NODE n,t,pair;          NODE n,t,pair;
Line 604  FNODE rewrite_fnode(FNODE f,NODE arg)
Line 608  FNODE rewrite_fnode(FNODE f,NODE arg)
         switch ( f->id ) {          switch ( f->id ) {
                 case I_NOT: case I_PAREN: case I_MINUS:                  case I_NOT: case I_PAREN: case I_MINUS:
                 case I_CAR: case I_CDR:                  case I_CAR: case I_CDR:
                         a0 = rewrite_fnode((FNODE)FA0(f),arg);                          a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg);
                         return mkfnode(1,f->id,a0);                          return mkfnode(1,f->id,a0);
   
                 case I_BOP: case I_COP: case I_LOP:                  case I_BOP: case I_COP: case I_LOP:
                         a1 = rewrite_fnode((FNODE)FA1(f),arg);                          a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg);
                         a2 = rewrite_fnode((FNODE)FA2(f),arg);                          a2 = rewrite_fnode((FNODE)FA2(f),arg,qarg);
                         return mkfnode(3,f->id,FA0(f),a1,a2);                          return mkfnode(3,f->id,FA0(f),a1,a2);
   
                 case I_AND: case I_OR:                  case I_AND: case I_OR:
                         a0 = rewrite_fnode((FNODE)FA0(f),arg);                          a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg);
                         a1 = rewrite_fnode((FNODE)FA1(f),arg);                          a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg);
                         return mkfnode(2,f->id,a0,a1);                          return mkfnode(2,f->id,a0,a1);
   
                 /* ternary operators */                  /* ternary operators */
                 case I_CE:                  case I_CE:
                         a0 = rewrite_fnode((FNODE)FA0(f),arg);                          a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg);
                         a1 = rewrite_fnode((FNODE)FA1(f),arg);                          a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg);
                         a2 = rewrite_fnode((FNODE)FA2(f),arg);                          a2 = rewrite_fnode((FNODE)FA2(f),arg,qarg);
                         return mkfnode(3,f->id,a0,a1,a2);                          return mkfnode(3,f->id,a0,a1,a2);
                         break;                          break;
   
                 /* nary operators */                  /* nary operators */
                 case I_NARYOP:                  case I_NARYOP:
                         n = rewrite_fnode_node((NODE)FA1(f),arg);                          n = rewrite_fnode_node((NODE)FA1(f),arg,qarg);
                         return mkfnode(2,f->id,FA0(f),n);                          return mkfnode(2,f->id,FA0(f),n);
   
                 /* and function */                  /* and function */
                 case I_FUNC:                  case I_FUNC:
                         a1 = rewrite_fnode((FNODE)FA1(f),arg);                          a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg);
                         return mkfnode(2,f->id,FA0(f),a1);                          return mkfnode(2,qarg?I_FUNC_QARG:f->id,FA0(f),a1);
   
                 case I_LIST: case I_EV:                  case I_LIST: case I_EV:
                         n = rewrite_fnode_node((NODE)FA0(f),arg);                          n = rewrite_fnode_node((NODE)FA0(f),arg,qarg);
                         return mkfnode(1,f->id,n);                          return mkfnode(1,f->id,n);
   
                 case I_STR: case I_FORMULA:                  case I_STR: case I_FORMULA:
Line 647  FNODE rewrite_fnode(FNODE f,NODE arg)
Line 651  FNODE rewrite_fnode(FNODE f,NODE arg)
                         pv = (int)FA0(f);                          pv = (int)FA0(f);
                         for ( t = arg; t; t = NEXT(t) ) {                          for ( t = arg; t; t = NEXT(t) ) {
                                 pair = (NODE)BDY(t);                                  pair = (NODE)BDY(t);
                                 ind = (int)BDY(pair); value = (FNODE)BDY(NEXT(pair));                                  ind = (int)BDY(pair);
                                   value = (FNODE)BDY(NEXT(pair));
                                 if ( pv == ind )                                  if ( pv == ind )
                                         return value;                                          return value;
                         }                          }
Line 659  FNODE rewrite_fnode(FNODE f,NODE arg)
Line 664  FNODE rewrite_fnode(FNODE f,NODE arg)
         }          }
 }  }
   
 NODE rewrite_fnode_node(NODE n,NODE arg)  NODE rewrite_fnode_node(NODE n,NODE arg,int qarg)
 {  {
         NODE r0,r,t;          NODE r0,r,t;
   
         for ( r0 = 0, t = n; t; t = NEXT(t) ) {          for ( r0 = 0, t = n; t; t = NEXT(t) ) {
                 NEXTNODE(r0,r);                  NEXTNODE(r0,r);
                 BDY(r) = rewrite_fnode((FNODE)BDY(t),arg);                  BDY(r) = rewrite_fnode((FNODE)BDY(t),arg,qarg);
         }          }
         if ( r0 ) NEXT(r) = 0;          if ( r0 ) NEXT(r) = 0;
         return r0;          return r0;
Legend:
Removed from v.1.56  
changed lines
  Added in v.1.57
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>