[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.199 and 1.255

version 1.199, 2010/05/20 04:36:36 version 1.255, 2020/06/27 09:45:49
Line 1 Line 1
 /** @file  /** @file
         Parser: parser @b operators.          Parser: parser @b operators.
   
         Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2017 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 static const char * const IDENT_OP_C="$Date$";  
   
 #include "classes.h"  #include "classes.h"
 #include "pa_vmethod_frame.h"  #include "pa_vmethod_frame.h"
   
Line 20  static const char * const IDENT_OP_C="$D Line 18  static const char * const IDENT_OP_C="$D
 #include "pa_vclass.h"  #include "pa_vclass.h"
 #include "pa_charset.h"  #include "pa_charset.h"
   
 // limits  volatile const char * IDENT_OP_C="$Id$";
   
 #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 81  public: Line 73  public:
                 ULN("optimized-html", HTML|String::L_OPTIMIZE_BIT);                  ULN("optimized-html", HTML|String::L_OPTIMIZE_BIT);
                 ULN("regex", REGEX);                  ULN("regex", REGEX);
                 ULN("parser-code", PARSER_CODE);                  ULN("parser-code", PARSER_CODE);
                   ULN("json", JSON);
                 #undef ULN                  #undef ULN
         }          }
 } untaint_lang_name2enum;  } untaint_lang_name2enum;
Line 88  public: Line 81  public:
 // methods  // methods
   
 static void _if(Request& r, MethodParams& params) {  static void _if(Request& r, MethodParams& params) {
         bool condition=params.as_bool(0, "condition must be expression", r);          size_t max_param=params.count()-1;
         if(condition)          size_t i=0;
                 r.process_write(*params.get(1));          do {
         else if(params.count()>2)                  bool condition=params.as_bool(i, "condition must be expression", r);
                 r.process_write(*params.get(2));                  if(condition) {
                           r.process_write(params[i+1]);
                           return;
                   }
                   i+=2;
           } while (i < max_param);
   
           if(i == max_param)
                   r.process_write(params[i]);
 }  }
   
 static String::Language get_untaint_lang(MethodParams& params, int index){  String::Language get_untaint_lang(const String& lang_name){
         const String& lang_name=params.as_string(index, "lang must be string");  
         String::Language lang=untaint_lang_name2enum.get(lang_name);          String::Language lang=untaint_lang_name2enum.get(lang_name);
         if(!lang)          if(!lang)
                 throw Exception(PARSER_RUNTIME,                  throw Exception(PARSER_RUNTIME, &lang_name, "invalid taint language");
                         &lang_name,  
                         "invalid taint language");  
         return lang;          return lang;
 }  }
   
 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, 0);                  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 126  static void _taint(Request& r, MethodPar Line 126  static void _taint(Request& r, MethodPar
         if(params.count()==1)          if(params.count()==1)
                 lang=String::L_TAINTED; // mark as simply 'tainted'. useful in table:create                  lang=String::L_TAINTED; // mark as simply 'tainted'. useful in table:create
         else          else
                 lang=get_untaint_lang(params, 0);                  lang=get_untaint_lang(params.as_string(0, "lang must be string"));
   
         {          {
                 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);
         }          }
 }  }
   
   static void _apply_taint(Request& r, MethodParams& params) {
           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");
           String::Body result_body=sbody.cstr_to_string_body_untaint(lang, r.connection(false), &r.charsets);
           r.write(*new String(result_body, String::L_AS_IS));
   }
   
 static void _process(Request& r, MethodParams& params) {  static void _process(Request& r, MethodParams& params) {
         Method* main_method;          Method* main_method;
   
Line 145  static void _process(Request& r, MethodP Line 152  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);  
   
                 size_t options_index=index+1;  
                 HashStringValue* options=0;  
                 if(options_index<params.count()) {  
                         Value& voptions=params.as_no_junction(options_index, OPTIONS_MUST_NOT_BE_CODE);  
                         options=voptions.get_hash();  
                         if(!options)  
                                 throw Exception(PARSER_RUNTIME,  
                                         0,  
                                         "options must be hash");  
                 }  
   
                 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;
                 if(options) {                  bool allow_class_replace=false;
                         int valid_options=0;  
                         if(Value* vmain_alias=options->get(PROCESS_MAIN_OPTION_NAME)) {                  size_t options_index=index+1;
                                 valid_options++;                  if(options_index<params.count())
                                 main_alias=&vmain_alias->as_string();                          if(HashStringValue* options=params.as_hash(options_index)) {
                         }  
                         if(Value* vfile_alias=options->get(PROCESS_FILE_OPTION_NAME)) {                                  int valid_options=0;
                                 valid_options++;                                  for(HashStringValue::Iterator i(*options); i; i.next() ){
                                 file_alias=&vfile_alias->as_string();  
                         }                                          String::Body key=i.key();
                         if(Value* vline_no_alias_offset=options->get(PROCESS_LINENO_OPTION_NAME)) {                                          Value* value=i.value();
                                 valid_options++;  
                                 line_no_alias_offset=vline_no_alias_offset->as_int();                                          if(key == "main") {
                                                   valid_options++;
                                                   main_alias=&value->as_string();
                                           } else if(key == "file") {
                                                   valid_options++;
                                                   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())
                                           throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
                         }                          }
           
                         if(valid_options!=options->count())  
                                 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_PARSER_CODE, 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 216  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) {
                 // temporarily set method_frame's self to target_self                  METHOD_FRAME_ACTION(*main_method, r.get_method_frame()->caller(), *target_self, {
                 Temp_method_frame_self tmfs(*r.get_method_frame(), *target_self);                          frame.empty_params();
                 // execute!                               r.call(frame);
                 r.execute(*main_method->parser_code);                          r.write(frame.result());
                   });
         }          }
 }  }
                   
Line 240  static void _while(Request& r, MethodPar Line 241  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;
                 }                  }
         }          }
Line 285  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);
   
         // _use could be called from the parser3 method only, so caller is always defined          bool allow_class_replace=false;
         r.use_file(r.main_class, vfile.as_string(), r.get_method_filename(r.get_method_frame()->caller()->junction.method));          const String* use_origin=0;
   
           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(key == "origin") {
                                           valid_options++;
                                           use_origin=&value->as_string();
                                   }
   
                                   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);
   
           r.use_file(r.main_class, vfile.as_string(), use_origin);
 }  }
   
 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(PARSER_RUNTIME,                  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& params) {
           if(!params.count() || params.as_bool(0, "condition must be expression", r)) set_skip(r, Request::SKIP_CONTINUE);
 }  }
   
 static void _continue(Request& r, MethodParams&) {  static void _return(Request& r, MethodParams& params) {
         set_skip(r, Request::SKIP_CONTINUE);          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 315  static void _for(Request& r, MethodParam Line 346  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);                          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 350  static void _for(Request& r, MethodParam Line 379  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 361  static void _for(Request& r, MethodParam Line 389  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(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) {
 #ifdef RESOURCES_DEBUG  
 struct timeval mt[2];  
 #endif  
         Value& url=params.as_no_junction(0, "url must not be code");          Value& url=params.as_no_junction(0, "url must not be code");
         Value& body_code=params.as_junction(1, "body must be code");          Value& body_code=params.as_junction(1, "body must be code");
   
Line 388  struct timeval mt[2]; Line 412  struct timeval mt[2];
                 }                  }
         }          }
   
 #ifdef RESOURCES_DEBUG  
 //measure:before  
 gettimeofday(&mt[0],NULL);  
 #endif  
         // connect          // connect
         SQL_Connection* connection=SQL_driver_manager->get_connection(url.as_string(),           SQL_Connection* connection=SQL_driver_manager->get_connection(url.as_string(), 
                 protocol2driver_and_client,                  protocol2driver_and_client,
                 r.charsets.source().NAME().cstr(),                  r.charsets.source().NAME().cstr(),
                 r.request_info.document_root);                  r.request_info.document_root);
   
 #ifdef RESOURCES_DEBUG  
 //measure:after connect  
 gettimeofday(&mt[1],NULL);  
   
 double t[2];  
 for(int i=0;i<2;i++)  
     t[i]=mt[i].tv_sec+mt[i].tv_usec/1000000.0;  
   
 r.sql_connect_time+=t[1]-t[0];  
 #endif  
         Temp_connection temp_connection(r, connection);          Temp_connection temp_connection(r, connection);
   
         // execute body          // execute body
         try {          try {
                 r.process_write(body_code);                  r.process_write(body_code);
Line 427  public: Line 438  public:
         Request& r;          Request& r;
         const String* searching_string;          const String* searching_string;
         double searching_double;          double searching_double;
           bool searching_bool;
         Value* found;          Value* found;
         Value* _default;          Value* _default;
 public:  public:
Line 436  public: Line 448  public:
                 if(asearching.is_string() || asearching.is_void()){                  if(asearching.is_string() || asearching.is_void()){
                         searching_string=&asearching.as_string();                          searching_string=&asearching.as_string();
                         searching_double=0;                          searching_double=0;
                           searching_bool=false;
                 } else {                  } else {
                         searching_string=0;                          searching_string=0;
                         searching_double=asearching.as_double();                          searching_double=asearching.as_double();
                           searching_bool=asearching.is_bool();
                 }                  }
         }          }
 };  };
 #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<const String::Body, void*>           Temp_hash_value<HashString<void*>, void*> switch_data_setter(&r.classes_conf, switch_data_name, data);
                 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 478  static void _case(Request& r, MethodPara Line 491  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 488  static void _case(Request& r, MethodPara Line 501  static void _case(Request& r, MethodPara
                 bool matches;                  bool matches;
                 if(data->searching_string)                  if(data->searching_string)
                         matches=(*data->searching_string) == value.as_string();                          matches=(*data->searching_string) == value.as_string();
                   else if(data->searching_bool || value.is_bool())
                           matches=(data->searching_double != 0) == value.as_bool();
                 else                  else
                         matches=data->searching_double == value.as_double();                          matches=data->searching_double == value.as_double();
   
Line 499  static void _case(Request& r, MethodPara Line 514  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 525  static Try_catch_result try_catch(Reques Line 551  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 563  static Try_catch_result try_catch(Reques Line 585  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 599  struct Locked_process_and_cache_put_acti Line 625  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 624  static void locked_process_and_cache_put Line 650  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 667  const String* locked_process_and_cache_p Line 693  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};
   
         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 699  static Cache_get_result cache_get(Reques Line 720  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=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(*new VDate((pa_time_t)scope->expires));
                                 "expire-time get without cache");  
                 r.write_no_lang(*new VDate(scope->expires));  
                 return;                  return;
         }          }
   
Line 755  static void _cache(Request& r, MethodPar Line 776  static void _cache(Request& r, MethodPar
   
         Cache_scope scope={as_expires(r, params, 1, now), 0};          Cache_scope scope={as_expires(r, params, 1, now), 0};
   
         Temp_hash_value<const String::Body, void*>           Temp_hash_value<HashString<void*>, void*> cache_scope_setter(&r.classes_conf, cache_data_name, &scope);
                 cache_scope_setter(r.classes_conf, cache_data_name, &scope);  
         Value& body_code=params.as_junction(2, "body_code must be code");          Value& body_code=params.as_junction(2, "body_code must be code");
         Value* catch_code=0;          Value* catch_code=0;
         if(params.count()>3)          if(params.count()>3)
Line 770  static void _cache(Request& r, MethodPar Line 790  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_assign_lang(*cached.body);                                  r.write(*cached.body);
                                 // happy with it                                  // happy with it
                                 return;                                  return;
                         }                          }
Line 782  static void _cache(Request& r, MethodPar Line 802  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 793  static void _cache(Request& r, MethodPar Line 813  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(result.processed_code);
           } else {
                   r.write(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(result.processed_code);
   
                   // write out processed finally code
                   r.write(finally_result);
           } else {
                   // no exception in try/catch, writing processed body_code or catch_code
                   r.write(result.processed_code);
           }
   
         // write out processed finally code  
         if(finally_code)  
                 r.write_pass_lang(finally_result);  
 }  }
   
 static void _throw_operator(Request&, MethodParams& params) {  static void _throw_operator(Request&, MethodParams& params) {
Line 864  static void _throw_operator(Request&, Me Line 888  static void _throw_operator(Request&, Me
   
 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);
         pa_sleep((int)trunc(seconds), (int)trunc(seconds*1000));          if(seconds>0)
                   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 876  static void _bpt(Request&, MethodParams& Line 901  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 886  VClassMAIN::VClassMAIN(): VClass() { Line 910  VClassMAIN::VClassMAIN(): VClass() {
   
         // ^if(condition){code-when-true}          // ^if(condition){code-when-true}
         // ^if(condition){code-when-true}{code-when-false}          // ^if(condition){code-when-true}{code-when-false}
         add_native_method("if", Method::CT_ANY, _if, 2, 3, Method::CO_WITHOUT_FRAME);          // ^if(condition){code-when-true} (another condition){code-when-true} ... {code-when-false}
           add_native_method("if", Method::CT_ANY, _if, 2, 10000, Method::CO_WITHOUT_FRAME);
   
         // ^untaint[as-is|uri|sql|js|html|html-typo|regex|parser-code]{code}          // ^untaint[as-is|uri|sql|js|html|html-typo|regex|parser-code]{code}
         add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2, Method::CO_WITHOUT_FRAME);          add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2, Method::CO_WITHOUT_FRAME);
Line 894  VClassMAIN::VClassMAIN(): VClass() { Line 919  VClassMAIN::VClassMAIN(): VClass() {
         // ^taint[as-is|uri|sql|js|html|html-typo|regex|parser-code]{code}          // ^taint[as-is|uri|sql|js|html|html-typo|regex|parser-code]{code}
         add_native_method("taint", Method::CT_ANY, _taint, 1, 2, Method::CO_WITHOUT_FRAME);          add_native_method("taint", Method::CT_ANY, _taint, 1, 2, Method::CO_WITHOUT_FRAME);
   
         // ^process[code]          // ^apply-taint[untaint lang][string]
           add_native_method("apply-taint", Method::CT_ANY, _apply_taint, 1, 2, Method::CO_WITHOUT_FRAME);
   
           // ^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 903  VClassMAIN::VClassMAIN(): VClass() { Line 932  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);
   
           // ^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.199  
changed lines
  Added in v.1.255

E-mail: