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

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

E-mail: