[BACK]Return to glob.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/glob.c between version 1.49 and 1.91

version 1.49, 2004/05/14 09:20:57 version 1.91, 2015/08/19 05:29:23
Line 45 
Line 45 
  * 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.48 2004/02/27 09:13:04 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(PARI)  #if !defined(VISUAL) && !defined(__MINGW32__) && !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)  
 #include <sgtty.h>  #include <sgtty.h>
 #endif  #endif
   
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
 #include <io.h>  #include <io.h>
 #include <direct.h>  #include <direct.h>
 #else  #else
Line 71 
Line 68 
 #include <sys/ttold.h>  #include <sys/ttold.h>
 #endif  #endif
   
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
 #define HISTORY asir_history  #define HISTORY asir_history
 #endif  #endif
   
 #define MAXHIST 100  #define MAXHIST 100
   
 extern int GC_free_space_divisor;  
 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_private_dir;
 char *asir_pager;  char *asir_pager;
   
 NODE usrf,sysf,noargsysf,ubinf,parif;  NODE usrf,sysf,noargsysf,ubinf,parif;
Line 98  FUNC parse_targetf;
Line 95  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 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},
Line 124  struct oVL oVLIST[52];
Line 123  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 PPVS = &oPPVS;
 VS CPVS,MPVS;  VS CPVS,MPVS;
   
 NODE MODULE_LIST;  NODE MODULE_LIST;
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)  #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 163  void glob_init() {
Line 163  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),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 192  int do_asirrc;
Line 193  int do_asirrc;
 int do_file;  int do_file;
 char *do_filename;  char *do_filename;
 int do_message;  int do_message;
   int do_terse;
 int do_fep;  int do_fep;
 int read_exec_file;  
 int asir_setenv;  int asir_setenv;
 int asir_texmacs;  
 static int buserr_sav;  static int buserr_sav;
 static char asir_history[BUFSIZ];  static char asir_history[BUFSIZ];
   
Line 210  void ExitAsir() {
Line 210  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...");
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                           }
                           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);
   #endif
                           }
                   }
                 tty_reset();                  tty_reset();
 #if defined(MPI)  #if defined(MPI)
                 if ( !mpi_myid )                  if ( !mpi_myid )
Line 260  Obj user_defined_prompt;
Line 276  Obj user_defined_prompt;
   
 void prompt() {  void prompt() {
         if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) {          if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) {
                 if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red");  
                 fprintf(asir_out,"[%d] ",APVS->n);                  fprintf(asir_out,"[%d] ",APVS->n);
                 if ( asir_texmacs ) printf("\5\5");  
                 fflush(asir_out);                  fflush(asir_out);
         } else if ( do_quiet && user_defined_prompt          } else if ( do_quiet && user_defined_prompt
                 && OID(user_defined_prompt)==O_STR) {                  && OID(user_defined_prompt)==O_STR) {
                 if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red");  
                 fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n);                  fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n);
                 if ( asir_texmacs ) printf("\5\5");  
                 fflush(asir_out);                  fflush(asir_out);
         }          }
 }  }
