version 1.51, 2004/11/24 06:01:04 |
version 1.59, 2005/10/10 15:16:38 |
|
|
* 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/glob.c,v 1.50 2004/06/30 06:26:39 fujiwara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.58 2005/08/24 06:28:39 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
Line 83 extern FILE *asir_out; |
|
Line 83 extern FILE *asir_out; |
|
|
|
INFILE asir_infile; |
INFILE asir_infile; |
JMP_BUF main_env,debug_env,timer_env,exec_env; |
JMP_BUF main_env,debug_env,timer_env,exec_env; |
int little_endian,debug_mode; |
int little_endian,debug_mode,no_debug_on_error; |
char *asir_libdir; |
char *asir_libdir; |
|
char *asir_contrib_dir; |
char *asir_pager; |
char *asir_pager; |
|
|
NODE usrf,sysf,noargsysf,ubinf,parif; |
NODE usrf,sysf,noargsysf,ubinf,parif; |
|
|
char LastError[BUFSIZ]; |
char LastError[BUFSIZ]; |
int timer_is_set; |
int timer_is_set; |
NODE current_option; |
NODE current_option; |
|
NODE user_int_handler, user_quit_handler; |
|
|
struct oV oVAR[] = { |
struct oV oVAR[] = { |
{"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, |
{"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, |
|
|
int do_file; |
int do_file; |
char *do_filename; |
char *do_filename; |
int do_message; |
int do_message; |
|
int do_terse; |
int do_fep; |
int do_fep; |
int read_exec_file; |
int read_exec_file; |
int asir_setenv; |
int asir_setenv; |
int asir_texmacs; |
|
static int buserr_sav; |
static int buserr_sav; |
static char asir_history[BUFSIZ]; |
static char asir_history[BUFSIZ]; |
|
|
Line 215 void ExitAsir() { |
|
Line 217 void ExitAsir() { |
|
void asir_terminate(int status) |
void asir_terminate(int status) |
{ |
{ |
int t; |
int t; |
|
NODE n; |
|
|
if ( read_exec_file ) { |
if ( read_exec_file ) { |
t = read_exec_file; |
t = read_exec_file; |
Line 224 void asir_terminate(int status) |
|
Line 227 void asir_terminate(int status) |
|
else |
else |
LONGJMP(exec_env,status); |
LONGJMP(exec_env,status); |
} else { |
} else { |
|
if ( user_quit_handler ) { |
|
if ( !do_terse ) |
|
fprintf(stderr,"Calling the registered quit callbacks..."); |
|
for ( n = user_quit_handler; n; n = NEXT(n) ) |
|
bevalf((FUNC)BDY(n),0); |
|
if ( !do_terse ) |
|
fprintf(stderr, "done.\n"); |
|
} |
tty_reset(); |
tty_reset(); |
#if defined(MPI) |
#if defined(MPI) |
if ( !mpi_myid ) |
if ( !mpi_myid ) |
Line 260 Obj user_defined_prompt; |
|
Line 271 Obj user_defined_prompt; |
|
|
|
void prompt() { |
void prompt() { |
if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { |
if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { |
if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red"); |
|
fprintf(asir_out,"[%d] ",APVS->n); |
fprintf(asir_out,"[%d] ",APVS->n); |
if ( asir_texmacs ) printf("\5\5"); |
|
fflush(asir_out); |
fflush(asir_out); |
} else if ( do_quiet && user_defined_prompt |
} else if ( do_quiet && user_defined_prompt |
&& OID(user_defined_prompt)==O_STR) { |
&& OID(user_defined_prompt)==O_STR) { |
if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red"); |
|
fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
if ( asir_texmacs ) printf("\5\5"); |
|
fflush(asir_out); |
fflush(asir_out); |
} |
} |
} |
} |
Line 355 void process_args(int ac,char **av) |
|
Line 362 void process_args(int ac,char **av) |
|
do_file = 1; |
do_file = 1; |
do_filename = *(av+1); |
do_filename = *(av+1); |
av += 2; ac -= 2; |
av += 2; ac -= 2; |
} else if ( !strcmp(*av,"-texmacs") ) { |
|
asir_texmacs = 1; av++; ac--; |
|
*stderr = *stdout; |
|
} else if ( !strcmp(*av,"-E") ) { |
} else if ( !strcmp(*av,"-E") ) { |
asir_setenv = 1; av++; ac--; |
asir_setenv = 1; av++; ac--; |
} else if ( !strcmp(*av,"-quiet") ) { |
} else if ( !strcmp(*av,"-quiet") ) { |
Line 451 void asir_reset_handler() { |
|
Line 455 void asir_reset_handler() { |
|
void resetenv(char *s) |
void resetenv(char *s) |
{ |
{ |
extern FILE *outfile; |
extern FILE *outfile; |
FILE *stream = asir_texmacs ? stdout : stderr; |
|
|
|
if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); } |
fprintf(stderr,"%s\n",s); |
fprintf(stream,"%s\n",s); |
|
while ( NEXT(asir_infile) ) |
while ( NEXT(asir_infile) ) |
closecurrentinput(); |
closecurrentinput(); |
resetpvs(); |
resetpvs(); |
Line 475 void resetenv(char *s) |
|
Line 477 void resetenv(char *s) |
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
reset_timer(); |
reset_timer(); |
#endif |
#endif |
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
} |
} |
|
|
Line 484 void fatal(int n) |
|
Line 485 void fatal(int n) |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
FUNC registered_handler; |
|
extern int ox_int_received, critical_when_signal; |
extern int ox_int_received, critical_when_signal; |
|
|
void int_handler(int sig) |
void int_handler(int sig) |
{ |
{ |
extern NODE PVSS; |
extern NODE PVSS; |
FILE *stream; |
NODE t; |
|
|
if ( asir_texmacs ) stream = stdout; |
|
else stream = stderr; |
|
|
|
if ( do_file ) { |
if ( do_file ) { |
ExitAsir(); |
ExitAsir(); |
Line 521 void int_handler(int sig) |
|
Line 519 void int_handler(int sig) |
|
#endif |
#endif |
getchar(); |
getchar(); |
#endif |
#endif |
if ( asir_texmacs ) { |
|
printf("\2\verbatim:\2channel:prompt\5\2verbatim:interrupt>\5\5"); fflush(stdout); |
|
} |
|
while ( 1 ) { |
while ( 1 ) { |
char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
char c; |
char c; |
|
|
if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); } |
fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr); |
fprintf(stream,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stream); |
|
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
buf[0] = '\n'; |
buf[0] = '\n'; |
while ( buf[0] == '\n' ) |
while ( buf[0] == '\n' ) |
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
switch ( c = buf[0] ) { |
switch ( c = buf[0] ) { |
case 'q': |
case 'q': |
while ( 1 ) { |
while ( 1 ) { |
if ( asir_texmacs ) { |
fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); |
printf("\2verbatim:"); fflush(stdout); |
|
} |
|
fprintf(stream,"Abort this session? (y or n) "); fflush(stream); |
|
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
if ( !strncmp(buf,"y",1) ) { |
if ( !strncmp(buf,"y",1) ) { |
read_exec_file = 0; |
read_exec_file = 0; |
if ( asir_texmacs ) { |
fprintf(stderr,"Bye\n"); |
printf("\2verbatim:"); fflush(stdout); |
|
} |
|
fprintf(stream,"Bye\n"); |
|
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
asir_terminate(1); |
asir_terminate(1); |
} else if ( !strncmp(buf,"n",1) ) { |
} else if ( !strncmp(buf,"n",1) ) { |
restore_handler(); |
restore_handler(); |
Line 560 void int_handler(int sig) |
|
Line 545 void int_handler(int sig) |
|
case 't': |
case 't': |
case 'u': |
case 'u': |
while ( 1 ) { |
while ( 1 ) { |
if ( asir_texmacs ) { |
fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr); |
printf("\2verbatim:"); fflush(stdout); |
|
} |
|
fprintf(stream,"Abort this computation? (y or n) "); fflush(stream); |
|
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
if ( !strncmp(buf,"y",1) ) |
if ( !strncmp(buf,"y",1) ) |
break; |
break; |
Line 577 void int_handler(int sig) |
|
Line 558 void int_handler(int sig) |
|
debug_mode = 0; |
debug_mode = 0; |
restore_handler(); |
restore_handler(); |
if ( c == 'u' ) { |
if ( c == 'u' ) { |
if ( registered_handler ) { |
if ( user_int_handler ) { |
if ( asir_texmacs ) { |
if ( !do_terse ) |
printf("\2verbatim:"); fflush(stdout); |
fprintf(stderr, |
} |
"Calling the registered exception callbacks..."); |
fprintf(stream, |
for ( t = user_int_handler; t; t = NEXT(t) ) |
"Calling the registered exception handler..."); |
bevalf((FUNC)BDY(t),0); |
bevalf(registered_handler,0); |
if ( !do_terse ) |
fprintf(stream, "done.\n"); |
fprintf(stderr, "done.\n"); |
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
} |
} |
} |
} |
if ( read_exec_file ) { |
if ( read_exec_file ) { |
Line 608 void int_handler(int sig) |
|
Line 588 void int_handler(int sig) |
|
showpos(); |
showpos(); |
break; |
break; |
case '?': |
case '?': |
if ( asir_texmacs ) { |
fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); |
printf("\2verbatim:"); fflush(stdout); |
|
} |
|
fprintf(stream, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); |
|
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
|
break; |
break; |
default: |
default: |
break; |
break; |
Line 727 void error(char *s) |
|
Line 703 void error(char *s) |
|
if ( debug_mode ) |
if ( debug_mode ) |
LONGJMP(debug_env,1); |
LONGJMP(debug_env,1); |
if ( CPVS != GPVS ) |
if ( CPVS != GPVS ) |
if ( do_server_in_X11 || isatty(0) ) |
if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) |
bp(error_snode); |
bp(error_snode); |
if ( read_exec_file ) |
if ( read_exec_file ) |
read_exec_file = 0; |
read_exec_file = 0; |
Line 792 char *get_pariversion() |
|
Line 768 char *get_pariversion() |
|
{ |
{ |
#if PARI |
#if PARI |
#if 0 |
#if 0 |
return "PARI 2.2.4, copyright (C) 2002 The PARI Group.\nPARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n H. Cohen and M. Olivier.\n"; |
return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n"; |
#endif |
#else |
return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n H. Cohen and M. Olivier.\n"; |
return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n H. Cohen and M. Olivier.\n"; |
#endif |
#endif |
|
#endif |
return ""; |
return ""; |
} |
} |
|
|
Line 810 char *get_intervalversion() |
|
Line 787 char *get_intervalversion() |
|
|
|
void copyright() |
void copyright() |
{ |
{ |
char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2004, Risa/Asir committers, http://www.openxm.org/.\nGC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; |
char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2005, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 Copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; |
if ( asir_texmacs ) printf("\2verbatim:"); |
|
printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); |
printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); |
if ( asir_texmacs ) putchar('\5'); |
|
} |
} |
|
|
char *scopyright() |
char *scopyright() |
Line 821 char *scopyright() |
|
Line 796 char *scopyright() |
|
static char *notice; |
static char *notice; |
char *s1, *s2, *s3; |
char *s1, *s2, *s3; |
int d, len; |
int d, len; |
char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\nGC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; |
char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2005, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; |
if (!notice) { |
if (!notice) { |
s1 = get_intervalversion(); |
s1 = get_intervalversion(); |
s2 = get_asir_distribution(); |
s2 = get_asir_distribution(); |