[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.46 and 1.60

version 1.46, 2004/02/09 08:23:30 version 1.60, 2005/10/26 07:33:03
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.45 2004/02/05 08:28:53 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.59 2005/10/10 15:16:38 saito 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 100  int do_server_in_X11;
Line 101  int do_server_in_X11;
 Obj LastVal;  Obj LastVal;
 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 126  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 163  void glob_init() {
Line 166  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 192  int do_asirrc;
Line 196  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 read_exec_file;
 int asir_setenv;  int asir_setenv;
Line 214  void ExitAsir() {
Line 219  void ExitAsir() {
 void asir_terminate(int status)  void asir_terminate(int status)
 {  {
         int t;          int t;
           NODE n;
   
         if ( read_exec_file ) {          if ( read_exec_file ) {
                 t = read_exec_file;                  t = read_exec_file;
Line 223  void asir_terminate(int status)
Line 229  void asir_terminate(int status)
                 else                  else
                         LONGJMP(exec_env,status);                          LONGJMP(exec_env,status);
         } else {          } else {
                   if ( user_quit_handler ) {
                           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 272  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 472  void fatal(int n)
Line 487  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 520  void int_handler(int sig)
Line 536  void int_handler(int sig)
                                         fgets(buf,BUFSIZ,stdin);                                          fgets(buf,BUFSIZ,stdin);
                                         if ( !strncmp(buf,"y",1) ) {                                          if ( !strncmp(buf,"y",1) ) {
                                                 read_exec_file = 0;                                                  read_exec_file = 0;
                                                 fprintf(stderr,"Bye\n"); asir_terminate(1);                                                  fprintf(stderr,"Bye\n");
                                                   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 560  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 ) {                                  if ( read_exec_file ) {
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 ( read_exec_file )
                 read_exec_file = 0;                  read_exec_file = 0;
Line 744  void reset_timer()
Line 766  void reset_timer()
 unsigned int get_asir_version();  unsigned int get_asir_version();
 char *get_asir_distribution();  char *get_asir_distribution();
   
 void copyright() {  char *get_pariversion()
 #if defined(INTERVAL)  {
         printf("This is Risa/Asir + Interval Arithmetic, Version %d (%s Distribution).\n",  
                 get_asir_version(), get_asir_distribution());  
 #else  
         printf("This is Risa/Asir, Version %d (%s Distribution).\n",  
                 get_asir_version(), get_asir_distribution());  
 #endif  
         printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n");  
         printf("Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\n");  
         printf("GC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");  
 #if PARI  #if PARI
 #if 0  #if 0
         printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n");          return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n";
   #else
           return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n";
 #endif  #endif
         printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n");  
         printf("   H. Cohen and M. Olivier.\n");  
 #endif  #endif
           return "";
 }  }
   
   char *get_intervalversion()
   {
   #if defined(INTERVAL)
           return " + Interval Arithmetic";
   #else
           return "";
   #endif
   }
   
   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-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());
   }
   
   char *scopyright()
   {
           static char *notice;
           char *s1, *s2, *s3;
           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-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) {
                   s1 = get_intervalversion();
                   s2 = get_asir_distribution();
                   s3 = get_pariversion();
                   d  = get_asir_version();
                   len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+sizeof(int)*3;
                   notice = MALLOC(len+1);
                   sprintf(notice, format, s1, d, s2, s3);
           }
           return notice;
   }
Legend:
Removed from v.1.46  
changed lines
  Added in v.1.60
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>