--- parser3/src/main/compile.y 2001/02/22 10:43:45 1.16 +++ parser3/src/main/compile.y 2001/02/22 15:17:40 1.22 @@ -87,53 +87,69 @@ action: get | put | with | call; get: '$' any_name { $$=$2; /* stack: resulting value */ - OP($$, OP_WRITE_VALUE); /* value=pop; write(value) */ + OP($$, OP_WRITE); /* value=pop; write(value) */ }; any_name: name_without_curly_rdive EON | name_in_curly_rdive; name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 }; -name_without_curly_rdive: name_rdive { - /* - TODO: подсмотреть в $1, и если там в первом элементе первая буква ":" - то выкинуть её и делать не OP_WITH_READ, а WITH_ROOT - TODO: подсмотреть в $1, и если там первым элементом self, - то выкинуть его и делать не OP_WITH_READ, а WITH_SELF - */ - $$=N(pool); OP($$, OP_WITH_READ); /* stack: starting context */ - P($$, $1); /* diving code; stack: current context */ +name_without_curly_rdive: name_without_curly_rdive_read | name_without_curly_rdive_root; +name_without_curly_rdive_read: name_without_curly_rdive_code { + $$=N(pool); + Array *diving_code=$1; + String *first_name=LA2S(diving_code); + if(first_name && *first_name=="self") { + OP($$, OP_WITH_SELF); /* stack: starting context */ + P($$, diving_code, + /* skip over... */ + diving_code->size()>2?3/*OP_+string+get_element*/:2/*OP_+string*/); + } else { + OP($$, OP_WITH_READ); /* stack: starting context */ + P($$, diving_code); + } + /* diving code; stack: current context */ }; -name_rdive: name_advance2 | name_path name_advance2 { $$=$1; P($$, $2) }; +name_without_curly_rdive_root: ':' name_without_curly_rdive_code { + $$=N(pool); + OP($$, OP_WITH_ROOT); /* stack: starting context */ + P($$, $2); /* diving code; stack: current context */ +}; +name_without_curly_rdive_code: name_advance2 | name_path name_advance2 { $$=$1; P($$, $2) }; /* put */ put: '$' name_expr_dive '(' constructor_value ')' { /* - TODO: подсмотреть в $3, и если там в первом элементе первая буква ":" - то выкинуть её и делать не OP_WITH_OP_WRITE, а WITH_ROOT TODO: подсмотреть в $3, и если там первым элементом self, то выкинуть его и делать не OP_WITH_OP_WRITE, а WITH_SELF если ничего не осталось - $self(xxx) обругать */ + $$=$2; /* stack: context,name */ + P($$, $4); /* stack: context,name,constructor_value */ + OP($$, OP_CONSTRUCT); /* value=pop; name=pop; context=pop; construct(context,name,value) */ +}; +name_expr_dive: name_expr_dive_write | name_expr_dive_root; +name_expr_dive_write: name_expr_dive_code { $$=N(pool); OP($$, OP_WITH_WRITE); /* stack: starting context */ + P($$, $1); /* diving code; stack: context,name */ +}; +name_expr_dive_root: ':' name_expr_dive_code { + $$=N(pool); + OP($$, OP_WITH_ROOT); /* stack: starting context */ P($$, $2); /* diving code; stack: context,name */ - P($$, $4); /* stack: context,name,constructor_value */ - OP($$, OP_CONSTRUCT); /* value=pop; name=pop; context=pop; construct(context,name,value) */ }; + constructor_value: constructor_one_param_value | constructor_two_params_value /* $var(=;2*2) $var(%d;2*2) $var(+;1) */ ; constructor_one_param_value: empty /* optimized $var() case */ -| string_value /* optimized $var(STRING) case */ +| STRING /* optimized $var(STRING) case */ | complex_constructor_param_value /* $var(something complex) */ ; -string_value: STRING { - $$=LAS2LAVS($1); -}; complex_constructor_param_value: complex_constructor_param_body { $$=N(pool); OP($$, OP_CREATE_EWPOOL); /* stack: empty write context */ @@ -208,7 +224,7 @@ store_curly_param: '{' maybe_codes '}' { /* name */ -name_expr_dive: name_expr_value | name_path name_expr_value { $$=$1; P($$, $2) }; +name_expr_dive_code: name_expr_value | name_path name_expr_value { $$=$1; P($$, $2) }; name_path: name_step | name_path name_step { $$=$1; P($$, $2) }; name_step: name_advance1 '.'; @@ -237,22 +253,25 @@ name_expr_with_subvar_value: STRING subv $$=N(pool); OP($$, OP_CREATE_EWPOOL); P($$, $1); - OP($$, OP_WRITE_STRING); + OP($$, OP_WRITE); P($$, $2); OP($$, OP_REDUCE_EWPOOL); }; -subvar_ref_name_rdive: STRING { -/* - TODO: подсмотреть в $1, и если там в первом элементе первая буква ":" - то выкинуть её и делать не OP_WITH_READ, а WITH_ROOT -*/ - $$=N(pool); OP($$, OP_WITH_READ); +subvar_ref_name_rdive: subvar_ref_name_rdive_read | subvar_ref_name_rdive_root; +subvar_ref_name_rdive_read: STRING { + $$=N(pool); + OP($$, OP_WITH_READ); P($$, $1); }; +subvar_ref_name_rdive_root: ':' STRING { + $$=N(pool); + OP($$, OP_WITH_ROOT); + P($$, $2); +}; subvar_get_writes: subvar__get_write | subvar_get_writes subvar__get_write { $$=$1; P($$, $2) }; subvar__get_write: '$' subvar_ref_name_rdive { $$=$2; - OP($$, OP_GET_ELEMENT__WRITE_VALUE); + OP($$, OP_GET_ELEMENT__WRITE); }; @@ -263,7 +282,7 @@ with: '$' name_without_curly_rdive '{' c OP($$, OP_CREATE_RWPOOL); P($$, $4); OP($$, OP_REDUCE_RWPOOL); - OP($$, OP_WRITE_VALUE); + OP($$, OP_WRITE); }; /* codes_in_brackets */ @@ -283,7 +302,7 @@ codes__excluding_sole_str_literal: ; write_str_literal: STRING { $$=$1; - OP($$, OP_WRITE_STRING); + OP($$, OP_WRITE); }; /* */ @@ -440,6 +459,10 @@ int yylex(YYSTYPE *lvalp, void *pc) { result=c; goto break2; } + if(c==':') { + result=c; + goto break2; + } if(c=='(') { PC->ls=LS_VAR_ROUND; lexical_brackets_nestage=1; @@ -458,6 +481,10 @@ int yylex(YYSTYPE *lvalp, void *pc) { } break; case LS_VAR_NAME_CURLY: + if(c==':') { + result=c; + goto break2; + } if(c=='}') { /* ${name} finished, restoring LS */ pop_LS(PC); result=c; @@ -597,7 +624,7 @@ int yylex(YYSTYPE *lvalp, void *pc) { } if(c==0) { result=-1; - PC->source--; PC->col--; +// PC->source--; PC->col--; break; } } @@ -612,8 +639,8 @@ break2: end--; // append last piece PC->string->APPEND(begin, end-begin, PC->file, begin_line/*, start_col*/); - // create STRING value: array of OP_STRING+string - *lvalp=L(PC->string); + // create STRING value: array of OP_VALUE+vstring + *lvalp=L(new(pool) VString(PC->string)); // new pieces storage PC->string=new(pool) String(pool); // go!