Line 278  void sprompt(char *ptr)
Line 290  void sprompt(char *ptr)
         sprintf(ptr,"[%d] ",APVS->n);          sprintf(ptr,"[%d] ",APVS->n);
 }  }
   
 #if !defined(VISUAL)  #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 311  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)  #if !defined(VISUAL) && !defined(__MINGW32__)
           char *oxhome;
           char oxcpp[BUFSIZ];
   #define OXCPP "/bin/ox_cpp"
   
           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) {      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 323  FILE *in_fp;
Line 348  FILE *in_fp;
   
 void process_args(int ac,char **av)  void process_args(int ac,char **av)
 {  {
           int nm,dv;
         do_asirrc = 1;          do_asirrc = 1;
 #if !defined(MPI)  #if !defined(MPI)
         do_message = 1;          do_message = 1;
Line 335  void process_args(int ac,char **av)
Line 361  void process_args(int ac,char **av)
                         GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2;                          GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) {
                         char *slash;                          char *slash;
   
                         slash = strrchr(*(av+1),'/');                          slash = strrchr(*(av+1),'/');
                         if ( slash ) {                          if ( slash ) {
                                 *slash = 0;                                  *slash = 0;
                                 GC_free_space_numerator = atoi(slash+1);                                  nm = atoi(slash+1);
                           }else {
                                   nm = 1;
                         }                          }
                         GC_free_space_divisor = atoi(*(av+1));                          dv = atoi(*(av+1));
                           Risa_GC_set_adj(nm,dv);
                         av += 2; ac -= 2;                          av += 2; ac -= 2;
                 } 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;
Line 349  void process_args(int ac,char **av)
Line 377  void process_args(int ac,char **av)
                         do_quiet = 1;                          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));
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                                 asir_terminate(1);                                  asir_terminate(1);
                         }                          }
                         do_file = 1;                          do_file = 1;
                         do_filename = *(av+1);                          do_filename = *(av+1);
                         av += 2; ac -= 2;                          av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-texmacs") ) {  
                         asir_texmacs = 1; av++; ac--;  
                         *stderr = *stdout;  
                 } else if ( !strcmp(*av,"-E") ) {                  } else if ( !strcmp(*av,"-E") ) {
                         asir_setenv = 1; av++; ac--;                          asir_setenv = 1; av++; ac--;
                 } else if ( !strcmp(*av,"-quiet") ) {                  } else if ( !strcmp(*av,"-quiet") ) {
Line 372  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)  #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 380  void process_args(int ac,char **av)
Line 408  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__)
                           fflush(stderr);
   #endif
                         asir_terminate(1);                          asir_terminate(1);
                 }                  }
         }          }
Line 407  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)  #if !defined(VISUAL) && !defined(__MINGW32__)
         signal(SIGINT,int_handler);          signal(SIGINT,int_handler);
 #else  #else
         void register_ctrlc_handler();          void register_ctrlc_handler();
Line 428  void sig_init() {
Line 453  void sig_init() {
         signal(SIGILL,ill_handler);          signal(SIGILL,ill_handler);
 #endif  #endif
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         signal(SIGBUS,bus_handler);          signal(SIGBUS,bus_handler);
 #endif  #endif
 }  }
Line 448  void asir_reset_handler() {
Line 473  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;
         FILE *stream = asir_texmacs ? stdout : stderr;  
   
         if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); }          fprintf(stderr,"%s\n",s);
         fprintf(stream,"%s\n",s);  
         while ( NEXT(asir_infile) )          while ( NEXT(asir_infile) )
                 closecurrentinput();                  closecurrentinput();
         resetpvs();          resetpvs();
 #if !defined(VISUAL)  #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
         asir_out = stdout;  #if defined(__MINGW32__)
 #if defined(PARI)          fflush(stderr);
         pari_outfile = stdout;  
 #endif  #endif
           asir_out = stdout;
         /* restore states */          /* restore states */
         reset_engine();          reset_engine();
         reset_io();          reset_io();
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         reset_timer();          reset_timer();
 #endif  #endif
         if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  
         LONGJMP(main_env,1);          LONGJMP(main_env,1);
 }  }
   
Line 484  void fatal(int n)
Line 508  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;
   extern int in_gc, caught_intr;
   extern int ox_get_pari_result;
   
 void int_handler(int sig)  void int_handler(int sig)
 {  {
         extern NODE PVSS;          extern NODE PVSS;
         FILE *stream;          NODE t;
   
         if ( asir_texmacs ) stream = stdout;  
         else stream = stderr;  
   
         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;
         }          }
 #if defined(VISUAL)          if ( in_gc ) {
                   caught_intr = 1;
                   return;
           }
   #if defined(VISUAL) || defined(__MINGW32__)
         suspend_timer();          suspend_timer();
 #endif  #endif
         signal(SIGINT,SIG_IGN);          signal(SIGINT,SIG_IGN);
 #if !defined(VISUAL)  #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 521  void int_handler(int sig)
