[BACK]Return to execute.C CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/execute.C between versions 1.346 and 1.381

version 1.346, 2009/06/04 12:29:38 version 1.381, 2016/04/06 22:52:12
Line 1 Line 1
 /** @file  /** @file
         Parser: executor part of request class.          Parser: executor part of request class.
   
         Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 static const char * const IDENT_EXECUTE_C="$Date$";  
   
 #include "pa_opcode.h"  #include "pa_opcode.h"
 #include "pa_array.h"   #include "pa_array.h" 
 #include "pa_request.h"  #include "pa_request.h"
Line 23  static const char * const IDENT_EXECUTE_ Line 21  static const char * const IDENT_EXECUTE_
 #include "pa_vimage.h"  #include "pa_vimage.h"
 #include "pa_wwrapper.h"  #include "pa_wwrapper.h"
   
   volatile const char * IDENT_EXECUTE_C="$Id$" IDENT_PA_OPCODE_H IDENT_PA_OPERATION_H IDENT_PA_VCODE_FRAME_H IDENT_PA_WWRAPPER_H;
   
 //#define DEBUG_EXECUTE  //#define DEBUG_EXECUTE
   
 #ifdef DEBUG_EXECUTE  #ifdef DEBUG_EXECUTE
Line 33  char *opcode_name[]={ Line 33  char *opcode_name[]={
   
         // actions          // actions
         "WITH_ROOT",    "WITH_SELF",    "WITH_READ",    "WITH_WRITE",          "WITH_ROOT",    "WITH_SELF",    "WITH_READ",    "WITH_WRITE",
 #ifdef OPTIMIZE_BYTECODE_GET_CLASS  
         "VALUE__GET_CLASS",          "VALUE__GET_CLASS",
 #else  
         "GET_CLASS",  
 #endif  
         "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",
 #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
Line 50  char *opcode_name[]={ Line 46  char *opcode_name[]={
 #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
         "VALUE__GET_ELEMENT",          "VALUE__GET_ELEMENT",
         "VALUE__GET_ELEMENT__WRITE",          "VALUE__GET_ELEMENT__WRITE",
           "WITH_ROOT__VALUE__GET_ELEMENT",
 #endif  #endif
 #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
         "GET_OBJECT_ELEMENT",          "GET_OBJECT_ELEMENT",
Line 63  char *opcode_name[]={ Line 60  char *opcode_name[]={
         "WITH_SELF__VALUE__GET_ELEMENT",          "WITH_SELF__VALUE__GET_ELEMENT",
         "WITH_SELF__VALUE__GET_ELEMENT__WRITE",          "WITH_SELF__VALUE__GET_ELEMENT__WRITE",
 #endif  #endif
   
   #ifdef FEATURE_GET_ELEMENT4CALL
           "GET_ELEMENT4CALL",
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
           "GET_OBJECT_ELEMENT4CALL",
   #endif
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
           "GET_OBJECT_VAR_ELEMENT4CALL",
   #endif
   #endif // FEATURE_GET_ELEMENT4CALL
   
         "OBJECT_POOL",  "STRING_POOL",          "OBJECT_POOL",  "STRING_POOL",
         "PREPARE_TO_CONSTRUCT_OBJECT",  "PREPARE_TO_EXPRESSION",           "PREPARE_TO_CONSTRUCT_OBJECT",
           "CONSTRUCT_OBJECT",
           "CONSTRUCT_OBJECT__WRITE",
           "PREPARE_TO_EXPRESSION", 
         "CALL", "CALL__WRITE",          "CALL", "CALL__WRITE",
   
 #ifdef OPTIMIZE_BYTECODE_CONSTRUCT  #ifdef OPTIMIZE_BYTECODE_CONSTRUCT
Line 76  char *opcode_name[]={ Line 87  char *opcode_name[]={
         "WITH_SELF__VALUE__CONSTRUCT_VALUE",          "WITH_SELF__VALUE__CONSTRUCT_VALUE",
 #endif  #endif
   
   #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL
           "GET_ELEMENT__SPECIAL",
           "GET_ELEMENT__SPECIAL__WRITE",
   #endif
         // expression ops: unary          // expression ops: unary
         "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS",          "NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS",
         // expression ops: binary          // expression ops: binary
Line 124  void debug_dump(SAPI_Info& sapi_info, in Line 139  void debug_dump(SAPI_Info& sapi_info, in
 #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
                         || opcode==OP::OP_GET_OBJECT_ELEMENT                          || opcode==OP::OP_GET_OBJECT_ELEMENT
                         || opcode==OP::OP_GET_OBJECT_ELEMENT__WRITE                          || opcode==OP::OP_GET_OBJECT_ELEMENT__WRITE
   #ifdef FEATURE_GET_ELEMENT4CALL
                           || opcode==OP::OP_GET_OBJECT_ELEMENT4CALL
   #endif
 #endif  #endif
 #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
                         || opcode==OP::OP_GET_OBJECT_VAR_ELEMENT                          || opcode==OP::OP_GET_OBJECT_VAR_ELEMENT
                         || opcode==OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE                          || opcode==OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE
   #ifdef FEATURE_GET_ELEMENT4CALL
                           || opcode==OP::OP_GET_OBJECT_VAR_ELEMENT4CALL
   #endif
 #endif  #endif
                 ){                  ){
                         i.next(); // skip origin                          i.next(); // skip origin
Line 143  void debug_dump(SAPI_Info& sapi_info, in Line 164  void debug_dump(SAPI_Info& sapi_info, in
                 }                  }
 #endif  #endif
                 if(                  if(
                           opcode==OP::OP_CONSTRUCT_OBJECT
                           || opcode==OP::OP_CONSTRUCT_OBJECT__WRITE
                   ){
                           i.next(); // skip origin
                           Value& value1=*i.next().value;
                           i.next(); // skip origin
                           Value& value2=*i.next().value;
                           debug_printf(sapi_info, 
                                   "%*s%s"
                                   " \"%s\" \"%s\"", 
                                   level*4, "", opcode_name[opcode],
                                   debug_value_to_cstr(value1), debug_value_to_cstr(value2));
   
                           if(ArrayOperation* local_ops=i.next().ops)
                                   debug_dump(sapi_info, level+1, *local_ops);
                           continue;
                   }
                   if(
                         opcode==OP::OP_VALUE                          opcode==OP::OP_VALUE
                         || opcode==OP::OP_STRING__WRITE                          || opcode==OP::OP_STRING__WRITE
 #ifdef OPTIMIZE_BYTECODE_GET_CLASS  
                         || opcode==OP::OP_VALUE__GET_CLASS                          || opcode==OP::OP_VALUE__GET_CLASS
 #endif  
 #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
                         || opcode==OP::OP_VALUE__GET_ELEMENT                          || opcode==OP::OP_VALUE__GET_ELEMENT
                         || opcode==OP::OP_VALUE__GET_ELEMENT__WRITE                          || opcode==OP::OP_VALUE__GET_ELEMENT__WRITE
                         || opcode==OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR                          || opcode==OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR
                           || opcode==OP::OP_WITH_ROOT__VALUE__GET_ELEMENT
 #endif  #endif
 #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
                         || opcode==OP::OP_WITH_SELF__VALUE__GET_ELEMENT                          || opcode==OP::OP_WITH_SELF__VALUE__GET_ELEMENT
Line 176  void debug_dump(SAPI_Info& sapi_info, in Line 214  void debug_dump(SAPI_Info& sapi_info, in
                                 debug_value_to_cstr(value), value.type());                                  debug_value_to_cstr(value), value.type());
                         continue;                          continue;
                 }                  }
   
                 debug_printf(sapi_info, "%*s%s", level*4, "", opcode_name[opcode]);                  debug_printf(sapi_info, "%*s%s", level*4, "", opcode_name[opcode]);
   
                 switch(opcode) {                  switch(opcode) {
Line 239  void Request::execute(ArrayOperation& op Line 278  void Request::execute(ArrayOperation& op
                                 stack.push(value);                                  stack.push(value);
                                 break;                                  break;
                         }                          }
   
 #ifdef OPTIMIZE_BYTECODE_GET_CLASS  
                 case OP::OP_VALUE__GET_CLASS:                  case OP::OP_VALUE__GET_CLASS:
                         {                          {
                                 // maybe they do ^class:method[] call, remember the fact                                  // maybe they do ^class:method[] call, remember the fact
                                 wcontext->set_somebody_entered_some_class();                                  wcontext->set_somebody_entered_some_class();
   
                                 debug_origin=i.next().origin;                                  debug_origin=i.next().origin;
                                 Value& value=*i.next().value;                                  const String& name=*i.next().value->get_string(); debug_name=&name;
                                 const String& name=*value.get_string();  
   
                                 DEBUG_PRINT_STRING(name)                                  DEBUG_PRINT_STRING(name)
   
                                 Value* class_value=classes().get(name);                                  Value* class_value=get_class(name);
                                 if(!class_value)                                  if(!class_value)
                                         throw Exception(PARSER_RUNTIME,                                          throw Exception(PARSER_RUNTIME,
                                                 &name,                                                  &name,
Line 261  void Request::execute(ArrayOperation& op Line 297  void Request::execute(ArrayOperation& op
                                 stack.push(*class_value);                                  stack.push(*class_value);
                                 break;                                  break;
                         }                          }
 #else  
                 case OP::OP_GET_CLASS:  
                         {  
                                 // maybe they do ^class:method[] call, remember the fact  
                                 wcontext->set_somebody_entered_some_class();  
   
                                 const String& name=stack.pop().string();  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL
                                 Value* value=classes().get(name);                  case OP::OP_GET_ELEMENT__SPECIAL:
                                 if(!value)                   case OP::OP_GET_ELEMENT__SPECIAL__WRITE:
                                         throw Exception(PARSER_RUNTIME,                          {
                                                 &name,                                  const String& name=stack.pop().string();  debug_name=&name;
                                                 "class is undefined");                                   Value& ncontext=stack.pop().value();
   
                                 stack.push(*value);                                  Value* value=0;
                                   if(VStateless_class* vclass=ncontext.get_class()){
                                           if(name==class_element_name){
                                                   value=vclass;
                                           } else if(name==class_name_element_name){
                                                   value=new VString(*new String(vclass->type()));
                                           }
                                   } else {
                                           // VJunction is without class, returning self
                                           if(name==class_element_name){
                                                   value=&ncontext;
                                           } else if(name==class_name_element_name){
                                                   value=new VString(*new String(ncontext.type()));
                                           }
                                   }
                                   if(opcode==OP::OP_GET_ELEMENT__SPECIAL){
                                           stack.push(*value);
                                   } else {
                                           write_assign_lang(*value);
                                   }
                                 break;                                  break;
                         }                          }
 #endif  #endif
   
                 // OP_WITH                  // OP_WITH
                 case OP::OP_WITH_ROOT:                  case OP::OP_WITH_ROOT:
                         {                          {
Line 308  void Request::execute(ArrayOperation& op Line 359  void Request::execute(ArrayOperation& op
                 // OTHER ACTIONS BUT WITHs                  // OTHER ACTIONS BUT WITHs
   
 #ifdef OPTIMIZE_BYTECODE_CONSTRUCT  #ifdef OPTIMIZE_BYTECODE_CONSTRUCT
   #define DO_CONSTRUCT(context, vvalue) {                                                 \
                                   debug_origin=i.next().origin;                                           \
                                   const String& name=*i.next().value->get_string();  debug_name=&name;    \
                                   DEBUG_PRINT_STRING(name)                                                \
                                   Value& value=stack.pop().value();                                       \
                                   put_element( context, name, vvalue );                                   \
                                   break;                                                                  \
                   }
   #define DO_CONSTRUCT_VALUE(context) DO_CONSTRUCT(context, &value)
   #define DO_CONSTRUCT_EXPR(context) {                                                    \
                                   wcontext->set_in_expression(false);                                     \
                                   DO_CONSTRUCT(context, &value.as_expr_result())                          \
                   }
   
                 case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR:                  case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR:
                           {
                                   if(wcontext==method_frame)
                                           throw Exception(PARSER_RUNTIME, 0, "$.name outside of $name[...]");
                                   DO_CONSTRUCT_EXPR(*wcontext)
                           }
   
                 case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE:                  case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE:
                         {                          {
                                 if(wcontext==method_frame)                                  if(wcontext==method_frame)
                                         throw Exception(PARSER_RUNTIME,                                          throw Exception(PARSER_RUNTIME, 0, "$.name outside of $name[...]");
                                                 0,                                  DO_CONSTRUCT_VALUE(*wcontext)
                                                 "$.name outside of $name[...]");  
                                 // don't stop here. continue in the next block  
                         }                          }
                 case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR:  
                 case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE:  
                 case OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR:  
                 case OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE:  
                         {  
                                 bool is_expr=(opcode==OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR  
                                                                 || opcode==OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR  
                                                                 || opcode==OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR);  
   
                                 if(is_expr)                  case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR:   DO_CONSTRUCT_EXPR(*method_frame)
                                         wcontext->set_in_expression(false);  
   
                                 debug_origin=i.next().origin;                  case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE:  DO_CONSTRUCT_VALUE(*method_frame)
                                 const String& name=*i.next().value->get_string();  debug_name=&name;  
                                 DEBUG_PRINT_STRING(name)  
   
                                 Value& value=stack.pop().value();                  case OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR:   DO_CONSTRUCT_EXPR(get_self())
   
                                 put_element(                  case OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE:  DO_CONSTRUCT_VALUE(get_self())
                                         (opcode==OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR || opcode==OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE)?*method_frame:  
                                         (opcode==OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR || opcode==OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE)?get_self():*wcontext,  
                                         name,  
                                         is_expr?&value.as_expr_result():/*value.is_void()?new VString():*/&value  
                                 );  
   
                                 break;  
                         }  
 #endif // OPTIMIZE_BYTECODE_CONSTRUCT  #endif // OPTIMIZE_BYTECODE_CONSTRUCT
   
                 case OP::OP_CONSTRUCT_VALUE:                  case OP::OP_CONSTRUCT_VALUE:
