| version 1.12, 2003/03/23 22:09:57 |
version 1.14, 2003/06/02 10:25:57 |
|
|
| /* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
| /* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.11 2003/03/23 20:17:35 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.13 2003/03/30 08:05:23 ohara Exp $ */ |
| |
|
| /* |
/* |
| This module is a parser for OX/CMO expressions. |
This module is a parser for OX/CMO expressions. |
| Line 52 static void parse_error(char *s); |
|
| Line 52 static void parse_error(char *s); |
|
| static void parse_right_parenthesis(); |
static void parse_right_parenthesis(); |
| static void parse_left_parenthesis(); |
static void parse_left_parenthesis(); |
| static void parse_comma(); |
static void parse_comma(); |
| #if defined(WITH_GMP) |
|
| static mpz_ptr parse_mpz_integer(); |
static mpz_ptr parse_mpz_integer(); |
| #endif /* WITH_GMP */ |
|
| static int parse_integer(); |
static int parse_integer(); |
| static char *parse_string(); |
static char *parse_string(); |
| static cmo *parse_cmo_null(); |
static cmo *parse_cmo_null(); |
| Line 63 static cmo *parse_cmo_string(); |
|
| Line 61 static cmo *parse_cmo_string(); |
|
| static cmo *parse_cmo_mathcap(); |
static cmo *parse_cmo_mathcap(); |
| static cmo *parse_cmo_list(); |
static cmo *parse_cmo_list(); |
| static cmo *parse_cmo_monomial32(); |
static cmo *parse_cmo_monomial32(); |
| #if defined(WITH_GMP) |
|
| static cmo *parse_cmo_zz(); |
static cmo *parse_cmo_zz(); |
| #endif /* WITH_GMP */ |
|
| static cmo *parse_cmo_zero(); |
static cmo *parse_cmo_zero(); |
| static cmo *parse_cmo_dms_generic(); |
static cmo *parse_cmo_dms_generic(); |
| static cmo *parse_cmo_ring_by_name(); |
static cmo *parse_cmo_ring_by_name(); |
| Line 222 static cmo *parse_cmo() |
|
| Line 218 static cmo *parse_cmo() |
|
| token = lex(); |
token = lex(); |
| m = parse_cmo_monomial32(); |
m = parse_cmo_monomial32(); |
| break; |
break; |
| #if defined(WITH_GMP) |
|
| case TOKEN(CMO_ZZ): |
case TOKEN(CMO_ZZ): |
| token = lex(); |
token = lex(); |
| m = parse_cmo_zz(); |
m = parse_cmo_zz(); |
| break; |
break; |
| #endif /* WITH_GMP */ |
|
| case TOKEN(CMO_ZERO): |
case TOKEN(CMO_ZERO): |
| token = lex(); |
token = lex(); |
| m = parse_cmo_zero(); |
m = parse_cmo_zero(); |
| Line 282 static void parse_comma() |
|
| Line 276 static void parse_comma() |
|
| token = lex(); |
token = lex(); |
| } |
} |
| |
|
| #if defined(WITH_GMP) |
|
| static mpz_ptr new_mpz_set_str(char *s) |
static mpz_ptr new_mpz_set_str(char *s) |
| { |
{ |
| mpz_ptr z = malloc(sizeof(mpz_t)); |
mpz_ptr z = MALLOC(sizeof(mpz_t)); |
| mpz_init_set_str(z, s, 10); |
mpz_init_set_str(z, s, 10); |
| return z; |
return z; |
| } |
} |
| |
|
| static mpz_ptr my_mpz_neg(mpz_ptr src) |
static mpz_ptr my_mpz_neg(mpz_ptr src) |
| { |
{ |
| mpz_ptr z = malloc(sizeof(mpz_t)); |
mpz_ptr z = MALLOC(sizeof(mpz_t)); |
| mpz_init(z); |
mpz_init(z); |
| mpz_neg(z, src); |
mpz_neg(z, src); |
| #ifdef DEBUG |
|
| free(src); |
|
| #endif |
|
| return z; |
return z; |
| } |
} |
| |
|
| Line 320 static mpz_ptr parse_mpz_integer() |
|
| Line 310 static mpz_ptr parse_mpz_integer() |
|
| if (sign == -1) { |
if (sign == -1) { |
| val = my_mpz_neg(val); |
val = my_mpz_neg(val); |
| } |
} |
| #ifdef DEBUG |
|
| free(yylval.sym); |
|
| #endif |
|
| token = lex(); |
token = lex(); |
| return val; |
return val; |
| } |
} |
| #endif /* WITH_GMP */ |
|
| |
|
| static int parse_integer() |
static int parse_integer() |
| { |
{ |
| #if defined(WITH_GMP) |
#if 0 |
| return mpz_get_si(parse_mpz_integer()); |
return mpz_get_si(parse_mpz_integer()); |
| #else |
#else |
| int sign = 1; |
int sign = 1; |
| Line 347 static int parse_integer() |
|
| Line 333 static int parse_integer() |
|
| parse_error("no integer."); |
parse_error("no integer."); |
| } |
} |
| val = sign*atoi(yylval.sym); |
val = sign*atoi(yylval.sym); |
| #ifdef DEBUG |
|
| free(yylval.sym); |
|
| #endif |
|
| token = lex(); |
token = lex(); |
| return val; |
return val; |
| #endif |
#endif |
| Line 474 static cmo *parse_cmo_monomial32() |
|
| Line 457 static cmo *parse_cmo_monomial32() |
|
| return (cmo *)m; |
return (cmo *)m; |
| } |
} |
| |
|
| #if defined(WITH_GMP) |
|
| /* the following function rewrite internal data of mpz/cmo_zz. */ |
/* the following function rewrite internal data of mpz/cmo_zz. */ |
| static cmo *parse_cmo_zz() |
static cmo *parse_cmo_zz() |
| { |
{ |
| Line 503 static cmo *parse_cmo_zz() |
|
| Line 485 static cmo *parse_cmo_zz() |
|
| parse_right_parenthesis(); |
parse_right_parenthesis(); |
| return (cmo *)m; |
return (cmo *)m; |
| } |
} |
| #endif /* WITH_GMP */ |
|
| |
|
| static cmo *parse_cmo_zero() |
static cmo *parse_cmo_zero() |
| { |
{ |
| Line 622 static void init_lex(char *s) |
|
| Line 603 static void init_lex(char *s) |
|
| #define SIZE_BUFFER 8192 |
#define SIZE_BUFFER 8192 |
| static char buffer[SIZE_BUFFER]; |
static char buffer[SIZE_BUFFER]; |
| |
|
| static char *mkstr(char *src) |
static char *new_string(char *s) |
| { |
{ |
| int len; |
char *t = MALLOC(strlen(s)+1); |
| char *s; |
strcpy(t, s); |
| len = strlen(src); |
return t; |
| s = malloc(len+1); |
|
| strcpy(s, src); |
|
| return s; |
|
| } |
} |
| |
|
| /* no measure for buffer overflow */ |
/* no measure for buffer overflow */ |
| Line 643 static char *lex_digit() |
|
| Line 621 static char *lex_digit() |
|
| buff[i] = c; |
buff[i] = c; |
| }else { |
}else { |
| buff[i] = '\0'; |
buff[i] = '\0'; |
| return mkstr(buff); |
return new_string(buff); |
| } |
} |
| c = mygetc(); |
c = mygetc(); |
| } |
} |
| buff[SIZE_BUFFER-1] = '\0'; |
buff[SIZE_BUFFER-1] = '\0'; |
| return mkstr(buff); |
return new_string(buff); |
| } |
} |
| |
|
| #define MK_KEY_CMO(x) { #x , x , TOKEN(x) , IS_CMO } |
#define MK_KEY_CMO(x) { #x , x , TOKEN(x) , IS_CMO } |
| Line 740 static char *lex_quoted_string() |
|
| Line 718 static char *lex_quoted_string() |
|
| if(c == '"') { |
if(c == '"') { |
| c = mygetc(); |
c = mygetc(); |
| buffer[i]='\0'; |
buffer[i]='\0'; |
| return mkstr(buffer); |
return new_string(buffer); |
| }else if (c == '\\') { |
}else if (c == '\\') { |
| c0 = c; |
c0 = c; |
| c = mygetc(); |
c = mygetc(); |