version 1.58, 2005/08/24 06:28:39 |
version 1.63, 2006/02/08 04:33:50 |
|
|
* 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.57 2005/07/12 02:37:32 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.62 2006/02/08 02:11:19 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
Line 99 FUNC parse_targetf; |
|
Line 99 FUNC parse_targetf; |
|
FILE *ox_istream,*ox_ostream; |
FILE *ox_istream,*ox_ostream; |
int do_server_in_X11; |
int do_server_in_X11; |
Obj LastVal; |
Obj LastVal; |
|
LIST LastStackTrace; |
char LastError[BUFSIZ]; |
char LastError[BUFSIZ]; |
int timer_is_set; |
int timer_is_set; |
NODE current_option; |
NODE current_option; |
Line 126 struct oVL oVLIST[52]; |
|
Line 127 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; |
Line 165 void glob_init() { |
|
Line 167 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 196 char *do_filename; |
|
Line 199 char *do_filename; |
|
int do_message; |
int do_message; |
int do_terse; |
int do_terse; |
int do_fep; |
int do_fep; |
int read_exec_file; |
|
int asir_setenv; |
int asir_setenv; |
static int buserr_sav; |
static int buserr_sav; |
static char asir_history[BUFSIZ]; |
static char asir_history[BUFSIZ]; |
Line 212 void ExitAsir() { |
|
Line 214 void ExitAsir() { |
|
/* |
/* |
* status = 1 abnormal termination (error() etc.) |
* status = 1 abnormal termination (error() etc.) |
* status = 2 normal termination (end(), quit() etc.) |
* status = 2 normal termination (end(), quit() etc.) |
|
* status = 3 absolute termination |
*/ |
*/ |
|
|
void asir_terminate(int status) |
void asir_terminate(int status) |
Line 219 void asir_terminate(int status) |
|
Line 222 void asir_terminate(int status) |
|
int t; |
int t; |
NODE n; |
NODE n; |
|
|
if ( read_exec_file ) { |
/* called from engine in Windows */ |
t = read_exec_file; |
if ( status == 3 ) asir_infile = 0; |
read_exec_file = 0; |
|
if ( t == 1 ) |
if ( asir_infile && asir_infile->ready_for_longjmp ) |
LONGJMP(main_env,status); |
LONGJMP(asir_infile->jmpbuf,status); |
else |
else { |
LONGJMP(exec_env,status); |
|
} else { |
|
if ( user_quit_handler ) { |
if ( user_quit_handler ) { |
if ( !do_terse ) |
if ( !do_terse ) |
fprintf(stderr,"Calling the registered quit callbacks..."); |
fprintf(stderr,"Calling the registered quit callbacks..."); |
Line 356 void process_args(int ac,char **av) |
|
Line 357 void process_args(int ac,char **av) |
|
do_quiet = 1; |
do_quiet = 1; |
in_fp = fopen(*(av+1),"r"); |
in_fp = fopen(*(av+1),"r"); |
if ( !in_fp ) { |
if ( !in_fp ) { |
fprintf(stderr,"%s does not exist!",*(av+1)); |
fprintf(stderr,"%s does not exist!\n",*(av+1)); |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
do_file = 1; |
do_file = 1; |
Line 452 void asir_reset_handler() { |
|
Line 453 void asir_reset_handler() { |
|
signal(SIGINT,old_int); |
signal(SIGINT,old_int); |
} |
} |
|
|
|
extern int I_am_server; |
|
|
void resetenv(char *s) |
void resetenv(char *s) |
{ |
{ |
extern FILE *outfile; |
extern FILE *outfile; |
Line 533 void int_handler(int sig) |
|
Line 536 void int_handler(int sig) |
|
fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); |
fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); |
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
if ( !strncmp(buf,"y",1) ) { |
if ( !strncmp(buf,"y",1) ) { |
read_exec_file = 0; |
|
fprintf(stderr,"Bye\n"); |
fprintf(stderr,"Bye\n"); |
asir_terminate(1); |
asir_terminate(1); |
} else if ( !strncmp(buf,"n",1) ) { |
} else if ( !strncmp(buf,"n",1) ) { |
Line 568 void int_handler(int sig) |
|
Line 570 void int_handler(int sig) |
|
fprintf(stderr, "done.\n"); |
fprintf(stderr, "done.\n"); |
} |
} |
} |
} |
if ( read_exec_file ) { |
resetenv("return to toplevel"); |
read_exec_file = 0; |
|
resetenv("initialization aborted; return to toplevel"); |
|
} else |
|
resetenv("return to toplevel"); |
|
break; |
break; |
case 'd': |
case 'd': |
#if 0 |
#if 0 |
Line 705 void error(char *s) |
|
Line 703 void error(char *s) |
|
if ( CPVS != GPVS ) |
if ( CPVS != GPVS ) |
if ( !no_debug_on_error && (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 ( I_am_server ) |
read_exec_file = 0; |
showpos_to_list(&LastStackTrace); |
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
Line 726 void toplevel(char *s) |
|
Line 724 void toplevel(char *s) |
|
showpos_to_string(errbuf+strlen(errbuf)); |
showpos_to_string(errbuf+strlen(errbuf)); |
ExitAsir(); |
ExitAsir(); |
} |
} |
if ( read_exec_file ) |
|
read_exec_file = 0; |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
Line 768 char *get_pariversion() |
|
Line 764 char *get_pariversion() |
|
{ |
{ |
#if PARI |
#if PARI |
#if 0 |
#if 0 |
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"; |
return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n"; |
#endif |
#else |
return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n 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 |
#endif |
|
#endif |
return ""; |
return ""; |
} |
} |
|
|
Line 786 char *get_intervalversion() |
|
Line 783 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-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"; |
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()); |
printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion()); |
} |
} |
|
|