123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757 |
- #include "__grammar.h"
- ParserMessage *makeParserMessage(char *file_dir, char *debug){
- ParserMessage *tmp = memCalloc(1, sizeof(ParserMessage));
- tmp->tm = makeTokenMessage(file_dir, debug);
- tmp->status = success;
- tmp->status_message = NULL;
- tmp->count = 0;
- #if OUT_LOG
- if (debug != NULL){
- char *debug_dir = memStrcat(debug, PASERS_LOG), *grammar_dir = memStrcat(debug, GRAMMAR_LOG);
- tmp->paser_debug = fopen(debug_dir, "w");
- tmp->grammar_debug = fopen(grammar_dir, "w");
- memFree(debug_dir);
- memFree(grammar_dir);
- }
- else{
- tmp->paser_debug = NULL;
- tmp->grammar_debug = NULL;
- }
- #else
- tmp->paser_debug = NULL;
- tmp->grammar_debug = NULL;
- #endif
- return tmp;
- }
- void freePasersMessage(ParserMessage *pm, bool self) {
- freeTokenMessage(pm->tm, true);
- #if OUT_LOG
- if (pm->paser_debug != NULL)
- fclose(pm->paser_debug);
- if (pm->grammar_debug != NULL)
- fclose(pm->grammar_debug);
- #endif
- memFree(pm->status_message);
- if (self){
- memFree(pm);
- }
- }
- /**
- * 命令表匹配
- * pasersCommandList :
- * | MATHER_EOF
- * | parserCommand MATHER_ENTER
- * | parserCommand MATHER_EOF
- */
- void pasersCommandList(ParserMessage *pm, Inter *inter, bool global, Statement *st) {
- int token_type, stop;
- struct Statement *base_st = st;
- while (true){
- token_type = readBackToken(pm);
- if (token_type == MATHER_EOF){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command List: <EOF>\n", NULL);
- delToken(pm);
- goto return_;
- }
- else if (token_type == MATHER_ENTER){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command List: <ENTER>\n", NULL);
- delToken(pm);
- continue;
- }
- else{
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command List: call command\n", NULL);
- Token *command_token;
- parserCommand(CALLPASERSSIGNATURE);
- if (!call_success(pm)){
- goto return_;
- }
- if (COMMAND != readBackToken(pm)){
- if (global){
- syntaxError(pm, "ERROR from command list(get parserCommand)", command_list_error);
- }
- goto return_;
- }
- popAheadToken(command_token, pm);
- stop = readBackToken(pm);
- if (stop == MATHER_ENTER || stop == MATHER_SEMICOLON){
- delToken(pm);
- }
- else if(stop == MATHER_EOF){
- PASS;
- }
- else{
- if (global) {
- syntaxError(pm, "ERROR from parserCommand list(get stop)", command_list_error);
- freeToken(command_token, true, true);
- }
- else{
- // 若非global模式, 即可以匹配大括号, token保留在ahead中
- connectStatement(base_st, command_token->data.st);
- freeToken(command_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG,
- "Command List: get command success[at !global end]\n", NULL);
- }
- goto return_;
- }
- /*...do something for commandList...*/
- connectStatement(base_st, command_token->data.st);
- freeToken(command_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command List: get command success\n", NULL);
- }
- }
- return_:
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command List: return\n", NULL);
- addStatementToken(COMMANDLIST, base_st, pm);
- }
- /**
- * 命令匹配
- * parserCommand:
- * | parserOperation
- */
- void parserCommand(PASERSSIGNATURE){
- int token_type;
- Statement *st = NULL;
- token_type = readBackToken(pm);
- switch (token_type) {
- case MATHER_DEF :
- commandCallBack(pm, st, parserDef, FUNCTION, return_);
- break;
- case MATHER_IF :
- commandCallBack(pm, st, parserIf, IF_BRANCH, return_);
- break;
- case MATHER_WHILE :
- commandCallBack(pm, st, parserWhile, WHILE_BRANCH, return_);
- break;
- case MATHER_BREAK :
- commandCallControl(pm, st, makeBreakStatement, BREAK, return_);
- break;
- case MATHER_CONTINUE :
- commandCallControl(pm, st, makeContinueStatement, CONTINUE, return_);
- break;
- default :
- commandCallBack(pm, st, parserOperation, OPERATION, return_);
- break;
- }
- addStatementToken(COMMAND, st, pm);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command: get command success\n", NULL);
- return_:
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Command: get return\n", NULL);
- }
- void parserControl(PASERSSIGNATURE, Statement *(*callBack)(Statement *), int type){
- Statement *times = NULL, *st = NULL;
- delToken(pm);
- parserOperation(CALLPASERSSIGNATURE);
- if (!call_success(pm))
- goto return_;
- if (readBackToken(pm) == OPERATION){
- Token *tmp;
- popAheadToken(tmp, pm);
- times = tmp->data.st;
- freeToken(tmp, true, false);
- }
- st = callBack(times);
- addStatementToken(type, st, pm);
- return_:
- return;
- }
- void parserIf(PASERSSIGNATURE){
- Token *if_token = NULL, *code_token = NULL;
- struct Statement *st = NULL, *else_st = NULL, *finally_st = NULL;
- StatementList *sl = NULL;
- bool have_if = false;
- again:
- switch (readBackToken(pm)) {
- case MATHER_IF:
- if (have_if)
- goto default_;
- else
- have_if = true;
- case MATHER_ELIF:
- delToken(pm);
- parserOperation(CALLPASERSSIGNATURE);
- if (!call_success(pm))
- goto return_;
- if (readBackToken(pm) != OPERATION){
- syntaxError(pm, "Don't get a if condition", syntax_error);
- goto return_;
- }
- popAheadToken(if_token, pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- error_:
- freeToken(if_token, true, true);
- syntaxError(pm, "Don't get a if code", syntax_error);
- goto return_;
- }
- popAheadToken(code_token, pm);
- sl = makeConnectStatementList(sl, if_token->data.st, NULL, code_token->data.st, if_b);
- freeToken(if_token, true, false);
- freeToken(code_token, true, false);
- goto again;
- case MATHER_DO:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- sl = makeConnectStatementList(sl, NULL, NULL, code_token->data.st, do_b);
- freeToken(code_token, true, false);
- goto again;
- case MATHER_ELSE:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- if (else_st != NULL)
- freeStatement(else_st);
- else_st = code_token->data.st;
- freeToken(code_token, true, false);
- goto again;
- case MATHER_FINALLY:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- if (finally_st != NULL)
- freeStatement(finally_st);
- finally_st = code_token->data.st;
- freeToken(code_token, true, false);
- goto again;
- case MATHER_ENTER:
- delToken(pm);
- goto again;
- default:
- default_: break;
- }
- st = makeIfStatement();
- st->u.if_branch.if_list = sl;
- st->u.if_branch.else_list = else_st;
- st->u.if_branch.finally = finally_st;
- addStatementToken(IF_BRANCH, st, pm);
- return_:
- return;
- }
- void parserWhile(PASERSSIGNATURE){
- Token *while_token = NULL, *code_token = NULL;
- struct Statement *st = NULL, *else_st = NULL, *finally_st = NULL,*do_st = NULL;
- StatementList *sl = NULL;
- bool have_while = false;
- again:
- switch (readBackToken(pm)) {
- case MATHER_WHILE:
- if (have_while)
- goto default_;
- else
- have_while = true;
- delToken(pm);
- parserOperation(CALLPASERSSIGNATURE);
- if (!call_success(pm))
- goto return_;
- if (readBackToken(pm) != OPERATION){
- syntaxError(pm, "Don't get a else while condition", syntax_error);
- goto return_;
- }
- popAheadToken(while_token, pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- error_:
- freeToken(while_token, true, true);
- syntaxError(pm, "Don't get a while code", syntax_error);
- goto return_;
- }
- popAheadToken(code_token, pm);
- if (sl != NULL)
- freeStatementList(sl);
- sl = makeStatementList(while_token->data.st, NULL, code_token->data.st, if_b);
- freeToken(while_token, true, false);
- freeToken(code_token, true, false);
- goto again;
- case MATHER_DO:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- if (do_st != NULL)
- freeStatement(do_st);
- do_st = code_token->data.st;
- freeToken(code_token, true, false);
- goto again;
- case MATHER_ELSE:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- if (else_st != NULL)
- freeStatement(else_st);
- else_st = code_token->data.st;
- freeToken(code_token, true, false);
- goto again;
- case MATHER_FINALLY:
- delToken(pm);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm) && readBackToken(pm) != CODE){
- goto error_;
- }
- popAheadToken(code_token, pm);
- if (finally_st != NULL)
- freeStatement(finally_st);
- finally_st = code_token->data.st;
- freeToken(code_token, true, false);
- goto again;
- case MATHER_ENTER:
- delToken(pm);
- goto again;
- default:
- default_: break;
- }
- st = makeWhileStatement();
- st->u.while_branch.while_list = sl;
- st->u.while_branch.else_list = else_st;
- st->u.while_branch.finally = finally_st;
- st->u.while_branch.after = do_st;
- addStatementToken(WHILE_BRANCH, st, pm);
- return_:
- return;
- }
- void parserDef(PASERSSIGNATURE){
- Token *name_token = NULL, *code_token = NULL;
- struct Statement *st = NULL;
- delToken(pm);
- parserBaseValue(CALLPASERSSIGNATURE);
- if (!call_success(pm))
- goto return_;
- if (readBackToken(pm) != BASEVALUE){
- syntaxError(pm, "Don't get a function name", syntax_error);
- goto return_;
- }
- popAheadToken(name_token, pm);
- checkToken(pm, MATHER_LP, error_);
- checkToken(pm, MATHER_RP, error_);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "parserDef: get function title success\n", NULL);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "parserDef: call parserCode\n", NULL);
- parserCode(CALLPASERSSIGNATURE);
- if (!call_success(pm)){
- goto error_;
- }
- if (readBackToken(pm) != CODE){
- error_:
- freeToken(name_token, true, true);
- syntaxError(pm, "Don't get a function code", syntax_error);
- goto return_;
- }
- popAheadToken(code_token, pm);
- st = makeFunctionStatement(name_token->data.st, code_token->data.st);
- addStatementToken(FUNCTION, st, pm);
- freeToken(code_token, true, false);
- freeToken(name_token, true, false);
- return_:
- return;
- }
- void parserCode(PASERSSIGNATURE){
- Token *code_token = NULL, *tk = NULL;
- struct Statement *st = makeStatement();
- while (true){
- checkToken(pm, MATHER_LC, again_); // 若匹配的不是{则检查是否匹配到\n
- break; // 若匹配到{则跳出循环
- again_: checkToken(pm, MATHER_ENTER, return_); // 若不是\n则跳到return_
- }
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "parserCode: call pasersCommandList\n", NULL);
- pasersCommandList(CALLPASERSSIGNATURE, false, st);
- if (!call_success(pm)){
- goto return_;
- }
- if (readBackToken(pm) != COMMANDLIST){
- syntaxError(pm, "Not CommandList\n", syntax_error);
- goto return_;
- }
- popAheadToken(code_token, pm);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "parserCode: call pasersCommandList success\n", NULL);
- checkToken(pm, MATHER_RC, error_);
- return_:
- addStatementToken(CODE, st, pm);
- freeToken(code_token, true, false);
- return;
- error_:
- syntaxError(pm, "Don't get the }", syntax_error);
- freeToken(code_token, true, true);
- return;
- }
- /**
- * 表达式匹配
- * parserOperation:
- * | parserAssignment
- */
- void parserOperation(PASERSSIGNATURE){
- Token *operation_token = NULL;
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Operation: call assignment\n", NULL);
- parserAssignment(CALLPASERSSIGNATURE);
- if (!call_success(pm))
- goto return_;
- if (readBackToken(pm) != ASSIGNMENT){
- goto return_;
- }
- popAheadToken(operation_token, pm);
- /*...do something for operation...*/
- addStatementToken(OPERATION, operation_token->data.st, pm);
- freeToken(operation_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Operation: get polynomial success\n", NULL);
- return_:
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Operation: return\n", NULL);
- }
- /**
- * 赋值表达式匹配
- * parserAssignment:
- * | parserPolynomial
- * | parserAssignment ASSIGNMENT parserPolynomial
- */
- bool switchAssignment(PASERSSIGNATURE, int symbol, Statement **st){
- switch (symbol) {
- case MATHER_ASSIGNMENT:
- *st = makeOperationStatement(ASS);
- break;
- default:
- return false;
- }
- return true;
- }
- void parserAssignment(PASERSSIGNATURE){
- return twoOperation(CALLPASERSSIGNATURE, parserPolynomial, switchAssignment, POLYNOMIAL, ASSIGNMENT,
- "polynomial", "assignment");
- }
- /**
- * 多项式匹配
- * parserPolynomial:
- * | parserBaseValue
- * | parserPolynomial ADD parserFactor
- * | parserPolynomial SUB parserFactor
- */
- bool switchPolynomial(PASERSSIGNATURE, int symbol, Statement **st){
- switch (symbol) {
- case MATHER_ADD:
- *st = makeOperationStatement(ADD);
- break;
- case MATHER_SUB:
- *st = makeOperationStatement(SUB);
- break;
- default:
- return false;
- }
- return true;
- }
- void parserPolynomial(PASERSSIGNATURE){
- return twoOperation(CALLPASERSSIGNATURE, parserFactor, switchPolynomial, FACTOR, POLYNOMIAL,
- "factor", "polynomial");
- }
- /**
- * 因式匹配
- * parserFactor:
- * | parserBaseValue [1]
- * | switchFactor ADD parserBaseValue
- * | switchFactor SUB parserBaseValue
- */
- bool switchFactor(PASERSSIGNATURE, int symbol, Statement **st){
- switch (symbol) {
- case MATHER_MUL:
- *st = makeOperationStatement(MUL);
- break;
- case MATHER_DIV:
- *st = makeOperationStatement(DIV);
- break;
- default:
- return false;
- }
- return true;
- }
- void parserFactor(PASERSSIGNATURE){
- return twoOperation(CALLPASERSSIGNATURE, parserCallBack, switchFactor, CALLBACK, FACTOR,
- "call back", "factor");
- }
- int tailCall(PASERSSIGNATURE, Token *left_token, Statement **st){
- if (readBackToken(pm) != MATHER_LP){
- return -1;
- }
- delToken(pm);
- checkToken(pm, MATHER_RP, error_);
- *st = makeCallStatement(left_token->data.st);
- return 1;
- error_:
- syntaxError(pm, "Don't get ) from call back", syntax_error);
- return 0;
- }
- void parserCallBack(PASERSSIGNATURE){
- return tailOperation(CALLPASERSSIGNATURE, parserBaseValue, tailCall, BASEVALUE, CALLBACK,
- "Base Value", "Call Back");
- }
- int getOperation(PASERSSIGNATURE, int right_type, Statement **st, char *name){
- Token *operation_token;
- parserOperation(CALLPASERSSIGNATURE);
- if (!call_success(pm)){
- return 0;
- }
- if (readBackToken(pm) != OPERATION){
- return 0;
- }
- popAheadToken(operation_token, pm);
- if (readBackToken(pm) != right_type){
- return -1;
- }
- delToken(pm);
- *st = operation_token->data.st;
- freeToken(operation_token, true, false);
- return 1;
- }
- /**
- * 字面量匹配
- * parserBaseValue:
- * | MATHER_NUMBER
- * | MATHER_STRING
- */
- void parserBaseValue(PASERSSIGNATURE){
- int token_type;
- Token *value_token = NULL;
- struct Statement *st = NULL;
- token_type = readBackToken(pm);
- if(MATHER_NUMBER == token_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Base Value: get number\n", NULL);
- popAheadToken(value_token, pm);
- char *stop;
- st = makeStatement();
- st->type = base_value;
- st->u.base_value.value = makeNumberValue(strtol(value_token->data.str, &stop, 10), inter);
- }
- else if(MATHER_STRING == token_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Base Value: get string\n", NULL);
- popAheadToken(value_token, pm);
- st = makeStatement();
- st->type = base_value;
- st->u.base_value.value = makeStringValue(value_token->data.str, inter);
- }
- else if(MATHER_VAR == token_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Base Value: get var\n", NULL);
- popAheadToken(value_token, pm);
- st = makeStatement();
- st->type = base_var;
- st->u.base_var.name = memStrcpy(value_token->data.str, 0, false, false);
- st->u.base_var.times = NULL;
- }
- else if(MATHER_LB == token_type){
- int tmp;
- Statement *tmp_st = NULL;
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "base value: get operation\n", NULL);
- popAheadToken(value_token, pm);
- tmp = getOperation(CALLPASERSSIGNATURE, MATHER_RB, &tmp_st, "base value");
- if (tmp == 0){
- freeToken(value_token, true, true);
- syntaxError(pm, "Don't get operation from list/var", syntax_error);
- goto return_;
- }
- else if(tmp == -1){
- freeToken(value_token, true, true);
- syntaxError(pm, "Don't get ] from list/var", syntax_error);
- goto return_;
- }
- if (MATHER_VAR == readBackToken(pm)){
- Token *var_token;
- popAheadToken(var_token, pm);
- st = makeStatement();
- st->type = base_var;
- st->u.base_var.name = memStrcpy(var_token->data.str, 0, false, false);
- st->u.base_var.times = tmp_st;
- freeToken(var_token, true, false);
- }
- // TODO-szh list处理
- }
- else if(MATHER_LP == token_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "base value: get operation\n", NULL);
- popAheadToken(value_token, pm);
- int tmp = getOperation(CALLPASERSSIGNATURE, MATHER_RP, &st, "base value");
- if (tmp == 0){
- freeToken(value_token, true, true);
- syntaxError(pm, "Don't get operation from Base Value", syntax_error);
- goto return_;
- }
- else if(tmp == -1){
- freeToken(value_token, true, true);
- syntaxError(pm, "Don't get ) from Base Value", syntax_error);
- goto return_;
- }
- }
- else{
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Base Value: else\n", NULL);
- goto return_;
- }
- freeToken(value_token, true, false);
- addStatementToken(BASEVALUE, st, pm);
- return_:
- return;
- }
- inline void twoOperation(PASERSSIGNATURE, void (*callBack)(PASERSSIGNATURE), int (*getSymbol)(PASERSSIGNATURE, int symbol, Statement **st), int type, int self_type, char *call_name, char *self_name){
- while(true){
- Token *left_token = NULL, *right_token = NULL;
- struct Statement *st = NULL;
- readBackToken(pm);
- if (readBackToken(pm) != self_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "%s: call %s(left)\n", self_name, call_name);
- callBack(CALLPASERSSIGNATURE);
- if (!call_success(pm) || (readBackToken(pm) != type))
- goto return_;
- popAheadToken(left_token, pm);
- addStatementToken(self_type, left_token->data.st, pm);
- freeToken(left_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG,
- "%s: get %s(left) success[push %s]\n", self_name, call_name, self_name);
- continue;
- }
- popAheadToken(left_token, pm);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "%s: call symbol\n", self_name);
- if (getSymbol(CALLPASERSSIGNATURE, readBackToken(pm), &st)){
- delToken(pm);
- }
- else{
- backToken_(pm, left_token);
- goto return_;
- }
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG,
- "%s: get symbol success\n%s: call %s[right]\n", self_name, self_name, call_name);
- callBack(CALLPASERSSIGNATURE); // 获得左值
- if (!call_success(pm)){
- freeToken(left_token, true, false);
- freeStatement(st);
- goto return_;
- }
- if (readBackToken(pm) != type){ // 若非正确数值
- char *tmp1, *tmp2;
- tmp1 = memStrcat("ERROR from ", self_name);
- tmp2 = memStrcat(tmp1, "(get right)");
- syntaxError(pm, tmp2, syntax_error);
- memFree(tmp1);
- memFree(tmp2);
- freeToken(left_token, true, true);
- freeStatement(st);
- goto return_;
- }
- popAheadToken(right_token, pm);
- addToken_(pm, setOperationFromToken(st, left_token, right_token, self_type));
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "Polynomial: get base value(right) success[push polynomial]\n", NULL);
- }
- return_:
- return;
- }
- inline void tailOperation(PASERSSIGNATURE, void (*callBack)(PASERSSIGNATURE), int (*tailFunction)(PASERSSIGNATURE, Token *left_token, Statement **st), int type, int self_type, char *call_name, char *self_name){
- while(true){
- Token *left_token = NULL;
- struct Statement *st = NULL;
- if (readBackToken(pm) != self_type){
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "%s: call %s(left)\n", self_name, call_name);
- callBack(CALLPASERSSIGNATURE);
- if ((!call_success(pm)) || readBackToken(pm) != type)
- goto return_;
- popAheadToken(left_token, pm);
- addStatementToken(self_type, left_token->data.st, pm);
- freeToken(left_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG,
- "%s: get %s(left) success[push %s]\n", self_name, call_name, self_name);
- continue;
- }
- popAheadToken(left_token, pm);
- int tail_status = tailFunction(CALLPASERSSIGNATURE, left_token, &st);
- if (tail_status == -1){
- backToken_(pm, left_token);
- goto return_;
- }
- else if(!tail_status){
- goto error_;
- }
- addStatementToken(self_type, st, pm);
- freeToken(left_token, true, false);
- writeLog_(pm->grammar_debug, GRAMMAR_DEBUG, "%s: call tail success\n", self_name);
- continue;
- error_:
- freeToken(left_token, true, true);
- goto return_;
- }
- return_:
- return;
- }
- /**
- * syntax错误处理器
- * @param pm
- * @param message 错误信息
- * @param status 错误类型
- */
- void syntaxError(ParserMessage *pm, char *message, int status){
- if (pm->status != success)
- return;
- pm->status = status;
- pm->status_message = memStrcpy(message, 0, false, false);
- }
- int readBackToken(ParserMessage *pm){
- // TODO-szh 优化执行效果
- writeLog(pm->grammar_debug, GRAMMAR_DEBUG, "token operation number : %d\n", pm->count);
- writeLog(pm->paser_debug, DEBUG, "\ntoken operation number : %d\n", pm->count);
- pm->count ++;
- int status = safeGetToken(pm->tm, pm->paser_debug);
- if (status == -2){
- syntaxError(pm, "lexical make some error", lexical_error);
- }
- backToken(pm->tm->ts, pm->paser_debug);
- return status;
- }
|