--- parser3/src/main/execute.C 2002/09/02 10:49:22 1.258 +++ parser3/src/main/execute.C 2002/10/16 08:24:55 1.286 @@ -5,7 +5,7 @@ Author: Alexandr Petrosian (http://paf.design.ru) */ -static const char* IDENT_EXECUTE_C="$Date: 2002/09/02 10:49:22 $"; +static const char* IDENT_EXECUTE_C="$Date: 2002/10/16 08:24:55 $"; #include "pa_opcode.h" #include "pa_array.h" @@ -54,6 +54,7 @@ char *opcode_name[]={ "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS", // expression ops: binary "SUB", "ADD", "MUL", "DIV", "MOD", "INTDIV", + "BIN_SL", "BIN_SR", "BIN_AND", "BIN_OR", "BIN_XOR", "LOG_AND", "LOG_OR", "LOG_XOR", "NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE", @@ -111,7 +112,7 @@ void debug_dump(Pool& pool, int level, c #define POP_NAME() static_cast(stack.pop())->as_string() #define POP_CODE() static_cast(stack.pop()) -void Request::execute(const Array& ops, bool clean_junctions) { +void Request::execute(const Array& ops) { // _asm int 3; #ifdef DEBUG_EXECUTE debug_printf(pool(), "source----------------------------\n"); @@ -166,7 +167,7 @@ void Request::execute(const Array& ops, } case OP_WITH_SELF: { - PUSH(self); + PUSH(get_self()); break; } case OP_WITH_READ: @@ -208,7 +209,7 @@ void Request::execute(const Array& ops, debug_dump(pool(), 1, *local_ops); #endif Junction& j=*NEW Junction(pool(), - *self, 0, 0, + *get_self(), 0, method_frame, rcontext, wcontext, @@ -258,14 +259,12 @@ void Request::execute(const Array& ops, case OP_GET_ELEMENT_OR_OPERATOR: { - //_asm int 3; value=get_element(last_get_element_name, true); PUSH(value); break; } case OP_GET_ELEMENT: { - //_asm int 3; value=get_element(last_get_element_name, false); PUSH(value); break; @@ -286,7 +285,7 @@ void Request::execute(const Array& ops, WContext *saved_wcontext=wcontext; uchar saved_lang= flang; flang=String::UL_PASS_APPENDED; - WWrapper local(pool(), 0 /*empty*/); + WWrapper local(pool(), 0 /*empty*/, wcontext); wcontext=&local; execute(*local_ops); @@ -303,7 +302,7 @@ void Request::execute(const Array& ops, const Array *local_ops=reinterpret_cast(i.next()); WContext *saved_wcontext=wcontext; - WWrapper local(pool(), 0 /*empty*/); + WWrapper local(pool(), 0 /*empty*/, wcontext); wcontext=&local; execute(*local_ops); @@ -348,7 +347,7 @@ void Request::execute(const Array& ops, // in .process we would test that field // in decision "which wwrapper to use" Junction& j=*NEW Junction(pool(), - *self, 0, 0, + *get_self(), 0, method_frame, rcontext, op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext, @@ -386,29 +385,38 @@ void Request::execute(const Array& ops, #endif value=POP(); - // info: - // code compiled so that this one's always method-junction, - // not a code-junction Junction *junction=value->get_junction(); if(!junction) throw Exception("parser.runtime", last_get_element_name, "(%s) not a method or junction, can not call it", 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 PUSH(&frame); // argument for *STORE_PARAM ops execute(*local_ops); POP(); } frame.fill_unspecified_params(); - Value *saved_self=self; VMethodFrame *saved_method_frame=method_frame; Value *saved_rcontext=rcontext; WContext *saved_wcontext=wcontext; VStateless_class *called_class=frame.junction.self.get_class(); + Value *new_self=get_self(); if(wcontext->get_constructing()) { wcontext->set_constructing(false); if(frame.junction.method->call_type!=Method::CT_STATIC) { @@ -416,14 +424,14 @@ void Request::execute(const Array& ops, if(Value *value=called_class->create_new_value(pool())) { // some stateless_class creatable derivates - self=value; + new_self=value; } else throw Exception("parser.runtime", &frame.name(), "is not a constructor, system class '%s' can be constructed only implicitly", called_class->name().cstr()); - frame.write(*self, + frame.write(*new_self, String::UL_CLEAN // not used, always an object, not string ); } else @@ -431,9 +439,9 @@ void Request::execute(const Array& ops, &frame.name(), "method is static and can not be used as constructor"); } else - self=&frame.junction.self; + new_self=&frame.junction.self; - frame.set_self(*self); + frame.set_self(*new_self); // see OP_PREPARE_TO_EXPRESSION frame.set_in_expression(wcontext->get_in_expression()); @@ -442,24 +450,21 @@ void Request::execute(const Array& ops, { const Method& method=*frame.junction.method; Method::Call_type call_type= - called_class==self ? Method::CT_STATIC : Method::CT_DYNAMIC; + called_class==new_self ? Method::CT_STATIC : Method::CT_DYNAMIC; if( method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type? try { + method_frame=&frame; if(method.native_code) { // native code? - // method_frame unchanged, so that ^for ^foreach & co may write to locals method.check_actual_numbered_params( frame.junction.self, frame.name(), frame.numbered_params()); method.native_code( *this, frame.name(), frame.numbered_params()); // execute it - } else { // parser code - method_frame=&frame; - // execute it + } else // parser code, execute it recoursion_checked_execute(&frame.name(), *method.parser_code); - } } catch(...) { // record it to stack trace exception_trace.push((void *)&frame.name()); @@ -477,7 +482,6 @@ void Request::execute(const Array& ops, wcontext=saved_wcontext; rcontext=saved_rcontext; method_frame=saved_method_frame; - self=saved_self; #ifdef DEBUG_STRING_APPENDS_VS_EXPANDS if(const String *s=value->get_string()) @@ -628,10 +632,28 @@ void Request::execute(const Array& ops, PUSH(value); 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: { b=POP(); a=POP(); - value=NEW VDouble(pool(), + value=NEW VInt(pool(), a->as_int() & b->as_int()); PUSH(value); @@ -640,7 +662,7 @@ void Request::execute(const Array& ops, case OP_BIN_OR: { b=POP(); a=POP(); - value=NEW VDouble(pool(), + value=NEW VInt(pool(), a->as_int() | b->as_int()); PUSH(value); @@ -649,7 +671,7 @@ void Request::execute(const Array& ops, case OP_BIN_XOR: { b=POP(); a=POP(); - value=NEW VDouble(pool(), + value=NEW VInt(pool(), a->as_int() ^ b->as_int()); PUSH(value); @@ -695,7 +717,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result < 0); + value=NEW VBool(pool(), result < 0.0); PUSH(value); break; } @@ -703,7 +725,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result > 0); + value=NEW VBool(pool(), result > 0.0); PUSH(value); break; } @@ -711,7 +733,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result <= 0); + value=NEW VBool(pool(), result <= 0.0); PUSH(value); break; } @@ -719,7 +741,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result >= 0); + value=NEW VBool(pool(), result >= 0.0); PUSH(value); break; } @@ -727,7 +749,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result == 0); + value=NEW VBool(pool(), result == 0.0); PUSH(value); break; } @@ -735,7 +757,7 @@ void Request::execute(const Array& ops, { b=POP(); a=POP(); double result=a->as_double() - b->as_double(); - value=NEW VBool(pool(), result != 0); + value=NEW VBool(pool(), result != 0.0); PUSH(value); break; } @@ -803,10 +825,10 @@ Value *Request::get_element(const String Value *ncontext=POP(); Value *value=0; 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 Junction& junction=*NEW Junction(pool(), - *method_frame, self->get_class(), method, 0,0,0,0); + main_class, method, 0,0,0,0); value=NEW VJunction(junction); } } @@ -816,7 +838,7 @@ Value *Request::get_element(const String 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 + if(Value *base_object=get_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; @@ -827,7 +849,7 @@ Value *Request::get_element(const String _void: if(value) - value=&process_to_value(*value); // process possible code-junction + value=&process_to_value(*value); // process possible code-junction else value=NEW VVoid(pool()); @@ -859,12 +881,10 @@ StringOrValue Request::process(Value& in 0, "junction used outside of context"); - Value *saved_self=self; VMethodFrame *saved_method_frame=method_frame; Value *saved_rcontext=rcontext; WContext *saved_wcontext=wcontext; - self=&junction->self; method_frame=junction->method_frame; rcontext=junction->rcontext; @@ -875,7 +895,7 @@ StringOrValue Request::process(Value& in if(using_code_frame) { // almost plain wwrapper about junction wcontext, // BUT intercepts string writes - VCodeFrame local(pool(), *junction->wcontext); + VCodeFrame local(pool(), *junction->wcontext, junction->wcontext); wcontext=&local; // execute it @@ -887,7 +907,7 @@ StringOrValue Request::process(Value& in result.set_string(*wcontext->get_string()); } else { // plain wwrapper - WWrapper local(pool(), 0/*empty*/); + WWrapper local(pool(), 0/*empty*/, wcontext); wcontext=&local; // execute it @@ -899,7 +919,6 @@ StringOrValue Request::process(Value& in wcontext=saved_wcontext; rcontext=saved_rcontext; method_frame=saved_method_frame; - self=saved_self; #ifdef DEBUG_EXECUTE debug_printf(pool(), "<-ja returned"); @@ -911,13 +930,12 @@ StringOrValue Request::process(Value& in } const String& Request::execute_method(VMethodFrame& amethod_frame, const Method& method) { - Value *saved_self=self; VMethodFrame *saved_method_frame=method_frame; Value *saved_rcontext=rcontext; WContext *saved_wcontext=wcontext; // initialize contexts - self=rcontext=wcontext=method_frame=&amethod_frame; + rcontext=wcontext=method_frame=&amethod_frame; // execute! execute(*method.parser_code); @@ -928,7 +946,6 @@ const String& Request::execute_method(VM wcontext=saved_wcontext; rcontext=saved_rcontext; method_frame=saved_method_frame; - self=saved_self; // return return result; @@ -937,23 +954,17 @@ const String& Request::execute_method(VM void Request::execute_method(Value& aself, const Method& method, VString *optional_param, const String **return_string) { - Value *saved_self=self; VMethodFrame *saved_method_frame=method_frame; Value *saved_rcontext=rcontext; WContext *saved_wcontext=wcontext; - // initialize contexts - //method_frame=rcontext=self=&aself; - self=&aself; -// WWrapper local(pool(), &aself); -// wcontext=&local; - Junction local_junction(pool(), *self, self->get_class(), &method, 0,0,0,0); - VMethodFrame local_frame(pool(), method.name, local_junction); + Junction local_junction(pool(), aself, &method, 0,0,0,0); + VMethodFrame local_frame(pool(), method.name, local_junction, method_frame/*caller*/); if(optional_param && local_frame.can_store_param()) { local_frame.store_param(optional_param); local_frame.fill_unspecified_params(); } - local_frame.set_self(*self); + local_frame.set_self(aself); rcontext=wcontext=method_frame=&local_frame; // prevent non-string writes for better error reporting @@ -971,7 +982,6 @@ void Request::execute_method(Value& asel wcontext=saved_wcontext; rcontext=saved_rcontext; method_frame=saved_method_frame; - self=saved_self; } void Request::execute_nonvirtual_method(VStateless_class& aclass,