Annotation of parser3/src/main/pa_request.C, revision 1.363

1.54      paf         1: /** @file
1.55      paf         2:        Parser: request class main part. @see compile.C and execute.C.
                      3: 
1.351     moko        4:        Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com)
1.194     paf         5:        Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.218     paf         6: */
1.55      paf         7: 
1.69      paf         8: #include "pa_sapi.h"
1.53      paf         9: #include "pa_common.h"
1.1       paf        10: #include "pa_request.h"
1.3       paf        11: #include "pa_wwrapper.h"
                     12: #include "pa_vclass.h"
1.31      paf        13: #include "pa_globals.h"
1.30      paf        14: #include "pa_vint.h"
1.297     misha      15: #include "pa_vmethod_frame.h"
1.32      paf        16: #include "pa_types.h"
1.248     paf        17: #include "pa_venv.h"
                     18: #include "pa_vmath.h"
                     19: #include "pa_vstatus.h"
                     20: #include "pa_vrequest.h"
1.78      paf        21: #include "pa_vtable.h"
1.90      paf        22: #include "pa_vfile.h"
1.147     parser     23: #include "pa_dictionary.h"
1.208     paf        24: #include "pa_charset.h"
1.186     paf        25: #include "pa_charsets.h"
1.248     paf        26: #include "pa_cache_managers.h"
                     27: #include "pa_vmail.h"
                     28: #include "pa_vform.h"
                     29: #include "pa_vcookie.h"
                     30: #include "pa_vresponse.h"
                     31: #include "pa_vmemory.h"
1.253     paf        32: #include "pa_vconsole.h"
1.267     paf        33: #include "pa_vdate.h"
1.159     parser     34: 
1.363   ! moko       35: volatile const char * IDENT_PA_REQUEST_C="$Id: pa_request.C,v 1.362 2016/10/09 21:32:19 moko Exp $" IDENT_PA_REQUEST_H IDENT_PA_REQUEST_CHARSETS_H IDENT_PA_REQUEST_INFO_H IDENT_PA_VCONSOLE_H;
1.329     moko       36: 
1.248     paf        37: // consts
                     38: 
1.269     paf        39: #define UNHANDLED_EXCEPTION_METHOD_NAME "unhandled_exception"
1.207     paf        40: 
1.82      paf        41: /// content type of exception response, when no @MAIN:exception handler defined
1.248     paf        42: const char* UNHANDLED_EXCEPTION_CONTENT_TYPE="text/plain";
1.82      paf        43: 
                     44: /// content type of response when no $MAIN:defaults.content-type defined
1.248     paf        45: const char* DEFAULT_CONTENT_TYPE="text/html";
                     46: 
1.361     moko       47: const uint EXECUTE_RECOURSION_LIMIT=1000;
                     48: const uint LOOP_LIMIT=20000;
                     49: 
1.248     paf        50: // defines for globals
                     51: 
                     52: #define MAIN_METHOD_NAME "main"
                     53: #define AUTO_METHOD_NAME "auto"
1.309     misha      54: #define AUTOUSE_METHOD_NAME "autouse"
1.248     paf        55: #define EXCEPTION_TYPE_PART_NAME "type"
                     56: #define EXCEPTION_SOURCE_PART_NAME "source"
                     57: #define EXCEPTION_COMMENT_PART_NAME "comment"
                     58: 
                     59: // globals
                     60: 
                     61: const String main_method_name(MAIN_METHOD_NAME);
                     62: const String auto_method_name(AUTO_METHOD_NAME);
1.309     misha      63: const String autouse_method_name(AUTOUSE_METHOD_NAME);
1.311     misha      64: 
1.248     paf        65: const String exception_type_part_name(EXCEPTION_TYPE_PART_NAME);
                     66: const String exception_source_part_name(EXCEPTION_SOURCE_PART_NAME);
                     67: const String exception_comment_part_name(EXCEPTION_COMMENT_PART_NAME);
                     68: const String exception_handled_part_name(EXCEPTION_HANDLED_PART_NAME);
                     69: 
1.361     moko       70: int pa_execute_recoursion_limit=EXECUTE_RECOURSION_LIMIT;
                     71: int pa_loop_limit=LOOP_LIMIT;
                     72: 
1.248     paf        73: // defines for statics
                     74: 
                     75: #define CHARSETS_NAME "CHARSETS"
                     76: #define MIME_TYPES_NAME "MIME-TYPES"
1.330     moko       77: #define STRICT_VARS_NAME "STRICT-VARS"
1.357     moko       78: #define PROTOTYPE_NAME "OBJECT-PROTOTYPE"
1.362     moko       79: #define LIMITS_NAME "LIMITS"
                     80: #define RECOURSION_LIMIT_NAME "max_recoursion"
                     81: #define LOOP_LIMIT_NAME "max_loop"
1.248     paf        82: #define CONF_METHOD_NAME "conf"
                     83: #define POST_PROCESS_METHOD_NAME "postprocess"
                     84: #define CLASS_PATH_NAME "CLASS_PATH"
1.277     paf        85: #define RESPONSE_BODY_FILE_NAME "file"
1.248     paf        86: 
1.344     moko       87: #define DOWNLOAD_NAME_UPPER "DOWNLOAD"
                     88: #define BODY_NAME_UPPER "BODY"
                     89: 
1.248     paf        90: // statics
                     91: 
                     92: static const String charsets_name(CHARSETS_NAME);
                     93: static const String main_class_name(MAIN_CLASS_NAME);
                     94: static const String mime_types_name(MIME_TYPES_NAME);
1.330     moko       95: static const String strict_vars_name(STRICT_VARS_NAME);
1.357     moko       96: static const String prototype_name(PROTOTYPE_NAME);
1.362     moko       97: static const String limits_name(LIMITS_NAME);
1.361     moko       98: static const String recoursion_limit_name(RECOURSION_LIMIT_NAME);
                     99: static const String loop_limit_name(LOOP_LIMIT_NAME);
                    100: 
1.248     paf       101: static const String conf_method_name(CONF_METHOD_NAME);
                    102: static const String post_process_method_name(POST_PROCESS_METHOD_NAME);
                    103: static const String class_path_name(CLASS_PATH_NAME);
1.277     paf       104: static const String response_body_file_name(RESPONSE_BODY_FILE_NAME);
1.248     paf       105: 
1.344     moko      106: static const String download_name_upper(DOWNLOAD_NAME_UPPER);
                    107: static const String body_name_upper(BODY_NAME_UPPER);
                    108: 
                    109: // more static
                    110: 
                    111: static const String content_type_name_upper(HTTP_CONTENT_TYPE_UPPER);
                    112: static const String content_disposition_name_upper(CONTENT_DISPOSITION_UPPER);
                    113: static const String content_disposition_inline(CONTENT_DISPOSITION_INLINE);
                    114: static const String content_disposition_attachment(CONTENT_DISPOSITION_ATTACHMENT);
                    115: 
1.248     paf       116: // defines
1.82      paf       117: 
1.344     moko      118: #define CHARSET_NAME_UPPER "CHARSET"
                    119: #define LAST_MODIFIED_NAME_UPPER "LAST-MODIFIED"
                    120: 
1.233     paf       121: // op.C
1.248     paf       122: VStateless_class& VClassMAIN_create();
1.123     paf       123: 
1.157     parser    124: //
1.248     paf       125: Request::Request(SAPI_Info& asapi_info, Request_info& arequest_info, 
1.325     moko      126:                                 String::Language adefault_lang):
1.248     paf       127:        // private
                    128:        anti_endless_execute_recoursion(0),
                    129: 
                    130:        // public
1.335     moko      131:        allow_class_replace(false),
1.248     paf       132:        method_frame(0),
                    133:        rcontext(0),
                    134:        wcontext(0),
                    135:        flang(adefault_lang),
1.191     paf       136:        fconnection(0),
1.307     misha     137:        finterrupted(false),
                    138:        fskip(SKIP_NOTHING),
                    139:        fin_cycle(0),
1.248     paf       140: 
                    141:        // public
1.257     paf       142:        request_info(arequest_info),
1.248     paf       143:        sapi_info(asapi_info),
1.359     moko      144:        charsets(pa_UTF8_charset, pa_UTF8_charset, pa_UTF8_charset), // default charsets
1.248     paf       145: 
                    146:        main_class(VClassMAIN_create()),
1.260     paf       147:        form(*new VForm(charsets, arequest_info)),
1.248     paf       148:        mail(*new VMail),
                    149:        response(*new VResponse(arequest_info, charsets)),
1.298     misha     150:        cookie(*new VCookie(charsets, arequest_info)),
1.285     misha     151:        console(*new VConsole),
1.248     paf       152: 
                    153:        // private
                    154:        configure_admin_done(false),
                    155: 
                    156:        // private defaults
                    157:        fdefault_lang(adefault_lang), 
                    158:        // private mime types
                    159:        mime_types(0)
1.157     parser    160: {
1.261     paf       161:        pa_register_thread_request(*this);
                    162: 
1.248     paf       163:        // file_no=0 => unknown
1.347     moko      164:        file_list+="UNKNOWN";
                    165:        file_list+="-body of process-"; // pseudo_file_no__process
1.186     paf       166: 
1.178     paf       167:        // maybe expire old caches
1.264     paf       168:        cache_managers->maybe_expire();
1.178     paf       169:        
1.157     parser    170:        /// directly used
1.233     paf       171:        // MAIN class, operators
1.353     moko      172:        put_class(&main_class);
1.157     parser    173:        // classes:
                    174:        // table, file, random, mail, image, ...
1.248     paf       175:        methoded_array().register_directly_used(*this);
1.157     parser    176: 
                    177:        /// methodless
1.354     moko      178: 
1.157     parser    179:        // env class
1.353     moko      180:        put_class(new VEnv(asapi_info));
1.175     paf       181:        // status class
1.353     moko      182:        put_class(new VStatus());
1.157     parser    183:        // request class
1.353     moko      184:        put_class(new VRequest(arequest_info, charsets, form, asapi_info));
1.157     parser    185:        // cookie class
1.353     moko      186:        put_class(&cookie);
1.253     paf       187:        // console class
1.353     moko      188:        put_class(&console);
1.354     moko      189: 
1.157     parser    190:        /// methoded
1.354     moko      191: 
1.157     parser    192:        // response class
1.353     moko      193:        put_class(&response);
1.157     parser    194:        // form class
1.353     moko      195:        put_class(&form);
1.213     paf       196:        // mail class
1.353     moko      197:        put_class(&mail);
1.157     parser    198:        // math class
1.353     moko      199:        put_class(new VMath);
1.248     paf       200:        // memory class
1.353     moko      201:        put_class(new VMemory);
1.117     paf       202: }
1.192     paf       203: 
                    204: Request::~Request() {
                    205: #ifdef XML
                    206:        // if for some strange reason xml generic errors failed to be reported, free them up
1.248     paf       207:        if(const char* xml_generic_errors=xmlGenericErrors()) {
                    208:                SAPI::log(sapi_info, "warning: unreported xmlGenericErrors: %s", xml_generic_errors);
1.341     moko      209:                pa_free((void *)xml_generic_errors);
1.192     paf       210:        }
                    211: #endif
                    212: }
1.236     paf       213: 
1.248     paf       214: Value& Request::get_self() { return method_frame/*always have!*/->self(); }
1.192     paf       215: 
1.355     moko      216: VStateless_class* Request::get_class(const String& name){
                    217:        VStateless_class* result=classes().get(name);
1.313     misha     218:        if(!result)
1.309     misha     219:                if(Value* value=main_class.get_element(autouse_method_name))
                    220:                        if(Junction* junction=value->get_junction())
                    221:                                if(const Method *method=junction->method) {
                    222:                                        Value *vname=new VString(name);
1.363   ! moko      223:                                        CONSTRUCTOR_FRAME_ACTION(*method, 0 /*no parent*/, main_class, {
        !           224:                                                frame.store_params(&vname, 1);
        !           225:                                                // we don't need the result
        !           226:                                                call(frame);
        !           227:                                        });
1.309     misha     228:                                        result=classes().get(name);
                    229:                                }
                    230:        return result;
                    231: }
                    232: 
