Diff for /parser3/src/classes/op.C between versions 1.215 and 1.239

version 1.215, 2013/08/21 12:11:13 version 1.239, 2016/10/11 19:56:41
Line 1 Line 1
 /** @file  /** @file
         Parser: parser @b operators.          Parser: parser @b operators.
   
         Copyright (c) 2001-2012 Art. Lebedev Studio (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)
 */  */
   
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"
 #define PROCESS_MAIN_OPTION_NAME "main"  
 #define PROCESS_FILE_OPTION_NAME "file"  
 #define PROCESS_LINENO_OPTION_NAME "lineno"  
   
 // class  // class
   
Line 64  static const String exception_var_name(E Line 57  static const String exception_var_name(E
 class Untaint_lang_name2enum: public HashString<String::Language> {  class Untaint_lang_name2enum: public HashString<String::Language> {
 public:  public:
         Untaint_lang_name2enum() {          Untaint_lang_name2enum() {
                 #define ULN(name, LANG) \                  #define ULN(name, LANG) put(name, (value_type)(String::L_##LANG));
                         put(String::Body(name), (value_type)(String::L_##LANG));  
                 ULN("clean", CLEAN);                  ULN("clean", CLEAN);
                 ULN("as-is", AS_IS);                  ULN("as-is", AS_IS);
                 ULN("optimized-as-is", AS_IS|String::L_OPTIMIZE_BIT);                  ULN("optimized-as-is", AS_IS|String::L_OPTIMIZE_BIT);
Line 94  static void _if(Request& r, MethodParams Line 86  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){
Line 122  static void _untaint(Request& r, MethodP Line 114  static void _untaint(Request& r, MethodP
                 Value& vbody=params.as_junction(params.count()-1, "body must be code");                  Value& vbody=params.as_junction(params.count()-1, "body must be code");
                                   
                 Temp_lang temp_lang(r, lang); // set temporarily specified ^untaint[language;                  Temp_lang temp_lang(r, lang); // set temporarily specified ^untaint[language;
                 StringOrValue result=r.process(vbody); // process marking tainted with that lang                  Value& result=r.process(vbody); // process marking tainted with that lang
                 r.write_assign_lang(result);                  r.write_assign_lang(result);
         }          }
 }  }
Line 158  static void _process(Request& r, MethodP Line 150  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                  // temporary remove language change
                 Temp_lang temp_lang(r, String::L_PARSER_CODE);                  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;
                 int line_no_alias_offset=0;                  int line_no_alias_offset=0;
                   bool allow_class_replace=false;
   
                 size_t options_index=index+1;                  size_t options_index=index+1;
                 if(options_index<params.count())                  if(options_index<params.count())
                         if(HashStringValue* options=params.as_hash(options_index)) {                          if(HashStringValue* options=params.as_hash(options_index)) {
   
                                 int valid_options=0;                                  int valid_options=0;
                                 if(Value* vmain_alias=options->get(PROCESS_MAIN_OPTION_NAME)) {                                  for(HashStringValue::Iterator i(*options); i; i.next() ){
                                         valid_options++;  
                                         main_alias=&vmain_alias->as_string();                                          String::Body key=i.key();
                                 }                                          Value* value=i.value();
                                 if(Value* vfile_alias=options->get(PROCESS_FILE_OPTION_NAME)) {  
                                         valid_options++;                                          if(key == "main") {
                                         file_alias=&vfile_alias->as_string();                                                  valid_options++;
                                 }                                                  main_alias=&value->as_string();
                                 if(Value* vline_no_alias_offset=options->get(PROCESS_LINENO_OPTION_NAME)) {                                          } else if(key == "file") {
                                         valid_options++;                                                  valid_options++;
                                         line_no_alias_offset=vline_no_alias_offset->as_int();                                                  file_alias=&value->as_string();
                                           } else if(key == "lineno") {
                                                   valid_options++;
                                                   line_no_alias_offset=value->as_int();
                                           } else if(key == "replace") {
                                                   valid_options++;
                                                   allow_class_replace=r.process(*value).as_bool();
                                           }
                                 }                                  }
                   
                                 if(valid_options!=options->count())                                  if(valid_options!=options->count())
                                         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.absolute(*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
                 const String& source=r.process_to_string(vjunction);                  const String& source=r.process_to_string(vjunction);
                 r.use_buf(*target_class,  
                         source.untaint_cstr(String::L_AS_IS, r.connection(false)),                  Temp_class_replace class_replace(r, allow_class_replace);
                         main_alias,  
                         processe_file_no,                  r.use_buf(*target_class, source.untaint_cstr(String::L_AS_IS, r.connection(false)), main_alias, processe_file_no, line_no_alias_offset);
                         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 243  static void _while(Request& r, MethodPar Line 240  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);                          Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);
   
                         const String* s_processed=sv_processed.get_string();                          const String* s_processed=sv_processed.get_string();
Line 268  static void _while(Request& r, MethodPar Line 263  static void _while(Request& r, MethodPar
                 }                  }
         } 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);
Line 288  static void _while(Request& r, MethodPar Line 281  static void _while(Request& r, MethodPar
 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);          Value& vfile=params.as_no_junction(0, FILE_NAME_MUST_NOT_BE_CODE);
   
           bool allow_class_replace=false;
   
           if(params.count()==2)
                   if(HashStringValue* options=params.as_hash(1)) {
                           int valid_options=0;
                           for(HashStringValue::Iterator i(*options); i; i.next() ){
   
                                   String::Body key=i.key();
                                   Value* value=i.value();
   
                                   if(key == "replace") {
                                           valid_options++;
                                           allow_class_replace=r.process(*value).as_bool();
                                   }
   
                           if(valid_options!=options->count())
                                   throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
                           }
                   }
   
           Temp_class_replace class_replace(r, allow_class_replace);
   
         // _use could be called from the parser3 method only, so caller is always defined          // _use could be called from the parser3 method only, so caller is always defined
         r.use_file(r.main_class, vfile.as_string(), r.get_method_filename(&r.get_method_frame()->caller()->method));          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 _for(Request& r, MethodParams& params) {  static void _for(Request& r, MethodParams& params) {
Line 318  static void _for(Request& r, MethodParam Line 330  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);
   
         VMethodFrame& caller=*r.get_method_frame()->caller();          VMethodFrame& caller=*r.get_method_frame()->caller();
         caller.put_element(var_name, vint, false);          r.put_element(caller, var_name, vint);
         if(delim_maybe_code){ // delimiter set           if(delim_maybe_code){ // delimiter set 
                 bool need_delim=false;                  bool need_delim=false;
   
                 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);                          Request::Skip lskip=r.get_skip(); r.set_skip(Request::SKIP_NOTHING);
   
                         const String* s_processed=sv_processed.get_string();                          const String* s_processed=sv_processed.get_string();
Line 364  static void _for(Request& r, MethodParam Line 374  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()){
Line 434  public: Line 443  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.write_pass_lang(r.process(*selected_code));
 }  }
Line 467  static void _case(Request& r, MethodPara Line 476  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 490  static void _case(Request& r, MethodPara Line 499  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 516  static Try_catch_result try_catch(Reques Line 536  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, false);  
   
                 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, false);  
   
                 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 554  static Try_catch_result try_catch(Reques Line 570  static Try_catch_result try_catch(Reques
         return result;          return result;
 }  }
   
   static Value& process_try_body_code(Request& r, Value* body_code) {
           return r.process(*body_code);
   }
   
 // cache--  // cache--
   
 // consts  // consts
Line 590  struct Locked_process_and_cache_put_acti Line 610  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 615  static void locked_process_and_cache_put Line 635  static void locked_process_and_cache_put
                 } else                  } else
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME,
                                 result.exception_should_be_handled,                                  result.exception_should_be_handled,
                                 "$"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 658  const String* locked_process_and_cache_p Line 678  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) {  static Cache_get_result cache_get(Request_charsets& charsets, const String& file_spec, time_t now) {
         Cache_get_result result={0, false};          Cache_get_result result={0, false};
   
Line 694  static time_t as_expires(Request& r, Met Line 716  static time_t as_expires(Request& r, Met
                                                 int index, time_t now) {                                                  int index, time_t now) {
         time_t result;          time_t result;
         if(Value* vdate=params[index].as(VDATE_TYPE))          if(Value* vdate=params[index].as(VDATE_TYPE))
                 result=static_cast<VDate*>(vdate)->get_time();                  result=(time_t)(static_cast<VDate*>(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.absolute(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,                          throw Exception(PARSER_RUNTIME, 0, "expire-time get without cache");
                                 0,                  r.write_no_lang(*new VDate((pa_time_t)scope->expires));
                                 "expire-time get without cache");  
                 r.write_no_lang(*new VDate(scope->expires));  
                 return;                  return;
         }          }
   
Line 783  static void _cache(Request& r, MethodPar Line 805  static void _cache(Request& r, MethodPar
                 cache_delete(file_spec);                  cache_delete(file_spec);
         }          }
                   
         // process without cacheing          // process without caching
         const String& processed_body=r.process_to_string(body_code);          if(catch_code){
         // write it out                   Try_catch_result result=try_catch(r, process_try_body_code, &body_code, catch_code);
         r.write_assign_lang(processed_body);                  r.write_assign_lang(result.processed_code);
           } else {
                   r.write_assign_lang(r.process_to_string(body_code));
           }
 }  }
   
 static StringOrValue process_try_body_code(Request& r, Value* body_code) {  
         return r.process(*body_code);  
 }  
 static void _try_operator(Request& r, MethodParams& params) {  static void _try_operator(Request& r, MethodParams& params) {
         Value& body_code=params.as_junction(0, "body_code must be code");          Value& body_code=params.as_junction(0, "body_code must be code");
         Value& catch_code=params.as_junction(1, "catch_code must be code");          Value& catch_code=params.as_junction(1, "catch_code must be code");
         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{
                 result=try_catch(r,                   // process try and catch code
                         process_try_body_code, &body_code,                  result=try_catch(r, process_try_body_code, &body_code, &catch_code);
                         &catch_code);  
                 if(result.exception_should_be_handled)  
                         throw Exception(PARSER_RUNTIME,  
                                 result.exception_should_be_handled,  
                                 "catch block must set $exception.handled to some boolean value, not string");  
         } 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_pass_lang(result.processed_code);
   
         // write out processed finally code                  // write out processed finally code
         if(finally_code)  
                 r.write_pass_lang(finally_result);                  r.write_pass_lang(finally_result);
           } else {
                   // no exception in try/catch, writing processed body_code or catch_code
                   r.write_pass_lang(result.processed_code);
           }
   
 }  }
   
 static void _throw_operator(Request&, MethodParams& params) {  static void _throw_operator(Request&, MethodParams& params) {
Line 867  static void _bpt(Request&, MethodParams& Line 893  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 889  VClassMAIN::VClassMAIN(): VClass() { Line 914  VClassMAIN::VClassMAIN(): VClass() {
         // ^apply-taint[untaint lang][string]          // ^apply-taint[untaint lang][string]
         add_native_method("apply-taint", Method::CT_ANY, _apply_taint, 1, 2, Method::CO_WITHOUT_FRAME);          add_native_method("apply-taint", Method::CT_ANY, _apply_taint, 1, 2, Method::CO_WITHOUT_FRAME);
   
         // ^process[code]          // ^process{code}
           // ^process[context]{code}[options hash]
         add_native_method("process", Method::CT_ANY, _process, 1, 3);          add_native_method("process", Method::CT_ANY, _process, 1, 3);
   
         // ^rem{code}          // ^rem{code}
Line 898  VClassMAIN::VClassMAIN(): VClass() { Line 924  VClassMAIN::VClassMAIN(): VClass() {
         // ^while(condition){code}          // ^while(condition){code}
         add_native_method("while", Method::CT_ANY, _while, 2, 3, Method::CO_WITHOUT_FRAME);          add_native_method("while", Method::CT_ANY, _while, 2, 3, Method::CO_WITHOUT_FRAME);
   
         // ^use[file]          // ^use[file[;options hash]]
         add_native_method("use", Method::CT_ANY, _use, 1, 1);          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);
   
         // ^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.215  
changed lines
  Added in v.1.239


E-mail: