|
|
| version 1.241, 2016/10/25 23:37:52 | version 1.260, 2020/12/17 16:50:53 |
|---|---|
| Line 1 | Line 1 |
| /** @file | /** @file |
| Parser: parser @b operators. | Parser: parser @b operators. |
| Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com) | Copyright (c) 2001-2020 Art. Lebedev Studio (http://www.artlebedev.com) |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| */ | */ |
| Line 116 static void _untaint(Request& r, MethodP | Line 116 static void _untaint(Request& r, MethodP |
| if(const String* string=result.get_string()){ | if(const String* string=result.get_string()){ |
| String &untainted=*new String(); | String &untainted=*new String(); |
| string->append_to(untainted, lang); // mark all tainted to specified language | string->append_to(untainted, lang); // mark all tainted to specified language |
| r.write_pass_lang(untainted); | r.write(untainted); |
| } else | } else |
| r.write_pass_lang(result); // this is not normal, just backward compatibility | r.write(result); // this is not normal, just backward compatibility |
| } | } |
| static void _taint(Request& r, MethodParams& params) { | static void _taint(Request& r, MethodParams& params) { |
| Line 132 static void _taint(Request& r, MethodPar | Line 132 static void _taint(Request& r, MethodPar |
| Value& vbody=params.as_no_junction(params.count()-1, "body must not be code"); | Value& vbody=params.as_no_junction(params.count()-1, "body must not be code"); |
| String result(vbody.as_string(), lang); // force result language to specified | String result(vbody.as_string(), lang); // force result language to specified |
| r.write_pass_lang(result); | r.write(result); |
| } | } |
| } | } |
| Line 140 static void _apply_taint(Request& r, Met | Line 140 static void _apply_taint(Request& r, Met |
| String::Language lang=params.count()==1 ? String::L_AS_IS : get_untaint_lang(params.as_string(0, "lang must be string")); | String::Language lang=params.count()==1 ? String::L_AS_IS : get_untaint_lang(params.as_string(0, "lang must be string")); |
| const String &sbody=params.as_string(params.count()-1, "body must be string"); | const String &sbody=params.as_string(params.count()-1, "body must be string"); |
| String::Body result_body=sbody.cstr_to_string_body_untaint(lang, r.connection(false), &r.charsets); | String::Body result_body=sbody.cstr_to_string_body_untaint(lang, r.connection(false), &r.charsets); |
| r.write_pass_lang(*new String(result_body, String::L_AS_IS)); | r.write(*new String(result_body, String::L_AS_IS)); |
| } | } |
| static void _process(Request& r, MethodParams& params) { | static void _process(Request& r, MethodParams& params) { |
| Line 200 static void _process(Request& r, MethodP | Line 200 static void _process(Request& r, MethodP |
| throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION); | throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION); |
| } | } |
| uint processe_file_no=file_alias ? r.register_file(r.absolute(*file_alias)) : pseudo_file_no__process; | uint processe_file_no=file_alias ? r.register_file(r.full_disk_path(*file_alias)) : pseudo_file_no__process; |
| // process...{string} | // process...{string} |
| Value& vjunction=params.as_junction(index, "body must be code"); | Value& vjunction=params.as_junction(index, "body must be code"); |
| // temporary remove language change | |
| Temp_lang temp_lang(r, String::L_PARSER_CODE); | |
| // evaluate source to process | // evaluate source to process |
| const String& source=r.process_to_string(vjunction); | const String& source=r.process_to_string(vjunction); |
| Line 218 static void _process(Request& r, MethodP | Line 216 static void _process(Request& r, MethodP |
| // after restoring current-request-lang | // after restoring current-request-lang |
| // maybe-execute @main[] | // maybe-execute @main[] |
| if(main_method) { | if(main_method) { |
| VMethodFrame frame(*main_method, r.get_method_frame()->caller(), *target_self); | METHOD_FRAME_ACTION(*main_method, r.get_method_frame()->caller(), *target_self, { |
| frame.empty_params(); | frame.empty_params(); |
| r.call(frame); | r.call(frame); |
| r.write_pass_lang(frame.result()); | r.write(frame.result()); |
| }); | |
| } | } |
| } | } |
| Line 249 static void _while(Request& r, MethodPar | Line 248 static void _while(Request& r, MethodPar |
| break; | break; |
| Value& sv_processed=r.process(body_code); | Value& sv_processed=r.process(body_code); |
| Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); | TempSkip4Delimiter skip(r); |
| const String* s_processed=sv_processed.get_string(); | const String* s_processed=sv_processed.get_string(); |
| if(s_processed && !s_processed->is_empty()) { // we have body | if(s_processed && !s_processed->is_empty()) { // we have body |
| if(need_delim) // need delim & iteration produced string? | if(need_delim) // need delim & iteration produced string? |
| r.write_pass_lang(r.process(*delim_maybe_code)); | r.write(r.process(*delim_maybe_code)); |
| else | else |
| need_delim=true; | need_delim=true; |
| } | } |
| r.write_pass_lang(sv_processed); | r.write(sv_processed); |
| if(lskip==Request::SKIP_BREAK) | if(skip.check_break()) |
| break; | break; |
| } | } |
| } else { | } else { |
| Line 272 static void _while(Request& r, MethodPar | Line 271 static void _while(Request& r, MethodPar |
| break; | break; |
| r.process_write(body_code); | r.process_write(body_code); |
| Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); | |
| if(lskip==Request::SKIP_BREAK) | if(r.check_skip_break()) |
| break; | break; |
| } | } |
| } | } |
| Line 283 static void _while(Request& r, MethodPar | Line 281 static void _while(Request& r, MethodPar |
| static void _use(Request& r, MethodParams& params) { | static void _use(Request& r, MethodParams& params) { |
| Value& vfile=params.as_no_junction(0, FILE_NAME_MUST_NOT_BE_CODE); | Value& vfile=params.as_no_junction(0, FILE_NAME_MUST_NOT_BE_CODE); |
| const String* use_origin=0; | |
| bool allow_class_replace=false; | bool allow_class_replace=false; |
| bool load_auto_p=false; | |
| if(params.count()==2) | if(params.count()==2) |
| if(HashStringValue* options=params.as_hash(1)) { | if(HashStringValue* options=params.as_hash(1)) { |
| Line 293 static void _use(Request& r, MethodParam | Line 293 static void _use(Request& r, MethodParam |
| String::Body key=i.key(); | String::Body key=i.key(); |
| Value* value=i.value(); | Value* value=i.value(); |
| if(key == "origin") { | |
| valid_options++; | |
| use_origin=&value->as_string(); | |
| } | |
| if(key == "replace") { | if(key == "replace") { |
| valid_options++; | valid_options++; |
| allow_class_replace=r.process(*value).as_bool(); | allow_class_replace=r.process(*value).as_bool(); |
| } | } |
| if(valid_options!=options->count()) | if(key == "main") { |
| throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION); | valid_options++; |
| load_auto_p=r.process(*value).as_bool(); | |
| } | |
| if(valid_options!=options->count()) | |
| throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION); | |
| } | } |
| } | } |
| if(!use_origin) | |
| if(VMethodFrame* caller=r.get_method_frame()->caller()) | |
| use_origin=r.get_method_filespec(&caller->method); | |
| Temp_class_replace class_replace(r, allow_class_replace); | Temp_class_replace class_replace(r, allow_class_replace); |
| // _use could be called from the parser3 method only, so caller is always defined | r.use_file(vfile.as_string(), use_origin, load_auto_p); |
| r.use_file(r.main_class, vfile.as_string(), r.get_method_filename(&r.get_method_frame()->caller()->method)); | |
| } | } |
| static void set_skip(Request& r, Request::Skip askip) { | static void set_skip(Request& r, Request::Skip askip) { |
| Line 323 static void _continue(Request& r, Method | Line 336 static void _continue(Request& r, Method |
| if(!params.count() || params.as_bool(0, "condition must be expression", r)) set_skip(r, Request::SKIP_CONTINUE); | if(!params.count() || params.as_bool(0, "condition must be expression", r)) set_skip(r, Request::SKIP_CONTINUE); |
| } | } |
| static void _return(Request& r, MethodParams& params) { | |
| VMethodFrame& caller=*r.get_method_frame()->caller(); | |
| if(params.count()) | |
| r.put_element(caller, Symbols::RESULT_SYMBOL, &r.process(params[0])); | |
| r.set_skip_return(caller); | |
| } | |
| static void _for(Request& r, MethodParams& params) { | static void _for(Request& r, MethodParams& params) { |
| InCycle temp(r); | InCycle temp(r); |
| Line 346 static void _for(Request& r, MethodParam | Line 366 static void _for(Request& r, MethodParam |
| vint->set_int(i); | vint->set_int(i); |
| Value& sv_processed=r.process(body_code); | Value& sv_processed=r.process(body_code); |
| Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); | TempSkip4Delimiter skip(r); |
| const String* s_processed=sv_processed.get_string(); | const String* s_processed=sv_processed.get_string(); |
| if(s_processed && !s_processed->is_empty()) { // we have body | if(s_processed && !s_processed->is_empty()) { // we have body |
| if(need_delim) // need delim & iteration produced string? | if(need_delim) // need delim & iteration produced string? |
| r.write_pass_lang(r.process(*delim_maybe_code)); | r.write(r.process(*delim_maybe_code)); |
| else | else |
| need_delim=true; | need_delim=true; |
| } | } |
| r.write_pass_lang(sv_processed); | r.write(sv_processed); |
| if(lskip==Request::SKIP_BREAK) | if(skip.check_break()) |
| break; | break; |
| } | } |
| } else { | } else { |
| Line 365 static void _for(Request& r, MethodParam | Line 385 static void _for(Request& r, MethodParam |
| vint->set_int(i); | vint->set_int(i); |
| r.process_write(body_code); | r.process_write(body_code); |
| Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); | |
| if(lskip==Request::SKIP_BREAK) | if(r.check_skip_break()) |
| break; | break; |
| } | } |
| } | } |
| Line 380 static void _eval(Request& r, MethodPara | Line 399 static void _eval(Request& r, MethodPara |
| if(params.count()>1) { | if(params.count()>1) { |
| const String& fmt=params.as_string(1, "fmt must be string").trim(); | const String& fmt=params.as_string(1, "fmt must be string").trim(); |
| if(fmt.is_empty()){ | if(fmt.is_empty()){ |
| r.write_no_lang(value_result); | r.write(value_result); |
| } else { | } else { |
| r.write_no_lang(String(format(value_result.as_double(), fmt.cstrm()))); | r.write(String(format(value_result.as_double(), fmt.cstrm()))); |
| } | } |
| } else | } else |
| r.write_no_lang(value_result); | r.write(value_result); |
| } | } |
| static void _connect(Request& r, MethodParams& params) { | static void _connect(Request& r, MethodParams& params) { |
| Line 453 static void _switch(Request& r, MethodPa | Line 472 static void _switch(Request& r, MethodPa |
| // because of stacked WWrapper used there as wcontext | // because of stacked WWrapper used there as wcontext |
| r.process(cases_code); | r.process(cases_code); |
| if(Value* selected_code=data->found? data->found: data->_default) | if(Value* selected_code=data->found? data->found: data->_default) |
| r.write_pass_lang(r.process(*selected_code)); | r.process_write(*selected_code); |
| } | } |
| static void _case(Request& r, MethodParams& params) { | static void _case(Request& r, MethodParams& params) { |
| Line 691 struct Cache_get_result { | Line 710 struct Cache_get_result { |
| static Cache_get_result cache_get(Request_charsets& charsets, const String& file_spec, time_t now) { | static Cache_get_result cache_get(Request_charsets& charsets, const String& file_spec, time_t now) { |
| Cache_get_result result={0, false}; | Cache_get_result result={0, false}; |
| File_read_result file=file_read(charsets, file_spec, | File_read_result file=file_read_binary(file_spec, false /*fail_on_read_problem*/); |
| false/*as_text*/, | if(file.success && file.length /*ignore reads which are empty due to non-unary open+lockEX conflict with lockSH*/) { |
| 0, //no params | |
| false/*fail_on_read_problem*/); | Data_string_serialized_prolog& prolog = *reinterpret_cast<Data_string_serialized_prolog *>(file.str); |
| if(file.success && file.length/* ignore reads which are empty due to | |
| non-unary open+lockEX conflict with lockSH */) { | |
| Data_string_serialized_prolog& prolog= | |
| *reinterpret_cast<Data_string_serialized_prolog *>(file.str); | |
| String* body=new String; | String* body=new String; |
| if( | if(file.length>=sizeof(Data_string_serialized_prolog) && prolog.version==DATA_STRING_SERIALIZED_VERSION) { |
| file.length>=sizeof(Data_string_serialized_prolog) | |
| && prolog.version==DATA_STRING_SERIALIZED_VERSION) { | |
| if(body->deserialize(sizeof(Data_string_serialized_prolog), file.str, file.length)) { | if(body->deserialize(sizeof(Data_string_serialized_prolog), file.str, file.length)) { |
| result.body=body; | result.body=body; |
| result.expired=prolog.expires <= now; | result.expired=prolog.expires <= now; |
| Line 714 static Cache_get_result cache_get(Reques | Line 726 static Cache_get_result cache_get(Reques |
| return result; | return result; |
| } | } |
| static time_t as_expires(Request& r, MethodParams& params, | |
| int index, time_t now) { | static time_t as_expires(Request& r, MethodParams& params, int index, time_t now) { |
| time_t result; | time_t result; |
| if(Value* vdate=params[index].as(VDATE_TYPE)) | if(Value* vdate=params[index].as(VDATE_TYPE)) |
| result=(time_t)(static_cast<VDate*>(vdate)->get_time()); | result=(time_t)(static_cast<VDate*>(vdate)->get_time()); |
| Line 726 static time_t as_expires(Request& r, Met | Line 738 static time_t as_expires(Request& r, Met |
| } | } |
| static const String& as_file_spec(Request& r, MethodParams& params, int index) { | static const String& as_file_spec(Request& r, MethodParams& params, int index) { |
| return r.absolute(params.as_string(index, "filespec must be string")); | return r.full_disk_path(params.as_string(index, "filespec must be string")); |
| } | } |
| static void _cache(Request& r, MethodParams& params) { | static void _cache(Request& r, MethodParams& params) { |
| Line 735 static void _cache(Request& r, MethodPar | Line 747 static void _cache(Request& r, MethodPar |
| Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name)); | Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name)); |
| if(!scope) | if(!scope) |
| throw Exception(PARSER_RUNTIME, 0, "expire-time get without cache"); | throw Exception(PARSER_RUNTIME, 0, "expire-time get without cache"); |
| r.write_no_lang(*new VDate((pa_time_t)scope->expires)); | r.write(*new VDate((pa_time_t)scope->expires)); |
| return; | return; |
| } | } |
| Line 784 static void _cache(Request& r, MethodPar | Line 796 static void _cache(Request& r, MethodPar |
| scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[] | scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[] |
| } else { | } else { |
| // and it's not expired yet write it out | // and it's not expired yet write it out |
| r.write_pass_lang(*cached.body); | r.write(*cached.body); |
| // happy with it | // happy with it |
| return; | return; |
| } | } |
| Line 796 static void _cache(Request& r, MethodPar | Line 808 static void _cache(Request& r, MethodPar |
| const String* processed_body=locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec); | const String* processed_body=locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec); |
| if(processed_body){ | if(processed_body){ |
| // write it out | // write it out |
| r.write_pass_lang(*processed_body); | r.write(*processed_body); |
| // happy with it | // happy with it |
| return; | return; |
| } else { | } else { |
| Line 810 static void _cache(Request& r, MethodPar | Line 822 static void _cache(Request& r, MethodPar |
| // process without caching | // process without caching |
| if(catch_code){ | if(catch_code){ |
| Try_catch_result result=try_catch(r, process_try_body_code, &body_code, catch_code); | Try_catch_result result=try_catch(r, process_try_body_code, &body_code, catch_code); |
| r.write_pass_lang(result.processed_code); | r.write(result.processed_code); |
| } else { | } else { |
| r.write_pass_lang(r.process_to_string(body_code)); | r.write(r.process_to_string(body_code)); |
| } | } |
| } | } |
| Line 830 static void _try_operator(Request& r, Me | Line 842 static void _try_operator(Request& r, Me |
| // process finally code but ignore the result | // process finally code but ignore the result |
| if(finally_code){ | if(finally_code){ |
| Temp_skip temp(r); | Temp_skip temp(r); |
| Value &finally_result=r.process(*finally_code); | /* Value &finally_result= */ r.process(*finally_code); |
| } | } |
| rethrow; | rethrow; |
| } | } |
| Line 841 static void _try_operator(Request& r, Me | Line 853 static void _try_operator(Request& r, Me |
| Value& finally_result=r.process(*finally_code); | Value& finally_result=r.process(*finally_code); |
| // no exception in try/catch or finally, writing processed body_code or catch_code | // no exception in try/catch or finally, writing processed body_code or catch_code |
| r.write_pass_lang(result.processed_code); | r.write(result.processed_code); |
| // write out processed finally code | // write out processed finally code |
| r.write_pass_lang(finally_result); | r.write(finally_result); |
| } else { | } else { |
| // no exception in try/catch, writing processed body_code or catch_code | // no exception in try/catch, writing processed body_code or catch_code |
| r.write_pass_lang(result.processed_code); | r.write(result.processed_code); |
| } | } |
| } | } |
| Line 865 static void _throw_operator(Request&, Me | Line 877 static void _throw_operator(Request&, Me |
| if(Value* value=hash->get(exception_comment_part_name)) | if(Value* value=hash->get(exception_comment_part_name)) |
| comment=value->as_string().cstr(); | comment=value->as_string().cstr(); |
| throw Exception(type, | Exception e(type, source, 0); |
| source?source:0, | e.add_comment(comment); // to avoid MAX_LENGTH limit |
| "%s", comment?comment:""); | throw e; |
| } else | } else |
| throw Exception(PARSER_RUNTIME, | throw Exception(PARSER_RUNTIME, 0, "one-param version has hash or string param"); |
| 0, | |
| "one-param version has hash or string param"); | |
| } else { | } else { |
| const char* type=params.as_string(0, "type must be string").cstr(); | const char* type=params.as_string(0, "type must be string").cstr(); |
| const String* source=params.count()>1? ¶ms.as_string(1, "source must be string"):0; | const String* source=params.count()>1? ¶ms.as_string(1, "source must be string"):0; |
| const char* comment=params.count()>2? params.as_string(2, "comment must be string").cstr():0; | const char* comment=params.count()>2? params.as_string(2, "comment must be string").cstr():0; |
| throw Exception(type, source, "%s", comment?comment:""); | Exception e(type, source, 0); |
| e.add_comment(comment); // to avoid MAX_LENGTH limit | |
| throw e; | |
| } | } |
| } | } |
| Line 886 static void _sleep_operator(Request& r, | Line 898 static void _sleep_operator(Request& r, |
| pa_sleep((int)trunc(seconds), (int)trunc((seconds-trunc(seconds))*1000000)); | pa_sleep((int)trunc(seconds), (int)trunc((seconds-trunc(seconds))*1000000)); |
| } | } |
| #if defined(WIN32) && defined(_DEBUG) | #if defined(WIN32) && defined(_DEBUG) && !defined(_WIN64) |
| # define PA_BPT | # define PA_BPT |
| static void _bpt(Request&, MethodParams&) { | static void _bpt(Request&, MethodParams&) { |
| _asm int 3; | _asm int 3; |
| Line 937 VClassMAIN::VClassMAIN(): VClass(MAIN_CL | Line 949 VClassMAIN::VClassMAIN(): VClass(MAIN_CL |
| // ^continue(condition) | // ^continue(condition) |
| add_native_method("continue", Method::CT_ANY, _continue, 0, 1, Method::CO_WITHOUT_FRAME); | add_native_method("continue", Method::CT_ANY, _continue, 0, 1, Method::CO_WITHOUT_FRAME); |
| // ^return[] | |
| // ^return[result] | |
| add_native_method("return", Method::CT_ANY, _return, 0, 1); | |
| // ^for[i](from-number;to-number-inclusive){code}[delim] | // ^for[i](from-number;to-number-inclusive){code}[delim] |
| add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1); | add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1); |