Line 398  void Request::execute(ArrayOperation& op Line 449  void Request::execute(ArrayOperation& op
   
                                 const String& name=stack.pop().string();  debug_name=&name;                                  const String& name=stack.pop().string();  debug_name=&name;
                                 Value& ncontext=stack.pop().value();                                  Value& ncontext=stack.pop().value();
                                 if(const VJunction* vjunction=ncontext.put_element(ncontext, name, &value, false))                                  if(const VJunction* vjunction=ncontext.put_element(name, &value))
                                         if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT)                                          if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT)
                                                 throw Exception(PARSER_RUNTIME,                                                  throw Exception(PARSER_RUNTIME,
                                                         0,                                                          0,
Line 423  void Request::execute(ArrayOperation& op Line 474  void Request::execute(ArrayOperation& op
                         }                          }
                 case OP::OP_WRITE_EXPR_RESULT:                  case OP::OP_WRITE_EXPR_RESULT:
                         {                          {
                                 Value& value=stack.pop().value();  
                                 write_no_lang(value.as_expr_result());  
   
                                 // must be after write(result) and   
                                 // see OP_PREPARE_TO_EXPRESSION                                  // see OP_PREPARE_TO_EXPRESSION
                                 wcontext->set_in_expression(false);                                  wcontext->set_in_expression(false);
   
                                   Value& value=stack.pop().value();
                                   wcontext->write(value.as_expr_result());
                                 break;                                  break;
                         }                          }
                 case OP::OP_STRING__WRITE:                  case OP::OP_STRING__WRITE:
Line 478  void Request::execute(ArrayOperation& op Line 528  void Request::execute(ArrayOperation& op
 #endif  #endif
   
 #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
                 case OP::OP_GET_OBJECT_ELEMENT:  
                 case OP::OP_GET_OBJECT_ELEMENT__WRITE:  
                         {  
                                 debug_origin=i.next().origin;  
                                 const String& context_name=*i.next().value->get_string();  debug_name=&context_name;  
   
                                 DEBUG_PRINT_STRING(context_name)  #define DO_GET_OBJECT_ELEMENT(code) {\
                                   debug_origin=i.next().origin;                                                           \
                                 Value& object=get_element(*rcontext, context_name);                                  const String& context_name=*i.next().value->get_string();  debug_name=&context_name;    \
                                   DEBUG_PRINT_STRING(context_name)                                                        \
                                 debug_origin=i.next().origin;                                  Value& object=get_element(*rcontext, context_name);                                     \
                                 const String& field_name=*i.next().value->get_string();  debug_name=&field_name;                                  debug_origin=i.next().origin;                                                           \
                                   const String& field_name=*i.next().value->get_string();  debug_name=&field_name;        \
                                 DEBUG_PRINT_STRING(field_name)                                  DEBUG_PRINT_STRING(field_name)                                                          \
                                   code;                                                                                   \
                                   break;                                                                                  \
                           }
   
                   case OP::OP_GET_OBJECT_ELEMENT: DO_GET_OBJECT_ELEMENT({
                                 Value& value=get_element(object, field_name);                                  Value& value=get_element(object, field_name);
                                   stack.push(value);
                                 if(opcode==OP::OP_GET_OBJECT_ELEMENT){                          })
                                         stack.push(value);                  case OP::OP_GET_OBJECT_ELEMENT__WRITE: DO_GET_OBJECT_ELEMENT({
                                 } else {                                  Value& value=get_element(object, field_name);
                                         write_assign_lang(value);                                  write_assign_lang(value);
                                 }                          })
                                 break;  #ifdef FEATURE_GET_ELEMENT4CALL
                         }                  case OP::OP_GET_OBJECT_ELEMENT4CALL: DO_GET_OBJECT_ELEMENT({
                                   Value& value=get_element4call(object, field_name);
                                   stack.push(value);
                           })
   #endif
 #endif  #endif
   
 #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
                 case OP::OP_GET_OBJECT_VAR_ELEMENT:  
                 case OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE:  
                         {  
                                 debug_origin=i.next().origin;  
                                 const String& context_name=*i.next().value->get_string();  debug_name=&context_name;  
   
                                 DEBUG_PRINT_STRING(context_name)  #define DO_GET_OBJECT_VAR_ELEMENT(code) {\
                                   debug_origin=i.next().origin;                                                           \
                                 Value& object=get_element(*rcontext, context_name);                                  const String& context_name=*i.next().value->get_string();  debug_name=&context_name;    \
                                   DEBUG_PRINT_STRING(context_name)                                                        \
                                 debug_origin=i.next().origin;                                  Value& object=get_element(*rcontext, context_name);                                     \
                                 const String& var_name=*i.next().value->get_string();  debug_name=&var_name;                                  debug_origin=i.next().origin;                                                           \
                                   const String& var_name=*i.next().value->get_string();  debug_name=&var_name;            \
                                 DEBUG_PRINT_STRING(var_name)                                  DEBUG_PRINT_STRING(var_name)                                                            \
                                   const String* field=&get_element(*rcontext, var_name).as_string();                      \
                                 const String* field=get_element(*rcontext, var_name).get_string();                                  code;                                                                                   \
                                   break;                                                                                  \
                           }
   
                   case OP::OP_GET_OBJECT_VAR_ELEMENT: DO_GET_OBJECT_VAR_ELEMENT({
                                 Value& value=get_element(object, *field);                                  Value& value=get_element(object, *field);
                                   stack.push(value);
                                 if(opcode==OP::OP_GET_OBJECT_VAR_ELEMENT){                          })
                                         stack.push(value);                  case OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE: DO_GET_OBJECT_VAR_ELEMENT({
                                 } else {                                  Value& value=get_element(object, *field);
                                         write_assign_lang(value);                                  write_assign_lang(value);
                                 }                          })
                                 break;  #ifdef FEATURE_GET_ELEMENT4CALL
                         }                  case OP::OP_GET_OBJECT_VAR_ELEMENT4CALL: DO_GET_OBJECT_VAR_ELEMENT({
                                   Value& value=get_element4call(object, *field);
                                   stack.push(value);
                           })
   #endif
 #endif  #endif
   
                 case OP::OP_GET_ELEMENT:                  case OP::OP_GET_ELEMENT:
Line 542  void Request::execute(ArrayOperation& op Line 597  void Request::execute(ArrayOperation& op
                                 break;                                  break;
                         }                          }
   
   #ifdef FEATURE_GET_ELEMENT4CALL
                   case OP::OP_GET_ELEMENT4CALL:
                           {
                                   const String& name=stack.pop().string();  debug_name=&name;
                                   Value& ncontext=stack.pop().value();
                                   Value& value=get_element4call(ncontext, name);
                                   stack.push(value);
                                   break;
                           }
   #endif
   
                 case OP::OP_GET_ELEMENT__WRITE:                  case OP::OP_GET_ELEMENT__WRITE:
                         {                          {
                                 const String& name=stack.pop().string();  debug_name=&name;                                  const String& name=stack.pop().string();  debug_name=&name;
Line 575  void Request::execute(ArrayOperation& op Line 641  void Request::execute(ArrayOperation& op
                                 write_assign_lang(value);                                  write_assign_lang(value);
                                 break;                                  break;
                         }                          }
   
                   case OP::OP_WITH_ROOT__VALUE__GET_ELEMENT:
                           {
                                   debug_origin=i.next().origin;
                                   const String& name=*i.next().value->get_string(); debug_name=&name;
   
                                   DEBUG_PRINT_STRING(name)
   
                                   Value& value=get_element(*method_frame, name);
                                   stack.push(value);
                                   break;
                           }
 #endif  #endif
   
 #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
Line 604  void Request::execute(ArrayOperation& op Line 682  void Request::execute(ArrayOperation& op
                                 WContext *saved_wcontext=wcontext;                                  WContext *saved_wcontext=wcontext;
                                 String::Language saved_lang=flang;                                  String::Language saved_lang=flang;
                                 flang=String::L_PASS_APPENDED;                                  flang=String::L_PASS_APPENDED;
                                 WWrapper local(0/*empty*/, wcontext);  #ifdef OPTIMIZE_SINGLE_STRING_WRITE
                                   WObjectPoolWrapper local(wcontext);
   #else
                                   WWrapper local(wcontext);
   #endif
                                 wcontext=&local;                                  wcontext=&local;
   
                                 execute(local_ops);                                  execute(local_ops);
Line 620  void Request::execute(ArrayOperation& op Line 702  void Request::execute(ArrayOperation& op
                                 ArrayOperation& local_ops=*i.next().ops;                                  ArrayOperation& local_ops=*i.next().ops;
   
                                 WContext *saved_wcontext=wcontext;                                  WContext *saved_wcontext=wcontext;
                                 WWrapper local(0 /*empty*/, wcontext);                                  WWrapper local(wcontext);
                                 wcontext=&local;                                  wcontext=&local;
   
                                 execute(local_ops);                                  execute(local_ops);
   
                                 Value* value;  
                                 // from "$a $b" part of expression taking only string value,                                  // from "$a $b" part of expression taking only string value,
                                 // ignoring any other content of wcontext                                  // ignoring any other content of wcontext
                                 if(const String* string=wcontext->get_string())                                  const String* string=wcontext->get_string();
                                         value=new VString(*string);                                  Value* value=string ? new VString(*string) : new VString();
                                 else  
                                         value=VVoid::get();  
                                 stack.push(*value);                                  stack.push(*value);
   
                                 wcontext=saved_wcontext;                                  wcontext=saved_wcontext;
Line 669  void Request::execute(ArrayOperation& op Line 748  void Request::execute(ArrayOperation& op
                                 break;                                  break;
                         }                          }
   
                 case OP::OP_PREPARE_TO_CONSTRUCT_OBJECT:  
                         {  
                                 wcontext->set_constructing(true);  
                                 break;  
                         }  
   
                 case OP::OP_PREPARE_TO_EXPRESSION:                  case OP::OP_PREPARE_TO_EXPRESSION:
                         {                          {
                                 wcontext->set_in_expression(true);                                  wcontext->set_in_expression(true);
                                 break;                                  break;
                         }                          }
   
   #define METHOD_FRAME_ACTION(action)                                                                                                     \
                   if(local_ops){                                                                                                                          \
                           size_t first = stack.top_index();                                                                               \
                           execute(*local_ops);                                                                                                    \
                           frame.store_params((Value**)stack.ptr(first), stack.top_index()-first); \
                           action;                                                                                                                                 \
                           stack.set_top_index(first);                                                                                             \
                   } else {                                                                                                                                        \
                           frame.empty_params();                                                                                                   \
                           action;                                                                                                                                 \
                   }
   
                 case OP::OP_CALL:                  case OP::OP_CALL:
                         {                          {
                                 ArrayOperation* local_ops=i.next().ops;                                  ArrayOperation* local_ops=i.next().ops;
Line 703  void Request::execute(ArrayOperation& op Line 788  void Request::execute(ArrayOperation& op
                                                                 value.type());                                                                  value.type());
                                 }                                  }
   
                                 VMethodFrame frame(*junction, method_frame);                                  Value *result;
                                   {
                                 if(local_ops){ // store param code goes here                                          VMethodFrame frame(*junction->method, method_frame, junction->self);
                                         size_t first = stack.top_index();                                          METHOD_FRAME_ACTION(op_call(frame));
                                         execute(*local_ops);                                          result=&frame.result().as_value();
                                         frame.store_params((Value**)stack.ptr(first), stack.top_index()-first);                                          // VMethodFrame desctructor deletes junctions in stack params here
                                         op_call(frame);  
                                         stack.set_top_index(first);  
                                 } else {  
                                         frame.empty_params();  
                                         op_call(frame);  
                                 }                                  }
                                   stack.push(*result);
                                 stack.push(frame.result().as_value());  
   
                                 DEBUG_PRINT_STR("<-returned")                                  DEBUG_PRINT_STR("<-returned")
   
Line 755  void Request::execute(ArrayOperation& op Line 834  void Request::execute(ArrayOperation& op
   
 #ifdef OPTIMIZE_CALL  #ifdef OPTIMIZE_CALL
                                 const Method& method=*junction->method;                                  const Method& method=*junction->method;
                                 if (!wcontext->get_constructing() && method.call_optimization==Method::CO_WITHOUT_FRAME){                                  if(method.call_optimization==Method::CO_WITHOUT_FRAME){
                                         if(local_ops){ // store param code goes here                                          if(local_ops){ // store param code goes here
                                                 size_t first = stack.top_index();                                                  size_t first = stack.top_index();
                                                 execute(*local_ops);                                                  execute(*local_ops);
Line 771  void Request::execute(ArrayOperation& op Line 850  void Request::execute(ArrayOperation& op
                                                 method.check_actual_numbered_params(junction->self, &method_params);                                                  method.check_actual_numbered_params(junction->self, &method_params);
                                                 method.native_code(*this, method_params); // execute it                                                  method.native_code(*this, method_params); // execute it
                                         }                                          }
                                 } else if (!wcontext->get_constructing() && method.call_optimization==Method::CO_WITHOUT_WCONTEXT){                                  } else if(method.call_optimization==Method::CO_WITHOUT_WCONTEXT){
                                         VMethodFrame frame(*junction, method_frame);                                          VMethodFrame frame(method, method_frame, junction->self);
                                         if(local_ops){ // store param code goes here                                          METHOD_FRAME_ACTION(op_call_write(frame));
                                                 size_t first = stack.top_index();  
                                                 execute(*local_ops);  
   
                                                 frame.store_params((Value**)stack.ptr(first), stack.top_index()-first);  
                                                 op_call_write(frame);  
   
                                                 stack.set_top_index(first);  
                                         } else {  
                                                 frame.empty_params();  
                                                 op_call_write(frame);  
                                         }  
                                 } else                                   } else 
 #endif // OPTIMIZE_CALL  #endif // OPTIMIZE_CALL
                                 {                                  {
                                         VMethodFrame frame(*junction, method_frame);                                          VMethodFrame frame(method, method_frame, junction->self);
                                         if(local_ops){ // store param code goes here                                          METHOD_FRAME_ACTION(op_call(frame));
                                                 size_t first = stack.top_index();  
                                                 execute(*local_ops);  
   
                                                 frame.store_params((Value**)stack.ptr(first), stack.top_index()-first);  
                                                 op_call(frame);  
   
                                                 stack.set_top_index(first);  
                                         } else {  
                                                 frame.empty_params();  
                                                 op_call(frame);  
                                         }  
                                         write_pass_lang(frame.result());                                          write_pass_lang(frame.result());
                                 }                                  }
   
Line 817  void Request::execute(ArrayOperation& op Line 874  void Request::execute(ArrayOperation& op
                                 break;                                  break;
                         }                          }
   
                   case OP::OP_CONSTRUCT_OBJECT:
                   case OP::OP_CONSTRUCT_OBJECT__WRITE:
                           {
                                   debug_origin=i.next().origin;
                                   Value& vclass_name=*i.next().value;
                                   const String& class_name=*vclass_name.get_string(); debug_name=&class_name;
   
                                   DEBUG_PRINT_STRING(class_name)
   
                                   Value* class_value=get_class(class_name);
                                   if(!class_value)
                                           throw Exception(PARSER_RUNTIME,
                                                   &class_name,
                                                   "class is undefined"); 
   
                                   debug_origin=i.next().origin;
                                   Value& vconstructor_name=*i.next().value;
                                   const String& constructor_name=*vconstructor_name.get_string(); debug_name=&constructor_name;
   
                                   DEBUG_PRINT_STRING(constructor_name)
   
                                   Junction* constructor_junction=get_element(*class_value, constructor_name).get_junction();
                                   if(!constructor_junction)
                                           throw Exception(PARSER_RUNTIME,
                                                   &constructor_name,
                                                   "constructor must be declared in class '%s'", 
                                                   class_value->type());
   
                                   ArrayOperation* local_ops=i.next().ops;
                                   DEBUG_PRINT_OPS(local_ops)
                                   DEBUG_PRINT_STR("->\n")
   
                                   Value *result;
                                   {
                                           Value& object=construct(*class_value, *constructor_junction->method);
                                           VConstructorFrame frame(*constructor_junction->method, method_frame, object);
                                           METHOD_FRAME_ACTION(op_call(frame));
                                           object.enable_default_setter();
                                           result=&frame.result().as_value();
                                           // VMethodFrame desctructor deletes junctions in stack params here
                                   }
   
                                   if(opcode==OP::OP_CONSTRUCT_OBJECT)
                                           stack.push(*result);
                                   else
                                           write_pass_lang(*result);
   
                                   DEBUG_PRINT_STR("<-returned")
                                   break;
                           }
   
                 // expression ops: unary                  // expression ops: unary
                 case OP::OP_NEG:                  case OP::OP_NEG:
                         {                          {
Line 1148  void Request::execute(ArrayOperation& op Line 1256  void Request::execute(ArrayOperation& op
         rcontext=saved_rcontext;                        \          rcontext=saved_rcontext;                        \
         method_frame=saved_method_frame;          method_frame=saved_method_frame;
   
 void Request::op_call(VMethodFrame& frame){  
         const Junction &junction=frame.junction;  Value& Request::construct(Value &class_value, const Method &method){
         VStateless_class& called_class=*junction.self.get_class();          VStateless_class& called_class=*class_value.get_class();
         Value* new_self;  
           if(method.call_type!=Method::CT_STATIC) {
         if(wcontext->get_constructing()) {                  // this is a constructor call
                 wcontext->set_constructing(false);                  if(Value* result=called_class.create_new_value(fpool)) {
                 if(junction.method->call_type!=Method::CT_STATIC) {  
                         // this is a constructor call  
                         HashStringValue& new_object_fields=*new HashStringValue();  
                         if(new_self=called_class.create_new_value(fpool, new_object_fields)) {  
                                 // some stateless_class creatable derivates                                  // some stateless_class creatable derivates
                         } else                                   return *result;
                                 throw Exception(PARSER_RUNTIME,                  } else 
                                         0, //&frame.name(),  
                                         "is not a constructor, system class '%s' can be constructed only implicitly",   
                                                 called_class.name().cstr());  
   
                         frame.write(*new_self,   
                                 String::L_CLEAN  // not used, always an object, not string  
                         );  
                 } else  
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME,
                                 0, //&frame.name(),                                  0, //&frame.name(),
                                   "is not a constructor, system class '%s' can be constructed only implicitly", 
                                           called_class.type());
           } else
                   throw Exception(PARSER_RUNTIME,
                           0, //&frame.name(),
                                 "method is static and can not be used as constructor");                                  "method is static and can not be used as constructor");
         } else   }
                 new_self=&junction.self;  
   
         frame.set_self(*new_self);  
   
   void Request::op_call(VMethodFrame& frame){
         // see OP_PREPARE_TO_EXPRESSION          // see OP_PREPARE_TO_EXPRESSION
         frame.set_in_expression(wcontext->get_in_expression());          frame.set_in_expression(wcontext->get_in_expression());
                                                                   
         SAVE_CONTEXT          SAVE_CONTEXT
   
         rcontext=wcontext=&frame;          rcontext=wcontext=method_frame=&frame;
         method_frame=&frame;  
   
         const Method& method=*junction.method;          Value& self=frame.self();
         Method::Call_type call_type=&called_class==new_self ? Method::CT_STATIC : Method::CT_DYNAMIC;          const Method& method=frame.method;
           Method::Call_type call_type=self.get_class()==&self ? Method::CT_STATIC : Method::CT_DYNAMIC;
   
         if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type?          if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type?
                 if(method.native_code) { // native code?                  if(method.native_code) { // native code?
                         method.check_actual_numbered_params(junction.self, frame.numbered_params());                          method.check_actual_numbered_params(self, frame.numbered_params());
                         method.native_code(*this, *frame.numbered_params()); // execute it                          method.native_code(*this, *frame.numbered_params()); // execute it
                 } else // parser code, execute it                  } else // parser code, execute it
                         recoursion_checked_execute(*method.parser_code);                          recoursion_checked_execute(*method.parser_code);
Line 1202  void Request::op_call(VMethodFrame& fram Line 1301  void Request::op_call(VMethodFrame& fram
                         call_type==Method::CT_STATIC?"statically":"dynamically");                          call_type==Method::CT_STATIC?"statically":"dynamically");
   
         RESTORE_CONTEXT          RESTORE_CONTEXT
         //return &frame;  
 }  }
   
 void Request::op_call_write(VMethodFrame& frame){  void Request::op_call_write(VMethodFrame& frame){
         const Junction &junction=frame.junction;  
   
         frame.set_self(junction.self);  
   
         VMethodFrame *saved_method_frame=method_frame;          VMethodFrame *saved_method_frame=method_frame;
         Value* saved_rcontext=rcontext;          Value* saved_rcontext=rcontext;
   
         rcontext=&frame;          rcontext=&frame;
         method_frame=&frame;          method_frame=&frame;
   
         const Method& method=*junction.method;          Value& self=frame.self();
         Method::Call_type call_type=junction.self.get_class()==&junction.self ? Method::CT_STATIC : Method::CT_DYNAMIC;          const Method& method=frame.method;
           Method::Call_type call_type=self.get_class()==&self ? Method::CT_STATIC : Method::CT_DYNAMIC;
   
         if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type?          if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type?
                 if(method.native_code) { // native code?                  if(method.native_code) { // native code?
                         method.check_actual_numbered_params(junction.self, frame.numbered_params());                          method.check_actual_numbered_params(self, frame.numbered_params());
                         method.native_code(*this, *frame.numbered_params()); // execute it                          method.native_code(*this, *frame.numbered_params()); // execute it
                 } else // parser code, execute it                  } else // parser code, execute it
                         recoursion_checked_execute(*method.parser_code);                          recoursion_checked_execute(*method.parser_code);
Line 1235  void Request::op_call_write(VMethodFrame Line 1330  void Request::op_call_write(VMethodFrame
         method_frame=saved_method_frame;          method_frame=saved_method_frame;
 }  }
   
 /**  
         @bug ^superbase:method would dynamically call ^base:method if there is any  
 */  
 Value& Request::get_element(Value& ncontext, const String& name) {  Value& Request::get_element(Value& ncontext, const String& name) {
         if(!wcontext->get_constructing() // not constructing  #ifdef FEATURE_GET_ELEMENT4CALL
                 && wcontext->get_somebody_entered_some_class() ) // ^class:method          Value* value=ncontext.get_element(name);
                         if(VStateless_class *called_class=ncontext.get_class())          return *(value ? &process_to_value(*value) : VVoid::get());
                                 if(VStateless_class *read_class=rcontext->get_class())  }
                                         if(read_class->derived_from(*called_class)) // current derived from called  
                                                 if(Value* base=get_self().base()) { // doing DYNAMIC call  
                                                         Temp_derived temp_derived(*base, 0); // temporarily prevent go-back-down virtual calls   
                                                         Value *value=base->get_element(name, *base, true); // virtual-up lookup starting from parent  
                                                         return *(value ? &process_to_value(*value) : VVoid::get());  
                                                 }  
   
         Value* value=ncontext.get_element(name, ncontext, true);  
   
         if(value && wcontext->get_constructing())  Value& Request::get_element4call(Value& ncontext, const String& name) {
                 if(Junction* junction=value->get_junction())  #endif
                         if(junction->self.get_class()!=&ncontext)          if(wcontext->get_somebody_entered_some_class()) // ^class:method
                                 throw Exception(PARSER_RUNTIME,                  if(VStateless_class *called_class=ncontext.get_class())
                                         &name,                          if(VStateless_class *read_class=rcontext->get_class())
                                         "constructor must be declared in class '%s'",                                   if(read_class->derived_from(*called_class)){ // current derived from called
                                                 ncontext.get_class()->name_cstr());                                          Value *value=called_class->get_element(get_self(), name);
                                           return *(value ? &process_to_value(*value) : VVoid::get());
                                   }
   
   #ifdef FEATURE_GET_ELEMENT4CALL
           Value* value=ncontext.get_element4call(name);
   #else
           Value* value=ncontext.get_element(name);
   #endif
         return *(value ? &process_to_value(*value) : VVoid::get());          return *(value ? &process_to_value(*value) : VVoid::get());
 }  }
   
 void Request::put_element(Value& ncontext, const String& name, Value* value) {  void Request::put_element(Value& ncontext, const String& name, Value* value) {
         // put_element can return property-setting-junction          // put_element can return property-setting-junction
         if(const VJunction* vjunction=ncontext.put_element(ncontext, name, value, false))          if(const VJunction* vjunction=ncontext.put_element(name, value))
                 if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT) {                  if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT) {
                         // process it                          const Junction& junction = vjunction->junction();
                         VMethodFrame frame(vjunction->junction(), method_frame/*caller*/);                          VConstructorFrame frame(*junction.method, method_frame /*caller*/, junction.self);
                         int param_count=frame.method_params_count();  
   
                         if(param_count!=1)                          size_t param_count=frame.method_params_count();
                                 throw Exception(PARSER_RUNTIME,  
                                         0,  
                                         "setter method must have ONE parameter (has %d parameters)", param_count);  
   
                         frame.store_params(&value, 1);                          if(junction.auto_name){ 
                         frame.set_self(frame.junction.self);                                  // default setter
                                   if(param_count!=2)
                                           throw Exception(PARSER_RUNTIME,
                                                   0,
                                                   "default setter method must have TWO parameters (has %d parameters)", param_count);
   
                                   Value* params[2] = { new VString(*junction.auto_name), value };
                                   frame.store_params(params, 2);
   
                                   Temp_disable_default_setter temp(junction.self);
                                   execute_method(frame);
                           } else {
                                   // setter
                                   if(param_count!=1)
                                           throw Exception(PARSER_RUNTIME,
                                                   0,
                                                   "setter method must have ONE parameter (has %d parameters)", param_count);
   
                         SAVE_CONTEXT                                  frame.store_params(&value, 1);
                                   execute_method(frame);
                           }
                   }
   }
   
                         rcontext=wcontext=&frame;  StringOrValue Request::process_getter(Junction& junction) {
                         method_frame=&frame;          VMethodFrame frame(*junction.method, method_frame/*caller*/, junction.self);
           size_t param_count=frame.method_params_count();
   
           if(junction.auto_name){ 
                   // default getter
                   Value *param;
   
                         // prevent non-string writes for better error reporting [setters are not expected to return anything]                  if(param_count){
                         wcontext->write(*method_frame);                          if(param_count>1)
                                   throw Exception(PARSER_RUNTIME,
                                           0,
                                           "default getter method can't have more then 1 parameter (has %d parameters)", param_count);
                           param=new VString(*junction.auto_name);
                           frame.store_params(&param, 1);
                   } // no need for else frame.empty_params()
   
                         recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it                  Temp_disable_default_getter temp(junction.self);
                         // we don't need it StringOrValue result=wcontext->result();                  execute_method(frame);
           } else {
                   // getter
                   if(param_count!=0)
                           throw Exception(PARSER_RUNTIME,
                                   0,
                                   "getter method must have no parameters (has %d parameters)", param_count);
                   
                   // no need for frame.empty_params()
                   execute_method(frame);
           }
   
                         RESTORE_CONTEXT          return frame.result();
                 }  
 }  }
   
 /**     @param intercept_string  /**     @param intercept_string
Line 1305  void Request::put_element(Value& ncontex Line 1432  void Request::put_element(Value& ncontex
   
         using the fact it's either string_ or value_ result requested to speed up checkes          using the fact it's either string_ or value_ result requested to speed up checkes
 */  */
   
 StringOrValue Request::process(Value& input_value, bool intercept_string) {  StringOrValue Request::process(Value& input_value, bool intercept_string) {
         Junction* junction=input_value.get_junction();          Junction* junction=input_value.get_junction();
         if(junction) {          if(junction) {
                 if(junction->is_getter) { // is it a getter-junction?                  if(junction->is_getter) { // is it a getter-junction?
                         VMethodFrame frame(*junction, method_frame/*caller*/);                          return process(process_getter(*junction).as_value(), intercept_string);
                         int param_count=frame.method_params_count();  
   
                         if(param_count){  
                                 if(junction->auto_name){ // default getter  
                                         if(param_count==1){  
                                                 Value *param=new VString(*junction->auto_name);  
                                                 frame.store_params(&param, 1);  
                                         } else  
                                                 throw Exception(PARSER_RUNTIME,  
                                                         0,  
                                                         "default getter method can't have more then 1 parameter (has %d parameters)", param_count);  
                                 } else  
                                         throw Exception(PARSER_RUNTIME,  
                                                 0,  
                                                 "getter method must have no parameters (has %d parameters)", param_count);  
                         } // no need for else frame.empty_params()  
   
                         frame.set_self(frame.junction.self);  
   
                         SAVE_CONTEXT  
   
                         rcontext=wcontext=&frame;  
                         method_frame=&frame;  
   
                         recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it  
                         StringOrValue result=wcontext->result();  
   
                         RESTORE_CONTEXT  
   
                         return result;  
                 }                  }
   
                 if(junction->code) { // is it a code-junction?                  if(junction->code) { // is it a code-junction?
Line 1350  StringOrValue Request::process(Value& in Line 1448  StringOrValue Request::process(Value& in
   
                         if(!junction->method_frame)                          if(!junction->method_frame)
                                 throw Exception(PARSER_RUNTIME,                                  throw Exception(PARSER_RUNTIME,
                                 0,                                          0,
                                 "junction used outside of context");                                          "junction used outside of context");
   
                         SAVE_CONTEXT                          SAVE_CONTEXT
   
Line 1375  StringOrValue Request::process(Value& in Line 1473  StringOrValue Request::process(Value& in
                                 result=wcontext->result();                                  result=wcontext->result();
                         } else {                          } else {
                                 // plain wwrapper                                  // plain wwrapper
                                 WWrapper local(0/*empty*/, wcontext);                                  WWrapper local(wcontext);
                                 wcontext=&local;                                  wcontext=&local;
   
                                 // execute it                                  // execute it
Line 1401  StringOrValue Request::process(Value& in Line 1499  StringOrValue Request::process(Value& in
 void Request::process_write(Value& input_value) {  void Request::process_write(Value& input_value) {
         Junction* junction=input_value.get_junction();          Junction* junction=input_value.get_junction();
         if(junction) {          if(junction) {
                 if(junction->is_getter) { // is it a getter-junction?                  // no getter-junction check as process_write is called
                         VMethodFrame frame(*junction, method_frame/*caller*/);                  // to process method arguments, not from get_element
                         int param_count=frame.method_params_count();  
   
                         if(param_count){  
                                 if(junction->auto_name){ // default getter  
                                         if(param_count==1){  
                                                 Value *param=new VString(*junction->auto_name);  
                                                 frame.store_params(&param, 1);  
                                         } else   
                                                 throw Exception(PARSER_RUNTIME,  
                                                         0,  
                                                         "default getter method can't have more then 1 parameter (has %d parameters)", param_count);  
                                 } else   
                                         throw Exception(PARSER_RUNTIME,  
                                                 0,  
                                                 "getter method must have no parameters (has %d parameters)", param_count);  
                         } // no need for else frame.empty_params()  
   
                         frame.set_self(frame.junction.self);  
   
                         SAVE_CONTEXT  
   
                         rcontext=wcontext=&frame;  
                         method_frame=&frame;  
   
                         recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it  
   
                         RESTORE_CONTEXT  
   
                         write_pass_lang(frame.result());  
                         return;  
                 }  
   
                 if(junction->code) { // is it a code-junction?                  if(junction->code) { // is it a code-junction?
                                                         // process it                                                          // process it
Line 1472  void Request::process_write(Value& input Line 1539  void Request::process_write(Value& input
                                 write_pass_lang(local.result());                                  write_pass_lang(local.result());
                         } else {                          } else {
                                 // plain wwrapper                                  // plain wwrapper
                                 WWrapper local(0/*empty*/, wcontext);                                  WWrapper local(wcontext);
                                 wcontext=&local;                                  wcontext=&local;
   
                                 // execute it                                  // execute it
Line 1493  void Request::process_write(Value& input Line 1560  void Request::process_write(Value& input
         write_pass_lang(input_value);          write_pass_lang(input_value);
 }  }
   
 StringOrValue Request::execute_method(VMethodFrame& amethod_frame, const Method& method) {  void Request::execute_method(VMethodFrame& aframe) {
         SAVE_CONTEXT          SAVE_CONTEXT
                   
         // initialize contexts          // initialize contexts
         rcontext=wcontext=method_frame=&amethod_frame;          rcontext=wcontext=method_frame=&aframe;
                   
         // execute!               // execute!     
         execute(*method.parser_code);          recoursion_checked_execute(*aframe.method.parser_code);
           
         // result  
         StringOrValue result=wcontext->result();  
                   
         RESTORE_CONTEXT          RESTORE_CONTEXT
           
         // return  
         return result;  
 }  }
   
 const String* Request::execute_method(Value& aself,   const String* Request::execute_method(Value& aself, 
                                         const Method& method, Value* optional_param,                                          const Method& method, Value* optional_param,
                                         bool do_return_string) {                                          bool do_return_string) {
   
         SAVE_CONTEXT          VMethodFrame local_frame(method, method_frame/*caller*/, aself);
           
         Junction local_junction(aself, &method);  
         VMethodFrame local_frame(local_junction, method_frame/*caller*/);  
         if(optional_param && local_frame.method_params_count()>0) {          if(optional_param && local_frame.method_params_count()>0) {
                 local_frame.store_params(&optional_param, 1);                  local_frame.store_params(&optional_param, 1);
         } else {          } else {
                 local_frame.empty_params();                  local_frame.empty_params();
         }          }
         local_frame.set_self(aself);  
         rcontext=wcontext=method_frame=&local_frame;   
   
         // prevent non-string writes for better error reporting          // prevent non-string writes for better error reporting
         if(do_return_string)          if(do_return_string)
                 wcontext->write(local_frame);                  local_frame.write(local_frame);
           
         // execute!       
         execute(*method.parser_code);  
                   
         // result          execute_method(local_frame);
         const String* result=0;  
         if(do_return_string)  
                 result=&wcontext->result().as_string();  
                   
         RESTORE_CONTEXT          return do_return_string ? local_frame.get_string() : 0;
   
         return result;  
 }  }
   
 Request::Execute_nonvirtual_method_result   Request::Execute_nonvirtual_method_result 
Line 1558  Request::execute_nonvirtual_method(VStat Line 1607  Request::execute_nonvirtual_method(VStat
   
 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, aself, false))          if(Value* value=aself.get_element(method_name))
                 if(Junction* junction=value->get_junction())                  if(Junction* junction=value->get_junction())
                         if(const Method *method=junction->method)                           if(const Method *method=junction->method) 
                                 return execute_method(aself, *method, 0/*no params*/, true);                                  return execute_method(aself, *method, 0/*no params*/, true);
                                                   
         return 0;          return 0;
 }  }
   
   const String* Request::get_method_filename(const Method* method){
           if(ArrayOperation* code=method->parser_code)
                   if(code){
                           Operation::Origin origin={0, 0, 0};
                           Array_iterator<Operation> i(*code);
                           while( i.has_next() ){
                                   switch( i.next().code ){
                                           case OP::OP_CURLY_CODE__STORE_PARAM: 
                                           case OP::OP_EXPR_CODE__STORE_PARAM:
                                           case OP::OP_CURLY_CODE__CONSTRUCT:
                                           case OP::OP_NESTED_CODE:
                                           case OP::OP_OBJECT_POOL:
                                           case OP::OP_STRING_POOL:
                                           case OP::OP_CALL:
                                           case OP::OP_CALL__WRITE:
                                                   {
                                                           i.next(); // skip local ops
                                                           i.next(); // skip next opcode
                                                           // continue execution
                                                   }
                                           case OP::OP_CONSTRUCT_OBJECT:
                                           case OP::OP_CONSTRUCT_OBJECT__WRITE:
                                           case OP::OP_VALUE:
                                           case OP::OP_STRING__WRITE:
                                           case OP::OP_VALUE__GET_CLASS:
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
                                           case OP::OP_GET_OBJECT_ELEMENT:
                                           case OP::OP_GET_OBJECT_ELEMENT__WRITE:
   #endif
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
                                           case OP::OP_GET_OBJECT_VAR_ELEMENT:
                                           case OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE:
   #endif
   #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
                                           case OP::OP_VALUE__GET_ELEMENT:
                                           case OP::OP_VALUE__GET_ELEMENT__WRITE:
                                           case OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR:
                                           case OP::OP_WITH_ROOT__VALUE__GET_ELEMENT:
   #endif
   #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
                                           case OP::OP_WITH_SELF__VALUE__GET_ELEMENT:
                                           case OP::OP_WITH_SELF__VALUE__GET_ELEMENT__WRITE:
   #endif
   
   #ifdef FEATURE_GET_ELEMENT4CALL
                                           case OP::OP_GET_ELEMENT4CALL:
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
                                           case OP::OP_GET_OBJECT_ELEMENT4CALL:
   #endif
   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
                                           case OP::OP_GET_OBJECT_VAR_ELEMENT4CALL:
   #endif
   #endif // FEATURE_GET_ELEMENT4CALL
   
   #ifdef OPTIMIZE_BYTECODE_CONSTRUCT
                                           case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR:
                                           case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE:
                                           case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR:
                                           case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE:
                                           case OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR:
                                           case OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE:
   #endif
                                                   {
                                                           origin=i.next().origin;
                                                           break;
                                                   }
                                           default: break;
                                   }
                                   if(origin.file_no)
                                           return get_used_filename(origin.file_no);
                           }
                   }
           return 0;
   }
   
Removed from v.1.346  
changed lines
  Added in v.1.381

E-mail: