version 1.24, 2001/04/23 05:02:29 |
version 1.35, 2001/12/25 02:39:05 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* 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/io/ox_asir.c,v 1.23 2000/12/05 01:24:54 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/ox_asir.c,v 1.34 2001/12/21 08:23:14 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
void ox_usr1_handler(); |
void ox_usr1_handler(); |
int asir_ox_init(); |
int asir_ox_init(); |
|
|
extern jmp_buf environnement; |
extern JMP_BUF environnement; |
|
|
extern int do_message; |
extern int do_message; |
extern int ox_flushing; |
extern int ox_flushing; |
extern jmp_buf ox_env; |
extern JMP_BUF ox_env; |
extern MATHCAP my_mathcap; |
extern MATHCAP my_mathcap; |
|
|
extern int little_endian,ox_sock_id; |
extern int little_endian,ox_sock_id; |
Line 134 void ox_main(int argc,char **argv) { |
|
Line 134 void ox_main(int argc,char **argv) { |
|
int id; |
int id; |
int cmd; |
int cmd; |
Obj obj; |
Obj obj; |
USINT ui; |
|
ERR err; |
ERR err; |
LIST list; |
|
NODE n,n1; |
|
unsigned int serial; |
unsigned int serial; |
int ret; |
int ret; |
extern char LastError[]; |
extern char LastError[]; |
Line 145 void ox_main(int argc,char **argv) { |
|
Line 142 void ox_main(int argc,char **argv) { |
|
ox_asir_init(argc,argv); |
ox_asir_init(argc,argv); |
if ( do_message ) |
if ( do_message ) |
fprintf(stderr,"I'm an ox_asir, Version %d.\n",ASIR_VERSION); |
fprintf(stderr,"I'm an ox_asir, Version %d.\n",ASIR_VERSION); |
if ( setjmp(ox_env) ) { |
if ( SETJMP(ox_env) ) { |
while ( NEXT(asir_infile) ) |
while ( NEXT(asir_infile) ) |
closecurrentinput(); |
closecurrentinput(); |
ox_send_sync(0); |
ox_send_sync(0); |
Line 174 void ox_main(int argc,char **argv) { |
|
Line 171 void ox_main(int argc,char **argv) { |
|
break; |
break; |
if ( do_message ) |
if ( do_message ) |
fprintf(stderr," %s\n",name_of_cmd(cmd)); |
fprintf(stderr," %s\n",name_of_cmd(cmd)); |
if ( ret = setjmp(env) ) { |
if ( ret = SETJMP(main_env) ) { |
if ( ret == 1 ) { |
if ( ret == 1 ) { |
create_error(&err,serial,LastError); |
create_error(&err,serial,LastError); |
asir_push_one((Obj)err); |
asir_push_one((Obj)err); |
Line 491 int asir_executeString() |
|
Line 488 int asir_executeString() |
|
char *cmd; |
char *cmd; |
#if PARI |
#if PARI |
recover(0); |
recover(0); |
if ( setjmp(environnement) ) { |
if ( SETJMP(environnement) ) { |
avma = top; recover(1); |
avma = top; recover(1); |
resetenv(""); |
resetenv(""); |
} |
} |
Line 522 static void asir_executeFunction(int serial) |
|
Line 519 static void asir_executeFunction(int serial) |
|
int argc; |
int argc; |
FUNC f; |
FUNC f; |
Obj result; |
Obj result; |
VL vl; |
|
NODE n,n1; |
NODE n,n1; |
STRING fname; |
STRING fname; |
char *path; |
char *path; |
USINT ui; |
|
ERR err; |
ERR err; |
Obj arg; |
Obj arg; |
static char buf[BUFSIZ]; |
static char buf[BUFSIZ]; |
Line 641 Obj asir_peek_one() { |
|
Line 636 Obj asir_peek_one() { |
|
|
|
void ox_asir_init(int argc,char **argv) |
void ox_asir_init(int argc,char **argv) |
{ |
{ |
int tmp; |
|
char ifname[BUFSIZ]; |
char ifname[BUFSIZ]; |
extern int GC_dont_gc; |
extern int GC_dont_gc; |
extern int read_exec_file; |
extern int read_exec_file; |
Line 652 void ox_asir_init(int argc,char **argv) |
|
Line 646 void ox_asir_init(int argc,char **argv) |
|
FILE *ifp; |
FILE *ifp; |
char *homedir; |
char *homedir; |
char *ptr; |
char *ptr; |
|
#if !defined(VISUAL) |
|
int tmp; |
|
#endif |
|
|
#if !defined(VISUAL) && !MPI |
#if !defined(VISUAL) && !MPI |
do_server_in_X11 = 1; /* XXX */ |
do_server_in_X11 = 1; /* XXX */ |
Line 698 void ox_asir_init(int argc,char **argv) |
|
Line 695 void ox_asir_init(int argc,char **argv) |
|
} |
} |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
input_init(ifp,ifname); |
if ( !setjmp(env) ) { |
if ( !SETJMP(main_env) ) { |
read_exec_file = 1; |
read_exec_file = 1; |
read_eval_loop(); |
read_eval_loop(); |
read_exec_file = 0; |
read_exec_file = 0; |
Line 706 void ox_asir_init(int argc,char **argv) |
|
Line 703 void ox_asir_init(int argc,char **argv) |
|
fclose(ifp); |
fclose(ifp); |
} |
} |
input_init(0,"string"); |
input_init(0,"string"); |
#if !MPI |
/* XXX Windows compatibility */ |
ox_io_init(); |
ox_io_init(); |
#endif |
|
create_my_mathcap("ox_asir"); |
create_my_mathcap("ox_asir"); |
} |
} |
|
|
Line 716 void ox_io_init() { |
|
Line 712 void ox_io_init() { |
|
unsigned char c,rc; |
unsigned char c,rc; |
extern int I_am_server; |
extern int I_am_server; |
|
|
|
/* XXX : ssh forwards stdin to a remote host on PC Unix */ |
|
#if defined(linux) |
|
#include <sys/param.h> |
|
int i; |
|
|
|
close(0); |
|
for ( i = 5; i < NOFILE; i++ ) |
|
close(i); |
|
#elif defined(__FreeBSD__) |
|
#include <sys/resource.h> |
|
int i; |
|
struct rlimit rl; |
|
|
|
getrlimit(RLIMIT_NOFILE,&rl); |
|
close(0); |
|
for ( i = 5; i < rl.rlim_cur; i++ ) |
|
close(i); |
|
#endif |
|
|
I_am_server = 1; |
I_am_server = 1; |
endian_init(); |
endian_init(); |
#if defined(VISUAL) |
#if defined(VISUAL) |
Line 727 void ox_io_init() { |
|
Line 742 void ox_io_init() { |
|
iofp[0].in = fdopen(3,"r"); |
iofp[0].in = fdopen(3,"r"); |
iofp[0].out = fdopen(4,"w"); |
iofp[0].out = fdopen(4,"w"); |
|
|
|
#if !defined(__CYGWIN__) |
setbuffer(iofp[0].in,(char *)malloc(LBUFSIZ),LBUFSIZ); |
setbuffer(iofp[0].in,(char *)malloc(LBUFSIZ),LBUFSIZ); |
setbuffer(iofp[0].out,(char *)malloc(LBUFSIZ),LBUFSIZ); |
setbuffer(iofp[0].out,(char *)malloc(LBUFSIZ),LBUFSIZ); |
|
#endif |
signal(SIGUSR1,ox_usr1_handler); |
signal(SIGUSR1,ox_usr1_handler); |
#endif |
#endif |
asir_OperandStackSize = BUFSIZ; |
asir_OperandStackSize = BUFSIZ; |
Line 767 void asir_ox_push_cmo(void *cmo) |
|
Line 784 void asir_ox_push_cmo(void *cmo) |
|
|
|
/* |
/* |
* Pop an object from the stack and converts it |
* Pop an object from the stack and converts it |
* int a binary encoded CMO. |
* into a binary encoded CMO. |
*/ |
*/ |
|
|
int asir_ox_pop_cmo(void *cmo, int limit) |
int asir_ox_pop_cmo(void *cmo, int limit) |
Line 791 int asir_ox_pop_cmo(void *cmo, int limit) |
|
Line 808 int asir_ox_pop_cmo(void *cmo, int limit) |
|
return -1; |
return -1; |
} |
} |
|
|
|
int asir_ox_pop_string(void *string, int limit) |
|
{ |
|
Obj val; |
|
int l; |
|
|
|
val = asir_pop_one(); |
|
if ( !val ) { |
|
if ( limit >= 2 ) { |
|
sprintf(string,"0"); |
|
l = strlen(string); |
|
} else |
|
l = -1; |
|
} else { |
|
l = estimate_length(CO,val); |
|
if ( l+1 <= limit ) { |
|
soutput_init(string); |
|
sprintexpr(CO,val); |
|
l = strlen(string); |
|
} else |
|
l = -1; |
|
} |
|
return l; |
|
} |
|
|
/* |
/* |
* Executes an SM command. |
* Executes an SM command. |
*/ |
*/ |
Line 801 void asir_ox_push_cmd(int cmd) |
|
Line 842 void asir_ox_push_cmd(int cmd) |
|
ERR err; |
ERR err; |
extern char LastError[]; |
extern char LastError[]; |
|
|
if ( ret = setjmp(env) ) { |
if ( ret = SETJMP(main_env) ) { |
asir_reset_handler(); |
asir_reset_handler(); |
if ( ret == 1 ) { |
if ( ret == 1 ) { |
create_error(&err,0,LastError); /* XXX */ |
create_error(&err,0,LastError); /* XXX */ |
Line 828 void asir_ox_execute_string(char *s) |
|
Line 869 void asir_ox_execute_string(char *s) |
|
|
|
MKSTR(str,s); |
MKSTR(str,s); |
asir_push_one((Obj)str); |
asir_push_one((Obj)str); |
if ( ret = setjmp(env) ) { |
if ( ret = SETJMP(main_env) ) { |
asir_reset_handler(); |
asir_reset_handler(); |
if ( ret == 1 ) { |
if ( ret == 1 ) { |
create_error(&err,0,LastError); /* XXX */ |
create_error(&err,0,LastError); /* XXX */ |
Line 913 int asir_ox_init(int byteorder) |
|
Line 954 int asir_ox_init(int byteorder) |
|
sprintf(ifname,"%s/.asirrc",getenv("HOME")); |
sprintf(ifname,"%s/.asirrc",getenv("HOME")); |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
input_init(ifp,ifname); |
if ( !setjmp(env) ) { |
if ( !SETJMP(main_env) ) { |
read_exec_file = 1; |
read_exec_file = 1; |
read_eval_loop(); |
read_eval_loop(); |
read_exec_file = 0; |
read_exec_file = 0; |