Annotation of parser3/src/classes/op.C, revision 1.82

1.1       paf         1: /** @file
1.9       paf         2:        Parser: parser @b operators.
1.1       paf         3: 
1.70      paf         4:        Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com)
1.71      paf         5:        Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1       paf         6: 
1.82    ! paf         7:        $Id: op.C,v 1.81 2002/04/10 09:53:14 paf Exp $
1.1       paf         8: */
                      9: 
1.13      paf        10: #include "classes.h"
1.1       paf        11: #include "pa_common.h"
                     12: #include "pa_request.h"
                     13: #include "pa_vint.h"
                     14: #include "pa_sql_connection.h"
1.79      paf        15: #include "pa_vdate.h"
1.1       paf        16: 
1.18      parser     17: // limits
                     18: 
                     19: #define MAX_LOOPS 10000
                     20: 
1.10      paf        21: // defines
                     22: 
                     23: #define OP_CLASS_NAME "OP"
1.82    ! paf        24: #define CASE_DEFAULT_VALUE "DEFAULT"
1.11      paf        25: 
1.10      paf        26: // class
                     27: 
                     28: class MOP : public Methoded {
                     29: public:
                     30:        MOP(Pool& pool);
1.11      paf        31: public: // Methoded
1.10      paf        32:        bool used_directly() { return true; }
1.11      paf        33:        void configure_user(Request& r);
1.36      parser     34: 
1.11      paf        35: private:
                     36:        String main_sql_name;
                     37:        String main_sql_drivers_name;
1.10      paf        38: };
                     39: 
                     40: // methods
                     41: 
1.5       paf        42: static void _if(Request& r, const String&, MethodParams *params) {
1.48      parser     43:        Value& condition_code=params->as_junction(0, "condition must be expression");
1.1       paf        44: 
1.81      paf        45:        bool condition=r.process_to_value(condition_code, 
1.1       paf        46:                0/*no name*/,
                     47:                false/*don't intercept string*/).as_bool();
1.6       paf        48:        if(condition)
1.81      paf        49:                r.write_pass_lang(r.process_to_value(params->as_junction(1, "'then' parameter must be code")));
1.50      parser     50:        else if(params->size()>2)
1.81      paf        51:                r.write_pass_lang(r.process_to_value(params->as_junction(2, "'else' parameter must be code")));
1.1       paf        52: }
                     53: 
1.5       paf        54: static void _untaint(Request& r, const String& method_name, MethodParams *params) {
1.1       paf        55:        Pool& pool=r.pool();
                     56: 
1.60      paf        57:        uchar lang;
1.59      paf        58:        if(params->size()==1)
                     59:                lang=String::UL_AS_IS; // mark as simply 'tainted'. useful in html from sql 
                     60:        else {
                     61:                const String& lang_name=params->as_string(0, "lang must be string");
1.60      paf        62:                lang=untaint_lang_name2enum->get_int(lang_name);
1.59      paf        63:                if(!lang)
1.78      paf        64:                        throw Exception(0,
1.59      paf        65:                                &lang_name,
                     66:                                "invalid taint language");
                     67:        }
1.1       paf        68: 
                     69:        {
1.59      paf        70:                Value& vbody=params->as_junction(params->size()-1, "body must be code");
1.1       paf        71:                
                     72:                Temp_lang temp_lang(r, lang); // set temporarily specified ^untaint[language;
1.81      paf        73:                r.write_pass_lang(r.process_to_value(vbody)); // process marking tainted with that lang
1.1       paf        74:        }
                     75: }
                     76: 
1.5       paf        77: static void _taint(Request& r, const String&, MethodParams *params) {
1.1       paf        78:        Pool& pool=r.pool();
                     79: 
1.60      paf        80:        uchar lang;
1.1       paf        81:        if(params->size()==1)
                     82:                lang=String::UL_TAINTED; // mark as simply 'tainted'. useful in table:set
                     83:        else {
1.48      parser     84:                const String& lang_name=params->as_string(0, "lang must be string");
1.60      paf        85:                lang=untaint_lang_name2enum->get_int(lang_name);
1.1       paf        86:                if(!lang)
1.78      paf        87:                        throw Exception(0,
1.3       paf        88:                                &lang_name,
                     89:                                "invalid taint language");
1.1       paf        90:        }
                     91: 
                     92:        {
1.34      parser     93:                Value& vbody=params->as_no_junction(params->size()-1, "body must not be code");
1.1       paf        94:                
                     95:                String result(r.pool());
                     96:                result.append(
                     97:                        vbody.as_string(),  // process marking tainted with that lang
                     98:                        lang, true);  // force result language to specified
                     99:                r.write_pass_lang(result);
                    100:        }
                    101: }
                    102: 
1.5       paf       103: static void _process(Request& r, const String& method_name, MethodParams *params) {
1.1       paf       104:        // calculate pseudo file name of processed chars
                    105:        // would be something like "/some/file(4) process"
                    106:        char place[MAX_STRING];
                    107: #ifndef NO_STRING_ORIGIN
                    108:        const Origin& origin=method_name.origin();
                    109:        snprintf(place, MAX_STRING, "%s(%d) %s", 
                    110:                origin.file, 1+origin.line,
                    111:                method_name.cstr());
                    112: #else
1.39      parser    113:        strncpy(place, method_name.cstr(), MAX_STRING-1); place[MAX_STRING-1]=0;
1.1       paf       114: #endif 
                    115: 
                    116:        VStateless_class& self_class=*r.self->get_class();
1.73      paf       117:        const Method *main_method;
1.1       paf       118:        {
1.73      paf       119:                // temporary remove language change
                    120:                Temp_lang temp_lang(r, String::UL_PASS_APPENDED);
1.1       paf       121:                // temporary zero @main so to maybe-replace it in processed code
                    122:                Temp_method temp_method_main(self_class, *main_method_name, 0);
                    123:                // temporary zero @auto so it wouldn't be auto-called in Request::use_buf
                    124:                Temp_method temp_method_auto(self_class, *auto_method_name, 0);
                    125:                
                    126:                // evaluate source to process
                    127:                const String& source=
1.81      paf       128:                        r.process_to_string(params->as_junction(0, "body must be code"));
1.1       paf       129: 
                    130:                // process source code, append processed methods to 'self' class
                    131:                // maybe-define new @main
1.67      paf       132:                r.use_buf(
                    133:                        source.cstr(String::UL_UNSPECIFIED, r.connection(0)), 
                    134:                        place, 
                    135:                        &self_class);
1.1       paf       136:                
1.73      paf       137:                // main_method
                    138:                main_method=self_class.get_method(*main_method_name);
                    139:        }
                    140:        // after restoring current-request-lang
                    141:        // maybe-execute @main[]
                    142:        if(main_method) {
                    143:                // execute!     
                    144:                r.execute(*main_method->parser_code);
1.1       paf       145:        }
                    146: }
                    147:        
1.5       paf       148: static void _rem(Request& r, const String&, MethodParams *params) {
1.34      parser    149:        params->as_junction(0, "body must be code");
1.1       paf       150: }
                    151: 
1.5       paf       152: static void _while(Request& r, const String& method_name, MethodParams *params) {
1.1       paf       153:        Pool& pool=r.pool();
                    154: 
1.34      parser    155:        Value& vcondition=params->as_junction(0, "condition must be expression");
                    156:        Value& body=params->as_junction(1, "body must be code");
1.1       paf       157: 
                    158:        // while...
                    159:        int endless_loop_count=0;
                    160:        while(true) {
1.18      parser    161:                if(++endless_loop_count>=MAX_LOOPS) // endless loop?
1.78      paf       162:                        throw Exception("parser.runtime",
1.1       paf       163:                                &method_name,
                    164:                                "endless loop detected");
                    165: 
                    166:                bool condition=
1.81      paf       167:                        r.process_to_value(
1.1       paf       168:                                vcondition, 
                    169:                                0/*no name*/,
                    170:                                false/*don't intercept string*/).as_bool();
                    171:                if(!condition) // ...condition is true
                    172:                        break;
                    173: 
                    174:                // write processed body
1.81      paf       175:                r.write_pass_lang(r.process_to_value(body));
1.1       paf       176:        }
                    177: }
                    178: 
1.5       paf       179: static void _use(Request& r, const String& method_name, MethodParams *params) {
1.34      parser    180:        Value& vfile=params->as_no_junction(0, "file name must not be code");
1.37      parser    181:        r.use_file(vfile.as_string());
1.1       paf       182: }
                    183: 
1.5       paf       184: static void _for(Request& r, const String& method_name, MethodParams *params) {
1.1       paf       185:        Pool& pool=r.pool();
1.48      parser    186:        const String& var_name=params->as_string(0, "var name must be string");
                    187:        int from=params->as_int(1, "from must be int", r);
                    188:        int to=params->as_int(2, "to must be int", r);
1.34      parser    189:        Value& body_code=params->as_junction(3, "body must be code");
1.50      parser    190:        Value *delim_maybe_code=params->size()>4?&params->get(4):0;
1.1       paf       191: 
1.57      paf       192:        if(to-from>=MAX_LOOPS) // too long loop?
1.78      paf       193:                throw Exception("parser.runtime",
1.57      paf       194:                        &method_name,
                    195:                        "endless loop detected");
                    196: 
1.1       paf       197:        bool need_delim=false;
                    198:        VInt *vint=new(pool) VInt(pool, 0);
                    199:        for(int i=from; i<=to; i++) {
                    200:                vint->set_int(i);
1.56      paf       201:                r.root->put_element(var_name, vint);
1.1       paf       202: 
1.81      paf       203:                Value& processed_body=r.process_to_value(body_code);
1.49      parser    204:                if(delim_maybe_code) { // delimiter set?
1.1       paf       205:                        const String *string=processed_body.get_string();
                    206:                        if(need_delim && string && string->size()) // need delim & iteration produced string?
1.81      paf       207:                                r.write_pass_lang(r.process_to_string(*delim_maybe_code));
1.1       paf       208:                        need_delim=true;
                    209:                }
                    210:                r.write_pass_lang(processed_body);
                    211:        }
                    212: }
                    213: 
1.15      paf       214: static void _eval(Request& r, const String& method_name, MethodParams *params) {
1.34      parser    215:        Value& expr=params->as_junction(0, "need expression");
1.1       paf       216:        // evaluate expresion
1.81      paf       217:        Value *result=r.process_to_value(expr, 
1.16      paf       218:                0/*no name YET*/,
1.1       paf       219:                true/*don't intercept string*/).as_expr_result();
1.50      parser    220:        if(params->size()>1) {
1.34      parser    221:                Value& fmt=params->as_no_junction(1, "fmt must not be code");
1.1       paf       222: 
                    223:                Pool& pool=r.pool();
                    224:                String& string=*new(pool) String(pool);
                    225:                string.APPEND_CONST(format(pool, result->as_double(), fmt.as_string().cstr()));
                    226:                result=new(pool) VString(string);
                    227:        }
1.16      paf       228:        result->set_name(method_name);
1.1       paf       229:        r.write_no_lang(*result);
                    230: }
                    231: 
1.42      parser    232: static void _connect(Request& r, const String& method_name, MethodParams *params) {
1.1       paf       233:        Pool& pool=r.pool();
1.63      paf       234: #ifdef RESOURCES_DEBUG
                    235: struct timeval mt[2];
                    236: #endif
1.34      parser    237:        Value& url=params->as_no_junction(0, "url must not be code");
                    238:        Value& body_code=params->as_junction(1, "body must be code");
1.1       paf       239: 
1.19      parser    240:        Table *protocol2driver_and_client=
1.35      parser    241:                static_cast<Table *>(r.classes_conf.get(r.OP.name()));
1.11      paf       242: 
1.63      paf       243: #ifdef RESOURCES_DEBUG
                    244: //measure:before
                    245: gettimeofday(&mt[0],NULL);
                    246: #endif
1.1       paf       247:        // connect
1.67      paf       248:        SQL_Connection_ptr connection=SQL_driver_manager->get_connection(
1.42      parser    249:                url.as_string(), method_name, protocol2driver_and_client);
1.1       paf       250: 
1.63      paf       251: #ifdef RESOURCES_DEBUG
                    252: //measure:after connect
                    253: gettimeofday(&mt[1],NULL);
                    254: 
                    255: double t[2];
                    256: for(int i=0;i<2;i++)
                    257:     t[i]=mt[i].tv_sec+mt[i].tv_usec/1000000.0;
                    258: 
                    259: r.sql_connect_time+=t[1]-t[0];
                    260: #endif
1.67      paf       261:        Temp_connection temp_connection(r, connection.get());
1.1       paf       262:        // execute body
1.53      parser    263:        try {
1.81      paf       264:                r.write_assign_lang(r.process_to_value(body_code));
1.75      paf       265:        } catch(...) { // process problem
1.67      paf       266:                connection->mark_to_rollback();
                    267:                /*re*/throw; 
1.1       paf       268:        }
                    269: }
                    270: 
