Annotation of parser3/src/main/execute.C, revision 1.102

1.1       paf         1: /*
1.88      paf         2:        Parser
                      3:        Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)
1.89      paf         4:        Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)
1.88      paf         5: 
1.102   ! paf         6:        $Id: execute.C,v 1.101 2001/03/13 14:02:51 paf Exp $
1.1       paf         7: */
                      8: 
1.8       paf         9: #include "pa_array.h" 
1.1       paf        10: #include "code.h"
1.11      paf        11: #include "pa_request.h"
1.15      paf        12: #include "pa_vstring.h"
1.22      paf        13: #include "pa_vhash.h"
1.23      paf        14: #include "pa_vunknown.h"
1.34      paf        15: #include "pa_vcframe.h"
                     16: #include "pa_vmframe.h"
1.38      paf        17: #include "pa_vobject.h"
1.49      paf        18: #include "pa_vdouble.h"
1.54      paf        19: #include "pa_vbool.h"
1.94      paf        20: #include "pa_vtable.h"
1.1       paf        21: 
                     22: #include <stdio.h>
                     23: 
1.24      paf        24: #define PUSH(value) stack.push(value)
                     25: #define POP() static_cast<Value *>(stack.pop())
1.32      paf        26: #define POP_NAME() static_cast<Value *>(stack.pop())->as_string()
1.24      paf        27: 
1.11      paf        28: 
1.1       paf        29: char *opcode_name[]={
1.49      paf        30:        // literals
1.66      paf        31:        "VALUE",  "CODE__STORE_PARAM",
1.49      paf        32: 
                     33:        // actions
1.51      paf        34:        "WITH_SELF",    "WITH_ROOT",    "WITH_READ",    "WITH_WRITE",
1.66      paf        35:        "GET_CLASS",
1.80      paf        36:        "CONSTRUCT_VALUE",  "CONSTRUCT_DOUBLE",
1.86      paf        37:        "WRITE",  "STRING__WRITE",
1.18      paf        38:        "GET_ELEMENT",  "GET_ELEMENT__WRITE",
1.1       paf        39:        "CREATE_EWPOOL",        "REDUCE_EWPOOL",
                     40:        "CREATE_RWPOOL",        "REDUCE_RWPOOL",
1.49      paf        41:        "CREATE_SWPOOL",        "REDUCE_SWPOOL",
1.1       paf        42:        "GET_METHOD_FRAME",
                     43:        "STORE_PARAM",
1.51      paf        44:        "CALL",
1.49      paf        45: 
                     46:        // expression ops: unary
                     47:        "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS",
                     48:        // expression ops: binary
                     49:        "SUB", "ADD", "MUL", "DIV", "MOD",
1.56      paf        50:        "BIN_AND", "BIN_OR", "BIN_XOR",
                     51:        "LOG_AND", "LOG_OR", "LOG_XOR",
1.49      paf        52:        "NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE",
1.55      paf        53:        "STR_LT", "STR_GT", "STR_LE", "STR_GE", "STR_EQ", "STR_NE"
1.1       paf        54: };
                     55: 
1.9       paf        56: void dump(int level, const Array& ops) {
1.23      paf        57:        if(0){
                     58:                int size=ops.size();
1.46      paf        59:                //fprintf(stderr, "size=%d\n", size);
1.23      paf        60:                for(int i=0; i<size; i++) {
                     61:                        Operation op;
                     62:                        op.cast=ops.quick_get(i);
1.46      paf        63:                        fprintf(stderr, "%8X\n", op.cast);
1.23      paf        64:                }
                     65:        }
                     66: 
1.9       paf        67:        int size=ops.size();
1.46      paf        68:        //fprintf(stderr, "size=%d\n", size);
1.1       paf        69:        for(int i=0; i<size; i++) {
1.23      paf        70:                Operation op;
                     71:                op.cast=ops.quick_get(i);
1.46      paf        72:                fprintf(stderr, "%*s%s", level*4, "", opcode_name[op.code]);
1.1       paf        73: 
1.86      paf        74:                if(op.code==OP_VALUE || op.code==OP_STRING__WRITE) {
1.52      paf        75:                        Value *value=static_cast<Value *>(ops.quick_get(++i));
                     76:                        fprintf(stderr, " \"%s\" %s", value->get_string()->cstr(), value->type());
1.15      paf        77:                }
1.46      paf        78:                fprintf(stderr, "\n");
1.1       paf        79: 
1.65      paf        80:                if(op.code==OP_CODE__STORE_PARAM) {
1.10      paf        81:                        const Array *local_ops=reinterpret_cast<const Array *>(ops.quick_get(++i));
1.9       paf        82:                        dump(level+1, *local_ops);
1.1       paf        83:                }
                     84:        }
1.60      paf        85:        fflush(stderr);
1.1       paf        86: }
                     87: 
1.32      paf        88: void Request::execute(const Array& ops) {
1.30      paf        89:        if(1) {
1.51      paf        90:                fputs("source----------------------------\n", stderr);
1.12      paf        91:                dump(0, ops);
1.51      paf        92:                fputs("execution-------------------------\n", stderr);
1.12      paf        93:        }
                     94: 
1.11      paf        95:        int size=ops.size();
1.46      paf        96:        //fprintf(stderr, "size=%d\n", size);
1.11      paf        97:        for(int i=0; i<size; i++) {
1.23      paf        98:                Operation op;
                     99:                op.cast=ops.quick_get(i);
1.80      paf       100:                fprintf(stderr, "%d:%s", stack.top_index()+1, opcode_name[op.code]); fflush(stderr);
1.11      paf       101: 
1.23      paf       102:                switch(op.code) {
1.51      paf       103:                // param in next instruction
1.52      paf       104:                case OP_VALUE:
1.32      paf       105:                        {
1.52      paf       106:                                Value *value=static_cast<Value *>(ops.quick_get(++i));
                    107:                                fprintf(stderr, " \"%s\" %s", value->get_string()->cstr(), value->type());
                    108:                                PUSH(value);
1.32      paf       109:                                break;
                    110:                        }
1.65      paf       111:                case OP_CODE__STORE_PARAM:
1.32      paf       112:                        {
1.73      paf       113:                                VMethodFrame *frame=static_cast<VMethodFrame *>(stack.top_value());
1.65      paf       114:                                // code
1.32      paf       115:                                const Array *local_ops=reinterpret_cast<const Array *>(ops.quick_get(++i));
1.46      paf       116:                                fprintf(stderr, " (%d)\n", local_ops->size());
1.38      paf       117:                                dump(1, *local_ops);
1.63      paf       118:                                
1.32      paf       119:                                Junction& j=*NEW Junction(pool(), 
1.45      paf       120:                                        *self, 0, 0,
1.64      paf       121:                                        root, frame, frame, local_ops);
1.32      paf       122:                                
                    123:                                Value *value=NEW VJunction(j);
1.65      paf       124: 
                    125:                                // store param
1.92      paf       126:                                frame->store_param(frame->name(), value);
1.32      paf       127:                                break;
                    128:                        }
1.66      paf       129:                case OP_GET_CLASS:
1.38      paf       130:                        {
1.98      paf       131:                                // maybe the do ^class:method[] call, remember the fact
                    132:                                wcontext->set_somebody_entered_some_class();
                    133: 
1.82      paf       134:                                const String& name=POP_NAME();
1.66      paf       135:                                VClass *vclass=static_cast<VClass *>(classes().get(name));
                    136:                                if(!vclass) 
                    137:                                        THROW(0,0,
                    138:                                                &name,
                    139:                                                ": undefined class"); 
                    140: 
                    141:                                PUSH(vclass);
1.38      paf       142:                                break;
                    143:                        }
1.32      paf       144:                        
1.51      paf       145:                // OP_WITH
1.37      paf       146:                case OP_WITH_SELF: 
                    147:                        {
                    148:                                PUSH(self);
                    149:                                break;
                    150:                        }
                    151:                case OP_WITH_ROOT: 
1.11      paf       152:                        {
1.37      paf       153:                                PUSH(root);
1.13      paf       154:                                break;
1.11      paf       155:                        }
1.15      paf       156:                case OP_WITH_READ: 
                    157:                        {
1.24      paf       158:                                PUSH(rcontext);
1.20      paf       159:                                break;
                    160:                        }
1.37      paf       161:                case OP_WITH_WRITE: 
1.20      paf       162:                        {
1.37      paf       163:                                PUSH(wcontext);
1.20      paf       164:                                break;
                    165:                        }
1.37      paf       166:                        
1.51      paf       167:                // OTHER ACTIONS BUT WITHs
1.80      paf       168:                case OP_CONSTRUCT_VALUE:
1.20      paf       169:                        {
1.37      paf       170:                                Value *value=POP();
1.82      paf       171:                                const String& name=POP_NAME();
1.37      paf       172:                                Value *ncontext=POP();
1.81      paf       173:                                ncontext->put_element(name, value);
1.37      paf       174:                                value->set_name(name);
1.15      paf       175:                                break;
                    176:                        }
1.80      paf       177:                case OP_CONSTRUCT_EXPR:
                    178:                        {
                    179:                                Value *value=POP();
1.82      paf       180:                                const String& name=POP_NAME();
1.80      paf       181:                                Value *ncontext=POP();
1.81      paf       182:                                ncontext->put_element(name, value->get_expr_result());
1.80      paf       183:                                value->set_name(name);
                    184:                                break;
                    185:                        }
1.18      paf       186:                case OP_WRITE:
1.13      paf       187:                        {
1.24      paf       188:                                Value *value=POP();
1.92      paf       189:                                write_assign_lang(*value);
1.86      paf       190:                                break;
                    191:                        }
                    192:                case OP_STRING__WRITE:
                    193:                        {
                    194:                                VString *vstring=static_cast<VString *>(ops.quick_get(++i));
                    195:                                fprintf(stderr, " \"%s\"", vstring->value().cstr());
                    196:                                write(vstring->value());
1.13      paf       197:                                break;
1.14      paf       198:                        }
1.13      paf       199:                        
1.15      paf       200:                case OP_GET_ELEMENT:
1.11      paf       201:                        {
1.17      paf       202:                                Value *value=get_element();
1.24      paf       203:                                PUSH(value);
1.17      paf       204:                                break;
                    205:                        }
                    206: 
1.18      paf       207:                case OP_GET_ELEMENT__WRITE:
1.17      paf       208:                        {
                    209:                                Value *value=get_element();
1.92      paf       210:                                write_assign_lang(*value);
1.17      paf       211:                                break;
                    212:                        }
                    213: 
1.32      paf       214: 
1.17      paf       215:                case OP_CREATE_EWPOOL:
                    216:                        {
1.24      paf       217:                                PUSH(wcontext);
1.43      paf       218:                                wcontext=NEW WWrapper(pool(), 0 /* empty */, true /* constructing */);
1.17      paf       219:                                break;
                    220:                        }
                    221:                case OP_REDUCE_EWPOOL:
                    222:                        {
1.36      paf       223:                                Value *value=wcontext->result();
1.25      paf       224:                                wcontext=static_cast<WContext *>(POP());
1.24      paf       225:                                PUSH(value);
1.13      paf       226:                                break;
1.15      paf       227:                        }
1.13      paf       228:                        
1.26      paf       229:                case OP_CREATE_RWPOOL:
                    230:                        {
                    231:                                Value *ncontext=POP();
                    232:                                PUSH(rcontext);
                    233:                                rcontext=ncontext;
                    234:                                PUSH(wcontext);
1.43      paf       235:                                wcontext=NEW WWrapper(pool(), ncontext, false /* not constructing */);
1.26      paf       236:                                break;
                    237:                        }
                    238:                case OP_REDUCE_RWPOOL:
                    239:                        {
1.82      paf       240:                                const String *string=wcontext->get_string();
1.80      paf       241:                                Value *value;
                    242:                                if(string)
                    243:                                        value=NEW VString(*string);
                    244:                                else
                    245:                                        value=NEW VUnknown(pool());
1.26      paf       246:                                wcontext=static_cast<WContext *>(POP());
                    247:                                rcontext=POP();
                    248:                                PUSH(value);
                    249:                                break;
                    250:                        }
1.49      paf       251:                case OP_CREATE_SWPOOL:
                    252:                        {
                    253:                                PUSH(wcontext);
1.50      paf       254:                                wcontext=NEW WWrapper(pool(), 0 /* empty */, false /* not constructing */);
1.49      paf       255:                                break;
                    256:                        }
                    257:                case OP_REDUCE_SWPOOL:
                    258:                        {
                    259:                                // from "$a $b" part of expression taking only string value,
                    260:                                // ignoring any other content of wcontext
1.82      paf       261:                                const String *string=wcontext->get_string();
1.80      paf       262:                                Value *value;
                    263:                                if(string)
                    264:                                        value=NEW VString(*string);
                    265:                                else
                    266:                                        NEW VUnknown(pool());
1.50      paf       267:                                wcontext=static_cast<WContext *>(POP());
1.49      paf       268:                                PUSH(value);
                    269:                                break;
                    270:                        }
                    271: 
1.51      paf       272:                // CALL
1.28      paf       273:                case OP_GET_METHOD_FRAME:
                    274:                        {
1.32      paf       275:                                Value *value=POP();
1.70      paf       276:                                // info: this one's always method-junction, not a code-junction
1.32      paf       277:                                Junction *junction=value->get_junction();
1.31      paf       278:                                if(!junction)
1.28      paf       279:                                        THROW(0,0,
1.42      paf       280:                                                &value->name(),
1.95      paf       281:                                                "(%s) uncallable, must be method or junction",
1.38      paf       282:                                                        value->type()); 
1.70      paf       283: 
1.34      paf       284:                                VMethodFrame *frame=NEW VMethodFrame(pool(), *junction);
1.92      paf       285:                                //frame->set_name(junction->self.name());
                    286:                                frame->set_name(value->name());
1.28      paf       287:                                PUSH(frame);
                    288:                                break;
                    289:                        }
                    290:                case OP_STORE_PARAM:
                    291:                        {
                    292:                                Value *value=POP();
1.73      paf       293:                                VMethodFrame *frame=static_cast<VMethodFrame *>(stack.top_value());
1.92      paf       294:                                frame->store_param(frame->name(), value);
1.29      paf       295:                                break;
                    296:                        }
                    297: 
                    298:                case OP_CALL:
                    299:                        {
1.46      paf       300:                                fprintf(stderr, "->\n");
1.34      paf       301:                                VMethodFrame *frame=static_cast<VMethodFrame *>(POP());
                    302:                                frame->fill_unspecified_params();
1.45      paf       303:                                PUSH(self);  
                    304:                                PUSH(root);  
                    305:                                PUSH(rcontext);  
                    306:                                PUSH(wcontext); 
                    307:                                
1.100     paf       308:                                VStateless_class *called_class=frame->junction.self.get_class();
1.74      paf       309:                                // is context object or class & is it my class or my parent's class?
1.100     paf       310:                                VStateless_class *read_class=rcontext->get_class();
1.74      paf       311:                                if(read_class && read_class->is_or_derived_from(*called_class)) // yes
                    312:                                        self=rcontext; // class dynamic call
1.75      paf       313:                                else // no, not me or relative of mine (total stranger)
1.98      paf       314:                                        if(
                    315:                                                wcontext->constructing() && // constructing?
                    316:                                                wcontext->somebody_entered_some_class()) { // ^class:method[..]?
                    317:                                                // yes, this is a constructor call
1.94      paf       318:                                                if(called_class->name()==TABLE_CLASS_NAME)
                    319:                                                        self=NEW VTable(pool());
1.101     paf       320:                                                else if(called_class->name()==ENV_CLASS_NAME)
                    321:                                                        self=NEW VEnv(pool());
1.94      paf       322:                                                else
                    323:                                                        self=NEW VObject(pool(), *called_class);
1.83      paf       324:                                                frame->write(*self, 
                    325:                                                        String::Untaint_lang::NO  // not used, always an object, not string
                    326:                                                );
1.75      paf       327:                                        } else 
                    328:                                                self=&frame->junction.self; // no, static or simple dynamic call
                    329: 
1.45      paf       330:                                frame->set_self(*self);
1.29      paf       331:                                root=rcontext=wcontext=frame;
1.47      paf       332:                                {
1.48      paf       333:                                        // take object or class from any wrappers
1.102   ! paf       334:                                        // and substitute class alias to the class they are called AS
        !           335:                                        Temp_alias temp_alias(*self->get_aliased(), *frame->junction.vclass);
1.68      paf       336: 
1.99      paf       337:                                        const Method& method=*frame->junction.method;
1.80      paf       338:                                        if(method.native_code) { // native code?
1.92      paf       339:                                                method.check_actual_numbered_params(
                    340:                                                        frame->name(), frame->numbered_params());
                    341:                                                (*method.native_code)(*this, 
                    342:                                                        frame->name(), frame->numbered_params()); // execute it
1.80      paf       343:                                        } else // parser code
1.69      paf       344:                                                execute(*method.parser_code); // execute it
1.47      paf       345:                                }
1.36      paf       346:                                Value *value=wcontext->result();
1.45      paf       347: 
                    348:                                wcontext=static_cast<WContext *>(POP());  
                    349:                                rcontext=POP();  
                    350:                                root=POP();  
                    351:                                self=static_cast<VAliased *>(POP());
1.62      paf       352: 
1.61      paf       353:                                PUSH(value);
1.46      paf       354:                                fprintf(stderr, "<-returned");
1.49      paf       355:                                break;
                    356:                        }
                    357: 
1.55      paf       358:                // expression ops: unary
                    359:                case OP_NEG:
                    360:                        {
                    361:                                Value *operand=POP();
1.80      paf       362:                                Value *value=NEW VDouble(pool(), -operand->get_double());
1.55      paf       363:                                PUSH(value);
                    364:                                break;
                    365:                        }
                    366:                case OP_INV:
                    367:                        {
                    368:                                Value *operand=POP();
1.97      paf       369:                                Value *value=NEW VDouble(pool(), ~(int)operand->get_double());
1.55      paf       370:                                PUSH(value);
                    371:                                break;
                    372:                        }
                    373:                case OP_NOT:
                    374:                        {
                    375:                                Value *operand=POP();
1.78      paf       376:                                Value *value=NEW VBool(pool(), !operand->get_bool());
1.55      paf       377:                                PUSH(value);
                    378:                                break;
                    379:                        }
1.62      paf       380:                case OP_DEF:
                    381:                        {
                    382:                                Value *operand=POP();
1.78      paf       383:                                Value *value=NEW VBool(pool(), operand->get_defined());
1.62      paf       384:                                PUSH(value);
                    385:                                break;
                    386:                        }
                    387:                case OP_IN:
                    388:                        {
                    389:                                Value *operand=POP();
1.78      paf       390:                                Value *value=NEW VBool(pool(), true/*TODO*/);
1.62      paf       391:                                PUSH(value);
                    392:                                break;
                    393:                        }
                    394:                case OP_FEXISTS:
                    395:                        {
                    396:                                Value *operand=POP();
1.78      paf       397:                                Value *value=NEW VBool(pool(), true/*TODO*/);
1.62      paf       398:                                PUSH(value);
                    399:                                break;
                    400:                        }
1.55      paf       401: 
                    402:                // expression ops: binary
                    403:                case OP_SUB: 
1.53      paf       404:                        {
1.61      paf       405:                                Value *b=POP();  Value *a=POP();
1.80      paf       406:                                Value *value=NEW VDouble(pool(), a->get_double() - b->get_double());
1.53      paf       407:                                PUSH(value);
                    408:                                break;
                    409:                        }
1.55      paf       410:                case OP_ADD: 
1.53      paf       411:                        {
1.61      paf       412:                                Value *b=POP();  Value *a=POP();
1.80      paf       413:                                Value *value=NEW VDouble(pool(), a->get_double() + b->get_double());
1.53      paf       414:                                PUSH(value);
                    415:                                break;
                    416:                        }
1.49      paf       417:                case OP_MUL: 
                    418:                        {
1.61      paf       419:                                Value *b=POP();  Value *a=POP();
1.80      paf       420:                                Value *value=NEW VDouble(pool(), a->get_double() * b->get_double());
1.53      paf       421:                                PUSH(value);
                    422:                                break;
                    423:                        }
                    424:                case OP_DIV: 
                    425:                        {
1.61      paf       426:                                Value *b=POP();  Value *a=POP();
1.80      paf       427:                                Value *value=NEW VDouble(pool(), a->get_double() / b->get_double());
1.54      paf       428:                                PUSH(value);
                    429:                                break;
                    430:                        }
1.55      paf       431:                case OP_MOD: 
                    432:                        {
1.61      paf       433:                                Value *b=POP();  Value *a=POP();
1.78      paf       434:                                Value *value=NEW VDouble(pool(), 
1.97      paf       435:                                        (int)a->get_double() %
                    436:                                        (int)b->get_double());
1.55      paf       437:                                PUSH(value);
                    438:                                break;
                    439:                        }
                    440:                case OP_BIN_AND:
1.54      paf       441:                        {
1.61      paf       442:                                Value *b=POP();  Value *a=POP();
1.78      paf       443:                                Value *value=NEW VDouble(pool(), 
1.97      paf       444:                                        (int)a->get_double() &
                    445:                                        (int)b->get_double());
1.54      paf       446:                                PUSH(value);
                    447:                                break;
                    448:                        }
1.55      paf       449:                case OP_BIN_OR:
1.54      paf       450:                        {
1.61      paf       451:                                Value *b=POP();  Value *a=POP();
1.78      paf       452:                                Value *value=NEW VDouble(pool(), 
1.97      paf       453:                                        (int)a->get_double() |
                    454:                                        (int)b->get_double());
1.55      paf       455:                                PUSH(value);
                    456:                                break;
                    457:                        }
1.56      paf       458:                case OP_BIN_XOR:
                    459:                        {
1.61      paf       460:                                Value *b=POP();  Value *a=POP();
1.78      paf       461:                                Value *value=NEW VDouble(pool(), 
1.97      paf       462:                                        (int)a->get_double() ^
                    463:                                        (int)b->get_double());
1.56      paf       464:                                PUSH(value);
                    465:                                break;
                    466:                        }
1.55      paf       467:                case OP_LOG_AND:
                    468:                        {
1.61      paf       469:                                Value *b=POP();  Value *a=POP();
1.78      paf       470:                                Value *value=NEW VBool(pool(), a->get_bool() && b->get_bool());
1.55      paf       471:                                PUSH(value);
                    472:                                break;
                    473:                        }
                    474:                case OP_LOG_OR:
                    475:                        {
1.61      paf       476:                                Value *b=POP();  Value *a=POP();
1.78      paf       477:                                Value *value=NEW VBool(pool(), a->get_bool() || b->get_bool());
1.56      paf       478:                                PUSH(value);
                    479:                                break;
                    480:                        }
                    481:                case OP_LOG_XOR:
                    482:                        {
1.61      paf       483:                                Value *b=POP();  Value *a=POP();
1.78      paf       484:                                Value *value=NEW VBool(pool(), a->get_bool() ^ b->get_bool());
1.55      paf       485:                                PUSH(value);
                    486:                                break;
                    487:                        }
                    488:                case OP_NUM_LT: 
                    489:                        {
1.61      paf       490:                                Value *b=POP();  Value *a=POP();
1.78      paf       491:                                Value *value=NEW VBool(pool(), a->get_double() < b->get_double());
1.55      paf       492:                                PUSH(value);
                    493:                                break;
                    494:                        }
                    495:                case OP_NUM_GT: 
                    496:                        {
1.61      paf       497:                                Value *b=POP();  Value *a=POP();
1.78      paf       498:                                Value *value=NEW VBool(pool(), a->get_double() > b->get_double());
1.55      paf       499:                                PUSH(value);
                    500:                                break;
                    501:                        }
                    502:                case OP_NUM_LE: 
                    503:                        {
1.61      paf       504:                                Value *b=POP();  Value *a=POP();
1.78      paf       505:                                Value *value=NEW VBool(pool(), a->get_double() <= b->get_double());
1.55      paf       506:                                PUSH(value);
                    507:                                break;
                    508:                        }
                    509:                case OP_NUM_GE: 
                    510:                        {
1.61      paf       511:                                Value *b=POP();  Value *a=POP();
1.78      paf       512:                                Value *value=NEW VBool(pool(), a->get_double() >= b->get_double());
1.55      paf       513:                                PUSH(value);
                    514:                                break;
                    515:                        }
                    516:                case OP_NUM_EQ: 
                    517:                        {
1.61      paf       518:                                Value *b=POP();  Value *a=POP();
1.78      paf       519:                                Value *value=NEW VBool(pool(), a->get_double() == b->get_double());
1.55      paf       520:                                PUSH(value);
                    521:                                break;
                    522:                        }
                    523:                case OP_NUM_NE: 
                    524:                        {
1.61      paf       525:                                Value *b=POP();  Value *a=POP();
1.78      paf       526:                                Value *value=NEW VBool(pool(), a->get_double() != b->get_double());
1.54      paf       527:                                PUSH(value);
                    528:                                break;
                    529:                        }
1.58      paf       530:                case OP_STR_LT: 
                    531:                        {
1.61      paf       532:                                Value *b=POP();  Value *a=POP();
1.78      paf       533:                                Value *value=NEW VBool(pool(), a->as_string() < b->as_string());
1.58      paf       534:                                PUSH(value);
                    535:                                break;
                    536:                        }
                    537:                case OP_STR_GT: 
                    538:                        {
1.61      paf       539:                                Value *b=POP();  Value *a=POP();
1.78      paf       540:                                Value *value=NEW VBool(pool(), a->as_string() > b->as_string());
1.58      paf       541:                                PUSH(value);
                    542:                                break;
                    543:                        }
1.55      paf       544:                case OP_STR_LE: 
1.58      paf       545:                        {
1.61      paf       546:                                Value *b=POP();  Value *a=POP();
1.78      paf       547:                                Value *value=NEW VBool(pool(), a->as_string() <= b->as_string());
1.58      paf       548:                                PUSH(value);
                    549:                                break;
                    550:                        }
1.55      paf       551:                case OP_STR_GE: 
1.54      paf       552:                        {
1.61      paf       553:                                Value *b=POP();  Value *a=POP();
1.78      paf       554:                                Value *value=NEW VBool(pool(), a->as_string() >= b->as_string());
1.58      paf       555:                                PUSH(value);
                    556:                                break;
                    557:                        }
                    558:                case OP_STR_EQ: 
                    559:                        {
1.61      paf       560:                                Value *b=POP();  Value *a=POP();
1.78      paf       561:                                Value *value=NEW VBool(pool(), a->as_string() == b->as_string());
1.58      paf       562:                                PUSH(value);
                    563:                                break;
                    564:                        }
                    565:                case OP_STR_NE: 
                    566:                        {
1.61      paf       567:                                Value *b=POP();  Value *a=POP();
1.78      paf       568:                                Value *value=NEW VBool(pool(), a->as_string() != b->as_string());
1.49      paf       569:                                PUSH(value);
1.28      paf       570:                                break;
                    571:                        }
                    572: 
1.11      paf       573:                default:
1.67      paf       574:                        THROW(0,0,
                    575:                                0,
                    576:                                "unhandled '%s' opcode", opcode_name[op.code]); 
1.11      paf       577:                }
1.46      paf       578:                fprintf(stderr, "\n");
1.11      paf       579:        }
1.1       paf       580: }
1.17      paf       581: 
                    582: Value *Request::get_element() {
1.82      paf       583:        const String& name=POP_NAME();
1.24      paf       584:        Value *ncontext=POP();
1.32      paf       585:        Value *value=ncontext->get_element(name);
1.21      paf       586: 
1.76      paf       587:        if(value)
1.92      paf       588:                value=&process(*value, &name); // process possible code-junction
1.76      paf       589:        else {
                    590:                value=NEW VUnknown(pool());
                    591:                value->set_name(name);
                    592:        }
1.63      paf       593: 
1.17      paf       594:        return value;
1.34      paf       595: }
1.70      paf       596: 
1.92      paf       597: Value& Request::process(Value& value, const String *name, bool intercept_string) {
1.90      paf       598:        // intercept_string:
                    599:        //      true:
                    600:        //              they want result=string value, 
                    601:        //              possible object result goes to wcontext
                    602:        //      false:
                    603:        //              they want any result[string|object]
                    604:        //              nothing goes to wcontext.
                    605:        //              used in (expression) params evaluation
                    606: 
1.91      paf       607:        Value *result;
1.70      paf       608:        Junction *junction=value.get_junction();
                    609:        if(junction && junction->code) { // is it a code-junction?
1.92      paf       610:                // process it
1.70      paf       611:                fprintf(stderr, "ja->\n");
                    612:                PUSH(self);  
                    613:                PUSH(root);  
                    614:                PUSH(rcontext);  
                    615:                PUSH(wcontext);
                    616:                
1.71      paf       617:                WContext *frame;
1.90      paf       618:                if(intercept_string) {
1.71      paf       619:                        // almost plain wwrapper about junction wcontext, 
                    620:                        // BUT intercepts string writes
                    621:                        frame=NEW VCodeFrame(pool(), *junction->wcontext);  
                    622:                } else {
                    623:                        // plain wwrapper
                    624:                        frame=NEW WWrapper(pool(), 0 /* empty */, false /*not constructing*/);
                    625:                }
                    626:                
                    627:                wcontext=frame;
1.70      paf       628:                self=&junction->self;
                    629:                root=junction->root;
                    630:                rcontext=junction->rcontext;
                    631:                execute(*junction->code);
1.90      paf       632:                if(intercept_string) {
1.71      paf       633:                        // CodeFrame soul:
                    634:                        //   string writes were intercepted
                    635:                        //   returning them as the result of getting code-junction
                    636:                        result=NEW VString(*frame->get_string());
                    637:                } else 
                    638:                        result=frame->result();
1.70      paf       639:                
                    640:                wcontext=static_cast<WContext *>(POP());  
                    641:                rcontext=POP();  
                    642:                root=POP();  
                    643:                self=static_cast<VAliased *>(POP());
                    644:                
                    645:                fprintf(stderr, "<-ja returned");
                    646:        } else
1.91      paf       647:                result=&value;
                    648: 
                    649:        if(name)
                    650:                result->set_name(*name);
                    651:        return *result;
1.85      paf       652: }
                    653: 
1.99      paf       654: char *Request::execute_method(Value& aself, const Method& method, bool return_cstr) {
                    655:        PUSH(self);  
                    656:        PUSH(root);  
                    657:        PUSH(rcontext);  
                    658:        PUSH(wcontext);
                    659:        
                    660:        // initialize contexts
                    661:        root=rcontext=self=&aself;
                    662:        wcontext=NEW WWrapper(pool(), &aself, false /* not constructing */);
                    663:        
                    664:        // execute!     
                    665:        execute(*method.parser_code);
                    666:        
                    667:        // result
                    668:        char *result;
                    669:        if(return_cstr)
                    670:                result=wcontext->get_string()->cstr(); // chars
                    671:        else
                    672:                result=0; // ignore result
                    673:        
                    674:        wcontext=static_cast<WContext *>(POP());  
                    675:        rcontext=POP();  
                    676:        root=POP();  
                    677:        self=static_cast<VAliased *>(POP());
                    678:        
                    679:        // return
                    680:        return result;
                    681: }
                    682: 
                    683: char *Request::execute_method(Value& aself, 
                    684:                                                          const String& method_name, bool return_cstr) {
                    685:        if(Value *value=aself.get_element(method_name))
                    686:                if(Junction *junction=value->get_junction())
                    687:                        if(const Method *method=junction->method) 
                    688:                                return execute_method(aself, *method, return_cstr);
                    689: 
1.85      paf       690:        return 0;
1.70      paf       691: }

E-mail: