--- parser3/src/classes/op.C 2002/03/29 11:28:40 1.80 +++ parser3/src/classes/op.C 2002/06/20 14:50:22 1.97 @@ -4,7 +4,7 @@ Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com) Author: Alexandr Petrosian (http://paf.design.ru) - $Id: op.C,v 1.80 2002/03/29 11:28:40 paf Exp $ + $Id: op.C,v 1.97 2002/06/20 14:50:22 paf Exp $ */ #include "classes.h" @@ -20,7 +20,7 @@ // defines -#define OP_CLASS_NAME "OP" +#define CASE_DEFAULT_VALUE "DEFAULT" // class @@ -41,8 +41,8 @@ private: static void _if(Request& r, const String&, MethodParams *params) { Value& condition_code=params->as_junction(0, "condition must be expression"); - bool condition=r.process(condition_code, - 0/*no name*/, + bool condition=r.process_to_value(condition_code, + /*0/*no name* /,*/ false/*don't intercept string*/).as_bool(); if(condition) r.write_pass_lang(r.process(params->as_junction(1, "'then' parameter must be code"))); @@ -91,7 +91,7 @@ static void _taint(Request& r, const Str { Value& vbody=params->as_no_junction(params->size()-1, "body must not be code"); - String result(r.pool()); + String& result=*new(pool) String(pool); result.append( vbody.as_string(), // process marking tainted with that lang lang, true); // force result language to specified @@ -100,17 +100,22 @@ static void _taint(Request& r, const Str } static void _process(Request& r, const String& method_name, MethodParams *params) { + Pool& pool=r.pool(); // calculate pseudo file name of processed chars // would be something like "/some/file(4) process" - char place[MAX_STRING]; + char local_place[MAX_STRING]; #ifndef NO_STRING_ORIGIN const Origin& origin=method_name.origin(); - snprintf(place, MAX_STRING, "%s(%d) %s", - origin.file, 1+origin.line, - method_name.cstr()); + size_t place_size=snprintf(local_place, MAX_STRING, "%s(%d) %s", + origin.file?origin.file:"unknown_file", 1+origin.line, + method_name.cstr())+1; #else - strncpy(place, method_name.cstr(), MAX_STRING-1); place[MAX_STRING-1]=0; -#endif + strncpy(local_place, method_name.cstr(), MAX_STRING-1); place[MAX_STRING-1]=0; + size_t place_size=strlen(local_place)+1; +#endif + char *heap_place=(char *)r.malloc(place_size); + memcpy(heap_place, local_place, place_size); + VStateless_class& self_class=*r.self->get_class(); const Method *main_method; @@ -118,23 +123,23 @@ static void _process(Request& r, const S // temporary remove language change Temp_lang temp_lang(r, String::UL_PASS_APPENDED); // temporary zero @main so to maybe-replace it in processed code - Temp_method temp_method_main(self_class, *main_method_name, 0); + Temp_method temp_method_main(self_class, r.main_method_name, 0); // temporary zero @auto so it wouldn't be auto-called in Request::use_buf Temp_method temp_method_auto(self_class, *auto_method_name, 0); // evaluate source to process - const String& source= - r.process(params->as_junction(0, "body must be code")).as_string(); + const String& source=r.process_to_string(params->as_junction(0, "body must be code")); // process source code, append processed methods to 'self' class // maybe-define new @main r.use_buf( source.cstr(String::UL_UNSPECIFIED, r.connection(0)), - place, + *new(pool) String(pool, heap_place, place_size, true /*tainted*/), + heap_place, &self_class); // main_method - main_method=self_class.get_method(*main_method_name); + main_method=self_class.get_method(r.main_method_name); } // after restoring current-request-lang // maybe-execute @main[] @@ -162,10 +167,8 @@ static void _while(Request& r, const Str &method_name, "endless loop detected"); - bool condition= - r.process( - vcondition, - 0/*no name*/, + bool condition=r.process_to_value(vcondition, + /*0/*no name* /,*/ false/*don't intercept string*/).as_bool(); if(!condition) // ...condition is true break; @@ -195,11 +198,11 @@ static void _for(Request& r, const Strin bool need_delim=false; VInt *vint=new(pool) VInt(pool, 0); + r.root->put_element(var_name, vint); for(int i=from; i<=to; i++) { vint->set_int(i); - r.root->put_element(var_name, vint); - Value& processed_body=r.process(body_code); + StringOrValue processed_body=r.process(body_code); if(delim_maybe_code) { // delimiter set? const String *string=processed_body.get_string(); if(need_delim && string && string->size()) // need delim & iteration produced string? @@ -213,19 +216,18 @@ static void _for(Request& r, const Strin static void _eval(Request& r, const String& method_name, MethodParams *params) { Value& expr=params->as_junction(0, "need expression"); // evaluate expresion - Value *result=r.process(expr, - 0/*no name YET*/, + Value *value_result=r.process_to_value(expr, + /*0/*no name YET* /,*/ true/*don't intercept string*/).as_expr_result(); if(params->size()>1) { Value& fmt=params->as_no_junction(1, "fmt must not be code"); Pool& pool=r.pool(); String& string=*new(pool) String(pool); - string.APPEND_CONST(format(pool, result->as_double(), fmt.as_string().cstr())); - result=new(pool) VString(string); - } - result->set_name(method_name); - r.write_no_lang(*result); + string.APPEND_CONST(format(pool, value_result->as_double(), fmt.as_string().cstr())); + r.write_no_lang(string); + } else + r.write_no_lang(*value_result); } static void _connect(Request& r, const String& method_name, MethodParams *params) { @@ -269,19 +271,25 @@ r.sql_connect_time+=t[1]-t[0]; #ifndef DOXYGEN struct Switch_data { + Request *r; Value *searching; Value *found; Value *_default; }; #endif static void _switch(Request& r, const String&, MethodParams *params) { - Switch_data data={&r.process(params->get(0))}; + Switch_data data={&r, &r.process_to_value(params->get(0))}; Temp_hash_value switch_data_setter(r.classes_conf, *switch_data_name, &data); - r.process(params->as_junction(1, "switch cases must be code")); // and ignore result - - if(Value *code=data.found ? data.found : data._default) - r.write_pass_lang(r.process(*code)); + Value& cases_code=params->as_junction(1, "switch cases must be code"); + // execution of found ^case[...]{code} must be in context of ^switch[...]{code} + // because of stacked WWrapper used there as wcontext + r.process(cases_code, true/*intercept_string*/); + 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)); + } } static void _case(Request& r, const String& method_name, MethodParams *params) { @@ -295,10 +303,15 @@ static void _case(Request& r, const Stri int count=params->size(); Value *code=¶ms->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; iget(i)); + Value& value=r.process_to_value(params->get(i)); - if(value.as_string() == *case_default_value) { + if(value.as_string() == CASE_DEFAULT_VALUE) { data->_default=code; break; } @@ -310,6 +323,11 @@ static void _case(Request& r, const Stri matches=data->searching->as_double() == value.as_double(); if(matches) { + if(data->found) + throw Exception("parser.runtime", + &method_name, + "duplicate found"); + data->found=code; break; } @@ -341,8 +359,8 @@ struct Cache_data { }; struct Locked_process_and_cache_put_action_info { Request *r; - Value *body; Cache_data *data; + Value *body_code; const String *evaluated_body; }; #endif static void locked_process_and_cache_put_action(int f, void *context) { @@ -350,16 +368,13 @@ static void locked_process_and_cache_put *static_cast(context); // body->process - info.body=&info.r->process(*info.body); + info.evaluated_body=&info.r->process_to_string(*info.body_code); // expiration time not spoiled by ^cache(0) or something? if(info.data->expires > time(0)) { - // result->string - const String& data_string=info.body->as_string(); - // string -serialize> buffer void *data; size_t data_size; - data_string.serialize( + info.evaluated_body->serialize( sizeof(Data_string_serialized_prolog), data, data_size); Data_string_serialized_prolog& prolog= @@ -372,22 +387,23 @@ static void locked_process_and_cache_put } else // expired! info.data->expires=0; // flag it so that could be easily checked by caller } -Value *locked_process_and_cache_put(Request& r, +const String *locked_process_and_cache_put(Request& r, Value& body_code, Cache_data& data, const String& file_spec) { Locked_process_and_cache_put_action_info info={ &r, - &body_code, - &data + &data, + &body_code }; - Value *result=file_write_action_under_lock( + const String *result=file_write_action_under_lock( file_spec, "cache_put", locked_process_and_cache_put_action, &info, false/*as_text*/, false/*do_append*/, - false/*block*/) ? info.body : 0; + false/*block*/, + false/*fail on lock problem*/) ? info.evaluated_body: 0; if(data.expires==0) cache_delete(file_spec); return result; @@ -489,7 +505,8 @@ static void _cache(Request& r, const Str } // non-blocked lock; process; cache it - if(Value *processed_body=locked_process_and_cache_put(r, body_code, data, file_spec)) { + if(const String*processed_body= + locked_process_and_cache_put(r, body_code, data, file_spec)) { // write it out r.write_assign_lang(*processed_body); // happy with it @@ -506,7 +523,7 @@ static void _cache(Request& r, const Str // instructed not to cache; forget cached copy cache_delete(file_spec); // process - Value& processed_body=r.process(body_code); + const String& processed_body=r.process_to_string(body_code); // write it out r.write_assign_lang(processed_body); // happy with it @@ -519,23 +536,22 @@ static void _cache(Request& r, const Str VHash& exception2vhash(Pool& pool, const Exception& e) { VHash& result=*new(pool) VHash(pool); Hash& hash=result.hash(0); - if(const char *type=e.type()) + if(const char *type=e.type(true)) hash.put(*exception_type_part_name, new(pool) VString(*new(pool) String(pool, type))); if(const String *asource=e.problem_source()) { String& source=*new(pool) String(pool); source.append(*asource, String::UL_TAINTED, true/*forced*/); - result.set_name(source); hash.put(*exception_source_part_name, new(pool) VString(source)); #ifndef NO_STRING_ORIGIN const Origin& origin=source.origin(); - hash.put(*new(pool) String(pool, "file"), + hash.put(*new(pool) String(pool, "file", 0, true), new(pool) VString(*new(pool) String(pool, origin.file))); hash.put(*new(pool) String(pool, "lineno"), new(pool) VInt(pool, 1+origin.line)); #endif } - if(const char *ecomment=e.comment()) { + if(const char *ecomment=e.comment(true)) { int comment_size=strlen(ecomment); char *pcomment=(char *)pool.malloc(comment_size); memcpy(pcomment, ecomment, comment_size); @@ -554,7 +570,7 @@ static void _try_operator(Request& r, co Value& body_code=params->as_junction(0, "body_code must be code"); Value& catch_code=params->as_junction(1, "catch_code must be code"); - Value *result; + StringOrValue result; // taking snapshot of request processing status //int ssexception_trace=r.exception_trace.top_index(); @@ -562,7 +578,7 @@ static void _try_operator(Request& r, co Value *sself=r.self, *sroot=r.root, *srcontext=r.rcontext; WContext *swcontext=r.wcontext; try { - result=&r.process(body_code); + result=r.process(body_code); } catch(const Exception& e) { // restoring request processing status //r.exception_trace.top_index(ssexception_trace); @@ -575,7 +591,7 @@ static void _try_operator(Request& r, co Junction *junction=catch_code.get_junction(); Value *saved_exception_var_value=junction->root->get_element(*exception_var_name); junction->root->put_element(*exception_var_name, &vhash); - result=&r.process(catch_code); + result=r.process(catch_code); bool handled=false; if(Value *value=static_cast(vhash.hash(0).get(*exception_handled_part_name))) handled=value->as_bool(); @@ -585,7 +601,7 @@ static void _try_operator(Request& r, co throw(e); // rethrow } // write it out - r.write_pass_lang(*result); + r.write_pass_lang(result); } static void _throw_operator(Request& r, const String& method_name, MethodParams *params) { @@ -615,19 +631,17 @@ static void _throw_operator(Request& r, } else { const char *type=params->as_string(0, "type must be string").cstr(); const String& source=params->as_string(1, "source must be string"); - const char *comment=params->as_string(2, "comment must be string").cstr(); - throw Exception(type, &source, comment); + const char *comment=params->size()>2?params->as_string(2, "comment must be string").cstr():0; + throw Exception(type, &source, "%s", comment?comment:""); } } // constructor -MOP::MOP(Pool& apool) : Methoded(apool), +MOP::MOP(Pool& apool) : Methoded(apool, "OP"), main_sql_name(apool, MAIN_SQL_NAME), main_sql_drivers_name(apool, MAIN_SQL_DRIVERS_NAME) { - set_name(*NEW String(pool(), OP_CLASS_NAME)); - // ^if(condition){code-when-true} // ^if(condition){code-when-true}{code-when-false} add_native_method("if", Method::CT_ANY, _if, 2, 3);