version 1.59, 2005/12/11 07:21:43 |
version 1.75, 2016/08/24 08:21:03 |
|
|
* 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.58 2005/12/11 05:27:30 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.74 2015/08/14 13:51:56 fujimoto Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
#include "base.h" |
#include "base.h" |
#include "parse.h" |
#include "parse.h" |
|
#if defined(GC7) |
|
#include "gc.h" |
|
#endif |
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/stat.h> |
#include <sys/stat.h> |
#if defined(PARI) |
|
#include "genpari.h" |
|
#endif |
|
|
|
extern JMP_BUF timer_env; |
extern JMP_BUF timer_env; |
|
extern FUNC cur_binf; |
|
extern NODE PVSS; |
|
|
int f_break,f_return,f_continue; |
int f_break,f_return,f_continue; |
int evalstatline; |
int evalstatline; |
int recv_intr; |
|
int show_crossref; |
int show_crossref; |
void gen_searchf_searchonly(char *name,FUNC *r); |
int at_root; |
|
void gen_searchf_searchonly(char *name,FUNC *r,int global); |
LIST eval_arg(FNODE a,unsigned int quote); |
LIST eval_arg(FNODE a,unsigned int quote); |
|
|
pointer eval(FNODE f) |
pointer eval(FNODE f) |
Line 89 pointer eval(FNODE f) |
|
Line 91 pointer eval(FNODE f) |
|
RANGE range; |
RANGE range; |
QUOTE expr,pattern; |
QUOTE expr,pattern; |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) |
if ( recv_intr ) { |
check_intr(); |
#include <signal.h> |
|
if ( recv_intr == 1 ) { |
|
recv_intr = 0; |
|
int_handler(SIGINT); |
|
} else { |
|
recv_intr = 0; |
|
ox_usr1_handler(0); |
|
} |
|
} |
|
#endif |
#endif |
if ( !f ) |
if ( !f ) |
return ( 0 ); |
return ( 0 ); |
Line 189 pointer eval(FNODE f) |
|
Line 182 pointer eval(FNODE f) |
|
case I_RECMAP: |
case I_RECMAP: |
val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break; |
val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break; |
case I_IFUNC: |
case I_IFUNC: |
val = evalif((FNODE)FA0(f),(FNODE)FA1(f)); break; |
val = evalif((FNODE)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
case I_TIMER: |
case I_TIMER: |
{ |
{ |
int interval; |
int interval; |
Line 721 pointer evalstat(SNODE f) |
|
Line 714 pointer evalstat(SNODE f) |
|
bp(f); |
bp(f); |
} |
} |
evalstatline = f->ln; |
evalstatline = f->ln; |
|
if ( !PVSS ) at_root = evalstatline; |
|
|
switch ( f->id ) { |
switch ( f->id ) { |
case S_BP: |
case S_BP: |
if ( !nextbp && (!FA1(f) || eval((FNODE)FA1(f))) ) { |
if ( !nextbp && (!FA1(f) || eval((FNODE)FA1(f))) ) { |
if ( (FNODE)FA2(f) ) { |
if ( (FNODE)FA2(f) ) { |
#if defined(PARI) |
|
pari_outfile = stderr; |
|
#endif |
|
asir_out = stderr; |
asir_out = stderr; |
printexpr(CO,eval((FNODE)FA2(f))); |
printexpr(CO,eval((FNODE)FA2(f))); |
putc('\n',asir_out); fflush(asir_out); |
putc('\n',asir_out); fflush(asir_out); |
#if defined(PARI) |
|
pari_outfile = stdout; |
|
#endif |
|
asir_out = stdout; |
asir_out = stdout; |
} else { |
} else { |
nextbp = 1; nextbplevel = 0; |
nextbp = 1; nextbplevel = 0; |
Line 834 pointer evalnode(NODE node) |
|
Line 822 pointer evalnode(NODE node) |
|
return ( val ); |
return ( val ); |
} |
} |
|
|
extern FUNC cur_binf; |
|
extern NODE PVSS; |
|
|
|
LIST eval_arg(FNODE a,unsigned int quote) |
LIST eval_arg(FNODE a,unsigned int quote) |
{ |
{ |
Line 877 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 863 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
FUNC f1; |
FUNC f1; |
|
|
if ( f->id == A_UNDEF ) { |
if ( f->id == A_UNDEF ) { |
gen_searchf_searchonly(f->fullname,&f1); |
gen_searchf_searchonly(f->fullname,&f1,0); |
if ( f1->id == A_UNDEF ) { |
if ( f1->id == A_UNDEF ) { |
sprintf(errbuf,"evalf : %s undefined",NAME(f)); |
sprintf(errbuf,"evalf : %s undefined",NAME(f)); |
error(errbuf); |
error(errbuf); |
Line 912 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 898 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
} else |
} else |
opts = 0; |
opts = 0; |
if ( !n ) { |
if ( !n ) { |
|
current_option = opts; |
cur_binf = f; |
cur_binf = f; |
(*f->f.binf)(&val); |
(*f->f.binf)(&val); |
} else { |
} else { |
Line 930 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 917 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
break; |
break; |
case A_USR: |
case A_USR: |
/* stack check */ |
/* stack check */ |
#if !defined(VISUAL) && !defined(__CYGWIN__) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__CYGWIN__) |
if ( !stack_size ) { |
if ( !stack_size ) { |
struct rlimit rl; |
struct rlimit rl; |
getrlimit(RLIMIT_STACK,&rl); |
getrlimit(RLIMIT_STACK,&rl); |
stack_size = rl.rlim_cur; |
stack_size = rl.rlim_cur; |
} |
} |
if ( !stack_base ) |
if ( !stack_base ) { |
stack_base = (void *)GC_get_stack_base(); |
#if defined(GC7) |
|
stack_base = (void *)GC_get_main_stack_base(); |
|
#else |
|
stack_base = (void *)GC_get_stack_base(); |
|
#endif |
|
} |
if ( (stack_base - (void *)&args) +0x100000 > stack_size ) |
if ( (stack_base - (void *)&args) +0x100000 > stack_size ) |
error("stack overflow"); |
error("stack overflow"); |
#endif |
#endif |
Line 977 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 969 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
for ( tn = f->f.usrf->args, sn = BDY(args); |
for ( tn = f->f.usrf->args, sn = BDY(args); |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
if ( f->f.usrf->module ) { |
if ( f->f.usrf->module ) { |
prev_mpvs = MPVS; |
prev_mpvs = MPVS; |
MPVS = f->f.usrf->module->pvs; |
MPVS = f->f.usrf->module->pvs; |
Line 985 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 978 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
} else |
} else |
val = evalstat((SNODE)BDY(f->f.usrf)); |
val = evalstat((SNODE)BDY(f->f.usrf)); |
f_return = f_break = f_continue = 0; poppvs(); |
f_return = f_break = f_continue = 0; poppvs(); |
|
if ( PVSS ) |
|
evalstatline = ((VS)BDY(PVSS))->at; |
break; |
break; |
case A_PURE: |
case A_PURE: |
args = (LIST)eval(a); |
args = (LIST)eval(a); |
Line 1153 pointer bevalf(FUNC f,NODE a) |
|
Line 1148 pointer bevalf(FUNC f,NODE a) |
|
} |
} |
switch ( f->id ) { |
switch ( f->id ) { |
case A_BIN: |
case A_BIN: |
|
current_option = 0; |
if ( !n ) { |
if ( !n ) { |
cur_binf = f; |
cur_binf = f; |
(*f->f.binf)(&val); |
(*f->f.binf)(&val); |
Line 1185 pointer bevalf(FUNC f,NODE a) |
|
Line 1181 pointer bevalf(FUNC f,NODE a) |
|
for ( tn = f->f.usrf->args, sn = a; |
for ( tn = f->f.usrf->args, sn = a; |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
if ( f->f.usrf->module ) { |
if ( f->f.usrf->module ) { |
prev_mpvs = MPVS; |
prev_mpvs = MPVS; |
MPVS = f->f.usrf->module->pvs; |
MPVS = f->f.usrf->module->pvs; |
Line 1205 pointer bevalf(FUNC f,NODE a) |
|
Line 1202 pointer bevalf(FUNC f,NODE a) |
|
return val; |
return val; |
} |
} |
|
|
pointer evalif(FNODE f,FNODE a) |
pointer bevalf_with_opts(FUNC f,NODE a,NODE opts) |
{ |
{ |
|
pointer val; |
|
int i,n; |
|
NODE tn,sn; |
|
VS pvs,prev_mpvs; |
|
char errbuf[BUFSIZ]; |
|
|
|
if ( f->id == A_UNDEF ) { |
|
sprintf(errbuf,"bevalf : %s undefined",NAME(f)); |
|
error(errbuf); |
|
} |
|
if ( getsecuremode() && !PVSS && !f->secure ) { |
|
sprintf(errbuf,"bevalf : %s not permitted",NAME(f)); |
|
error(errbuf); |
|
} |
|
if ( f->id != A_PARI ) { |
|
for ( i = 0, tn = a; tn; i++, tn = NEXT(tn) ); |
|
if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) { |
|
sprintf(errbuf,"bevalf : argument mismatch in %s()",NAME(f)); |
|
error(errbuf); |
|
} |
|
} |
|
switch ( f->id ) { |
|
case A_BIN: |
|
current_option = opts; |
|
if ( !n ) { |
|
cur_binf = f; |
|
(*f->f.binf)(&val); |
|
} else { |
|
cur_binf = f; |
|
(*f->f.binf)(a,&val); |
|
} |
|
cur_binf = 0; |
|
break; |
|
case A_PARI: |
|
cur_binf = f; |
|
val = evalparif(f,a); |
|
cur_binf = 0; |
|
break; |
|
case A_USR: |
|
pvs = f->f.usrf->pvs; |
|
if ( PVSS ) |
|
((VS)BDY(PVSS))->at = evalstatline; |
|
MKNODE(tn,pvs,PVSS); PVSS = tn; |
|
CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS; |
|
CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n; |
|
CPVS->opt = opts; |
|
if ( CPVS->n ) { |
|
CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV)); |
|
bcopy((char *)pvs->va,(char *)CPVS->va, |
|
(int)(pvs->n*sizeof(struct oPV))); |
|
} |
|
if ( nextbp ) |
|
nextbplevel++; |
|
for ( tn = f->f.usrf->args, sn = a; |
|
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
|
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
|
if ( f->f.usrf->module ) { |
|
prev_mpvs = MPVS; |
|
MPVS = f->f.usrf->module->pvs; |
|
val = evalstat((SNODE)BDY(f->f.usrf)); |
|
MPVS = prev_mpvs; |
|
} else |
|
val = evalstat((SNODE)BDY(f->f.usrf)); |
|
f_return = f_break = f_continue = 0; poppvs(); |
|
break; |
|
case A_PURE: |
|
val = evalpf(f->f.puref,a,0); |
|
break; |
|
default: |
|
sprintf(errbuf,"bevalf : %s undefined",NAME(f)); |
|
error(errbuf); |
|
break; |
|
} |
|
return val; |
|
} |
|
|
|
pointer evalif(FNODE f,FNODE a,FNODE opt) |
|
{ |
Obj g; |
Obj g; |
QUOTE q; |
QUOTE q; |
FNODE t; |
FNODE t; |
Line 1214 pointer evalif(FNODE f,FNODE a) |
|
Line 1290 pointer evalif(FNODE f,FNODE a) |
|
|
|
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,opt); |
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); |
MKQUOTE(q,t); |
MKQUOTE(q,t); |
Line 1249 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
Line 1325 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
simplify_ins(ins,&s); |
simplify_ins(ins,&s); |
} else { |
} else { |
s = pf->body; |
s = pf->body; |
if ( dnode ) { |
if ( dargs ) { |
for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) { |
for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) { |
di = QTOS((Q)dnode->body); |
di = QTOS((Q)dnode->body); |
for ( j = 0; j < di; j++ ) { |
for ( j = 0; j < di; j++ ) { |
Line 1340 void gen_searchf(char *name,FUNC *r) |
|
Line 1416 void gen_searchf(char *name,FUNC *r) |
|
*r = val; |
*r = val; |
} |
} |
|
|
void gen_searchf_searchonly(char *name,FUNC *r) |
void gen_searchf_searchonly(char *name,FUNC *r,int global) |
{ |
{ |
FUNC val = 0; |
FUNC val = 0; |
int global = 0; |
|
if ( *name == ':' ) { |
if ( *name == ':' ) { |
global = 1; |
global = 1; |
name += 2; |
name += 2; |