Line 548  void int_handler(int sig)
 #endif  #endif
                 getchar();                  getchar();
 #endif  #endif
         if ( asir_texmacs ) {  
                 printf("\2\verbatim:\2channel:prompt\5\2verbatim:interrupt>\5\5"); fflush(stdout);  
         }  
         while ( 1 ) {          while ( 1 ) {
                 char buf[BUFSIZ];                  char buf[BUFSIZ];
                 char c;                  char c;
   
                 if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); }                  fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);
                 fprintf(stream,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stream);  
                 if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  
                 buf[0] = '\n';                  buf[0] = '\n';
                 while ( buf[0] == '\n' )                  while ( !feof(stdin) && buf[0] == '\n' )
                         fgets(buf,BUFSIZ,stdin);                          fgets(buf,BUFSIZ,stdin);
                   if ( feof(stdin) ) {
                           clearerr(stdin);
                           continue;
                   }
                 switch ( c = buf[0] ) {                  switch ( c = buf[0] ) {
                         case 'q':                          case 'q':
                                 while ( 1 ) {                                  while ( 1 ) {
                                         if ( asir_texmacs ) {                                          fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr);
                                                 printf("\2verbatim:"); fflush(stdout);  
                                         }  
                                         fprintf(stream,"Abort this session? (y or n) "); fflush(stream);  
                                         if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  
                                         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");
                                                 if ( asir_texmacs ) {  #if defined(__MINGW32__)
                                                         printf("\2verbatim:"); fflush(stdout);                                                  fflush(stderr);
                                                 }  #endif
                                                 fprintf(stream,"Bye\n");                                                  /* for terminating myself */
                                                 if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }                                                  asir_infile = 0;
                                                 asir_terminate(1);                                                  asir_terminate(1);
                                         } else if ( !strncmp(buf,"n",1) ) {                                          } else if ( !strncmp(buf,"n",1) ) {
                                                 restore_handler();                                                  restore_handler();
Line 560  void int_handler(int sig)
Line 582  void int_handler(int sig)
                         case 't':                          case 't':
                         case 'u':                          case 'u':
                                 while ( 1 ) {                                  while ( 1 ) {
                                         if ( asir_texmacs ) {                                          fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr);
                                                 printf("\2verbatim:"); fflush(stdout);  
                                         }  
                                         fprintf(stream,"Abort this computation? (y or n) "); fflush(stream);  
                                         if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  
                                         fgets(buf,BUFSIZ,stdin);                                          fgets(buf,BUFSIZ,stdin);
                                         if ( !strncmp(buf,"y",1) )                                          if ( !strncmp(buf,"y",1) )
                                                 break;                                                  break;
Line 577  void int_handler(int sig)
Line 595  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 ) {
                                                 if ( asir_texmacs ) {                                                  if ( !do_terse ) {
                                                         printf("\2verbatim:"); fflush(stdout);                                                          fprintf(stderr,
                                                                   "Calling the registered exception callbacks...");
   #if defined(__MINGW32__)
                                                           fflush(stderr);
   #endif
                                                 }                                                  }
                                                 fprintf(stream,                                                  for ( t = user_int_handler; t; t = NEXT(t) )
                                                         "Calling the registered exception handler...");                                                          bevalf((FUNC)BDY(t),0);
                                                 bevalf(registered_handler,0);                                                  if ( !do_terse ) {
                                                 fprintf(stream, "done.\n");                                                          fprintf(stderr, "done.\n");
                                                 if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  #if defined(__MINGW32__)
                                                           fflush(stderr);
   #endif
                                                   }
                                         }                                          }
                                 }                                  }
                                 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 608  void int_handler(int sig)
