| version 1.47, 2004/02/25 06:43:52 | 
version 1.66, 2006/09/25 04:57:54 | 
 | 
 | 
|   * 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.46 2004/02/09 08:23:30 noro Exp $ | 
  * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.65 2006/02/24 01:15:57 noro Exp $ | 
|  */ | 
 */ | 
|  #include "ca.h" | 
 #include "ca.h" | 
|  #include "al.h" | 
 #include "al.h" | 
| Line 83  extern FILE *asir_out; | 
 
  | 
| Line 83  extern FILE *asir_out; | 
 
 
 | 
|   | 
  | 
|  INFILE asir_infile; | 
 INFILE asir_infile; | 
|  JMP_BUF main_env,debug_env,timer_env,exec_env; | 
 JMP_BUF main_env,debug_env,timer_env,exec_env; | 
|  int little_endian,debug_mode; | 
 int little_endian,debug_mode,no_debug_on_error; | 
|  char *asir_libdir; | 
 char *asir_libdir; | 
|   | 
 char *asir_contrib_dir; | 
|  char *asir_pager; | 
 char *asir_pager; | 
|   | 
  | 
|  NODE usrf,sysf,noargsysf,ubinf,parif; | 
 NODE usrf,sysf,noargsysf,ubinf,parif; | 
| Line 98  FUNC parse_targetf; | 
 
  | 
| Line 99  FUNC parse_targetf; | 
 
 
 | 
|  FILE *ox_istream,*ox_ostream; | 
 FILE *ox_istream,*ox_ostream; | 
|  int do_server_in_X11; | 
 int do_server_in_X11; | 
|  Obj LastVal; | 
 Obj LastVal; | 
|   | 
 LIST LastStackTrace; | 
|  char LastError[BUFSIZ]; | 
 char LastError[BUFSIZ]; | 
|  int timer_is_set; | 
 int timer_is_set; | 
|   | 
 NODE current_option; | 
|   | 
 NODE user_int_handler, user_quit_handler; | 
|   | 
  | 
|   | 
  | 
|  struct oV oVAR[] = { | 
 struct oV oVAR[] = { | 
|          {"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, | 
         {"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, | 
|          {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, | 
         {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, | 
| Line 124  struct oVL oVLIST[52]; | 
 
  | 
| Line 127  struct oVL oVLIST[52]; | 
 
 
 | 
|  VL CO = oVLIST; | 
 VL CO = oVLIST; | 
|  VL ALG; | 
 VL ALG; | 
|   | 
  | 
|  struct oVS oGPVS,oAPVS,oEPVS; | 
 struct oVS oGPVS,oAPVS,oEPVS,oPPVS; | 
|  VS GPVS = &oGPVS; | 
 VS GPVS = &oGPVS; | 
|  VS APVS = &oAPVS; | 
 VS APVS = &oAPVS; | 
|  VS EPVS = &oEPVS; | 
 VS EPVS = &oEPVS; | 
|   | 
 VS PPVS = &oPPVS; | 
|  VS CPVS,MPVS; | 
 VS CPVS,MPVS; | 
|   | 
  | 
|  NODE MODULE_LIST; | 
 NODE MODULE_LIST; | 
| Line 152  char asirname[BUFSIZ]; | 
 
  | 
| Line 156  char asirname[BUFSIZ]; | 
 
 
 | 
|  char displayname[BUFSIZ]; | 
 char displayname[BUFSIZ]; | 
|   | 
  | 
|  int Verbose; | 
 int Verbose; | 
|  int do_quiet; | 
 int do_quiet, do_batch; | 
|   | 
  | 
|  void glob_init() { | 
 void glob_init() { | 
|          int i; | 
         int i; | 
| Line 163  void glob_init() { | 
 
  | 
| Line 167  void glob_init() { | 
 
 
 | 
|          VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; | 
         VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; | 
|          reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); | 
         reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); | 
|          reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); | 
         reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); | 
|   | 
         reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); | 
|          CPVS = GPVS; | 
         CPVS = GPVS; | 
|          MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); | 
         MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); | 
|          OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; | 
         OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; | 
 | 
 | 
|  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; | 
|  static int buserr_sav; | 
 static int buserr_sav; | 
|  static char asir_history[BUFSIZ]; | 
 static char asir_history[BUFSIZ]; | 
| Line 209  void ExitAsir() { | 
 
  | 
| Line 214  void ExitAsir() { | 
 
 
 | 
|  /* | 
 /* | 
|   * status = 1 abnormal termination (error() etc.) | 
  * status = 1 abnormal termination (error() etc.) | 
|   * status = 2 normal termination (end(), quit() etc.) | 
  * status = 2 normal termination (end(), quit() etc.) | 
|   | 
  * status = 3 absolute termination | 
|   */ | 
  */ | 
|   | 
  | 
|  void asir_terminate(int status) | 
 void asir_terminate(int status) | 
|  { | 
 { | 
|          int t; | 
         int t; | 
|   | 
         NODE n; | 
|   | 
  | 
|          if ( read_exec_file ) { | 
         /* called from engine in Windows */ | 
|                  t = read_exec_file; | 
         if ( status == 3 ) asir_infile = 0; | 
|                  read_exec_file = 0; | 
  | 
|                  if ( t == 1 ) | 
         if ( asir_infile && asir_infile->ready_for_longjmp ) | 
|                          LONGJMP(main_env,status); | 
                 LONGJMP(asir_infile->jmpbuf,status); | 
|                  else | 
         else { | 
|                          LONGJMP(exec_env,status); | 
                 if ( user_quit_handler ) { | 
|          } else { | 
                         if ( !do_terse ) | 
|   | 
                                 fprintf(stderr,"Calling the registered quit callbacks..."); | 
|   | 
                         for ( n = user_quit_handler; n; n = NEXT(n) ) | 
|   | 
                                 bevalf((FUNC)BDY(n),0); | 
|   | 
                         if ( !do_terse ) | 
|   | 
                                 fprintf(stderr, "done.\n"); | 
|   | 
                 } | 
|                  tty_reset(); | 
                 tty_reset(); | 
|  #if defined(MPI) | 
 #if defined(MPI) | 
|                  if ( !mpi_myid ) | 
                 if ( !mpi_myid ) | 
| Line 258  void param_init() { | 
 
  | 
| Line 271  void param_init() { | 
 
 
 | 
|  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); | 
|          else if ( do_quiet && user_defined_prompt | 
                 fflush(asir_out); | 
|   | 
         } 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) | 
| Line 343  void process_args(int ac,char **av) | 
 
  | 
| Line 357  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)); | 
|                                  asir_terminate(1); | 
                                 asir_terminate(1); | 
|                          } | 
                         } | 
|                          do_file = 1; | 
                         do_file = 1; | 
| Line 377  void process_args(int ac,char **av) | 
 
  | 
| Line 391  void process_args(int ac,char **av) | 
 
 
 | 
|   | 
  | 
|                          paristack = atoi(*(av+1)); av += 2; ac -= 2; | 
                         paristack = atoi(*(av+1)); av += 2; ac -= 2; | 
|  #endif | 
 #endif | 
|   | 
                 } else if ( !strcmp(*av,"-batch") ) { | 
|   | 
                         do_batch = 1; av++; ac--; | 
|                  } else { | 
                 } else { | 
|                          fprintf(stderr,"%s : unknown option.\n",*av); | 
                         fprintf(stderr,"%s : unknown option.\n",*av); | 
|                          asir_terminate(1); | 
                         asir_terminate(1); | 
| Line 439  void asir_reset_handler() { | 
 
  | 
| Line 455  void asir_reset_handler() { | 
 
 
 | 
|          signal(SIGINT,old_int); | 
         signal(SIGINT,old_int); | 
|  } | 
 } | 
|   | 
  | 
|   | 
 extern int I_am_server; | 
|   | 
  | 
|  void resetenv(char *s) | 
 void resetenv(char *s) | 
|  { | 
 { | 
|          extern FILE *outfile; | 
         extern FILE *outfile; | 
| Line 472  void fatal(int n) | 
 
  | 
| Line 490  void fatal(int n) | 
 
 
 | 
|          resetenv("return to toplevel"); | 
         resetenv("return to toplevel"); | 
|  } | 
 } | 
|   | 
  | 
|  FUNC registered_handler; | 
  | 
|  extern int ox_int_received, critical_when_signal; | 
 extern int ox_int_received, critical_when_signal; | 
|   | 
  | 
|  void int_handler(int sig) | 
 void int_handler(int sig) | 
|  { | 
 { | 
|          extern NODE PVSS; | 
         extern NODE PVSS; | 
|   | 
         NODE t; | 
|   | 
  | 
|   | 
  | 
|          if ( do_file ) { | 
         if ( do_file ) { | 
|                  ExitAsir(); | 
                 ExitAsir(); | 
|          } | 
         } | 
| Line 519  void int_handler(int sig) | 
 
  | 
| Line 538  void int_handler(int sig) | 
 
 
 | 
|                                          fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); | 
                                         fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); | 
|                                          fgets(buf,BUFSIZ,stdin); | 
                                         fgets(buf,BUFSIZ,stdin); | 
|                                          if ( !strncmp(buf,"y",1) ) { | 
                                         if ( !strncmp(buf,"y",1) ) { | 
|                                                  read_exec_file = 0; | 
                                                 fprintf(stderr,"Bye\n"); | 
|                                                  fprintf(stderr,"Bye\n"); asir_terminate(1); | 
                                                 /* for terminating myself */ | 
|   | 
                                                 asir_infile = 0; | 
|   | 
                                                 asir_terminate(1); | 
|                                          } else if ( !strncmp(buf,"n",1) ) { | 
                                         } else if ( !strncmp(buf,"n",1) ) { | 
|                                                  restore_handler(); | 
                                                 restore_handler(); | 
|                                                  return; | 
                                                 return; | 
| Line 543  void int_handler(int sig) | 
 
  | 
| Line 564  void int_handler(int sig) | 
 
 
 | 
|                                          debug_mode = 0; | 
                                         debug_mode = 0; | 
|                                  restore_handler(); | 
                                 restore_handler(); | 
|                                  if ( c == 'u' ) { | 
                                 if ( c == 'u' ) { | 
|                                          if ( registered_handler ) { | 
                                         if ( user_int_handler ) { | 
|                                                  fprintf(stderr, | 
                                                 if ( !do_terse ) | 
|                                                          "Calling the registered exception handler..."); | 
                                                         fprintf(stderr, | 
|                                                  bevalf(registered_handler,0); | 
                                                                 "Calling the registered exception callbacks..."); | 
|                                                  fprintf(stderr, "done.\n"); | 
                                                 for ( t = user_int_handler; t; t = NEXT(t) ) | 
|   | 
                                                         bevalf((FUNC)BDY(t),0); | 
|   | 
                                                 if ( !do_terse ) | 
|   | 
                                                         fprintf(stderr, "done.\n"); | 
|                                          } | 
                                         } | 
|                                  } | 
                                 } | 
|                                  if ( read_exec_file ) { | 
                                 resetenv("return to toplevel"); | 
|                                          read_exec_file = 0; | 
  | 
|                                          resetenv("initialization aborted; return to toplevel"); | 
  | 
|                                  } else | 
  | 
|                                          resetenv("return to toplevel"); | 
  | 
|                                  break; | 
                                 break; | 
|                          case 'd': | 
                         case 'd': | 
|  #if 0 | 
 #if 0 | 
| Line 567  void int_handler(int sig) | 
 
  | 
| Line 587  void int_handler(int sig) | 
 
 
 | 
|                                  restore_handler(); | 
                                 restore_handler(); | 
|                                  return; break; | 
                                 return; break; | 
|                          case 'w': | 
                         case 'w': | 
|                                  showpos(); break; | 
                                 showpos(); | 
|   | 
                                 break; | 
|                          case '?': | 
                         case '?': | 
|                                  fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); | 
                                 fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); | 
|                                  break; | 
                                 break; | 
| Line 652  void set_lasterror(char *s) | 
 
  | 
| Line 673  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) | 
|          if ( timer_is_set ) | 
         if ( !error_in_timer && timer_is_set ) | 
|                  alrm_handler(SIGVTALRM); | 
                 alrm_handler(SIGVTALRM); | 
|  #endif | 
 #endif | 
|          fprintf(stderr,"%s\n",s); | 
         fprintf(stderr,"%s\n",s); | 
| Line 683  void error(char *s) | 
 
  | 
| Line 705  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"); | 
|  } | 
 } | 
|   | 
  | 
| Line 706  void toplevel(char *s) | 
 
  | 
| Line 728  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"); | 
|  } | 
 } | 
|   | 
  | 
| Line 748  char *get_pariversion()  | 
 
  | 
| Line 768  char *get_pariversion()  | 
 
 
 | 
|  { | 
 { | 
|  #if PARI | 
 #if PARI | 
|  #if 0 | 
 #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"; | 
         return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n"; | 
|  #endif | 
 #else | 
|          return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n"; | 
         return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n"; | 
|  #endif | 
 #endif | 
|   | 
 #endif | 
|          return ""; | 
         return ""; | 
|  } | 
 } | 
|   | 
  | 
| Line 766  char *get_intervalversion() | 
 
  | 
| Line 787  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 *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2006, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 Copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; | 
|          printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); | 
         printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); | 
|  } | 
 } | 
|   | 
  | 
| Line 775  char *scopyright() | 
 
  | 
| Line 796  char *scopyright() | 
 
 
 | 
|          static char *notice; | 
         static char *notice; | 
|          char *s1, *s2, *s3; | 
         char *s1, *s2, *s3; | 
|          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-2006, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; | 
|          if (!notice) { | 
         if (!notice) { | 
|                  s1 = get_intervalversion(); | 
                 s1 = get_intervalversion(); | 
|                  s2 = get_asir_distribution(); | 
                 s2 = get_asir_distribution(); |