=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v retrieving revision 1.38 retrieving revision 1.50 diff -u -p -r1.38 -r1.50 --- OpenXM_contrib2/asir2000/parse/glob.c 2003/10/19 02:54:41 1.38 +++ OpenXM_contrib2/asir2000/parse/glob.c 2004/06/30 06:26:39 1.50 @@ -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.37 2003/09/12 01:12:41 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.49 2004/05/14 09:20:57 noro 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 #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,10 +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 no_prompt; int read_exec_file; +int asir_setenv; +int asir_texmacs; static int buserr_sav; static char asir_history[BUFSIZ]; @@ -242,11 +255,22 @@ void param_init() { else little_endian = 0; } - + +Obj user_defined_prompt; + void prompt() { - if ( !no_prompt && !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); - fflush(asir_out); + 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(char *ptr) @@ -329,15 +353,19 @@ 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--; + do_quiet = 1; av++; ac--; } else if ( !strcmp(*av,"-norc") ) { do_asirrc = 0; av++; ac--; } else if ( !strcmp(*av,"-nomessage") ) { do_message = 0; av++; ac--; - } else if ( !strcmp(*av,"-terse") ) { - no_prompt = 0; av++; ac--; } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { set_rootdir(*(av+1)); av += 2; ac -= 2; } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { @@ -423,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(); @@ -445,6 +475,7 @@ void resetenv(char *s) #if !defined(VISUAL) reset_timer(); #endif + if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } LONGJMP(main_env,1); } @@ -459,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(); } @@ -486,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; @@ -511,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; @@ -525,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 ) { @@ -548,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; @@ -671,7 +733,28 @@ void error(char *s) resetenv("return to toplevel"); } +void toplevel(char *s) +{ + SNODE *snp=0; + #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 void set_timer(int interval) @@ -704,24 +787,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; +}