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

Diff for /parser3/src/classes/op.C between versions 1.224 and 1.271

version 1.224, 2015/10/26 01:21:54 version 1.271, 2024/12/23 16:59:17
Line 1 Line 1
 /** @file  /** @file
         Parser: parser @b operators.          Parser: parser @b operators.
   
         Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com)          Copyright (c) 2001-2024 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru>
 */  */
   
 #include "classes.h"  #include "classes.h"
Line 20 Line 20
   
 volatile const char * IDENT_OP_C="$Id$";  volatile const char * IDENT_OP_C="$Id$";
   
 // limits  
   
 #define MAX_LOOPS 20000  
   
 // defines  // defines
   
 #define CASE_DEFAULT_VALUE "DEFAULT"  #define CASE_DEFAULT_VALUE "DEFAULT"
Line 80  public: Line 76  public:
                 ULN("json", JSON);                  ULN("json", JSON);
                 #undef ULN                  #undef ULN
         }          }
 } untaint_lang_name2enum;  
           static Untaint_lang_name2enum &instance(){
                   static Untaint_lang_name2enum *singleton=NULL;
                   if(!singleton)
                           singleton=new Untaint_lang_name2enum;
                   return *singleton;
           }
   
   };
   
 // methods  // methods
   
Line 90  static void _if(Request& r, MethodParams Line 94  static void _if(Request& r, MethodParams
         do {          do {
                 bool condition=params.as_bool(i, "condition must be expression", r);                  bool condition=params.as_bool(i, "condition must be expression", r);
                 if(condition) {                  if(condition) {
                         r.process_write(*params.get(i+1));                          r.process_write(params[i+1]);
                         return;                          return;
                 }                  }
                 i+=2;                  i+=2;
         } while (i < max_param);          } while (i < max_param);
   
         if(i == max_param)          if(i == max_param)
                 r.process_write(*params.get(i));                  r.process_write(params[i]);
 }  }
   
 String::Language get_untaint_lang(const String& lang_name){  String::Language get_untaint_lang(const String& lang_name){
         String::Language lang=untaint_lang_name2enum.get(lang_name);          String::Language lang=Untaint_lang_name2enum::instance().get(lang_name);
         if(!lang)          if(!lang)
                 throw Exception(PARSER_RUNTIME, &lang_name, "invalid taint language");                  throw Exception(PARSER_RUNTIME, &lang_name, "invalid taint language");
         return lang;          return lang;
Line 110  String::Language get_untaint_lang(const Line 114  String::Language get_untaint_lang(const
 static void _untaint(Request& r, MethodParams& params) {  static void _untaint(Request& r, MethodParams& params) {
         String::Language lang;          String::Language lang;
         if(params.count()==1)          if(params.count()==1)
                 lang=String::L_AS_IS; // mark as simply 'as-is'. useful in html from sql                   lang=String::L_AS_IS; // mark as simply 'as-is'. useful in html from sql
         else          else
                 lang=get_untaint_lang(params.as_string(0, "lang must be string"));                  lang=get_untaint_lang(params.as_string(0, "lang must be string"));
   
         {          Value& vbody=params.as_junction(params.count()-1, "body must be code");
                 Value& vbody=params.as_junction(params.count()-1, "body must be code");          Value& result=r.process(vbody);
                   
                 Temp_lang temp_lang(r, lang); // set temporarily specified ^untaint[language;          if(const String* string=result.get_string()){
                 StringOrValue result=r.process(vbody); // process marking tainted with that lang                  String &untainted=*new String();
                 r.write_assign_lang(result);                  string->append_to(untainted, lang); // mark all tainted to specified language
         }                  r.write(untainted);
           } else
                   r.write(result); // this is not normal, just backward compatibility
 }  }
   
 static void _taint(Request& r, MethodParams& params) {  static void _taint(Request& r, MethodParams& params) {
Line 134  static void _taint(Request& r, MethodPar Line 140  static void _taint(Request& r, MethodPar
                 Value& vbody=params.as_no_junction(params.count()-1, "body must not be code");                  Value& vbody=params.as_no_junction(params.count()-1, "body must not be code");
                                   
                 String result(vbody.as_string(), lang); // force result language to specified                  String result(vbody.as_string(), lang); // force result language to specified
                 r.write_assign_lang(result);                  r.write(result);
         }          }
 }  }
   
Line 142  static void _apply_taint(Request& r, Met Line 148  static void _apply_taint(Request& r, Met
         String::Language lang=params.count()==1 ? String::L_AS_IS : get_untaint_lang(params.as_string(0, "lang must be string"));          String::Language lang=params.count()==1 ? String::L_AS_IS : get_untaint_lang(params.as_string(0, "lang must be string"));
         const String &sbody=params.as_string(params.count()-1, "body must be string");          const String &sbody=params.as_string(params.count()-1, "body must be string");
         String::Body result_body=sbody.cstr_to_string_body_untaint(lang, r.connection(false), &r.charsets);          String::Body result_body=sbody.cstr_to_string_body_untaint(lang, r.connection(false), &r.charsets);
         r.write_pass_lang(*new String(result_body, String::L_AS_IS));          r.write(*new String(result_body, String::L_AS_IS));
 }  }
   
 static void _process(Request& r, MethodParams& params) {  static void _process(Request& r, MethodParams& params) {
Line 154  static void _process(Request& r, MethodP Line 160  static void _process(Request& r, MethodP
         if(maybe_target_self.get_string() || maybe_target_self.get_junction())          if(maybe_target_self.get_string() || maybe_target_self.get_junction())
                 target_self=&r.get_method_frame()->caller()->self();                  target_self=&r.get_method_frame()->caller()->self();
         else {          else {
                 target_self=&maybe_target_self;  index++;                  target_self=&maybe_target_self;
                   if(params.count()==1)
                           throw Exception(PARSER_RUNTIME, 0, "no body specified");
                   index++;
         }          }
   
         {          {
                 VStateless_class *target_class=target_self->get_class();                  VStateless_class *target_class=target_self->get_class();
                 if(!target_class)                  if(!target_class)
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME, 0, "no target class");
                                 0,  
                                 "no target class");  
   
                 // temporary remove language change  
                 Temp_lang temp_lang(r, String::L_PARSER_CODE);  
                 // temporary zero @main so to maybe-replace it in processed code                  // temporary zero @main so to maybe-replace it in processed code
                 Temp_method temp_method_main(*target_class, main_method_name, 0);                  Temp_method temp_method_main(*target_class, main_method_name, 0);
                 // temporary zero @auto so it wouldn't be auto-called in Request::use_buf  
                 Temp_method temp_method_auto(*target_class, auto_method_name, 0);  
   
                 const String* main_alias=0;                  const String* main_alias=0;
                 const String* file_alias=0;                  const String* file_alias=0;
Line 197  static void _process(Request& r, MethodP Line 200  static void _process(Request& r, MethodP
                                                 line_no_alias_offset=value->as_int();                                                  line_no_alias_offset=value->as_int();
                                         } else if(key == "replace") {                                          } else if(key == "replace") {
                                                 valid_options++;                                                  valid_options++;
                                                 allow_class_replace=r.process_to_value(*value).as_bool();                                                  allow_class_replace=r.process(*value).as_bool();
                                         }                                          }
                                 }                                  }
   
Line 205  static void _process(Request& r, MethodP Line 208  static void _process(Request& r, MethodP
                                         throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);                                          throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
                         }                          }
   
                 uint processe_file_no=file_alias?                  uint processe_file_no=file_alias ? r.register_file(r.full_disk_path(*file_alias)) : pseudo_file_no__process;
                         r.register_file(r.absolute(*file_alias))  
                         : pseudo_file_no__process;  
                 // process...{string}                  // process...{string}
                 Value& vjunction=params.as_junction(index, "body must be code");                  Value& vjunction=params.as_junction(index, "body must be code");
                 // evaluate source to process                  // evaluate source to process
Line 215  static void _process(Request& r, MethodP Line 216  static void _process(Request& r, MethodP
   
                 Temp_class_replace class_replace(r, allow_class_replace);                  Temp_class_replace class_replace(r, allow_class_replace);
   
                 r.use_buf(*target_class,                  r.use_buf(*target_class, source.untaint_cstr(String::L_PARSER_CODE, r.connection(false)), main_alias, processe_file_no, line_no_alias_offset);
                         source.untaint_cstr(String::L_AS_IS, r.connection(false)),  
                         main_alias,  
                         processe_file_no,  
                         line_no_alias_offset);  
   
                 // main_method                  // main_method
                 main_method=target_class->get_method(main_method_name);                  main_method=target_class->get_method(main_method_name);
Line 227  static void _process(Request& r, MethodP Line 224  static void _process(Request& r, MethodP
         // after restoring current-request-lang          // after restoring current-request-lang
         // maybe-execute @main[]          // maybe-execute @main[]
         if(main_method) {          if(main_method) {
                 VMethodFrame frame(*main_method, r.get_method_frame()->caller(), *target_self);                  METHOD_FRAME_ACTION(*main_method, r.get_method_frame()->caller(), *target_self, {
                 frame.empty_params();                          frame.empty_params();
                 r.op_call(frame);                          r.call(frame);
                 r.write_pass_lang(frame.result());                          r.write(frame.result());
                   });
         }          }
 }  }
                   
Line 251  static void _while(Request& r, MethodPar Line 249  static void _while(Request& r, MethodPar
         if(delim_maybe_code){ // delimiter set          if(delim_maybe_code){ // delimiter set
                 bool need_delim=false;                  bool need_delim=false;
                 while(true) {                  while(true) {
                         if(++endless_loop_count>=MAX_LOOPS) // endless loop?                          if(++endless_loop_count>=pa_loop_limit) // endless loop?
                                 throw Exception(PARSER_RUNTIME,                                  throw Exception(PARSER_RUNTIME, 0, "endless loop detected");
                                         0,  
                                         "endless loop detected");  
   
                         if(!r.process_to_value(vcondition, false/*don't intercept string*/).as_bool())                          if(!r.process(vcondition).as_bool())
                                 break;                                  break;
   
                         StringOrValue sv_processed=r.process(body_code);                          Value& sv_processed=r.process(body_code);
                         Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);                          TempSkip4Delimiter skip(r);
   
                         const String* s_processed=sv_processed.get_string();                          const String* s_processed=sv_processed.get_string();
                         if(s_processed && !s_processed->is_empty()) { // we have body                          if(s_processed && !s_processed->is_empty()) { // we have body
                                 if(need_delim) // need delim & iteration produced string?                                  if(need_delim) // need delim & iteration produced string?
                                         r.write_pass_lang(r.process(*delim_maybe_code));                                          r.write(r.process(*delim_maybe_code));
                                 else                                  else
                                         need_delim=true;                                          need_delim=true;
                         }                          }
                         r.write_pass_lang(sv_processed);                          r.write(sv_processed);
   
                         if(lskip==Request::SKIP_BREAK)                          if(skip.check_break())
                                 break;                                  break;
                 }                  }
         } else {          } else {
                 while(true) {                  while(true) {
                         if(++endless_loop_count>=MAX_LOOPS) // endless loop?                          if(++endless_loop_count>=pa_loop_limit) // endless loop?
                                 throw Exception(PARSER_RUNTIME,                                  throw Exception(PARSER_RUNTIME, 0, "endless loop detected");
                                         0,  
                                         "endless loop detected");  
   
                         if(!r.process_to_value(vcondition, false/*don't intercept string*/).as_bool())                          if(!r.process(vcondition).as_bool())
                                 break;                                  break;
   
                         r.process_write(body_code);                          r.process_write(body_code);
                         Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);  
   
                         if(lskip==Request::SKIP_BREAK)                          if(r.check_skip_break())
                                 break;                                  break;
                 }                  }
         }          }
 }  }
   
 static void _use(Request& r, MethodParams& params) {  static void _use(Request& r, MethodParams& params) {
         Value& vfile=params.as_no_junction(0, FILE_NAME_MUST_NOT_BE_CODE);          const String& file_name=params.as_file_name(0);
   
           const String* use_origin=0;
         bool allow_class_replace=false;          bool allow_class_replace=false;
           bool load_auto_p=false;
   
         if(params.count()==2)          if(params.count()==2)
                 if(HashStringValue* options=params.as_hash(1)) {                  if(HashStringValue* options=params.as_hash(1)) {
Line 306  static void _use(Request& r, MethodParam Line 301  static void _use(Request& r, MethodParam
                                 String::Body key=i.key();                                  String::Body key=i.key();
                                 Value* value=i.value();                                  Value* value=i.value();
   
                                   if(key == "origin") {
                                           valid_options++;
                                           use_origin=&value->as_string();
                                   }
   
                                 if(key == "replace") {                                  if(key == "replace") {
                                         valid_options++;                                          valid_options++;
                                         allow_class_replace=r.process_to_value(*value).as_bool();                                          allow_class_replace=r.process(*value).as_bool();
                                 }                                  }
   
                         if(valid_options!=options->count())                                  if(key == "main") {
                                 throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);                                          valid_options++;
                                           load_auto_p=r.process(*value).as_bool();
                                   }
   
                                   if(valid_options!=options->count())
                                           throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
                         }                          }
                 }                  }
   
           if(!use_origin)
                   if(VMethodFrame* caller=r.get_method_frame()->caller())
                           use_origin=r.get_method_filespec(&caller->method);
   
         Temp_class_replace class_replace(r, allow_class_replace);          Temp_class_replace class_replace(r, allow_class_replace);
   
         // _use could be called from the parser3 method only, so caller is always defined          r.use_file(file_name, use_origin, load_auto_p);
         r.use_file(r.main_class, vfile.as_string(), r.get_method_filename(&r.get_method_frame()->caller()->method));  
 }  }
   
 static void set_skip(Request& r, Request::Skip askip) {  static void set_skip(Request& r, Request::Skip askip) {
         if(!r.get_in_cycle())          if(!r.get_in_cycle())
                 throw Exception(askip==Request::SKIP_BREAK?"parser.break":"parser.continue",                  throw Exception(askip==Request::SKIP_BREAK ? "parser.break" : "parser.continue", 0, "without cycle");
                         0,  
                         "without cycle");  
   
         r.set_skip(askip);          r.set_skip(askip);
 }  }
   
 static void _break(Request& r, MethodParams&) {  static void _break(Request& r, MethodParams& params) {
         set_skip(r, Request::SKIP_BREAK);          if(!params.count() || params.as_bool(0, "condition must be expression", r)) set_skip(r, Request::SKIP_BREAK);
 }  }
   
 static void _continue(Request& r, MethodParams&) {  static void _continue(Request& r, MethodParams& params) {
         set_skip(r, Request::SKIP_CONTINUE);          if(!params.count() || params.as_bool(0, "condition must be expression", r)) set_skip(r, Request::SKIP_CONTINUE);
   }
   
   static void _return(Request& r, MethodParams& params) {
           VMethodFrame& caller=*r.get_method_frame()->caller();
           if(params.count())
                   r.put_element(caller, Symbols::RESULT_SYMBOL, &r.process(params[0]));
           r.set_skip_return(caller);
 }  }
   
 static void _for(Request& r, MethodParams& params) {  static void _for(Request& r, MethodParams& params) {
Line 348  static void _for(Request& r, MethodParam Line 360  static void _for(Request& r, MethodParam
         Value& body_code=params.as_junction(3, "body must be code");          Value& body_code=params.as_junction(3, "body must be code");
         Value* delim_maybe_code=params.count()>4?&params[4]:0;          Value* delim_maybe_code=params.count()>4?&params[4]:0;
   
         if(to-from>=MAX_LOOPS) // too long loop?          if(to-from>=pa_loop_limit) // too long loop?
                 throw Exception(PARSER_RUNTIME,                  throw Exception(PARSER_RUNTIME, 0, "endless loop detected");
                         0,  
                         "endless loop detected");  
   
         VInt* vint=new VInt(0);          VInt* vint=new VInt(0);
   
Line 363  static void _for(Request& r, MethodParam Line 373  static void _for(Request& r, MethodParam
                 for(int i=from; i<=to; i++) {                  for(int i=from; i<=to; i++) {
                         vint->set_int(i);                          vint->set_int(i);
   
                         StringOrValue sv_processed=r.process(body_code);                          Value& sv_processed=r.process(body_code);
                         Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);                          TempSkip4Delimiter skip(r);
   
                         const String* s_processed=sv_processed.get_string();                          const String* s_processed=sv_processed.get_string();
                         if(s_processed && !s_processed->is_empty()) { // we have body                          if(s_processed && !s_processed->is_empty()) { // we have body
                                 if(need_delim) // need delim & iteration produced string?                                  if(need_delim) // need delim & iteration produced string?
                                         r.write_pass_lang(r.process(*delim_maybe_code));                                          r.write(r.process(*delim_maybe_code));
                                 else                                  else
                                         need_delim=true;                                          need_delim=true;
                         }                          }
                         r.write_pass_lang(sv_processed);                          r.write(sv_processed);
   
                         if(lskip==Request::SKIP_BREAK)                          if(skip.check_break())
                                 break;                                  break;
                 }                  }
         } else {          } else {
Line 383  static void _for(Request& r, MethodParam Line 393  static void _for(Request& r, MethodParam
                         vint->set_int(i);                          vint->set_int(i);
     
                         r.process_write(body_code);                          r.process_write(body_code);
                         Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);  
   
                         if(lskip==Request::SKIP_BREAK)                          if(r.check_skip_break())
                                 break;                                  break;
                 }                  }
         }          }
Line 394  static void _for(Request& r, MethodParam Line 403  static void _for(Request& r, MethodParam
 static void _eval(Request& r, MethodParams& params) {  static void _eval(Request& r, MethodParams& params) {
         Value& expr=params.as_junction(0, "need expression");          Value& expr=params.as_junction(0, "need expression");
         // evaluate expresion          // evaluate expresion
         Value& value_result=r.process_to_value(expr,           Value& value_result=r.process(expr).as_expr_result();
                 false/*don't intercept string*/).as_expr_result();  
         if(params.count()>1) {          if(params.count()>1) {
                 const String& fmt=params.as_string(1, "fmt must be string").trim();                  const String& fmt=params.as_string(1, "fmt must be string").trim();
                 if(fmt.is_empty()){                  if(fmt.is_empty()){
                         r.write_no_lang(value_result);                          r.write(value_result);
                 } else {                  } else {
                         r.write_no_lang(String(format(value_result.as_double(), fmt.cstrm())));                          r.write(String(format_double(value_result.as_double(), fmt.cstrm())));
                 }                  }
         } else          } else
                 r.write_no_lang(value_result);                  r.write(value_result);
 }  }
   
 static void _connect(Request& r, MethodParams& params) {  static void _connect(Request& r, MethodParams& params) {
Line 464  public: Line 472  public:
 };  };
 #endif  #endif
 static void _switch(Request& r, MethodParams& params) {  static void _switch(Request& r, MethodParams& params) {
         Switch_data* data=new Switch_data(r, r.process_to_value(params[0]));          Switch_data* data=new Switch_data(r, r.process(params[0]));
         Temp_hash_value<HashString<void*>, void*> switch_data_setter(&r.classes_conf, switch_data_name, data);          Temp_hash_value<HashString<void*>, void*> switch_data_setter(&r.classes_conf, switch_data_name, data);
   
         Value& cases_code=params.as_junction(1, "switch cases must be code");          Value& cases_code=params.as_junction(1, "switch cases must be code");
         // execution of found ^case[...]{code} must be in context of ^switch[...]{code}          // execution of found ^case[...]{code} must be in context of ^switch[...]{code}
         // because of stacked WWrapper used there as wcontext          // because of stacked WWrapper used there as wcontext
         r.process(cases_code, true/*intercept_string*/);          r.process(cases_code);
         if(Value* selected_code=data->found? data->found: data->_default)          if(Value* selected_code=data->found? data->found: data->_default)
                 r.write_pass_lang(r.process(*selected_code));                  r.process_write(*selected_code);
 }  }
   
 static void _case(Request& r, MethodParams& params) {  static void _case(Request& r, MethodParams& params) {
Line 497  static void _case(Request& r, MethodPara Line 505  static void _case(Request& r, MethodPara
 #endif  #endif
                   
         for(int i=0; i<count; i++){          for(int i=0; i<count; i++){
                 Value& value=r.process_to_value(params[i]);                  Value& value=r.process(params[i]);
   
                 if(value.is_string() && value.as_string() == CASE_DEFAULT_VALUE){                  if(value.is_string() && value.as_string() == CASE_DEFAULT_VALUE){
                         data->_default=code;                          data->_default=code;
Line 520  static void _case(Request& r, MethodPara Line 528  static void _case(Request& r, MethodPara
 }  }
 #ifndef DOXYGEN  #ifndef DOXYGEN
 struct Try_catch_result {  struct Try_catch_result {
         StringOrValue processed_code;          ValueRef processed_code;
         const String* exception_should_be_handled;          const String* exception_should_be_handled;
   
         Try_catch_result(): exception_should_be_handled(0) {}          Try_catch_result(): exception_should_be_handled(0) {}
 };  };
   
   /// Auto-object used for temporary changing Request::skip.
   class Temp_skip {
           Request& frequest;
           Request::Skip saved_skip;
   public:
           Temp_skip(Request& arequest) : frequest(arequest), saved_skip(arequest.get_skip()) {
                   arequest.set_skip(Request::SKIP_NOTHING);
           }
           ~Temp_skip() {
                   if(frequest.get_skip() == Request::SKIP_NOTHING)
                           frequest.set_skip(saved_skip);
           }
   };
 #endif  #endif
   
 /// used by ^try and ^cache, @returns $exception.handled[string] if any  /// used by ^try and ^cache, @returns $exception.handled[string] if any
 template<class I>  template<class I>
 static Try_catch_result try_catch(Request& r,   static Try_catch_result try_catch(Request& r, Value& body_code(Request&, I), I info, Value* catch_code, bool could_be_handled_by_caller=false) {
                   StringOrValue body_code(Request&, I), I info,   
                   Value* catch_code,  
                   bool could_be_handled_by_caller=false)   
 {  
         Try_catch_result result;          Try_catch_result result;
   
           // minor bug: context not restored if only finally code is present, see #1062
         if(!catch_code) {          if(!catch_code) {
                 result.processed_code=body_code(r, info);                  result.processed_code=body_code(r, info);
                 return result;                  return result;
Line 546  static Try_catch_result try_catch(Reques Line 565  static Try_catch_result try_catch(Reques
         try {          try {
                 result.processed_code=body_code(r, info);                  result.processed_code=body_code(r, info);
         } catch(const Exception& e) {          } catch(const Exception& e) {
                 Request_context_saver throw_context(r); // taking snapshot of throw-context [stack trace contains error]                  Request_context_saver throw_context(r); // remembering exception stack trace
   
                 Request::Exception_details details=r.get_details(e);                  Request::Exception_details details=r.get_details(e);
                 try_context.restore(); // restoring try-context to perform catch-code  
   
                 Junction* junction=catch_code->get_junction();                  try_context.restore(); // restoring try-context for code after try and catch-code
                 Value* method_frame=junction->method_frame;  
                 Value* saved_exception_var_value=method_frame->get_element(exception_var_name);  
                 VMethodFrame& frame=*junction->method_frame;  
                 frame.put_element(exception_var_name, &details.vhash);  
   
                 result.processed_code=r.process(*catch_code);                  {
                           Temp_value_element temp(r, *catch_code->get_junction()->method_frame, exception_var_name, &details.vhash);
                           Temp_skip temp_skip(r);
                           result.processed_code=r.process(*catch_code);
                   }
                                   
                 // retriving $exception.handled, restoring $exception var                  // retriving $exception.handled
                 Value* vhandled=details.vhash.hash().get(exception_handled_part_name);                  Value* vhandled=details.vhash.hash().get(exception_handled_part_name);
                 frame.put_element(exception_var_name, saved_exception_var_value);  
   
                 bool bhandled=false;                  bool bhandled=false;
                 if(vhandled) {                  if(vhandled) {
                         if(vhandled->is_string()) { // not simple $exception.handled(1/0)?                          if(vhandled->is_string()) { // not simple $exception.handled(1/0)?
                                 if(could_be_handled_by_caller) { // and we can possibly handle it                                  if(bhandled=could_be_handled_by_caller) { // and we can possibly handle it
                                         result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover                                          result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover
                                         return result;  
                                 }                                  }
                                   
                                 bhandled=false;  
                         } else                          } else
                                 bhandled=vhandled->as_bool();                                  bhandled=vhandled->as_bool();
                 }                  }
   
                 if(!bhandled) {                  if(!bhandled){
                         throw_context.restore(); // restoring throw-context [exception were not handled]                          throw_context.restore(); // restoring exception stack trace creared by try_context.restore()
                         rethrow;                          rethrow;
                 }                  }
         }          }
Line 584  static Try_catch_result try_catch(Reques Line 599  static Try_catch_result try_catch(Reques
         return result;          return result;
 }  }
   
 static StringOrValue process_try_body_code(Request& r, Value* body_code) {  static Value& process_try_body_code(Request& r, Value* body_code) {
         return r.process(*body_code);          return r.process(*body_code);
 }  }
   
Line 624  struct Locked_process_and_cache_put_acti Line 639  struct Locked_process_and_cache_put_acti
   
   
   
 static StringOrValue process_cache_body_code(Request& r, Value* body_code) {  static Value& process_cache_body_code(Request& r, Value* body_code) {
         return StringOrValue(r.process_to_string(*body_code));          return r.process(*body_code);
 }  }
   
 /* @todo maybe network order worth spending some effort?  /* @todo maybe network order worth spending some effort?
Line 652  static void locked_process_and_cache_put Line 667  static void locked_process_and_cache_put
                                 "$" EXCEPTION_VAR_NAME "." EXCEPTION_HANDLED_PART_NAME " value must be "                                  "$" EXCEPTION_VAR_NAME "." EXCEPTION_HANDLED_PART_NAME " value must be "
                                 "either boolean or string '" CACHE_EXCEPTION_HANDLED_CACHE_NAME "'");                                  "either boolean or string '" CACHE_EXCEPTION_HANDLED_CACHE_NAME "'");
         } else          } else
                 info.processed_code=&result.processed_code.as_string();                  info.processed_code=&((Value &)result.processed_code).as_string();
   
         // expiration time not spoiled by ^cache(0) or something?          // expiration time not spoiled by ^cache(0) or something?
         if(info.scope->expires > time(0)) {          if(info.scope->expires > time(0)) {
Line 692  const String* locked_process_and_cache_p Line 707  const String* locked_process_and_cache_p
                 cache_delete(file_spec);                  cache_delete(file_spec);
         return result;          return result;
 }  }
   
 #ifndef DOXYGEN  #ifndef DOXYGEN
 struct Cache_get_result {  struct Cache_get_result {
         const String* body;          const String* body;
         bool expired;          bool expired;
 };  };
 #endif  #endif
 static Cache_get_result cache_get(Request_charsets& charsets, const String& file_spec, time_t now) {  
         Cache_get_result result={0, false};  
   
         File_read_result file=file_read(charsets, file_spec,   static Cache_get_result cache_get(const String& file_spec, time_t now) {
                            false/*as_text*/,           Cache_get_result result={0, false};
                            0, //no params  
                            false/*fail_on_read_problem*/);  
         if(file.success && file.length/* ignore reads which are empty due to   
                         non-unary open+lockEX conflict with lockSH */) {  
                           
                 Data_string_serialized_prolog& prolog=  
                         *reinterpret_cast<Data_string_serialized_prolog *>(file.str);  
   
           File_read_result file=file_read_binary(file_spec, false /*fail_on_read_problem*/);
           if(file.success && file.length /*ignore reads which are empty due to non-unary open+lockEX conflict with lockSH*/) {
                   
                   Data_string_serialized_prolog& prolog = *reinterpret_cast<Data_string_serialized_prolog *>(file.str);
                   
                 String* body=new String;                  String* body=new String;
                 if(                  if(file.length>=sizeof(Data_string_serialized_prolog) && prolog.version==DATA_STRING_SERIALIZED_VERSION) {
                         file.length>=sizeof(Data_string_serialized_prolog)  
                         && prolog.version==DATA_STRING_SERIALIZED_VERSION) {  
                         if(body->deserialize(sizeof(Data_string_serialized_prolog),  file.str, file.length)) {                          if(body->deserialize(sizeof(Data_string_serialized_prolog),  file.str, file.length)) {
                                 result.body=body;                                  result.body=body;
                                 result.expired=prolog.expires <= now;                                  result.expired=prolog.expires <= now;
Line 724  static Cache_get_result cache_get(Reques Line 734  static Cache_get_result cache_get(Reques
   
         return result;          return result;
 }  }
 static time_t as_expires(Request& r, MethodParams& params,   
                                                 int index, time_t now) {  static time_t as_expires(Request& r, MethodParams& params, int index, time_t now) {
         time_t result;          time_t result;
         if(Value* vdate=params[index].as(VDATE_TYPE))          if(VDate* vdate=dynamic_cast<VDate*>(&params[index]))
                 result=(time_t)(static_cast<VDate*>(vdate)->get_time());                  result=vdate->get_time();
         else          else
                 result=now+(time_t)params.as_double(index, "lifespan must be date or number", r);                  result=now+(time_t)params.as_double(index, "lifespan must be date or number", r);
                   
         return result;          return result;
 }  }
   
 static const String& as_file_spec(Request& r, MethodParams& params, int index) {  static const String& as_file_spec(Request& r, MethodParams& params, int index) {
         return r.absolute(params.as_string(index, "filespec must be string"));          return r.full_disk_path(params.as_string(index, "filespec must be string"));
 }  }
   
 static void _cache(Request& r, MethodParams& params) {  static void _cache(Request& r, MethodParams& params) {
         if(params.count()==0) {          if(params.count()==0) {
                 // ^cache[] -- return current expiration time                  // ^cache[] -- return current expiration time
                 Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name));                  Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name));
                 if(!scope)                  if(!scope)
                         throw Exception(PARSER_RUNTIME, 0, "expire-time get without cache");                          throw Exception(PARSER_RUNTIME, 0, "expire-time get without cache");
                 r.write_no_lang(*new VDate((pa_time_t)scope->expires));                  r.write(*new VDate((pa_time_t)scope->expires));
                 return;                  return;
         }          }
   
Line 785  static void _cache(Request& r, MethodPar Line 797  static void _cache(Request& r, MethodPar
                 catch_code=&params.as_junction(3, "catch_code must be code");                  catch_code=&params.as_junction(3, "catch_code must be code");
   
         if(scope.expires>now) {          if(scope.expires>now) {
                 Cache_get_result cached=cache_get(r.charsets, file_spec, now);                  Cache_get_result cached=cache_get(file_spec, now);
   
                 if(cached.body) { // have cached copy                  if(cached.body) { // have cached copy
                         if(cached.expired) {                          if(cached.expired) {
                                 scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[]                                  scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[]
                         } else {                          } else {
                                 // and it's not expired yet write it out                                   // and it's not expired yet write it out 
                                 r.write_assign_lang(*cached.body);                                  r.write(*cached.body);
                                 // happy with it                                  // happy with it
                                 return;                                  return;
                         }                          }
Line 804  static void _cache(Request& r, MethodPar Line 816  static void _cache(Request& r, MethodPar
                 const String* processed_body=locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec);                  const String* processed_body=locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec);
                 if(processed_body){                  if(processed_body){
                         // write it out                           // write it out 
                         r.write_assign_lang(*processed_body);                          r.write(*processed_body);
                         // happy with it                          // happy with it
                         return;                          return;
                 } else {                  } else {
Line 818  static void _cache(Request& r, MethodPar Line 830  static void _cache(Request& r, MethodPar
         // process without caching          // process without caching
         if(catch_code){          if(catch_code){
                 Try_catch_result result=try_catch(r, process_try_body_code, &body_code, catch_code);                  Try_catch_result result=try_catch(r, process_try_body_code, &body_code, catch_code);
                 r.write_assign_lang(result.processed_code);                  r.write(result.processed_code);
         } else {          } else {
                 const String& processed_body=r.process_to_string(body_code);                  r.write(r.process_to_string(body_code));
                 r.write_assign_lang(processed_body);  
         }          }
 }  }
   
Line 831  static void _try_operator(Request& r, Me Line 842  static void _try_operator(Request& r, Me
         Value* finally_code=(params.count()==3) ? &params.as_junction(2, "finally_code must be code") : 0;          Value* finally_code=(params.count()==3) ? &params.as_junction(2, "finally_code must be code") : 0;
   
         Try_catch_result result;          Try_catch_result result;
         StringOrValue finally_result;  
         try{          try{
                   // process try and catch code
                 result=try_catch(r, process_try_body_code, &body_code, &catch_code);                  result=try_catch(r, process_try_body_code, &body_code, &catch_code);
         } catch(...){          } catch(...){
                 if(finally_code)                  // process finally code but ignore the result
                         finally_result=r.process(*finally_code);                  if(finally_code){
                           Temp_skip temp(r);
                           /* Value &finally_result= */ r.process(*finally_code);
                   }
                 rethrow;                  rethrow;
         }          }
   
         if(finally_code)          // process finally code
                 finally_result=r.process(*finally_code);          if(finally_code){
                   Temp_skip temp(r);
                   Value& finally_result=r.process(*finally_code);
   
         // write out processed body_code or catch_code                  // no exception in try/catch or finally, writing processed body_code or catch_code
         r.write_pass_lang(result.processed_code);                  r.write(result.processed_code);
   
         // write out processed finally code                  // write out processed finally code
         if(finally_code)                  r.write(finally_result);
                 r.write_pass_lang(finally_result);          } else {
                   // no exception in try/catch, writing processed body_code or catch_code
                   r.write(result.processed_code);
           }
 }  }
   
 static void _throw_operator(Request&, MethodParams& params) {  static void _throw_operator(Request&, MethodParams& params) {
Line 864  static void _throw_operator(Request&, Me Line 884  static void _throw_operator(Request&, Me
                         if(Value* value=hash->get(exception_comment_part_name))                          if(Value* value=hash->get(exception_comment_part_name))
                                 comment=value->as_string().cstr();                                  comment=value->as_string().cstr();
   
                         throw Exception(type,                          throw Exception(type, source, "%s", comment); // to avoid MAX_STRING limit
                                 source?source:0,  
                                 "%s", comment?comment:"");  
                 } else                  } else
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME, 0, "one-param version has hash or string param");
                                 0,  
                                 "one-param version has hash or string param");  
         } else {          } else {
                 const char* type=params.as_string(0, "type must be string").cstr();                  const char* type=params.as_string(0, "type must be string").cstr();
                 const String* source=params.count()>1? &params.as_string(1, "source must be string"):0;                  const String* source=params.count()>1 ? &params.as_string(1, "source must be string") : 0;
                 const char* comment=params.count()>2? params.as_string(2, "comment must be string").cstr():0;                  const char* comment=params.count()>2 ? params.as_string(2, "comment must be string").cstr() : 0;
                 throw Exception(type, source, "%s", comment?comment:"");                  throw Exception(type, source, "%s", comment); // to avoid MAX_STRING limit
         }          }
  }  }
   
 static void _sleep_operator(Request& r, MethodParams& params) {  static void _sleep_operator(Request& r, MethodParams& params) {
         double seconds=params.as_double(0, "seconds must be double", r);          double seconds=params.as_double(0, "seconds must be double", r);
         if(seconds>0)          if(seconds>0)
                 pa_sleep((int)trunc(seconds), (int)trunc((seconds-trunc(seconds))*1000000));                  pa_sleep((int)trunc(seconds), (int)trunc((seconds-trunc(seconds))*1000000));
  }  }
   
 #if defined(WIN32) && defined(_DEBUG)  #if defined(WIN32) && defined(_DEBUG) && !defined(_WIN64)
 #       define PA_BPT  #       define PA_BPT
 static void _bpt(Request&, MethodParams&) {  static void _bpt(Request&, MethodParams&) {
         _asm int 3;          _asm int 3;
Line 894  static void _bpt(Request&, MethodParams& Line 910  static void _bpt(Request&, MethodParams&
   
 // constructor  // constructor
   
 VClassMAIN::VClassMAIN(): VClass() {  VClassMAIN::VClassMAIN(): VClass(MAIN_CLASS_NAME) {
         set_name(*new String(MAIN_CLASS_NAME));  
   
 #ifdef PA_BPT  #ifdef PA_BPT
         // ^bpt[]          // ^bpt[]
Line 930  VClassMAIN::VClassMAIN(): VClass() { Line 945  VClassMAIN::VClassMAIN(): VClass() {
         add_native_method("use", Method::CT_ANY, _use, 1, 2);          add_native_method("use", Method::CT_ANY, _use, 1, 2);
   
         // ^break[]          // ^break[]
         add_native_method("break", Method::CT_ANY, _break, 0, 0, Method::CO_WITHOUT_FRAME);          // ^break(condition)
           add_native_method("break", Method::CT_ANY, _break, 0, 1, Method::CO_WITHOUT_FRAME);
   
         // ^continue[]          // ^continue[]
         add_native_method("continue", Method::CT_ANY, _continue, 0, 0, Method::CO_WITHOUT_FRAME);          // ^continue(condition)
           add_native_method("continue", Method::CT_ANY, _continue, 0, 1, Method::CO_WITHOUT_FRAME);
   
           // ^return[]
           // ^return[result]
           add_native_method("return", Method::CT_ANY, _return, 0, 1);
   
         // ^for[i](from-number;to-number-inclusive){code}[delim]          // ^for[i](from-number;to-number-inclusive){code}[delim]
         add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1, Method::CO_WITHOUT_WCONTEXT);          add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1);
   
         // ^eval(expr)          // ^eval(expr)
         // ^eval(expr)[format]          // ^eval(expr)[format]
Removed from v.1.224  
changed lines
  Added in v.1.271

E-mail: