version 1.1, 1999/10/29 08:06:41 |
version 1.9, 1999/11/18 21:56:43 |
|
|
/* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/ox_math/parse.c,v 1.8 1999/11/07 12:12:55 ohara Exp $ */ |
/* $Id$ */ |
|
/* OX expression, CMO expression パーサ */ |
/* OX expression, CMO expression パーサ */ |
|
|
/* cmo_addrev がセットされていれば、 |
|
厳密には CMO expression でないもの, 例えば |
|
(CMO_STRING, "abcdef") も CMO に変換される. */ |
|
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
#include <string.h> |
#include <string.h> |
#include <sys/param.h> |
#include <sys/param.h> |
|
#include <setjmp.h> |
#include "oxtag.h" |
#include "oxtag.h" |
#include "ox.h" |
#include "ox.h" |
#include "parse.h" |
#include "parse.h" |
|
|
/* --- 構文解析部 --- */ |
/* --- 構文解析部 --- */ |
|
/* (重要)セマンティックスについての注意. |
|
CMO_LIST, CMO_STRING は、あらかじめ与えられた要素の個数を無視する. |
|
CMO_MONOMIAL32 は無視しない. (つまりおかしいときは構文エラーになる) |
|
*/ |
|
|
/* parse.c, lex.c では, Lisp 表現された CMO 文字列を読み込み, |
/* parse.c, lex.c では, Lisp 表現された CMO 文字列を読み込み, |
バイト列を出力する. 中間表現として、cmo *を利用する. |
バイト列を出力する. 中間表現として、cmo 構造体を利用する. |
parse() はトークンの列から cmo *(の指す構造体)を生成する. |
parse() はトークンの列から cmo 構造体を生成し、そのポインタを返す. |
*/ |
*/ |
|
|
/* 重要なことはパーサ(の各サブルーチン)は |
/* 重要なことはパーサ(の各サブルーチン)は |
|
|
/* 現在読み込み中のトークンを表す. */ |
/* 現在読み込み中のトークンを表す. */ |
static int token = 0; |
static int token = 0; |
|
|
/* yylval は lex() によってセットされる. */ |
/* トークンの属性値. yylval は lex() によってセットされる. */ |
extern lex_value_t yylval; |
static union{ |
|
int d; |
|
char *sym; |
|
} yylval; |
|
|
int cmo_addrev = 1; /* CMO の省略記法を許すか否かのフラグ */ |
/* pflag_cmo_addrev がセットされていれば、厳密には CMO expression では |
|
ないもの, 例えば (CMO_STRING, "hello") も CMO に変換される. */ |
|
|
|
static int pflag_cmo_addrev = 1; /* CMO の省略記法を許すか否かのフラグ */ |
|
|
/* 関数の宣言 */ |
/* 関数の宣言 */ |
static int parse_error(char *s); |
static int parse_error(char *s); |
static int parse_lf(); |
static int parse_lf(); |
static int parse_right_parenthesis(); |
static int parse_right_parenthesis(); |
static int parse_left_parenthesis(); |
static int parse_left_parenthesis(); |
static int parse_comma(); |
static int parse_comma(); |
static int parse_integer(); |
static int parse_integer(); |
static cmo *parse_cmo_null(); |
|
static cmo *parse_cmo_zz(); |
|
static cmo *parse_cmo_list(); |
|
static cmo *parse_cmo_int32(); |
|
static cmo *parse_cmo_string(); |
|
static cmo *parse_cmo(); |
|
static char *parse_string(); |
static char *parse_string(); |
static int parse_sm(); |
static cmo *parse_cmo_null(); |
static ox* parse_ox(); |
static cmo *parse_cmo_int32(); |
static ox* parse_ox_command(); |
static cmo *parse_cmo_string(); |
static ox* parse_ox_data(); |
static cmo *parse_cmo_mathcap(); |
|
static cmo *parse_cmo_list(); |
|
static cmo *parse_cmo_monomial32(); |
|
static cmo *parse_cmo_zz(); |
|
static cmo *parse_cmo_zero(); |
|
static cmo *parse_cmo_dms_generic(); |
|
static cmo *parse_cmo_ring_by_name(); |
|
static cmo *parse_cmo_distributed_polynomial(); |
|
static cmo *parse_cmo_indeterminate(); |
|
static cmo *parse_cmo_error2(); |
|
static cmo *parse_cmo(); |
|
static int parse_sm(); |
|
static ox *parse_ox(); |
|
static ox *parse_ox_command(); |
|
static ox *parse_ox_data(); |
|
|
static int parse_error(char *s) |
static int is_token_cmo(int token) |
{ |
{ |
if (s != NULL) { |
return (token >= MIN_T_CMO && token < MAX_T_CMO) || token == TOKEN(CMO_ERROR2); |
fprintf(stderr, "%s\n", s); |
|
}else { |
|
fprintf(stderr, "syntax error.\n"); |
|
} |
|
exit(1); /* 例外処理. 本当は longjmp すべきであろう. */ |
|
} |
} |
|
|
#define MIN_T_CMO (T_MAGIC + 0) |
static int is_token_sm(int token) |
#define MAX_T_CMO (T_MAGIC + 256) |
|
|
|
static int is_t_cmo(int token) |
|
{ |
{ |
return (token >= MIN_T_CMO && token < MAX_T_CMO) || token == T_CMO_ERROR2; |
return token == TOKEN(SM); |
} |
} |
|
|
#define MIN_T_SM (T_MAGIC + 256) |
static int is_token_ox(int token) |
#define MAX_T_SM (T_MAGIC + 1100) |
|
|
|
static int is_t_sm(int token) |
|
{ |
{ |
return token >= MIN_T_SM && token < MAX_T_SM; |
return token >= MIN_T_OX && token < MAX_T_OX; |
} |
} |
|
|
#define MIN_T_OX (T_MAGIC + 512) |
static jmp_buf env_parse; |
#define MAX_T_OX (T_MAGIC + 600) |
|
|
|
static int is_t_ox(int token) |
/* 構文解析に失敗したことを意味する. */ |
|
static int parse_error(char *s) |
{ |
{ |
return token >= MIN_T_OX && token < MAX_T_OX; |
fprintf(stderr, "syntax error: %s\n", s); |
|
longjmp(env_parse, 1); |
} |
} |
|
|
/* この部分は書き換え予定. */ |
/* この部分は書き換え予定. */ |
|
|
{ |
{ |
cmo *m; |
cmo *m; |
|
|
|
if (setjmp(env_parse) != 0) { |
|
return NULL; /* 構文解析に失敗したら NULL を返す. */ |
|
} |
|
|
do{ |
do{ |
token = lex(); |
token = lex(); |
}while (token == '\n'); |
}while (token == '\n'); |
|
|
if (token == '(') { |
if (token == '(') { |
token = lex(); |
token = lex(); |
if (is_t_cmo(token)) { |
if (is_token_cmo(token)) { |
m = parse_cmo(); |
m = parse_cmo(); |
}else if(is_t_ox(token)) { |
}else if(is_token_ox(token)) { |
m = parse_ox(); |
m = parse_ox(); |
}else { |
}else { |
parse_error("syntax error: unknown keyword."); |
parse_error("invalid symbol."); |
return NULL; |
|
} |
} |
parse_lf(); |
parse_lf(); |
return m; |
return m; |
|
|
static int parse_lf() |
static int parse_lf() |
{ |
{ |
if (token != '\n') { |
if (token != '\n') { |
parse_error("syntax error: not new line."); |
parse_error("no new line."); |
} |
} |
return 0; |
return 0; |
} |
} |
|
|
|
|
static ox* parse_ox() |
static ox *parse_ox() |
{ |
{ |
ox *m = NULL; |
ox *m = NULL; |
|
|
switch(token) { |
switch(token) { |
case T_OX_COMMAND: |
case TOKEN(OX_COMMAND): |
token = lex(); |
token = lex(); |
m = parse_ox_command(); |
m = parse_ox_command(); |
break; |
break; |
case T_OX_DATA: |
case TOKEN(OX_DATA): |
token = lex(); |
token = lex(); |
m = parse_ox_data(); |
m = parse_ox_data(); |
break; |
break; |
default: |
default: |
parse_error("syntax error: invalid ox_tag."); |
parse_error("invalid ox."); |
} |
} |
return m; |
return m; |
} |
} |
|
|
static ox* parse_ox_data() |
static ox *parse_ox_data() |
{ |
{ |
ox* m; |
ox *m; |
|
|
parse_comma(); |
parse_comma(); |
parse_left_parenthesis(); |
parse_left_parenthesis(); |
Line 151 static ox* parse_ox_data() |
|
Line 160 static ox* parse_ox_data() |
|
return m; |
return m; |
} |
} |
|
|
|
static ox *parse_ox_command() |
|
{ |
|
ox *m; |
|
|
|
parse_comma(); |
|
parse_left_parenthesis(); |
|
m = (ox *)new_ox_command(parse_sm()); |
|
parse_right_parenthesis(); |
|
return m; |
|
} |
|
|
static int parse_sm() |
static int parse_sm() |
{ |
{ |
int sm_code; |
int sm_code; |
if (!is_t_sm(token)) { |
if (token != TOKEN(SM)) { |
parse_error("syntax error: invalid sm code."); |
parse_error("no opecode."); |
} |
} |
sm_code = token - T_MAGIC; |
sm_code = yylval.d; |
token = lex(); |
token = lex(); |
|
parse_right_parenthesis(); |
return sm_code; |
return sm_code; |
} |
} |
|
|
|
|
static ox* parse_ox_command() |
|
{ |
|
ox* m; |
|
|
|
parse_comma(); |
|
m = (ox *)new_ox_command(parse_sm()); |
|
parse_right_parenthesis(); |
|
return m; |
|
} |
|
|
|
/* 正しい入力ならば, parse_cmo を呼ぶ時点で, token には |
/* 正しい入力ならば, parse_cmo を呼ぶ時点で, token には |
T_CMO_xxx, T_OX_xxx のいずれかがセットされている. */ |
TOKEN(CMO_xxx), TOKEN(OX_xxx) のいずれかがセットされている. */ |
static cmo *parse_cmo() |
static cmo *parse_cmo() |
{ |
{ |
cmo *m = NULL; |
cmo *m = NULL; |
|
|
switch(token) { |
switch(token) { |
case T_CMO_NULL: |
case TOKEN(CMO_NULL): |
token = lex(); |
token = lex(); |
m = parse_cmo_null(); |
m = parse_cmo_null(); |
break; |
break; |
case T_CMO_INT32: |
case TOKEN(CMO_INT32): |
token = lex(); |
token = lex(); |
m = parse_cmo_int32(); |
m = parse_cmo_int32(); |
break; |
break; |
case T_CMO_STRING: |
case TOKEN(CMO_STRING): |
token = lex(); |
token = lex(); |
m = parse_cmo_string(); |
m = parse_cmo_string(); |
break; |
break; |
case T_CMO_ZZ: |
case TOKEN(CMO_MATHCAP): |
token = lex(); |
token = lex(); |
m = parse_cmo_zz(); |
m = parse_cmo_mathcap(); |
break; |
break; |
case T_CMO_LIST: |
case TOKEN(CMO_LIST): |
token = lex(); |
token = lex(); |
m = parse_cmo_list(); |
m = parse_cmo_list(); |
break; |
break; |
|
case TOKEN(CMO_MONOMIAL32): |
|
token = lex(); |
|
m = parse_cmo_monomial32(); |
|
break; |
|
case TOKEN(CMO_ZZ): |
|
token = lex(); |
|
m = parse_cmo_zz(); |
|
break; |
|
case TOKEN(CMO_ZERO): |
|
token = lex(); |
|
m = parse_cmo_zero(); |
|
break; |
|
case TOKEN(CMO_DMS_GENERIC): |
|
token = lex(); |
|
m = parse_cmo_dms_generic(); |
|
break; |
|
case TOKEN(CMO_RING_BY_NAME): |
|
token = lex(); |
|
m = parse_cmo_ring_by_name(); |
|
break; |
|
case TOKEN(CMO_DISTRIBUTED_POLYNOMIAL): |
|
token = lex(); |
|
m = parse_cmo_distributed_polynomial(); |
|
break; |
|
case TOKEN(CMO_INDETERMINATE): |
|
token = lex(); |
|
m = parse_cmo_indeterminate(); |
|
break; |
|
case TOKEN(CMO_ERROR2): |
|
token = lex(); |
|
m = parse_cmo_error2(); |
|
break; |
default: |
default: |
parse_error("syntax error: invalid cmo_tag."); |
parse_error("invalid cmo."); |
} |
} |
return m; |
return m; |
} |
} |
|
|
static int parse_right_parenthesis() |
static int parse_left_parenthesis() |
{ |
{ |
if (token != ')') { |
if (token != '(') { |
parse_error("syntax error: no right parenthesis exists."); |
parse_error("no left parenthesis."); |
return 0; |
|
} |
} |
token = lex(); |
token = lex(); |
} |
} |
|
|
static int parse_left_parenthesis() |
static int parse_right_parenthesis() |
{ |
{ |
if (token != '(') { |
if (token != ')') { |
parse_error("syntax error: no left parenthesis exists."); |
parse_error("no right parenthesis."); |
return 0; |
|
} |
} |
token = lex(); |
token = lex(); |
} |
} |
Line 227 static int parse_left_parenthesis() |
|
Line 268 static int parse_left_parenthesis() |
|
static int parse_comma() |
static int parse_comma() |
{ |
{ |
if (token != ',') { |
if (token != ',') { |
parse_error("syntax error: no comma exists."); |
parse_error("no comma."); |
return 0; |
|
} |
} |
token = lex(); |
token = lex(); |
return 1; |
|
} |
} |
|
|
|
static int parse_integer() |
|
{ |
|
int val; |
|
if (token != T_INTEGER) { |
|
parse_error("no integer."); |
|
} |
|
val = yylval.d; |
|
token = lex(); |
|
return val; |
|
} |
|
|
|
static char *parse_string() |
|
{ |
|
char *s; |
|
if (token != T_STRING) { |
|
parse_error("no string."); |
|
} |
|
s = yylval.sym; |
|
token = lex(); |
|
return s; |
|
} |
|
|
|
static cmo *parse_cmo_null() |
|
{ |
|
parse_right_parenthesis(); |
|
return (cmo *)new_cmo_null(); |
|
} |
|
|
|
static cmo *parse_cmo_int32() |
|
{ |
|
int i; |
|
|
|
parse_comma(); |
|
i = parse_integer(); |
|
parse_right_parenthesis(); |
|
return (cmo *)new_cmo_int32(i); |
|
} |
|
|
|
static cmo *parse_cmo_string() |
|
{ |
|
cmo_string *m; |
|
char *s; |
|
|
|
parse_comma(); |
|
if (token == T_INTEGER) { |
|
parse_integer(); |
|
parse_comma(); |
|
}else if (!pflag_cmo_addrev) { |
|
parse_error("invalid cmo string."); |
|
} |
|
s = parse_string(); |
|
m = new_cmo_string(s); |
|
parse_right_parenthesis(); |
|
return (cmo *)m; |
|
} |
|
|
|
static cmo *parse_cmo_mathcap() |
|
{ |
|
cmo *ob; |
|
|
|
parse_comma(); |
|
parse_left_parenthesis(); |
|
ob = parse_cmo(); |
|
parse_right_parenthesis(); |
|
return (cmo *)new_cmo_mathcap(ob); |
|
} |
|
|
|
static cmo *parse_cmo_list() |
|
{ |
|
int length=0; |
|
int i=0; |
|
cmo_list *m = new_cmo_list(); |
|
cmo *newcmo; |
|
|
|
if (token == ',') { |
|
parse_comma(); |
|
|
|
if (token == T_INTEGER) { |
|
parse_integer(); |
|
parse_comma(); |
|
}else if (!pflag_cmo_addrev) { |
|
parse_error("invalid cmo_list."); |
|
} |
|
|
|
while(token == '(') { |
|
parse_left_parenthesis(); |
|
newcmo = parse_cmo(); |
|
append_cmo_list(m, newcmo); |
|
if (token != ',') { |
|
break; |
|
} |
|
parse_comma(); |
|
} |
|
}else if (!pflag_cmo_addrev) { |
|
parse_error("invalid cmo_list."); |
|
} |
|
parse_right_parenthesis(); |
|
return (cmo *)m; |
|
} |
|
|
|
static cmo *parse_cmo_monomial32() |
|
{ |
|
int size; |
|
int *exps; |
|
int i; |
|
cmo_monomial32 *m; |
|
int tag; |
|
|
|
parse_comma(); |
|
size = parse_integer(); |
|
if (size < 0) { |
|
parse_error("invalid value."); |
|
} |
|
m = new_cmo_monomial32_size(size); |
|
|
|
for(i=0; i<size; i++) { |
|
parse_comma(); |
|
m->exps[i] = parse_integer(); |
|
} |
|
parse_comma(); |
|
parse_left_parenthesis(); |
|
m->coef = parse_cmo(); |
|
tag = m->coef->tag; |
|
|
|
/* m->coef は CMO_ZZ 型か CMO_INT32 型でなければならない */ |
|
if (tag != CMO_ZZ && tag != CMO_INT32) { |
|
parse_error("invalid cmo."); |
|
} |
|
parse_right_parenthesis(); |
|
return (cmo *)m; |
|
} |
|
|
/* cmo_zz の内部を直接いじる. */ |
/* cmo_zz の内部を直接いじる. */ |
static cmo *parse_cmo_zz() |
static cmo *parse_cmo_zz() |
{ |
{ |
Line 251 static cmo *parse_cmo_zz() |
|
Line 422 static cmo *parse_cmo_zz() |
|
parse_comma(); |
parse_comma(); |
m->mpz->_mp_d[i] = parse_integer(); |
m->mpz->_mp_d[i] = parse_integer(); |
} |
} |
}else if (cmo_addrev) { |
}else if (pflag_cmo_addrev) { |
m = new_cmo_zz_set_si(length); |
m = new_cmo_zz_set_si(length); |
}else { |
}else { |
parse_error("syntax error: invalid keyword."); |
parse_error("no comma."); |
} |
} |
|
|
parse_right_parenthesis(); |
parse_right_parenthesis(); |
return (cmo *)m; |
return (cmo *)m; |
} |
} |
|
|
static cmo *parse_cmo_list() |
static cmo *parse_cmo_zero() |
{ |
{ |
int length=0; |
|
int i=0; |
|
cmo_list *m; |
|
cmo *newcmo; |
|
|
|
parse_comma(); |
|
|
|
length = parse_integer(); |
|
m = new_cmo_list(); |
|
if (length<0) { |
|
parse_error("semantics error: a list has negative length."); |
|
} |
|
|
|
for(i=0; i<length; i++) { |
|
parse_comma(); |
|
parse_left_parenthesis(); |
|
newcmo = parse_cmo(); |
|
append_cmo_list(m, newcmo); |
|
} |
|
parse_right_parenthesis(); |
parse_right_parenthesis(); |
return (cmo *)m; |
return (cmo *)new_cmo_zero(); |
} |
} |
|
|
static int parse_integer() |
static cmo *parse_cmo_dms_generic() |
{ |
{ |
int val; |
parse_right_parenthesis(); |
if (token != T_INTEGER) { |
return (cmo *)new_cmo_dms_generic(); |
parse_error("syntax error: in parse_integer()."); |
|
} |
|
val = yylval.d; |
|
token = lex(); |
|
return val; |
|
} |
} |
|
|
static char *parse_string() |
static cmo *parse_cmo_ring_by_name() |
{ |
{ |
char *s; |
cmo *ob; |
if (token != T_STRING) { |
|
parse_error("syntax error: in parse_string()."); |
parse_comma(); |
|
parse_left_parenthesis(); |
|
ob = parse_cmo(); |
|
|
|
/* ob は CMO_STRING 型でなければならない */ |
|
if (ob->tag != CMO_STRING) { |
|
parse_error("invalid cmo."); |
} |
} |
s = yylval.sym; |
parse_right_parenthesis(); |
token = lex(); |
return (cmo *)new_cmo_ring_by_name(ob); |
return s; |
|
} |
} |
|
|
static cmo *parse_cmo_null() |
static cmo *parse_cmo_distributed_polynomial() |
{ |
{ |
cmo_null *m = new_cmo_null(); |
int length=0; |
|
int i=0; |
|
cmo_distributed_polynomial *m = new_cmo_distributed_polynomial(); |
|
cmo *ob; |
|
int tag; |
|
|
|
if (token == ',') { |
|
parse_comma(); |
|
|
|
if (token == T_INTEGER) { |
|
parse_integer(); |
|
parse_comma(); |
|
}else if (!pflag_cmo_addrev) { |
|
parse_error("invalid d-polynomial."); |
|
} |
|
|
|
parse_left_parenthesis(); |
|
m->ringdef = parse_cmo(); |
|
tag = m->ringdef->tag; |
|
/* m->ringdef は DringDefinition でなければならない */ |
|
if (tag != CMO_RING_BY_NAME && tag != CMO_DMS_GENERIC |
|
&& tag != CMO_DMS_OF_N_VARIABLES) { |
|
parse_error("invalid cmo."); |
|
} |
|
|
|
parse_comma(); |
|
|
|
while(token == '(') { |
|
parse_left_parenthesis(); |
|
ob = parse_cmo(); |
|
if (ob->tag != CMO_MONOMIAL32 && ob->tag != CMO_ZERO) { |
|
parse_error("invalid cmo."); |
|
} |
|
append_cmo_list((cmo_list *)m, ob); |
|
if (token != ',') { |
|
break; |
|
} |
|
parse_comma(); |
|
} |
|
}else if (!pflag_cmo_addrev) { |
|
parse_error("invalid d-polynomial."); |
|
} |
parse_right_parenthesis(); |
parse_right_parenthesis(); |
return (cmo *)m; |
return (cmo *)m; |
} |
} |
|
|
static cmo *parse_cmo_int32() |
static cmo *parse_cmo_indeterminate() |
{ |
{ |
cmo_int32 *m; |
cmo *ob; |
int i; |
|
|
|
parse_comma(); |
parse_comma(); |
i = parse_integer(); |
parse_left_parenthesis(); |
m = new_cmo_int32(i); |
ob = parse_cmo(); |
parse_right_parenthesis(); |
parse_right_parenthesis(); |
return (cmo *)m; |
return (cmo *)new_cmo_indeterminate(ob); |
} |
} |
|
|
static cmo *parse_cmo_string() |
static cmo *parse_cmo_error2() |
{ |
{ |
cmo_string *m; |
cmo *ob; |
int length; |
|
char *s; |
|
|
|
parse_comma(); |
parse_comma(); |
if (token == T_INTEGER) { |
parse_left_parenthesis(); |
length = parse_integer(); |
ob = parse_cmo(); |
parse_comma(); |
|
s = parse_string(); |
|
if (length != strlen(s)) { |
|
fprintf(stderr, "warning: strlen unmatched.\n"); |
|
} |
|
}else if (cmo_addrev) { |
|
s = parse_string(); |
|
}else { |
|
parse_error("syntax error: invalid keyword."); |
|
} |
|
m = new_cmo_string(s); |
|
parse_right_parenthesis(); |
parse_right_parenthesis(); |
return (cmo *)m; |
return (cmo *)new_cmo_error2(ob); |
} |
} |
|
|
/* --- 字句解析部 --- */ |
/* --- 字句解析部 --- */ |
|
|
lex_value_t yylval; |
|
|
|
/* lexical analyzer で読み飛ばされる文字なら何を初期値にしてもよい */ |
/* lexical analyzer で読み飛ばされる文字なら何を初期値にしてもよい */ |
static int c = ' '; |
static int c = ' '; |
|
|
|
|
GETC = getchar; |
GETC = getchar; |
} |
} |
|
|
#define SIZE_BUFFER 1024 |
#define SIZE_BUFFER 8192 |
static char buffer[SIZE_BUFFER]; |
static char buffer[SIZE_BUFFER]; |
static char* PARS = "(),\n"; |
|
|
|
/* 桁溢れの場合の対策はない */ |
/* 桁溢れの場合の対策はない */ |
static int lex_digit() |
static int lex_digit() |
Line 386 static int lex_digit() |
|
Line 562 static int lex_digit() |
|
return d; |
return d; |
} |
} |
|
|
|
#define MK_KEY_CMO(x) { #x , x , TOKEN(x) , IS_CMO } |
|
#define MK_KEY_SM(x) { #x , x , TOKEN(SM) , IS_SM } |
|
#define MK_KEY_OX(x) { #x , x , TOKEN(x) , IS_OX } |
|
|
|
static symbol symbol_list[] = { |
|
MK_KEY_CMO(CMO_NULL), |
|
MK_KEY_CMO(CMO_INT32), |
|
MK_KEY_CMO(CMO_DATUM), |
|
MK_KEY_CMO(CMO_STRING), |
|
MK_KEY_CMO(CMO_MATHCAP), |
|
MK_KEY_CMO(CMO_LIST), |
|
MK_KEY_CMO(CMO_MONOMIAL32), |
|
MK_KEY_CMO(CMO_ZZ), |
|
MK_KEY_CMO(CMO_ZERO), |
|
MK_KEY_CMO(CMO_DMS_GENERIC), |
|
MK_KEY_CMO(CMO_RING_BY_NAME), |
|
MK_KEY_CMO(CMO_INDETERMINATE), |
|
MK_KEY_CMO(CMO_DISTRIBUTED_POLYNOMIAL), |
|
MK_KEY_CMO(CMO_ERROR2), |
|
MK_KEY_SM(SM_popCMO), |
|
MK_KEY_SM(SM_popString), |
|
MK_KEY_SM(SM_mathcap), |
|
MK_KEY_SM(SM_pops), |
|
MK_KEY_SM(SM_executeStringByLocalParser), |
|
MK_KEY_SM(SM_executeFunction), |
|
MK_KEY_SM(SM_setMathCap), |
|
MK_KEY_SM(SM_shutdown), |
|
MK_KEY_SM(SM_control_kill), |
|
MK_KEY_SM(SM_control_reset_connection), |
|
MK_KEY_OX(OX_COMMAND), |
|
MK_KEY_OX(OX_DATA), |
|
{NULL, 0, 0, 0} /* a gate keeper */ |
|
}; |
|
|
|
symbol* lookup_by_symbol(char *key) |
|
{ |
|
symbol *symp; |
|
for(symp = symbol_list; symp->key != NULL; symp++) { |
|
if (strcmp(key, symp->key)==0) { |
|
return symp; |
|
} |
|
} |
|
return NULL; |
|
} |
|
|
|
symbol* lookup_by_token(int tok) |
|
{ |
|
symbol *symp; |
|
for(symp = symbol_list; symp->key != NULL; symp++) { |
|
if (tok == symp->token) { |
|
return symp; |
|
} |
|
} |
|
return NULL; |
|
} |
|
|
|
symbol* lookup_by_tag(int tag) |
|
{ |
|
symbol *symp; |
|
for(symp = symbol_list; symp->key != NULL; symp++) { |
|
if (tag == symp->tag) { |
|
return symp; |
|
} |
|
} |
|
return NULL; |
|
} |
|
|
|
symbol* lookup(int i) |
|
{ |
|
return &symbol_list[i]; |
|
} |
|
|
/* バッファあふれした場合の対策をちゃんと考えるべき */ |
/* バッファあふれした場合の対策をちゃんと考えるべき */ |
static char *lex_quoted_string() |
static char *lex_quoted_string() |
{ |
{ |
Line 415 static char *lex_quoted_string() |
|
Line 663 static char *lex_quoted_string() |
|
/* return NULL; */ |
/* return NULL; */ |
} |
} |
|
|
/* キーワードを増やしたあと修正するのを忘れてはいけない */ |
static int token_of_symbol(char *key) |
#undef NUM_OF_KEYWORDS 18 |
|
|
|
static char *keywords[] = { |
|
"CMO_INT32", "CMO_STRING", "CMO_LIST", "CMO_ZZ", "CMO_NULL", |
|
"CMO_ZERO", "CMO_DATUM", |
|
"SM_popCMO", "SM_popString", "SM_mathcap", "SM_pops", |
|
"SM_executeStringByLocalParser", "SM_executeFunction", |
|
"SM_setMathcap", |
|
"SM_control_kill", "SM_control_reset_connection", |
|
"OX_COMMAND", "OX_DATA", |
|
NULL /* a gate keeper */ |
|
}; |
|
|
|
static int token_of_keyword[] = { |
|
T_CMO_INT32, T_CMO_STRING, T_CMO_LIST, T_CMO_ZZ, T_CMO_NULL, |
|
T_CMO_ZERO, T_CMO_DATUM, |
|
T_SM_popCMO, T_SM_popString, T_SM_mathcap, T_SM_pops, |
|
T_SM_executeStringByLocalParser, T_SM_executeFunction, |
|
T_SM_setMathcap, |
|
T_SM_control_kill, T_SM_control_reset_connection, |
|
T_OX_COMMAND, T_OX_DATA, |
|
0 /* dummy */ |
|
}; |
|
|
|
static int token_of_matched_keyword(char *key) |
|
{ |
{ |
int i; |
symbol *symp = lookup_by_symbol(key); |
|
if (symp != NULL) { |
for(i=0; keywords[i] != NULL; i++) { |
yylval.d = symp->tag; |
if(strcmp(key, keywords[i])==0) { |
return symp->token; |
return token_of_keyword[i]; |
|
} |
|
} |
} |
fprintf(stderr, "lex error\n"); |
#if DEBUG |
|
fprintf(stderr, "lex error:: \"%s\" is unknown symbol.\n", key); |
|
#endif |
return 0; |
return 0; |
} |
} |
|
|
static int lex_keyword() |
static int lex_symbol() |
{ |
{ |
int i; |
int i; |
for (i=0; i<SIZE_BUFFER; i++) { |
for (i=0; i<SIZE_BUFFER; i++) { |
if (!isalnum(c) && c != '_') { |
if (!isalnum(c) && c != '_') { |
buffer[i]='\0'; |
buffer[i]='\0'; |
return token_of_matched_keyword(buffer); |
return token_of_symbol(buffer); |
} |
} |
buffer[i]=c; |
buffer[i]=c; |
c = GETC(); |
c = GETC(); |
} |
} |
fprintf(stderr, "buffer overflow!\n"); |
fprintf(stderr, "buffer overflow!\n"); |
exit(1); |
return 0; |
} |
} |
|
|
/* return する前に一文字先読みしておく。 */ |
/* return する前に一文字先読みしておく. */ |
int lex() |
int lex() |
{ |
{ |
int c_dash = 0; |
int c_dash = 0; |
|
|
} |
} |
|
|
if (isalpha(c)) { /* 識別子 */ |
if (isalpha(c)) { /* 識別子 */ |
return lex_keyword(); |
return lex_symbol(); |
} |
} |
|
|
/* 32bit 整数値 */ |
/* 32bit 整数値 */ |
|
|
return 0; |
return 0; |
} |
} |
|
|
|
/* 一文字読み込む関数 */ |
static char *mygetc_line; |
static char *mygetc_line; |
static int mygetc_counter; |
static int mygetc_counter; |
static int mygetc_counter_max; |
static int mygetc_counter_max; |
|
static int mygetc_nonlf_flag; |
|
|
int mygetc() |
int mygetc() |
{ |
{ |
if (mygetc_counter <= mygetc_counter_max) { |
int c = '\0'; |
return mygetc_line[mygetc_counter++]; |
|
|
if (mygetc_nonlf_flag && mygetc_counter <= mygetc_counter_max) { |
|
c = mygetc_line[mygetc_counter++]; |
|
if (c == '\0') { |
|
c = '\n'; |
|
mygetc_nonlf_flag = 0; |
|
} |
} |
} |
return 0; |
return c; |
} |
} |
|
|
int setmode_mygetc(char *s, int len) |
int setmode_mygetc(char *s, int len) |
{ |
{ |
|
mygetc_nonlf_flag=1; |
mygetc_counter=0; |
mygetc_counter=0; |
mygetc_counter_max=len; |
mygetc_counter_max=len; |
mygetc_line=s; |
mygetc_line=s; |
|
} |
|
|
|
int setflag_parse(int flag) |
|
{ |
|
pflag_cmo_addrev = flag; |
} |
} |