[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.5 and 1.49

version 1.5, 2000/02/08 04:47:12 version 1.49, 2004/05/14 09:20:57
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.4 2000/01/19 01:49:36 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.48 2004/02/27 09:13:04 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
 #include "parse.h"  #include "parse.h"
 #if PARI  #include "ox.h"
   #if defined(PARI)
 #include "genpari.h"  #include "genpari.h"
 #endif  #endif
 #if !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV)  #if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX)
 #include <sgtty.h>  #include <sgtty.h>
 #else  
 #if defined(THINK_C) && !defined(__MWERKS__)  
 #include <console.h>  
 #endif  #endif
 #endif  
   
 #if defined(VISUAL)  #if defined(VISUAL)
 #include <io.h>  #include <io.h>
 #include <direct.h>  #include <direct.h>
   #else
   #include <unistd.h>
   #include <string.h>
   #include <stdio.h>
 #endif  #endif
   
 #if defined(SYSV)  #if defined(SYSV) && !defined(_IBMR2)
 #include <sys/ttold.h>  #include <sys/ttold.h>
 #endif  #endif
   
 #if defined(THINK_C) || defined(VISUAL)  
 #if defined(VISUAL)  #if defined(VISUAL)
 #define HISTORY asir_history  #define HISTORY asir_history
 #else  
 #define HISTORY "history"  
 #endif  #endif
 #endif  
 #define MAXHIST 100  #define MAXHIST 100
   
 extern int GC_free_space_divisor;  extern int GC_free_space_divisor;
 extern int GC_free_space_numerator;  extern int GC_free_space_numerator;
 extern FILE *asir_out;  extern FILE *asir_out;
   
 IN asir_infile;  INFILE asir_infile;
 jmp_buf env,debug_env,timer_env;  JMP_BUF main_env,debug_env,timer_env,exec_env;
 int little_endian,debug_mode;  int little_endian,debug_mode;
 char *asir_libdir;  char *asir_libdir;
 char *asir_pager;  char *asir_pager;
   
 NODE usrf,sysf,noargsysf,ubinf,parif;  NODE usrf,sysf,noargsysf,ubinf,parif;
 NODE ONENODE;  NODE ONENODE;
 int main_parser, ox_do_copy, ox_do_count, ox_count_length;  int main_parser, allow_create_var, ox_do_copy, ox_do_count, ox_count_length;
 int ox_file_io, ox_need_conv;  int ox_file_io, ox_need_conv;
 char *ox_copy_bptr;  char *ox_copy_bptr;
 char *parse_strp;  char *parse_strp;
Line 53  FILE *ox_istream,*ox_ostream;
Line 99  FILE *ox_istream,*ox_ostream;
 int do_server_in_X11;  int do_server_in_X11;
 Obj LastVal;  Obj LastVal;
 char LastError[BUFSIZ];  char LastError[BUFSIZ];
   int timer_is_set;
   NODE current_option;
   
 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},