1.41      parser    271: #ifndef DOXYGEN
1.28      parser    272: struct Switch_data {
1.82    ! paf       273:        Request *r;
1.28      parser    274:        Value *searching;
                    275:        Value *found;
                    276:        Value *_default;
1.82    ! paf       277:        Value *result;
1.28      parser    278: };
1.41      parser    279: #endif
1.82    ! paf       280: static void switch_postexecute(void *info) {
        !           281:        Switch_data& data=*static_cast<Switch_data *>(info);
        !           282: 
        !           283:        if(Value *code=data.found ? data.found : data._default)
        !           284:                data.result=&data.r->process_to_value(*code);
        !           285: }
1.28      parser    286: static void _switch(Request& r, const String&, MethodParams *params) {
1.82    ! paf       287:        Switch_data data={&r, &r.process_to_value(params->get(0))};     
1.79      paf       288:        Temp_hash_value switch_data_setter(r.classes_conf, *switch_data_name, &data);
1.28      parser    289: 
1.82    ! paf       290:        // execution of found ^case[...]{code} must be in context of ^switch[...]{code}
        !           291:        // because of stacked WWrapper used there as wcontext
        !           292:        r.process_to_nothing(
        !           293:                params->as_junction(1, "switch cases must be code"),
        !           294:                switch_postexecute, &data
        !           295:        );
1.28      parser    296: 
1.82    ! paf       297:        if(data.result)
        !           298:                r.write_pass_lang(*data.result);
1.28      parser    299: }
                    300: 
1.38      parser    301: static void _case(Request& r, const String& method_name, MethodParams *params) {
                    302:        Pool& pool=r.pool();
                    303: 
                    304:        Switch_data *data=static_cast<Switch_data *>(r.classes_conf.get(*switch_data_name));
                    305:        if(!data)
1.78      paf       306:                throw Exception("parser.runtime",
1.38      parser    307:                        &method_name,
                    308:                        "without switch");
1.28      parser    309: 
                    310:        int count=params->size();
1.34      parser    311:        Value *code=&params->as_junction(--count, "case result must be code");
1.28      parser    312:        for(int i=0; i<count; i++) {
1.81      paf       313:                Value& value=r.process_to_value(params->get(i));
1.28      parser    314: 
1.82    ! paf       315:                if(value.as_string() == CASE_DEFAULT_VALUE) {
1.38      parser    316:                        data->_default=code;
1.28      parser    317:                        break;
                    318:                }
                    319: 
                    320:                bool matches;
1.38      parser    321:                if(data->searching->is_string())
                    322:                        matches=data->searching->as_string() == value.as_string();
1.28      parser    323:                else
1.38      parser    324:                        matches=data->searching->as_double() == value.as_double();
1.28      parser    325: 
                    326:                if(matches) {
1.82    ! paf       327:                        if(data->found)
        !           328:                                throw Exception("parser.runtime",
        !           329:                                        &method_name,
        !           330:                                        "duplicate found");
        !           331: 
1.38      parser    332:                        data->found=code;
1.28      parser    333:                        break;
                    334:                }
                    335:        }
                    336: }
                    337: 
1.63      paf       338: // cache--
                    339: 
                    340: // consts
                    341: 
1.79      paf       342: const int DATA_STRING_SERIALIZED_VERSION=0x0002;
1.63      paf       343: 
                    344: // helper types
                    345: 
                    346: #ifndef DOXYGEN
                    347: struct Data_string_serialized_prolog {
                    348:        int version;
1.79      paf       349:        time_t expires;
1.63      paf       350: };
                    351: #endif
                    352: 
1.68      paf       353: void cache_delete(const String& file_spec) {
                    354:        file_delete(file_spec, false/*fail_on_read_problem*/);
1.63      paf       355: }
1.69      paf       356: 
                    357: #ifndef DOXYGEN
1.79      paf       358: struct Cache_data {
                    359:        time_t expires;
                    360: };
