|
|
| version 1.243, 2002/08/01 11:26:49 | version 1.283, 2002/10/15 10:05:00 |
|---|---|
| Line 5 | Line 5 |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| */ | */ |
| static const char* IDENT_EXECUTE_C="$Id$"; | static const char* IDENT_EXECUTE_C="$Date$"; |
| #include "pa_opcode.h" | #include "pa_opcode.h" |
| #include "pa_array.h" | #include "pa_array.h" |
| Line 44 char *opcode_name[]={ | Line 44 char *opcode_name[]={ |
| "GET_CLASS", | "GET_CLASS", |
| "CONSTRUCT_VALUE", "CONSTRUCT_EXPR", "CURLY_CODE__CONSTRUCT", | "CONSTRUCT_VALUE", "CONSTRUCT_EXPR", "CURLY_CODE__CONSTRUCT", |
| "WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE", | "WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE", |
| "GET_ELEMENT_OR_OPERATOR", "GET_ELEMENT", "GET_ELEMENT__WRITE", | "GET_ELEMENT_OR_OPERATOR", "OP_GET_ELEMENT_OR_JUNCTION_EXPAND", |
| "GET_ELEMENT", "GET_ELEMENT__WRITE", | |
| "OBJECT_POOL", "STRING_POOL", | "OBJECT_POOL", "STRING_POOL", |
| "STORE_PARAM", | "STORE_PARAM", |
| "PREPARE_TO_CONSTRUCT_OBJECT", "PREPARE_TO_EXPRESSION", | "PREPARE_TO_CONSTRUCT_OBJECT", "PREPARE_TO_EXPRESSION", |
| Line 54 char *opcode_name[]={ | Line 55 char *opcode_name[]={ |
| "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS", | "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS", |
| // expression ops: binary | // expression ops: binary |
| "SUB", "ADD", "MUL", "DIV", "MOD", "INTDIV", | "SUB", "ADD", "MUL", "DIV", "MOD", "INTDIV", |
| "BIN_SL", "BIN_SR", | |
| "BIN_AND", "BIN_OR", "BIN_XOR", | "BIN_AND", "BIN_OR", "BIN_XOR", |
| "LOG_AND", "LOG_OR", "LOG_XOR", | "LOG_AND", "LOG_OR", "LOG_XOR", |
| "NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE", | "NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE", |
| Line 111 void debug_dump(Pool& pool, int level, c | Line 113 void debug_dump(Pool& pool, int level, c |
| #define POP_NAME() static_cast<Value *>(stack.pop())->as_string() | #define POP_NAME() static_cast<Value *>(stack.pop())->as_string() |
| #define POP_CODE() static_cast<Array *>(stack.pop()) | #define POP_CODE() static_cast<Array *>(stack.pop()) |
| /** | |
| Helps preventing evaluation of junctions in outdated context | |
| To stop situations like this: | |
| @code | |
| @main[] | |
| ^method1[] | |
| ^method2[] | |
| @method1[] | |
| $junction{ | |
| some code | |
| } | |
| @method2[] | |
| ^junction[] | |
| @endcode | |
| All Junctions, generated by OP_CURLY_CODE__CONSTRUCT are registered here, | |
| and on scope exit got cleaned - there Junction::root becomes 0, | |
| which later in Request::process triggers exception | |
| */ | |
| class Auto_junction_cleaner { | |
| public: | |
| Auto_junction_cleaner () : junctions(0) {} | |
| ~Auto_junction_cleaner () { | |
| if(junctions) { | |
| Array_iter i(*junctions); | |
| while(i.has_next()) | |
| static_cast<Junction *>(i.next())->change_context(0); | |
| // someday free junctions | |
| } | |
| } | |
| void register_junction(Pool& apool, Junction& ajunction) { | |
| if(!junctions) | |
| junctions=new(apool) Array(apool); | |
| if(junctions) | |
| *junctions+=&ajunction; | |
| } | |
| private: | |
| Array *junctions; | |
| }; | |
| void Request::execute(const Array& ops) { | void Request::execute(const Array& ops) { |
| // _asm int 3; | // _asm int 3; |
| #ifdef DEBUG_EXECUTE | #ifdef DEBUG_EXECUTE |
| Line 161 void Request::execute(const Array& ops) | Line 120 void Request::execute(const Array& ops) |
| debug_dump(pool(), 0, ops); | debug_dump(pool(), 0, ops); |
| debug_printf(pool(), "execution-------------------------\n"); | debug_printf(pool(), "execution-------------------------\n"); |
| #endif | #endif |
| Auto_junction_cleaner junction_cleaner; | |
| const String *last_get_element_name=0; | const String *last_get_element_name=0; |
| Array_iter i(ops); | Array_iter i(ops); |
| Line 206 void Request::execute(const Array& ops) | Line 163 void Request::execute(const Array& ops) |
| // OP_WITH | // OP_WITH |
| case OP_WITH_ROOT: | case OP_WITH_ROOT: |
| { | { |
| PUSH(root); | PUSH(method_frame); |
| break; | break; |
| } | } |
| case OP_WITH_SELF: | case OP_WITH_SELF: |
| Line 231 void Request::execute(const Array& ops) | Line 188 void Request::execute(const Array& ops) |
| value=POP(); | value=POP(); |
| const String& name=POP_NAME(); | const String& name=POP_NAME(); |
| Value *ncontext=POP(); | Value *ncontext=POP(); |
| ncontext->put_element(name, value); | ncontext->put_element(name, value, false); |
| break; | break; |
| } | } |
| case OP_CONSTRUCT_EXPR: | case OP_CONSTRUCT_EXPR: |
| Line 242 void Request::execute(const Array& ops) | Line 199 void Request::execute(const Array& ops) |
| value=POP(); | value=POP(); |
| const String& name=POP_NAME(); | const String& name=POP_NAME(); |
| Value *ncontext=POP(); | Value *ncontext=POP(); |
| ncontext->put_element(name, value->as_expr_result()); | ncontext->put_element(name, value->as_expr_result(), false); |
| break; | break; |
| } | } |
| case OP_CURLY_CODE__CONSTRUCT: | case OP_CURLY_CODE__CONSTRUCT: |
| Line 253 void Request::execute(const Array& ops) | Line 210 void Request::execute(const Array& ops) |
| debug_dump(pool(), 1, *local_ops); | debug_dump(pool(), 1, *local_ops); |
| #endif | #endif |
| Junction& j=*NEW Junction(pool(), | Junction& j=*NEW Junction(pool(), |
| *self, 0, 0, | *self, 0, |
| root, | method_frame, |
| rcontext, | rcontext, |
| wcontext, | wcontext, |
| local_ops); | local_ops); |
| junction_cleaner.register_junction(pool(), j); | |
| value=NEW VJunction(j); | value=NEW VJunction(j); |
| const String& name=POP_NAME(); | const String& name=POP_NAME(); |
| Value *ncontext=POP(); | Value *ncontext=POP(); |
| ncontext->put_element(name, value); | ncontext->put_element(name, value, false); |
| break; | break; |
| } | } |
| case OP_NESTED_CODE: | case OP_NESTED_CODE: |
| Line 304 void Request::execute(const Array& ops) | Line 260 void Request::execute(const Array& ops) |
| case OP_GET_ELEMENT_OR_OPERATOR: | case OP_GET_ELEMENT_OR_OPERATOR: |
| { | { |
| // maybe they do ^object.method[] call, remember the fact | |
| wcontext->set_somebody_entered_some_object(true); | |
| //_asm int 3; | |
| value=get_element(last_get_element_name, true); | value=get_element(last_get_element_name, true); |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_GET_ELEMENT_OR_JUNCTION_EXPAND: | |
| { | |
| value=get_element(last_get_element_name, false, true/* the only user */); | |
| PUSH(value); | |
| break; | |
| } | |
| case OP_GET_ELEMENT: | case OP_GET_ELEMENT: |
| { | { |
| // maybe they do ^object.method[] call, remember the fact | |
| wcontext->set_somebody_entered_some_object(true); | |
| //_asm int 3; | |
| value=get_element(last_get_element_name, false); | value=get_element(last_get_element_name, false); |
| PUSH(value); | PUSH(value); |
| break; | break; |
| Line 335 void Request::execute(const Array& ops) | Line 289 void Request::execute(const Array& ops) |
| { | { |
| const Array *local_ops=reinterpret_cast<const Array *>(i.next()); | const Array *local_ops=reinterpret_cast<const Array *>(i.next()); |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| PUSH((void *)flang); | uchar saved_lang= flang; |
| flang=String::UL_PASS_APPENDED; | flang=String::UL_PASS_APPENDED; |
| WWrapper local(pool(), 0 /*empty*/); | WWrapper local(pool(), 0 /*empty*/, wcontext); |
| wcontext=&local; | wcontext=&local; |
| execute(*local_ops); | execute(*local_ops); |
| value=&wcontext->result().as_value(); | value=&wcontext->result().as_value(); |
| flang=static_cast<String::Untaint_lang>(reinterpret_cast<int>(POP())); | flang=saved_lang; |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| Line 354 void Request::execute(const Array& ops) | Line 308 void Request::execute(const Array& ops) |
| { | { |
| const Array *local_ops=reinterpret_cast<const Array *>(i.next()); | const Array *local_ops=reinterpret_cast<const Array *>(i.next()); |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| WWrapper local(pool(), 0 /*empty*/); | WWrapper local(pool(), 0 /*empty*/, wcontext); |
| wcontext=&local; | wcontext=&local; |
| execute(*local_ops); | execute(*local_ops); |
| Line 368 void Request::execute(const Array& ops) | Line 322 void Request::execute(const Array& ops) |
| value=NEW VString(*string); | value=NEW VString(*string); |
| else | else |
| NEW VVoid(pool()); | NEW VVoid(pool()); |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| Line 400 void Request::execute(const Array& ops) | Line 354 void Request::execute(const Array& ops) |
| // in .process we would test that field | // in .process we would test that field |
| // in decision "which wwrapper to use" | // in decision "which wwrapper to use" |
| Junction& j=*NEW Junction(pool(), | Junction& j=*NEW Junction(pool(), |
| *self, 0, 0, | *self, 0, |
| root, | method_frame, |
| rcontext, | rcontext, |
| op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext, | op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext, |
| local_ops); | local_ops); |
| Line 438 void Request::execute(const Array& ops) | Line 392 void Request::execute(const Array& ops) |
| #endif | #endif |
| value=POP(); | value=POP(); |
| // info: | |
| // code compiled so that this one's always method-junction, | |
| // not a code-junction | |
| Junction *junction=value->get_junction(); | Junction *junction=value->get_junction(); |
| if(!junction) | if(!junction) |
| throw Exception("parser.runtime", | throw Exception("parser.runtime", |
| last_get_element_name, | last_get_element_name, |
| "(%s) not a method or junction, can not call it", | "(%s) not a method or junction, can not call it", |
| value->type()); | value->type()); |
| /* no check needed, code compiled the way that that's impossible | |
| // check: | |
| // that this is method-junction, not a code-junction | |
| // [disabling these contstructions:] | |
| // $junction{code} | |
| // ^junction[] | |
| if(!junction->method) | |
| throw Exception("parser.runtime", | |
| last_get_element_name, | |
| "(%s) is code junction, can not call it", | |
| value->type()); | |
| */ | |
| VMethodFrame frame(pool(), *last_get_element_name, *junction); | VMethodFrame frame(pool(), *last_get_element_name, *junction, method_frame/*caller*/); |
| if(local_ops){ // store param code goes here | if(local_ops){ // store param code goes here |
| PUSH(&frame); // argument for *STORE_PARAM ops | PUSH(&frame); // argument for *STORE_PARAM ops |
| execute(*local_ops); | execute(*local_ops); |
| POP(); | POP(); |
| } | } |
| frame.fill_unspecified_params(); | frame.fill_unspecified_params(); |
| PUSH(self); | Value *saved_self=self; |
| PUSH(root); | VMethodFrame *saved_method_frame=method_frame; |
| PUSH(rcontext); | Value *saved_rcontext=rcontext; |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| VStateless_class *called_class=frame.junction.self.get_class(); | VStateless_class *called_class=frame.junction.self.get_class(); |
| if(wcontext->get_constructing()) { | if(wcontext->get_constructing()) { |
| Line 482 void Request::execute(const Array& ops) | Line 445 void Request::execute(const Array& ops) |
| throw Exception("parser.runtime", | throw Exception("parser.runtime", |
| &frame.name(), | &frame.name(), |
| "method is static and can not be used as constructor"); | "method is static and can not be used as constructor"); |
| } else { | } else |
| // this is not constructor call | self=&frame.junction.self; |
| // not ^name.method call, name:method call; and | |
| // is context object or class & is it my class or my parent's class and? | |
| VStateless_class *read_class=rcontext->get_class(); | |
| if( | |
| !(wcontext->get_somebody_entered_some_object() && | |
| !wcontext->get_somebody_entered_some_class()) && | |
| read_class && read_class->is_or_derived_from(*called_class)) // yes | |
| self=rcontext; // dynamic call | |
| else // no, not me or relative of mine (=total stranger) | |
| self=&frame.junction.self; // static call | |
| } | |
| frame.set_self(*self); | frame.set_self(*self); |
| Line 504 void Request::execute(const Array& ops) | Line 455 void Request::execute(const Array& ops) |
| rcontext=wcontext=&frame; | rcontext=wcontext=&frame; |
| { | { |
| // take object or class from any wrappers | |
| // and substitute class alias to the class they are called AS | |
| Temp_alias temp_alias(*self->get_aliased(), *frame.junction.vclass); | |
| const Method& method=*frame.junction.method; | const Method& method=*frame.junction.method; |
| Method::Call_type call_type= | Method::Call_type call_type= |
| called_class==self ? Method::CT_STATIC : Method::CT_DYNAMIC; | called_class==self ? Method::CT_STATIC : Method::CT_DYNAMIC; |
| Line 515 void Request::execute(const Array& ops) | Line 462 void Request::execute(const Array& ops) |
| method.call_type==Method::CT_ANY || | method.call_type==Method::CT_ANY || |
| method.call_type==call_type) { // allowed call type? | method.call_type==call_type) { // allowed call type? |
| try { | try { |
| method_frame=&frame; | |
| if(method.native_code) { // native code? | if(method.native_code) { // native code? |
| // root unchanged, so that ^for ^foreach & co may write to locals | |
| method.check_actual_numbered_params( | method.check_actual_numbered_params( |
| frame.junction.self, | frame.junction.self, |
| frame.name(), frame.numbered_params()); | frame.name(), frame.numbered_params()); |
| method.native_code( | method.native_code( |
| *this, | *this, |
| frame.name(), frame.numbered_params()); // execute it | frame.name(), frame.numbered_params()); // execute it |
| } else { // parser code | } else // parser code, execute it |
| root=&frame; | |
| // execute it | |
| recoursion_checked_execute(&frame.name(), *method.parser_code); | recoursion_checked_execute(&frame.name(), *method.parser_code); |
| } | |
| } catch(...) { | } catch(...) { |
| // record it to stack trace | // record it to stack trace |
| exception_trace.push((void *)&frame.name()); | exception_trace.push((void *)&frame.name()); |
| Line 542 void Request::execute(const Array& ops) | Line 486 void Request::execute(const Array& ops) |
| } | } |
| StringOrValue result=wcontext->result(); | StringOrValue result=wcontext->result(); |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| rcontext=POP(); | rcontext=saved_rcontext; |
| root=POP(); | method_frame=saved_method_frame; |
| self=static_cast<VAliased *>(POP()); | self=saved_self; |
| #ifdef DEBUG_STRING_APPENDS_VS_EXPANDS | #ifdef DEBUG_STRING_APPENDS_VS_EXPANDS |
| if(const String *s=value->get_string()) | if(const String *s=value->get_string()) |
| Line 554 void Request::execute(const Array& ops) | Line 498 void Request::execute(const Array& ops) |
| if(op.code==OP_CALL__WRITE) { | if(op.code==OP_CALL__WRITE) { |
| write_assign_lang(result, last_get_element_name); | write_assign_lang(result, last_get_element_name); |
| // forget the fact they've entered some ^object.method[]. | |
| // see OP_GET_ELEMENT | |
| wcontext->set_somebody_entered_some_object(false); | |
| } else { // OP_CALL | } else { // OP_CALL |
| PUSH(&result.as_value()); | PUSH(&result.as_value()); |
| } | } |
| Line 699 void Request::execute(const Array& ops) | Line 640 void Request::execute(const Array& ops) |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_BIN_SL: | |
| { | |
| b=POP(); a=POP(); | |
| value=NEW VInt(pool(), | |
| a->as_int() << | |
| b->as_int()); | |
| PUSH(value); | |
| break; | |
| } | |
| case OP_BIN_SR: | |
| { | |
| b=POP(); a=POP(); | |
| value=NEW VInt(pool(), | |
| a->as_int() >> | |
| b->as_int()); | |
| PUSH(value); | |
| break; | |
| } | |
| case OP_BIN_AND: | case OP_BIN_AND: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VDouble(pool(), | value=NEW VInt(pool(), |
| a->as_int() & | a->as_int() & |
| b->as_int()); | b->as_int()); |
| PUSH(value); | PUSH(value); |
| Line 711 void Request::execute(const Array& ops) | Line 670 void Request::execute(const Array& ops) |
| case OP_BIN_OR: | case OP_BIN_OR: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VDouble(pool(), | value=NEW VInt(pool(), |
| a->as_int() | | a->as_int() | |
| b->as_int()); | b->as_int()); |
| PUSH(value); | PUSH(value); |
| Line 720 void Request::execute(const Array& ops) | Line 679 void Request::execute(const Array& ops) |
| case OP_BIN_XOR: | case OP_BIN_XOR: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VDouble(pool(), | value=NEW VInt(pool(), |
| a->as_int() ^ | a->as_int() ^ |
| b->as_int()); | b->as_int()); |
| PUSH(value); | PUSH(value); |
| Line 765 void Request::execute(const Array& ops) | Line 724 void Request::execute(const Array& ops) |
| case OP_NUM_LT: | case OP_NUM_LT: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() < b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result < 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_NUM_GT: | case OP_NUM_GT: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() > b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result > 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_NUM_LE: | case OP_NUM_LE: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() <= b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result <= 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_NUM_GE: | case OP_NUM_GE: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() >= b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result >= 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_NUM_EQ: | case OP_NUM_EQ: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() == b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result == 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| case OP_NUM_NE: | case OP_NUM_NE: |
| { | { |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), a->as_double() != b->as_double()); | double result=a->as_double() - b->as_double(); |
| value=NEW VBool(pool(), result != 0.0); | |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| Line 848 void Request::execute(const Array& ops) | Line 813 void Request::execute(const Array& ops) |
| } | } |
| case OP_IS: | case OP_IS: |
| { | { |
| //_asm int 3; | |
| b=POP(); a=POP(); | b=POP(); a=POP(); |
| value=NEW VBool(pool(), b->as_string() == a->type()); | value=NEW VBool(pool(), a->is(b->as_string().cstr())); |
| PUSH(value); | PUSH(value); |
| break; | break; |
| } | } |
| Line 864 void Request::execute(const Array& ops) | Line 828 void Request::execute(const Array& ops) |
| } | } |
| /// @test cache|prepare junctions | /// @test cache|prepare junctions |
| Value *Request::get_element(const String *& remember_name, bool can_call_operator) { | Value *Request::get_element(const String *& remember_name, |
| bool can_call_operator, bool should_explode_junction) { | |
| const String& name=POP_NAME(); remember_name=&name; | const String& name=POP_NAME(); remember_name=&name; |
| Value *ncontext=POP(); | Value *ncontext=POP(); |
| Value *value=0; | Value *value=0; |
| if(can_call_operator) | if(can_call_operator) { |
| if(Method* method=OP.get_method(name)) { // looking operator of that name FIRST | if(Method* method=main_class.get_method(name)) { // looking operator of that name FIRST |
| // as if that method were in self and we have normal dynamic method here | // as if that method were in self and we have normal dynamic method here |
| Junction& junction=*NEW Junction(pool(), | Junction& junction=*NEW Junction(pool(), |
| *root, self->get_class(), method, 0,0,0,0); | main_class, method, 0,0,0,0); |
| value=NEW VJunction(junction); | value=NEW VJunction(junction); |
| } | } |
| } | |
| if(!value) { | |
| if(!wcontext->get_constructing() // not constructing | |
| && wcontext->get_somebody_entered_some_class() ) // ^class:method | |
| if(VStateless_class *called_class=ncontext->get_class()) | |
| if(VStateless_class *read_class=rcontext->get_class()) | |
| if(read_class->derived_from(*called_class)) // current derived from called | |
| if(Value *base_object=self->base_object()) { // doing DYNAMIC call | |
| Temp_derived temp_derived(*base_object, 0); // temporarily prevent go-back-down virtual calls | |
| value=base_object->get_element(name, base_object, false); // virtual-up lookup starting from parent | |
| goto _void; | |
| } | |
| } | |
| if(!value) | if(!value) |
| value=ncontext->get_element(name); | value=ncontext->get_element(name, ncontext, false); |
| if(value) | |
| value=&process_to_value(*value); // process possible code-junction | _void: |
| else | if(value) { |
| if(should_explode_junction) // process $junction, but leave $junction.xxx as is | |
| value=&process_to_value(*value); // process possible code-junction | |
| } else | |
| value=NEW VVoid(pool()); | value=NEW VVoid(pool()); |
| return value; | return value; |
| Line 905 StringOrValue Request::process(Value& in | Line 886 StringOrValue Request::process(Value& in |
| debug_printf(pool(), "ja->\n"); | debug_printf(pool(), "ja->\n"); |
| #endif | #endif |
| if(!junction->root) | if(!junction->method_frame) |
| throw Exception("parser.runtime", | throw Exception("parser.runtime", |
| 0, | 0, |
| "junction used outside of context"); | "junction used outside of context"); |
| PUSH(self); | Value *saved_self=self; |
| PUSH(root); | VMethodFrame *saved_method_frame=method_frame; |
| PUSH(rcontext); | Value *saved_rcontext=rcontext; |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| self=&junction->self; | self=&junction->self; |
| root=junction->root; | method_frame=junction->method_frame; |
| rcontext=junction->rcontext; | rcontext=junction->rcontext; |
| // for expression method params | // for expression method params |
| Line 926 StringOrValue Request::process(Value& in | Line 907 StringOrValue Request::process(Value& in |
| if(using_code_frame) { | if(using_code_frame) { |
| // almost plain wwrapper about junction wcontext, | // almost plain wwrapper about junction wcontext, |
| // BUT intercepts string writes | // BUT intercepts string writes |
| VCodeFrame local(pool(), *junction->wcontext); | VCodeFrame local(pool(), *junction->wcontext, junction->wcontext); |
| wcontext=&local; | wcontext=&local; |
| // execute it | // execute it |
| Line 938 StringOrValue Request::process(Value& in | Line 919 StringOrValue Request::process(Value& in |
| result.set_string(*wcontext->get_string()); | result.set_string(*wcontext->get_string()); |
| } else { | } else { |
| // plain wwrapper | // plain wwrapper |
| WWrapper local(pool(), 0/*empty*/); | WWrapper local(pool(), 0/*empty*/, wcontext); |
| wcontext=&local; | wcontext=&local; |
| // execute it | // execute it |
| Line 947 StringOrValue Request::process(Value& in | Line 928 StringOrValue Request::process(Value& in |
| result=wcontext->result(); | result=wcontext->result(); |
| } | } |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| rcontext=POP(); | rcontext=saved_rcontext; |
| root=POP(); | method_frame=saved_method_frame; |
| self=static_cast<VAliased *>(POP()); | self=saved_self; |
| #ifdef DEBUG_EXECUTE | #ifdef DEBUG_EXECUTE |
| debug_printf(pool(), "<-ja returned"); | debug_printf(pool(), "<-ja returned"); |
| Line 961 StringOrValue Request::process(Value& in | Line 942 StringOrValue Request::process(Value& in |
| return result; | return result; |
| } | } |
| const String& Request::execute_method(VMethodFrame& amethodFrame, const Method& method) { | const String& Request::execute_method(VMethodFrame& amethod_frame, const Method& method) { |
| PUSH(self); | Value *saved_self=self; |
| PUSH(root); | VMethodFrame *saved_method_frame=method_frame; |
| PUSH(rcontext); | Value *saved_rcontext=rcontext; |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| // initialize contexts | // initialize contexts |
| root=rcontext=self=&amethodFrame; | self=rcontext=wcontext=method_frame=&amethod_frame; |
| wcontext=&amethodFrame; | |
| // execute! | // execute! |
| execute(*method.parser_code); | execute(*method.parser_code); |
| Line 977 const String& Request::execute_method(VM | Line 957 const String& Request::execute_method(VM |
| // result | // result |
| const String& result=wcontext->result().as_string(); | const String& result=wcontext->result().as_string(); |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| rcontext=POP(); | rcontext=saved_rcontext; |
| root=POP(); | method_frame=saved_method_frame; |
| self=static_cast<VAliased *>(POP()); | self=saved_self; |
| // return | // return |
| return result; | return result; |
| Line 989 const String& Request::execute_method(VM | Line 969 const String& Request::execute_method(VM |
| void Request::execute_method(Value& aself, | void Request::execute_method(Value& aself, |
| const Method& method, VString *optional_param, | const Method& method, VString *optional_param, |
| const String **return_string) { | const String **return_string) { |
| PUSH(self); | Value *saved_self=self; |
| PUSH(root); | VMethodFrame *saved_method_frame=method_frame; |
| PUSH(rcontext); | Value *saved_rcontext=rcontext; |
| PUSH(wcontext); | WContext *saved_wcontext=wcontext; |
| // initialize contexts | // initialize contexts |
| //root=rcontext=self=&aself; | //method_frame=rcontext=self=&aself; |
| self=&aself; | self=&aself; |
| // WWrapper local(pool(), &aself); | // WWrapper local(pool(), &aself, wcontext); |
| // wcontext=&local; | // wcontext=&local; |
| Junction local_junction(pool(), *self, self->get_class(), &method, 0,0,0,0); | Junction local_junction(pool(), *self, &method, 0,0,0,0); |
| VMethodFrame local_frame(pool(), method.name, local_junction); | VMethodFrame local_frame(pool(), method.name, local_junction, method_frame/*caller*/); |
| if(optional_param && local_frame.can_store_param()) { | if(optional_param && local_frame.can_store_param()) { |
| local_frame.store_param(optional_param); | local_frame.store_param(optional_param); |
| local_frame.fill_unspecified_params(); | local_frame.fill_unspecified_params(); |
| } | } |
| local_frame.set_self(*self); | local_frame.set_self(*self); |
| root=rcontext=wcontext=&local_frame; | rcontext=wcontext=method_frame=&local_frame; |
| // prevent non-string writes for better error reporting | |
| if(return_string) | |
| wcontext->write(local_frame); | |
| // execute! | // execute! |
| execute(*method.parser_code); | execute(*method.parser_code); |
| // result | // result |
| const String *result=0; | const String *result=0; |
| if(return_string) { | if(return_string) |
| /*if(Value *result_var_value=wcontext->get_element(*result_var_name)) | |
| *return_string=&result_var_value->as_string(); | |
| else | |
| *return_string=&wcontext->as_string();*/ | |
| *return_string=&wcontext->result().as_string(); | *return_string=&wcontext->result().as_string(); |
| } | |
| wcontext=static_cast<WContext *>(POP()); | wcontext=saved_wcontext; |
| rcontext=POP(); | rcontext=saved_rcontext; |
| root=POP(); | method_frame=saved_method_frame; |
| self=static_cast<VAliased *>(POP()); | self=saved_self; |
| } | } |
| void Request::execute_nonvirtual_method(VStateless_class& aclass, | void Request::execute_nonvirtual_method(VStateless_class& aclass, |
| Line 1044 void Request::execute_nonvirtual_method( | Line 1023 void Request::execute_nonvirtual_method( |
| const String *Request::execute_virtual_method(Value& aself, | const String *Request::execute_virtual_method(Value& aself, |
| const String& method_name) { | const String& method_name) { |
| if(Value *value=aself.get_element(method_name)) | if(Value *value=aself.get_element(method_name, &aself, false)) |
| if(Junction *junction=value->get_junction()) | if(Junction *junction=value->get_junction()) |
| if(const Method *method=junction->method) { | if(const Method *method=junction->method) { |
| const String *result; | const String *result; |
| Line 1054 const String *Request::execute_virtual_m | Line 1033 const String *Request::execute_virtual_m |
| return 0; | return 0; |
| } | } |