version 1.81, 2012/05/09 06:17:13 |
version 1.89, 2015/08/08 14:19:42 |
|
|
* 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.80 2011/06/16 08:17:15 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.88 2015/08/06 10:01:53 fujimoto Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
#include "parse.h" |
#include "parse.h" |
#include "ox.h" |
#include "ox.h" |
#if defined(PARI) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__) |
#include "genpari.h" |
|
#endif |
|
#if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__) |
|
#include <sgtty.h> |
#include <sgtty.h> |
#endif |
#endif |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#include <io.h> |
#include <io.h> |
#include <direct.h> |
#include <direct.h> |
#else |
#else |
|
|
#include <sys/ttold.h> |
#include <sys/ttold.h> |
#endif |
#endif |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#define HISTORY asir_history |
#define HISTORY asir_history |
#endif |
#endif |
|
|
Line 84 JMP_BUF main_env,debug_env,timer_env,exec_env; |
|
Line 81 JMP_BUF main_env,debug_env,timer_env,exec_env; |
|
int little_endian,debug_mode,no_debug_on_error; |
int little_endian,debug_mode,no_debug_on_error; |
char *asir_libdir; |
char *asir_libdir; |
char *asir_contrib_dir; |
char *asir_contrib_dir; |
|
char *asir_private_dir; |
char *asir_pager; |
char *asir_pager; |
|
|
NODE usrf,sysf,noargsysf,ubinf,parif; |
NODE usrf,sysf,noargsysf,ubinf,parif; |
Line 145 struct oF oF_TRUE,oF_FALSE; |
|
Line 143 struct oF oF_TRUE,oF_FALSE; |
|
F F_TRUE = &oF_TRUE; |
F F_TRUE = &oF_TRUE; |
F F_FALSE = &oF_FALSE; |
F F_FALSE = &oF_FALSE; |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp "; |
char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp "; |
#else |
#else |
char cppname[BUFSIZ] = "/lib/cpp "; |
char cppname[BUFSIZ] = "/lib/cpp "; |
Line 233 void asir_terminate(int status) |
|
Line 231 void asir_terminate(int status) |
|
bevalf((FUNC)BDY(n),0); |
bevalf((FUNC)BDY(n),0); |
if ( !do_terse ) |
if ( !do_terse ) |
fprintf(stderr, "done.\n"); |
fprintf(stderr, "done.\n"); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
} |
} |
tty_reset(); |
tty_reset(); |
#if defined(MPI) |
#if defined(MPI) |
Line 284 void sprompt(char *ptr) |
|
Line 285 void sprompt(char *ptr) |
|
sprintf(ptr,"[%d] ",APVS->n); |
sprintf(ptr,"[%d] ",APVS->n); |
} |
} |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
static int which(char *prog, char *path, char *buf, size_t size) |
static int which(char *prog, char *path, char *buf, size_t size) |
{ |
{ |
char *tok; |
char *tok; |
Line 317 static int which(char *prog, char *path, char *buf, si |
|
Line 318 static int which(char *prog, char *path, char *buf, si |
|
|
|
void cppname_init() |
void cppname_init() |
{ |
{ |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
char *oxhome; |
char *oxhome; |
char oxcpp[BUFSIZ]; |
char oxcpp[BUFSIZ]; |
#define OXCPP "/bin/ox_cpp" |
#define OXCPP "/bin/ox_cpp" |
Line 372 void process_args(int ac,char **av) |
|
Line 373 void process_args(int ac,char **av) |
|
in_fp = fopen(*(av+1),"r"); |
in_fp = fopen(*(av+1),"r"); |
if ( !in_fp ) { |
if ( !in_fp ) { |
fprintf(stderr,"%s does not exist!\n",*(av+1)); |
fprintf(stderr,"%s does not exist!\n",*(av+1)); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
do_file = 1; |
do_file = 1; |
Line 391 void process_args(int ac,char **av) |
|
Line 395 void process_args(int ac,char **av) |
|
void GC_set_max_heap_size(int); |
void GC_set_max_heap_size(int); |
|
|
GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2; |
GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2; |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
} else if ( !strcmp(*av,"-display") && (ac >= 2) ) { |
} else if ( !strcmp(*av,"-display") && (ac >= 2) ) { |
strcpy(displayname,*(av+1)); av += 2; ac -= 2; |
strcpy(displayname,*(av+1)); av += 2; ac -= 2; |
#endif |
#endif |
Line 399 void process_args(int ac,char **av) |
|
Line 403 void process_args(int ac,char **av) |
|
} else if ( !strcmp(*av,"-fep") ) { |
} else if ( !strcmp(*av,"-fep") ) { |
do_fep = 1; av++; ac--; |
do_fep = 1; av++; ac--; |
#endif |
#endif |
#if defined(PARI) |
|
} else if ( !strcmp(*av,"-paristack") ) { |
|
extern int paristack; |
|
|
|
paristack = atoi(*(av+1)); av += 2; ac -= 2; |
|
#endif |
|
} else { |
} else { |
fprintf(stderr,"%s : unknown option.\n",*av); |
fprintf(stderr,"%s : unknown option.\n",*av); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
} |
} |
Line 426 void process_args(int ac,char **av) |
|
Line 427 void process_args(int ac,char **av) |
|
#include <signal.h> |
#include <signal.h> |
|
|
void sig_init() { |
void sig_init() { |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
signal(SIGINT,int_handler); |
signal(SIGINT,int_handler); |
#else |
#else |
void register_ctrlc_handler(); |
void register_ctrlc_handler(); |
Line 447 void sig_init() { |
|
Line 448 void sig_init() { |
|
signal(SIGILL,ill_handler); |
signal(SIGILL,ill_handler); |
#endif |
#endif |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
signal(SIGBUS,bus_handler); |
signal(SIGBUS,bus_handler); |
#endif |
#endif |
} |
} |
Line 474 void resetenv(char *s) |
|
Line 475 void resetenv(char *s) |
|
extern FILE *outfile; |
extern FILE *outfile; |
|
|
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
while ( NEXT(asir_infile) ) |
while ( NEXT(asir_infile) ) |
closecurrentinput(); |
closecurrentinput(); |
resetpvs(); |
resetpvs(); |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
if ( do_server_in_X11 ) |
if ( do_server_in_X11 ) |
#endif |
#endif |
show_debug_window(0); |
show_debug_window(0); |
Line 485 void resetenv(char *s) |
|
Line 489 void resetenv(char *s) |
|
w_noflush_stderr(0); |
w_noflush_stderr(0); |
#endif |
#endif |
asir_out = stdout; |
asir_out = stdout; |
#if defined(PARI) |
|
pari_outfile = stdout; |
|
#endif |
|
/* restore states */ |
/* restore states */ |
reset_engine(); |
reset_engine(); |
reset_io(); |
reset_io(); |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
reset_timer(); |
reset_timer(); |
#endif |
#endif |
LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
Line 503 void fatal(int n) |
|
Line 504 void fatal(int n) |
|
} |
} |
|
|
extern int ox_int_received, critical_when_signal; |
extern int ox_int_received, critical_when_signal; |
|
extern int in_gc, caught_intr; |
|
|
void int_handler(int sig) |
void int_handler(int sig) |
{ |
{ |
Line 517 void int_handler(int sig) |
|
Line 519 void int_handler(int sig) |
|
ox_int_received = 1; |
ox_int_received = 1; |
return; |
return; |
} |
} |
#if defined(VISUAL) |
if ( in_gc ) { |
|
caught_intr = 1; |
|
return; |
|
} |
|
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
suspend_timer(); |
suspend_timer(); |
#endif |
#endif |
signal(SIGINT,SIG_IGN); |
signal(SIGINT,SIG_IGN); |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
if ( do_server_in_X11 ) { |
if ( do_server_in_X11 ) { |
debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); |
debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); |
restore_handler(); |
restore_handler(); |
Line 588 void int_handler(int sig) |
|
Line 594 void int_handler(int sig) |
|
bevalf((FUNC)BDY(t),0); |
bevalf((FUNC)BDY(t),0); |
if ( !do_terse ) |
if ( !do_terse ) |
fprintf(stderr, "done.\n"); |
fprintf(stderr, "done.\n"); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
} |
} |
} |
} |
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
Line 607 void int_handler(int sig) |
|
Line 616 void int_handler(int sig) |
|
break; |
break; |
case '?': |
case '?': |
fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); |
fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
break; |
break; |
default: |
default: |
break; |
break; |
Line 615 void int_handler(int sig) |
|
Line 627 void int_handler(int sig) |
|
} |
} |
|
|
void restore_handler() { |
void restore_handler() { |
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
resume_timer(); |
resume_timer(); |
#endif |
#endif |
#if defined(SIGINT) |
#if defined(SIGINT) |
Line 650 void ill_handler(int sig) |
|
Line 662 void ill_handler(int sig) |
|
void alrm_handler(int sig) |
void alrm_handler(int sig) |
{ |
{ |
fprintf(stderr,"interval timer expired (VTALRM)\n"); |
fprintf(stderr,"interval timer expired (VTALRM)\n"); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
LONGJMP(timer_env,1); |
LONGJMP(timer_env,1); |
} |
} |
|
|
Line 703 void error(char *s) |
|
Line 718 void error(char *s) |
|
{ |
{ |
SNODE *snp=0; |
SNODE *snp=0; |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
if ( !error_in_timer && timer_is_set ) |
if ( !error_in_timer && timer_is_set ) |
alrm_handler(SIGNAL_FOR_TIMER); |
alrm_handler(SIGNAL_FOR_TIMER); |
#endif |
#endif |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
set_lasterror(s); |
set_lasterror(s); |
if ( CPVS != GPVS ) { |
if ( CPVS != GPVS ) { |
if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) |
if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) |
Line 736 void error(char *s) |
|
Line 754 void error(char *s) |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
void toplevel(char *s) |
void goto_toplevel(char *s) |
{ |
{ |
SNODE *snp=0; |
SNODE *snp=0; |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
if ( timer_is_set ) |
if ( timer_is_set ) |
alrm_handler(SIGNAL_FOR_TIMER); |
alrm_handler(SIGNAL_FOR_TIMER); |
#endif |
#endif |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
if ( do_file ) { |
if ( do_file ) { |
char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ |
char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ |
|
|
Line 755 void toplevel(char *s) |
|
Line 776 void toplevel(char *s) |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#include <sys/time.h> |
#include <sys/time.h> |
|
|
void set_timer(int interval) |
void set_timer(int interval) |
Line 790 char *get_asir_distribution(); |
|
Line 811 char *get_asir_distribution(); |
|
|
|
char *get_gcversion() |
char *get_gcversion() |
{ |
{ |
#if defined(GC7) |
return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; |
return "GC 7.2 alpha6 copyright 1988-2011, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; |
|
#else |
|
return "GC 6.8 copyright 1988-2006, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; |
|
#endif |
|
} |
} |
|
|
char *get_pariversion() |
char *get_pariversion() |
{ |
{ |
#if PARI |
|
#if 0 |
|
return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n"; |
|
#else |
|
return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n H. Cohen and M. Olivier.\n"; |
|
#endif |
|
#endif |
|
return ""; |
return ""; |
} |
} |
|
|
Line 842 char *scopyright() |
|
Line 852 char *scopyright() |
|
} |
} |
return notice; |
return notice; |
} |
} |
|
|
|
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
|
void check_intr() |
|
{ |
|
extern int recv_intr; |
|
if ( recv_intr ) { |
|
if ( recv_intr == 1 ) { |
|
recv_intr = 0; |
|
int_handler(0); |
|
} else { |
|
recv_intr = 0; |
|
ox_usr1_handler(0); |
|
} |
|
} |
|
} |
|
#endif |