[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.53 and 1.63

version 1.53, 2004/12/17 03:09:08 version 1.63, 2006/02/08 04:33:50
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.52 2004/12/15 22:51:40 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.62 2006/02/08 02:11:19 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
Line 85  INFILE asir_infile;
Line 85  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,no_debug_on_error;  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 current_option;
Line 125  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 164  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;
Line 193  int do_asirrc;
Line 197  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;
 static int buserr_sav;  static int buserr_sav;
 static char asir_history[BUFSIZ];  static char asir_history[BUFSIZ];
Line 210  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)
Line 217  void asir_terminate(int status)
Line 222  void asir_terminate(int status)
         int t;          int t;
         NODE n;          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 244  void asir_terminate(int status)
Line 255  void asir_terminate(int status)
                         write_history(asir_history);                          write_history(asir_history);
                 }                  }
 #endif  #endif
                 if ( user_quit_handler ) {  
                         fprintf(stderr,"Calling the registered quit callbacks...");  
                         for ( n = user_quit_handler; n; n = NEXT(n) )  
                                 bevalf((FUNC)BDY(n),0);  
                         fprintf(stderr, "done.\n");  
                 }  
                 ExitAsir();                  ExitAsir();
         }          }
 }  }
Line 352  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 448  void asir_reset_handler() {
Line 453  void asir_reset_handler() {
         signal(SIGINT,old_int);          signal(SIGINT,old_int);
 }  }
   
   extern int I_am_server;
   
 void resetenv(char *s)  void resetenv(char *s)
 {  {
         extern FILE *outfile;          extern FILE *outfile;
Line 529  void int_handler(int sig)
Line 536  void int_handler(int sig)
                                         fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr);                                          fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr);
                                         fgets(buf,BUFSIZ,stdin);                                          fgets(buf,BUFSIZ,stdin);
                                         if ( !strncmp(buf,"y",1) ) {                                          if ( !strncmp(buf,"y",1) ) {
                                                 read_exec_file = 0;  
                                                 fprintf(stderr,"Bye\n");                                                  fprintf(stderr,"Bye\n");
                                                 asir_terminate(1);                                                  asir_terminate(1);
                                         } else if ( !strncmp(buf,"n",1) ) {                                          } else if ( !strncmp(buf,"n",1) ) {
Line 555  void int_handler(int sig)
Line 561  void int_handler(int sig)
                                 restore_handler();                                  restore_handler();
                                 if ( c == 'u' ) {                                  if ( c == 'u' ) {
                                         if ( user_int_handler ) {                                          if ( user_int_handler ) {
                                                 fprintf(stderr,                                                  if ( !do_terse )
                                                         "Calling the registered exception callbacks...");                                                          fprintf(stderr,
                                                                   "Calling the registered exception callbacks...");
                                                 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);
                                                 fprintf(stderr, "done.\n");                                                  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 699  void error(char *s)
Line 703  void error(char *s)
         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 ( read_exec_file )          if ( I_am_server )
                 read_exec_file = 0;                  showpos_to_list(&LastStackTrace);
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
   
Line 720  void toplevel(char *s)
Line 724  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 762  char *get_pariversion() 
Line 764  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 780  char *get_intervalversion()
Line 783  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-2004, 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-2005, 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 789  char *scopyright()
Line 792  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-2005, 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();
Legend:
Removed from v.1.53  
changed lines
  Added in v.1.63
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>