1.69      paf       361: struct Locked_process_and_cache_put_action_info {
                    362:        Request *r;
1.79      paf       363:        Cache_data *data;
1.81      paf       364:        Value *body_code; const String *evaluated_body;
1.69      paf       365: };
                    366: #endif
                    367: static void locked_process_and_cache_put_action(int f, void *context) {
                    368:        Locked_process_and_cache_put_action_info& info=
                    369:                *static_cast<Locked_process_and_cache_put_action_info *>(context);
                    370:        
                    371:        // body->process 
1.81      paf       372:        info.evaluated_body=&info.r->process_to_string(*info.body_code);
1.69      paf       373: 
1.79      paf       374:        // expiration time not spoiled by ^cache(0) or something?
                    375:        if(info.data->expires > time(0)) {
                    376:                // string -serialize> buffer
                    377:                void *data; size_t data_size;
1.81      paf       378:                info.evaluated_body->serialize(
1.79      paf       379:                        sizeof(Data_string_serialized_prolog), 
                    380:                        data, data_size);
                    381:                Data_string_serialized_prolog& prolog=
                    382:                        *static_cast<Data_string_serialized_prolog *>(data);
                    383:                prolog.version=DATA_STRING_SERIALIZED_VERSION;
                    384:                prolog.expires=info.data->expires;
                    385:                
                    386:                // buffer -write> file
                    387:                write(f, data, data_size);
                    388:        } else // expired!
                    389:                info.data->expires=0; // flag it so that could be easily checked by caller
1.69      paf       390: }
1.81      paf       391: const String *locked_process_and_cache_put(Request& r, 
1.69      paf       392:                                                                        Value& body_code,
1.79      paf       393:                                                                        Cache_data& data,
1.69      paf       394:                                                                        const String& file_spec) {
                    395:        Locked_process_and_cache_put_action_info info={
                    396:                &r,
1.81      paf       397:                &data,
                    398:                &body_code
1.69      paf       399:        };
                    400: 
1.81      paf       401:        const String *result=file_write_action_under_lock(
1.69      paf       402:                file_spec, 
                    403:                "cache_put", locked_process_and_cache_put_action, &info,
                    404:                false/*as_text*/,
                    405:                false/*do_append*/,
1.81      paf       406:                false/*block*/) ? info.evaluated_body: 0;
1.79      paf       407:        if(data.expires==0)
                    408:                cache_delete(file_spec);
                    409:        return result;
1.63      paf       410: }
1.79      paf       411: String *cache_get(Pool& pool, const String& file_spec, time_t now) {
1.63      paf       412:        void* data; size_t data_size;
1.72      paf       413:        if(file_read(pool, file_spec, 
1.63      paf       414:                           data, data_size, 
                    415:                           false/*as_text*/, 
1.69      paf       416:                           false/*fail_on_read_problem*/)
1.72      paf       417:            && data_size/* ignore reads which are empty due to 
                    418:                        non-unary open+lockEX conflict with lockSH */) {
1.63      paf       419:        
1.72      paf       420:                Data_string_serialized_prolog& prolog=
                    421:                        *static_cast<Data_string_serialized_prolog *>(data);
1.63      paf       422: 
1.72      paf       423:                String *result=new(pool) String(pool);
                    424:                if(
                    425:                        data_size>=sizeof(Data_string_serialized_prolog)
                    426:                        && prolog.version==DATA_STRING_SERIALIZED_VERSION
1.79      paf       427:                        && prolog.expires > now
1.72      paf       428:                        && result->deserialize(
                    429:                                sizeof(Data_string_serialized_prolog),  data, data_size, file_spec.cstr()))
                    430:                        return result;
                    431:        }
1.63      paf       432: 
1.72      paf       433:        return 0;
1.63      paf       434: }
1.79      paf       435: static time_t as_expires(Request& r, const String& method_name, MethodParams *params, 
                    436:                                                int index, time_t now) {
                    437:        time_t result;
                    438:        Value& vlifespan_or_expires=params->get(index);
                    439:        if(strcmp(vlifespan_or_expires.type(), VDATE_TYPE)==0)
                    440:                result=static_cast<VDate&>(vlifespan_or_expires).get_time();
                    441:        else
                    442:                result=now+(time_t)params->as_double(index, "lifespan must be date or number", r);
                    443:        
                    444:        return result;
                    445: }
                    446: static const String as_file_spec(Request&r, MethodParams *params, int index) {
                    447:        return r.absolute(params->as_string(index, "filespec must be string"));
                    448: }
