--- parser3/src/classes/op.C 2001/04/06 10:32:16 1.2 +++ parser3/src/classes/op.C 2001/12/19 16:17:26 1.65 @@ -1,88 +1,94 @@ /** @file - Parser: @b ROOT parser class. + Parser: parser @b operators. Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) + Author: Alexander Petrosyan (http://paf.design.ru) - Author: Alexander Petrosyan (http://design.ru/paf) - - $Id: op.C,v 1.2 2001/04/06 10:32:16 paf Exp $ + $Id: op.C,v 1.65 2001/12/19 16:17:26 paf Exp $ */ -#include "pa_config_includes.h" -#include - +#include "classes.h" #include "pa_common.h" #include "pa_request.h" -#include "_op.h" #include "pa_vint.h" #include "pa_sql_connection.h" -static void _if(Request& r, const String& method_name, Array *params) { - Value& condition_code=*static_cast(params->get(0)); - // forcing ^if(this param type) - r.fail_if_junction_(false, condition_code, - method_name, "condition must be expression"); +// limits + +#define MAX_LOOPS 10000 + +// defines + +#define OP_CLASS_NAME "OP" + +// class + +class MOP : public Methoded { +public: + MOP(Pool& pool); +public: // Methoded + bool used_directly() { return true; } + void configure_user(Request& r); + +private: + String main_sql_name; + String main_sql_drivers_name; +}; + +// methods + +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*/, false/*don't intercept string*/).as_bool(); - if(condition) { - Value& then_code=*static_cast(params->get(1)); - // forcing ^if{this param type} - r.fail_if_junction_(false, then_code, - method_name, "then-parameter must be code"); - r.write_pass_lang(r.process(then_code)); - } else if(params->size()==3) { - Value& else_code=*static_cast(params->get(2)); - // forcing ^if{this param type} - r.fail_if_junction_(false, else_code, - method_name, "else-parameter must be code"); - r.write_pass_lang(r.process(else_code)); - } + if(condition) + r.write_pass_lang(r.process(params->as_junction(1, "'then' parameter must be code"))); + else if(params->size()>2) + r.write_pass_lang(r.process(params->as_junction(2, "'else' parameter must be code"))); } -static void _untaint(Request& r, const String& method_name, Array *params) { +static void _untaint(Request& r, const String& method_name, MethodParams *params) { Pool& pool=r.pool(); - const String& lang_name=r.process(*static_cast(params->get(0))).as_string(); - String::Untaint_lang lang=static_cast( - untaint_lang_name2enum->get_int(lang_name)); - if(!lang) - PTHROW(0, 0, - &lang_name, - "invalid untaint language"); + uchar lang; + if(params->size()==1) + lang=String::UL_AS_IS; // mark as simply 'tainted'. useful in html from sql + else { + const String& lang_name=params->as_string(0, "lang must be string"); + lang=untaint_lang_name2enum->get_int(lang_name); + if(!lang) + throw Exception(0, 0, + &lang_name, + "invalid taint language"); + } { - Value *vbody=static_cast(params->get(1)); - // forcing ^untaint[]{this param type} - r.fail_if_junction_(false, *vbody, - method_name, "body must be code"); + Value& vbody=params->as_junction(params->size()-1, "body must be code"); Temp_lang temp_lang(r, lang); // set temporarily specified ^untaint[language; - r.write_pass_lang(r.process(*vbody)); // process marking tainted with that lang + r.write_pass_lang(r.process(vbody)); // process marking tainted with that lang } } -static void _taint(Request& r, const String& method_name, Array *params) { +static void _taint(Request& r, const String&, MethodParams *params) { Pool& pool=r.pool(); - String::Untaint_lang lang; + uchar lang; if(params->size()==1) lang=String::UL_TAINTED; // mark as simply 'tainted'. useful in table:set else { - const String& lang_name=r.process(*static_cast(params->get(0))).as_string(); - lang=static_cast( - untaint_lang_name2enum->get_int(lang_name)); + const String& lang_name=params->as_string(0, "lang must be string"); + lang=untaint_lang_name2enum->get_int(lang_name); if(!lang) - PTHROW(0, 0, - &lang_name, - "invalid taint language"); + throw Exception(0, 0, + &lang_name, + "invalid taint language"); } { - Value& vbody=*static_cast(params->get(params->size()-1)); - // forcing [this param type] - r.fail_if_junction_(true, vbody, method_name, "body must not be code"); + Value& vbody=params->as_no_junction(params->size()-1, "body must not be code"); String result(r.pool()); result.append( @@ -92,7 +98,7 @@ static void _taint(Request& r, const Str } } -static void _process(Request& r, const String& method_name, Array *params) { +static void _process(Request& r, const String& method_name, MethodParams *params) { // calculate pseudo file name of processed chars // would be something like "/some/file(4) process" char place[MAX_STRING]; @@ -102,7 +108,7 @@ static void _process(Request& r, const S origin.file, 1+origin.line, method_name.cstr()); #else - strncpy(place, MAX_STRING, method_name.cstr()); + strncpy(place, method_name.cstr(), MAX_STRING-1); place[MAX_STRING-1]=0; #endif VStateless_class& self_class=*r.self->get_class(); @@ -114,11 +120,11 @@ static void _process(Request& r, const S // evaluate source to process const String& source= - r.process(*static_cast(params->get(0))).as_string(); + r.process(params->as_junction(0, "body must be code")).as_string(); // process source code, append processed methods to 'self' class // maybe-define new @main - r.use_buf(source.cstr(), place, &self_class); + r.use_buf(source.cstr(String::UL_UNSPECIFIED, r.connection), place, &self_class); // maybe-execute @main[] if(const Method *method=self_class.get_method(*main_method_name)) { @@ -128,30 +134,21 @@ static void _process(Request& r, const S } } -static void _rem(Request& r, const String& method_name, Array *params) { - // forcing ^rem{this param type} - r.fail_if_junction_(false, *static_cast(params->get(0)), - method_name, "body must be code"); +static void _rem(Request& r, const String&, MethodParams *params) { + params->as_junction(0, "body must be code"); } -static void _while(Request& r, const String& method_name, Array *params) { +static void _while(Request& r, const String& method_name, MethodParams *params) { Pool& pool=r.pool(); - Value& vcondition=*static_cast(params->get(0)); - // forcing ^while(this param type){} - r.fail_if_junction_(false, vcondition, - method_name, "condition must be expression"); - - Value& body=*static_cast(params->get(1)); - // forcing ^while(){this param type} - r.fail_if_junction_(false, body, - method_name, "body must be code"); + Value& vcondition=params->as_junction(0, "condition must be expression"); + Value& body=params->as_junction(1, "body must be code"); // while... int endless_loop_count=0; while(true) { - if(++endless_loop_count>=1973) // endless loop? - PTHROW(0, 0, + if(++endless_loop_count>=MAX_LOOPS) // endless loop? + throw Exception(0, 0, &method_name, "endless loop detected"); @@ -168,222 +165,356 @@ static void _while(Request& r, const Str } } -static void _use(Request& r, const String& method_name, Array *params) { - Value& vfile=*static_cast(params->get(0)); - // forcing ^rem{this param type} - r.fail_if_junction_(true, vfile, - method_name, "file name must not be code"); - - r.use_file(r.absolute(vfile.as_string())); +static void _use(Request& r, const String& method_name, MethodParams *params) { + Value& vfile=params->as_no_junction(0, "file name must not be code"); + r.use_file(vfile.as_string()); } -static void _for(Request& r, const String& method_name, Array *params) { - // ^for[i;from-number;to-number-inclusive]{code}[delim] - +static void _for(Request& r, const String& method_name, MethodParams *params) { Pool& pool=r.pool(); - const String& var_name=r.process(*static_cast(params->get(0))).as_string(); - int from=(int)r.process(*static_cast(params->get(1))).as_double(); - int to=(int)r.process(*static_cast(params->get(2))).as_double(); - Value& body_code=*static_cast(params->get(3)); - // forcing ^menu{this param type} - r.fail_if_junction_(false, body_code, - method_name, "body must be code"); - Value *delim_code=params->size()==3+1+1?static_cast(params->get(3+1)):0; + const String& var_name=params->as_string(0, "var name must be string"); + int from=params->as_int(1, "from must be int", r); + int to=params->as_int(2, "to must be int", r); + Value& body_code=params->as_junction(3, "body must be code"); + Value *delim_maybe_code=params->size()>4?¶ms->get(4):0; + + if(to-from>=MAX_LOOPS) // too long loop? + throw Exception(0, 0, + &method_name, + "endless loop detected"); bool need_delim=false; VInt *vint=new(pool) VInt(pool, 0); - int endless_loop_count=0; for(int i=from; i<=to; i++) { - if(++endless_loop_count>=2001) // endless loop? - PTHROW(0, 0, - &method_name, - "endless loop detected"); vint->set_int(i); - r.wcontext->put_element(var_name, vint); + r.root->put_element(var_name, vint); Value& processed_body=r.process(body_code); - if(delim_code) { // delimiter set? + if(delim_maybe_code) { // delimiter set? const String *string=processed_body.get_string(); if(need_delim && string && string->size()) // need delim & iteration produced string? - r.write_pass_lang(r.process(*delim_code)); + r.write_pass_lang(r.process(*delim_maybe_code)); need_delim=true; } r.write_pass_lang(processed_body); } } -static void _eval(Request& r, const String& method_name, Array *params) { - Value& expr=*static_cast(params->get(0)); - r.fail_if_junction_(false, expr, - method_name, "need expression"); +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*/, + 0/*no name YET*/, true/*don't intercept string*/).as_expr_result(); - if(params->size()==2) { - Value& fmt=*static_cast(params->get(1)); - // forcing ^format[this param type] - r.fail_if_junction_(true, fmt, - method_name, "fmt must not be code"); + 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); } - -typedef double (*math_one_double_op_func_ptr)(double); -static double round(double op) { return floor(op+0.5); } -static double sign(double op) { return op > 0 ? 1 : ( op < 0 ? -1 : 0 ); } - -static void double_one_op( - Request& r, - const String& method_name, Array *params, - math_one_double_op_func_ptr func) { +static void _error(Request& r, const String& method_name, MethodParams *params) { Pool& pool=r.pool(); - Value& param=*static_cast(params->get(0)); - // forcing ^round(this param type) - r.fail_if_junction_(false, param, - method_name, "parameter must be expression"); - - Value& result=*new(pool) VDouble(pool, (*func)(r.process(param).as_double())); - r.write_no_lang(result); -} - -static void _round(Request& r, const String& method_name, Array *params) { - double_one_op(r, method_name, params, &round); + const String& serror=params->as_string(0, "message must be string"); + throw Exception(0, 0, + &method_name, + "%s", serror.cstr()); } -static void _floor(Request& r, const String& method_name, Array *params) { - double_one_op(r, method_name, params, &floor); -} - -static void _ceiling(Request& r, const String& method_name, Array *params) { - double_one_op(r, method_name, params, &ceil); -} -static void _abs(Request& r, const String& method_name, Array *params) { - double_one_op(r, method_name, params, &fabs); -} - -static void _sign(Request& r, const String& method_name, Array *params) { - double_one_op(r, method_name, params, &sign); -} - -/// ^connect[protocol://user:pass@host[:port]/database]{code with ^sql-s} -/** - @test make params not Array but something with useful method for extracting, - with typecast and junction/not test -*/ -static void _connect(Request& r, const String& method_name, Array *params) { +/// @todo rewrite ugly code with try/try to autoobject TempConnection +static void _connect(Request& r, const String& method_name, MethodParams *params) { Pool& pool=r.pool(); - - Value& url=*static_cast(params->get(0)); - r.fail_if_junction_(true, url, - method_name, "url must not be code"); - - Value& body_code=*static_cast(params->get(1)); - r.fail_if_junction_(false, body_code, - method_name, "body must be code"); - +#ifdef RESOURCES_DEBUG +struct timeval mt[2]; +#endif + Value& url=params->as_no_junction(0, "url must not be code"); + Value& body_code=params->as_junction(1, "body must be code"); + + Table *protocol2driver_and_client= + static_cast(r.classes_conf.get(r.OP.name())); + +#ifdef RESOURCES_DEBUG +//measure:before +gettimeofday(&mt[0],NULL); +#endif // connect SQL_Connection& connection=SQL_driver_manager->get_connection( - url.as_string(), r.protocol2library); + url.as_string(), method_name, protocol2driver_and_client); + +#ifdef RESOURCES_DEBUG +//measure:after connect +gettimeofday(&mt[1],NULL); + +double t[2]; +for(int i=0;i<2;i++) + t[i]=mt[i].tv_sec+mt[i].tv_usec/1000000.0; - Exception rethrow_me; +r.sql_connect_time+=t[1]-t[0]; +#endif // remember/set current connection SQL_Connection *saved_connection=r.connection; r.connection=&connection; // execute body - bool body_failed=false; - PTRY - r.write_assign_lang(r.process(body_code)); - PCATCH(e) { // connect/process problem - rethrow_me=e; body_failed=true; - } - PEND_CATCH - - bool finalizer_failed=false; - PTRY - // FINALLY - if(body_failed) - connection.rollback(); - else + try { + try { + r.write_assign_lang(r.process(body_code)); + connection.commit(); - PCATCH(e) { // commit/rollback problem - rethrow_me=e; finalizer_failed=true; + } catch(...) { // process/commit problem + connection.rollback(); + + /*re*/throw; + } + + } catch(...) { + // close connection [cache it] + connection.close(); + // recall current connection from remembered + r.connection=saved_connection; + + /*re*/throw; } - PEND_CATCH + // and anyway // close connection [cache it] connection.close(); // recall current connection from remembered r.connection=saved_connection; +} + +#ifndef DOXYGEN +struct Switch_data { + Value *searching; + Value *found; + Value *_default; +}; +#endif +static void _switch(Request& r, const String&, MethodParams *params) { + void *backup=r.classes_conf.get(*switch_data_name); + Switch_data data={&r.process(params->get(0))}; + r.classes_conf.put(*switch_data_name, &data); + + r.process(params->as_junction(1, "switch cases must be code")); // and ignore result - if(body_failed || finalizer_failed) // were there an exception for us to rethrow? - PTHROW(rethrow_me.type(), rethrow_me.code(), - rethrow_me.problem_source(), - rethrow_me.comment()); + r.classes_conf.put(*switch_data_name, backup); + + if(Value *code=data.found ? data.found : data._default) + r.write_pass_lang(r.process(*code)); +} + +static void _case(Request& r, const String& method_name, MethodParams *params) { + Pool& pool=r.pool(); + + Switch_data *data=static_cast(r.classes_conf.get(*switch_data_name)); + if(!data) + throw Exception(0, 0, + &method_name, + "without switch"); + + int count=params->size(); + Value *code=¶ms->as_junction(--count, "case result must be code"); + for(int i=0; iget(i)); + + if(value.as_string() == *case_default_value) { + data->_default=code; + break; + } + + bool matches; + if(data->searching->is_string()) + matches=data->searching->as_string() == value.as_string(); + else + matches=data->searching->as_double() == value.as_double(); + + if(matches) { + data->found=code; + break; + } + } +} + +// cache-- + +// consts + +const int DATA_STRING_SERIALIZED_VERSION=0x0001; + +// helper types + +#ifndef DOXYGEN +struct Data_string_serialized_prolog { + int version; +}; +#endif + +void cache_delete(Pool& pool, const String& file_spec) { + file_delete(pool, file_spec, false/*fail_on_read_problem*/); +} +void cache_put(Pool& pool, const String& file_spec, const String& data_string) { + void *data; size_t data_size; + data_string.serialize( + sizeof(Data_string_serialized_prolog), + data, data_size); + Data_string_serialized_prolog& prolog= + *static_cast(data); + + prolog.version=DATA_STRING_SERIALIZED_VERSION; + + file_write(pool, + file_spec, + data, data_size, + false/*as_text*/); +} +String *cache_get(Pool& pool, const String& file_spec) { + void* data; size_t data_size; + if(!file_read(pool, file_spec, + data, data_size, + false/*as_text*/, + false/*fail_on_read_problem*/)) + return 0; + + Data_string_serialized_prolog& prolog= + *static_cast(data); + + if(data_sizeas_string(0, "filespec must be string")); + if(params->size()==1) { // delete + cache_delete(pool, file_spec); + return; + } + + time_t lifespan=(time_t)params->as_double(1, "lifespan must be number", r); + Value& body_code=params->as_junction(2, "body must be code"); + + if(lifespan) { // 'lifespan' specified? try cached copy... + size_t size; + time_t atime, mtime, ctime; + // {file_spec} modification time + if(!file_stat(file_spec, size, atime, mtime, ctime, false/*no exception on error*/) + || (time(0)-mtime) > lifespan) // cached file expired + cache_delete(pool, file_spec); + else + if(String *cached_body=cache_get(pool, file_spec)) { // have cached copy? + // write it out + r.write_assign_lang(*cached_body); + // happy with it + return; + } + } else // 'lifespan'=0, forget cached copy + cache_delete(pool, file_spec); + + // process + Value& processed_body=r.process(body_code); + + // put it to cache if 'lifespan' specified + if(lifespan) + cache_put(pool, file_spec, processed_body.as_string()); + + // write it out + r.write_assign_lang(processed_body); } -// initialize +// constructor + +MOP::MOP(Pool& apool) : Methoded(apool), + main_sql_name(apool, MAIN_SQL_NAME), + main_sql_drivers_name(apool, MAIN_SQL_DRIVERS_NAME) +{ + set_name(*NEW String(pool(), OP_CLASS_NAME)); -void initialize_op_class(Pool& pool, VStateless_class& vclass) { // ^if(condition){code-when-true} // ^if(condition){code-when-true}{code-when-false} - vclass.add_native_method("if", Method::CT_ANY, _if, 2, 3); + add_native_method("if", Method::CT_ANY, _if, 2, 3); // ^untaint[as-is|uri|sql|js|html|html-typo]{code} - vclass.add_native_method("untaint", Method::CT_ANY, _untaint, 2, 2); + add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2); // ^taint[as-is|uri|sql|js|html|html-typo]{code} - vclass.add_native_method("taint", Method::CT_ANY, _taint, 1, 2); + add_native_method("taint", Method::CT_ANY, _taint, 1, 2); // ^process[code] - vclass.add_native_method("process", Method::CT_ANY, _process, 1, 1); + add_native_method("process", Method::CT_ANY, _process, 1, 1); // ^rem{code} - vclass.add_native_method("rem", Method::CT_ANY, _rem, 1, 1); + add_native_method("rem", Method::CT_ANY, _rem, 1, 10000); // ^while(condition){code} - vclass.add_native_method("while", Method::CT_ANY, _while, 2, 2); + add_native_method("while", Method::CT_ANY, _while, 2, 2); // ^use[file] - vclass.add_native_method("use", Method::CT_ANY, _use, 1, 1); + add_native_method("use", Method::CT_ANY, _use, 1, 1); - // ^for[i;from-number;to-number-inclusive]{code}[delim] - vclass.add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1); + // ^for[i](from-number;to-number-inclusive){code}[delim] + add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1); // ^eval(expr) // ^eval(expr)[format] - vclass.add_native_method("eval", Method::CT_ANY, _eval, 1, 2); + add_native_method("eval", Method::CT_ANY, _eval, 1, 2); + // ^error[msg] + add_native_method("error", Method::CT_ANY, _error, 1, 1); - // math functions - // ^round(expr) - vclass.add_native_method("round", Method::CT_ANY, _round, 1, 1); + // ^connect[protocol://user:pass@host[:port]/database]{code with ^sql-s} + add_native_method("connect", Method::CT_ANY, _connect, 2, 2); - // ^floor(expr) - vclass.add_native_method("floor", Method::CT_ANY, _floor, 1, 1); - // ^ceiling(expr) - vclass.add_native_method("ceiling", Method::CT_ANY, _ceiling, 1, 1); + // ^cache[file_spec] delete cache + // ^cache[file_spec](time){code} time=0 no cache + add_native_method("cache", Method::CT_ANY, _cache, 1, 3); + + // switch - // ^abs(expr) - vclass.add_native_method("abs", Method::CT_ANY, _abs, 1, 1); + // ^switch[value]{cases} + add_native_method("switch", Method::CT_ANY, _switch, 2, 2); - // ^sign(expr) - vclass.add_native_method("sign", Method::CT_ANY, _sign, 1, 1); + // ^case[value]{code} + add_native_method("case", Method::CT_ANY, _case, 2, 10000); +} - - // connect +// constructor & configurator - // ^connect[protocol://user:pass@host[:port]/database]{code with ^sql-s} - vclass.add_native_method("connect", Method::CT_ANY, _connect, 2, 2); +Methoded *MOP_create(Pool& pool) { + return new(pool) MOP(pool); +} + +void MOP::configure_user(Request& r) { + Pool& pool=r.pool(); + // $MAIN:SQL.drivers + if(Value *sql=r.main_class->get_element(main_sql_name)) + if(Value *element=sql->get_element(main_sql_drivers_name)) + if(Table *protocol2library=element->get_table()) + r.classes_conf.put(name(), protocol2library); }