1.356     moko      233: static void load_charset(HashStringValue::key_type akey, HashStringValue::value_type avalue, Request_charsets* charsets) {
1.359     moko      234:        pa_charsets.load_charset(*charsets, akey, avalue->as_string());
1.208     paf       235: }
1.356     moko      236: 
1.248     paf       237: void Request::configure_admin(VStateless_class& conf_class) {
1.208     paf       238:        if(configure_admin_done)
1.356     moko      239:                throw Exception(PARSER_RUNTIME, 0, "parser already configured");
1.208     paf       240:        configure_admin_done=true;
                    241:        
1.227     paf       242:        // charsets must only be specified in method_frame config
1.208     paf       243:        // so that users would not interfere
                    244: 
                    245:        /* $MAIN:CHARSETS[
                    246:                        $.charsetname1[/full/path/to/charset/file.cfg]
                    247:                        ...
                    248:                ]
                    249:        */
1.308     misha     250:        if(Value* vcharsets=conf_class.get_element(charsets_name)) {
1.342     moko      251:                if(!vcharsets->is_string()) {
1.248     paf       252:                        if(HashStringValue* charsets=vcharsets->get_hash())
1.281     paf       253:                                charsets->for_each<Request_charsets*>(load_charset, &this->charsets);
1.240     paf       254:                        else
1.356     moko      255:                                throw Exception(PARSER_RUNTIME, 0, "$" MAIN_CLASS_NAME ":" CHARSETS_NAME " must be hash");
1.342     moko      256:                }
1.208     paf       257:        }
                    258: 
1.330     moko      259: #ifdef STRICT_VARS
1.332     moko      260:        VVoid::strict_vars=false;
1.330     moko      261:        if(Value* strict_vars=conf_class.get_element(strict_vars_name)) {
                    262:                if(strict_vars->is_bool())
                    263:                        VVoid::strict_vars=strict_vars->as_bool();
1.357     moko      264:                else
                    265:                        throw Exception(PARSER_RUNTIME, 0, "$" MAIN_CLASS_NAME ":" STRICT_VARS_NAME " must be bool");
                    266:        }
                    267: #endif
                    268: 
                    269: #ifdef OBJECT_PROTOTYPE
                    270:        VClass::prototype=true;
                    271:        if(Value* prototype=conf_class.get_element(prototype_name)) {
                    272:                if(prototype->is_bool())
                    273:                        VClass::prototype=prototype->as_bool();
                    274:                else
                    275:                        throw Exception(PARSER_RUNTIME, 0, "$" MAIN_CLASS_NAME ":" PROTOTYPE_NAME " must be bool");
1.330     moko      276:        }
                    277: #endif
                    278: 
1.362     moko      279:        Value* limits=conf_class.get_element(limits_name);
                    280: 
1.361     moko      281:        pa_loop_limit=LOOP_LIMIT;
1.362     moko      282:        if(limits)
                    283:                if(Value* loop_limit=limits->get_element(loop_limit_name)) {
                    284:                        if(loop_limit->is_evaluated_expr()) {
                    285:                                pa_loop_limit=loop_limit->as_int();
                    286:                                if(pa_loop_limit==0) pa_loop_limit=INT_MAX;
                    287:                        } else
                    288:                                throw Exception(PARSER_RUNTIME, 0, "$" MAIN_CLASS_NAME ":" LOOP_LIMIT_NAME " must be int");
                    289:                }
1.361     moko      290: 
                    291:        pa_execute_recoursion_limit=EXECUTE_RECOURSION_LIMIT;
1.362     moko      292:        if(limits)
                    293:                if(Value* recoursion_limit=limits->get_element(recoursion_limit_name)) {
                    294:                        if(recoursion_limit->is_evaluated_expr()) {
                    295:                                pa_execute_recoursion_limit=recoursion_limit->as_int();
                    296:                                if(pa_execute_recoursion_limit==0) pa_execute_recoursion_limit=INT_MAX;
                    297:                        } else
                    298:                                throw Exception(PARSER_RUNTIME, 0, "$" MAIN_CLASS_NAME ":" RECOURSION_LIMIT_NAME " must be int");
                    299:                }
1.361     moko      300: 
1.227     paf       301:        // configure method_frame options
1.208     paf       302:        //      until someone with less privileges have overriden them
1.248     paf       303:        methoded_array().configure_admin(*this);
1.208     paf       304: }
1.150     parser    305: 
1.349     moko      306: const char* Request::get_exception_cstr(const Exception& e, Request::Exception_details& details) {
                    307: 
1.269     paf       308: #define PA_URI_FORMAT "%s: "
1.349     moko      309: #define PA_COMMENT_TYPE_FORMAT "%s [%s]"
                    310: 
1.269     paf       311: #define PA_ORIGIN_FILE_POS_FORMAT "%s(%d:%d): "
                    312: #define PA_SOURCE_FORMAT "'%s' "
1.349     moko      313: 
                    314: #define PA_ORIGIN_FILE_POS_VALUE file_list[details.origin.file_no].cstr(), 1+details.origin.line, 1+details.origin.col,
                    315: #define PA_SOURCE_VALUE details.problem_source->cstr(),
                    316: 
                    317: #define EXCEPTION_CSTR(f1,v1,f2,v2) \
                    318:                        snprintf(result, MAX_STRING, \
                    319:                                PA_URI_FORMAT \
                    320:                                f1 f2 \
                    321:                                PA_COMMENT_TYPE_FORMAT, \
                    322:                                request_info.uri, \
                    323:                                v1 v2 \
                    324:                                e.comment(), e.type() \
                    325:                        );
                    326: 
1.269     paf       327:        char* result=new(PointerFreeGC) char[MAX_STRING];
                    328: 
                    329:        if(details.problem_source) { // do we know the guy?
1.349     moko      330:                if(details.origin.file_no) // do whe know where he came from?
                    331:                        EXCEPTION_CSTR(PA_ORIGIN_FILE_POS_FORMAT, PA_ORIGIN_FILE_POS_VALUE, PA_SOURCE_FORMAT, PA_SOURCE_VALUE)
                    332:                else
                    333:                        EXCEPTION_CSTR(PA_SOURCE_FORMAT, PA_SOURCE_VALUE,,)
                    334:        } else {
                    335:                if(details.origin.file_no) // do whe know where he came from?
                    336:                        EXCEPTION_CSTR(PA_ORIGIN_FILE_POS_FORMAT, PA_ORIGIN_FILE_POS_VALUE,,)
                    337:                else
                    338:                        EXCEPTION_CSTR(,,,)
                    339:        }
1.269     paf       340: 
                    341:        return result;
                    342: }
1.272     paf       343: 
                    344: void Request::configure() {
                    345:        // configure admin options if not configured yet
                    346:        if(!configure_admin_done)
                    347:                configure_admin(main_class);
                    348: 
                    349:        // configure not-admin=user options
                    350:        methoded_array().configure_user(*this);
                    351: 
                    352:        // $MAIN:MIME-TYPES
1.308     misha     353:        if(Value* element=main_class.get_element(mime_types_name))
1.272     paf       354:                if(Table *table=element->get_table())
                    355:                        mime_types=table;                       
                    356: }
