|
|
| version 1.141, 2003/11/20 17:46:01 | version 1.160, 2005/11/22 15:38:17 |
|---|---|
| Line 1 | Line 1 |
| /** @file | /** @file |
| Parser: parser @b operators. | Parser: parser @b operators. |
| Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com) | Copyright (c) 2001-2005 ArtLebedev Group (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 18 static const char * const IDENT_OP_C="$D | Line 18 static const char * const IDENT_OP_C="$D |
| #include "pa_vdate.h" | #include "pa_vdate.h" |
| #include "pa_vmethod_frame.h" | #include "pa_vmethod_frame.h" |
| #include "pa_vclass.h" | #include "pa_vclass.h" |
| #include "pa_charset.h" | |
| // limits | // limits |
| Line 26 static const char * const IDENT_OP_C="$D | Line 27 static const char * const IDENT_OP_C="$D |
| // defines | // defines |
| #define CASE_DEFAULT_VALUE "DEFAULT" | #define CASE_DEFAULT_VALUE "DEFAULT" |
| #define PROCESS_MAIN_OPTION_NAME "main" | |
| #define PROCESS_FILE_OPTION_NAME "file" | |
| #define PROCESS_LINENO_OPTION_NAME "lineno" | |
| // class | // class |
| Line 66 public: | Line 70 public: |
| ULN("http-header", HTTP_HEADER); | ULN("http-header", HTTP_HEADER); |
| ULN("mail-header", MAIL_HEADER); | ULN("mail-header", MAIL_HEADER); |
| ULN("uri", URI); | ULN("uri", URI); |
| ULN("table", TABLE); | |
| ULN("sql", SQL); | ULN("sql", SQL); |
| ULN("js", JS); | ULN("js", JS); |
| ULN("xml", XML); | ULN("xml", XML); |
| ULN("optimized-xml", XML|String::L_OPTIMIZE_BIT); | ULN("optimized-xml", XML|String::L_OPTIMIZE_BIT); |
| ULN("html", HTML); | ULN("html", HTML); |
| ULN("optimized-html", HTML|String::L_OPTIMIZE_BIT); | ULN("optimized-html", HTML|String::L_OPTIMIZE_BIT); |
| ULN("regex", REGEX); | |
| #undef ULN | #undef ULN |
| } | } |
| } untaint_lang_name2enum; | } untaint_lang_name2enum; |
| Line 80 public: | Line 84 public: |
| // methods | // methods |
| static void _if(Request& r, MethodParams& params) { | static void _if(Request& r, MethodParams& params) { |
| Value& condition_code=params.as_junction(0, "condition must be expression"); | bool condition=params.as_bool(0, "condition must be expression", r); |
| bool condition=r.process_to_value(condition_code, | |
| false/*don't intercept string*/).as_bool(); | |
| if(condition) | if(condition) |
| r.write_pass_lang(r.process(params.as_junction(1, "'then' parameter must be code"))); | r.write_pass_lang(r.process(*params.get(1))); |
| else if(params.count()>2) | else if(params.count()>2) |
| r.write_pass_lang(r.process(params.as_junction(2, "'else' parameter must be code"))); | r.write_pass_lang(r.process(*params.get(2))); |
| } | } |
| static void _untaint(Request& r, MethodParams& params) { | static void _untaint(Request& r, MethodParams& params) { |
| Line 162 static void _process(Request& r, MethodP | Line 163 static void _process(Request& r, MethodP |
| // temporary zero @auto so it wouldn't be auto-called in Request::use_buf | // temporary zero @auto so it wouldn't be auto-called in Request::use_buf |
| Temp_method temp_method_auto(*target_class, auto_method_name, 0); | Temp_method temp_method_auto(*target_class, auto_method_name, 0); |
| size_t main_alias_index=index+1; | size_t options_index=index+1; |
| const String* main_alias=0; | HashStringValue* options=0; |
| if(main_alias_index<params.count()) | if(options_index<params.count()) { |
| main_alias=¶ms.as_string(main_alias_index, "main alias must be string"); | Value& voptions=params.as_no_junction(options_index, "options must not be code"); |
| options=voptions.get_hash(); | |
| if(!options) | |
| throw Exception("parser.runtime", | |
| 0, | |
| "options must be hash"); | |
| } | |
| if(const String* file_name=params[index].get_string()) { // ^process...[file] | const String* main_alias=0; |
| r.use_file(*target_class, r.absolute(*file_name), main_alias, true/*ignore_class_path*/); | const String* file_alias=0; |
| } else { // process...{string} | int line_no_alias_offset=0; |
| Value& vjunction=params.as_junction(index, "body must be code"); | if(options) { |
| // evaluate source to process | int valid_options=0; |
| const String& source=r.process_to_string(vjunction); | if(Value* vmain_alias=options->get(PROCESS_MAIN_OPTION_NAME)) { |
| r.use_buf(*target_class, | valid_options++; |
| source.cstr(String::L_UNSPECIFIED, r.connection(false)), | main_alias=&vmain_alias->as_string(); |
| main_alias, | } |
| pseudo_file_no__process); | if(Value* vfile_alias=options->get(PROCESS_FILE_OPTION_NAME)) { |
| valid_options++; | |
| file_alias=&vfile_alias->as_string(); | |
| } | |
| if(Value* vline_no_alias_offset=options->get(PROCESS_LINENO_OPTION_NAME)) { | |
| valid_options++; | |
| line_no_alias_offset=vline_no_alias_offset->as_int(); | |
| } | |
| if(valid_options!=options->count()) | |
| 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; | |
| // process...{string} | |
| Value& vjunction=params.as_junction(index, "body must be code"); | |
| // evaluate source to process | |
| const String& source=r.process_to_string(vjunction); | |
| r.use_buf(*target_class, | |
| source.cstr(String::L_UNSPECIFIED, r.connection(false)), | |
| main_alias, | |
| processe_file_no, | |
| line_no_alias_offset); | |
| // main_method | // main_method |
| main_method=target_class->get_method(main_method_name); | main_method=target_class->get_method(main_method_name); |
| } | } |
| Line 237 static void _for(Request& r, MethodParam | Line 269 static void _for(Request& r, MethodParam |
| bool need_delim=false; | bool need_delim=false; |
| VInt* vint=new VInt(0); | VInt* vint=new VInt(0); |
| r.get_method_frame()->caller()->put_element(var_name, vint, false); | |
| VMethodFrame& caller=*r.get_method_frame()->caller(); | |
| caller.put_element(caller, var_name, vint, false); | |
| for(int i=from; i<=to; i++) { | for(int i=from; i<=to; i++) { |
| vint->set_int(i); | vint->set_int(i); |
| Line 283 struct timeval mt[2]; | Line 317 struct timeval mt[2]; |
| gettimeofday(&mt[0],NULL); | gettimeofday(&mt[0],NULL); |
| #endif | #endif |
| // connect | // connect |
| SQL_Connection* connection=SQL_driver_manager.get_connection(url.as_string(), | SQL_Connection* connection=SQL_driver_manager->get_connection(url.as_string(), |
| protocol2driver_and_client); | protocol2driver_and_client, |
| r.charsets.source().NAME().cstr()); | |
| #ifdef RESOURCES_DEBUG | #ifdef RESOURCES_DEBUG |
| //measure:after connect | //measure:after connect |
| Line 330 static void _switch(Request& r, MethodPa | Line 365 static void _switch(Request& r, MethodPa |
| // execution of found ^case[...]{code} must be in context of ^switch[...]{code} | // execution of found ^case[...]{code} must be in context of ^switch[...]{code} |
| // because of stacked WWrapper used there as wcontext | // because of stacked WWrapper used there as wcontext |
| r.process(cases_code, true/*intercept_string*/); | r.process(cases_code, true/*intercept_string*/); |
| if(Value* selected_code=data->found? data->found: data->_default) { | if(Value* selected_code=data->found? data->found: data->_default) |
| // setting code context, would execute in ^switch[...]{>>context<<} | |
| //selected_code->get_junction()->change_context(cases_code.get_junction()); | |
| r.write_pass_lang(r.process(*selected_code)); | r.write_pass_lang(r.process(*selected_code)); |
| } | |
| } | } |
| static void _case(Request& r, MethodParams& params) { | static void _case(Request& r, MethodParams& params) { |
| Line 347 static void _case(Request& r, MethodPara | Line 379 static void _case(Request& r, MethodPara |
| int count=params.count(); | int count=params.count(); |
| Value& code=params.as_junction(--count, "case result must be code"); | Value& code=params.as_junction(--count, "case result must be code"); |
| // killing context for safety, would execute in ^switch[...]{>>context<<} | |
| // reason: context is stacked, and it would become invalid afterwards | |
| //code->get_junction()->change_context(0); | |
| for(int i=0; i<count; i++) { | for(int i=0; i<count; i++) { |
| Value& value=r.process_to_value(params[i]); | Value& value=r.process_to_value(params[i]); |
| if(value.as_string() == CASE_DEFAULT_VALUE) { | if(value.is_string() && value.as_string() == CASE_DEFAULT_VALUE) { |
| data->_default=&code; | data->_default=&code; |
| break; | break; |
| } | } |
| Line 389 struct Try_catch_result { | Line 417 struct Try_catch_result { |
| template<class I> | template<class I> |
| static Try_catch_result try_catch(Request& r, | static Try_catch_result try_catch(Request& r, |
| StringOrValue body_code(Request&, I), I info, | StringOrValue body_code(Request&, I), I info, |
| Value* catch_code) | Value* catch_code, bool could_be_handled_by_caller=false) |
| { | { |
| Try_catch_result result; | Try_catch_result result; |
| if(!catch_code) { | if(!catch_code) { |
| Line 409 static Try_catch_result try_catch(Reques | Line 437 static Try_catch_result try_catch(Reques |
| Junction* junction=catch_code->get_junction(); | Junction* junction=catch_code->get_junction(); |
| Value* method_frame=junction->method_frame; | Value* method_frame=junction->method_frame; |
| Value* saved_exception_var_value=method_frame->get_element(exception_var_name, *method_frame, false); | Value* saved_exception_var_value=method_frame->get_element(exception_var_name, *method_frame, false); |
| junction->method_frame->put_element(exception_var_name, &details.vhash, false); | VMethodFrame& frame=*junction->method_frame; |
| frame.put_element(frame, exception_var_name, &details.vhash, false); | |
| result.processed_code=r.process(*catch_code); | result.processed_code=r.process(*catch_code); |
| // retriving $exception.handled, restoring $exception var | // retriving $exception.handled, restoring $exception var |
| Value* vhandled=details.vhash.hash().get(exception_handled_part_name); | Value* vhandled=details.vhash.hash().get(exception_handled_part_name); |
| junction->method_frame->put_element(exception_var_name, saved_exception_var_value, false); | frame.put_element(frame, exception_var_name, saved_exception_var_value, false); |
| bool bhandled=false; | bool bhandled=false; |
| if(vhandled) { | if(vhandled) { |
| if(vhandled->is_string()) { // not simple $exception.handled(1/0)? | if(vhandled->is_string()) { // not simple $exception.handled(1/0)? |
| result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover | if(could_be_handled_by_caller) { // and we can possibly handle it |
| return result; | result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover |
| } | return result; |
| } | |
| bhandled=vhandled->as_bool(); | |
| bhandled=false; | |
| } else | |
| bhandled=vhandled->as_bool(); | |
| } | } |
| if(!bhandled) { | if(!bhandled) { |
| Line 438 static Try_catch_result try_catch(Reques | Line 470 static Try_catch_result try_catch(Reques |
| // consts | // consts |
| const int DATA_STRING_SERIALIZED_VERSION=0x0005; | const int DATA_STRING_SERIALIZED_VERSION=0x0006; |
| // helper types | // helper types |
| Line 470 struct Locked_process_and_cache_put_acti | Line 502 struct Locked_process_and_cache_put_acti |
| static StringOrValue process_cache_body_code(Request& r, Value* body_code) { | static StringOrValue process_cache_body_code(Request& r, Value* body_code) { |
| return StringOrValue(&r.process_to_string(*body_code), 0); | return StringOrValue(r.process_to_string(*body_code)); |
| } | } |
| /* @todo maybe network order worth spending some effort? | /* @todo maybe network order worth spending some effort? |
| Line 481 static void locked_process_and_cache_put | Line 513 static void locked_process_and_cache_put |
| Locked_process_and_cache_put_action_info& info= | Locked_process_and_cache_put_action_info& info= |
| *static_cast<Locked_process_and_cache_put_action_info *>(context); | *static_cast<Locked_process_and_cache_put_action_info *>(context); |
| const String* body_from_disk=info.scope->body_from_disk; | |
| // body->process | // body->process |
| Try_catch_result result=try_catch(*info.r, | Try_catch_result result=try_catch(*info.r, |
| process_cache_body_code, info.body_code, | process_cache_body_code, info.body_code, |
| info.catch_code); | info.catch_code, body_from_disk!=0 /*we have something old=we can handle=recover later*/); |
| if(result.exception_should_be_handled) { | if(result.exception_should_be_handled) { |
| if(*result.exception_should_be_handled==CACHE_EXCEPTION_HANDLED_CACHE_NAME) { | if(*result.exception_should_be_handled==CACHE_EXCEPTION_HANDLED_CACHE_NAME) { |
| if(const String* body_from_disk=info.scope->body_from_disk) // we have something old? | assert(body_from_disk); |
| info.processed_code=body_from_disk; | info.processed_code=body_from_disk; |
| else | |
| throw Exception(0, | |
| new String("$"EXCEPTION_VAR_NAME"."EXCEPTION_HANDLED_PART_NAME"["CACHE_EXCEPTION_HANDLED_CACHE_NAME"]"), | |
| "fallback failed - there is no old cached body"); | |
| } else | } else |
| throw Exception("parser.runtime", | throw Exception("parser.runtime", |
| result.exception_should_be_handled, | result.exception_should_be_handled, |
| Line 583 static const String& as_file_spec(Reques | Line 613 static const String& as_file_spec(Reques |
| return r.absolute(params.as_string(index, "filespec must be string")); | return r.absolute(params.as_string(index, "filespec must be string")); |
| } | } |
| static void _cache(Request& r, MethodParams& params) { | static void _cache(Request& r, MethodParams& params) { |
| if(params.count()==0) | |
| { | |
| // return current expiration time | |
| Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name)); | |
| if(!scope) | |
| throw Exception("parser.runtime", | |
| 0, | |
| "expire-time get without cache"); | |
| r.write_no_lang(*new VDate(scope->expires)); | |
| return; | |
| } | |
| time_t now=time(0); | time_t now=time(0); |
| // ^cache[filename] ^cache(seconds) ^cache[expires date] | // ^cache[filename] ^cache(seconds) ^cache[expires date] |
| Line 604 static void _cache(Request& r, MethodPar | Line 646 static void _cache(Request& r, MethodPar |
| scope->expires=expires; | scope->expires=expires; |
| return; | return; |
| } | } else if(params.count()<3) |
| throw Exception("parser.runtime", | |
| 0, | |
| "invalid number of parameters"); | |
| // file_spec, expires, body code | // file_spec, expires, body code |
| const String& file_spec=r.absolute(params.as_string(0, "filespec must be string")); | const String& file_spec=r.absolute(params.as_string(0, "filespec must be string")); |
| Line 726 static void _throw_operator(Request&, Me | Line 771 static void _throw_operator(Request&, Me |
| } | } |
| } | } |
| static void _sleep_operator(Request& r, MethodParams& params) { | |
| double seconds=params.as_double(0, "seconds must be double", r); | |
| pa_sleep((int)trunc(seconds), (int)trunc(seconds*1000)); | |
| } | |
| #if defined(WIN32) && defined(_DEBUG) | #if defined(WIN32) && defined(_DEBUG) |
| # define PA_BPT | # define PA_BPT |
| static void _bpt(Request&, MethodParams&) { | static void _bpt(Request&, MethodParams&) { |
| Line 754 VClassMAIN::VClassMAIN(): VClass() { | Line 804 VClassMAIN::VClassMAIN(): VClass() { |
| add_native_method("taint", Method::CT_ANY, _taint, 1, 2); | add_native_method("taint", Method::CT_ANY, _taint, 1, 2); |
| // ^process[code] | // ^process[code] |
| add_native_method("process", Method::CT_ANY, _process, 1, 2); | add_native_method("process", Method::CT_ANY, _process, 1, 3); |
| // ^rem{code} | // ^rem{code} |
| add_native_method("rem", Method::CT_ANY, _rem, 1, 10000); | add_native_method("rem", Method::CT_ANY, _rem, 1, 10000); |
| Line 796 VClassMAIN::VClassMAIN(): VClass() { | Line 846 VClassMAIN::VClassMAIN(): VClass() { |
| // ^throw[type;source;comment] | // ^throw[type;source;comment] |
| add_native_method("throw", Method::CT_ANY, _throw_operator, 1, 3); | add_native_method("throw", Method::CT_ANY, _throw_operator, 1, 3); |
| add_native_method("sleep", Method::CT_ANY, _sleep_operator, 1, 1); | |
| } | } |
| // constructor & configurator | // constructor & configurator |