Line 80  struct oVS oGPVS,oAPVS,oEPVS;
Line 128  struct oVS oGPVS,oAPVS,oEPVS;
 VS GPVS = &oGPVS;  VS GPVS = &oGPVS;
 VS APVS = &oAPVS;  VS APVS = &oAPVS;
 VS EPVS = &oEPVS;  VS EPVS = &oEPVS;
 VS CPVS;  VS CPVS,MPVS;
   
   NODE MODULE_LIST;
   MODULE CUR_MODULE;
   char *CUR_FUNC;
   
   struct oSYMBOL oGrlex, oGlex, oLex;
   SYMBOL Symbol_grlex = &oGrlex;
   SYMBOL Symbol_glex = &oGlex;
   SYMBOL Symbol_lex = &oLex;;
   
 struct oF oF_TRUE,oF_FALSE;  struct oF oF_TRUE,oF_FALSE;
 F F_TRUE = &oF_TRUE;  F F_TRUE = &oF_TRUE;
 F F_FALSE = &oF_FALSE;  F F_FALSE = &oF_FALSE;
   
 #if defined(__SVR4) && defined(sun)  
 char cppname[BUFSIZ] = "/usr/ccs/lib/cpp ";  
 #else  
 #if defined(__FreeBSD__) || defined(__NetBSD__)  
 char cppname[BUFSIZ] = "/usr/bin/cpp ";  
 #else  
 #if defined(VISUAL)  #if defined(VISUAL)
 char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp ";  char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp ";
 #else  #else
 char cppname[BUFSIZ] = "/lib/cpp ";  char cppname[BUFSIZ] = "/lib/cpp ";
 #endif  #endif
 #endif  
 #endif  
 char asirname[BUFSIZ];  char asirname[BUFSIZ];
 char displayname[BUFSIZ];  char displayname[BUFSIZ];
   
 int Verbose;  int Verbose;
   int do_quiet;
   
 void glob_init() {  void glob_init() {
         int i;          int i;
Line 117  void glob_init() {
Line 167  void glob_init() {
         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;
         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";
           Symbol_grlex->value = 0;
           OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex";
           Symbol_glex->value = 1;
           OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex";
           Symbol_lex->value = 2;
         sprintf(asirname,"%s/asir_symtab",asir_libdir);          sprintf(asirname,"%s/asir_symtab",asir_libdir);
 #if defined(THINK_C)  
         initVol();  
 #endif  
 }  }
   
 void input_init(fp,name)  void input_init(FILE *fp,char *name)
 FILE *fp;  
 char *name;  
 {  {
         asir_infile = (IN)CALLOC(sizeof(struct oIN),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,a,b,c)  void notdef(VL vl,Obj a,Obj b,Obj *c)
 VL vl;  
 Obj a,b,*c;  
 {  {
         *c = 0;  
         error("undefined arithmetic operation.");          error("undefined arithmetic operation.");
 }  }
   
 int kernelmode;  
 int do_asirrc;  int do_asirrc;
 int do_file;  int do_file;
   char *do_filename;
 int do_message;  int do_message;
 int do_fep;  int do_fep;
 int no_prompt;  
 int read_exec_file;  int read_exec_file;
   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 163  void ExitAsir() {
Line 212  void ExitAsir() {
  * status = 2 normal termination (end(), quit() etc.)   * status = 2 normal termination (end(), quit() etc.)
  */   */
   
 void asir_terminate(status)  void asir_terminate(int status)
 int status;  
 {  {
           int t;
   
         if ( read_exec_file ) {          if ( read_exec_file ) {
                 read_exec_file = 0; longjmp(env,status);                  t = read_exec_file;
                   read_exec_file = 0;
                   if ( t == 1 )
                           LONGJMP(main_env,status);
                   else
                           LONGJMP(exec_env,status);
         } else {          } else {
                 tty_reset();                  tty_reset();
 #if INET && !defined(THINK_C)  #if defined(MPI)
 #if MPI  
                 if ( !mpi_myid )                  if ( !mpi_myid )
                         close_allconnections();                          close_allconnections();
                 mpi_finalize();                  mpi_finalize();
 #else  #else
   #if defined(SIGPIPE)
                   signal(SIGPIPE,SIG_IGN);
   #endif
                 close_allconnections();                  close_allconnections();
 #endif  #endif
 #endif  
                 if ( kernelmode )  
                         fputc(0xff,asir_out);  
                 if ( asir_out )                  if ( asir_out )
                         fflush(asir_out);                          fflush(asir_out);
 #if defined(THINK_C) && !defined(__MWERKS__)  #if FEP
                 *((int *)0x8) = buserr_sav;                  if ( do_fep ) {
                 while ( NEXT(asir_infile) )                          stifle_history(MAXHIST);
                 closecurrentinput();                          write_history(asir_history);
                 console_options.pause_atexit = 0;                  }
                 resetDir();  
                 write_hist(HISTORY);  
 #endif  #endif
                 ExitAsir();                  ExitAsir();
         }          }
Line 198  int status;
Line 250  int status;
 void param_init() {  void param_init() {
         unsigned int et = 0xff;          unsigned int et = 0xff;
         extern int paristack;          extern int paristack;
 #if defined(THINK_C)  
         char name[BUFSIZ];  
         int c;  
         int val;  
         FILE *fp;  
         int stacksize;  
   
 #include <Memory.h>  
         GC_free_space_divisor = 4; stacksize = 0x40000;  
         if ( fp = fopen("params","r") ) {  
                 while ( 1 ) {  
                         c = fgetc(fp);  
                         if ( c == EOF )  
                                 break;  
                         else  
                                 ungetc(c,fp);  
                         fscanf(fp,"%s %d",name,&val);  
                         if ( !strcmp(name,"stacksize") )  
                                 stacksize = val;  
                         else if ( !strcmp(name,"adj") )  
                                 GC_free_space_divisor = val;  
 #if PARI  
                         else if ( !strcmp(name,"paristack") )  
                                 paristack = val;  
 #endif  
                 }  
                 fclose(fp);  
         }  
 #if defined(__MWERKS__)  
         {  
                 Ptr al;  
                 al = LMGetApplLimit();  
                 LMSetApplLimit(al-stacksize);  
         }  
 #else  
         ApplLimit = (Ptr)((char *)ApplLimit-stacksize);  
         console_options.title = "\pAsir";  
 #endif  
 #endif  
         if ( *((char *)&et) )          if ( *((char *)&et) )
                 little_endian = 1;                  little_endian = 1;
         else          else
                 little_endian = 0;                  little_endian = 0;
 }  }
   
   Obj user_defined_prompt;
   
 void prompt() {  void prompt() {
         if ( !no_prompt && !do_fep && asir_infile->fp == stdin )          if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) {
                 fprintf(asir_out,"[%d]%c",APVS->n,kernelmode?0xfe:' ');                  if ( asir_texmacs ) printf("\2\verbatim:\2channel:prompt\5\2latex:\\red");
         fflush(asir_out);                  fprintf(asir_out,"[%d] ",APVS->n);
                   if ( asir_texmacs ) printf("\5\5");
                   fflush(asir_out);
           } else if ( do_quiet && user_defined_prompt
                   && 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);
                   if ( asir_texmacs ) printf("\5\5");
                   fflush(asir_out);
           }
 }  }
   
 void sprompt(ptr)  void sprompt(char *ptr)
 char *ptr;  
 {  {
         sprintf(ptr,"[%d]%c",APVS->n,kernelmode?0xfe:' ');          sprintf(ptr,"[%d] ",APVS->n);
 }  }
   
 #if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1)  #if !defined(VISUAL)
 static struct tchars tc;  static int which(char *prog, char *path, char *buf, size_t size)
 static char oldeof;  {
 struct winsize wsize;      char *tok;
 int ttywidth;      char delim[] = ":";
 char *upperbuf,*lowerbuf;      char *path2  = malloc(strlen(path)+1);
       char *name   = malloc(size);
       int  proglen = strlen(prog)+3; /* "/" + prog + " \0" */
   
       if (!name || !path2) {
           return 0;
       }
       strcpy(path2, path);
       tok = strtok(path2, delim);
       while (tok != NULL) {
           if (size >= strlen(tok)) {
               sprintf(name, "%s/%s", tok, prog);
               if (access(name, X_OK&R_OK) == 0) {
                   strcpy(buf, name);
                   strcat(buf, " ");
                   free(path2); free(name);
                   return 1;
               }
               tok = strtok(NULL, delim);
           }
       }
       free(path2); free(name);
       return 0;
   }
 #endif  #endif
   
   void cppname_init()
   {
   #if !defined(VISUAL)
       if (access(cppname, X_OK&R_OK) != 0) {
           which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) ||
           which("cpp", getenv("PATH"), cppname, BUFSIZ);
       }
   #endif
   }
   
 FILE *in_fp;  FILE *in_fp;
   
 void process_args(ac,av)  void process_args(int ac,char **av)
 int ac;  
 char **av;  
 {  {
 #if !defined(THINK_C)  
         do_asirrc = 1;          do_asirrc = 1;
 #if !MPI  #if !defined(MPI)
         do_message = 1;          do_message = 1;
 #endif  #endif
           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);
Line 292  char **av;
Line 346  char **av;
                 } 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,"-f") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-f") && (ac >= 2) ) {
                           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!",*(av+1));
                                 asir_terminate(1);                                  asir_terminate(1);
                         }                          }
                         do_file = 1;                          do_file = 1;
                           do_filename = *(av+1);
                         av += 2; ac -= 2;                          av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-kernel") ) {                  } else if ( !strcmp(*av,"-texmacs") ) {
                         kernelmode = 1; av++; ac--;                          asir_texmacs = 1; av++; ac--;
                           *stderr = *stdout;
                   } else if ( !strcmp(*av,"-E") ) {
                           asir_setenv = 1; av++; ac--;
                   } else if ( !strcmp(*av,"-quiet") ) {
                           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,"-terse") ) {                  } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) {
                         no_prompt = 0; av++; ac--;                          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);
   
Line 315  char **av;
Line 376  char **av;
                 } 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 PARI  #if FEP
                   } else if ( !strcmp(*av,"-fep") ) {
                           do_fep = 1; av++; ac--;
   #endif
   #if defined(PARI)
                 } else if ( !strcmp(*av,"-paristack") ) {                  } else if ( !strcmp(*av,"-paristack") ) {
                         extern int paristack;                          extern int paristack;
   
Line 326  char **av;
Line 391  char **av;
                         asir_terminate(1);                          asir_terminate(1);
                 }                  }
         }          }
   #if FEP
           if ( do_fep ) {
                   char *home;
                   home = (char *)getenv("HOME");
                   if (!home)
                           home = ".";
                   sprintf (asir_history, "%s/.asir_history",home);
                   read_history(asir_history);
                   using_history();
           }
 #endif  #endif
 #if (defined(THINK_C) && !defined(__MWERKS__))  
         init_hist(MAXHIST);  
         read_hist(HISTORY);  
 #endif  
 }  }
   
 #include <signal.h>  #include <signal.h>
Line 339  void sig_init() {
Line 410  void sig_init() {
 #if !defined(VISUAL)  #if !defined(VISUAL)
         signal(SIGINT,int_handler);          signal(SIGINT,int_handler);
 #else  #else
           void register_ctrlc_handler();
   
         register_ctrlc_handler();          register_ctrlc_handler();
 #endif  #endif
         signal(SIGSEGV,segv_handler);          signal(SIGSEGV,segv_handler);
   
 #if defined SIGFPE  #if defined(SIGFPE)
         signal(SIGFPE,fpe_handler);          signal(SIGFPE,fpe_handler);
 #endif  #endif
   
 #if defined SIGPIPE  #if defined(SIGPIPE)
         signal(SIGPIPE,pipe_handler);          signal(SIGPIPE,pipe_handler);
 #endif  #endif
   
 #if defined SIGILL  #if defined(SIGILL)
         signal(SIGILL,ill_handler);          signal(SIGILL,ill_handler);
 #endif  #endif
   
 #if defined(THINK_C)  
         buserr_sav = *((int *)0x8);  
         *((int *)0x8) = (int)bus_handler;  
 #else /* THINK_C */  
   
 #if !defined(VISUAL)  #if !defined(VISUAL)
         signal(SIGBUS,bus_handler);          signal(SIGBUS,bus_handler);
 #endif  #endif
   
 #if 0  
 #if !defined(VISUAL) && !defined(_PA_RISC1_1)  
         signal(SIGWINCH,winch_handler);  
 #endif  
 #endif  
   
 #endif /* THINK_C */  
 }  }
   
 static void (*old_int)(int);  static void (*old_int)(int);
