version 1.51, 2005/10/12 03:31:04 |
version 1.56, 2005/12/09 08:10:44 |
|
|
* 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.50 2005/10/05 09:39:13 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.55 2005/12/02 07:13:19 noro Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
Line 445 FNODE fnode_to_bin(FNODE f,int dir) |
|
Line 445 FNODE fnode_to_bin(FNODE f,int dir) |
|
case I_NARYOP: |
case I_NARYOP: |
fun = (ARF)FA0(f); |
fun = (ARF)FA0(f); |
len = length((NODE)FA1(f)); |
len = length((NODE)FA1(f)); |
|
if ( len==1 ) return BDY((NODE)(FA1(f))); |
|
|
arg = (FNODE *)ALLOCA(len*sizeof(FNODE)); |
arg = (FNODE *)ALLOCA(len*sizeof(FNODE)); |
for ( i = 0, t = (NODE)FA1(f); i < len; i++, t = NEXT(t) ) |
for ( i = 0, t = (NODE)FA1(f); i < len; i++, t = NEXT(t) ) |
arg[i] = fnode_to_bin((FNODE)BDY(t),dir); |
arg[i] = fnode_to_bin((FNODE)BDY(t),dir); |
Line 506 FNODE partial_eval(FNODE f) |
|
Line 508 FNODE partial_eval(FNODE f) |
|
{ |
{ |
FNODE a0,a1,a2; |
FNODE a0,a1,a2; |
NODE n; |
NODE n; |
|
Obj obj; |
|
QUOTE q; |
pointer val; |
pointer val; |
|
FUNC func; |
|
|
if ( !f ) |
if ( !f ) |
return f; |
return f; |
Line 538 FNODE partial_eval(FNODE f) |
|
Line 543 FNODE partial_eval(FNODE f) |
|
return mkfnode(3,f->id,a0,a1,a2); |
return mkfnode(3,f->id,a0,a1,a2); |
break; |
break; |
|
|
/* function */ |
/* XXX : function is evaluated */ |
case I_FUNC: |
case I_FUNC: |
a1 = partial_eval((FNODE)FA1(f)); |
a1 = partial_eval((FNODE)FA1(f)); |
return mkfnode(2,f->id,FA0(f),a1); |
func = (FUNC)FA0(f); |
|
a1 = mkfnode(2,f->id,func,a1); |
|
if ( func->id == A_UNDEF ) |
|
return a1; |
|
else { |
|
obj = eval(a1); |
|
objtoquote(obj,&q); |
|
return BDY(q); |
|
} |
|
break; |
|
|
case I_LIST: case I_EV: |
case I_LIST: case I_EV: |
n = partial_eval_node((NODE)FA0(f)); |
n = partial_eval_node((NODE)FA0(f)); |
Line 611 FNODE rewrite_fnode(FNODE f,NODE arg) |
|
Line 625 FNODE rewrite_fnode(FNODE f,NODE arg) |
|
return mkfnode(3,f->id,a0,a1,a2); |
return mkfnode(3,f->id,a0,a1,a2); |
break; |
break; |
|
|
/* function */ |
/* nary operators */ |
|
case I_NARYOP: |
|
n = rewrite_fnode_node((NODE)FA1(f),arg); |
|
return mkfnode(2,f->id,FA0(f),n); |
|
|
|
/* and function */ |
case I_FUNC: |
case I_FUNC: |
a1 = rewrite_fnode((FNODE)FA1(f),arg); |
a1 = rewrite_fnode((FNODE)FA1(f),arg); |
return mkfnode(2,f->id,FA0(f),a1); |
return mkfnode(2,f->id,FA0(f),a1); |
Line 1204 pointer evalif(FNODE f,FNODE a) |
|
Line 1223 pointer evalif(FNODE f,FNODE a) |
|
pointer evalpf(PF pf,NODE args,NODE dargs) |
pointer evalpf(PF pf,NODE args,NODE dargs) |
{ |
{ |
Obj s,s1; |
Obj s,s1; |
int i; |
int i,di,j; |
NODE node,dnode; |
NODE node,dnode; |
PFINS ins; |
PFINS ins; |
PFAD ad; |
PFAD ad; |
Line 1223 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
Line 1242 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
} |
} |
simplify_ins(ins,&s); |
simplify_ins(ins,&s); |
} else { |
} else { |
for ( i = 0, s = pf->body, node = args; |
s = pf->body; |
node; node = NEXT(node), i++ ) { |
if ( dnode ) { |
|
for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) { |
|
di = QTOS((Q)dnode->body); |
|
for ( j = 0; j < di; j++ ) { |
|
derivr(CO,s,pf->args[i],&s1); s = s1; |
|
} |
|
} |
|
} |
|
for ( i = 0, node = args; node; node = NEXT(node), i++ ) { |
substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1; |
substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1; |
} |
} |
} |
} |