version 1.56, 2005/12/09 08:10:44 |
version 1.58, 2005/12/11 05:27:30 |
|
|
* 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.57 2005/12/10 14:14:15 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 543 FNODE partial_eval(FNODE f) |
|
Line 547 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: |
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); |
if ( func->id == A_UNDEF ) { |
if ( 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 589 NODE partial_eval_node(NODE n) |
|
Line 594 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 609 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 652 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 665 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; |