===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/main.c,v
retrieving revision 1.26
retrieving revision 1.31
diff -u -p -r1.26 -r1.31
--- OpenXM_contrib2/asir2000/parse/main.c	2004/03/05 02:26:53	1.26
+++ OpenXM_contrib2/asir2000/parse/main.c	2006/09/25 04:57:55	1.31
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.25 2004/02/13 05:48:36 saito Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.30 2006/02/27 00:20:08 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -75,8 +75,11 @@ extern JMP_BUF main_env;
 double get_current_time();
 void init_socket();
 void recover();
+void set_stacksize();
+void batch_loop();
 
 extern int mpi_nprocs,mpi_myid;
+extern int do_batch;
 
 #if defined(VISUAL_LIB)
 void Main(int argc,char *argv[])
@@ -91,7 +94,6 @@ main(int argc,char *argv[])
 	FILE *ifp;
 	char ifname[BUFSIZ];
 	extern int GC_dont_gc;
-	extern int read_exec_file;
 	extern int do_asirrc;
 	extern int do_file;
 	extern char *do_filename;
@@ -105,7 +107,9 @@ main(int argc,char *argv[])
 	char *slash,*bslash,*binname,*p;
 #endif
 
+	set_stacksize();
 	StackBottom = &tmp;
+	GC_init();
 #if defined(MPI)
 	mpi_init();
 	if ( mpi_myid ) {
@@ -153,13 +157,12 @@ main(int argc,char *argv[])
 	rtime_init();
 	env_init();
 	endian_init();
-	GC_init();
 	cppname_init();
 	process_args(--argc,++argv);
 #if defined(PARI)
     risa_pari_init();
 #endif 
-	if (!do_quiet) {
+	if (!do_batch && !do_quiet) {
 		copyright();
 	}
 	output_init();
@@ -195,30 +198,22 @@ main(int argc,char *argv[])
 		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 (!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);
+		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();
 	while ( 1 ) {
 #if defined(PARI)
@@ -233,6 +228,12 @@ main(int argc,char *argv[])
 #endif
 		if ( SETJMP(main_env) )
 			prompt();
+		if ( !do_file ) {
+			if ( SETJMP(asir_infile->jmpbuf) )
+				prompt();
+			else
+				asir_infile->ready_for_longjmp = 1;
+		}
 		restore_handler();
 		read_eval_loop();
 	}
@@ -244,3 +245,80 @@ main(int argc,char *argv[])
 void set_error(int code,char *reason,char *action)
 {}
 #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;
+}