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(); |