Line 629  void int_handler(int sig)
                                 showpos();                                  showpos();
                                 break;                                  break;
                         case '?':                          case '?':
                                 if ( asir_texmacs ) {                                  fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");
                                         printf("\2verbatim:"); fflush(stdout);  #if defined(__MINGW32__)
                                 }                                  fflush(stderr);
                                 fprintf(stream, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");  #endif
                                 if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }  
                                 break;                                  break;
                         default:                          default:
                                 break;                                  break;
Line 621  void int_handler(int sig)
Line 641  void int_handler(int sig)
 }  }
   
 void restore_handler() {  void restore_handler() {
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
         resume_timer();          resume_timer();
 #endif  #endif
 #if defined(SIGINT)  #if defined(SIGINT)
Line 645  void ill_handler(int sig)
Line 665  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");
   #if defined(__MINGW32__)
           fflush(stderr);
   #endif
         LONGJMP(timer_env,1);          LONGJMP(timer_env,1);
 }  }
   
Line 695  void set_lasterror(char *s)
Line 726  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=0;          SNODE *snp=0;
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         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);
   #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 726  void error(char *s)
Line 761  void error(char *s)
         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)  void goto_toplevel(char *s)
 {  {
         SNODE *snp=0;          SNODE *snp=0;
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( timer_is_set )          if ( timer_is_set )
                 alrm_handler(SIGVTALRM);                  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 toplevel(char *s)
Line 787  void toplevel(char *s)
                 showpos_to_string(errbuf+strlen(errbuf));                  showpos_to_string(errbuf+strlen(errbuf));
                 ExitAsir();                  ExitAsir();
         }          }
         if ( read_exec_file )  
                 read_exec_file = 0;  
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
 #include <sys/time.h>  #include <sys/time.h>
   
 void set_timer(int interval)  void set_timer(int interval)
Line 765  void set_timer(int interval)
Line 801  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 778  void reset_timer()
Line 814  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 787  void reset_timer()
Line 823  void reset_timer()
 unsigned int get_asir_version();  unsigned int get_asir_version();
 char *get_asir_distribution();  char *get_asir_distribution();
   
   char *get_gcversion()
   {
           return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";
   }
   
 char *get_pariversion()  char *get_pariversion()
 {  {
 #if PARI  
 #if 0  
         return "PARI 2.2.4, copyright (C) 2002 The PARI Group.\nPARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n";  
 #endif  
         return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n";  
 #endif  
         return "";          return "";
 }  }
   
Line 809  char *get_intervalversion()
Line 844  char *get_intervalversion()
   
 void copyright()  void copyright()
 {  {
         char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\nGC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s";          char *scopyright();
         if ( asir_texmacs ) printf("\2verbatim:");          fputs(scopyright(), stdout);
         printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion());  
         if ( asir_texmacs ) putchar('\5');  
 }  }
   
 char *scopyright()  char *scopyright()
 {  {
         static char *notice;          static char *notice;
         char *s1, *s2, *s3;          char *s1, *s2, *s3, *s4;
         int d, len;          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-2003, Risa/Asir committers, http://www.openxm.org/.\nGC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s";          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) {          if (!notice) {
                 s1 = get_intervalversion();                  s1 = get_intervalversion();
                 s2 = get_asir_distribution();                  s2 = get_asir_distribution();
                 s3 = get_pariversion();                  s3 = get_gcversion();
                   s4 = get_pariversion();
                 d  = get_asir_version();                  d  = get_asir_version();
                 len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+sizeof(int)*3;                  len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+sizeof(int)*3;
                 notice = MALLOC(len+1);                  notice = MALLOC(len+1);
                 sprintf(notice, format, s1, d, s2, s3);                  sprintf(notice, format, s1, d, s2, s3, s4);
         }          }
         return notice;          return notice;
 }  }
   
   #if defined(VISUAL) || defined(__MINGW32__)
   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
Legend:
Removed from v.1.49  
changed lines
  Added in v.1.91
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>