1.63      paf       449: static void _cache(Request& r, const String& method_name, MethodParams *params) {
                    450:        Pool& pool=r.pool();
1.79      paf       451:        time_t now=time(0);
                    452: 
                    453:        // ^cache[filename] ^cache(seconds) ^cache[expires date]
                    454:        if(params->size()==1) {
                    455:                if(params->get(0).is_string()) { // filename?
                    456:                        cache_delete(as_file_spec(r, params, 0));
                    457:                        return;
                    458:                }
                    459: 
                    460:                // secods|expires date
                    461:                Cache_data *data=static_cast<Cache_data *>(r.classes_conf.get(*cache_data_name));
                    462:                if(!data)
                    463:                        throw Exception("parser.runtime",
                    464:                                &method_name,
                    465:                                "expire-time reducing instruction without cache");
                    466:                
                    467:                time_t expires=as_expires(r, method_name, params, 0, now);
                    468:                if(expires < data->expires)
                    469:                        data->expires=expires;
                    470: 
                    471:                return;
                    472:        }
1.63      paf       473:        
                    474:        // file_spec, expires, body code
1.65      paf       475:        const String &file_spec=r.absolute(params->as_string(0, "filespec must be string"));
                    476: 
1.79      paf       477:        Cache_data data;
                    478:        Temp_hash_value cache_data_setter(r.classes_conf, *cache_data_name, &data);
                    479:        data.expires=as_expires(r, method_name, params, 1, now);
1.63      paf       480:        Value& body_code=params->as_junction(2, "body must be code");
                    481: 
1.79      paf       482:        if(data.expires>now) { // valid 'expires' specified? try cached copy...
1.69      paf       483:                // hence we don't hope to have unary create/lockEX
                    484:                // we need some plan to live in a life like that, so... 
                    485:                // worst races plan:
                    486:                // A        B
                    487:                // open
                    488:                //          |open
                    489:                // lockSH
                    490:                //          |nonblocking-lockEX fails
                    491:                // unlockSH
                    492:                // close, cache_get returns 0
                    493:                // open
                    494:                // nonblocking-lockEX succeeds; process, write, close
                    495:                //          |retry1: open
                    496:                // ...
                    497:                //          |lockSH succeeds; ...
                    498: 
                    499:                for(int retry=0; retry<2; retry++) {
1.79      paf       500:                        if(String *cached_body=cache_get(pool, file_spec, now)) { // have cached copy?
                    501:                                // write it out 
                    502:                                r.write_assign_lang(*cached_body);
                    503:                                // happy with it
                    504:                                return;
                    505:                        }
1.69      paf       506: 
                    507:                        // non-blocked lock; process; cache it
1.81      paf       508:                        if(const String*processed_body=
                    509:                                locked_process_and_cache_put(r, body_code, data, file_spec)) {
1.63      paf       510:                                // write it out 
1.69      paf       511:                                r.write_assign_lang(*processed_body);
1.63      paf       512:                                // happy with it
                    513:                                return;
1.69      paf       514:                        } else { // somebody writing result right now
                    515:                                pa_sleep(0, 500000); // waiting half a second
                    516:                                retry=0; // prolonging our wait, than could cache_get it, without processing body_code
1.63      paf       517:                        }
1.69      paf       518:                }
1.78      paf       519:                throw Exception(0,
1.69      paf       520:                        &file_spec,
                    521:                        "locking problem");
                    522:        } else { 
1.79      paf       523:                // instructed not to cache; forget cached copy
1.68      paf       524:                cache_delete(file_spec);
1.69      paf       525:                // process
1.81      paf       526:                const String& processed_body=r.process_to_string(body_code);
1.69      paf       527:                // write it out 
                    528:                r.write_assign_lang(processed_body);
                    529:                // happy with it
                    530:                return;
                    531:        }
                    532:        // never reached
1.63      paf       533: }
                    534: 
1.74      paf       535: // also used in pa_request.C to pass param to @unhandled_exception
                    536: VHash& exception2vhash(Pool& pool, const Exception& e) {
                    537:        VHash& result=*new(pool) VHash(pool);
                    538:        Hash& hash=result.hash(0);
1.78      paf       539:        if(const char *type=e.type())
                    540:                hash.put(*exception_type_part_name, new(pool) VString(*new(pool) String(pool, type)));
1.76      paf       541:        if(const String *asource=e.problem_source()) {
                    542:                String& source=*new(pool) String(pool); 
                    543:                source.append(*asource, String::UL_TAINTED, true/*forced*/);
                    544:                result.set_name(source);
1.74      paf       545: 
1.76      paf       546:                hash.put(*exception_source_part_name, new(pool) VString(source));
1.74      paf       547: #ifndef NO_STRING_ORIGIN
1.76      paf       548:                const Origin& origin=source.origin();
1.74      paf       549:                hash.put(*new(pool) String(pool, "file"),                               
                    550:                        new(pool) VString(*new(pool) String(pool, origin.file)));
                    551:                hash.put(*new(pool) String(pool, "lineno"),
                    552:                        new(pool) VInt(pool, 1+origin.line));
                    553: #endif
                    554:        }
                    555:        if(const char *ecomment=e.comment()) {
                    556:                int comment_size=strlen(ecomment);
                    557:                char *pcomment=(char *)pool.malloc(comment_size);
                    558:                memcpy(pcomment, ecomment, comment_size);
                    559:                hash.put(*exception_comment_part_name, 
1.76      paf       560:                        new(pool) VString(*new(pool) String(pool, pcomment, comment_size, true/*tainted*/)));
1.74      paf       561:        }
                    562:        hash.put(*exception_handled_part_name, 
                    563:                new(pool) VBool(pool, false));
                    564: 
                    565:        return result;
                    566: }
                    567: 
                    568: static void _try_operator(Request& r, const String& method_name, MethodParams *params) {
                    569:        Pool& pool=r.pool();
                    570: 
                    571:        Value& body_code=params->as_junction(0, "body_code must be code");
                    572:        Value& catch_code=params->as_junction(1, "catch_code must be code");
                    573: 
                    574:        Value *result;
                    575: 
                    576:        // taking snapshot of request processing status
1.77      paf       577:        //int ssexception_trace=r.exception_trace.top_index();
                    578:        int sstack=r.stack.top_index();
1.74      paf       579:        Value *sself=r.self, *sroot=r.root, *srcontext=r.rcontext;  
                    580:        WContext *swcontext=r.wcontext; 
                    581:        try {
1.81      paf       582:                result=&r.process_to_value(body_code);
1.74      paf       583:        } catch(const Exception& e) {
                    584:                // restoring request processing status
1.77      paf       585:                //r.exception_trace.top_index(ssexception_trace);
                    586:                r.stack.top_index(sstack);
1.74      paf       587:                r.self=sself; r.root=sroot, r.rcontext=srcontext; r.wcontext=swcontext;
1.77      paf       588:                
1.74      paf       589:                
                    590:                VHash& vhash=exception2vhash(pool, e);
                    591: 
                    592:                Junction *junction=catch_code.get_junction();
                    593:                Value *saved_exception_var_value=junction->root->get_element(*exception_var_name);
                    594:                junction->root->put_element(*exception_var_name, &vhash);
1.81      paf       595:                result=&r.process_to_value(catch_code);
1.74      paf       596:                bool handled=false;
                    597:                if(Value *value=static_cast<Value *>(vhash.hash(0).get(*exception_handled_part_name)))
                    598:                        handled=value->as_bool();               
                    599:                junction->root->put_element(*exception_var_name, saved_exception_var_value);
                    600: 
                    601:                if(!handled)
                    602:                        throw(e); // rethrow
                    603:        }
                    604:        // write it out 
                    605:        r.write_pass_lang(*result);
                    606: }
                    607: 
                    608: static void _throw_operator(Request& r, const String& method_name, MethodParams *params) {
                    609:        Pool& pool=r.pool();
                    610: 
                    611:        if(params->size()==1) {
                    612:                Value& param0=params->get(0);
                    613:                if(Hash *hash=param0.get_hash(&method_name)) {
1.78      paf       614:                        const char *type=0;
1.74      paf       615:                        if(Value *value=static_cast<Value *>(hash->get(*exception_type_part_name)))
1.78      paf       616:                                type=value->as_string().cstr();
1.74      paf       617:                        const String *source=0;
                    618:                        if(Value *value=static_cast<Value *>(hash->get(*exception_source_part_name)))
                    619:                                source=&value->as_string();
                    620:                        const char *comment=0;
                    621:                        if(Value *value=
                    622:                                static_cast<Value *>(hash->get(*exception_comment_part_name)))
                    623:                                comment=value->as_string().cstr();
                    624: 
1.78      paf       625:                        throw Exception(type,
1.74      paf       626:                                source?source:&method_name,
                    627:                                comment);
                    628:                } else
1.78      paf       629:                        throw Exception("parser.runtime",
1.74      paf       630:                                &method_name,
                    631:                                "one-param version has hash param");
                    632:        } else {
1.78      paf       633:                const char *type=params->as_string(0, "type must be string").cstr();
1.74      paf       634:                const String& source=params->as_string(1, "source must be string");
                    635:                const char *comment=params->as_string(2, "comment must be string").cstr();
1.78      paf       636:                throw Exception(type, &source, comment);
1.74      paf       637:        }
                    638: }
                    639:        
1.10      paf       640: // constructor
                    641: 
1.11      paf       642: MOP::MOP(Pool& apool) : Methoded(apool),
                    643:        main_sql_name(apool, MAIN_SQL_NAME),
                    644:        main_sql_drivers_name(apool, MAIN_SQL_DRIVERS_NAME)
                    645: {
1.10      paf       646:        set_name(*NEW String(pool(), OP_CLASS_NAME));
1.28      parser    647: 
1.1       paf       648:        // ^if(condition){code-when-true}
                    649:        // ^if(condition){code-when-true}{code-when-false}
1.10      paf       650:        add_native_method("if", Method::CT_ANY, _if, 2, 3);
1.1       paf       651: 
                    652:        // ^untaint[as-is|uri|sql|js|html|html-typo]{code}
1.59      paf       653:        add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2);
1.1       paf       654: 
                    655:        // ^taint[as-is|uri|sql|js|html|html-typo]{code}
1.10      paf       656:        add_native_method("taint", Method::CT_ANY, _taint, 1, 2);
1.1       paf       657: 
                    658:        // ^process[code]
1.10      paf       659:        add_native_method("process", Method::CT_ANY, _process, 1, 1);
1.1       paf       660: 
                    661:        // ^rem{code}
1.51      parser    662:        add_native_method("rem", Method::CT_ANY, _rem, 1, 10000);
1.1       paf       663: 
                    664:        // ^while(condition){code}
1.10      paf       665:        add_native_method("while", Method::CT_ANY, _while, 2, 2);
1.1       paf       666: 
                    667:        // ^use[file]
1.10      paf       668:        add_native_method("use", Method::CT_ANY, _use, 1, 1);
1.1       paf       669: 
1.54      paf       670:        // ^for[i](from-number;to-number-inclusive){code}[delim]
1.10      paf       671:        add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1);
1.1       paf       672: 
                    673:        // ^eval(expr)
                    674:        // ^eval(expr)[format]
1.10      paf       675:        add_native_method("eval", Method::CT_ANY, _eval, 1, 2);
1.52      parser    676: 
1.1       paf       677:        // ^connect[protocol://user:pass@host[:port]/database]{code with ^sql-s}
1.10      paf       678:        add_native_method("connect", Method::CT_ANY, _connect, 2, 2);
                    679: 
1.63      paf       680: 
1.65      paf       681:        // ^cache[file_spec] delete cache
1.63      paf       682:        // ^cache[file_spec](time){code} time=0 no cache
1.65      paf       683:        add_native_method("cache", Method::CT_ANY, _cache, 1, 3);
1.63      paf       684:        
1.28      parser    685:        // switch
                    686: 
                    687:        // ^switch[value]{cases}
                    688:        add_native_method("switch", Method::CT_ANY, _switch, 2, 2);
                    689: 
                    690:        // ^case[value]{code}
1.51      parser    691:        add_native_method("case", Method::CT_ANY, _case, 2, 10000);
1.74      paf       692: 
                    693:        // try-catch
                    694: 
                    695:        // ^try{code}{catch code}
                    696:        add_native_method("try", Method::CT_ANY, _try_operator, 2, 2);
                    697:        // ^throw[$exception hash]
                    698:        // ^throw[type;source;comment]
                    699:        add_native_method("throw", Method::CT_ANY, _throw_operator, 1, 3);
                    700: 
1.10      paf       701: }
1.11      paf       702: 
                    703: // constructor & configurator
1.1       paf       704: 
1.10      paf       705: Methoded *MOP_create(Pool& pool) {
1.35      parser    706:        return new(pool) MOP(pool);
1.11      paf       707: }
                    708: 
                    709: void MOP::configure_user(Request& r) {
                    710:        Pool& pool=r.pool();
                    711: 
                    712:        // $MAIN:SQL.drivers
                    713:        if(Value *sql=r.main_class->get_element(main_sql_name))
                    714:                if(Value *element=sql->get_element(main_sql_drivers_name))
                    715:                        if(Table *protocol2library=element->get_table())
                    716:                                r.classes_conf.put(name(), protocol2library);
1.1       paf       717: }

E-mail: