version 1.5, 2000/01/31 03:18:05 |
version 1.9, 2000/03/10 06:42:23 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/io/ox_asir.c,v 1.4 2000/01/19 09:31:00 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/io/ox_asir.c,v 1.8 2000/03/10 03:05:02 noro Exp $ */ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
#include "signal.h" |
#include "ox.h" |
#include "ox.h" |
#include "version.h" |
#include "version.h" |
|
#if PARI |
|
#include "genpari.h" |
|
#endif |
|
|
void ox_usr1_handler(); |
void ox_usr1_handler(); |
|
|
|
|
extern jmp_buf environnement; |
extern jmp_buf environnement; |
|
|
extern int do_message; |
extern int do_message; |
Line 714 int asir_ox_pop_cmo(void *cmo, int limit) |
|
Line 719 int asir_ox_pop_cmo(void *cmo, int limit) |
|
|
|
void asir_ox_push_cmd(unsigned int cmd) |
void asir_ox_push_cmd(unsigned int cmd) |
{ |
{ |
asir_do_cmd(cmd,0); |
int ret; |
|
ERR err; |
|
extern char LastError[]; |
|
|
|
if ( ret = setjmp(env) ) { |
|
if ( ret == 1 ) { |
|
create_error(&err,0,LastError); /* XXX */ |
|
asir_push_one((Obj)err); |
|
} |
|
} else |
|
asir_do_cmd(cmd,0); |
} |
} |
|
|
/* |
/* |
Line 724 void asir_ox_push_cmd(unsigned int cmd) |
|
Line 739 void asir_ox_push_cmd(unsigned int cmd) |
|
void asir_ox_execute_string(char *s) |
void asir_ox_execute_string(char *s) |
{ |
{ |
STRING str; |
STRING str; |
|
int ret; |
|
ERR err; |
|
extern char LastError[]; |
|
|
MKSTR(str,s); |
MKSTR(str,s); |
asir_push_one((Obj)str); |
asir_push_one((Obj)str); |
asir_executeString(); |
if ( ret = setjmp(env) ) { |
|
if ( ret == 1 ) { |
|
create_error(&err,0,LastError); /* XXX */ |
|
asir_push_one((Obj)err); |
|
} |
|
} else |
|
asir_executeString(); |
} |
} |
|
|
/* |
/* |
Line 767 void asir_ox_init(int byteorder) |
|
Line 791 void asir_ox_init(int byteorder) |
|
FILE *ifp; |
FILE *ifp; |
|
|
#if !defined(VISUAL) && !MPI |
#if !defined(VISUAL) && !MPI |
do_server_in_X11 = 1; /* XXX */ |
do_server_in_X11 = 0; /* XXX */ |
#endif |
#endif |
asir_save_handler(); |
asir_save_handler(); |
#if PARI |
#if PARI |