version 1.32, 2006/09/26 05:35:26 |
version 1.33, 2006/09/28 07:43:45 |
|
|
* 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/main.c,v 1.31 2006/09/25 04:57:55 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.32 2006/09/26 05:35:26 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 76 double get_current_time(); |
|
Line 76 double get_current_time(); |
|
void init_socket(); |
void init_socket(); |
void recover(); |
void recover(); |
void set_stacksize(); |
void set_stacksize(); |
void batch_loop(); |
|
|
|
extern int mpi_nprocs,mpi_myid; |
extern int mpi_nprocs,mpi_myid; |
extern int do_batch; |
|
|
|
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
void Main(int argc,char *argv[]) |
void Main(int argc,char *argv[]) |
Line 162 main(int argc,char *argv[]) |
|
Line 160 main(int argc,char *argv[]) |
|
#if defined(PARI) |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
if (!do_batch && !do_quiet) { |
if (!do_quiet) { |
copyright(); |
copyright(); |
} |
} |
output_init(); |
output_init(); |
Line 211 main(int argc,char *argv[]) |
|
Line 209 main(int argc,char *argv[]) |
|
if ( !SETJMP(main_env) ) |
if ( !SETJMP(main_env) ) |
execasirfile(ifname); |
execasirfile(ifname); |
} |
} |
if ( do_batch ) |
|
batch_loop(); |
|
|
|
prompt(); |
prompt(); |
while ( 1 ) { |
while ( 1 ) { |
Line 258 void set_stacksize() |
|
Line 254 void set_stacksize() |
|
setrlimit(RLIMIT_STACK,&rlim); |
setrlimit(RLIMIT_STACK,&rlim); |
} |
} |
#endif |
#endif |
} |
|
|
|
void batch_loop() |
|
{ |
|
char *inbuf; |
|
int i,c,size; |
|
|
|
input_init(0,"string"); |
|
|
|
size = 2; |
|
inbuf = (char *)malloc(size); |
|
while ( 1 ) { |
|
for ( i = 0; ; i++ ) { |
|
c = w_fgetc(stdin); |
|
if ( c == '0xff' ) { |
|
inbuf[i] = 0; |
|
break; |
|
} else |
|
inbuf[i] = c; |
|
if ( i == size-1 ) { |
|
size *= 2; |
|
inbuf = realloc(inbuf,size); |
|
} |
|
} |
|
execute_string(inbuf); |
|
} |
|
} |
|
|
|
/* a function for batch-loop mode */ |
|
|
|
extern char *parse_strp; |
|
|
|
int execute_string(char *cmd) |
|
{ |
|
SNODE snode; |
|
pointer val; |
|
#if defined(PARI) |
|
recover(0); |
|
/* environement is defined in libpari.a */ |
|
# if !(PARI_VERSION_CODE > 131588 ) |
|
if ( setjmp(environnement) ) { |
|
avma = top; recover(1); |
|
resetenv(""); |
|
} |
|
# endif |
|
#endif |
|
parse_strp = cmd; |
|
asir_infile->ln = 1; |
|
if ( mainparse(&snode) ) { |
|
return -1; |
|
} |
|
val = evalstat(snode); |
|
if ( NEXT(asir_infile) ) { |
|
while ( NEXT(asir_infile) ) { |
|
if ( mainparse(&snode) ) { |
|
return -1; |
|
} |
|
nextbp = 0; |
|
val = evalstat(snode); |
|
} |
|
} |
|
printexpr(CO,val); |
|
return 0; |
|
} |
} |