version 1.45, 2005/09/27 03:00:21 |
version 1.51, 2005/10/12 03:31:04 |
|
|
* 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.44 2005/09/21 23:39:32 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.50 2005/10/05 09:39:13 noro Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
Line 72 pointer eval(FNODE f) |
|
Line 72 pointer eval(FNODE f) |
|
STRING str; |
STRING str; |
pointer val = 0; |
pointer val = 0; |
pointer a,a1,a2; |
pointer a,a1,a2; |
NODE tn,ind,match; |
NODE tn,tn1,ind,match; |
R u; |
R u; |
DP dp; |
DP dp; |
unsigned int pv; |
unsigned int pv; |
Line 115 pointer eval(FNODE f) |
|
Line 115 pointer eval(FNODE f) |
|
a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f)); |
a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f)); |
(*((ARF)FA0(f))->fp)(CO,a1,a2,&val); |
(*((ARF)FA0(f))->fp)(CO,a1,a2,&val); |
break; |
break; |
|
case I_NARYOP: |
|
tn = (NODE)FA1(f); |
|
a = eval((FNODE)BDY(tn)); |
|
for ( tn = NEXT(tn); tn; tn = NEXT(tn) ) { |
|
a1 = eval((FNODE)BDY(tn)); |
|
(*((ARF)FA0(f))->fp)(CO,a,a1,&a2); |
|
a = a2; |
|
} |
|
val = a; |
|
break; |
case I_COP: |
case I_COP: |
a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f)); |
a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f)); |
c = arf_comp(CO,a1,a2); |
c = arf_comp(CO,a1,a2); |
Line 290 pointer eval(FNODE f) |
|
Line 300 pointer eval(FNODE f) |
|
val = FA0(f); break; |
val = FA0(f); break; |
case I_LIST: |
case I_LIST: |
evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break; |
evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break; |
|
case I_CONS: |
|
evalnodebody((NODE)FA0(f),&tn); a2 = eval(FA1(f)); |
|
if ( !a2 || OID(a2) != O_LIST ) |
|
error("cons : invalid argument"); |
|
for ( tn1 = tn; NEXT(tn1); tn1 = NEXT(tn1) ); |
|
NEXT(tn1) = BDY((LIST)a2); |
|
MKLIST(t,tn); val = (pointer)t; |
|
break; |
case I_NEWCOMP: |
case I_NEWCOMP: |
newstruct((int)FA0(f),(struct oCOMP **)&val); break; |
newstruct((int)FA0(f),(struct oCOMP **)&val); break; |
case I_CAR: |
case I_CAR: |
Line 333 pointer eval(FNODE f) |
|
Line 351 pointer eval(FNODE f) |
|
return ( val ); |
return ( val ); |
} |
} |
|
|
|
NODE fnode_to_nary_node(NODE); |
|
NODE fnode_to_bin_node(NODE,int); |
|
|
|
FNODE fnode_to_nary(FNODE f) |
|
{ |
|
FNODE a0,a1,a2; |
|
NODE n,t,t0; |
|
pointer val; |
|
char *op; |
|
|
|
if ( !f ) |
|
return f; |
|
switch ( f->id ) { |
|
case I_NARYOP: |
|
n = fnode_to_nary_node((NODE)FA1(f)); |
|
return mkfnode(2,I_NARYOP,FA0(f),n); |
|
|
|
case I_BOP: |
|
a1 = fnode_to_nary((FNODE)FA1(f)); |
|
a2 = fnode_to_nary((FNODE)FA2(f)); |
|
op = ((ARF)FA0(f))->name; |
|
if ( !strcmp(op,"+") || !strcmp(op,"*") ) { |
|
if ( a1->id == I_NARYOP && !strcmp(op,((ARF)FA0(a1))->name) ) { |
|
for ( n = (NODE)FA1(a1); NEXT(n); n = NEXT(n) ); |
|
if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) |
|
NEXT(n) = (NODE)FA1(a2); |
|
else |
|
MKNODE(NEXT(n),a2,0); |
|
return a1; |
|
} else if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) { |
|
MKNODE(t,a1,(NODE)FA1(a2)); |
|
return mkfnode(2,I_NARYOP,FA0(f),t); |
|
} else { |
|
t = mknode(2,a1,a2); |
|
return mkfnode(2,I_NARYOP,FA0(f),t); |
|
} |
|
} else |
|
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
|
case I_NOT: case I_PAREN: case I_MINUS: |
|
case I_CAR: case I_CDR: |
|
a0 = fnode_to_nary((FNODE)FA0(f)); |
|
return mkfnode(1,f->id,a0); |
|
|
|
case I_COP: case I_LOP: |
|
a1 = fnode_to_nary((FNODE)FA1(f)); |
|
a2 = fnode_to_nary((FNODE)FA2(f)); |
|
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
|
case I_AND: case I_OR: |
|
a0 = fnode_to_nary((FNODE)FA0(f)); |
|
a1 = fnode_to_nary((FNODE)FA1(f)); |
|
return mkfnode(2,f->id,a0,a1); |
|
|
|
/* ternary operators */ |
|
case I_CE: |
|
a0 = fnode_to_nary((FNODE)FA0(f)); |
|
a1 = fnode_to_nary((FNODE)FA1(f)); |
|
a2 = fnode_to_nary((FNODE)FA2(f)); |
|
return mkfnode(3,f->id,a0,a1,a2); |
|
break; |
|
|
|
/* function */ |
|
case I_FUNC: |
|
a1 = fnode_to_nary((FNODE)FA1(f)); |
|
return mkfnode(2,f->id,FA0(f),a1); |
|
|
|
case I_LIST: case I_EV: |
|
n = fnode_to_nary_node((NODE)FA0(f)); |
|
return mkfnode(1,f->id,n); |
|
|
|
case I_STR: case I_FORMULA: case I_PVAR: |
|
return f; |
|
|
|
default: |
|
error("fnode_to_nary : not implemented yet"); |
|
} |
|
} |
|
|
|
FNODE fnode_to_bin(FNODE f,int dir) |
|
{ |
|
FNODE a0,a1,a2; |
|
NODE n,t; |
|
pointer val; |
|
ARF fun; |
|
int len,i; |
|
FNODE *arg; |
|
|
|
if ( !f ) |
|
return f; |
|
switch ( f->id ) { |
|
case I_NARYOP: |
|
fun = (ARF)FA0(f); |
|
len = length((NODE)FA1(f)); |
|
arg = (FNODE *)ALLOCA(len*sizeof(FNODE)); |
|
for ( i = 0, t = (NODE)FA1(f); i < len; i++, t = NEXT(t) ) |
|
arg[i] = fnode_to_bin((FNODE)BDY(t),dir); |
|
if ( dir ) { |
|
a2 = mkfnode(3,I_BOP,fun,arg[len-2],arg[len-1]); |
|
for ( i = len-3; i >= 0; i-- ) |
|
a2 = mkfnode(3,I_BOP,fun,arg[i],a2); |
|
} else { |
|
a2 = mkfnode(3,I_BOP,fun,arg[0],arg[1]); |
|
for ( i = 2; i < len; i++ ) |
|
a2 = mkfnode(3,I_BOP,fun,a2,arg[i]); |
|
} |
|
return a2; |
|
|
|
case I_NOT: case I_PAREN: case I_MINUS: |
|
case I_CAR: case I_CDR: |
|
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
|
return mkfnode(1,f->id,a0); |
|
|
|
case I_BOP: case I_COP: case I_LOP: |
|
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
|
a2 = fnode_to_bin((FNODE)FA2(f),dir); |
|
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
|
case I_AND: case I_OR: |
|
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
|
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
|
return mkfnode(2,f->id,a0,a1); |
|
|
|
/* ternary operators */ |
|
case I_CE: |
|
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
|
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
|
a2 = fnode_to_bin((FNODE)FA2(f),dir); |
|
return mkfnode(3,f->id,a0,a1,a2); |
|
break; |
|
|
|
/* function */ |
|
case I_FUNC: |
|
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
|
return mkfnode(2,f->id,FA0(f),a1); |
|
|
|
case I_LIST: case I_EV: |
|
n = fnode_to_bin_node((NODE)FA0(f),dir); |
|
return mkfnode(1,f->id,n); |
|
|
|
case I_STR: case I_FORMULA: case I_PVAR: |
|
return f; |
|
|
|
default: |
|
error("fnode_to_bin : not implemented yet"); |
|
} |
|
} |
|
|
NODE partial_eval_node(NODE n); |
NODE partial_eval_node(NODE n); |
FNODE partial_eval(FNODE f); |
FNODE partial_eval(FNODE f); |
|
|
Line 355 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 405 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 fnode_to_nary_node(NODE n) |
|
{ |
|
NODE r0,r,t; |
|
|
|
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
|
NEXTNODE(r0,r); |
|
BDY(r) = fnode_to_nary((FNODE)BDY(t)); |
|
} |
|
if ( r0 ) NEXT(r) = 0; |
|
return r0; |
|
} |
|
|
|
NODE fnode_to_bin_node(NODE n,int dir) |
|
{ |
|
NODE r0,r,t; |
|
|
|
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
|
NEXTNODE(r0,r); |
|
BDY(r) = fnode_to_bin((FNODE)BDY(t),dir); |
|
} |
|
if ( r0 ) NEXT(r) = 0; |
|
return r0; |
|
} |
|
|
V searchvar(char *name); |
V searchvar(char *name); |
|
|
pointer evalstat(SNODE f) |
pointer evalstat(SNODE f) |
Line 912 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 */ |