version 1.78, 2010/08/01 08:44:15 |
version 1.88, 2015/08/06 10:01:53 |
|
|
* 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.77 2010/05/26 06:32:49 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.87 2015/08/04 06:20:45 noro 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 167 void glob_init() { |
|
Line 165 void glob_init() { |
|
reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); |
reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); |
reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); |
reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); |
CPVS = GPVS; |
CPVS = GPVS; |
MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); |
MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),NULLP); |
OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; |
OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; |
OID(F_FALSE)=O_F; FOP(F_FALSE)=AL_FALSE; F_FALSE->arg.dummy = 0; |
OID(F_FALSE)=O_F; FOP(F_FALSE)=AL_FALSE; F_FALSE->arg.dummy = 0; |
OID(Symbol_grlex) = O_SYMBOL; Symbol_grlex->name = "@grlex"; |
OID(Symbol_grlex) = O_SYMBOL; Symbol_grlex->name = "@grlex"; |
Line 284 void sprompt(char *ptr) |
|
Line 282 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 315 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 oxcpp[BUFSIZ]; |
char *oxhome; |
if(which("ox_cpp", getenv("PATH"), oxcpp, BUFSIZ) && access(oxcpp, X_OK&R_OK) == 0) { |
char oxcpp[BUFSIZ]; |
strncpy(cppname,oxcpp,BUFSIZ-1); |
#define OXCPP "/bin/ox_cpp" |
}else if (access(cppname, X_OK&R_OK) != 0) { |
|
|
if ( oxhome = getenv("OpenXM_HOME") ) { |
|
if ( strlen(oxhome)+strlen(OXCPP)<BUFSIZ ) { |
|
sprintf(oxcpp,"%s%s",oxhome,OXCPP); |
|
if ( access(oxcpp,X_OK&R_OK) == 0 ) { |
|
strcpy(cppname,oxcpp); |
|
return; |
|
} |
|
} |
|
} |
|
if (access(cppname, X_OK&R_OK) != 0) { |
which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) || |
which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) || |
which("cpp", getenv("PATH"), cppname, BUFSIZ); |
which("cpp", getenv("PATH"), cppname, BUFSIZ); |
} |
} |
Line 381 void process_args(int ac,char **av) |
|
Line 389 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 389 void process_args(int ac,char **av) |
|
Line 397 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); |
asir_terminate(1); |
asir_terminate(1); |
Line 416 void process_args(int ac,char **av) |
|
Line 418 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 437 void sig_init() { |
|
Line 439 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 467 void resetenv(char *s) |
|
Line 469 void resetenv(char *s) |
|
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 475 void resetenv(char *s) |
|
Line 477 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 493 void fatal(int n) |
|
Line 492 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 507 void int_handler(int sig) |
|
Line 507 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 605 void int_handler(int sig) |
|
Line 609 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 693 void error(char *s) |
|
Line 697 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 |
Line 726 void error(char *s) |
|
Line 730 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 |
Line 745 void toplevel(char *s) |
|
Line 749 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 780 char *get_asir_distribution(); |
|
Line 784 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.1 copyright 1988-2008, 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 832 char *scopyright() |
|
Line 825 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 |