| version 1.44, 2004/02/04 07:42:07 |
version 1.60, 2005/10/26 07:33:03 |
|
|
| * 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.43 2004/01/25 11:54:10 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.59 2005/10/10 15:16:38 saito 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_contrib_dir; |
| char *asir_pager; |
char *asir_pager; |
| |
|
| NODE usrf,sysf,noargsysf,ubinf,parif; |
NODE usrf,sysf,noargsysf,ubinf,parif; |
| Line 100 int do_server_in_X11; |
|
| Line 101 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; |
| |
NODE user_int_handler, user_quit_handler; |
| |
|
| |
|
| 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}, |
| Line 124 struct oVL oVLIST[52]; |
|
| Line 126 struct oVL oVLIST[52]; |
|
| VL CO = oVLIST; |
VL CO = oVLIST; |
| VL ALG; |
VL ALG; |
| |
|
| struct oVS oGPVS,oAPVS,oEPVS; |
struct oVS oGPVS,oAPVS,oEPVS,oPPVS; |
| VS GPVS = &oGPVS; |
VS GPVS = &oGPVS; |
| VS APVS = &oAPVS; |
VS APVS = &oAPVS; |
| VS EPVS = &oEPVS; |
VS EPVS = &oEPVS; |
| |
VS PPVS = &oPPVS; |
| VS CPVS,MPVS; |
VS CPVS,MPVS; |
| |
|
| NODE MODULE_LIST; |
NODE MODULE_LIST; |
| MODULE CUR_MODULE; |
MODULE CUR_MODULE; |
| char *CUR_FUNC; |
char *CUR_FUNC; |
| |
|
| struct oSymbol oGrlex, oGlex, oLex; |
struct oSYMBOL oGrlex, oGlex, oLex; |
| Symbol Symbol_grlex = &oGrlex; |
SYMBOL Symbol_grlex = &oGrlex; |
| Symbol Symbol_glex = &oGlex; |
SYMBOL Symbol_glex = &oGlex; |
| Symbol Symbol_lex = &oLex;; |
SYMBOL Symbol_lex = &oLex;; |
| |
|
| struct oF oF_TRUE,oF_FALSE; |
struct oF oF_TRUE,oF_FALSE; |
| F F_TRUE = &oF_TRUE; |
F F_TRUE = &oF_TRUE; |
| Line 163 void glob_init() { |
|
| Line 166 void glob_init() { |
|
| VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; |
VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; |
| reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); |
reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); |
| reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); |
reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); |
| |
reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); |
| CPVS = GPVS; |
CPVS = GPVS; |
| MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); |
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_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; |
| Line 171 void glob_init() { |
|
| Line 175 void glob_init() { |
|
| Symbol_grlex->value = 0; |
Symbol_grlex->value = 0; |
| OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex"; |
OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex"; |
| Symbol_glex->value = 1; |
Symbol_glex->value = 1; |
| OID(Symbol_lex) = O_SYMBOL; Symbol_glex->name = "@lex"; |
OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex"; |
| Symbol_lex->value = 1; |
Symbol_lex->value = 2; |
| sprintf(asirname,"%s/asir_symtab",asir_libdir); |
sprintf(asirname,"%s/asir_symtab",asir_libdir); |
| } |
} |
| |
|
|
|
| int do_file; |
int do_file; |
| char *do_filename; |
char *do_filename; |
| int do_message; |
int do_message; |
| |
int do_terse; |
| int do_fep; |
int do_fep; |
| int read_exec_file; |
int read_exec_file; |
| int asir_setenv; |
int asir_setenv; |
| Line 214 void ExitAsir() { |
|
| Line 219 void ExitAsir() { |
|
| void asir_terminate(int status) |
void asir_terminate(int status) |
| { |
{ |
| int t; |
int t; |
| |
NODE n; |
| |
|
| if ( read_exec_file ) { |
if ( read_exec_file ) { |
| t = read_exec_file; |
t = read_exec_file; |
| Line 223 void asir_terminate(int status) |
|
| Line 229 void asir_terminate(int status) |
|
| else |
else |
| LONGJMP(exec_env,status); |
LONGJMP(exec_env,status); |
| } else { |
} else { |
| |
if ( user_quit_handler ) { |
| |
if ( !do_terse ) |
| |
fprintf(stderr,"Calling the registered quit callbacks..."); |
| |
for ( n = user_quit_handler; n; n = NEXT(n) ) |
| |
bevalf((FUNC)BDY(n),0); |
| |
if ( !do_terse ) |
| |
fprintf(stderr, "done.\n"); |
| |
} |
| tty_reset(); |
tty_reset(); |
| #if defined(MPI) |
#if defined(MPI) |
| if ( !mpi_myid ) |
if ( !mpi_myid ) |
| Line 258 void param_init() { |
|
| Line 272 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 ) { |
| fprintf(asir_out,"[%d] ",APVS->n); |
fprintf(asir_out,"[%d] ",APVS->n); |
| else if ( do_quiet && user_defined_prompt |
fflush(asir_out); |
| |
} else if ( do_quiet && user_defined_prompt |
| && OID(user_defined_prompt)==O_STR) { |
&& OID(user_defined_prompt)==O_STR) { |
| fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
| |
fflush(asir_out); |
| } |
} |
| fflush(asir_out); |
|
| } |
} |
| |
|
| void sprompt(char *ptr) |
void sprompt(char *ptr) |
| Line 472 void fatal(int n) |
|
| Line 487 void fatal(int n) |
|
| resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
| } |
} |
| |
|
| FUNC registered_handler; |
|
| extern int ox_int_received, critical_when_signal; |
extern int ox_int_received, critical_when_signal; |
| |
|
| void int_handler(int sig) |
void int_handler(int sig) |
| { |
{ |
| extern NODE PVSS; |
extern NODE PVSS; |
| |
NODE t; |
| |
|
| |
|
| if ( do_file ) { |
if ( do_file ) { |
| ExitAsir(); |
ExitAsir(); |
| } |
} |
| Line 520 void int_handler(int sig) |
|
| Line 536 void int_handler(int sig) |
|
| 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); |
fprintf(stderr,"Bye\n"); |
| |
asir_terminate(1); |
| } else if ( !strncmp(buf,"n",1) ) { |
} else if ( !strncmp(buf,"n",1) ) { |
| restore_handler(); |
restore_handler(); |
| return; |
return; |
| Line 543 void int_handler(int sig) |
|
| Line 560 void int_handler(int sig) |
|
| debug_mode = 0; |
debug_mode = 0; |
| restore_handler(); |
restore_handler(); |
| if ( c == 'u' ) { |
if ( c == 'u' ) { |
| if ( registered_handler ) { |
if ( user_int_handler ) { |
| fprintf(stderr, |
if ( !do_terse ) |
| "Calling the registered exception handler..."); |
fprintf(stderr, |
| bevalf(registered_handler,0); |
"Calling the registered exception callbacks..."); |
| fprintf(stderr, "done.\n"); |
for ( t = user_int_handler; t; t = NEXT(t) ) |
| |
bevalf((FUNC)BDY(t),0); |
| |
if ( !do_terse ) |
| |
fprintf(stderr, "done.\n"); |
| } |
} |
| } |
} |
| if ( read_exec_file ) { |
if ( read_exec_file ) { |
| Line 567 void int_handler(int sig) |
|
| Line 587 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"); |
fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); |
| break; |
break; |
| Line 652 void set_lasterror(char *s) |
|
| Line 673 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 705 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 744 void reset_timer() |
|
| Line 766 void reset_timer() |
|
| unsigned int get_asir_version(); |
unsigned int get_asir_version(); |
| char *get_asir_distribution(); |
char *get_asir_distribution(); |
| |
|
| void copyright() { |
char *get_pariversion() |
| #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.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); |
|
| #if PARI |
#if PARI |
| #if 0 |
#if 0 |
| printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n"); |
return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n"; |
| |
#else |
| |
return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n H. Cohen and M. Olivier.\n"; |
| #endif |
#endif |
| printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n"); |
|
| printf(" H. Cohen and M. Olivier.\n"); |
|
| #endif |
#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-2005, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 Copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s"; |
| |
printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); |
| |
} |
| |
|
| |
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-2005, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 copyright 1988-2005, 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; |
| |
} |