=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v retrieving revision 1.98 retrieving revision 1.99 diff -u -p -r1.98 -r1.99 --- OpenXM_contrib2/asir2000/parse/glob.c 2018/03/27 06:29:19 1.98 +++ OpenXM_contrib2/asir2000/parse/glob.c 2018/03/29 01:32:54 1.99 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.97 2017/08/30 09:40:30 ohara Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.98 2018/03/27 06:29:19 noro Exp $ */ #include "ca.h" #include "al.h" @@ -103,20 +103,20 @@ NODE current_option; NODE user_int_handler, user_quit_handler; struct oV oVAR[] = { - {"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, - {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, - {"r",0,0}, {"s",0,0}, {"t",0,0}, {"a",0,0}, - {"b",0,0}, {"c",0,0}, {"d",0,0}, {"e",0,0}, - {"f",0,0}, {"g",0,0}, {"h",0,0}, {"i",0,0}, - {"j",0,0}, {"k",0,0}, {"l",0,0}, {"m",0,0}, - {"n",0,0}, {"o",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}, - {"_r",0,0}, {"_s",0,0}, {"_t",0,0}, {"_a",0,0}, - {"_b",0,0}, {"_c",0,0}, {"_d",0,0}, {"_e",0,0}, - {"_f",0,0}, {"_g",0,0}, {"_h",0,0}, {"_i",0,0}, - {"_j",0,0}, {"_k",0,0}, {"_l",0,0}, {"_m",0,0}, - {"_n",0,0}, {"_o",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}, + {"r",0,0}, {"s",0,0}, {"t",0,0}, {"a",0,0}, + {"b",0,0}, {"c",0,0}, {"d",0,0}, {"e",0,0}, + {"f",0,0}, {"g",0,0}, {"h",0,0}, {"i",0,0}, + {"j",0,0}, {"k",0,0}, {"l",0,0}, {"m",0,0}, + {"n",0,0}, {"o",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}, + {"_r",0,0}, {"_s",0,0}, {"_t",0,0}, {"_a",0,0}, + {"_b",0,0}, {"_c",0,0}, {"_d",0,0}, {"_e",0,0}, + {"_f",0,0}, {"_g",0,0}, {"_h",0,0}, {"_i",0,0}, + {"_j",0,0}, {"_k",0,0}, {"_l",0,0}, {"_m",0,0}, + {"_n",0,0}, {"_o",0,0} }; struct oVL oVLIST[52]; @@ -157,39 +157,39 @@ int Verbose; int do_quiet; void glob_init() { - int i; - - for ( i = 0; i < 51; i++ ) { - VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = &oVLIST[i+1]; - } - VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; - LASTCO = &oVLIST[i]; - asir_reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); - asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); - asir_reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); - CPVS = GPVS; - 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_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); + int i; + + for ( i = 0; i < 51; i++ ) { + VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = &oVLIST[i+1]; + } + VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; + LASTCO = &oVLIST[i]; + asir_reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); + asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); + asir_reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); + CPVS = GPVS; + 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_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); } void input_init(FILE *fp,char *name) { - asir_infile = (INFILE)CALLOC(sizeof(struct oINFILE),1); - asir_infile->name = name; asir_infile->fp = fp; - asir_infile->ln = 1; NEXT(asir_infile) = 0; + asir_infile = (INFILE)CALLOC(sizeof(struct oINFILE),1); + asir_infile->name = name; asir_infile->fp = fp; + asir_infile->ln = 1; NEXT(asir_infile) = 0; } void notdef(VL vl,Obj a,Obj b,Obj *c) { - error("undefined arithmetic operation."); + error("undefined arithmetic operation."); } int disable_debugger; @@ -207,7 +207,7 @@ extern int mpi_myid; #if !defined(VISUAL_LIB) void ExitAsir() { - exit(0); + exit(0); } #endif @@ -219,79 +219,79 @@ void ExitAsir() { void asir_terminate(int status) { - int t; - NODE n; + int t; + NODE n; - /* called from engine in Windows */ - if ( status == 3 ) asir_infile = 0; + /* called from engine in Windows */ + if ( status == 3 ) asir_infile = 0; - if ( asir_infile && asir_infile->ready_for_longjmp ) - LONGJMP(asir_infile->jmpbuf,status); - else { - if ( user_quit_handler ) { - if ( !do_terse ) { - fprintf(stderr,"Calling the registered quit callbacks..."); + if ( asir_infile && asir_infile->ready_for_longjmp ) + LONGJMP(asir_infile->jmpbuf,status); + else { + if ( user_quit_handler ) { + if ( !do_terse ) { + fprintf(stderr,"Calling the registered quit callbacks..."); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - } - for ( n = user_quit_handler; n; n = NEXT(n) ) - bevalf((FUNC)BDY(n),0); - if ( !do_terse ) { - fprintf(stderr, "done.\n"); + } + for ( n = user_quit_handler; n; n = NEXT(n) ) + bevalf((FUNC)BDY(n),0); + if ( !do_terse ) { + fprintf(stderr, "done.\n"); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - } - } - tty_reset(); + } + } + tty_reset(); #if defined(MPI) - if ( !mpi_myid ) - close_allconnections(); - mpi_finalize(); + if ( !mpi_myid ) + close_allconnections(); + mpi_finalize(); #else #if defined(SIGPIPE) - set_signal(SIGPIPE,SIG_IGN); + set_signal(SIGPIPE,SIG_IGN); #endif - close_allconnections(); + close_allconnections(); #endif - if ( asir_out ) - fflush(asir_out); + if ( asir_out ) + fflush(asir_out); #if FEP - if ( do_fep ) { - stifle_history(MAXHIST); - write_history(asir_history); - } + if ( do_fep ) { + stifle_history(MAXHIST); + write_history(asir_history); + } #endif - ExitAsir(); - } + ExitAsir(); + } } void param_init() { - unsigned int et = 0xff; - extern int paristack; - if ( *((char *)&et) ) - little_endian = 1; - else - little_endian = 0; + unsigned int et = 0xff; + extern int paristack; + if ( *((char *)&et) ) + little_endian = 1; + else + little_endian = 0; } Obj user_defined_prompt; void prompt() { - if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { - fprintf(asir_out,"[%d] ",APVS->n); - 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); - } + if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { + fprintf(asir_out,"[%d] ",APVS->n); + 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) { - sprintf(ptr,"[%d] ",APVS->n); + sprintf(ptr,"[%d] ",APVS->n); } #if !defined(VISUAL) && !defined(__MINGW32__) @@ -328,19 +328,19 @@ static int which(char *prog, char *path, char *buf, si void cppname_init() { #if !defined(VISUAL) && !defined(__MINGW32__) - char *oxhome; - char oxcpp[BUFSIZ]; + char *oxhome; + char oxcpp[BUFSIZ]; #define OXCPP "/bin/ox_cpp" - if ( oxhome = getenv("OpenXM_HOME") ) { - if ( strlen(oxhome)+strlen(OXCPP) 0 ) { - if ( !strcmp(*av,"-heap") && (ac >= 2) ) { - void GC_expand_hp(int); + do_quiet = 0; + while ( ac > 0 ) { + if ( !strcmp(*av,"-heap") && (ac >= 2) ) { + void GC_expand_hp(int); - GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2; - } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) { - char *slash; - slash = strrchr(*(av+1),'/'); - if ( slash ) { - *slash = 0; - nm = atoi(slash+1); - }else { - nm = 1; - } - dv = atoi(*(av+1)); - Risa_GC_set_adj(nm,dv); - av += 2; ac -= 2; - } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { - strcpy(cppname,*(av+1)); av += 2; ac -= 2; - } else if ( !strcmp(*av,"-d") && (ac >= 2) ) { + GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2; + } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) { + char *slash; + slash = strrchr(*(av+1),'/'); + if ( slash ) { + *slash = 0; + nm = atoi(slash+1); + }else { + nm = 1; + } + dv = atoi(*(av+1)); + Risa_GC_set_adj(nm,dv); + av += 2; ac -= 2; + } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { + strcpy(cppname,*(av+1)); av += 2; ac -= 2; + } else if ( !strcmp(*av,"-d") && (ac >= 2) ) { #if defined(VISUAL) && defined(VISUAL_CONSOLE) - disable_debugger=0; + disable_debugger=0; #endif - av += 2; ac -= 2; - } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { - do_quiet = 1; - in_fp = fopen(*(av+1),"r"); - if ( !in_fp ) { - fprintf(stderr,"%s does not exist!\n",*(av+1)); + av += 2; ac -= 2; + } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { + do_quiet = 1; + in_fp = fopen(*(av+1),"r"); + if ( !in_fp ) { + fprintf(stderr,"%s does not exist!\n",*(av+1)); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - asir_terminate(1); - } - do_file = 1; - do_filename = *(av+1); - 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") ) { - do_asirrc = 0; av++; ac--; - } else if ( !strcmp(*av,"-nomessage") ) { - do_message = 0; av++; ac--; - } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { - set_rootdir(*(av+1)); av += 2; ac -= 2; - } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { - void GC_set_max_heap_size(int); + asir_terminate(1); + } + do_file = 1; + do_filename = *(av+1); + 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") ) { + do_asirrc = 0; av++; ac--; + } else if ( !strcmp(*av,"-nomessage") ) { + do_message = 0; av++; ac--; + } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { + set_rootdir(*(av+1)); av += 2; ac -= 2; + } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { + 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__) - } else if ( !strcmp(*av,"-display") && (ac >= 2) ) { - strcpy(displayname,*(av+1)); av += 2; ac -= 2; + } else if ( !strcmp(*av,"-display") && (ac >= 2) ) { + strcpy(displayname,*(av+1)); av += 2; ac -= 2; #endif #if FEP - } else if ( !strcmp(*av,"-fep") ) { - do_fep = 1; av++; ac--; + } else if ( !strcmp(*av,"-fep") ) { + do_fep = 1; av++; ac--; #endif - } else { - fprintf(stderr,"%s : unknown option.\n",*av); + } else { + fprintf(stderr,"%s : unknown option.\n",*av); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - asir_terminate(1); - } - } + asir_terminate(1); + } + } #if FEP - if ( do_fep ) { - char *home; - home = (char *)getenv("HOME"); - if (!home) - home = "."; - sprintf (asir_history, "%s/.asir_history",home); - read_history(asir_history); - using_history(); - } + if ( do_fep ) { + char *home; + home = (char *)getenv("HOME"); + if (!home) + home = "."; + sprintf (asir_history, "%s/.asir_history",home); + read_history(asir_history); + using_history(); + } #endif } #if defined(HAVE_SIGACTION) void (*set_signal(int sig, void (*handler)(int)))(int) { - struct sigaction act; - struct sigaction oldact; - if (handler == SIG_IGN || handler == SIG_DFL) { - return signal(sig,handler); - } - act.sa_handler=handler; - act.sa_flags=0; - act.sa_flags |= SA_RESTART; - sigemptyset(&act.sa_mask); - sigaction(sig,&act,&oldact); - return oldact.sa_handler; + struct sigaction act; + struct sigaction oldact; + if (handler == SIG_IGN || handler == SIG_DFL) { + return signal(sig,handler); + } + act.sa_handler=handler; + act.sa_flags=0; + act.sa_flags |= SA_RESTART; + sigemptyset(&act.sa_mask); + sigaction(sig,&act,&oldact); + return oldact.sa_handler; } #endif void sig_init() { #if !defined(VISUAL) && !defined(__MINGW32__) - set_signal(SIGINT,int_handler); + set_signal(SIGINT,int_handler); #else - void register_ctrlc_handler(); + void register_ctrlc_handler(); - register_ctrlc_handler(); + register_ctrlc_handler(); #endif - set_signal(SIGSEGV,segv_handler); + set_signal(SIGSEGV,segv_handler); #if defined(SIGFPE) - set_signal(SIGFPE,fpe_handler); + set_signal(SIGFPE,fpe_handler); #endif #if defined(SIGPIPE) - set_signal(SIGPIPE,pipe_handler); + set_signal(SIGPIPE,pipe_handler); #endif #if defined(SIGILL) - set_signal(SIGILL,ill_handler); + set_signal(SIGILL,ill_handler); #endif #if !defined(VISUAL) && !defined(__MINGW32__) - set_signal(SIGBUS,bus_handler); + set_signal(SIGBUS,bus_handler); #endif } static void (*old_int)(int); void asir_save_handler() { - old_int = set_signal(SIGINT,SIG_IGN); - set_signal(SIGINT,old_int); + old_int = set_signal(SIGINT,SIG_IGN); + set_signal(SIGINT,old_int); } void asir_set_handler() { - set_signal(SIGINT,int_handler); + set_signal(SIGINT,int_handler); } void asir_reset_handler() { - set_signal(SIGINT,old_int); + set_signal(SIGINT,old_int); } extern int I_am_server; void resetenv(char *s) { - extern FILE *outfile; + extern FILE *outfile; - fprintf(stderr,"%s\n",s); - while ( NEXT(asir_infile) ) - closecurrentinput(); - resetpvs(); + fprintf(stderr,"%s\n",s); + while ( NEXT(asir_infile) ) + closecurrentinput(); + resetpvs(); #if !defined(VISUAL) && !defined(__MINGW32__) - if ( do_server_in_X11 ) + if ( do_server_in_X11 ) #endif - show_debug_window(0); + show_debug_window(0); #if defined(VISUAL_LIB) - w_noflush_stderr(0); + w_noflush_stderr(0); #endif #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - asir_out = stdout; - /* restore states */ - reset_engine(); - reset_io(); + asir_out = stdout; + /* restore states */ + reset_engine(); + reset_io(); #if !defined(VISUAL) && !defined(__MINGW32__) - reset_timer(); + reset_timer(); #endif - LONGJMP(main_env,1); + LONGJMP(main_env,1); } void fatal(int n) { - resetenv("return to toplevel"); + resetenv("return to toplevel"); } extern int ox_int_received, critical_when_signal; @@ -541,155 +541,155 @@ extern int ox_get_pari_result; void int_handler(int sig) { - extern NODE PVSS; - NODE t; + extern NODE PVSS; + NODE t; - if ( do_file || disable_debugger ) { - LEAVE_SIGNAL_CS_ALL; - ExitAsir(); - } - if ( !ox_get_pari_result && critical_when_signal ) { - ox_int_received = 1; - return; - } - if ( in_gc ) { - caught_intr = 1; - return; - } + if ( do_file || disable_debugger ) { + LEAVE_SIGNAL_CS_ALL; + ExitAsir(); + } + if ( !ox_get_pari_result && critical_when_signal ) { + ox_int_received = 1; + return; + } + if ( in_gc ) { + caught_intr = 1; + return; + } #if defined(VISUAL) || defined(__MINGW32__) - suspend_timer(); + suspend_timer(); #endif - set_signal(SIGINT,SIG_IGN); + set_signal(SIGINT,SIG_IGN); #if !defined(VISUAL) && !defined(__MINGW32__) if ( do_server_in_X11 ) { - debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); - restore_handler(); - return; - } + debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); + restore_handler(); + return; + } #endif #if defined(linux) #if 1 - while ( stdin->_IO_read_ptr < stdin->_IO_read_end ) + while ( stdin->_IO_read_ptr < stdin->_IO_read_end ) #else - while ( stdin->_gptr < stdin->_egptr ) + while ( stdin->_gptr < stdin->_egptr ) #endif - getchar(); + getchar(); #endif - while ( 1 ) { - char buf[BUFSIZ]; - char c; + while ( 1 ) { + char buf[BUFSIZ]; + char c; - fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr); - buf[0] = '\n'; - while ( !feof(stdin) && buf[0] == '\n' ) - fgets(buf,BUFSIZ,stdin); - if ( feof(stdin) ) { - clearerr(stdin); - continue; - } - switch ( c = buf[0] ) { - case 'q': - while ( 1 ) { - fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); - fgets(buf,BUFSIZ,stdin); - if ( !strncmp(buf,"y",1) ) { - fprintf(stderr,"Bye\n"); + fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr); + buf[0] = '\n'; + while ( !feof(stdin) && buf[0] == '\n' ) + fgets(buf,BUFSIZ,stdin); + if ( feof(stdin) ) { + clearerr(stdin); + continue; + } + switch ( c = buf[0] ) { + case 'q': + while ( 1 ) { + fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); + fgets(buf,BUFSIZ,stdin); + if ( !strncmp(buf,"y",1) ) { + fprintf(stderr,"Bye\n"); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - /* for terminating myself */ - asir_infile = 0; - asir_terminate(1); - } else if ( !strncmp(buf,"n",1) ) { - restore_handler(); - return; - } - } - break; - case 't': - case 'u': - while ( 1 ) { - fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr); - fgets(buf,BUFSIZ,stdin); - if ( !strncmp(buf,"y",1) ) - break; - else if ( !strncmp(buf,"n",1) ) { - restore_handler(); - return; - } - } - if ( debug_mode ) - debug_mode = 0; - restore_handler(); - if ( c == 'u' ) { - if ( user_int_handler ) { - if ( !do_terse ) { - fprintf(stderr, - "Calling the registered exception callbacks..."); + /* for terminating myself */ + asir_infile = 0; + asir_terminate(1); + } else if ( !strncmp(buf,"n",1) ) { + restore_handler(); + return; + } + } + break; + case 't': + case 'u': + while ( 1 ) { + fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr); + fgets(buf,BUFSIZ,stdin); + if ( !strncmp(buf,"y",1) ) + break; + else if ( !strncmp(buf,"n",1) ) { + restore_handler(); + return; + } + } + if ( debug_mode ) + debug_mode = 0; + restore_handler(); + if ( c == 'u' ) { + if ( user_int_handler ) { + if ( !do_terse ) { + fprintf(stderr, + "Calling the registered exception callbacks..."); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - } - for ( t = user_int_handler; t; t = NEXT(t) ) - bevalf((FUNC)BDY(t),0); - if ( !do_terse ) { - 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 defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - } - } - } - LEAVE_SIGNAL_CS_ALL; - resetenv("return to toplevel"); - break; - case 'd': + } + } + } + LEAVE_SIGNAL_CS_ALL; + resetenv("return to toplevel"); + break; + case 'd': #if 0 - nextbp = 1; nextbplevel = -1; + nextbp = 1; nextbplevel = -1; #endif - debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); - restore_handler(); - return; - case 'c': - restore_handler(); - return; break; - case 'w': - showpos(); - break; - case '?': - fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); + debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); + restore_handler(); + return; + case 'c': + restore_handler(); + return; break; + case 'w': + showpos(); + break; + case '?': + fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - break; - default: - break; - } - } + break; + default: + break; + } + } } void restore_handler() { #if defined(VISUAL) || defined(__MINGW32__) - resume_timer(); + resume_timer(); #endif #if defined(SIGINT) - set_signal(SIGINT,int_handler); + set_signal(SIGINT,int_handler); #endif } void segv_handler(int sig) { #if defined(SIGSEGV) - set_signal_for_restart(SIGSEGV,segv_handler); - error("internal error (SEGV)"); + set_signal_for_restart(SIGSEGV,segv_handler); + error("internal error (SEGV)"); #endif } void ill_handler(int sig) { #if defined(SIGILL) - set_signal_for_restart(SIGILL,ill_handler); - error("illegal instruction (ILL)"); + set_signal_for_restart(SIGILL,ill_handler); + error("illegal instruction (ILL)"); #endif } @@ -703,35 +703,35 @@ void ill_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); + fflush(stderr); #endif - LONGJMP(timer_env,1); + LONGJMP(timer_env,1); } void bus_handler(int sig) { #if defined(SIGBUS) - set_signal_for_restart(SIGBUS,bus_handler); - error("internal error (BUS ERROR)"); + set_signal_for_restart(SIGBUS,bus_handler); + error("internal error (BUS ERROR)"); #endif } void fpe_handler(int sig) { #if defined(SIGFPE) - set_signal_for_restart(SIGFPE,fpe_handler); - error("internal error (FPE)"); + set_signal_for_restart(SIGFPE,fpe_handler); + error("internal error (FPE)"); #endif } void pipe_handler(int sig) { #if defined(SIGPIPE) - set_signal_for_restart(SIGPIPE,pipe_handler); - end_critical(); - error("internal error (BROKEN PIPE)"); + set_signal_for_restart(SIGPIPE,pipe_handler); + end_critical(); + error("internal error (BROKEN PIPE)"); #endif } @@ -749,8 +749,8 @@ extern int evalstatline; void set_lasterror(char *s) { - strncpy(LastError,s,BUFSIZ); - LastError[BUFSIZ-1] = 0; + strncpy(LastError,s,BUFSIZ); + LastError[BUFSIZ-1] = 0; } SNODE error_snode; @@ -758,64 +758,64 @@ int error_in_timer; void error(char *s) { - SNODE *snp=0; + SNODE *snp=0; #if !defined(VISUAL) && !defined(__MINGW32__) - if ( !error_in_timer && timer_is_set ) - alrm_handler(SIGNAL_FOR_TIMER); + if ( !error_in_timer && timer_is_set ) + alrm_handler(SIGNAL_FOR_TIMER); #endif - fprintf(stderr,"%s\n",s); + fprintf(stderr,"%s\n",s); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - set_lasterror(s); - if ( CPVS != GPVS ) { - if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) - searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp); - if ( snp ) - error_snode = *snp; - else - error_snode = 0; - } else - error_snode = 0; - if ( do_file ) { - char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ + set_lasterror(s); + if ( CPVS != GPVS ) { + if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) + searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp); + if ( snp ) + error_snode = *snp; + else + error_snode = 0; + } else + error_snode = 0; + if ( do_file ) { + char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ - sprintf(errbuf,"%s\n",s); - showpos_to_string(errbuf+strlen(errbuf)); - set_lasterror(errbuf); - ExitAsir(); - } - if ( debug_mode ) - LONGJMP(debug_env,1); - if ( CPVS != GPVS ) - if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) - bp(error_snode); - if ( I_am_server ) - showpos_to_list(&LastStackTrace); - resetenv("return to toplevel"); + sprintf(errbuf,"%s\n",s); + showpos_to_string(errbuf+strlen(errbuf)); + set_lasterror(errbuf); + ExitAsir(); + } + if ( debug_mode ) + LONGJMP(debug_env,1); + if ( CPVS != GPVS ) + if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) + bp(error_snode); + if ( I_am_server ) + showpos_to_list(&LastStackTrace); + resetenv("return to toplevel"); } void goto_toplevel(char *s) { - SNODE *snp=0; + SNODE *snp=0; #if !defined(VISUAL) && !defined(__MINGW32__) - if ( timer_is_set ) - alrm_handler(SIGNAL_FOR_TIMER); + if ( timer_is_set ) + alrm_handler(SIGNAL_FOR_TIMER); #endif - fprintf(stderr,"%s\n",s); + fprintf(stderr,"%s\n",s); #if defined(__MINGW32__) - fflush(stderr); + fflush(stderr); #endif - if ( do_file ) { - char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ + 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"); + sprintf(errbuf,"%s\n",s); + showpos_to_string(errbuf+strlen(errbuf)); + ExitAsir(); + } + resetenv("return to toplevel"); } #if !defined(VISUAL) && !defined(__MINGW32__) @@ -823,28 +823,28 @@ void goto_toplevel(char *s) void set_timer(int interval) { - struct itimerval it; + struct itimerval it; - it.it_interval.tv_sec = interval; - it.it_interval.tv_usec = 0; - it.it_value.tv_sec = interval; - it.it_value.tv_usec = 0; - setitimer(ITIMER_TYPE,&it,0); - set_signal(SIGNAL_FOR_TIMER,alrm_handler); - timer_is_set = 1; + it.it_interval.tv_sec = interval; + it.it_interval.tv_usec = 0; + it.it_value.tv_sec = interval; + it.it_value.tv_usec = 0; + setitimer(ITIMER_TYPE,&it,0); + set_signal(SIGNAL_FOR_TIMER,alrm_handler); + timer_is_set = 1; } void reset_timer() { - struct itimerval it; + struct itimerval it; - it.it_interval.tv_sec = 0; - it.it_interval.tv_usec = 0; - it.it_value.tv_sec = 0; - it.it_value.tv_usec = 0; - setitimer(ITIMER_TYPE,&it,0); - set_signal(SIGNAL_FOR_TIMER,SIG_IGN); - timer_is_set = 0; + it.it_interval.tv_sec = 0; + it.it_interval.tv_usec = 0; + it.it_value.tv_sec = 0; + it.it_value.tv_usec = 0; + setitimer(ITIMER_TYPE,&it,0); + set_signal(SIGNAL_FOR_TIMER,SIG_IGN); + timer_is_set = 0; } #endif @@ -853,46 +853,46 @@ char *get_asir_distribution(); char *get_gcversion() { - return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; + return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; } char *get_pariversion() { - return ""; + return ""; } char *get_intervalversion() { #if defined(INTERVAL) - return " + Interval Arithmetic"; + return " + Interval Arithmetic"; #else - return ""; + return ""; #endif } void copyright() { - char *scopyright(); - fputs(scopyright(), stdout); + 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; + 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; } #if defined(VISUAL) || defined(__MINGW32__) @@ -906,14 +906,14 @@ static void init_signal_cs() { if (!initialized_signal_cs) { InitializeCriticalSection(&signal_cs); - initialized_signal_cs=1; + initialized_signal_cs=1; signal_cs_count=0; } } void try_enter_signal_cs() { - init_signal_cs(); + init_signal_cs(); if(TryEnterCriticalSection(&signal_cs)) { signal_cs_count++; } @@ -928,7 +928,7 @@ void enter_signal_cs() void leave_signal_cs() { - init_signal_cs(); + init_signal_cs(); if(signal_cs_count>0) { LeaveCriticalSection(&signal_cs); signal_cs_count--; @@ -948,17 +948,17 @@ void leave_signal_cs_all() void check_intr() { - extern int recv_intr; - enter_signal_cs(); - if ( recv_intr ) { - if ( recv_intr == 1 ) { - recv_intr = 0; - int_handler(SIGINT); - } else { - recv_intr = 0; - ox_usr1_handler(0); - } - } - leave_signal_cs_all(); + extern int recv_intr; + enter_signal_cs(); + if ( recv_intr ) { + if ( recv_intr == 1 ) { + recv_intr = 0; + int_handler(SIGINT); + } else { + recv_intr = 0; + ox_usr1_handler(0); + } + } + leave_signal_cs_all(); } #endif