| version 1.4, 2002/02/24 10:27:18 |
version 1.7, 2004/09/17 02:42:57 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/parser.c,v 1.3 2001/05/04 01:06:24 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/parser.c,v 1.6 2004/05/13 10:37:30 takayama Exp $ */ |
| /* |
/* |
| parser.c parser for poly.c |
parser.c parser for poly.c |
| */ |
*/ |
| Line 410 static void term() { |
|
| Line 410 static void term() { |
|
| |
|
| }else { |
}else { |
| if (ftype == NUM && gtype == NUM) { |
if (ftype == NUM && gtype == NUM) { |
| |
errorParser("num/num is not supported yet.\n"); |
| mpz_div(f,f,g); |
mpz_div(f,f,g); |
| utmp.ival = f; |
utmp.ival = f; |
| push(NUM,utmp); |
push(NUM,utmp); |
| Line 566 static void errorParser(s) char s[]; { |
|
| Line 567 static void errorParser(s) char s[]; { |
|
| extern char *GotoLabel; |
extern char *GotoLabel; |
| extern int GotoP; |
extern int GotoP; |
| extern int ErrorMessageMode; |
extern int ErrorMessageMode; |
| |
extern int RestrictedMode, RestrictedMode_saved; |
| int j; |
int j; |
| char tmpc[1024]; |
char tmpc[1024]; |
| |
RestrictedMode = RestrictedMode_saved; |
| |
cancelAlarm(); |
| if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
| sprintf(tmpc,"\nError(parser.c): "); |
sprintf(tmpc,"\nError(parser.c): "); |
| if (strlen(s) < 1000-strlen(tmpc)) { |
if (strlen(s) < 1000-strlen(tmpc)) { |