[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.48

version 1.46, 2004/02/09 08:23:30 version 1.48, 2004/02/27 09:13:04
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.47 2004/02/25 06:43:52 ohara Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
Line 195  int do_message;
Line 195  int do_message;
 int do_fep;  int do_fep;
 int read_exec_file;  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 258  void param_init() {
Line 259  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 ) {
                   if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red");
                 fprintf(asir_out,"[%d] ",APVS->n);                  fprintf(asir_out,"[%d] ",APVS->n);
         else if ( do_quiet && user_defined_prompt                  if ( asir_texmacs ) printf("\5\5");
                   fflush(asir_out);
           } 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);  
 }  }
   
 void sprompt(char *ptr)  void sprompt(char *ptr)
Line 349  void process_args(int ac,char **av)
Line 355  void process_args(int ac,char **av)
                         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 442  void asir_reset_handler() {
Line 451  void asir_reset_handler() {
 void resetenv(char *s)  void resetenv(char *s)
 {  {
         extern FILE *outfile;          extern FILE *outfile;
           FILE *stream = asir_texmacs ? stdout : stderr;
   
         fprintf(stderr,"%s\n",s);          if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); }
           fprintf(stream,"%s\n",s);
         while ( NEXT(asir_infile) )          while ( NEXT(asir_infile) )
                 closecurrentinput();                  closecurrentinput();
         resetpvs();          resetpvs();
Line 464  void resetenv(char *s)
Line 475  void resetenv(char *s)
 #if !defined(VISUAL)  #if !defined(VISUAL)
         reset_timer();          reset_timer();
 #endif  #endif
           if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
         LONGJMP(main_env,1);          LONGJMP(main_env,1);
 }  }
   
Line 478  extern int ox_int_received, critical_when_signal;
Line 490  extern int ox_int_received, critical_when_signal;
 void int_handler(int sig)  void int_handler(int sig)
 {  {
         extern NODE PVSS;          extern NODE PVSS;
           FILE *stream;
   
           if ( asir_texmacs ) stream = stdout;
           else stream = stderr;
   
         if ( do_file ) {          if ( do_file ) {
                 ExitAsir();                  ExitAsir();
         }          }
Line 505  void int_handler(int sig)
Line 521  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;
   
                 fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);                  if ( asir_texmacs ) { printf("\2verbatim:"); fflush(stdout); }
                   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 ( buf[0] == '\n' )
                         fgets(buf,BUFSIZ,stdin);                          fgets(buf,BUFSIZ,stdin);
                 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);                                          if ( asir_texmacs ) {
                                                   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;                                                  read_exec_file = 0;
                                                 fprintf(stderr,"Bye\n"); asir_terminate(1);                                                  if ( asir_texmacs ) {
                                                           printf("\2verbatim:"); fflush(stdout);
                                                   }
                                                   fprintf(stream,"Bye\n");
                                                   if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
                                                   asir_terminate(1);
                                         } else if ( !strncmp(buf,"n",1) ) {                                          } else if ( !strncmp(buf,"n",1) ) {
                                                 restore_handler();                                                  restore_handler();
                                                 return;                                                  return;
Line 530  void int_handler(int sig)
Line 560  void int_handler(int sig)
                         case 't':                          case 't':
                         case 'u':                          case 'u':
                                 while ( 1 ) {                                  while ( 1 ) {
                                         fprintf(stderr,"Abort this computation? (y or n) "); fflush(stderr);                                          if ( asir_texmacs ) {
                                                   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 544  void int_handler(int sig)
Line 578  void int_handler(int sig)
                                 restore_handler();                                  restore_handler();
                                 if ( c == 'u' ) {                                  if ( c == 'u' ) {
                                         if ( registered_handler ) {                                          if ( registered_handler ) {
                                                 fprintf(stderr,                                                  if ( asir_texmacs ) {
                                                           printf("\2verbatim:"); fflush(stdout);
                                                   }
                                                   fprintf(stream,
                                                         "Calling the registered exception handler...");                                                          "Calling the registered exception handler...");
                                                 bevalf(registered_handler,0);                                                  bevalf(registered_handler,0);
                                                 fprintf(stderr, "done.\n");                                                  fprintf(stream, "done.\n");
                                                   if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
                                         }                                          }
                                 }                                  }
                                 if ( read_exec_file ) {                                  if ( read_exec_file ) {
Line 567  void int_handler(int sig)
Line 605  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");                                  if ( asir_texmacs ) {
                                           printf("\2verbatim:"); fflush(stdout);
                                   }
                                   fprintf(stream, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");
                                   if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
                                 break;                                  break;
                         default:                          default:
                                 break;                                  break;
Line 744  void reset_timer()
Line 787  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 "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  #endif
         printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n");          return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\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-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";
           if ( asir_texmacs ) printf("\2verbatim:");
           printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion());
           if ( asir_texmacs ) putchar('\5');
   }
   
   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-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";
           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.48
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>