version 1.3, 1999/11/02 18:58:25 |
version 1.5, 1999/11/03 10:56:40 |
|
|
/* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
/* $OpenXM: OpenXM/src/ox_math/parse.c,v 1.2 1999/11/02 06:11:58 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_math/parse.c,v 1.4 1999/11/02 19:51:18 ohara Exp $ */ |
/* $Id$ */ |
|
/* OX expression, CMO expression パーサ */ |
/* OX expression, CMO expression パーサ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
|
|
CMO_MONOMIAL32 は無視しない. (つまりおかしいときは構文エラーになる) |
CMO_MONOMIAL32 は無視しない. (つまりおかしいときは構文エラーになる) |
*/ |
*/ |
|
|
|
|
/* parse.c, lex.c では, Lisp 表現された CMO 文字列を読み込み, |
/* parse.c, lex.c では, Lisp 表現された CMO 文字列を読み込み, |
バイト列を出力する. 中間表現として、cmo *を利用する. |
バイト列を出力する. 中間表現として、cmo 構造体を利用する. |
parse() はトークンの列から cmo *(の指す構造体)を生成する. |
parse() はトークンの列から cmo 構造体を生成し、そのポインタを返す. |
*/ |
*/ |
|
|
/* 重要なことはパーサ(の各サブルーチン)は |
/* 重要なことはパーサ(の各サブルーチン)は |
Line 33 static int token = 0; |
|
Line 32 static int token = 0; |
|
|
|
/* トークンの属性値. yylval は lex() によってセットされる. */ |
/* トークンの属性値. yylval は lex() によってセットされる. */ |
static union{ |
static union{ |
int d; |
int d; |
char* sym; |
char *sym; |
} yylval; |
} yylval; |
|
|
/* pflag_cmo_addrev がセットされていれば、厳密には CMO expression では |
/* pflag_cmo_addrev がセットされていれば、厳密には CMO expression では |
|
|
static int pflag_cmo_addrev = 1; /* 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_int32(); |
|
static cmo *parse_cmo_string(); |
|
static cmo *parse_cmo_mathcap(); |
|
static cmo *parse_cmo_dms_generic(); |
|
static cmo *parse_cmo_ring_by_name(); |
|
static cmo *parse_cmo_error2(); |
|
static cmo *parse_cmo_zero(); |
|
static cmo *parse_cmo_zz(); |
|
static cmo *parse_cmo_list(); |
|
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_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 is_token_cmo(int token) |
static int is_token_cmo(int token) |
{ |
{ |
Line 73 static int is_token_cmo(int token) |
|
Line 74 static int is_token_cmo(int token) |
|
|
|
static int is_token_sm(int token) |
static int is_token_sm(int token) |
{ |
{ |
return token >= MIN_T_SM && token < MAX_T_SM; |
return token == TOKEN(SM); |
} |
} |
|
|
static int is_token_ox(int token) |
static int is_token_ox(int token) |
Line 128 static int parse_lf() |
|
Line 129 static int parse_lf() |
|
} |
} |
|
|
|
|
static ox* parse_ox() |
static ox *parse_ox() |
{ |
{ |
ox *m = NULL; |
ox *m = NULL; |
|
|
Line 147 static ox* parse_ox() |
|
Line 148 static ox* parse_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 158 static ox* parse_ox_data() |
|
Line 159 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_token_sm(token)) { |
if (token != TOKEN(SM)) { |
parse_error("invalid SM opecode."); |
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 には |
TOKEN(CMO_xxx), TOKEN(OX_xxx) のいずれかがセットされている. */ |
TOKEN(CMO_xxx), TOKEN(OX_xxx) のいずれかがセットされている. */ |
static cmo *parse_cmo() |
static cmo *parse_cmo() |
Line 576 static char *lex_quoted_string() |
|
Line 579 static char *lex_quoted_string() |
|
typedef struct { |
typedef struct { |
char *key; |
char *key; |
int token; |
int token; |
|
int op; |
} symbol; |
} symbol; |
|
|
#define MK_KEY_CMO(x) { #x , TOKEN(x) } |
#define MK_KEY_CMO(x) { #x , TOKEN(x) , 0} |
#define MK_KEY(x) { #x , TOKEN(x) } |
#define MK_KEY_SM(x) { #x , TOKEN(SM) , x} |
|
#define MK_KEY(x) { #x , TOKEN(x) , 0} |
|
|
static symbol symbol_list[] = { |
static symbol symbol_list[] = { |
MK_KEY_CMO(CMO_NULL), |
MK_KEY_CMO(CMO_NULL), |
Line 596 static symbol symbol_list[] = { |
|
Line 601 static symbol symbol_list[] = { |
|
MK_KEY_CMO(CMO_INDETERMINATE), |
MK_KEY_CMO(CMO_INDETERMINATE), |
MK_KEY_CMO(CMO_DISTRIBUTED_POLYNOMIAL), |
MK_KEY_CMO(CMO_DISTRIBUTED_POLYNOMIAL), |
MK_KEY_CMO(CMO_ERROR2), |
MK_KEY_CMO(CMO_ERROR2), |
MK_KEY(SM_popCMO), |
MK_KEY_SM(SM_popCMO), |
MK_KEY(SM_popString), |
MK_KEY_SM(SM_popString), |
MK_KEY(SM_mathcap), |
MK_KEY_SM(SM_mathcap), |
MK_KEY(SM_pops), |
MK_KEY_SM(SM_pops), |
MK_KEY(SM_executeStringByLocalParser), |
MK_KEY_SM(SM_executeStringByLocalParser), |
MK_KEY(SM_executeFunction), |
MK_KEY_SM(SM_executeFunction), |
MK_KEY(SM_setMathCap), |
MK_KEY_SM(SM_setMathCap), |
MK_KEY(SM_control_kill), |
MK_KEY_SM(SM_control_kill), |
MK_KEY(SM_control_reset_connection), |
MK_KEY_SM(SM_control_reset_connection), |
MK_KEY(OX_COMMAND), MK_KEY(OX_DATA), |
MK_KEY(OX_COMMAND), |
|
MK_KEY(OX_DATA), |
{NULL, 0} /* a gate keeper */ |
{NULL, 0} /* a gate keeper */ |
}; |
}; |
|
|
Line 614 static int token_of_symbol(char *key) |
|
Line 620 static int token_of_symbol(char *key) |
|
symbol *kp; |
symbol *kp; |
for(kp = symbol_list; kp->key != NULL; kp++) { |
for(kp = symbol_list; kp->key != NULL; kp++) { |
if (strcmp(key, kp->key)==0) { |
if (strcmp(key, kp->key)==0) { |
|
yylval.d = kp->op; |
return kp->token; |
return kp->token; |
} |
} |
} |
} |
Line 638 static int lex_symbol() |
|
Line 645 static int lex_symbol() |
|
return 0; |
return 0; |
} |
} |
|
|
/* return する前に一文字先読みしておく。 */ |
/* return する前に一文字先読みしておく. */ |
int lex() |
int lex() |
{ |
{ |
int c_dash = 0; |
int c_dash = 0; |