Diff for /parser3/src/classes/op.C between versions 1.241 and 1.260

version 1.241, 2016/10/25 23:37:52 version 1.260, 2020/12/17 16:50:53
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-2020 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 116  static void _untaint(Request& r, MethodP Line 116  static void _untaint(Request& r, MethodP
         if(const String* string=result.get_string()){          if(const String* string=result.get_string()){
                 String &untainted=*new String();                  String &untainted=*new String();
                 string->append_to(untainted, lang); // mark all tainted to specified language                  string->append_to(untainted, lang); // mark all tainted to specified language
                 r.write_pass_lang(untainted);                  r.write(untainted);
         } else          } else
                 r.write_pass_lang(result); // this is not normal, just backward compatibility                  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 132  static void _taint(Request& r, MethodPar Line 132  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_pass_lang(result);                  r.write(result);
         }          }
 }  }
   
Line 140  static void _apply_taint(Request& r, Met Line 140  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 200  static void _process(Request& r, MethodP Line 200  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 ? r.register_file(r.absolute(*file_alias)) : pseudo_file_no__process;                  uint processe_file_no=file_alias ? r.register_file(r.full_disk_path(*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");
                 // temporary remove language change  
                 Temp_lang temp_lang(r, String::L_PARSER_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);
   
Line 218  static void _process(Request& r, MethodP Line 216  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.call(frame);                          r.call(frame);
                 r.write_pass_lang(frame.result());                          r.write(frame.result());
                   });
         }          }
 }  }
                   
Line 249  static void _while(Request& r, MethodPar Line 248  static void _while(Request& r, MethodPar
                                 break;                                  break;
   
                         Value& 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 272  static void _while(Request& r, MethodPar Line 271  static void _while(Request& r, MethodPar
                                 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;
                 }                  }
         }          }
Line 283  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);
   
           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 293  static void _use(Request& r, MethodParam Line 293  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(*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(vfile.as_string(), 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) {
Line 323  static void _continue(Request& r, Method Line 336  static void _continue(Request& r, Method
         if(!params.count() || params.as_bool(0, "condition must be expression", r)) 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) {
         InCycle temp(r);          InCycle temp(r);
   
Line 346  static void _for(Request& r, MethodParam Line 366  static void _for(Request& r, MethodParam
                         vint->set_int(i);                          vint->set_int(i);
   
                         Value& 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 365  static void _for(Request& r, MethodParam Line 385  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 380  static void _eval(Request& r, MethodPara Line 399  static void _eval(Request& r, MethodPara
         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(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 453  static void _switch(Request& r, MethodPa Line 472  static void _switch(Request& r, MethodPa
         // because of stacked WWrapper used there as wcontext          // because of stacked WWrapper used there as wcontext
         r.process(cases_code);          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 691  struct Cache_get_result { Line 710  struct Cache_get_result {
 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};
   
         File_read_result file=file_read(charsets, file_spec,           File_read_result file=file_read_binary(file_spec, false /*fail_on_read_problem*/);
                            false/*as_text*/,           if(file.success && file.length /*ignore reads which are empty due to non-unary open+lockEX conflict with lockSH*/) {
                            0, //no params                  
                            false/*fail_on_read_problem*/);                  Data_string_serialized_prolog& prolog = *reinterpret_cast<Data_string_serialized_prolog *>(file.str);
         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 714  static Cache_get_result cache_get(Reques Line 726  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(Value* vdate=params[index].as(VDATE_TYPE))
                 result=(time_t)(static_cast<VDate*>(vdate)->get_time());                  result=(time_t)(static_cast<VDate*>(vdate)->get_time());
Line 726  static time_t as_expires(Request& r, Met Line 738  static time_t as_expires(Request& r, Met
 }  }
   
 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) {
Line 735  static void _cache(Request& r, MethodPar Line 747  static void _cache(Request& r, MethodPar
                 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 784  static void _cache(Request& r, MethodPar Line 796  static void _cache(Request& r, MethodPar
                                 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_pass_lang(*cached.body);                                  r.write(*cached.body);
                                 // happy with it                                  // happy with it
                                 return;                                  return;
                         }                          }
Line 796  static void _cache(Request& r, MethodPar Line 808  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_pass_lang(*processed_body);                          r.write(*processed_body);
                         // happy with it                          // happy with it
                         return;                          return;
                 } else {                  } else {
Line 810  static void _cache(Request& r, MethodPar Line 822  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_pass_lang(result.processed_code);                  r.write(result.processed_code);
         } else {          } else {
                 r.write_pass_lang(r.process_to_string(body_code));                  r.write(r.process_to_string(body_code));
         }          }
 }  }
   
Line 830  static void _try_operator(Request& r, Me Line 842  static void _try_operator(Request& r, Me
                 // process finally code but ignore the result                  // process finally code but ignore the result
                 if(finally_code){                  if(finally_code){
                         Temp_skip temp(r);                          Temp_skip temp(r);
                         Value &finally_result=r.process(*finally_code);                          /* Value &finally_result= */ r.process(*finally_code);
                 }                  }
                 rethrow;                  rethrow;
         }          }
Line 841  static void _try_operator(Request& r, Me Line 853  static void _try_operator(Request& r, Me
                 Value& finally_result=r.process(*finally_code);                  Value& finally_result=r.process(*finally_code);
   
                 // no exception in try/catch or finally, writing 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
                 r.write_pass_lang(finally_result);                  r.write(finally_result);
         } else {          } else {
                 // no exception in try/catch, writing processed body_code or catch_code                  // no exception in try/catch, writing processed body_code or catch_code
                 r.write_pass_lang(result.processed_code);                  r.write(result.processed_code);
         }          }
   
 }  }
Line 865  static void _throw_operator(Request&, Me Line 877  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,                          Exception e(type, source, 0);
                                 source?source:0,                          e.add_comment(comment); // to avoid MAX_LENGTH limit
                                 "%s", comment?comment:"");                          throw e;
                 } 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:"");                  Exception e(type, source, 0);
                   e.add_comment(comment); // to avoid MAX_LENGTH limit
                   throw e;
         }          }
  }   }
   
Line 886  static void _sleep_operator(Request& r, Line 898  static void _sleep_operator(Request& r,
                 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 937  VClassMAIN::VClassMAIN(): VClass(MAIN_CL Line 949  VClassMAIN::VClassMAIN(): VClass(MAIN_CL
         // ^continue(condition)          // ^continue(condition)
         add_native_method("continue", Method::CT_ANY, _continue, 0, 1, Method::CO_WITHOUT_FRAME);          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);          add_native_method("for", Method::CT_ANY, _for, 3+1, 3+1+1);
   

Removed from v.1.241  
changed lines
  Added in v.1.260


E-mail: