|
|
| version 1.111, 2001/03/24 15:58:00 | version 1.125, 2001/04/17 19:00:40 |
|---|---|
| Line 31 | Line 31 |
| #include "pa_config_includes.h" | #include "pa_config_includes.h" |
| #include <stdio.h> | #include <stdio.h> |
| #include <stdlib.h> | #include <stdlib.h> |
| #include <ctype.h> | |
| #include "compile_tools.h" | #include "compile_tools.h" |
| #include "pa_value.h" | #include "pa_value.h" |
| Line 38 | Line 39 |
| #include "pa_vobject.h" | #include "pa_vobject.h" |
| #include "pa_vdouble.h" | #include "pa_vdouble.h" |
| #include "pa_globals.h" | #include "pa_globals.h" |
| #include "pa_vunknown.h" | |
| #define SELF_ELEMENT_NAME "self" | #define SELF_ELEMENT_NAME "self" |
| #define USE_CONTROL_METHOD_NAME "USE" | #define USE_CONTROL_METHOD_NAME "USE" |
| int real_yyerror(parse_control *pc, char *s); | static int real_yyerror(parse_control *pc, char *s); |
| static void yyprint(FILE *file, int type, YYSTYPE value); | static void yyprint(FILE *file, int type, YYSTYPE value); |
| int yylex(YYSTYPE *lvalp, void *pc); | static int yylex(YYSTYPE *lvalp, void *pc); |
| // local convinient inplace typecast & var | // local convinient inplace typecast & var |
| #define PC ((parse_control *)pc) | #define PC (*(parse_control *)pc) |
| #define POOL *PC->pool | #define POOL (*PC.pool) |
| #undef NEW | #undef NEW |
| #define NEW new(POOL) | #define NEW new(POOL) |
| #ifndef DOXYGEN | #ifndef DOXYGEN |
| Line 62 int yylex(YYSTYPE *lvalp, void *pc); | Line 64 int yylex(YYSTYPE *lvalp, void *pc); |
| %token BOGUS | %token BOGUS |
| %token BAD_STRING_COMPARISON_OPERATOR | %token BAD_STRING_COMPARISON_OPERATOR |
| %token BAD_HEX_LITERAL | |
| %token LAND "&&" | %token LAND "&&" |
| %token LOR "||" | %token LOR "||" |
| Line 110 all: | Line 113 all: |
| one_big_piece { | one_big_piece { |
| Method& method=*NEW Method(POOL, | Method& method=*NEW Method(POOL, |
| *main_method_name, | *main_method_name, |
| Method::CT_ANY, | |
| 0, 0, /*min, max numbered_params_count*/ | 0, 0, /*min, max numbered_params_count*/ |
| 0/*param_names*/, 0/*local_names*/, | 0/*param_names*/, 0/*local_names*/, |
| $1/*parser_code*/, 0/*native_code*/); | $1/*parser_code*/, 0/*native_code*/); |
| PC->cclass->add_method(*main_method_name, method); | PC.cclass->add_method(*main_method_name, method); |
| } | } |
| | methods; | | methods; |
| Line 124 method: control_method | code_method; | Line 128 method: control_method | code_method; |
| control_method: '@' STRING '\n' | control_method: '@' STRING '\n' |
| control_strings { | control_strings { |
| const String& command=*SLA2S($2); | const String& command=*LA2S($2); |
| YYSTYPE strings_code=$4; | YYSTYPE strings_code=$4; |
| if(strings_code->size()<1*2) { | if(strings_code->size()<1*2) { |
| strcpy(PC->error, "@"); | strcpy(PC.error, "@"); |
| strcat(PC->error, command.cstr()); | strcat(PC.error, command.cstr()); |
| strcat(PC->error, " is empty"); | strcat(PC.error, " is empty"); |
| YYERROR; | YYERROR; |
| } | } |
| if(command==CLASS_NAME) { | if(command==CLASS_NAME) { |
| if(PC->cclass!=&PC->request->ROOT) { // already changed from default? | if(PC.cclass) { // already changed from default? |
| strcpy(PC->error, "class already have a name '"); | strcpy(PC.error, "class already have a name '"); |
| strncat(PC->error, PC->cclass->name().cstr(), 100); | strncat(PC.error, PC.cclass->name().cstr(), 100); |
| strcat(PC->error, "'"); | strcat(PC.error, "'"); |
| YYERROR; | YYERROR; |
| } | } |
| if(strings_code->size()==1*2) { | if(strings_code->size()==1*2) { |
| // new class' name | // new class' name |
| const String *name=SLA2S(strings_code); | const String *name=LA2S(strings_code); |
| // creating the class | // creating the class |
| PC->cclass=NEW VClass(POOL); | PC.cclass=NEW VClass(POOL); |
| PC->cclass->set_name(*name); | PC.cclass->set_name(*name); |
| // defaulting base. may change with @BASE | |
| PC->cclass->set_base(PC->request->ROOT); | |
| // append to request's classes | // append to request's classes |
| PC->request->classes().put(*name, PC->cclass); | PC.request->classes().put(*name, PC.cclass); |
| } else { | } else { |
| strcpy(PC->error, "@"CLASS_NAME" must contain sole name"); | strcpy(PC.error, "@"CLASS_NAME" must contain sole name"); |
| YYERROR; | YYERROR; |
| } | } |
| } else { | } else { |
| if(command==USE_CONTROL_METHOD_NAME) { | if(command==USE_CONTROL_METHOD_NAME) { |
| for(int i=0; i<strings_code->size(); i+=2) | for(int i=0; i<strings_code->size(); i+=2) |
| PC->request->use_file( | PC.request->use_file( |
| PC->request->absolute(*SLA2S(strings_code, i))); | PC.request->absolute(*LA2S(strings_code, i))); |
| } else if(command==BASE_NAME) { | } else if(command==BASE_NAME) { |
| if(PC->cclass->base()!=&PC->request->ROOT) { // already changed from default? | if(PC.cclass->base()) { // already changed from default? |
| strcpy(PC->error, "class already have a base '"); | strcpy(PC.error, "class already have a base '"); |
| strncat(PC->error, PC->cclass->base()->name().cstr(), 100); | strncat(PC.error, PC.cclass->base()->name().cstr(), 100); |
| strcat(PC->error, "'"); | strcat(PC.error, "'"); |
| YYERROR; | YYERROR; |
| } | } |
| if(strings_code->size()==1*2) { | if(strings_code->size()==1*2) { |
| const String& base_name=*SLA2S(strings_code); | const String& base_name=*LA2S(strings_code); |
| VClass *base=static_cast<VClass *>( | VClass *base=static_cast<VClass *>( |
| PC->request->classes().get(base_name)); | PC.request->classes().get(base_name)); |
| if(!base) { | if(!base) { |
| strcpy(PC->error, base_name.cstr()); | strcpy(PC.error, base_name.cstr()); |
| strcat(PC->error, ": undefined class in @"BASE_NAME); | strcat(PC.error, ": undefined class in @"BASE_NAME); |
| YYERROR; | YYERROR; |
| } | } |
| // @CLASS == @BASE sanity check | // @CLASS == @BASE sanity check |
| if(PC->cclass==base) { | if(PC.cclass==base) { |
| strcpy(PC->error, "@"CLASS_NAME" equals @"BASE_NAME); | strcpy(PC.error, "@"CLASS_NAME" equals @"BASE_NAME); |
| YYERROR; | YYERROR; |
| } | } |
| PC->cclass->set_base(*base); | PC.cclass->set_base(*base); |
| } else { | } else { |
| strcpy(PC->error, "@"BASE_NAME" must contain sole name"); | strcpy(PC.error, "@"BASE_NAME" must contain sole name"); |
| YYERROR; | YYERROR; |
| } | } |
| } else { | } else { |
| strcpy(PC->error, "'"); | strcpy(PC.error, "'"); |
| strncat(PC->error, command.cstr(), MAX_STRING/2); | strncat(PC.error, command.cstr(), MAX_STRING/2); |
| strcat(PC->error, "' invalid special name. valid names are " | strcat(PC.error, "' invalid special name. valid names are " |
| "'"CLASS_NAME"', '"USE_CONTROL_METHOD_NAME"' and '"BASE_NAME"'"); | "'"CLASS_NAME"', '"USE_CONTROL_METHOD_NAME"' and '"BASE_NAME"'"); |
| YYERROR; | YYERROR; |
| } | } |
| Line 199 maybe_string: empty | STRING; | Line 201 maybe_string: empty | STRING; |
| code_method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n' | code_method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n' |
| maybe_codes { | maybe_codes { |
| const String *name=SLA2S($2); | const String *name=LA2S($2); |
| YYSTYPE params_names_code=$3; | YYSTYPE params_names_code=$3; |
| Array *params_names=0; | Array *params_names=0; |
| if(int size=params_names_code->size()) { | if(int size=params_names_code->size()) { |
| params_names=NEW Array(POOL); | params_names=NEW Array(POOL); |
| for(int i=0; i<size; i+=2) | for(int i=0; i<size; i+=2) |
| *params_names+=SLA2S(params_names_code, i); | *params_names+=LA2S(params_names_code, i); |
| } | } |
| YYSTYPE locals_names_code=$4; | YYSTYPE locals_names_code=$4; |
| Line 214 code_method: '@' STRING bracketed_maybe_ | Line 216 code_method: '@' STRING bracketed_maybe_ |
| if(int size=locals_names_code->size()) { | if(int size=locals_names_code->size()) { |
| locals_names=NEW Array(POOL); | locals_names=NEW Array(POOL); |
| for(int i=0; i<size; i+=2) | for(int i=0; i<size; i+=2) |
| *locals_names+=SLA2S(locals_names_code, i); | *locals_names+=LA2S(locals_names_code, i); |
| } | } |
| Method& method=*NEW Method(POOL, | Method& method=*NEW Method(POOL, |
| *name, | *name, |
| Method::CT_ANY, | |
| 0, 0/*min,max numbered_params_count*/, | 0, 0/*min,max numbered_params_count*/, |
| params_names, locals_names, | params_names, locals_names, |
| $7, 0); | $7, 0); |
| PC->cclass->add_method(*name, method); | PC.cclass->add_method(*name, method); |
| }; | }; |
| maybe_bracketed_strings: empty | bracketed_maybe_strings; | maybe_bracketed_strings: empty | bracketed_maybe_strings; |
| Line 256 name_without_curly_rdive: | Line 259 name_without_curly_rdive: |
| name_without_curly_rdive_read: name_without_curly_rdive_code { | name_without_curly_rdive_read: name_without_curly_rdive_code { |
| $$=N(POOL); | $$=N(POOL); |
| Array *diving_code=$1; | Array *diving_code=$1; |
| const String *first_name=SLA2S(diving_code); | const String *first_name=LA2S(diving_code); |
| if(first_name && *first_name==SELF_ELEMENT_NAME) { | if(first_name && *first_name==SELF_ELEMENT_NAME) { |
| O($$, OP_WITH_SELF); /* stack: starting context */ | O($$, OP_WITH_SELF); /* stack: starting context */ |
| P($$, diving_code, | P($$, diving_code, |
| Line 289 name_expr_wdive: | Line 292 name_expr_wdive: |
| name_expr_wdive_write: name_expr_dive_code { | name_expr_wdive_write: name_expr_dive_code { |
| $$=N(POOL); | $$=N(POOL); |
| Array *diving_code=$1; | Array *diving_code=$1; |
| const String *first_name=SLA2S(diving_code); | const String *first_name=LA2S(diving_code); |
| if(first_name && *first_name==SELF_ELEMENT_NAME) { | if(first_name && *first_name==SELF_ELEMENT_NAME) { |
| O($$, OP_WITH_SELF); /* stack: starting context */ | O($$, OP_WITH_SELF); /* stack: starting context */ |
| P($$, diving_code, | P($$, diving_code, |
| Line 320 construct_by_expr: '(' expr_value ')' { | Line 323 construct_by_expr: '(' expr_value ')' { |
| } | } |
| ; | ; |
| any_constructor_code_value: | any_constructor_code_value: |
| empty_string_value /* optimized $var[] case */ | unknown_value /* optimized $var[] case */ |
| | STRING /* optimized $var[STRING] case */ | | STRING /* optimized $var[STRING] case */ |
| | constructor_code_value /* $var[something complex] */ | | constructor_code_value /* $var[something complex] */ |
| ; | ; |
| Line 342 call: call_value { | Line 345 call: call_value { |
| call_value: '^' call_name store_params EON { /* ^field.$method{vasya} */ | call_value: '^' call_name store_params EON { /* ^field.$method{vasya} */ |
| $$=$2; /* with_xxx,diving code; stack: context,method_junction */ | $$=$2; /* with_xxx,diving code; stack: context,method_junction */ |
| O($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */ | O($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */ |
| P($$, $3); /* filling method_frame.store_params */ | |
| O($$, OP_CALL); /* method_frame=pop; ncontext=pop; call(ncontext,method_frame) stack: value */ | YYSTYPE params_code=$3; |
| if(params_code->size()==3) // probably [] case. [OP_VALUE + Unknown + STORE_PARAM] | |
| if(Value *value=LA2V(params_code)) // it is OP_VALUE + value? | |
| if(!value->is_defined()) // value is VUnknown? | |
| params_code=0; // ^zzz[] case. don't append lone empty param. | |
| if(params_code) | |
| P($$, params_code); // filling method_frame.store_params | |
| O($$, OP_CALL); // method_frame=pop; ncontext=pop; call(ncontext,method_frame) stack: value | |
| }; | }; |
| call_name: name_without_curly_rdive; | call_name: name_without_curly_rdive; |
| Line 369 store_curly_param_parts: | Line 379 store_curly_param_parts: |
| store_curly_param_part | store_curly_param_part |
| | store_curly_param_parts ';' store_curly_param_part { $$=$1; P($$, $3) } | | store_curly_param_parts ';' store_curly_param_part { $$=$1; P($$, $3) } |
| ; | ; |
| store_code_param_part: | store_code_param_part: code_param_value { |
| empty /* optimized [] case */ | |
| | STRING { /* optimized [STRING] case */ | |
| $$=$1; | $$=$1; |
| O($$, OP_STORE_PARAM); | O($$, OP_STORE_PARAM); |
| } | }; |
| | constructor_code_value { /* [something complex] */ | |
| $$=$1; | |
| O($$, OP_STORE_PARAM); | |
| } | |
| ; | |
| store_expr_param_part: write_expr_value { | store_expr_param_part: write_expr_value { |
| $$=N(POOL); | $$=N(POOL); |
| PEA($$, $1); | PEA($$, $1); |
| Line 388 store_curly_param_part: maybe_codes { | Line 391 store_curly_param_part: maybe_codes { |
| $$=N(POOL); | $$=N(POOL); |
| PCA($$, $1); | PCA($$, $1); |
| }; | }; |
| code_param_value: | |
| unknown_value /* optimized [;...] case */ | |
| | STRING /* optimized [STRING] case */ | |
| | constructor_code_value /* [something complex] */ | |
| ; | |
| write_expr_value: expr_value { | write_expr_value: expr_value { |
| $$=$1; | $$=$1; |
| O($$, OP_WRITE_EXPR_RESULT); | O($$, OP_WRITE_EXPR_RESULT); |
| Line 521 write_string: STRING { | Line 529 write_string: STRING { |
| change_string_literal_to_write_string_literal($$=$1) | change_string_literal_to_write_string_literal($$=$1) |
| }; | }; |
| empty_string_value: /* empty */ { $$=VL(NEW VString(POOL)) }; | unknown_value: /* empty */ { $$=VL(NEW VUnknown(POOL)) }; |
| empty: /* empty */ { $$=N(POOL) }; | empty: /* empty */ { $$=N(POOL) }; |
| %% | %% |
| Line 544 empty: /* empty */ { $$=N(POOL) }; | Line 552 empty: /* empty */ { $$=N(POOL) }; |
| */ | */ |
| static int yylex(YYSTYPE *lvalp, void *pc) { | static int yylex(YYSTYPE *lvalp, void *pc) { |
| #define lexical_brackets_nestage PC->brackets_nestages[PC->sp] | #define lexical_brackets_nestage PC.brackets_nestages[PC.sp] |
| #define RC {result=c; goto break2; } | #define RC {result=c; goto break2; } |
| register int c; | register int c; |
| int result; | int result; |
| if(PC->pending_state) { | if(PC.pending_state) { |
| result=PC->pending_state; | result=PC.pending_state; |
| PC->pending_state=0; | PC.pending_state=0; |
| return result; | return result; |
| } | } |
| const char *begin=PC->source; | const char *begin=PC.source; |
| const char *end; | const char *end; |
| int begin_line=PC->line; | int begin_line=PC.line; |
| int skip_analized=0; | int skip_analized=0; |
| while(true) { | while(true) { |
| c=*(end=(PC->source++)); | c=*(end=(PC.source++)); |
| if(c=='\n') { | if(c=='\n') { |
| PC->line++; | PC.line++; |
| PC->col=0; | PC.col=0; |
| } else | } else |
| PC->col++; | PC.col++; |
| // todo: # in 0+1 column comment | if(c=='^' && PC.ls!=LS_COMMENT && PC.ls!=LS_DEF_COMMENT) |
| switch(*PC.source) { | |
| // escaping: ^^ ^$ ^; ^) ^} ^( ^{ ^" | // escaping: ^^ ^$ ^; ^) ^} ^( ^{ ^" |
| if(c=='^') | |
| switch(*PC->source) { | |
| case '^': case '$': case ';': | case '^': case '$': case ';': |
| case '[': case ']': | case '[': case ']': |
| case '{': case '}': | case '{': case '}': |
| case '"': | case '"': |
| if(end!=begin) { | if(end!=begin) { |
| // append piece till ^ | // append piece till ^ |
| PC->string->APPEND(begin, end-begin, PC->file, begin_line); | PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line); |
| } | } |
| // reset piece 'begin' position & line | // reset piece 'begin' position & line |
| begin=PC->source; // ^ | begin=PC.source; // ^ |
| begin_line=PC->line; | begin_line=PC.line; |
| // skip over ^ and _ | // skip over ^ and _ |
| PC->source++; PC->col++; | PC.source++; PC.col++; |
| // skip analysis = forced literal | // skip analysis = forced literal |
| continue; | continue; |
| // converting ^#HH into char(hex(HH)) | |
| case '#': | |
| if(end!=begin) { | |
| // append piece till ^ | |
| PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line); | |
| } | |
| // #HH ? | |
| if(PC.source[0]=='#' && PC.source[1] && PC.source[2]) { | |
| char *hex=(char *)POOL.malloc(1); | |
| hex[0]= | |
| hex_value[(unsigned char)PC.source[1]]*0x10+ | |
| hex_value[(unsigned char)PC.source[2]]; | |
| if(hex[0]==0) { | |
| result=BAD_HEX_LITERAL; | |
| goto break2; // wrong hex value[no ^#00 chars allowed]: bail out | |
| } | |
| // append char(hex(HH)) | |
| PC.string->APPEND_CLEAN(hex, 1, PC.file, begin_line); | |
| // skip over ^#HH | |
| PC.source+=3; | |
| PC.col+=3; | |
| // reset piece 'begin' position & line | |
| begin=PC.source; // ^ | |
| begin_line=PC.line; | |
| continue; | |
| } | |
| break; | |
| } | } |
| switch(PC->ls) { | // #comment start skipping |
| if(c=='#' && PC.col==1) { | |
| if(end!=begin) { | |
| // append piece till # | |
| PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line); | |
| } | |
| // fall into COMMENT lexical state [wait for \n] | |
| push_LS(PC, LS_COMMENT); | |
| } | |
| switch(PC.ls) { | |
| // USER'S = NOT OURS | // USER'S = NOT OURS |
| case LS_USER: | case LS_USER: |
| Line 602 static int yylex(YYSTYPE *lvalp, void *p | Line 645 static int yylex(YYSTYPE *lvalp, void *p |
| push_LS(PC, LS_METHOD_NAME); | push_LS(PC, LS_METHOD_NAME); |
| RC; | RC; |
| case '@': | case '@': |
| if(PC->col==0+1) { | if(PC.col==0+1) { |
| push_LS(PC, LS_DEF_NAME); | push_LS(PC, LS_DEF_NAME); |
| RC; | RC; |
| } | } |
| Line 610 static int yylex(YYSTYPE *lvalp, void *p | Line 653 static int yylex(YYSTYPE *lvalp, void *p |
| } | } |
| break; | break; |
| // #COMMENT | |
| case LS_COMMENT: | |
| if(c=='\n') { | |
| // skip comment | |
| begin=PC.source; | |
| begin_line=PC.line; | |
| pop_LS(PC); | |
| continue; | |
| } | |
| break; | |
| // STRING IN EXPRESSION | // STRING IN EXPRESSION |
| case LS_EXPRESSION_STRING: | case LS_EXPRESSION_STRING: |
| switch(c) { | switch(c) { |
| Line 629 static int yylex(YYSTYPE *lvalp, void *p | Line 684 static int yylex(YYSTYPE *lvalp, void *p |
| case LS_DEF_NAME: | case LS_DEF_NAME: |
| switch(c) { | switch(c) { |
| case '[': | case '[': |
| PC->ls=LS_DEF_PARAMS; | PC.ls=LS_DEF_PARAMS; |
| RC; | RC; |
| case '\n': | case '\n': |
| PC->ls=LS_DEF_SPECIAL_BODY; | PC.ls=LS_DEF_SPECIAL_BODY; |
| RC; | RC; |
| } | } |
| break; | break; |
| Line 642 static int yylex(YYSTYPE *lvalp, void *p | Line 697 static int yylex(YYSTYPE *lvalp, void *p |
| case ';': | case ';': |
| RC; | RC; |
| case ']': | case ']': |
| PC->ls=*PC->source=='['?LS_DEF_LOCALS:LS_DEF_COMMENT; | PC.ls=*PC.source=='['?LS_DEF_LOCALS:LS_DEF_COMMENT; |
| RC; | RC; |
| case '\n': // wrong. bailing out | case '\n': // wrong. bailing out |
| pop_LS(PC); | pop_LS(PC); |
| Line 656 static int yylex(YYSTYPE *lvalp, void *p | Line 711 static int yylex(YYSTYPE *lvalp, void *p |
| case ';': | case ';': |
| RC; | RC; |
| case ']': | case ']': |
| PC->ls=LS_DEF_COMMENT; | PC.ls=LS_DEF_COMMENT; |
| RC; | RC; |
| case '\n': // wrong. bailing out | case '\n': // wrong. bailing out |
| pop_LS(PC); | pop_LS(PC); |
| Line 673 static int yylex(YYSTYPE *lvalp, void *p | Line 728 static int yylex(YYSTYPE *lvalp, void *p |
| case LS_DEF_SPECIAL_BODY: | case LS_DEF_SPECIAL_BODY: |
| if(c=='\n') { | if(c=='\n') { |
| switch(*PC->source) { | switch(*PC.source) { |
| case '@': case 0: // end of special_code | case '@': case 0: // end of special_code |
| pop_LS(PC); | pop_LS(PC); |
| break; | break; |
| Line 688 static int yylex(YYSTYPE *lvalp, void *p | Line 743 static int yylex(YYSTYPE *lvalp, void *p |
| switch(c) { | switch(c) { |
| case ')': | case ')': |
| if(--lexical_brackets_nestage==0) | if(--lexical_brackets_nestage==0) |
| if(PC->ls==LS_METHOD_ROUND) // method round param ended | if(PC.ls==LS_METHOD_ROUND) // method round param ended |
| PC->ls=LS_METHOD_AFTER; // look for method end | PC.ls=LS_METHOD_AFTER; // look for method end |
| else // PC->ls==LS_VAR_ROUND // variable constructor ended | else // PC.ls==LS_VAR_ROUND // variable constructor ended |
| pop_LS(PC); // return to normal life | pop_LS(PC); // return to normal life |
| RC; | RC; |
| case '$': | case '$': |
| Line 703 static int yylex(YYSTYPE *lvalp, void *p | Line 758 static int yylex(YYSTYPE *lvalp, void *p |
| lexical_brackets_nestage++; | lexical_brackets_nestage++; |
| RC; | RC; |
| case '-': | case '-': |
| if(*PC->source=='f') { // -f | if(*PC.source=='f') { // -f |
| skip_analized=1; | skip_analized=1; |
| result=FEXISTS; | result=FEXISTS; |
| } else | } else |
| Line 714 static int yylex(YYSTYPE *lvalp, void *p | Line 769 static int yylex(YYSTYPE *lvalp, void *p |
| case ';': | case ';': |
| RC; | RC; |
| case '&': case '|': case '#': | case '&': case '|': case '#': |
| if(*PC->source==c) { // && || | if(*PC.source==c) { // && || |
| result=c=='#'?LXOR:c=='&'?LAND:LOR; | result=c=='#'?LXOR:c=='&'?LAND:LOR; |
| skip_analized=1; | skip_analized=1; |
| } else | } else |
| result=c; | result=c; |
| goto break2; | goto break2; |
| case '<': case '>': case '=': case '!': | case '<': case '>': case '=': case '!': |
| if(*PC->source=='=') { // <= >= == != | if(*PC.source=='=') { // <= >= == != |
| skip_analized=1; | skip_analized=1; |
| switch(c) { | switch(c) { |
| case '<': result=NLE; break; | case '<': result=NLE; break; |
| Line 737 static int yylex(YYSTYPE *lvalp, void *p | Line 792 static int yylex(YYSTYPE *lvalp, void *p |
| RC; | RC; |
| case 'l': case 'g': case 'e': case 'n': | case 'l': case 'g': case 'e': case 'n': |
| if(end==begin) // right after whitespace | if(end==begin) // right after whitespace |
| switch(*PC->source) { | if(isspace(PC.source[1])) { |
| // case '?': // ok [and bad cases, yacc would bark at them] | switch(*PC.source) { |
| case 't': // lt gt [et nt] | // case '?': // ok [and bad cases, yacc would bark at them] |
| result=c=='l'?SLT:c=='g'?SGT:BAD_STRING_COMPARISON_OPERATOR; | case 't': // lt gt [et nt] |
| skip_analized=1; | result=c=='l'?SLT:c=='g'?SGT:BAD_STRING_COMPARISON_OPERATOR; |
| goto break2; | skip_analized=1; |
| case 'e': // le ge ne [ee] | goto break2; |
| result=c=='l'?SLE:c=='g'?SGE:c=='n'?SNE:BAD_STRING_COMPARISON_OPERATOR; | case 'e': // le ge ne [ee] |
| skip_analized=1; | result=c=='l'?SLE:c=='g'?SGE:c=='n'?SNE:BAD_STRING_COMPARISON_OPERATOR; |
| goto break2; | skip_analized=1; |
| case 'q': // eq [lq gq nq] | goto break2; |
| result=c=='e'?SEQ:BAD_STRING_COMPARISON_OPERATOR; | case 'q': // eq [lq gq nq] |
| skip_analized=1; | result=c=='e'?SEQ:BAD_STRING_COMPARISON_OPERATOR; |
| goto break2; | skip_analized=1; |
| goto break2; | |
| } | |
| } | } |
| break; | break; |
| case 'i': | case 'i': |
| if(end==begin) // right after whitespace | if(end==begin) // right after whitespace |
| switch(PC->source[0]) { | if(isspace(PC.source[1])) { |
| case 'n': | switch(PC.source[0]) { |
| { // in | case 'n': // in |
| skip_analized=1; | skip_analized=1; |
| result=IN; | result=IN; |
| goto break2; | goto break2; |
| } | case 's': // is |
| case 's': | |
| { // is | |
| skip_analized=1; | skip_analized=1; |
| result=IS; | result=IS; |
| goto break2; | goto break2; |
| Line 772 static int yylex(YYSTYPE *lvalp, void *p | Line 827 static int yylex(YYSTYPE *lvalp, void *p |
| break; | break; |
| case 'd': | case 'd': |
| if(end==begin) // right after whitespace | if(end==begin) // right after whitespace |
| if(PC->source[0]=='e' && PC->source[1]=='f') { // def | if(PC.source[0]=='e' && PC.source[1]=='f') { // def |
| skip_analized=2; | skip_analized=2; |
| result=DEF; | result=DEF; |
| goto break2; | goto break2; |
| Line 786 static int yylex(YYSTYPE *lvalp, void *p | Line 841 static int yylex(YYSTYPE *lvalp, void *p |
| // that's a leading|traling space or after-operator-space | // that's a leading|traling space or after-operator-space |
| // ignoring it | // ignoring it |
| // reset piece 'begin' position & line | // reset piece 'begin' position & line |
| begin=PC->source; // after whitespace char | begin=PC.source; // after whitespace char |
| begin_line=PC->line; | begin_line=PC.line; |
| continue; | continue; |
| } | } |
| break; | break; |
| Line 795 static int yylex(YYSTYPE *lvalp, void *p | Line 850 static int yylex(YYSTYPE *lvalp, void *p |
| // VARIABLE GET/PUT/WITH | // VARIABLE GET/PUT/WITH |
| case LS_VAR_NAME_SIMPLE: | case LS_VAR_NAME_SIMPLE: |
| case LS_EXPRESSION_VAR_NAME: | case LS_EXPRESSION_VAR_NAME: |
| if(PC->ls==LS_EXPRESSION_VAR_NAME) { | if(PC.ls==LS_EXPRESSION_VAR_NAME) { |
| // name in expr ends also before binary operators | // name in expr ends also before binary operators |
| switch(c) { | switch(c) { |
| case '-': | case '-': |
| pop_LS(PC); | pop_LS(PC); |
| PC->source--; if(--PC->col<0) { PC->line--; PC->col=-1; } | PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; } |
| result=EON; | result=EON; |
| goto break2; | goto break2; |
| } | } |
| Line 817 static int yylex(YYSTYPE *lvalp, void *p | Line 872 static int yylex(YYSTYPE *lvalp, void *p |
| // common delimiters | // common delimiters |
| case '\'': case ',': | case '\'': case ',': |
| pop_LS(PC); | pop_LS(PC); |
| PC->source--; if(--PC->col<0) { PC->line--; PC->col=-1; } | PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; } |
| result=EON; | result=EON; |
| goto break2; | goto break2; |
| case '[': | case '[': |
| PC->ls=LS_VAR_SQUARE; | PC.ls=LS_VAR_SQUARE; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| case '{': | case '{': |
| if(begin==end) { // ${name}, no need of EON, switching LS | if(begin==end) { // ${name}, no need of EON, switching LS |
| PC->ls=LS_VAR_NAME_CURLY; | PC.ls=LS_VAR_NAME_CURLY; |
| } else { | } else { |
| PC->ls=LS_VAR_CURLY; | PC.ls=LS_VAR_CURLY; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| } | } |
| RC; | RC; |
| case '(': | case '(': |
| PC->ls=LS_VAR_ROUND; | PC.ls=LS_VAR_ROUND; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| case '.': // name part delim | case '.': // name part delim |
| Line 902 static int yylex(YYSTYPE *lvalp, void *p | Line 957 static int yylex(YYSTYPE *lvalp, void *p |
| case LS_METHOD_NAME: | case LS_METHOD_NAME: |
| switch(c) { | switch(c) { |
| case '[': | case '[': |
| PC->ls=LS_METHOD_SQUARE; | PC.ls=LS_METHOD_SQUARE; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| case '{': | case '{': |
| PC->ls=LS_METHOD_CURLY; | PC.ls=LS_METHOD_CURLY; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| case '(': | case '(': |
| PC->ls=LS_METHOD_ROUND; | PC.ls=LS_METHOD_ROUND; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| case '.': // name part delim | case '.': // name part delim |
| Line 932 static int yylex(YYSTYPE *lvalp, void *p | Line 987 static int yylex(YYSTYPE *lvalp, void *p |
| RC; | RC; |
| case ']': | case ']': |
| if(--lexical_brackets_nestage==0) { | if(--lexical_brackets_nestage==0) { |
| PC->ls=LS_METHOD_AFTER; | PC.ls=LS_METHOD_AFTER; |
| RC; | RC; |
| } | } |
| break; | break; |
| Line 954 static int yylex(YYSTYPE *lvalp, void *p | Line 1009 static int yylex(YYSTYPE *lvalp, void *p |
| RC; | RC; |
| case '}': | case '}': |
| if(--lexical_brackets_nestage==0) { | if(--lexical_brackets_nestage==0) { |
| PC->ls=LS_METHOD_AFTER; | PC.ls=LS_METHOD_AFTER; |
| RC; | RC; |
| } | } |
| break; | break; |
| Line 966 static int yylex(YYSTYPE *lvalp, void *p | Line 1021 static int yylex(YYSTYPE *lvalp, void *p |
| case LS_METHOD_AFTER: | case LS_METHOD_AFTER: |
| if(c=='[') {/* ][ }[ )[ */ | if(c=='[') {/* ][ }[ )[ */ |
| PC->ls=LS_METHOD_SQUARE; | PC.ls=LS_METHOD_SQUARE; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| } | } |
| if(c=='{') {/* ]{ }{ ){ */ | if(c=='{') {/* ]{ }{ ){ */ |
| PC->ls=LS_METHOD_CURLY; | PC.ls=LS_METHOD_CURLY; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| } | } |
| if(c=='(') {/* ]( }( )( */ | if(c=='(') {/* ]( }( )( */ |
| PC->ls=LS_METHOD_ROUND; | PC.ls=LS_METHOD_ROUND; |
| lexical_brackets_nestage=1; | lexical_brackets_nestage=1; |
| RC; | RC; |
| } | } |
| pop_LS(PC); | pop_LS(PC); |
| PC->source--; if(--PC->col<0) { PC->line--; PC->col=-1; } | PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; } |
| result=EON; | result=EON; |
| goto break2; | goto break2; |
| } | } |
| Line 999 break2: | Line 1054 break2: |
| } | } |
| if(end!=begin) { // last piece still alive? | if(end!=begin) { // last piece still alive? |
| // append it | // append it |
| PC->string->APPEND(begin, end-begin, PC->file, begin_line/*, start_col*/); | PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line/*, start_col*/); |
| } | } |
| } | } |
| if(PC->string->size()) { // something accumulated? | if(PC.string->size()) { // something accumulated? |
| // create STRING value: array of OP_VALUE+vstring | // create STRING value: array of OP_VALUE+vstring |
| *lvalp=VL(NEW VString(*PC->string)); | *lvalp=VL(NEW VString(*PC.string)); |
| // new pieces storage | // new pieces storage |
| PC->string=NEW String(POOL); | PC.string=NEW String(POOL); |
| // make current result be pending for next call, return STRING for now | // make current result be pending for next call, return STRING for now |
| PC->pending_state=result; result=STRING; | PC.pending_state=result; result=STRING; |
| } | } |
| if(skip_analized) { | if(skip_analized) { |
| PC->source+=skip_analized; PC->col+=skip_analized; | PC.source+=skip_analized; PC.col+=skip_analized; |
| } | } |
| return result; | return result; |
| } | } |
| static int real_yyerror(parse_control *pc, char *s) { // Called by yyparse on error | static int real_yyerror(parse_control *pc, char *s) { // Called by yyparse on error |
| strncpy(pc->error, s, MAX_STRING); | strncpy(PC.error, s, MAX_STRING); |
| return 1; | return 1; |
| } | } |
| static void yyprint(FILE *file, int type, YYSTYPE value) { | static void yyprint(FILE *file, int type, YYSTYPE value) { |
| if(type==STRING) | if(type==STRING) |
| fprintf(file, " \"%s\"", SLA2S(value)->cstr()); | fprintf(file, " \"%s\"", LA2S(value)->cstr()); |
| } | } |