1.64      paf       357: /**
                    358:        load MAIN class, execute @main.
                    359:        MAIN class consists of all the auto.p files we'd manage to find
                    360:        plus
                    361:        the file user requested us to process
                    362:        all located classes become children of one another,
                    363:        composing class we name 'MAIN'
1.180     paf       364: 
                    365:        @test log stack trace
                    366: 
1.64      paf       367: */
1.248     paf       368: void Request::core(const char* config_filespec, bool config_fail_on_read_problem, bool header_only) {
1.169     parser    369:        try {
1.211     paf       370:                // loading config
                    371:                if(config_filespec) {
1.248     paf       372:                        const String& filespec=*new String(config_filespec);
1.318     misha     373:                        use_file_directly(main_class,
                    374:                                filespec,
1.248     paf       375:                                config_fail_on_read_problem, 
                    376:                                true /*file must exist if 'fail on read problem' not set*/);
1.29      paf       377:                }
1.8       paf       378: 
1.338     moko      379:                // filling mail received
                    380:                mail.fill_received(*this);
                    381: 
1.72      paf       382:                // loading auto.p files from document_root/.. 
                    383:                // to the one beside requested file.
                    384:                // all assigned bases from upper dir
                    385:                {
1.248     paf       386:                        const char* after=request_info.path_translated;
                    387:                        size_t drlen=strlen(request_info.document_root);
                    388:                        if(memcmp(after, request_info.document_root, drlen)==0) {
1.115     paf       389:                                after+=drlen;
                    390:                                if(after[-1]=='/') 
                    391:                                        --after;
                    392:                        }
                    393:                        
1.248     paf       394:                        while(const char* before=strchr(after, '/')) {
                    395:                                String& sfile_spec=*new String;
                    396:                                if(after!=request_info.path_translated) {
                    397:                                        sfile_spec.append_strdup(
                    398:                                                request_info.path_translated, before-request_info.path_translated,
                    399:                                                String::L_CLEAN);
1.152     parser    400:                                        sfile_spec << "/" AUTO_FILE_NAME;
                    401: 
1.318     misha     402:                                        use_file_directly(main_class,
1.248     paf       403:                                                sfile_spec, 
                    404:                                                true /*fail on read problem*/, 
                    405:                                                false /*but ignore absence, sole user*/);
1.115     paf       406:                                }
1.317     misha     407:                                for(after=before+1;*after=='/';after++);
1.72      paf       408:                        }
                    409:                }
1.34      paf       410: 
1.272     paf       411:                try {
                    412:                        // compile requested file
                    413:                        String& spath_translated=*new String;
                    414:                        spath_translated.append_help_length(request_info.path_translated, 0, String::L_TAINTED);
1.318     misha     415:                        use_file_directly(main_class, spath_translated);
1.272     paf       416: 
                    417:                        configure();
                    418:                } catch(...) {
                    419:                        configure(); // configure anyway, useful in @unhandled_exception [say, if they would want to mail by SMTP something]
                    420:                        rethrow;
                    421:                }
1.25      paf       422: 
                    423:                // execute @main[]
1.248     paf       424:                const String* body_string=execute_virtual_method(main_class, main_method_name);
1.41      paf       425:                if(!body_string)
1.286     misha     426:                        throw Exception(PARSER_RUNTIME,
1.248     paf       427:                                0,
1.340     moko      428:                                "'" MAIN_METHOD_NAME "' method not found");
1.79      paf       429: 
1.250     paf       430:                // extract response body
1.344     moko      431:                Value* body_value=response.fields().get(download_name_upper); // $response:download?
1.250     paf       432:                bool as_attachment=body_value!=0;
                    433:                if(!body_value)
1.344     moko      434:                        body_value=response.fields().get(body_name_upper); // $response:body
1.250     paf       435:                if(!body_value)
                    436:                        body_value=new VString(*body_string); // just result of ^main[]
                    437: 
1.119     paf       438:                // @postprocess
1.308     misha     439:                if(Value* value=main_class.get_element(post_process_method_name))
1.248     paf       440:                        if(Junction* junction=value->get_junction())
1.91      paf       441:                                if(const Method *method=junction->method) {
                    442:                                        // preparing to pass parameters to 
1.119     paf       443:                                        //      @postprocess[data]
1.363   ! moko      444:                                        METHOD_FRAME_ACTION(*method, 0 /*no parent*/, main_class, {
        !           445:                                                frame.store_params(&body_value, 1);
        !           446:                                                call(frame);
        !           447:                                                body_value=&frame.result();
        !           448:                                        });
1.91      paf       449:                                }
1.90      paf       450: 
1.303     misha     451:                VFile* body_file=body_value->as_vfile(flang, &charsets);
1.41      paf       452: 
1.45      paf       453:                // OK. write out the result
1.248     paf       454:                output_result(body_file, header_only, as_attachment);
1.183     paf       455: 
1.171     parser    456:        } catch(const Exception& e) { // request handling problem
1.268     paf       457:                try {
1.76      paf       458:                // we're returning not result, but error explanation
1.269     paf       459: 
                    460:                Request::Exception_details details=get_details(e);
                    461:                const char* exception_cstr=get_exception_cstr(e, details);
1.258     paf       462: 
                    463:                // reset language to default
                    464:                flang=fdefault_lang;
                    465:                
                    466:                // reset response
                    467:                response.fields().clear();
                    468: 
                    469:                // this is what we'd return in $response:body
                    470:                const String* body_string=0;
                    471: 
                    472:                // maybe we'd be lucky enough as to report an error
                    473:                // in a gracefull way...
1.308     misha     474:                if(Value* value=main_class.get_element(*new String(UNHANDLED_EXCEPTION_METHOD_NAME))) {
1.258     paf       475:                        if(Junction* junction=value->get_junction()) {
                    476:                                if(const Method *method=junction->method) {
1.287     misha     477:                                        // preparing to pass parameters to 
                    478:                                        //      @unhandled_exception[exception;stack]
                    479: 
                    480:                                        // $stack[^table::create{name   file    lineno  colno}]
                    481:                                        Table::columns_type stack_trace_columns(new ArrayString);
                    482:                                        *stack_trace_columns+=new String("name");
                    483:                                        *stack_trace_columns+=new String("file");
                    484:                                        *stack_trace_columns+=new String("lineno");
                    485:                                        *stack_trace_columns+=new String("colno");
                    486:                                        Table& stack_trace=*new Table(stack_trace_columns);
                    487:                                        if(!exception_trace.is_empty()/*signed!*/) 
                    488:                                                for(size_t i=exception_trace.bottom_index(); i<exception_trace.top_index(); i++) {
                    489:                                                        Trace trace=exception_trace.get(i);
                    490:                                                        Table::element_type row(new ArrayString);
                    491: 
                    492:                                                        *row+=trace.name(); // name column
                    493:                                                        Operation::Origin origin=trace.origin();
                    494:                                                        if(origin.file_no) {
                    495:                                                                *row+=new String(file_list[origin.file_no], String::L_TAINTED); // 'file' column
                    496:                                                                *row+=new String(String::Body::Format(1+origin.line), String::L_CLEAN); // 'lineno' column
                    497:                                                                *row+=new String(String::Body::Format(1+origin.col), String::L_CLEAN); // 'colno' column
                    498:                                                        }
                    499:                                                        stack_trace+=row;
                    500:                                                }
                    501: 
1.323     moko      502:                                        // future $response:body=
                    503:                                        //   execute ^unhandled_exception[exception;stack]
                    504:                                        exception_trace.clear(); // forget all about previous life, in case there would be error inside of this method, error handled  would not be mislead by old stack contents (see extract_origin)
                    505: 
1.300     misha     506:                                        Value *params[]={&details.vhash, new VTable(&stack_trace)};
1.363   ! moko      507:                                        METHOD_FRAME_ACTION(*method, 0 /*no caller*/, main_class, {
        !           508:                                                frame.store_params(params, 2);
        !           509:                                                call(frame);
        !           510:                                                body_string=&frame.result().as_string();
        !           511:                                        });
1.233     paf       512:                                }
1.30      paf       513:                        }
1.258     paf       514:                }
                    515:                
                    516:                if(!body_string) {  // couldn't report an error beautifully?
                    517:                        // doing that ugly
                    518: 
                    519:                        // future $response:content-type
1.344     moko      520:                        response.fields().put(content_type_name_upper, new VString(*new String(UNHANDLED_EXCEPTION_CONTENT_TYPE)));
1.258     paf       521:                        // future $response:body
1.269     paf       522:                        body_string=new String(exception_cstr);
1.258     paf       523:                }
1.41      paf       524: 
1.258     paf       525:                VString body_vstring(*body_string);
1.303     misha     526:                VFile* body_file=body_vstring.as_vfile(flang, &charsets);
1.90      paf       527: 
1.273     paf       528:                // conditionally log it
                    529:                Value* vhandled=details.vhash.hash().get(exception_handled_part_name);
                    530:                if(!vhandled || !vhandled->as_bool()) {
                    531:                        SAPI::log(sapi_info, "%s", exception_cstr);
                    532:                }
                    533: 
1.258     paf       534:                // ERROR. write it out
                    535:                output_result(body_file, header_only, false);
1.287     misha     536: 
1.273     paf       537:                } catch(const Exception& e) { // exception in unhandled exception
1.269     paf       538:                        Request::Exception_details details=get_details(e);
                    539:                        const char* exception_cstr=get_exception_cstr(e, details);
1.273     paf       540:                        // unconditionally log the beast
                    541:                        SAPI::log(sapi_info, "%s", exception_cstr);
1.269     paf       542: 
                    543:                        throw Exception(0,
                    544:                                0,
                    545:                                "in %s", 
                    546:                                        exception_cstr);
1.268     paf       547:                }
1.1       paf       548:        }
                    549: }
                    550: 
