[BACK]Return to main.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/main.c between version 1.27 and 1.31

version 1.27, 2004/06/15 00:56:52 version 1.31, 2006/09/25 04:57:55
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/main.c,v 1.26 2004/03/05 02:26:53 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.30 2006/02/27 00:20:08 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 75  extern JMP_BUF main_env;
Line 75  extern JMP_BUF main_env;
 double get_current_time();  double get_current_time();
 void init_socket();  void init_socket();
 void recover();  void recover();
   void set_stacksize();
   void batch_loop();
   
 extern int mpi_nprocs,mpi_myid;  extern int mpi_nprocs,mpi_myid;
   extern int do_batch;
   
 #if defined(VISUAL_LIB)  #if defined(VISUAL_LIB)
 void Main(int argc,char *argv[])  void Main(int argc,char *argv[])
Line 91  main(int argc,char *argv[])
Line 94  main(int argc,char *argv[])
         FILE *ifp;          FILE *ifp;
         char ifname[BUFSIZ];          char ifname[BUFSIZ];
         extern int GC_dont_gc;          extern int GC_dont_gc;
         extern int read_exec_file;  
         extern int do_asirrc;          extern int do_asirrc;
         extern int do_file;          extern int do_file;
         extern char *do_filename;          extern char *do_filename;
Line 105  main(int argc,char *argv[])
Line 107  main(int argc,char *argv[])
         char *slash,*bslash,*binname,*p;          char *slash,*bslash,*binname,*p;
 #endif  #endif
   
           set_stacksize();
         StackBottom = &tmp;          StackBottom = &tmp;
         GC_init();          GC_init();
 #if defined(MPI)  #if defined(MPI)
Line 159  main(int argc,char *argv[])
Line 162  main(int argc,char *argv[])
 #if defined(PARI)  #if defined(PARI)
     risa_pari_init();      risa_pari_init();
 #endif  #endif
         if (!do_quiet) {          if (!do_batch && !do_quiet) {
                 copyright();                  copyright();
         }          }
         output_init();          output_init();
Line 195  main(int argc,char *argv[])
Line 198  main(int argc,char *argv[])
                 sprintf(ifname,"%s/." ASIRRCNAME,homedir);                  sprintf(ifname,"%s/." ASIRRCNAME,homedir);
         }          }
   
           if ( do_file ) {
                   asir_infile=NULL;
                   loadasirfile(do_filename);
           } else {
                   /* the bottom of the input stack */
                   input_init(stdin,"stdin");
           }
   
         if ( do_asirrc && (ifp = fopen(ifname,"r")) ) {          if ( do_asirrc && (ifp = fopen(ifname,"r")) ) {
                 if (!asir_setenv) {  
                         input_init(ifp,ifname);  
                 }else {  
                         asir_infile=NULL;  
                         loadasirfile(ifname);  
                 }  
                 if ( !SETJMP(main_env) ) {  
                         read_exec_file = 1;  
                         read_eval_loop();  
                         read_exec_file = 0;  
                 }  
                 fclose(ifp);                  fclose(ifp);
                   if ( !SETJMP(main_env) )
                           execasirfile(ifname);
         }          }
           if ( do_batch )
                   batch_loop();
   
         if ( do_file ) {  
                 if (!asir_setenv) {  
                         input_init(in_fp,"stdin");  
                 }else {  
                         asir_infile=NULL;  
                         loadasirfile(do_filename);  
                 }  
         }else  
                 input_init(stdin,"stdin");  
         prompt();          prompt();
         while ( 1 ) {          while ( 1 ) {
 #if defined(PARI)  #if defined(PARI)
Line 233  main(int argc,char *argv[])
Line 228  main(int argc,char *argv[])
 #endif  #endif
                 if ( SETJMP(main_env) )                  if ( SETJMP(main_env) )
                         prompt();                          prompt();
                   if ( !do_file ) {
                           if ( SETJMP(asir_infile->jmpbuf) )
                                   prompt();
                           else
                                   asir_infile->ready_for_longjmp = 1;
                   }
                 restore_handler();                  restore_handler();
                 read_eval_loop();                  read_eval_loop();
         }          }
Line 244  main(int argc,char *argv[])
Line 245  main(int argc,char *argv[])
 void set_error(int code,char *reason,char *action)  void set_error(int code,char *reason,char *action)
 {}  {}
 #endif  #endif
   
   void set_stacksize()
   {
   #if !defined(VISUAL)
           struct rlimit rlim;
           int c,m;
   
           getrlimit(RLIMIT_STACK,&rlim);
           if ( rlim.rlim_cur < (1<<26) ) {
                   rlim.rlim_cur = MIN(1<<26,rlim.rlim_max);
                   setrlimit(RLIMIT_STACK,&rlim);
           }
   #endif
   }
   
   void batch_loop()
   {
           char *inbuf;
           int i,c,size;
   
           input_init(0,"string");
   
           size = 2;
           inbuf = (char *)malloc(size);
           while ( 1 ) {
                   for ( i = 0; ; i++ ) {
                           c = getchar();
                           if ( c == '0xff' ) {
                                   inbuf[i] = 0;
                                   break;
                           } else
                                   inbuf[i] = c;
                           if ( i == size-1 ) {
                                   size *= 2;
                                   inbuf = realloc(inbuf,size);
                           }
                   }
                   execute_string(inbuf);
           }
   }
   
   /* a function for batch-loop mode */
   
   extern char *parse_strp;
   
   int execute_string(char *cmd)
   {
           SNODE snode;
           pointer val;
   #if defined(PARI)
           recover(0);
           /* environement is defined in libpari.a */
   # if !(PARI_VERSION_CODE > 131588 )
           if ( setjmp(environnement) ) {
                   avma = top; recover(1);
                   resetenv("");
           }
   # endif
   #endif
           parse_strp = cmd;
           asir_infile->ln = 1;
           if ( mainparse(&snode) ) {
                   return -1;
           }
           val = evalstat(snode);
           if ( NEXT(asir_infile) ) {
                   while ( NEXT(asir_infile) ) {
                           if ( mainparse(&snode) ) {
                                   return -1;
                           }
                           nextbp = 0;
                           val = evalstat(snode);
                   }
           }
           printexpr(CO,val);
           return 0;
   }
Legend:
Removed from v.1.27  
changed lines
  Added in v.1.31
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>