[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.48 and 1.50

version 1.48, 2005/09/30 01:35:25 version 1.50, 2005/10/05 09:39:13
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.47 2005/09/29 08:55:26 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.49 2005/10/05 07:38:08 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 521  FNODE partial_eval(FNODE f)
Line 521  FNODE partial_eval(FNODE f)
                         a2 = partial_eval((FNODE)FA2(f));                          a2 = partial_eval((FNODE)FA2(f));
                         return mkfnode(3,f->id,FA0(f),a1,a2);                          return mkfnode(3,f->id,FA0(f),a1,a2);
   
                   case I_NARYOP:
                           n = partial_eval_node((NODE)FA1(f));
                           return mkfnode(2,f->id,FA0(f),n);
   
                 case I_AND: case I_OR:                  case I_AND: case I_OR:
                         a0 = partial_eval((FNODE)FA0(f));                          a0 = partial_eval((FNODE)FA0(f));
                         a1 = partial_eval((FNODE)FA1(f));                          a1 = partial_eval((FNODE)FA1(f));
Line 571  NODE partial_eval_node(NODE n)
Line 575  NODE partial_eval_node(NODE n)
         return r0;          return r0;
 }  }
   
   NODE rewrite_fnode_node(NODE n,NODE arg);
   FNODE rewrite_fnode(FNODE f,NODE arg);
   
   FNODE rewrite_fnode(FNODE f,NODE arg)
   {
           FNODE a0,a1,a2,value;
           NODE n,t,pair;
           pointer val;
           int pv,ind;
   
           if ( !f )
                   return f;
           switch ( f->id ) {
                   case I_NOT: case I_PAREN: case I_MINUS:
                   case I_CAR: case I_CDR:
                           a0 = rewrite_fnode((FNODE)FA0(f),arg);
                           return mkfnode(1,f->id,a0);
   
                   case I_BOP: case I_COP: case I_LOP:
                           a1 = rewrite_fnode((FNODE)FA1(f),arg);
                           a2 = rewrite_fnode((FNODE)FA2(f),arg);
                           return mkfnode(3,f->id,FA0(f),a1,a2);
   
                   case I_AND: case I_OR:
                           a0 = rewrite_fnode((FNODE)FA0(f),arg);
                           a1 = rewrite_fnode((FNODE)FA1(f),arg);
                           return mkfnode(2,f->id,a0,a1);
   
                   /* ternary operators */
                   case I_CE:
                           a0 = rewrite_fnode((FNODE)FA0(f),arg);
                           a1 = rewrite_fnode((FNODE)FA1(f),arg);
                           a2 = rewrite_fnode((FNODE)FA2(f),arg);
                           return mkfnode(3,f->id,a0,a1,a2);
                           break;
   
                   /* function */
                   case I_FUNC:
                           a1 = rewrite_fnode((FNODE)FA1(f),arg);
                           return mkfnode(2,f->id,FA0(f),a1);
   
                   case I_LIST: case I_EV:
                           n = rewrite_fnode_node((NODE)FA0(f),arg);
                           return mkfnode(1,f->id,n);
   
                   case I_STR: case I_FORMULA:
                           return f;
   
                   /* program variable */
                   case I_PVAR:
                           pv = (int)FA0(f);
                           for ( t = arg; t; t = NEXT(t) ) {
                                   pair = (NODE)BDY(t);
                                   ind = (int)BDY(pair); value = (FNODE)BDY(NEXT(pair));
                                   if ( pv == ind )
                                           return value;
                           }
                           return f;
                           break;
   
                   default:
                           error("rewrite_fnode : not implemented yet");
           }
   }
   
   NODE rewrite_fnode_node(NODE n,NODE arg)
   {
           NODE r0,r,t;
   
           for ( r0 = 0, t = n; t; t = NEXT(t) ) {
                   NEXTNODE(r0,r);
                   BDY(r) = rewrite_fnode((FNODE)BDY(t),arg);
           }
           if ( r0 ) NEXT(r) = 0;
           return r0;
   }
   
 NODE quote_to_nary_node(NODE n)  NODE quote_to_nary_node(NODE n)
 {  {
         NODE r0,r,t;          NODE r0,r,t;
Line 1102  pointer bevalf(FUNC f,NODE a)
Line 1183  pointer bevalf(FUNC f,NODE a)
 pointer evalif(FNODE f,FNODE a)  pointer evalif(FNODE f,FNODE a)
 {  {
         Obj g;          Obj g;
           QUOTE q;
         FNODE t;          FNODE t;
           LIST l;
   
         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,0);
         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);
                 return eval(t);                  MKQUOTE(q,t);
                   return q;
         } else {          } else {
                 error("invalid function pointer");                  error("invalid function pointer");
                 /* NOTREACHED */                  /* NOTREACHED */
Legend:
Removed from v.1.48  
changed lines
  Added in v.1.50
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>