version 1.88, 2015/08/06 10:01:53 |
version 1.91, 2015/08/19 05:29:23 |
|
|
* 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.87 2015/08/04 06:20:45 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.90 2015/08/14 13:51:56 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(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !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) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#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) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#define HISTORY asir_history |
#define HISTORY asir_history |
#endif |
#endif |
|
|
Line 143 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) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
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 225 void asir_terminate(int status) |
|
Line 225 void asir_terminate(int status) |
|
LONGJMP(asir_infile->jmpbuf,status); |
LONGJMP(asir_infile->jmpbuf,status); |
else { |
else { |
if ( user_quit_handler ) { |
if ( user_quit_handler ) { |
if ( !do_terse ) |
if ( !do_terse ) { |
fprintf(stderr,"Calling the registered quit callbacks..."); |
fprintf(stderr,"Calling the registered quit callbacks..."); |
|
#if defined(__MINGW32__) |
|
fflush(stderr); |
|
#endif |
|
} |
for ( n = user_quit_handler; n; n = NEXT(n) ) |
for ( n = user_quit_handler; n; n = NEXT(n) ) |
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__) |
|
fflush(stderr); |
|
#endif |
|
} |
} |
} |
tty_reset(); |
tty_reset(); |
#if defined(MPI) |
#if defined(MPI) |
Line 282 void sprompt(char *ptr) |
|
Line 290 void sprompt(char *ptr) |
|
sprintf(ptr,"[%d] ",APVS->n); |
sprintf(ptr,"[%d] ",APVS->n); |
} |
} |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
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 315 static int which(char *prog, char *path, char *buf, si |
|
Line 323 static int which(char *prog, char *path, char *buf, si |
|
|
|
void cppname_init() |
void cppname_init() |
{ |
{ |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
char *oxhome; |
char *oxhome; |
char oxcpp[BUFSIZ]; |
char oxcpp[BUFSIZ]; |
#define OXCPP "/bin/ox_cpp" |
#define OXCPP "/bin/ox_cpp" |
Line 370 void process_args(int ac,char **av) |
|
Line 378 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__) |
|
fflush(stderr); |
|
#endif |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
do_file = 1; |
do_file = 1; |
Line 389 void process_args(int ac,char **av) |
|
Line 400 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) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
} 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 410 void process_args(int ac,char **av) |
|
#endif |
#endif |
} else { |
} else { |
fprintf(stderr,"%s : unknown option.\n",*av); |
fprintf(stderr,"%s : unknown option.\n",*av); |
|
#if defined(__MINGW32__) |
|
fflush(stderr); |
|
#endif |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
} |
} |
Line 418 void process_args(int ac,char **av) |
|
Line 432 void process_args(int ac,char **av) |
|
#include <signal.h> |
#include <signal.h> |
|
|
void sig_init() { |
void sig_init() { |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
signal(SIGINT,int_handler); |
signal(SIGINT,int_handler); |
#else |
#else |
void register_ctrlc_handler(); |
void register_ctrlc_handler(); |
Line 439 void sig_init() { |
|
Line 453 void sig_init() { |
|
signal(SIGILL,ill_handler); |
signal(SIGILL,ill_handler); |
#endif |
#endif |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
signal(SIGBUS,bus_handler); |
signal(SIGBUS,bus_handler); |
#endif |
#endif |
} |
} |
Line 469 void resetenv(char *s) |
|
Line 483 void resetenv(char *s) |
|
while ( NEXT(asir_infile) ) |
while ( NEXT(asir_infile) ) |
closecurrentinput(); |
closecurrentinput(); |
resetpvs(); |
resetpvs(); |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
if ( do_server_in_X11 ) |
if ( do_server_in_X11 ) |
#endif |
#endif |
show_debug_window(0); |
show_debug_window(0); |
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
w_noflush_stderr(0); |
w_noflush_stderr(0); |
#endif |
#endif |
|
#if defined(__MINGW32__) |
|
fflush(stderr); |
|
#endif |
asir_out = stdout; |
asir_out = stdout; |
/* restore states */ |
/* restore states */ |
reset_engine(); |
reset_engine(); |
reset_io(); |
reset_io(); |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
reset_timer(); |
reset_timer(); |
#endif |
#endif |
LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
Line 493 void fatal(int n) |
|
Line 510 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; |
extern int in_gc, caught_intr; |
|
extern int ox_get_pari_result; |
|
|
void int_handler(int sig) |
void int_handler(int sig) |
{ |
{ |
Line 503 void int_handler(int sig) |
|
Line 521 void int_handler(int sig) |
|
if ( do_file ) { |
if ( do_file ) { |
ExitAsir(); |
ExitAsir(); |
} |
} |
if ( critical_when_signal ) { |
if ( !ox_get_pari_result && critical_when_signal ) { |
ox_int_received = 1; |
ox_int_received = 1; |
return; |
return; |
} |
} |
Line 511 void int_handler(int sig) |
|
Line 529 void int_handler(int sig) |
|
caught_intr = 1; |
caught_intr = 1; |
return; |
return; |
} |
} |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
suspend_timer(); |
suspend_timer(); |
#endif |
#endif |
signal(SIGINT,SIG_IGN); |
signal(SIGINT,SIG_IGN); |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
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 549 void int_handler(int sig) |
|
Line 567 void int_handler(int sig) |
|
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
if ( !strncmp(buf,"y",1) ) { |
if ( !strncmp(buf,"y",1) ) { |
fprintf(stderr,"Bye\n"); |
fprintf(stderr,"Bye\n"); |
|
#if defined(__MINGW32__) |
|
fflush(stderr); |
|
#endif |
/* for terminating myself */ |
/* for terminating myself */ |
asir_infile = 0; |
asir_infile = 0; |
asir_terminate(1); |
asir_terminate(1); |
Line 575 void int_handler(int sig) |
|
Line 596 void int_handler(int sig) |
|
restore_handler(); |
restore_handler(); |
if ( c == 'u' ) { |
if ( c == 'u' ) { |
if ( user_int_handler ) { |
if ( user_int_handler ) { |
if ( !do_terse ) |
if ( !do_terse ) { |
fprintf(stderr, |
fprintf(stderr, |
"Calling the registered exception callbacks..."); |
"Calling the registered exception callbacks..."); |
|
#if defined(__MINGW32__) |
|
fflush(stderr); |
|
#endif |
|
} |
for ( t = user_int_handler; t; t = NEXT(t) ) |
for ( t = user_int_handler; t; t = NEXT(t) ) |
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__) |
|
fflush(stderr); |
|
#endif |
|
} |
} |
} |
} |
} |
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
Line 601 void int_handler(int sig) |
|
Line 630 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__) |
|
fflush(stderr); |
|
#endif |
break; |
break; |
default: |
default: |
break; |
break; |
Line 609 void int_handler(int sig) |
|
Line 641 void int_handler(int sig) |
|
} |
} |
|
|
void restore_handler() { |
void restore_handler() { |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
resume_timer(); |
resume_timer(); |
#endif |
#endif |
#if defined(SIGINT) |
#if defined(SIGINT) |
Line 644 void ill_handler(int sig) |
|
Line 676 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__) |
|
fflush(stderr); |
|
#endif |
LONGJMP(timer_env,1); |
LONGJMP(timer_env,1); |
} |
} |
|
|
Line 697 void error(char *s) |
|
Line 732 void error(char *s) |
|
{ |
{ |
SNODE *snp=0; |
SNODE *snp=0; |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
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__) |
|
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 734 void goto_toplevel(char *s) |
|
Line 772 void goto_toplevel(char *s) |
|
{ |
{ |
SNODE *snp=0; |
SNODE *snp=0; |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
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__) |
|
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 749 void goto_toplevel(char *s) |
|
Line 790 void goto_toplevel(char *s) |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
#include <sys/time.h> |
#include <sys/time.h> |
|
|
void set_timer(int interval) |
void set_timer(int interval) |
Line 826 char *scopyright() |
|
Line 867 char *scopyright() |
|
return notice; |
return notice; |
} |
} |
|
|
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#if defined(VISUAL) || defined(__MINGW32__) |
void check_intr() |
void check_intr() |
{ |
{ |
extern int recv_intr; |
extern int recv_intr; |