|
|
| version 1.163.12.1, 2006/04/09 12:25:03 | version 1.169, 2007/06/06 14:21:19 |
|---|---|
| Line 38 public: | Line 38 public: |
| VClassMAIN(); | VClassMAIN(); |
| }; | }; |
| // defines for globals | |
| #define CYCLE_DATA_NAME "CYCLE-DATA" | |
| // globals | |
| //^for & co | |
| String cycle_data_name(CYCLE_DATA_NAME); | |
| // defines for statics | // defines for statics |
| #define SWITCH_DATA_NAME "SWITCH-DATA" | #define SWITCH_DATA_NAME "SWITCH-DATA" |
| #define CACHE_DATA_NAME "CACHE-DATA" | #define CACHE_DATA_NAME "CACHE-DATA" |
| #define CYCLE_DATA_NAME "CYCLE-DATA" | |
| #define EXCEPTION_VAR_NAME "exception" | #define EXCEPTION_VAR_NAME "exception" |
| Line 52 public: | Line 60 public: |
| static const String switch_data_name(SWITCH_DATA_NAME); | static const String switch_data_name(SWITCH_DATA_NAME); |
| //^cache | //^cache |
| static const String cache_data_name(CACHE_DATA_NAME); | static const String cache_data_name(CACHE_DATA_NAME); |
| //^for | |
| static const String cycle_data_name(CYCLE_DATA_NAME); | |
| static const String exception_var_name(EXCEPTION_VAR_NAME); | static const String exception_var_name(EXCEPTION_VAR_NAME); |
| // local defines | // local defines |
| #define CACHE_EXCEPTION_HANDLED_CACHE_NAME "cache" | #define CACHE_EXCEPTION_HANDLED_CACHE_NAME "cache" |
| Line 156 static void _process(Request& r, MethodP | Line 163 static void _process(Request& r, MethodP |
| { | { |
| VStateless_class *target_class=target_self->get_last_derived_class(); | VStateless_class *target_class=target_self->get_last_derived_class(); |
| if(!target_class) | if(!target_class) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "no target class"); | "no target class"); |
| Line 173 static void _process(Request& r, MethodP | Line 180 static void _process(Request& r, MethodP |
| Value& voptions=params.as_no_junction(options_index, "options must not be code"); | Value& voptions=params.as_no_junction(options_index, "options must not be code"); |
| options=voptions.get_hash(); | options=voptions.get_hash(); |
| if(!options) | if(!options) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "options must be hash"); | "options must be hash"); |
| } | } |
| Line 197 static void _process(Request& r, MethodP | Line 204 static void _process(Request& r, MethodP |
| } | } |
| if(valid_options!=options->count()) | if(valid_options!=options->count()) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "called with invalid option"); | "called with invalid option"); |
| } | } |
| Line 233 static void _rem(Request&, MethodParams& | Line 240 static void _rem(Request&, MethodParams& |
| } | } |
| static void _while(Request& r, MethodParams& params) { | static void _while(Request& r, MethodParams& params) { |
| Value& vcondition=params.as_junction(0, "condition must be expression"); | Temp_hash_value<const String::Body, void*> |
| cycle_data_setter(r.classes_conf, cycle_data_name, /*any not null flag*/&r); | |
| Value& vcondition=params[0].is_evaluated_expr()?params[0]:params.as_junction(0, "condition must be bool or expression"); | |
| Value& body_code=params.as_junction(1, "body must be code"); | Value& body_code=params.as_junction(1, "body must be code"); |
| Value* delim_maybe_code=params.count()>2?¶ms[2]:0; | Value* delim_maybe_code=params.count()>2?¶ms[2]:0; |
| Line 242 static void _while(Request& r, MethodPar | Line 252 static void _while(Request& r, MethodPar |
| bool need_delim=false; | bool need_delim=false; |
| while(true) { | while(true) { |
| if(++endless_loop_count>=MAX_LOOPS) // endless loop? | if(++endless_loop_count>=MAX_LOOPS) // endless loop? |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "endless loop detected"); | "endless loop detected"); |
| Line 252 static void _while(Request& r, MethodPar | Line 262 static void _while(Request& r, MethodPar |
| break; | break; |
| StringOrValue sv_processed=r.process(body_code); | StringOrValue sv_processed=r.process(body_code); |
| Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); | |
| const String* s_processed=sv_processed.get_string(); | const String* s_processed=sv_processed.get_string(); |
| if(delim_maybe_code && s_processed && s_processed->length()) { // delimiter set and we have body | if(delim_maybe_code && s_processed && s_processed->length()) { // delimiter set and we have body |
| if(need_delim) // need delim & iteration produced string? | if(need_delim) // need delim & iteration produced string? |
| Line 259 static void _while(Request& r, MethodPar | Line 270 static void _while(Request& r, MethodPar |
| need_delim=true; | need_delim=true; |
| } | } |
| r.write_pass_lang(sv_processed); | r.write_pass_lang(sv_processed); |
| if(lskip==Request::SKIP_BREAK) | |
| break; | |
| } | } |
| } | } |
| Line 267 static void _use(Request& r, MethodParam | Line 281 static void _use(Request& r, MethodParam |
| r.use_file(r.main_class, vfile.as_string()); | r.use_file(r.main_class, vfile.as_string()); |
| } | } |
| const int BREAK_BREAK=1; | static void set_skip(Request& r, Request::Skip askip) { |
| const int BREAK_CONTINUE=2; | |
| static void set_break(Request& r, int abreak) { | |
| void* data=r.classes_conf.get(cycle_data_name); | void* data=r.classes_conf.get(cycle_data_name); |
| if(!data) | if(!data) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "without cycle"); | "without cycle"); |
| r.set_break(abreak); | r.set_skip(askip); |
| } | } |
| static void _break(Request& r, MethodParams&) { | static void _break(Request& r, MethodParams&) { |
| set_break(r, BREAK_BREAK); | set_skip(r, Request::SKIP_BREAK); |
| } | } |
| static void _continue(Request& r, MethodParams&) { | static void _continue(Request& r, MethodParams&) { |
| set_break(r, BREAK_CONTINUE); | set_skip(r, Request::SKIP_CONTINUE); |
| } | } |
| static void _for(Request& r, MethodParams& params) { | static void _for(Request& r, MethodParams& params) { |
| Line 299 static void _for(Request& r, MethodParam | Line 310 static void _for(Request& r, MethodParam |
| Value* delim_maybe_code=params.count()>4?¶ms[4]:0; | Value* delim_maybe_code=params.count()>4?¶ms[4]:0; |
| if(to-from>=MAX_LOOPS) // too long loop? | if(to-from>=MAX_LOOPS) // too long loop? |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "endless loop detected"); | "endless loop detected"); |
| Line 312 static void _for(Request& r, MethodParam | Line 323 static void _for(Request& r, MethodParam |
| vint->set_int(i); | vint->set_int(i); |
| StringOrValue sv_processed=r.process(body_code); | StringOrValue sv_processed=r.process(body_code); |
| int lbreak=r.get_break(); r.set_break(0); | Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING); |
| const String* s_processed=sv_processed.get_string(); | const String* s_processed=sv_processed.get_string(); |
| if(delim_maybe_code && s_processed && s_processed->length()) { // delimiter set and we have body | if(delim_maybe_code && s_processed && s_processed->length()) { // delimiter set and we have body |
| if(need_delim) // need delim & iteration produced string? | if(need_delim) // need delim & iteration produced string? |
| Line 320 static void _for(Request& r, MethodParam | Line 331 static void _for(Request& r, MethodParam |
| need_delim=true; | need_delim=true; |
| } | } |
| r.write_pass_lang(sv_processed); | r.write_pass_lang(sv_processed); |
| if(lbreak) { | |
| if(lbreak==BREAK_BREAK) | if(lskip==Request::SKIP_BREAK) |
| break; | break; |
| else { | |
| assert(lbreak==BREAK_CONTINUE); | |
| continue; | |
| } | |
| } | |
| } | } |
| } | } |
| Line 335 static void _eval(Request& r, MethodPara | Line 341 static void _eval(Request& r, MethodPara |
| Value& expr=params.as_junction(0, "need expression"); | Value& expr=params.as_junction(0, "need expression"); |
| // evaluate expresion | // evaluate expresion |
| Value& value_result=r.process_to_value(expr, | Value& value_result=r.process_to_value(expr, |
| true/*don't intercept string*/).as_expr_result(); | false/*don't intercept string*/).as_expr_result(); |
| if(params.count()>1) { | if(params.count()>1) { |
| Value& fmt=params.as_no_junction(1, "fmt must not be code"); | Value& fmt=params.as_no_junction(1, "fmt must not be code"); |
| r.write_no_lang(String(format(value_result.as_double(), fmt.as_string().cstrm()))); | r.write_no_lang(String(format(value_result.as_double(), fmt.as_string().cstrm()))); |
| Line 417 static void _switch(Request& r, MethodPa | Line 423 static void _switch(Request& r, MethodPa |
| static void _case(Request& r, MethodParams& params) { | static void _case(Request& r, MethodParams& params) { |
| Switch_data* data=static_cast<Switch_data*>(r.classes_conf.get(switch_data_name)); | Switch_data* data=static_cast<Switch_data*>(r.classes_conf.get(switch_data_name)); |
| if(!data) | if(!data) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "without switch"); | "without switch"); |
| Line 442 static void _case(Request& r, MethodPara | Line 448 static void _case(Request& r, MethodPara |
| if(matches) { | if(matches) { |
| if(data->found) | if(data->found) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "duplicate found"); | "duplicate found"); |
| Line 529 struct Data_string_serialized_prolog { | Line 535 struct Data_string_serialized_prolog { |
| #endif | #endif |
| void cache_delete(const String& file_spec) { | void cache_delete(const String& file_spec) { |
| file_delete(file_spec, false/*fail_on_read_problem*/); | file_delete(file_spec, false/*fail_on_problem*/); |
| } | } |
| #ifndef DOXYGEN | #ifndef DOXYGEN |
| Line 541 public: | Line 547 public: |
| struct Locked_process_and_cache_put_action_info { | struct Locked_process_and_cache_put_action_info { |
| Request *r; | Request *r; |
| Cache_scope *scope; | Cache_scope *scope; |
| Value* body_code; Value* catch_code; | Value* body_code; |
| Value* catch_code; | |
| const String* processed_code; | const String* processed_code; |
| }; | }; |
| #endif | #endif |
| Line 560 static void locked_process_and_cache_put | Line 567 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; | 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, |
| Line 572 static void locked_process_and_cache_put | Line 578 static void locked_process_and_cache_put |
| assert(body_from_disk); | assert(body_from_disk); |
| info.processed_code=body_from_disk; | info.processed_code=body_from_disk; |
| } else | } else |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| result.exception_should_be_handled, | result.exception_should_be_handled, |
| "$"EXCEPTION_VAR_NAME"."EXCEPTION_HANDLED_PART_NAME" value must be " | "$"EXCEPTION_VAR_NAME"."EXCEPTION_HANDLED_PART_NAME" value must be " |
| "either boolean or string '"CACHE_EXCEPTION_HANDLED_CACHE_NAME"'"); | "either boolean or string '"CACHE_EXCEPTION_HANDLED_CACHE_NAME"'"); |
| Line 604 const String* locked_process_and_cache_p | Line 610 const String* locked_process_and_cache_p |
| const String* result=file_write_action_under_lock( | const String* result=file_write_action_under_lock( |
| file_spec, | file_spec, |
| "cache_put", locked_process_and_cache_put_action, &info, | "cache_put", |
| locked_process_and_cache_put_action, | |
| &info, | |
| false/*as_text*/, | false/*as_text*/, |
| false/*do_append*/, | false/*do_append*/, |
| false/*block*/, | false/*block == don't wait till other thread release lock*/) ? info.processed_code: 0; |
| false/*fail on lock problem*/) ? info.processed_code: 0; | |
| time_t now=time(0); | time_t now=time(0); |
| if(scope.expires<=now) | if(scope.expires<=now) |
| cache_delete(file_spec); | cache_delete(file_spec); |
| Line 665 static void _cache(Request& r, MethodPar | Line 673 static void _cache(Request& r, MethodPar |
| // return current expiration time | // return current expiration time |
| 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", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "expire-time get without cache"); | "expire-time get without cache"); |
| r.write_no_lang(*new VDate(scope->expires)); | r.write_no_lang(*new VDate(scope->expires)); |
| Line 684 static void _cache(Request& r, MethodPar | Line 692 static void _cache(Request& r, MethodPar |
| // secods|expires date | // secods|expires date |
| 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", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "expire-time reducing instruction without cache"); | "expire-time reducing instruction without cache"); |
| Line 694 static void _cache(Request& r, MethodPar | Line 702 static void _cache(Request& r, MethodPar |
| return; | return; |
| } else if(params.count()<3) | } else if(params.count()<3) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "invalid number of parameters"); | "invalid number of parameters"); |
| Line 710 static void _cache(Request& r, MethodPar | Line 718 static void _cache(Request& r, MethodPar |
| if(params.count()>3) | if(params.count()>3) |
| catch_code=¶ms.as_junction(3, "catch_code must be code"); | catch_code=¶ms.as_junction(3, "catch_code must be code"); |
| if(scope.expires>now) { // valid 'expires' specified? try cached copy... | if(scope.expires>now) { |
| // hence we don't hope to have unary create/lockEX | Cache_get_result cached=cache_get(r.charsets, file_spec, now); |
| // we need some plan to live in a life like that, so... | |
| // worst races plan: | |
| // A B | |
| // open | |
| // |open | |
| // lockSH | |
| // |nonblocking-lockEX fails | |
| // unlockSH | |
| // close, cache_get returns 0 | |
| // open | |
| // nonblocking-lockEX succeeds; process, write, close | |
| // |retry1: open | |
| // ... | |
| // |lockSH succeeds; ... | |
| for(int retry=0; retry<2; retry++) { | |
| Cache_get_result cached=cache_get(r.charsets, file_spec, now); | |
| if(cached.body) { // have cached copy | |
| if(cached.expired) | |
| scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[] | |
| else // and it's not expired yet | |
| { | |
| // write it out | |
| r.write_assign_lang(*cached.body); | |
| // happy with it | |
| return; | |
| } | |
| } | |
| // non-blocked lock; process; cache it | if(cached.body) { // have cached copy |
| if(const String* processed_body= | if(cached.expired) { |
| locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec)) { | scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[] |
| // write it out | } else { |
| r.write_assign_lang(*processed_body); | // and it's not expired yet write it out |
| // happy with it | r.write_assign_lang(*cached.body); |
| return; | // happy with it |
| } else { // somebody writing result right now | return; |
| pa_sleep(0, 500000); // waiting half a second | } |
| retry=0; // prolonging our wait, than could cache_get it, without processing body_code | } |
| } | |
| } | // no cached info or it's already expired |
| throw Exception(0, | try { |
| &file_spec, | // try to process and store in file |
| "locking problem"); | const String* processed_body=locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec); |
| // write it out | |
| r.write_assign_lang(*processed_body); | |
| // happy with it | |
| return; | |
| } catch(...) { | |
| // we fail during get exclusive lock | |
| // nvm we just process it a bit later | |
| } | |
| } else { | } else { |
| // instructed not to cache; forget cached copy | // instructed not to cache; forget cached copy |
| cache_delete(file_spec); | cache_delete(file_spec); |
| // process | |
| const String& processed_body=r.process_to_string(body_code); | |
| // write it out | |
| r.write_assign_lang(processed_body); | |
| // happy with it | |
| return; | |
| } | } |
| // never reached | |
| // process without cacheing | |
| const String& processed_body=r.process_to_string(body_code); | |
| // write it out | |
| r.write_assign_lang(processed_body); | |
| } | } |
| static StringOrValue process_try_body_code(Request& r, Value* body_code) { | static StringOrValue process_try_body_code(Request& r, Value* body_code) { |
| Line 781 static void _try_operator(Request& r, Me | Line 767 static void _try_operator(Request& r, Me |
| &catch_code); | &catch_code); |
| if(result.exception_should_be_handled) | if(result.exception_should_be_handled) |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| result.exception_should_be_handled, | result.exception_should_be_handled, |
| "catch block must set $exception.handled to some boolean value, not string"); | "catch block must set $exception.handled to some boolean value, not string"); |
| Line 806 static void _throw_operator(Request&, Me | Line 792 static void _throw_operator(Request&, Me |
| source?source:0, | source?source:0, |
| "%s", comment?comment:""); | "%s", comment?comment:""); |
| } else | } else |
| throw Exception("parser.runtime", | throw Exception(PARSER_RUNTIME, |
| 0, | 0, |
| "one-param version has hash param"); | "one-param version has hash param"); |
| } else { | } else { |