1.266     paf       551: uint Request::register_file(String::Body file_spec) {
1.248     paf       552:        file_list+=file_spec;
                    553:        return file_list.count()-1;
                    554: }
                    555: 
1.318     misha     556: void Request::use_file_directly(VStateless_class& aclass,
                    557:                                const String& file_spec,
                    558:                                bool fail_on_read_problem, 
                    559:                                bool fail_on_file_absence) {
                    560: 
1.73      paf       561:        // cyclic dependence check
1.318     misha     562:        if(used_files.get(file_spec))
1.248     paf       563:                return;
1.318     misha     564:        used_files.put(file_spec, true);
                    565: 
                    566:        if(fail_on_read_problem && !fail_on_file_absence) // ignore file absence if asked for
                    567:                if(!entry_exists(file_spec))
                    568:                        return;
                    569: 
                    570:        if(const char* source=file_read_text(charsets, file_spec, fail_on_read_problem))
                    571:                use_buf(aclass, source, 0, register_file(file_spec));
                    572: }
                    573: 
                    574: 
1.349     moko      575: void Request::use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec/*absolute*/) {
1.73      paf       576: 
1.326     misha     577:        if(file_name.is_empty())
                    578:                throw Exception(PARSER_RUNTIME,
                    579:                        0,
                    580:                        "usage failed - no filename was specified");
                    581: 
1.318     misha     582:        const String* filespec=0;
                    583: 
                    584:        if(file_name.first_char()=='/') //absolute path? [no need to scan MAIN:CLASS_PATH]
                    585:                filespec=&absolute(file_name);
                    586:        else if(use_filespec){ // search in current dir first
1.331     misha     587:                size_t last_slash_pos=use_filespec->strrpbrk("/");
                    588:                if(last_slash_pos!=STRING_NOT_FOUND)
                    589:                        filespec=file_exist(use_filespec->mid(0, last_slash_pos), file_name); // found in current dir?
1.318     misha     590:        }
                    591: 
                    592:        if(!filespec){
                    593:                // prevent multiple scan CLASS_PATH for searching one file
                    594:                if(searched_along_class_path.get(file_name))
                    595:                        return;
                    596:                searched_along_class_path.put(file_name, true);
1.308     misha     597:                if(Value* element=main_class.get_element(class_path_name)) {
1.233     paf       598:                        if(element->is_string()) {
1.318     misha     599:                                filespec=file_exist(absolute(element->as_string()), file_name); // found at class_path?
1.233     paf       600:                        } else if(Table *table=element->get_table()) {
1.318     misha     601:                                for(size_t i=table->count(); i--; ) {
1.248     paf       602:                                        const String& path=*(*table->get(i))[0];
1.318     misha     603:                                        if(filespec=file_exist(absolute(path), file_name))
1.233     paf       604:                                                break; // found along class_path
                    605:                                }
                    606:                        } else
1.286     misha     607:                                throw Exception(PARSER_RUNTIME,
1.233     paf       608:                                        0,
                    609:                                        "$" CLASS_PATH_NAME " must be string or table");
1.318     misha     610:                        if(!filespec)
1.286     misha     611:                                throw Exception(PARSER_RUNTIME,
1.233     paf       612:                                        &file_name,
                    613:                                        "not found along " MAIN_CLASS_NAME ":" CLASS_PATH_NAME);
1.318     misha     614:                } else 
1.286     misha     615:                        throw Exception(PARSER_RUNTIME,
1.153     parser    616:                                &file_name,
1.203     paf       617:                                "usage failed - no $" MAIN_CLASS_NAME  ":" CLASS_PATH_NAME " were specified");
1.148     parser    618:        }
1.230     paf       619: 
1.318     misha     620:        use_file_directly(aclass, *filespec);
1.16      paf       621: }
                    622: 
