| version 1.5, 2000/10/10 05:23:21 |
version 1.13, 2003/03/30 08:05:23 |
|
|
| /* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
| /* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.4 2000/03/10 12:24:39 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.12 2003/03/23 22:09:57 ohara Exp $ */ |
| |
|
| /* |
/* |
| This module is a parser for OX/CMO expressions. |
This module is a parser for OX/CMO expressions. |
| Some commnets is written in Japanese by using the EUC-JP coded |
Some commnets are written in Japanese by using the EUC-JP coded |
| character set. |
character set. |
| */ |
*/ |
| |
|
| 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(); |
| static mpz_ptr parse_integer(); |
static mpz_ptr parse_mpz_integer(); |
| |
static int parse_integer(); |
| static char *parse_string(); |
static char *parse_string(); |
| static cmo *parse_cmo_null(); |
static cmo *parse_cmo_null(); |
| static cmo *parse_cmo_int32(); |
static cmo *parse_cmo_int32(); |
| Line 96 static jmp_buf env_parse; |
|
| Line 97 static jmp_buf env_parse; |
|
| /* This is a parsing fault. */ |
/* This is a parsing fault. */ |
| static void parse_error(char *s) |
static void parse_error(char *s) |
| { |
{ |
| fprintf(stderr, "syntax error: %s\n", s); |
ox_printf("syntax error: %s\n", s); |
| longjmp(env_parse, 1); |
longjmp(env_parse, 1); |
| } |
} |
| |
|
| Line 287 static mpz_ptr my_mpz_neg(mpz_ptr src) |
|
| Line 288 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); |
| #ifndef DEBUG |
#ifdef DEBUG |
| free(src); |
free(src); |
| #endif |
#endif |
| return z; |
return z; |
| } |
} |
| |
|
| static mpz_ptr parse_integer() |
static mpz_ptr parse_mpz_integer() |
| { |
{ |
| int sign = 1; |
int sign = 1; |
| mpz_ptr val; |
mpz_ptr val; |
| Line 312 static mpz_ptr parse_integer() |
|
| Line 313 static mpz_ptr parse_integer() |
|
| if (sign == -1) { |
if (sign == -1) { |
| val = my_mpz_neg(val); |
val = my_mpz_neg(val); |
| } |
} |
| #ifndef DEBUG |
#ifdef DEBUG |
| free(yylval.sym); |
free(yylval.sym); |
| #endif |
#endif |
| token = lex(); |
token = lex(); |
| return val; |
return val; |
| } |
} |
| |
|
| |
static int parse_integer() |
| |
{ |
| |
#if 0 |
| |
return mpz_get_si(parse_mpz_integer()); |
| |
#else |
| |
int sign = 1; |
| |
int val; |
| |
|
| |
if (token == '+') { |
| |
token = lex(); |
| |
}else if (token == '-') { |
| |
sign = -1; |
| |
token = lex(); |
| |
} |
| |
|
| |
if (token != T_DIGIT) { |
| |
parse_error("no integer."); |
| |
} |
| |
val = sign*atoi(yylval.sym); |
| |
#ifdef DEBUG |
| |
free(yylval.sym); |
| |
#endif |
| |
token = lex(); |
| |
return val; |
| |
#endif |
| |
} |
| |
|
| static char *parse_string() |
static char *parse_string() |
| { |
{ |
| char *s; |
char *s; |
| Line 338 static cmo *parse_cmo_null() |
|
| Line 366 static cmo *parse_cmo_null() |
|
| |
|
| static cmo *parse_cmo_int32() |
static cmo *parse_cmo_int32() |
| { |
{ |
| mpz_ptr z; |
int z; |
| |
|
| parse_comma(); |
parse_comma(); |
| z = parse_integer(); |
z = parse_integer(); |
| parse_right_parenthesis(); |
parse_right_parenthesis(); |
| return (cmo *)new_cmo_int32(mpz_get_si(z)); |
return (cmo *)new_cmo_int32(z); |
| } |
} |
| |
|
| static cmo *parse_cmo_string() |
static cmo *parse_cmo_string() |
| Line 414 static cmo *parse_cmo_monomial32() |
|
| Line 442 static cmo *parse_cmo_monomial32() |
|
| int tag; |
int tag; |
| |
|
| parse_comma(); |
parse_comma(); |
| size = mpz_get_si(parse_integer()); |
size = parse_integer(); |
| if (size < 0) { |
if (size < 0) { |
| parse_error("invalid value."); |
parse_error("invalid value."); |
| } |
} |
| Line 422 static cmo *parse_cmo_monomial32() |
|
| Line 450 static cmo *parse_cmo_monomial32() |
|
| |
|
| for(i=0; i<size; i++) { |
for(i=0; i<size; i++) { |
| parse_comma(); |
parse_comma(); |
| m->exps[i] = mpz_get_si(parse_integer()); |
m->exps[i] = parse_integer(); |
| } |
} |
| parse_comma(); |
parse_comma(); |
| parse_left_parenthesis(); |
parse_left_parenthesis(); |
| Line 447 static cmo *parse_cmo_zz() |
|
| Line 475 static cmo *parse_cmo_zz() |
|
| mpz_ptr z; |
mpz_ptr z; |
| |
|
| parse_comma(); |
parse_comma(); |
| z = parse_integer(); |
z = parse_mpz_integer(); |
| if (token == ',') { |
if (token == ',') { |
| length = mpz_get_si(z); |
length = mpz_get_si(z); |
| m = new_cmo_zz_size(length); |
m = new_cmo_zz_size(length); |
| Line 455 static cmo *parse_cmo_zz() |
|
| Line 483 static cmo *parse_cmo_zz() |
|
| length = abs(length); |
length = abs(length); |
| for(i=0; i<length; i++) { |
for(i=0; i<length; i++) { |
| parse_comma(); |
parse_comma(); |
| m->mpz->_mp_d[i] = mpz_get_si(parse_integer()); |
m->mpz->_mp_d[i] = parse_integer(); |
| } |
} |
| }else if (pflag_cmo_addrev) { |
}else if (pflag_cmo_addrev) { |
| m = new_cmo_zz_set_mpz(z); |
m = new_cmo_zz_set_mpz(z); |
| Line 577 static int mygetc() |
|
| Line 605 static int mygetc() |
|
| |
|
| static void init_lex(char *s) |
static void init_lex(char *s) |
| { |
{ |
| |
c=' '; |
| mygetc_ptr=s; |
mygetc_ptr=s; |
| } |
} |
| |
|
| Line 684 symbol_t lookup(int i) |
|
| Line 713 symbol_t lookup(int i) |
|
| return &symbol_list[i]; |
return &symbol_list[i]; |
| } |
} |
| |
|
| char *symbol_get_key(symbol_t sp) |
char *get_symbol_by_tag(int tag) |
| { |
{ |
| return sp->key; |
symbol_t symp = lookup_by_tag(tag); |
| |
return (symp != NULL)? symp->key: NULL; |
| } |
} |
| |
|
| /* no measure for buffer overflow */ |
/* no measure for buffer overflow */ |
| Line 710 static char *lex_quoted_string() |
|
| Line 740 static char *lex_quoted_string() |
|
| } |
} |
| buffer[i]=c; |
buffer[i]=c; |
| } |
} |
| fprintf(stderr, "buffer overflow!\n"); |
ox_printf("buffer overflow!\n"); |
| exit(1); |
exit(1); |
| /* return NULL; */ |
/* return NULL; */ |
| } |
} |
| Line 722 static int token_of_symbol(char *key) |
|
| Line 752 static int token_of_symbol(char *key) |
|
| yylval.d = symp->tag; |
yylval.d = symp->tag; |
| return symp->token; |
return symp->token; |
| } |
} |
| #if DEBUG |
ox_printf("lex error:: \"%s\" is unknown symbol.\n", key); |
| fprintf(stderr, "lex error:: \"%s\" is unknown symbol.\n", key); |
|
| #endif |
|
| return 0; |
return 0; |
| } |
} |
| |
|
| Line 739 static int lex_symbol() |
|
| Line 767 static int lex_symbol() |
|
| buffer[i]=c; |
buffer[i]=c; |
| c = mygetc(); |
c = mygetc(); |
| } |
} |
| fprintf(stderr, "buffer overflow!\n"); |
ox_printf("buffer overflow!\n"); |
| return 0; |
return 0; |
| } |
} |
| |
|
| /* return する前に一文字先読みしておく. */ |
/* Remark: prefetching a character before return. */ |
| static int lex() |
static int lex() |
| { |
{ |
| int c_dash = 0; |
int c_dash = 0; |