| version 1.47, 2004/02/25 06:43:52 |
version 1.52, 2004/12/15 22:51:40 |
|
|
| * 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/glob.c,v 1.46 2004/02/09 08:23:30 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.51 2004/11/24 06:01:04 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "al.h" |
#include "al.h" |
| Line 83 extern FILE *asir_out; |
|
| Line 83 extern FILE *asir_out; |
|
| |
|
| INFILE asir_infile; |
INFILE asir_infile; |
| JMP_BUF main_env,debug_env,timer_env,exec_env; |
JMP_BUF main_env,debug_env,timer_env,exec_env; |
| int little_endian,debug_mode; |
int little_endian,debug_mode,no_debug_on_error; |
| char *asir_libdir; |
char *asir_libdir; |
| char *asir_pager; |
char *asir_pager; |
| |
|
| Line 100 int do_server_in_X11; |
|
| Line 100 int do_server_in_X11; |
|
| Obj LastVal; |
Obj LastVal; |
| char LastError[BUFSIZ]; |
char LastError[BUFSIZ]; |
| int timer_is_set; |
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}, |
| {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, |
{"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, |
|
|
| int do_fep; |
int do_fep; |
| int read_exec_file; |
int read_exec_file; |
| int asir_setenv; |
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 258 void param_init() { |
|
| Line 259 void param_init() { |
|
| Obj user_defined_prompt; |
Obj user_defined_prompt; |
| |
|
| void 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); |
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) { |
&& 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); |
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) |
void sprompt(char *ptr) |
| Line 349 void process_args(int ac,char **av) |
|
| Line 355 void process_args(int ac,char **av) |
|
| do_file = 1; |
do_file = 1; |
| do_filename = *(av+1); |
do_filename = *(av+1); |
| av += 2; ac -= 2; |
av += 2; ac -= 2; |
| |
} else if ( !strcmp(*av,"-texmacs") ) { |
| |
asir_texmacs = 1; av++; ac--; |
| |
*stderr = *stdout; |
| } else if ( !strcmp(*av,"-E") ) { |
} else if ( !strcmp(*av,"-E") ) { |
| asir_setenv = 1; av++; ac--; |
asir_setenv = 1; av++; ac--; |
| } else if ( !strcmp(*av,"-quiet") ) { |
} else if ( !strcmp(*av,"-quiet") ) { |
| Line 442 void asir_reset_handler() { |
|
| Line 451 void asir_reset_handler() { |
|
| void resetenv(char *s) |
void resetenv(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 464 void resetenv(char *s) |
|
| Line 475 void resetenv(char *s) |
|
| #if !defined(VISUAL) |
#if !defined(VISUAL) |
| reset_timer(); |
reset_timer(); |
| #endif |
#endif |
| |
if ( asir_texmacs ) { putchar('\5'); fflush(stdout); } |
| LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
| } |
} |
| |
|
| Line 478 extern int ox_int_received, critical_when_signal; |
|
| Line 490 extern int ox_int_received, critical_when_signal; |
|
| void int_handler(int sig) |
void int_handler(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 505 void int_handler(int sig) |
|
| Line 521 void int_handler(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); } |
| |
fprintf(stream,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stream); |
| |
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 530 void int_handler(int sig) |
|
| Line 560 void int_handler(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 544 void int_handler(int sig) |
|
| Line 578 void int_handler(int sig) |
|
| 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 567 void int_handler(int sig) |
|
| Line 605 void int_handler(int sig) |
|
| 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 652 void set_lasterror(char *s) |
|
| Line 695 void set_lasterror(char *s) |
|
| } |
} |
| |
|
| SNODE error_snode; |
SNODE error_snode; |
| |
int error_in_timer; |
| |
|
| void error(char *s) |
void error(char *s) |
| { |
{ |
| SNODE *snp=0; |
SNODE *snp=0; |
| |
|
| #if !defined(VISUAL) |
#if !defined(VISUAL) |
| if ( timer_is_set ) |
if ( !error_in_timer && timer_is_set ) |
| alrm_handler(SIGVTALRM); |
alrm_handler(SIGVTALRM); |
| #endif |
#endif |
| fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
| Line 683 void error(char *s) |
|
| Line 727 void error(char *s) |
|
| 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 ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) |
| bp(error_snode); |
bp(error_snode); |
| if ( read_exec_file ) |
if ( read_exec_file ) |
| read_exec_file = 0; |
read_exec_file = 0; |
| Line 766 char *get_intervalversion() |
|
| Line 810 char *get_intervalversion() |
|
| |
|
| void copyright() |
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"; |
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()); |
printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); |
| |
if ( asir_texmacs ) putchar('\5'); |
| } |
} |
| |
|
| char *scopyright() |
char *scopyright() |