1.349     moko      623: void Request::use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec/*absolute*/, Operation::Origin origin) {
                    624:        static String use("USE");
                    625:        try {
                    626:                use_file(aclass, file_name, use_filespec);
                    627:        } catch (...) {
                    628:                exception_trace.push(Trace(&use, origin));
                    629:                rethrow;
                    630:        }
                    631: }
1.208     paf       632: 
1.358     moko      633: void Request::use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset) {
                    634:        // temporary zero @conf to avoid it second execution
1.248     paf       635:        Temp_method temp_method_conf(aclass, conf_method_name, 0);
1.358     moko      636:        // temporary zero @auto to avoid it second execution
1.248     paf       637:        Temp_method temp_method_auto(aclass, auto_method_name, 0);
1.233     paf       638: 
1.295     misha     639:        // compile loaded classes
                    640:        ArrayClass& cclasses=compile(&aclass, source, main_alias, file_no, line_no_offset);
1.212     paf       641: 
1.248     paf       642:        VString* vfilespec=
                    643:                new VString(*new String(file_list[file_no], String::L_TAINTED));
1.295     misha     644: 
                    645:        for(size_t i=0; i<cclasses.count(); i++){
                    646:                VStateless_class& cclass=*cclasses.get(i);
1.296     misha     647: 
                    648:                // locate and execute possible @conf[] static
1.358     moko      649:                Execute_nonvirtual_method_result executed=execute_nonvirtual_method(cclass, conf_method_name, vfilespec, false/*no string result needed*/);
1.295     misha     650:                if(executed.method)
                    651:                        configure_admin(cclass/*, executed.method->name*/);
                    652: 
                    653:                // locate and execute possible @auto[] static
1.358     moko      654:                execute_nonvirtual_method(cclass, auto_method_name, vfilespec, false/*no result needed*/);
1.336     moko      655: 
                    656:                cclass.enable_default_setter();
1.295     misha     657:        }
1.19      paf       658: }
                    659: 
1.248     paf       660: const String& Request::relative(const char* apath, const String& relative_name) {
1.341     moko      661:        char *hpath=pa_strdup(apath);
1.248     paf       662:        String& result=*new String;
                    663:        if(rsplit(hpath, '/')) // if something/splitted
1.217     paf       664:                result << hpath << "/";
1.248     paf       665:        result << relative_name;
                    666:        return result;
1.19      paf       667: }
                    668: 
1.77      paf       669: const String& Request::absolute(const String& relative_name) {
1.217     paf       670:        if(relative_name.first_char()=='/') {
1.341     moko      671:                String& result=*new String(pa_strdup(request_info.document_root));
1.104     paf       672:                result << relative_name;
1.19      paf       673:                return result;
                    674:        } else 
1.248     paf       675:                if(relative_name.pos("://")!=STRING_NOT_FOUND // something like "http://xxx"
1.247     paf       676: #ifdef WIN32
                    677:                        || relative_name.pos(":")==1  // DRIVE:
                    678:                        || relative_name.starts_with("\\\\") // UNC1
                    679:                        || relative_name.starts_with("//") // UNC2
                    680: #endif
                    681:                        )
                    682:                        return relative_name;
                    683:                else
1.248     paf       684:                        return relative(request_info.path_translated, relative_name);
1.1       paf       685: }
1.45      paf       686: 
1.267     paf       687: #ifndef DOXYGEN
                    688: class Add_header_attribute_info
                    689: {
                    690: public:
                    691:        Add_header_attribute_info(Request& ar) : r(ar), add_last_modified(true) {}
                    692:        Request& r;
                    693:        bool add_last_modified;
                    694: };
                    695: #endif
1.344     moko      696: static void add_header_attribute(HashStringValue::key_type name, HashStringValue::value_type value, Add_header_attribute_info* info) {
                    697:        if(name==BODY_NAME_UPPER || name==DOWNLOAD_NAME_UPPER || name==CHARSET_NAME_UPPER)
1.101     paf       698:                return;
1.290     misha     699:        
1.345     moko      700:        if(name==LAST_MODIFIED_NAME_UPPER)
                    701:                info->add_last_modified=false;
                    702: 
1.316     misha     703:        const char* aname=String(name, String::L_URI).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets);
1.101     paf       704: 
1.267     paf       705:        SAPI::add_header_attribute(info->r.sapi_info,
1.345     moko      706:                        aname,
1.316     misha     707:                        attributed_meaning_to_string(*value, String::L_URI, false).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets)
1.303     misha     708:                );
1.267     paf       709: }
                    710: 
                    711: static void output_sole_piece(Request& r,
                    712:                                                          bool header_only, 
                    713:                                                          VFile& body_file,
                    714:                                                          Value* body_file_content_type) {
                    715:        // transcode text body when "text/*" or simple result
                    716:        String::C output(body_file.value_ptr(), body_file.value_size());
                    717:        if(!body_file_content_type/*vstring.as_vfile*/ || body_file_content_type->as_string().pos("text/")==0)
                    718:                output=Charset::transcode(output, 
                    719:                        r.charsets.source(), 
                    720:                        r.charsets.client());
                    721: 
1.311     misha     722:        // prepare header: Content-Length
                    723:        SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, format(output.length, "%u"));
1.267     paf       724: 
                    725:        // send header
                    726:        SAPI::send_header(r.sapi_info);
                    727:        
                    728:        // send body
                    729:        if(!header_only)
                    730:                SAPI::send_body(r.sapi_info, output.str, output.length);
                    731: }
                    732: 
                    733: #ifndef DOXYGEN
                    734: struct Range
                    735: {
                    736:        size_t start;
                    737:        size_t end;
                    738: };
                    739: #endif
1.313     misha     740: static void parse_range(const String* s, Array<Range> &ar) {
1.267     paf       741:        const char *p = s->cstr();
                    742:        if(s->starts_with("bytes="))
                    743:                p += 6;
                    744:        Range r;
                    745:        while(*p){
                    746:                r.start = (size_t)-1;
                    747:                r.end = (size_t)-1;
                    748:                if(*p >= '0' && *p <= '9'){
                    749:                        r.start = atol(p);
                    750:                        while(*p>='0' && *p<='9') ++p;
                    751:                }
                    752:                if(*p++ != '-') break;
                    753:                if(*p >= '0' && *p <= '9'){
                    754:                        r.end = atol(p);
                    755:                        while(*p>='0' && *p<='9') ++p;
                    756:                }
                    757:                if(*p == ',') ++p;
                    758:                ar += r;
                    759:        }
1.101     paf       760: }
1.267     paf       761: 
                    762: static void output_pieces(Request& r,
                    763:                                                  bool header_only, 
                    764:                                                  const String& filename,
                    765:                                                  size_t content_length,
                    766:                                                  Value& date,
                    767:                                                  bool add_last_modified) 
                    768: {
1.315     misha     769:        SAPI::add_header_attribute(r.sapi_info, "accept-ranges", "bytes");
1.270     paf       770: 
1.267     paf       771:        const size_t BUFSIZE = 10*0x400;
                    772:        char buf[BUFSIZE];
1.339     moko      773:        const char *range = SAPI::Env::get(r.sapi_info, "HTTP_RANGE");
1.267     paf       774:        size_t offset=0;
                    775:        size_t part_length=content_length;
                    776:        if(range){
                    777:                Array<Range> ar;
                    778:                parse_range(new String(range), ar);
                    779:                size_t count = ar.count();
                    780:                if(count == 1){
                    781:                        Range &rg = ar.get_ref(0);
                    782:                        if(rg.start == (size_t)-1 && rg.end == (size_t)-1){
1.311     misha     783:                                SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "416 Requested Range Not Satisfiable");
1.267     paf       784:                                return;
                    785:                        }
                    786:                        if(rg.start == (size_t)-1 && rg.end != (size_t)-1){
                    787:                                rg.start = content_length - rg.end;
                    788:                                rg.end = content_length;
                    789:                                offset += rg.start;
                    790:                                part_length = rg.end-rg.start;
                    791:                        }else if(rg.start != (size_t)-1 && rg.end == (size_t)-1){
                    792:                                rg.end = content_length-1;
                    793:                                offset += rg.start;
                    794:                                part_length -= rg.start;
                    795:                        }
                    796:                        if(part_length == 0){
1.311     misha     797:                                SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "204 No Content");
1.267     paf       798:                                return;
                    799:                        }
1.311     misha     800:                        SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "206 Partial Content");
1.267     paf       801:                        snprintf(buf, BUFSIZE, "bytes %u-%u/%u", rg.start, rg.end, content_length);
1.315     misha     802:                        SAPI::add_header_attribute(r.sapi_info, "content-range", buf);
1.267     paf       803:                }else if(count != 0){
1.311     misha     804:                        SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "501 Not Implemented");
1.267     paf       805:                        return;
                    806:                }
                    807:        }
                    808: 
                    809: 
1.311     misha     810:        SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, format(part_length, "%u"));
1.267     paf       811: 
1.314     misha     812:        if(add_last_modified)
1.315     misha     813:                SAPI::add_header_attribute(r.sapi_info, "last-modified", attributed_meaning_to_string(date, String::L_AS_IS, true).cstr());
1.314     misha     814: 
1.267     paf       815:        SAPI::send_header(r.sapi_info);
                    816: 
                    817:        const String& filespec=r.absolute(filename);
                    818: 
                    819:        size_t sent = 0;
                    820:        if(!header_only){
                    821:                size_t to_read = 0;
                    822:                size_t size = 0;
                    823:                do{
                    824:                        to_read = part_length<BUFSIZE?part_length:BUFSIZE;
                    825:                        File_read_result read_result=file_read(r.charsets, filespec, 
                    826:                                false /*as text*/,  0/*params*/, true/*fail on problem*/,
                    827:                                buf, offset, to_read);
                    828:                        to_read=read_result.length;
                    829:                        if(to_read == 0)
                    830:                                break;
                    831:                        offset += to_read;
                    832: 
                    833:                        size = SAPI::send_body(r.sapi_info, read_result.str, to_read);
                    834:                        sent += size;
                    835:                        if(size != to_read)
                    836:                                break;
                    837:                        part_length -= to_read;
                    838:                }while(part_length);
                    839:        }
                    840: }
                    841: 
1.248     paf       842: void Request::output_result(VFile* body_file, bool header_only, bool as_attachment) {
1.51      paf       843:        // header: cookies
1.248     paf       844:        cookie.output_result(sapi_info);
1.51      paf       845:        
1.314     misha     846:        // _file_ content-type might be specified
1.267     paf       847:        Value* body_file_content_type=body_file->fields().get(content_type_name);
1.92      paf       848: 
1.314     misha     849:        // Content-Disposition
1.267     paf       850:        Value* vfile_name=body_file->fields().get(name_name);
                    851:        if(!vfile_name) {
                    852:                vfile_name=body_file->fields().get(response_body_file_name);
1.313     misha     853:                if(vfile_name) {
                    854:                        char* name_cstr=vfile_name->as_string().cstrm();
1.274     paf       855:                        if(char *after_slash=rsplit(name_cstr, '\\'))
                    856:                                name_cstr=after_slash;
                    857:                        if(char *after_slash=rsplit(name_cstr, '/'))
                    858:                                name_cstr=after_slash;
1.327     misha     859:                        vfile_name=new VString(*new String(name_cstr));
1.274     paf       860:                }
1.267     paf       861:        }
                    862:        if(vfile_name) {
                    863:                const String& sfile_name=vfile_name->as_string();
                    864:                if(sfile_name!=NONAME_DAT) {
1.283     misha     865:                        VHash& hash=*new VHash();
                    866:                        HashStringValue &h=hash.hash();
1.288     misha     867:                        h.put(value_name, new VString( as_attachment ? content_disposition_attachment : content_disposition_inline ));
1.343     moko      868:                        h.put(content_disposition_filename_name, new VString(*new String(sfile_name, String::L_HTTP_HEADER)));
1.283     misha     869: 
1.344     moko      870:                        response.fields().put(content_disposition_name_upper, &hash);
1.267     paf       871: 
                    872:                        if(!body_file_content_type)
                    873:                                body_file_content_type=new VString(mime_type_of(sfile_name.cstr()));
1.111     paf       874:                }
1.267     paf       875:        }
                    876: 
1.312     misha     877:        // set Content-Type
1.314     misha     878:        if(body_file_content_type) {
                    879:                // body file content type
1.344     moko      880:                response.fields().put(content_type_name_upper, body_file_content_type);
1.314     misha     881:        } else {
                    882:                // default content type
1.344     moko      883:                response.fields().put_dont_replace(content_type_name_upper, new VString(*new String(DEFAULT_CONTENT_TYPE)));
1.314     misha     884:        }
1.312     misha     885: 
1.314     misha     886:        // prepare header: $response:fields without :body, :download and :charset
1.267     paf       887:        Add_header_attribute_info info(*this);
1.281     paf       888:        response.fields().for_each<Add_header_attribute_info*>(add_header_attribute, &info);
1.50      paf       889: 
1.267     paf       890:        if(Value* vresponse_body_file=body_file->fields().get(response_body_file_name)) {
1.314     misha     891:                // $response:[download|body][$.file[filespec]] -- optput specified file
1.267     paf       892:                const String& sresponse_body_file=vresponse_body_file->as_string();
                    893:                size_t content_length=0;
                    894:                time_t atime=0, mtime=0, ctime=0;
                    895:                file_stat(absolute(sresponse_body_file),
                    896:                        content_length,
                    897:                        atime, mtime, ctime);
                    898: 
                    899:                VDate* vdate=0;
                    900:                if(Value* v=body_file->fields().get("mdate")) {
1.308     misha     901:                        if(Value* vdatep=v->as(VDATE_TYPE))
1.267     paf       902:                                vdate=static_cast<VDate*>(vdatep);
                    903:                        else 
1.286     misha     904:                                throw Exception(PARSER_RUNTIME, 0, "mdate must be a date");
1.267     paf       905:                }
                    906:                if(!vdate)
1.346     moko      907:                        vdate=new VDate((pa_time_t)mtime);
1.62      paf       908: 
1.267     paf       909:                output_pieces(*this, header_only, 
                    910:                        sresponse_body_file,
                    911:                        content_length,
                    912:                        *vdate,
                    913:                        info.add_last_modified);
                    914:        } else {
1.314     misha     915:                if(body_file_content_type)
                    916:                        if(HashStringValue *hash=body_file_content_type->get_hash())
                    917:                                body_file_content_type=hash->get(value_name);
                    918: 
1.267     paf       919:                output_sole_piece(*this, header_only, 
                    920:                        *body_file, body_file_content_type);
                    921:        }
1.50      paf       922: }
1.104     paf       923: 
1.328     misha     924: const String& Request::mime_type_of(const String* file_name) {
                    925:        return mime_type_of(file_name?file_name->taint_cstr(String::L_FILE_SPEC):0);
                    926: }
                    927: 
1.248     paf       928: const String& Request::mime_type_of(const char* user_file_name_cstr) {
1.104     paf       929:        if(mime_types)
1.248     paf       930:                if(const char* cext=strrchr(user_file_name_cstr, '.')) {
                    931:                        String sext(++cext);
1.246     paf       932:                        Table::Action_options options;
1.342     moko      933:                        if(mime_types->locate(0, sext.change_case(charsets.source(), String::CC_LOWER), options)) {
1.313     misha     934:                                if(const String* result=mime_types->item(1))
                    935:                                        return *result;
1.104     paf       936:                                else
1.286     misha     937:                                        throw Exception(PARSER_RUNTIME,
1.248     paf       938:                                                0,
1.212     paf       939:                                                MIME_TYPES_NAME  " table column elements must not be empty");
1.342     moko      940:                        }
1.104     paf       941:                }
1.248     paf       942: 
                    943:        return *new String("application/octet-stream");
                    944: }
                    945: 
1.318     misha     946: const String* Request::get_used_filename(uint file_no){
                    947:        if(file_no < file_list.count())
                    948:                return new String(file_list[file_no], String::L_TAINTED);
                    949:        return 0;
                    950: }
                    951: 
1.248     paf       952: #ifdef XML
1.280     paf       953: xmlChar* Request::transcode(const String& s) {
1.248     paf       954:        return charsets.source().transcode(s);
                    955: }
                    956: 
1.280     paf       957: xmlChar* Request::transcode(const String::Body s) {
1.248     paf       958:        return charsets.source().transcode(s);
                    959: }
                    960: 
1.280     paf       961: const String& Request::transcode(const xmlChar* s) {
1.248     paf       962:        return charsets.source().transcode(s);
1.233     paf       963: }
1.248     paf       964: #endif
                    965: 
1.349     moko      966: Request::Exception_details Request::get_details(const Exception& e) {
                    967:        const String* problem_source=e.problem_source();
                    968:        VHash& vhash=*new VHash;  HashStringValue& hash=vhash.hash();
                    969:        Operation::Origin origin={0, 0, 0};
1.248     paf       970: 
1.349     moko      971:        if(!exception_trace.is_empty()) {
                    972:                Trace bottom=exception_trace.bottom_value();
1.350     moko      973:                origin=bottom.origin();
                    974:                if(!problem_source) { // we don't know who trigged the bug
                    975:                        problem_source=bottom.name(); // we usually know source of next-from-throw-point exception did that
                    976:                        exception_trace.set_bottom_index(exception_trace.bottom_index()+1);
                    977:                } else if (bottom.name()==problem_source) { // it is that same guy?
1.349     moko      978:                        exception_trace.set_bottom_index(exception_trace.bottom_index()+1); // throw away that trace
                    979:                } else {
                    980:                        // stack top contains not us, leaving intact to help ^throw
1.279     paf       981:                }
1.248     paf       982:        }
                    983: 
                    984:        // $.type
                    985:        if(const char* type=e.type(true))
                    986:                hash.put(exception_type_part_name, new VString(*new String(type)));
                    987: 
                    988:        // $.source
1.349     moko      989:        if(problem_source)
                    990:                hash.put(exception_source_part_name, new VString(*new String(*problem_source, String::L_TAINTED)));
1.248     paf       991: 
1.349     moko      992:        // $.file $.lineno $.colno
                    993:        if(origin.file_no){
1.347     moko      994:                hash.put("file", new VString(*new String(file_list[origin.file_no], String::L_TAINTED)));
                    995:                hash.put("lineno", new VInt(1+origin.line));
                    996:                hash.put("colno", new VInt(1+origin.col));
1.248     paf       997:        }
                    998: 
                    999:        // $.comment
                   1000:        if(const char* comment=e.comment(true))
1.349     moko     1001:                hash.put(exception_comment_part_name, new VString(*new String(comment, String::L_TAINTED)));
1.248     paf      1002: 
                   1003:        // $.handled(0)
1.299     misha    1004:        hash.put(exception_handled_part_name, &VBool::get(false));
1.233     paf      1005: 
1.349     moko     1006:        return Request::Exception_details(origin, problem_source, vhash);
1.133     parser   1007: }
1.337     moko     1008: 
                   1009: Temp_value_element::Temp_value_element(Request& arequest, Value& awhere, const String& aname, Value* awhat) :
                   1010:        frequest(arequest),
                   1011:        fwhere(awhere),
                   1012:        fname(aname),
                   1013:        saved(awhere.get_element(aname))
                   1014: {
                   1015:        Junction* junction;
                   1016:        if(saved && (junction=saved->get_junction()) && junction->is_getter)
                   1017:                saved=0;
                   1018:        frequest.put_element(fwhere, aname, awhat);
                   1019: }
                   1020: 
                   1021: Temp_value_element::~Temp_value_element() {
                   1022:        frequest.put_element(fwhere, fname, saved ? saved : VVoid::get());
                   1023: }

E-mail: