| version 1.14, 2001/03/08 07:49:13 | version 1.17, 2001/03/19 01:26:36 | 
|  |  | 
| * 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.13 2000/12/22 10:03:31 saito Exp $ | * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.16 2001/03/19 00:44:02 noro Exp $ | 
| */ | */ | 
| #include "ca.h" | #include "ca.h" | 
| #include "al.h" | #include "al.h" | 
| 
| Line 94  FILE *ox_istream,*ox_ostream; |  | 
| Line 94  FILE *ox_istream,*ox_ostream; |  | 
| int do_server_in_X11; | int do_server_in_X11; | 
| Obj LastVal; | Obj LastVal; | 
| char LastError[BUFSIZ]; | char LastError[BUFSIZ]; | 
|  | int timer_is_set; | 
|  |  | 
|  |  | 
| 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}, | 
|  |  | 
| /* restore states */ | /* restore states */ | 
| reset_engine(); | reset_engine(); | 
| reset_io(); | reset_io(); | 
|  | #if !defined(VISUAL) | 
|  | reset_timer(); | 
|  | #endif | 
| longjmp(env,1); | longjmp(env,1); | 
| } | } | 
|  |  | 
|  |  | 
| { | { | 
| SNODE *snp; | SNODE *snp; | 
|  |  | 
|  | #if !defined(VISUAL) | 
|  | if ( timer_is_set ) | 
|  | alrm_handler(SIGVTALRM); | 
|  | #endif | 
| fprintf(stderr,"%s\n",s); | fprintf(stderr,"%s\n",s); | 
| set_lasterror(s); | set_lasterror(s); | 
| if ( CPVS != GPVS ) { | if ( CPVS != GPVS ) { | 
|  |  | 
| it.it_value.tv_usec = 0; | it.it_value.tv_usec = 0; | 
| setitimer(ITIMER_VIRTUAL,&it,0); | setitimer(ITIMER_VIRTUAL,&it,0); | 
| signal(SIGVTALRM,alrm_handler); | signal(SIGVTALRM,alrm_handler); | 
|  | timer_is_set = 1; | 
| } | } | 
|  |  | 
| void reset_timer() | void reset_timer() | 
| 
| Line 661  void reset_timer() |  | 
| Line 671  void reset_timer() |  | 
| it.it_value.tv_usec = 0; | it.it_value.tv_usec = 0; | 
| setitimer(ITIMER_VIRTUAL,&it,0); | setitimer(ITIMER_VIRTUAL,&it,0); | 
| signal(SIGVTALRM,SIG_IGN); | signal(SIGVTALRM,SIG_IGN); | 
|  | timer_is_set = 0; | 
| } | } | 
| #endif | #endif | 
|  |  | 
| 
| Line 668  unsigned int get_asir_version(); |  | 
| Line 679  unsigned int get_asir_version(); |  | 
| char *get_asir_distribution(); | char *get_asir_distribution(); | 
|  |  | 
| void copyright() { | 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", | printf("This is Risa/Asir, Version %d (%s Distribution).\n", | 
| get_asir_version(), get_asir_distribution()); | get_asir_version(), get_asir_distribution()); | 
|  | #endif | 
| printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n"); | printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n"); | 
| printf("Copyright 2000,2001, Risa/Asir committers, http://www.openxm.org/.\n"); | printf("Copyright 2000,2001, Risa/Asir committers, http://www.openxm.org/.\n"); | 
| printf("GC 5.3, copyright 1999, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); | printf("GC 5.3, copyright 1999, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); |