--- parser3/src/main/compile.tab.C 2001/11/05 11:46:26 1.26 +++ parser3/src/main/compile.tab.C 2002/01/31 17:12:27 1.35 @@ -36,9 +36,9 @@ Parser: compiler(lexical parser and grammar). Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) - Author: Alexander Petrosyan (http://paf.design.ru) + Author: Alexander Petrosyan (http://design.ru/paf) - $Id: compile.tab.C,v 1.26 2001/11/05 11:46:26 paf Exp $ + $Id: compile.tab.C,v 1.35 2002/01/31 17:12:27 paf Exp $ */ /** @@ -210,16 +210,16 @@ static const short yyrline[] = { 0, 236, 237, 237, 237, 241, 245, 246, 246, 247, 248, 250, 251, 266, 267, 267, 271, 275, 277, 278, 279, 294, 299, 301, 303, 304, 306, 312, 318, 324, 326, - 327, 329, 335, 336, 336, 340, 344, 345, 346, 360, - 362, 362, 363, 365, 366, 368, 369, 370, 371, 373, - 375, 377, 379, 381, 383, 387, 391, 395, 397, 398, - 400, 407, 407, 409, 409, 410, 411, 416, 421, 423, - 425, 426, 427, 429, 433, 441, 447, 452, 452, 453, - 458, 460, 462, 466, 478, 482, 484, 485, 486, 487, - 488, 490, 491, 492, 493, 494, 495, 496, 497, 499, - 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, - 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, - 520, 521, 522, 523, 526, 535, 540, 541 + 327, 329, 335, 336, 336, 340, 344, 348, 352, 366, + 368, 368, 369, 371, 372, 374, 375, 376, 377, 379, + 381, 383, 385, 387, 389, 393, 397, 401, 403, 404, + 406, 413, 413, 415, 415, 416, 417, 425, 432, 434, + 436, 437, 438, 440, 444, 452, 458, 463, 463, 464, + 469, 471, 473, 480, 492, 496, 498, 499, 500, 501, + 502, 504, 505, 506, 507, 508, 509, 510, 511, 513, + 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, + 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, + 534, 535, 536, 537, 540, 549, 554, 555 }; #endif @@ -1260,14 +1260,20 @@ case 66: break;} case 67: #line 344 "compile.y" -{ PC.object_constructor_allowed=true ; +{ + PC.object_constructor_allowed=true; + push_OCA(PC, true); + ; break;} case 68: -#line 345 "compile.y" -{ PC.object_constructor_allowed=false ; +#line 348 "compile.y" +{ + PC.object_constructor_allowed=false; + pop_OCA(PC); + ; break;} case 69: -#line 346 "compile.y" +#line 352 "compile.y" { /* ^field.$method{vasya} */ yyval=yyvsp[-3]; /* with_xxx,diving code; stack: context,method_junction */ O(yyval, OP_GET_METHOD_FRAME); /* stack: context,method_frame */ @@ -1283,94 +1289,99 @@ case 69: ; break;} case 72: -#line 362 "compile.y" +#line 368 "compile.y" { yyval=yyvsp[-1]; P(yyval, yyvsp[0]) ; break;} case 76: -#line 368 "compile.y" +#line 374 "compile.y" {yyval=yyvsp[-1]; break;} case 77: -#line 369 "compile.y" +#line 375 "compile.y" {yyval=yyvsp[-1]; break;} case 78: -#line 370 "compile.y" +#line 376 "compile.y" {yyval=yyvsp[-1]; break;} case 80: -#line 373 "compile.y" +#line 379 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]) ; break;} case 82: -#line 377 "compile.y" +#line 383 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]) ; break;} case 84: -#line 381 "compile.y" +#line 387 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]) ; break;} case 85: -#line 383 "compile.y" +#line 389 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_STORE_PARAM); ; break;} case 86: -#line 387 "compile.y" +#line 393 "compile.y" { yyval=N(POOL); PEA(yyval, yyvsp[0]); ; break;} case 87: -#line 391 "compile.y" +#line 397 "compile.y" { yyval=N(POOL); PCA(yyval, yyvsp[0]); ; break;} case 91: -#line 400 "compile.y" +#line 406 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_WRITE_EXPR_RESULT); ; break;} case 93: -#line 407 "compile.y" +#line 413 "compile.y" { yyval=yyvsp[-1]; P(yyval, yyvsp[0]) ; break;} case 95: -#line 409 "compile.y" +#line 415 "compile.y" { yyval=yyvsp[-1]; P(yyval, yyvsp[0]) ; break;} case 97: -#line 411 "compile.y" +#line 417 "compile.y" { + // we know that name_advance1 not called from ^xxx context + // so we'll not check for operator call possibility as we do in name_advance2 + /* stack: context */ yyval=yyvsp[0]; /* stack: context,name */ O(yyval, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */ ; break;} case 98: -#line 416 "compile.y" +#line 425 "compile.y" { /* stack: context */ yyval=yyvsp[0]; /* stack: context,name */ - O(yyval, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */ + O(yyval, PC.operator_call_allowed?OP_GET_ELEMENT_OR_OPERATOR:OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */ + // only ^FIRST.part.allowed.to.be.an.operator + PC.operator_call_allowed=false; ; break;} case 104: -#line 429 "compile.y" +#line 440 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_GET_ELEMENT); ; break;} case 105: -#line 433 "compile.y" +#line 444 "compile.y" { yyval=N(POOL); O(yyval, OP_CREATE_EWPOOL); @@ -1381,7 +1392,7 @@ case 105: ; break;} case 106: -#line 441 "compile.y" +#line 452 "compile.y" { yyval=N(POOL); O(yyval, OP_CREATE_EWPOOL); @@ -1390,7 +1401,7 @@ case 106: ; break;} case 107: -#line 447 "compile.y" +#line 458 "compile.y" { yyval=N(POOL); O(yyval, OP_WITH_READ); @@ -1398,25 +1409,28 @@ case 107: ; break;} case 109: -#line 452 "compile.y" +#line 463 "compile.y" { yyval=yyvsp[-1]; P(yyval, yyvsp[0]) ; break;} case 110: -#line 453 "compile.y" +#line 464 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_GET_ELEMENT__WRITE); ; break;} case 113: -#line 462 "compile.y" +#line 473 "compile.y" { + // drop allow code after "name:" + PC.operator_call_allowed=false; + yyval=yyvsp[-1]; // stack: class name string O(yyval, OP_GET_CLASS); ; break;} case 114: -#line 466 "compile.y" +#line 480 "compile.y" { yyval=yyvsp[-1]; if(!PC.object_constructor_allowed) { @@ -1427,158 +1441,158 @@ case 114: ; break;} case 115: -#line 478 "compile.y" +#line 492 "compile.y" { if((yyval=yyvsp[0])->size()==2) // only one string literal in there? change_string_literal_to_double_literal(yyval); // make that string literal Double ; break;} case 119: -#line 486 "compile.y" +#line 500 "compile.y" { yyval = yyvsp[-1]; ; break;} case 120: -#line 487 "compile.y" +#line 501 "compile.y" { yyval = yyvsp[-1]; ; break;} case 121: -#line 488 "compile.y" +#line 502 "compile.y" { yyval = yyvsp[-1]; ; break;} case 122: -#line 490 "compile.y" +#line 504 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_NEG) ; break;} case 123: -#line 491 "compile.y" +#line 505 "compile.y" { yyval=yyvsp[0] ; break;} case 124: -#line 492 "compile.y" +#line 506 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_INV) ; break;} case 125: -#line 493 "compile.y" +#line 507 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_NOT) ; break;} case 126: -#line 494 "compile.y" +#line 508 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_DEF) ; break;} case 127: -#line 495 "compile.y" +#line 509 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_IN) ; break;} case 128: -#line 496 "compile.y" +#line 510 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_FEXISTS) ; break;} case 129: -#line 497 "compile.y" +#line 511 "compile.y" { yyval=yyvsp[0]; O(yyval, OP_DEXISTS) ; break;} case 130: -#line 499 "compile.y" +#line 513 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_SUB) ; break;} case 131: -#line 500 "compile.y" +#line 514 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_ADD) ; break;} case 132: -#line 501 "compile.y" +#line 515 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_MUL) ; break;} case 133: -#line 502 "compile.y" +#line 516 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_DIV) ; break;} case 134: -#line 503 "compile.y" +#line 517 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_MOD) ; break;} case 135: -#line 504 "compile.y" +#line 518 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_INTDIV) ; break;} case 136: -#line 505 "compile.y" +#line 519 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_BIN_AND) ; break;} case 137: -#line 506 "compile.y" +#line 520 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_BIN_OR) ; break;} case 138: -#line 507 "compile.y" +#line 521 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_BIN_XOR) ; break;} case 139: -#line 508 "compile.y" -{ yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_LOG_AND) ; +#line 522 "compile.y" +{ yyval=yyvsp[-2]; PNC(yyval, yyvsp[0]); O(yyval, OP_LOG_AND) ; break;} case 140: -#line 509 "compile.y" -{ yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_LOG_OR) ; +#line 523 "compile.y" +{ yyval=yyvsp[-2]; PNC(yyval, yyvsp[0]); O(yyval, OP_LOG_OR) ; break;} case 141: -#line 510 "compile.y" +#line 524 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_LOG_XOR) ; break;} case 142: -#line 511 "compile.y" +#line 525 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_LT) ; break;} case 143: -#line 512 "compile.y" +#line 526 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_GT) ; break;} case 144: -#line 513 "compile.y" +#line 527 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_LE) ; break;} case 145: -#line 514 "compile.y" +#line 528 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_GE) ; break;} case 146: -#line 515 "compile.y" +#line 529 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_EQ) ; break;} case 147: -#line 516 "compile.y" +#line 530 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_NUM_NE) ; break;} case 148: -#line 517 "compile.y" +#line 531 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_LT) ; break;} case 149: -#line 518 "compile.y" +#line 532 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_GT) ; break;} case 150: -#line 519 "compile.y" +#line 533 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_LE) ; break;} case 151: -#line 520 "compile.y" +#line 534 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_GE) ; break;} case 152: -#line 521 "compile.y" +#line 535 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_EQ) ; break;} case 153: -#line 522 "compile.y" +#line 536 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_STR_NE) ; break;} case 154: -#line 523 "compile.y" +#line 537 "compile.y" { yyval=yyvsp[-2]; P(yyval, yyvsp[0]); O(yyval, OP_IS) ; break;} case 155: -#line 526 "compile.y" +#line 540 "compile.y" { yyval=N(POOL); O(yyval, OP_CREATE_SWPOOL); /* stack: empty write context */ @@ -1587,18 +1601,18 @@ case 155: ; break;} case 156: -#line 535 "compile.y" +#line 549 "compile.y" { // optimized from OP_STRING+OP_WRITE_VALUE to OP_STRING__WRITE change_string_literal_to_write_string_literal(yyval=yyvsp[0]) ; break;} case 157: -#line 540 "compile.y" +#line 554 "compile.y" { yyval=VL(NEW VVoid(POOL)) ; break;} case 158: -#line 541 "compile.y" +#line 555 "compile.y" { yyval=N(POOL) ; break;} } @@ -1823,7 +1837,7 @@ yyerrhandle: } return 1; } -#line 543 "compile.y" +#line 557 "compile.y" #endif @@ -1844,7 +1858,7 @@ yyerrhandle: */ static int yylex(YYSTYPE *lvalp, void *pc) { - #define lexical_brackets_nestage PC.brackets_nestages[PC.sp] + #define lexical_brackets_nestage PC.brackets_nestages[PC.ls_sp] #define RC {result=c; goto break2; } register int c; @@ -1871,10 +1885,16 @@ static int yylex(YYSTYPE *lvalp, void *p PC.col++; if(c=='@' && PC.col==0+1) { + if(PC.ls==LS_DEF_SPECIAL_BODY) { + // @SPECIAL + // ... + // @