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