| version 1.24, 2001/10/09 01:36:24 | version 1.72, 2007/11/15 05:39:39 | 
|  |  | 
| * 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.23 2001/10/05 10:23:07 noro Exp $ | * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.71 2007/09/19 05:56:01 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 PARI | #if defined(PARI) | 
| #include "genpari.h" | #include "genpari.h" | 
| #endif | #endif | 
| #if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) | #if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) | 
| #include <sgtty.h> | #include <sgtty.h> | 
| #endif | #endif | 
|  |  | 
| #if defined(VISUAL) | #if defined(VISUAL) | 
| #include <io.h> | #include <io.h> | 
| #include <direct.h> | #include <direct.h> | 
|  | #else | 
|  | #include <unistd.h> | 
|  | #include <string.h> | 
|  | #include <stdio.h> | 
| #endif | #endif | 
|  |  | 
| #if defined(SYSV) && !defined(_IBMR2) | #if defined(SYSV) && !defined(_IBMR2) | 
| 
| Line 78  extern int GC_free_space_numerator; |  | 
| Line 82  extern int GC_free_space_numerator; |  | 
| extern FILE *asir_out; | 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; | 
| NODE ONENODE; | NODE ONENODE; | 
| int main_parser, ox_do_copy, ox_do_count, ox_count_length; | int main_parser, allow_create_var, ox_do_copy, ox_do_count, ox_count_length; | 
| int ox_file_io, ox_need_conv; | int ox_file_io, ox_need_conv; | 
| char *ox_copy_bptr; | char *ox_copy_bptr; | 
| char *parse_strp; | char *parse_strp; | 
| 
| Line 94  FUNC parse_targetf; |  | 
| Line 99  FUNC parse_targetf; |  | 
| FILE *ox_istream,*ox_ostream; | FILE *ox_istream,*ox_ostream; | 
| int do_server_in_X11; | int do_server_in_X11; | 
| Obj LastVal; | Obj LastVal; | 
|  | LIST LastStackTrace; | 
| char LastError[BUFSIZ]; | char LastError[BUFSIZ]; | 
| int timer_is_set; | int timer_is_set; | 
|  | 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}, | 
| {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, | {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, | 
| 
| Line 120  struct oVL oVLIST[52]; |  | 
| Line 127  struct oVL oVLIST[52]; |  | 
| VL CO = oVLIST; | VL CO = oVLIST; | 
| VL ALG; | VL ALG; | 
|  |  | 
| struct oVS oGPVS,oAPVS,oEPVS; | struct oVS oGPVS,oAPVS,oEPVS,oPPVS; | 
| VS GPVS = &oGPVS; | VS GPVS = &oGPVS; | 
| VS APVS = &oAPVS; | VS APVS = &oAPVS; | 
| VS EPVS = &oEPVS; | VS EPVS = &oEPVS; | 
| VS CPVS; | VS PPVS = &oPPVS; | 
|  | VS CPVS,MPVS; | 
|  |  | 
|  | NODE MODULE_LIST; | 
|  | MODULE CUR_MODULE; | 
|  | char *CUR_FUNC; | 
|  |  | 
|  | struct oSYMBOL oGrlex, oGlex, oLex; | 
|  | SYMBOL Symbol_grlex = &oGrlex; | 
|  | SYMBOL Symbol_glex = &oGlex; | 
|  | SYMBOL Symbol_lex = &oLex;; | 
|  |  | 
| struct oF oF_TRUE,oF_FALSE; | 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(__SVR4) && defined(sun) |  | 
| char cppname[BUFSIZ] = "/usr/ccs/lib/cpp "; |  | 
| #else |  | 
| #if defined(__FreeBSD__) || defined(__NetBSD__) || (defined(__MACH__) && defined(__ppc__)) |  | 
| char cppname[BUFSIZ] = "/usr/bin/cpp "; |  | 
| #else |  | 
| #if defined(VISUAL) | #if defined(VISUAL) | 
| 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 "; | 
| #endif | #endif | 
| #endif |  | 
| #endif |  | 
| char asirname[BUFSIZ]; | char asirname[BUFSIZ]; | 
| char displayname[BUFSIZ]; | char displayname[BUFSIZ]; | 
|  |  | 
| int Verbose; | int Verbose; | 
|  | int do_quiet; | 
|  |  | 
| void glob_init() { | void glob_init() { | 
| int i; | int i; | 
| 
| Line 157  void glob_init() { |  | 
| Line 167  void glob_init() { |  | 
| VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; | VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; | 
| reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); | reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); | 
| 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)); | 
| CPVS = GPVS; | CPVS = GPVS; | 
| MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); | MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); | 
| 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"; | 
|  | Symbol_grlex->value = 0; | 
|  | OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex"; | 
|  | Symbol_glex->value = 1; | 
|  | OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex"; | 
|  | Symbol_lex->value = 2; | 
| sprintf(asirname,"%s/asir_symtab",asir_libdir); | sprintf(asirname,"%s/asir_symtab",asir_libdir); | 
| } | } | 
|  |  | 
| 
| Line 178  void notdef(VL vl,Obj a,Obj b,Obj *c) |  | 
| Line 195  void notdef(VL vl,Obj a,Obj b,Obj *c) |  | 
|  |  | 
| int do_asirrc; | int do_asirrc; | 
| int do_file; | int do_file; | 
|  | char *do_filename; | 
| int do_message; | int do_message; | 
|  | int do_terse; | 
| int do_fep; | int do_fep; | 
| int no_prompt; | int asir_setenv; | 
| int read_exec_file; |  | 
| static int buserr_sav; | static int buserr_sav; | 
| static char asir_history[BUFSIZ]; | static char asir_history[BUFSIZ]; | 
|  |  | 
| 
| Line 196  void ExitAsir() { |  | 
| Line 214  void ExitAsir() { |  | 
| /* | /* | 
| * status = 1 abnormal termination (error() etc.) | * status = 1 abnormal termination (error() etc.) | 
| * status = 2 normal termination (end(), quit() etc.) | * status = 2 normal termination (end(), quit() etc.) | 
|  | * status = 3 absolute termination | 
| */ | */ | 
|  |  | 
| void asir_terminate(int status) | void asir_terminate(int status) | 
| { | { | 
| int t; | int t; | 
|  | NODE n; | 
|  |  | 
| if ( read_exec_file ) { | /* called from engine in Windows */ | 
| t = read_exec_file; | if ( status == 3 ) asir_infile = 0; | 
| read_exec_file = 0; |  | 
| if ( t == 1 ) | if ( asir_infile && asir_infile->ready_for_longjmp ) | 
| longjmp(main_env,status); | LONGJMP(asir_infile->jmpbuf,status); | 
| else | else { | 
| longjmp(exec_env,status); | if ( user_quit_handler ) { | 
| } else { | 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 MPI | #if defined(MPI) | 
| if ( !mpi_myid ) | if ( !mpi_myid ) | 
| close_allconnections(); | close_allconnections(); | 
| mpi_finalize(); | mpi_finalize(); | 
| 
| Line 241  void param_init() { |  | 
| Line 267  void param_init() { |  | 
| else | else | 
| little_endian = 0; | little_endian = 0; | 
| } | } | 
|  |  | 
|  | Obj user_defined_prompt; | 
|  |  | 
| void prompt() { | void prompt() { | 
| if ( !no_prompt && !do_fep && asir_infile->fp == stdin ) | if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { | 
| fprintf(asir_out,"[%d] ",APVS->n); | fprintf(asir_out,"[%d] ",APVS->n); | 
| fflush(asir_out); | fflush(asir_out); | 
|  | } else if ( do_quiet && user_defined_prompt | 
|  | && OID(user_defined_prompt)==O_STR) { | 
|  | fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); | 
|  | fflush(asir_out); | 
|  | } | 
| } | } | 
|  |  | 
| void sprompt(char *ptr) | void sprompt(char *ptr) | 
| 
| Line 253  void sprompt(char *ptr) |  | 
| Line 286  void sprompt(char *ptr) |  | 
| sprintf(ptr,"[%d] ",APVS->n); | sprintf(ptr,"[%d] ",APVS->n); | 
| } | } | 
|  |  | 
|  | #if !defined(VISUAL) | 
|  | static int which(char *prog, char *path, char *buf, size_t size) | 
|  | { | 
|  | char *tok; | 
|  | char delim[] = ":"; | 
|  | char *path2  = malloc(strlen(path)+1); | 
|  | char *name   = malloc(size); | 
|  | int  proglen = strlen(prog)+3; /* "/" + prog + " \0" */ | 
|  |  | 
|  | if (!name || !path2) { | 
|  | return 0; | 
|  | } | 
|  | strcpy(path2, path); | 
|  | tok = strtok(path2, delim); | 
|  | while (tok != NULL) { | 
|  | if (size >= strlen(tok)) { | 
|  | sprintf(name, "%s/%s", tok, prog); | 
|  | if (access(name, X_OK&R_OK) == 0) { | 
|  | strcpy(buf, name); | 
|  | strcat(buf, " "); | 
|  | free(path2); free(name); | 
|  | return 1; | 
|  | } | 
|  | tok = strtok(NULL, delim); | 
|  | } | 
|  | } | 
|  | free(path2); free(name); | 
|  | return 0; | 
|  | } | 
|  | #endif | 
|  |  | 
|  | void cppname_init() | 
|  | { | 
|  | #if !defined(VISUAL) | 
|  | if (access(cppname, X_OK&R_OK) != 0) { | 
|  | which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) || | 
|  | which("cpp", getenv("PATH"), cppname, BUFSIZ); | 
|  | } | 
|  | #endif | 
|  | } | 
|  |  | 
| FILE *in_fp; | FILE *in_fp; | 
|  |  | 
| void process_args(int ac,char **av) | void process_args(int ac,char **av) | 
| { | { | 
| do_asirrc = 1; | do_asirrc = 1; | 
| #if !MPI | #if !defined(MPI) | 
| do_message = 1; | do_message = 1; | 
| #endif | #endif | 
|  | do_quiet = 0; | 
| while ( ac > 0 ) { | while ( ac > 0 ) { | 
| if ( !strcmp(*av,"-heap") && (ac >= 2) ) { | if ( !strcmp(*av,"-heap") && (ac >= 2) ) { | 
| void GC_expand_hp(int); | void GC_expand_hp(int); | 
| 
| Line 279  void process_args(int ac,char **av) |  | 
| Line 354  void process_args(int ac,char **av) |  | 
| } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { | } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { | 
| strcpy(cppname,*(av+1)); av += 2; ac -= 2; | strcpy(cppname,*(av+1)); av += 2; ac -= 2; | 
| } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { | } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { | 
|  | do_quiet = 1; | 
| in_fp = fopen(*(av+1),"r"); | in_fp = fopen(*(av+1),"r"); | 
| if ( !in_fp ) { | if ( !in_fp ) { | 
| fprintf(stderr,"%s does not exist!",*(av+1)); | fprintf(stderr,"%s does not exist!\n",*(av+1)); | 
| asir_terminate(1); | asir_terminate(1); | 
| } | } | 
| do_file = 1; | do_file = 1; | 
|  | do_filename = *(av+1); | 
| av += 2; ac -= 2; | av += 2; ac -= 2; | 
|  | } else if ( !strcmp(*av,"-E") ) { | 
|  | asir_setenv = 1; av++; ac--; | 
|  | } else if ( !strcmp(*av,"-quiet") ) { | 
|  | do_quiet = 1; av++; ac--; | 
| } else if ( !strcmp(*av,"-norc") ) { | } else if ( !strcmp(*av,"-norc") ) { | 
| do_asirrc = 0; av++; ac--; | do_asirrc = 0; av++; ac--; | 
| } else if ( !strcmp(*av,"-nomessage") ) { | } else if ( !strcmp(*av,"-nomessage") ) { | 
| do_message = 0; av++; ac--; | do_message = 0; av++; ac--; | 
| } else if ( !strcmp(*av,"-terse") ) { |  | 
| no_prompt = 0; av++; ac--; |  | 
| } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { | } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { | 
| set_rootdir(*(av+1)); av += 2; ac -= 2; | set_rootdir(*(av+1)); av += 2; ac -= 2; | 
| } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { | } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { | 
| 
| Line 306  void process_args(int ac,char **av) |  | 
| Line 385  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 PARI | #if defined(PARI) | 
| } else if ( !strcmp(*av,"-paristack") ) { | } else if ( !strcmp(*av,"-paristack") ) { | 
| extern int paristack; | extern int paristack; | 
|  |  | 
| 
| Line 374  void asir_reset_handler() { |  | 
| Line 453  void asir_reset_handler() { |  | 
| signal(SIGINT,old_int); | signal(SIGINT,old_int); | 
| } | } | 
|  |  | 
|  | extern int I_am_server; | 
|  |  | 
| void resetenv(char *s) | void resetenv(char *s) | 
| { | { | 
| extern FILE *outfile; | extern FILE *outfile; | 
| 
| Line 390  void resetenv(char *s) |  | 
| Line 471  void resetenv(char *s) |  | 
| w_noflush_stderr(0); | w_noflush_stderr(0); | 
| #endif | #endif | 
| asir_out = stdout; | asir_out = stdout; | 
| #if PARI | #if defined(PARI) | 
| pari_outfile = stdout; | pari_outfile = stdout; | 
| #endif | #endif | 
| /* restore states */ | /* restore states */ | 
| 
| Line 399  void resetenv(char *s) |  | 
| Line 480  void resetenv(char *s) |  | 
| #if !defined(VISUAL) | #if !defined(VISUAL) | 
| reset_timer(); | reset_timer(); | 
| #endif | #endif | 
| longjmp(main_env,1); | LONGJMP(main_env,1); | 
| } | } | 
|  |  | 
| void fatal(int n) | void fatal(int n) | 
| 
| Line 407  void fatal(int n) |  | 
| Line 488  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; | 
|  | NODE t; | 
|  |  | 
|  |  | 
| if ( do_file ) { | if ( do_file ) { | 
| ExitAsir(); | ExitAsir(); | 
| } | } | 
| 
| Line 454  void int_handler(int sig) |  | 
| Line 536  void int_handler(int sig) |  | 
| fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); | fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); | 
| fgets(buf,BUFSIZ,stdin); | fgets(buf,BUFSIZ,stdin); | 
| if ( !strncmp(buf,"y",1) ) { | if ( !strncmp(buf,"y",1) ) { | 
| read_exec_file = 0; | fprintf(stderr,"Bye\n"); | 
| fprintf(stderr,"Bye\n"); asir_terminate(1); | /* for terminating myself */ | 
|  | asir_infile = 0; | 
|  | asir_terminate(1); | 
| } else if ( !strncmp(buf,"n",1) ) { | } else if ( !strncmp(buf,"n",1) ) { | 
| restore_handler(); | restore_handler(); | 
| return; | return; | 
| 
| Line 478  void int_handler(int sig) |  | 
| Line 562  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 ) { | 
| fprintf(stderr, | if ( !do_terse ) | 
| "Calling the registered exception handler..."); | fprintf(stderr, | 
| bevalf(registered_handler,0); | "Calling the registered exception callbacks..."); | 
| fprintf(stderr, "done.\n"); | for ( t = user_int_handler; t; t = NEXT(t) ) | 
|  | bevalf((FUNC)BDY(t),0); | 
|  | if ( !do_terse ) | 
|  | fprintf(stderr, "done.\n"); | 
| } | } | 
| } | } | 
| if ( read_exec_file ) { | resetenv("return to toplevel"); | 
| read_exec_file = 0; |  | 
| resetenv("initialization aborted; return to toplevel"); |  | 
| } else |  | 
| resetenv("return to toplevel"); |  | 
| break; | break; | 
| case 'd': | case 'd': | 
| #if 0 | #if 0 | 
| 
| Line 502  void int_handler(int sig) |  | 
| Line 585  void int_handler(int sig) |  | 
| restore_handler(); | restore_handler(); | 
| return; break; | return; break; | 
| case 'w': | case 'w': | 
| showpos(); break; | showpos(); | 
|  | 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"); | 
| break; | break; | 
| 
| Line 537  void ill_handler(int sig) |  | 
| Line 621  void ill_handler(int sig) |  | 
| #endif | #endif | 
| } | } | 
|  |  | 
|  | #if defined(__DARWIN__) | 
|  | #define SIGNAL_FOR_TIMER SIGALRM | 
|  | #define ITIMER_TYPE ITIMER_REAL | 
|  | #else | 
|  | #define SIGNAL_FOR_TIMER SIGVTALRM | 
|  | #define ITIMER_TYPE ITIMER_VIRTUAL | 
|  | #endif | 
|  |  | 
| void alrm_handler(int sig) | void alrm_handler(int sig) | 
| { | { | 
| fprintf(stderr,"interval timer expired (VTALRM)\n"); | fprintf(stderr,"interval timer expired (VTALRM)\n"); | 
| longjmp(timer_env,1); | LONGJMP(timer_env,1); | 
| } | } | 
|  |  | 
| void bus_handler(int sig) | void bus_handler(int sig) | 
| 
| Line 587  void set_lasterror(char *s) |  | 
| Line 679  void set_lasterror(char *s) |  | 
| } | } | 
|  |  | 
| SNODE error_snode; | SNODE error_snode; | 
|  | int error_in_timer; | 
|  |  | 
| void error(char *s) | void error(char *s) | 
| { | { | 
| SNODE *snp; | SNODE *snp=0; | 
|  |  | 
| #if !defined(VISUAL) | #if !defined(VISUAL) | 
| if ( timer_is_set ) | if ( !error_in_timer && timer_is_set ) | 
| alrm_handler(SIGVTALRM); | alrm_handler(SIGNAL_FOR_TIMER); | 
| #endif | #endif | 
| fprintf(stderr,"%s\n",s); | fprintf(stderr,"%s\n",s); | 
| set_lasterror(s); | set_lasterror(s); | 
| if ( CPVS != GPVS ) { | if ( CPVS != GPVS ) { | 
| if ( CPVS->usrf && CPVS->usrf && CPVS->usrf->f.usrf ) | if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) | 
| searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp); | searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp); | 
| if ( snp ) | if ( snp ) | 
| error_snode = *snp; | error_snode = *snp; | 
| 
| Line 616  void error(char *s) |  | 
| Line 709  void error(char *s) |  | 
| ExitAsir(); | ExitAsir(); | 
| } | } | 
| 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 ( I_am_server ) | 
| read_exec_file = 0; | showpos_to_list(&LastStackTrace); | 
| resetenv("return to toplevel"); | resetenv("return to toplevel"); | 
| } | } | 
|  |  | 
|  | void toplevel(char *s) | 
|  | { | 
|  | SNODE *snp=0; | 
|  |  | 
| #if !defined(VISUAL) | #if !defined(VISUAL) | 
|  | if ( timer_is_set ) | 
|  | alrm_handler(SIGNAL_FOR_TIMER); | 
|  | #endif | 
|  | fprintf(stderr,"%s\n",s); | 
|  | if ( do_file ) { | 
|  | char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ | 
|  |  | 
|  | sprintf(errbuf,"%s\n",s); | 
|  | showpos_to_string(errbuf+strlen(errbuf)); | 
|  | ExitAsir(); | 
|  | } | 
|  | resetenv("return to toplevel"); | 
|  | } | 
|  |  | 
|  | #if !defined(VISUAL) | 
| #include <sys/time.h> | #include <sys/time.h> | 
|  |  | 
| void set_timer(int interval) | void set_timer(int interval) | 
| 
| Line 636  void set_timer(int interval) |  | 
| Line 748  void set_timer(int interval) |  | 
| it.it_interval.tv_usec = 0; | it.it_interval.tv_usec = 0; | 
| it.it_value.tv_sec = interval; | it.it_value.tv_sec = interval; | 
| it.it_value.tv_usec = 0; | it.it_value.tv_usec = 0; | 
| setitimer(ITIMER_VIRTUAL,&it,0); | setitimer(ITIMER_TYPE,&it,0); | 
| signal(SIGVTALRM,alrm_handler); | signal(SIGNAL_FOR_TIMER,alrm_handler); | 
| timer_is_set = 1; | timer_is_set = 1; | 
| } | } | 
|  |  | 
| 
| Line 649  void reset_timer() |  | 
| Line 761  void reset_timer() |  | 
| it.it_interval.tv_usec = 0; | it.it_interval.tv_usec = 0; | 
| it.it_value.tv_sec = 0; | it.it_value.tv_sec = 0; | 
| it.it_value.tv_usec = 0; | it.it_value.tv_usec = 0; | 
| setitimer(ITIMER_VIRTUAL,&it,0); | setitimer(ITIMER_TYPE,&it,0); | 
| signal(SIGVTALRM,SIG_IGN); | signal(SIGNAL_FOR_TIMER,SIG_IGN); | 
| timer_is_set = 0; | timer_is_set = 0; | 
| } | } | 
| #endif | #endif | 
| 
| Line 658  void reset_timer() |  | 
| Line 770  void reset_timer() |  | 
| unsigned int get_asir_version(); | unsigned int get_asir_version(); | 
| char *get_asir_distribution(); | char *get_asir_distribution(); | 
|  |  | 
| void copyright() { | char *get_gcversion() | 
|  | { | 
|  | #if defined(GC7) | 
|  | return "GC 7.0 copyright 1988-2007, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; | 
|  | #else | 
|  | return "GC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; | 
|  | #endif | 
|  | } | 
|  |  | 
|  | 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 ""; | 
|  | } | 
|  |  | 
|  | char *get_intervalversion() | 
|  | { | 
| #if defined(INTERVAL) | #if defined(INTERVAL) | 
| printf("This is Risa/Asir + Interval Arithmetic, Version %d (%s Distribution).\n", | return " + Interval Arithmetic"; | 
| get_asir_version(), get_asir_distribution()); |  | 
| #else | #else | 
| printf("This is Risa/Asir, Version %d (%s Distribution).\n", | return ""; | 
| get_asir_version(), get_asir_distribution()); |  | 
| #endif | #endif | 
| printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n"); |  | 
| printf("Copyright 2000,2001, Risa/Asir committers, http://www.openxm.org/.\n"); |  | 
| printf("GC 5.3, copyright 1999, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); |  | 
| printf("PARI 2.2.1(alpha), copyright (C) 2000,\n"); |  | 
| printf("     C. Batut, K. Belabas, D. Bernardi, H. Cohen and M. Olivier.\n"); |  | 
| } | } | 
|  |  | 
|  | void copyright() | 
|  | { | 
|  | char *scopyright(); | 
|  | fputs(scopyright(), stdout); | 
|  | } | 
|  |  | 
|  | char *scopyright() | 
|  | { | 
|  | static char *notice; | 
|  | char *s1, *s2, *s3, *s4; | 
|  | 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-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%s"; | 
|  | if (!notice) { | 
|  | s1 = get_intervalversion(); | 
|  | s2 = get_asir_distribution(); | 
|  | s3 = get_gcversion(); | 
|  | s4 = get_pariversion(); | 
|  | d  = get_asir_version(); | 
|  | len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+sizeof(int)*3; | 
|  | notice = MALLOC(len+1); | 
|  | sprintf(notice, format, s1, d, s2, s3, s4); | 
|  | } | 
|  | return notice; | 
|  | } |