===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v
retrieving revision 1.40
retrieving revision 1.51
diff -u -p -r1.40 -r1.51
--- OpenXM_contrib2/asir2000/parse/glob.c	2003/11/11 06:14:08	1.40
+++ OpenXM_contrib2/asir2000/parse/glob.c	2004/11/24 06:01:04	1.51
@@ -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/glob.c,v 1.39 2003/10/20 09:17:52 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.50 2004/06/30 06:26:39 fujiwara Exp $ 
 */
 #include "ca.h"
 #include "al.h"
@@ -54,7 +54,7 @@
 #if defined(PARI)
 #include "genpari.h"
 #endif
-#if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__)
+#if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX)
 #include <sgtty.h>
 #endif
 
@@ -100,8 +100,8 @@ int do_server_in_X11;
 Obj LastVal;
 char LastError[BUFSIZ];
 int timer_is_set;
+NODE current_option;
 
-
 struct oV oVAR[] = {
 	{"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0},
 	{"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0},
@@ -134,6 +134,11 @@ 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;
 F F_TRUE = &oF_TRUE;  
 F F_FALSE = &oF_FALSE;
@@ -162,6 +167,12 @@ void glob_init() {
 	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_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);
 }
 
@@ -179,9 +190,12 @@ void notdef(VL vl,Obj a,Obj b,Obj *c)
 
 int do_asirrc;
 int do_file;
+char *do_filename;
 int do_message;
 int do_fep;
 int read_exec_file;
+int asir_setenv;
+int asir_texmacs;
 static int buserr_sav;
 static char asir_history[BUFSIZ];
 
@@ -245,13 +259,18 @@ void param_init() {
 Obj user_defined_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);
-	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) {
+		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);
 	}
-	fflush(asir_out);
 }
 
 void sprompt(char *ptr)
@@ -334,7 +353,13 @@ void process_args(int ac,char **av)
 				asir_terminate(1);
 			}
 			do_file = 1;
+			do_filename = *(av+1);
 			av += 2; ac -= 2;
+		} else if ( !strcmp(*av,"-texmacs") ) {
+			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") ) {
@@ -426,8 +451,10 @@ void asir_reset_handler() {
 void resetenv(char *s)
 {
 	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) )
 		closecurrentinput();
 	resetpvs();
@@ -448,6 +475,7 @@ void resetenv(char *s)
 #if !defined(VISUAL)
 	reset_timer();
 #endif
+	if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
 	LONGJMP(main_env,1);
 }
 
@@ -462,7 +490,11 @@ extern int ox_int_received, critical_when_signal;
 void int_handler(int sig)
 {
 	extern NODE PVSS;
+	FILE *stream;
 
+	if ( asir_texmacs ) stream = stdout;
+	else stream = stderr;
+
 	if ( do_file ) {
 		ExitAsir();
 	}
@@ -489,22 +521,36 @@ void int_handler(int sig)
 #endif
 		getchar();
 #endif
+	if ( asir_texmacs ) {
+		printf("\2\verbatim:\2channel:prompt\5\2verbatim:interrupt>\5\5"); fflush(stdout);
+	}
 	while ( 1 ) {
 		char buf[BUFSIZ];
 		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';
 		while ( buf[0] == '\n' )
 			fgets(buf,BUFSIZ,stdin);
 		switch ( c = buf[0] ) {
 			case 'q':
 				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);
 					if ( !strncmp(buf,"y",1) ) {
 						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) ) {
 						restore_handler();
 						return;
@@ -514,7 +560,11 @@ void int_handler(int sig)
 			case 't':
 			case 'u':
 				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);
 					if ( !strncmp(buf,"y",1) )
 						break;
@@ -528,10 +578,14 @@ void int_handler(int sig)
 				restore_handler();
 				if ( c == 'u' ) {
 					if ( registered_handler ) {
-						fprintf(stderr,
+						if ( asir_texmacs ) {
+							printf("\2verbatim:"); fflush(stdout);
+						}
+						fprintf(stream,
 							"Calling the registered exception handler...");
 						bevalf(registered_handler,0);
-						fprintf(stderr, "done.\n");
+						fprintf(stream, "done.\n");
+						if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
 					}
 				}
 				if ( read_exec_file ) {
@@ -551,9 +605,14 @@ void int_handler(int sig)
 				restore_handler();
 				return; break;
 			case 'w':
-				showpos(); break;
+				showpos();
+				break;
 			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;
 			default:
 				break;
@@ -636,13 +695,14 @@ void set_lasterror(char *s)
 }
 
 SNODE error_snode;
+int error_in_timer;
 
 void error(char *s)
 {
 	SNODE *snp=0;
 
 #if !defined(VISUAL)
-	if ( timer_is_set )
+	if ( !error_in_timer && timer_is_set )
 		alrm_handler(SIGVTALRM);
 #endif
 	fprintf(stderr,"%s\n",s);
@@ -728,24 +788,48 @@ void reset_timer()
 unsigned int get_asir_version();
 char *get_asir_distribution();
 
-void copyright() {
-#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.1(alpha5) copyright 2001, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
+char *get_pariversion() 
+{
 #if PARI
 #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
-	printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n");
-	printf("   H. Cohen and M. Olivier.\n");
+	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-2004, 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;
+}