[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.98 and 1.99

version 1.98, 2018/03/27 06:29:19 version 1.99, 2018/03/29 01:32:54
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.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 "ca.h"
 #include "al.h"  #include "al.h"
Line 103  NODE current_option;
Line 103  NODE current_option;
 NODE user_int_handler, user_quit_handler;  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},
         {"r",0,0}, {"s",0,0}, {"t",0,0}, {"a",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},    {"b",0,0}, {"c",0,0}, {"d",0,0}, {"e",0,0},
         {"f",0,0}, {"g",0,0}, {"h",0,0}, {"i",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},    {"j",0,0}, {"k",0,0}, {"l",0,0}, {"m",0,0},
         {"n",0,0}, {"o",0,0},    {"n",0,0}, {"o",0,0},
         {"_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},
         {"_r",0,0}, {"_s",0,0}, {"_t",0,0}, {"_a",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},    {"_b",0,0}, {"_c",0,0}, {"_d",0,0}, {"_e",0,0},
         {"_f",0,0}, {"_g",0,0}, {"_h",0,0}, {"_i",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},    {"_j",0,0}, {"_k",0,0}, {"_l",0,0}, {"_m",0,0},
         {"_n",0,0}, {"_o",0,0}    {"_n",0,0}, {"_o",0,0}
 };  };
   
 struct oVL oVLIST[52];  struct oVL oVLIST[52];
Line 157  int Verbose;
Line 157  int Verbose;
 int do_quiet;  int do_quiet;
   
 void glob_init() {  void glob_init() {
         int i;    int i;
   
         for ( i = 0; i < 51; 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]) = &oVLIST[i+1];
         }    }
         VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0;    VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0;
         LASTCO = &oVLIST[i];    LASTCO = &oVLIST[i];
         asir_reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV));    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 **)&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));    asir_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),NULLP);    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";
         Symbol_grlex->value = 0;    Symbol_grlex->value = 0;
         OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex";    OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex";
         Symbol_glex->value = 1;    Symbol_glex->value = 1;
         OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex";    OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex";
         Symbol_lex->value = 2;    Symbol_lex->value = 2;
         sprintf(asirname,"%s/asir_symtab",asir_libdir);    sprintf(asirname,"%s/asir_symtab",asir_libdir);
 }  }
   
 void input_init(FILE *fp,char *name)  void input_init(FILE *fp,char *name)
 {  {
         asir_infile = (INFILE)CALLOC(sizeof(struct oINFILE),1);    asir_infile = (INFILE)CALLOC(sizeof(struct oINFILE),1);
         asir_infile->name = name; asir_infile->fp = fp;    asir_infile->name = name; asir_infile->fp = fp;
         asir_infile->ln = 1; NEXT(asir_infile) = 0;    asir_infile->ln = 1; NEXT(asir_infile) = 0;
 }  }
   
 void notdef(VL vl,Obj a,Obj b,Obj *c)  void notdef(VL vl,Obj a,Obj b,Obj *c)
 {  {
         error("undefined arithmetic operation.");    error("undefined arithmetic operation.");
 }  }
   
 int disable_debugger;  int disable_debugger;
Line 207  extern int mpi_myid;
Line 207  extern int mpi_myid;
   
 #if !defined(VISUAL_LIB)  #if !defined(VISUAL_LIB)
 void ExitAsir() {  void ExitAsir() {
         exit(0);    exit(0);
 }  }
 #endif  #endif
   
Line 219  void ExitAsir() {
Line 219  void ExitAsir() {
   
 void asir_terminate(int status)  void asir_terminate(int status)
 {  {
         int t;    int t;
         NODE n;    NODE n;
   
         /* called from engine in Windows */    /* called from engine in Windows */
         if ( status == 3 ) asir_infile = 0;    if ( status == 3 ) asir_infile = 0;
   
         if ( asir_infile && asir_infile->ready_for_longjmp )    if ( asir_infile && asir_infile->ready_for_longjmp )
                 LONGJMP(asir_infile->jmpbuf,status);      LONGJMP(asir_infile->jmpbuf,status);
         else {    else {
                 if ( user_quit_handler ) {      if ( user_quit_handler ) {
                         if ( !do_terse ) {        if ( !do_terse ) {
                                 fprintf(stderr,"Calling the registered quit callbacks...");          fprintf(stderr,"Calling the registered quit callbacks...");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                 fflush(stderr);          fflush(stderr);
 #endif  #endif
                         }        }
                         for ( n = user_quit_handler; n; n = NEXT(n) )        for ( n = user_quit_handler; n; n = NEXT(n) )
                                 bevalf((FUNC)BDY(n),0);          bevalf((FUNC)BDY(n),0);
                         if ( !do_terse ) {        if ( !do_terse ) {
                                 fprintf(stderr, "done.\n");          fprintf(stderr, "done.\n");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                 fflush(stderr);          fflush(stderr);
 #endif  #endif
                         }        }
                 }      }
                 tty_reset();      tty_reset();
 #if defined(MPI)  #if defined(MPI)
                 if ( !mpi_myid )      if ( !mpi_myid )
                         close_allconnections();        close_allconnections();
                 mpi_finalize();      mpi_finalize();
 #else  #else
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
                 set_signal(SIGPIPE,SIG_IGN);      set_signal(SIGPIPE,SIG_IGN);
 #endif  #endif
                 close_allconnections();      close_allconnections();
 #endif  #endif
                 if ( asir_out )      if ( asir_out )
                         fflush(asir_out);        fflush(asir_out);
 #if FEP  #if FEP
                 if ( do_fep ) {      if ( do_fep ) {
                         stifle_history(MAXHIST);        stifle_history(MAXHIST);
                         write_history(asir_history);        write_history(asir_history);
                 }      }
 #endif  #endif
                 ExitAsir();      ExitAsir();
         }    }
 }  }
   
 void param_init() {  void param_init() {
         unsigned int et = 0xff;    unsigned int et = 0xff;
         extern int paristack;    extern int paristack;
         if ( *((char *)&et) )    if ( *((char *)&et) )
                 little_endian = 1;      little_endian = 1;
         else    else
                 little_endian = 0;      little_endian = 0;
 }  }
   
 Obj user_defined_prompt;  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 ) {
                 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    } else if ( do_quiet && user_defined_prompt
                 && OID(user_defined_prompt)==O_STR) {      && OID(user_defined_prompt)==O_STR) {
                 fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n);      fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n);
                 fflush(asir_out);      fflush(asir_out);
         }    }
 }  }
   
 void sprompt(char *ptr)  void sprompt(char *ptr)
 {  {
         sprintf(ptr,"[%d] ",APVS->n);    sprintf(ptr,"[%d] ",APVS->n);
 }  }
   
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
Line 328  static int which(char *prog, char *path, char *buf, si
Line 328  static int which(char *prog, char *path, char *buf, si
 void cppname_init()  void cppname_init()
 {  {
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         char *oxhome;    char *oxhome;
         char oxcpp[BUFSIZ];    char oxcpp[BUFSIZ];
 #define OXCPP "/bin/ox_cpp"  #define OXCPP "/bin/ox_cpp"
   
         if ( oxhome = getenv("OpenXM_HOME") ) {    if ( oxhome = getenv("OpenXM_HOME") ) {
                 if ( strlen(oxhome)+strlen(OXCPP)<BUFSIZ ) {      if ( strlen(oxhome)+strlen(OXCPP)<BUFSIZ ) {
                         sprintf(oxcpp,"%s%s",oxhome,OXCPP);        sprintf(oxcpp,"%s%s",oxhome,OXCPP);
                         if ( access(oxcpp,X_OK&R_OK) == 0 ) {        if ( access(oxcpp,X_OK&R_OK) == 0 ) {
                         strcpy(cppname,oxcpp);              strcpy(cppname,oxcpp);
                                 return;          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 352  FILE *in_fp;
Line 352  FILE *in_fp;
   
 void process_args(int ac,char **av)  void process_args(int ac,char **av)
 {  {
         int nm,dv;    int nm,dv;
         do_asirrc = 1;    do_asirrc = 1;
 #if !defined(MPI)  #if !defined(MPI)
         do_message = 1;    do_message = 1;
 #endif  #endif
 #if defined(VISUAL) && defined(VISUAL_CONSOLE)  #if defined(VISUAL) && defined(VISUAL_CONSOLE)
         disable_debugger=1;    disable_debugger=1;
 #endif  #endif
         do_quiet = 0;    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);
   
                         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;
                                 nm = atoi(slash+1);          nm = atoi(slash+1);
                         }else {        }else {
                                 nm = 1;          nm = 1;
                         }        }
                         dv = atoi(*(av+1));        dv = atoi(*(av+1));
                         Risa_GC_set_adj(nm,dv);        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;
                 } else if ( !strcmp(*av,"-d") && (ac >= 2) ) {      } else if ( !strcmp(*av,"-d") && (ac >= 2) ) {
 #if defined(VISUAL) && defined(VISUAL_CONSOLE)  #if defined(VISUAL) && defined(VISUAL_CONSOLE)
                         disable_debugger=0;        disable_debugger=0;
 #endif  #endif
                         av += 2; ac -= 2;        av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-f") && (ac >= 2) ) {      } else if ( !strcmp(*av,"-f") && (ac >= 2) ) {
                         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!\n",*(av+1));          fprintf(stderr,"%s does not exist!\n",*(av+1));
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                 fflush(stderr);          fflush(stderr);
 #endif  #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,"-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") ) {
                         do_quiet = 1; av++; ac--;        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,"-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) ) {
                         void GC_set_max_heap_size(int);        void GC_set_max_heap_size(int);
   
                         GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2;        GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2;
 #if !defined(VISUAL) && !defined(__MINGW32__)  #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
 #if FEP  #if FEP
                 } else if ( !strcmp(*av,"-fep") ) {      } else if ( !strcmp(*av,"-fep") ) {
                         do_fep = 1; av++; ac--;        do_fep = 1; av++; ac--;
 #endif  #endif
                 } else {      } else {
                         fprintf(stderr,"%s : unknown option.\n",*av);        fprintf(stderr,"%s : unknown option.\n",*av);
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                         fflush(stderr);        fflush(stderr);
 #endif  #endif
                         asir_terminate(1);        asir_terminate(1);
                 }      }
         }    }
 #if FEP  #if FEP
         if ( do_fep ) {    if ( do_fep ) {
                 char *home;      char *home;
                 home = (char *)getenv("HOME");      home = (char *)getenv("HOME");
                 if (!home)      if (!home)
                         home = ".";        home = ".";
                 sprintf (asir_history, "%s/.asir_history",home);      sprintf (asir_history, "%s/.asir_history",home);
                 read_history(asir_history);      read_history(asir_history);
                 using_history();      using_history();
         }    }
 #endif  #endif
 }  }
   
 #if defined(HAVE_SIGACTION)  #if defined(HAVE_SIGACTION)
 void (*set_signal(int sig, void (*handler)(int)))(int)  void (*set_signal(int sig, void (*handler)(int)))(int)
 {  {
         struct sigaction act;    struct sigaction act;
         struct sigaction oldact;    struct sigaction oldact;
         if (handler == SIG_IGN || handler == SIG_DFL) {    if (handler == SIG_IGN || handler == SIG_DFL) {
                 return signal(sig,handler);      return signal(sig,handler);
         }    }
         act.sa_handler=handler;    act.sa_handler=handler;
         act.sa_flags=0;    act.sa_flags=0;
         act.sa_flags |= SA_RESTART;    act.sa_flags |= SA_RESTART;
         sigemptyset(&act.sa_mask);    sigemptyset(&act.sa_mask);
         sigaction(sig,&act,&oldact);    sigaction(sig,&act,&oldact);
         return oldact.sa_handler;    return oldact.sa_handler;
 }  }
 #endif  #endif
   
 void sig_init() {  void sig_init() {
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         set_signal(SIGINT,int_handler);    set_signal(SIGINT,int_handler);
 #else  #else
         void register_ctrlc_handler();    void register_ctrlc_handler();
   
         register_ctrlc_handler();    register_ctrlc_handler();
 #endif  #endif
         set_signal(SIGSEGV,segv_handler);    set_signal(SIGSEGV,segv_handler);
   
 #if defined(SIGFPE)  #if defined(SIGFPE)
         set_signal(SIGFPE,fpe_handler);    set_signal(SIGFPE,fpe_handler);
 #endif  #endif
   
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
         set_signal(SIGPIPE,pipe_handler);    set_signal(SIGPIPE,pipe_handler);
 #endif  #endif
   
 #if defined(SIGILL)  #if defined(SIGILL)
         set_signal(SIGILL,ill_handler);    set_signal(SIGILL,ill_handler);
 #endif  #endif
   
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         set_signal(SIGBUS,bus_handler);    set_signal(SIGBUS,bus_handler);
 #endif  #endif
 }  }
   
 static void (*old_int)(int);  static void (*old_int)(int);
   
 void asir_save_handler() {  void asir_save_handler() {
         old_int = set_signal(SIGINT,SIG_IGN);    old_int = set_signal(SIGINT,SIG_IGN);
         set_signal(SIGINT,old_int);    set_signal(SIGINT,old_int);
 }  }
   
 void asir_set_handler() {  void asir_set_handler() {
         set_signal(SIGINT,int_handler);    set_signal(SIGINT,int_handler);
 }  }
   
 void asir_reset_handler() {  void asir_reset_handler() {
         set_signal(SIGINT,old_int);    set_signal(SIGINT,old_int);
 }  }
   
 extern int I_am_server;  extern int I_am_server;
   
 void resetenv(char *s)  void resetenv(char *s)
 {  {
         extern FILE *outfile;    extern FILE *outfile;
   
         fprintf(stderr,"%s\n",s);    fprintf(stderr,"%s\n",s);
         while ( NEXT(asir_infile) )    while ( NEXT(asir_infile) )
                 closecurrentinput();      closecurrentinput();
         resetpvs();    resetpvs();
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( do_server_in_X11 )    if ( do_server_in_X11 )
 #endif  #endif
                 show_debug_window(0);      show_debug_window(0);
 #if defined(VISUAL_LIB)  #if defined(VISUAL_LIB)
         w_noflush_stderr(0);    w_noflush_stderr(0);
 #endif  #endif
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
         fflush(stderr);    fflush(stderr);
 #endif  #endif
         asir_out = stdout;    asir_out = stdout;
         /* restore states */    /* restore states */
         reset_engine();    reset_engine();
         reset_io();    reset_io();
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         reset_timer();    reset_timer();
 #endif  #endif
         LONGJMP(main_env,1);    LONGJMP(main_env,1);
 }  }
   
 void fatal(int n)  void fatal(int n)
 {  {
         resetenv("return to toplevel");    resetenv("return to toplevel");
 }  }
   
 extern int ox_int_received, critical_when_signal;  extern int ox_int_received, critical_when_signal;
Line 541  extern int ox_get_pari_result;
Line 541  extern int ox_get_pari_result;
   
 void int_handler(int sig)  void int_handler(int sig)
 {  {
         extern NODE PVSS;    extern NODE PVSS;
         NODE t;    NODE t;
   
         if ( do_file || disable_debugger ) {    if ( do_file || disable_debugger ) {
                 LEAVE_SIGNAL_CS_ALL;      LEAVE_SIGNAL_CS_ALL;
                 ExitAsir();      ExitAsir();
         }    }
         if ( !ox_get_pari_result && critical_when_signal ) {    if ( !ox_get_pari_result && critical_when_signal ) {
                 ox_int_received = 1;      ox_int_received = 1;
                 return;      return;
         }    }
         if ( in_gc ) {    if ( in_gc ) {
                 caught_intr = 1;      caught_intr = 1;
                 return;      return;
         }    }
 #if defined(VISUAL) || defined(__MINGW32__)  #if defined(VISUAL) || defined(__MINGW32__)
         suspend_timer();    suspend_timer();
 #endif  #endif
         set_signal(SIGINT,SIG_IGN);    set_signal(SIGINT,SIG_IGN);
 #if !defined(VISUAL) && !defined(__MINGW32__)  #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();
                 return;      return;
         }    }
 #endif  #endif
 #if defined(linux)  #if defined(linux)
 #if 1  #if 1
         while ( stdin->_IO_read_ptr < stdin->_IO_read_end )    while ( stdin->_IO_read_ptr < stdin->_IO_read_end )
 #else  #else
         while ( stdin->_gptr < stdin->_egptr )    while ( stdin->_gptr < stdin->_egptr )
 #endif  #endif
                 getchar();      getchar();
 #endif  #endif
         while ( 1 ) {    while ( 1 ) {
                 char buf[BUFSIZ];      char buf[BUFSIZ];
                 char c;      char c;
   
                 fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);      fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);
                 buf[0] = '\n';      buf[0] = '\n';
                 while ( !feof(stdin) && buf[0] == '\n' )      while ( !feof(stdin) && buf[0] == '\n' )
                         fgets(buf,BUFSIZ,stdin);        fgets(buf,BUFSIZ,stdin);
                 if ( feof(stdin) ) {      if ( feof(stdin) ) {
                         clearerr(stdin);        clearerr(stdin);
                         continue;        continue;
                 }      }
                 switch ( c = buf[0] ) {      switch ( c = buf[0] ) {
                         case 'q':        case 'q':
                                 while ( 1 ) {          while ( 1 ) {
                                         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) ) {
                                                 fprintf(stderr,"Bye\n");              fprintf(stderr,"Bye\n");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                                 fflush(stderr);              fflush(stderr);
 #endif  #endif
                                                 /* for terminating myself */              /* for terminating myself */
                                                 asir_infile = 0;              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();
                                                 return;              return;
                                         }            }
                                 }          }
                                 break;          break;
                         case 't':        case 't':
                         case 'u':        case 'u':
                                 while ( 1 ) {          while ( 1 ) {
                                         fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr);            fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr);
                                         fgets(buf,BUFSIZ,stdin);            fgets(buf,BUFSIZ,stdin);
                                         if ( !strncmp(buf,"y",1) )            if ( !strncmp(buf,"y",1) )
                                                 break;              break;
                                         else if ( !strncmp(buf,"n",1) ) {            else if ( !strncmp(buf,"n",1) ) {
                                                 restore_handler();              restore_handler();
                                                 return;              return;
                                         }            }
                                 }          }
                                 if ( debug_mode )          if ( debug_mode )
                                         debug_mode = 0;            debug_mode = 0;
                                 restore_handler();          restore_handler();
                                 if ( c == 'u' ) {          if ( c == 'u' ) {
                                         if ( user_int_handler ) {            if ( user_int_handler ) {
                                                 if ( !do_terse ) {              if ( !do_terse ) {
                                                         fprintf(stderr,                fprintf(stderr,
                                                                 "Calling the registered exception callbacks...");                  "Calling the registered exception callbacks...");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                                         fflush(stderr);                fflush(stderr);
 #endif  #endif
                                                 }              }
                                                 for ( t = user_int_handler; t; t = NEXT(t) )              for ( t = user_int_handler; t; t = NEXT(t) )
                                                         bevalf((FUNC)BDY(t),0);                bevalf((FUNC)BDY(t),0);
                                                 if ( !do_terse ) {              if ( !do_terse ) {
                                                         fprintf(stderr, "done.\n");                fprintf(stderr, "done.\n");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                                         fflush(stderr);                fflush(stderr);
 #endif  #endif
                                                 }              }
                                         }            }
                                 }          }
                                 LEAVE_SIGNAL_CS_ALL;          LEAVE_SIGNAL_CS_ALL;
                                 resetenv("return to toplevel");          resetenv("return to toplevel");
                                 break;          break;
                         case 'd':        case 'd':
 #if 0  #if 0
                                 nextbp = 1; nextbplevel = -1;          nextbp = 1; nextbplevel = -1;
 #endif  #endif
                                 debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0);          debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0);
                                 restore_handler();           restore_handler();
                                 return;           return;
                         case 'c':        case 'c':
                                 restore_handler();          restore_handler();
                                 return; break;          return; break;
                         case 'w':        case 'w':
                                 showpos();          showpos();
                                 break;          break;
                         case '?':        case '?':
                                 fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");          fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
                                 fflush(stderr);          fflush(stderr);
 #endif  #endif
                                 break;          break;
                         default:        default:
                                 break;          break;
                 }      }
         }    }
 }  }
   
 void restore_handler() {  void restore_handler() {
 #if defined(VISUAL) || defined(__MINGW32__)  #if defined(VISUAL) || defined(__MINGW32__)
         resume_timer();    resume_timer();
 #endif  #endif
 #if defined(SIGINT)  #if defined(SIGINT)
         set_signal(SIGINT,int_handler);    set_signal(SIGINT,int_handler);
 #endif  #endif
 }  }
   
 void segv_handler(int sig)  void segv_handler(int sig)
 {  {
 #if defined(SIGSEGV)  #if defined(SIGSEGV)
         set_signal_for_restart(SIGSEGV,segv_handler);    set_signal_for_restart(SIGSEGV,segv_handler);
         error("internal error (SEGV)");    error("internal error (SEGV)");
 #endif  #endif
 }  }
   
 void ill_handler(int sig)  void ill_handler(int sig)
 {  {
 #if defined(SIGILL)  #if defined(SIGILL)
         set_signal_for_restart(SIGILL,ill_handler);    set_signal_for_restart(SIGILL,ill_handler);
         error("illegal instruction (ILL)");    error("illegal instruction (ILL)");
 #endif  #endif
 }  }
   
Line 703  void ill_handler(int sig)
Line 703  void ill_handler(int sig)
   
 void alrm_handler(int sig)  void alrm_handler(int sig)
 {  {
         fprintf(stderr,"interval timer expired (VTALRM)\n");    fprintf(stderr,"interval timer expired (VTALRM)\n");
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
         fflush(stderr);    fflush(stderr);
 #endif  #endif
         LONGJMP(timer_env,1);    LONGJMP(timer_env,1);
 }  }
   
 void bus_handler(int sig)  void bus_handler(int sig)
 {  {
 #if defined(SIGBUS)  #if defined(SIGBUS)
         set_signal_for_restart(SIGBUS,bus_handler);    set_signal_for_restart(SIGBUS,bus_handler);
         error("internal error (BUS ERROR)");    error("internal error (BUS ERROR)");
 #endif  #endif
 }  }
   
 void fpe_handler(int sig)  void fpe_handler(int sig)
 {  {
 #if defined(SIGFPE)  #if defined(SIGFPE)
         set_signal_for_restart(SIGFPE,fpe_handler);    set_signal_for_restart(SIGFPE,fpe_handler);
         error("internal error (FPE)");    error("internal error (FPE)");
 #endif  #endif
 }  }
   
 void pipe_handler(int sig)  void pipe_handler(int sig)
 {  {
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
         set_signal_for_restart(SIGPIPE,pipe_handler);    set_signal_for_restart(SIGPIPE,pipe_handler);
         end_critical();    end_critical();
         error("internal error (BROKEN PIPE)");    error("internal error (BROKEN PIPE)");
 #endif  #endif
 }  }
   
Line 749  extern int evalstatline;
Line 749  extern int evalstatline;
   
 void set_lasterror(char *s)  void set_lasterror(char *s)
 {  {
         strncpy(LastError,s,BUFSIZ);    strncpy(LastError,s,BUFSIZ);
         LastError[BUFSIZ-1] = 0;    LastError[BUFSIZ-1] = 0;
 }  }
   
 SNODE error_snode;  SNODE error_snode;
Line 758  int error_in_timer;
Line 758  int error_in_timer;
   
 void error(char *s)  void error(char *s)
 {  {
         SNODE *snp=0;    SNODE *snp=0;
   
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( !error_in_timer && timer_is_set )    if ( !error_in_timer && timer_is_set )
                 alrm_handler(SIGNAL_FOR_TIMER);      alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);    fprintf(stderr,"%s\n",s);
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
         fflush(stderr);    fflush(stderr);
 #endif  #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 )
                         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;
                 else      else
                         error_snode = 0;        error_snode = 0;
         } else    } else
                 error_snode = 0;      error_snode = 0;
         if ( do_file ) {    if ( do_file ) {
                 char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */      char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */
   
                 sprintf(errbuf,"%s\n",s);      sprintf(errbuf,"%s\n",s);
                 showpos_to_string(errbuf+strlen(errbuf));      showpos_to_string(errbuf+strlen(errbuf));
                 set_lasterror(errbuf);      set_lasterror(errbuf);
                 ExitAsir();      ExitAsir();
         }    }
         if ( debug_mode )    if ( debug_mode )
                 LONGJMP(debug_env,1);      LONGJMP(debug_env,1);
         if ( CPVS != GPVS )    if ( CPVS != GPVS )
                 if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) )      if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) )
                         bp(error_snode);        bp(error_snode);
         if ( I_am_server )    if ( I_am_server )
                 showpos_to_list(&LastStackTrace);      showpos_to_list(&LastStackTrace);
         resetenv("return to toplevel");    resetenv("return to toplevel");
 }  }
   
 void goto_toplevel(char *s)  void goto_toplevel(char *s)
 {  {
         SNODE *snp=0;    SNODE *snp=0;
   
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( timer_is_set )    if ( timer_is_set )
                 alrm_handler(SIGNAL_FOR_TIMER);      alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);    fprintf(stderr,"%s\n",s);
 #if defined(__MINGW32__)  #if defined(__MINGW32__)
         fflush(stderr);    fflush(stderr);
 #endif  #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 ? */
   
                 sprintf(errbuf,"%s\n",s);      sprintf(errbuf,"%s\n",s);
                 showpos_to_string(errbuf+strlen(errbuf));      showpos_to_string(errbuf+strlen(errbuf));
                 ExitAsir();      ExitAsir();
         }    }
         resetenv("return to toplevel");    resetenv("return to toplevel");
 }  }
   
 #if !defined(VISUAL) && !defined(__MINGW32__)  #if !defined(VISUAL) && !defined(__MINGW32__)
Line 823  void goto_toplevel(char *s)
Line 823  void goto_toplevel(char *s)
   
 void set_timer(int interval)  void set_timer(int interval)
 {  {
         struct itimerval it;    struct itimerval it;
   
         it.it_interval.tv_sec = interval;    it.it_interval.tv_sec = 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_TYPE,&it,0);    setitimer(ITIMER_TYPE,&it,0);
         set_signal(SIGNAL_FOR_TIMER,alrm_handler);    set_signal(SIGNAL_FOR_TIMER,alrm_handler);
         timer_is_set = 1;    timer_is_set = 1;
 }  }
   
 void reset_timer()  void reset_timer()
 {  {
         struct itimerval it;    struct itimerval it;
   
         it.it_interval.tv_sec = 0;    it.it_interval.tv_sec = 0;
         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_TYPE,&it,0);    setitimer(ITIMER_TYPE,&it,0);
         set_signal(SIGNAL_FOR_TIMER,SIG_IGN);    set_signal(SIGNAL_FOR_TIMER,SIG_IGN);
         timer_is_set = 0;    timer_is_set = 0;
 }  }
 #endif  #endif
   
Line 853  char *get_asir_distribution();
Line 853  char *get_asir_distribution();
   
 char *get_gcversion()  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()  char *get_pariversion()
 {  {
         return "";    return "";
 }  }
   
 char *get_intervalversion()  char *get_intervalversion()
 {  {
 #if defined(INTERVAL)  #if defined(INTERVAL)
         return " + Interval Arithmetic";    return " + Interval Arithmetic";
 #else  #else
         return "";    return "";
 #endif  #endif
 }  }
   
 void copyright()  void copyright()
 {  {
         char *scopyright();    char *scopyright();
         fputs(scopyright(), stdout);    fputs(scopyright(), stdout);
 }  }
   
 char *scopyright()  char *scopyright()
 {  {
         static char *notice;    static char *notice;
         char *s1, *s2, *s3, *s4;    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-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%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_gcversion();      s3 = get_gcversion();
                 s4 = get_pariversion();      s4 = get_pariversion();
                 d  = get_asir_version();      d  = get_asir_version();
                 len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+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, s4);      sprintf(notice, format, s1, d, s2, s3, s4);
         }    }
         return notice;    return notice;
 }  }
   
 #if defined(VISUAL) || defined(__MINGW32__)  #if defined(VISUAL) || defined(__MINGW32__)
Line 906  static void init_signal_cs()
Line 906  static void init_signal_cs()
 {  {
     if (!initialized_signal_cs) {      if (!initialized_signal_cs) {
         InitializeCriticalSection(&signal_cs);          InitializeCriticalSection(&signal_cs);
                 initialized_signal_cs=1;      initialized_signal_cs=1;
         signal_cs_count=0;          signal_cs_count=0;
     }      }
 }  }
   
 void try_enter_signal_cs()  void try_enter_signal_cs()
 {  {
         init_signal_cs();    init_signal_cs();
     if(TryEnterCriticalSection(&signal_cs)) {      if(TryEnterCriticalSection(&signal_cs)) {
         signal_cs_count++;          signal_cs_count++;
     }      }
Line 928  void enter_signal_cs()
Line 928  void enter_signal_cs()
   
 void leave_signal_cs()  void leave_signal_cs()
 {  {
         init_signal_cs();    init_signal_cs();
     if(signal_cs_count>0) {      if(signal_cs_count>0) {
         LeaveCriticalSection(&signal_cs);          LeaveCriticalSection(&signal_cs);
         signal_cs_count--;          signal_cs_count--;
Line 948  void leave_signal_cs_all()
Line 948  void leave_signal_cs_all()
   
 void check_intr()  void check_intr()
 {  {
         extern int recv_intr;    extern int recv_intr;
         enter_signal_cs();    enter_signal_cs();
         if ( recv_intr ) {    if ( recv_intr ) {
                 if ( recv_intr == 1 ) {      if ( recv_intr == 1 ) {
                         recv_intr = 0;        recv_intr = 0;
                         int_handler(SIGINT);        int_handler(SIGINT);
                 } else {      } else {
                         recv_intr = 0;        recv_intr = 0;
                         ox_usr1_handler(0);        ox_usr1_handler(0);
                 }      }
         }    }
         leave_signal_cs_all();    leave_signal_cs_all();
 }  }
 #endif  #endif
Legend:
Removed from v.1.98  
changed lines
  Added in v.1.99
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>