Line 388  void asir_reset_handler() {
Line 448  void asir_reset_handler() {
         signal(SIGINT,old_int);          signal(SIGINT,old_int);
 }  }
   
 void resetenv(s)  void resetenv(char *s)
 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 405  char *s;
Line 466  char *s;
         w_noflush_stderr(0);          w_noflush_stderr(0);
 #endif  #endif
         asir_out = stdout;          asir_out = stdout;
 #if PARI  #if defined(PARI)
         pari_outfile = stdout;          pari_outfile = stdout;
 #endif  #endif
         /* restore states */          /* restore states */
         reset_engine();          reset_engine();
         reset_io();          reset_io();
         longjmp(env,1);  #if !defined(VISUAL)
           reset_timer();
   #endif
           if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
           LONGJMP(main_env,1);
 }  }
   
 void fatal(n)  void fatal(int n)
 int n;  
 {  {
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
Line 423  int n;
Line 487  int n;
 FUNC registered_handler;  FUNC registered_handler;
 extern int ox_int_received, critical_when_signal;  extern int ox_int_received, critical_when_signal;
   
 void int_handler(sig)  void int_handler(int sig)
 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 435  int sig;
Line 502  int sig;
                 ox_int_received = 1;                  ox_int_received = 1;
                 return;                  return;
         }          }
 #if defined(THINK_C) || defined(VISUAL)  #if defined(VISUAL)
         suspend_timer(); signal(SIGINT,SIG_IGN);          suspend_timer();
 #endif  #endif
 #if defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__)  
         signal(SIGINT,SIG_IGN);          signal(SIGINT,SIG_IGN);
 #endif  
 #if !defined(VISUAL)  #if !defined(VISUAL)
     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);
Line 456  int sig;
Line 521  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); }
                 if ( kernelmode )                  fprintf(stream,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stream);
                         fputc('\0',stderr);                  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 483  int sig;
Line 560  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 494  int sig;
Line 575  int sig;
                                 }                                  }
                                 if ( debug_mode )                                  if ( debug_mode )
                                         debug_mode = 0;                                          debug_mode = 0;
                                 if ( kernelmode )  
                                         fputc('\0',stderr);  
                                 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 519  int sig;
Line 602  int sig;
                                 restore_handler();                                  restore_handler();
                                 return;                                  return;
                         case 'c':                          case 'c':
                                 if ( kernelmode )  
                                         fputc('\0',stderr);  
                                 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 535  int sig;
Line 621  int sig;
 }  }
   
 void restore_handler() {  void restore_handler() {
 #if defined(THINK_C) || defined(VISUAL)  #if defined(VISUAL)
         resume_timer(); signal(SIGINT,int_handler);          resume_timer();
 #endif  #endif
 #if defined(_PA_RISC1_1) || defined(linux) || defined(__svr4__)  #if defined(SIGINT)
         signal(SIGINT,int_handler);          signal(SIGINT,int_handler);
 #endif  #endif
 }  }
   
 void segv_handler(sig)  void segv_handler(int sig)
 int sig;  
 {  {
 #if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__)  #if defined(SIGSEGV)
         signal(SIGSEGV,segv_handler);          signal(SIGSEGV,segv_handler);
 #endif  
         error("internal error (SEGV)");          error("internal error (SEGV)");
   #endif
 }  }
   
 void ill_handler(sig)  void ill_handler(int sig)
 int sig;  
 {  {
 #if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__)  #if defined(SIGILL)
         signal(SIGILL,ill_handler);          signal(SIGILL,ill_handler);
 #endif  
         error("illegal instruction (ILL)");          error("illegal instruction (ILL)");
   #endif
 }  }
   
 void alrm_handler(sig)  void alrm_handler(int sig)
 int sig;  
 {  {
         fprintf(stderr,"interval timer expired (VTALRM)\n");          fprintf(stderr,"interval timer expired (VTALRM)\n");
         longjmp(timer_env,1);          LONGJMP(timer_env,1);
 }  }
   
 void bus_handler(sig)  void bus_handler(int sig)
 int sig;  
 {  {
 #if defined(SIGBUS)  #if defined(SIGBUS)
         signal(SIGBUS,bus_handler);          signal(SIGBUS,bus_handler);
Line 577  int sig;
Line 659  int sig;
 #endif  #endif
 }  }
   
 void fpe_handler(sig)  void fpe_handler(int sig)
 int sig;  
 {  {
 #if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__)  #if defined(SIGFPE)
         signal(SIGFPE,fpe_handler);          signal(SIGFPE,fpe_handler);
 #endif  
         error("internal error (FPE)");          error("internal error (FPE)");
 }  
   
 void winch_handler(sig)  
 int sig;  
 {  
 #if 0  
 #if !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(__svr4__)  
         if ( isatty(1) ) {  
                 struct winsize t;  
   
                 if ( ioctl(1,TIOCGWINSZ,&t) == -1 )  
                         perror("TIOCGWINSZ");  
                 if ( t.ws_col != wsize.ws_col || t.ws_row != wsize.ws_row ) {  
                         resize_buffer();  
                         if ( killpg(getpgrp(0),SIGWINCH) == -1 )  
                                 perror("killpg");  
                 }  
         }  
 #endif  #endif
 #endif  
 }  }
   
 void pipe_handler(sig)  void pipe_handler(int sig)
 int sig;  
 {  {
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
         signal(SIGPIPE,pipe_handler);          signal(SIGPIPE,pipe_handler);
           end_critical();
         error("internal error (BROKEN PIPE)");          error("internal error (BROKEN PIPE)");
 #endif  #endif
 }  }
   
 void resize_buffer()  void resize_buffer()
 {  {
 #if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1)  
         if ( isatty(1) ) {  
                 if ( ioctl(1,TIOCGWINSZ,&wsize) == -1 )  
                         perror("TIOCGWINSZ");  
                 if ( wsize.ws_col > 2 ) {  
                         ttywidth = wsize.ws_col - 2;  
                         upperbuf = (char *)MALLOC(wsize.ws_col);  
                         lowerbuf = (char *)MALLOC(wsize.ws_col);  
                 }  
         }  
 #endif  
 }  }
   
 void tty_init() {  void tty_init() {
 #if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1)  
         if ( isatty(0) ) {  
                 if ( ioctl(0,TIOCGETC,&tc) == -1 )  
                         perror("TIOCGETC");  
                 oldeof = tc.t_eofc; tc.t_eofc = 0xff;  
                 if ( ioctl(0,TIOCSETC,&tc) == -1 )  
                         perror("TIOCSETC");  
                 setpgrp(0, getpid());  
         }  
         resize_buffer();  
 #endif  
 }  }
   
 void tty_reset() {  void tty_reset() {
 #if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1)  
         if ( oldeof ) {  
                 tc.t_eofc = oldeof;  
                 if ( ioctl(0,TIOCSETC,&tc) == -1 )  
                         perror("TIOCSETC");  
         }  
 #endif  
 }  }
   
 extern int evalstatline;  extern int evalstatline;
   
 void set_lasterror(s)  void set_lasterror(char *s)
 char *s;  
 {  {
         strncpy(LastError,s,BUFSIZ);          strncpy(LastError,s,BUFSIZ);
         LastError[BUFSIZ-1] = 0;          LastError[BUFSIZ-1] = 0;
Line 665  char *s;
Line 696  char *s;
   
 SNODE error_snode;  SNODE error_snode;
   
 void error(s)  void error(char *s)
 char *s;  
 {  {
         SNODE *snp;          SNODE *snp=0;
   
   #if !defined(VISUAL)
           if ( timer_is_set )
                   alrm_handler(SIGVTALRM);
   #endif
         fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
         set_lasterror(s);          set_lasterror(s);
         if ( CPVS != GPVS ) {          if ( CPVS != GPVS ) {
                 searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp);                  if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf )
                 error_snode = *snp;                          searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp);
                   if ( snp )
                           error_snode = *snp;
                   else
                           error_snode = 0;
         } else          } else
                 error_snode = 0;                  error_snode = 0;
         if ( do_file ) {          if ( do_file ) {
Line 686  char *s;
Line 724  char *s;
                 ExitAsir();                  ExitAsir();
         }          }
         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 ( do_server_in_X11 || isatty(0) )
                         bp(error_snode);                          bp(error_snode);
Line 695  char *s;
Line 733  char *s;
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
   
   void toplevel(char *s)
   {
           SNODE *snp=0;
   
 #if !defined(VISUAL)  #if !defined(VISUAL)
           if ( timer_is_set )
                   alrm_handler(SIGVTALRM);
   #endif
           fprintf(stderr,"%s\n",s);
           if ( do_file ) {
                   char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */
   
                   sprintf(errbuf,"%s\n",s);
                   showpos_to_string(errbuf+strlen(errbuf));
                   ExitAsir();
           }
           if ( read_exec_file )
                   read_exec_file = 0;
           resetenv("return to toplevel");
   }
   
   #if !defined(VISUAL)
 #include <sys/time.h>  #include <sys/time.h>
   
 void set_timer(interval)  void set_timer(int interval)
 int interval;  
 {  {
         struct itimerval it;          struct itimerval it;
   
Line 709  int interval;
Line 767  int interval;
         it.it_value.tv_usec = 0;          it.it_value.tv_usec = 0;
         setitimer(ITIMER_VIRTUAL,&it,0);          setitimer(ITIMER_VIRTUAL,&it,0);
         signal(SIGVTALRM,alrm_handler);          signal(SIGVTALRM,alrm_handler);
           timer_is_set = 1;
 }  }
   
 void reset_timer()  void reset_timer()
Line 721  void reset_timer()
Line 780  void reset_timer()
         it.it_value.tv_usec = 0;          it.it_value.tv_usec = 0;
         setitimer(ITIMER_VIRTUAL,&it,0);          setitimer(ITIMER_VIRTUAL,&it,0);
         signal(SIGVTALRM,SIG_IGN);          signal(SIGVTALRM,SIG_IGN);
           timer_is_set = 0;
 }  }
 #endif  #endif
   
 unsigned int get_asir_version();  unsigned int get_asir_version();
   char *get_asir_distribution();
   
 void copyright() {  char *get_pariversion()
         printf("This is Risa/Asir, Version %d.\n",get_asir_version());  {
         printf("Copyright (C) FUJITSU LABORATORIES LIMITED.\n");  #if PARI
         printf("1994-1999. All rights reserved.\n");  #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";
   #endif
           return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n";
   #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.5  
changed lines
  Added in v.1.49

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>