[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.185 and 1.241

version 1.185, 2009/05/04 09:26:19 version 1.241, 2016/10/25 23:37:52
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-2015 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 static const char * const IDENT_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 38  public: Line 31  public:
         VClassMAIN();          VClassMAIN();
 };  };
   
 // defines for globals  
   
 #define CYCLE_DATA_NAME "CYCLE-DATA"  
   
 // globals  
   
 //^for & co  
 String cycle_data_name(CYCLE_DATA_NAME);  
   
 // defines for statics  // defines for statics
   
 #define SWITCH_DATA_NAME "SWITCH-DATA"  #define SWITCH_DATA_NAME "SWITCH-DATA"
Line 70  static const String exception_var_name(E Line 54  static const String exception_var_name(E
   
 // helpers  // helpers
   
 class Untaint_lang_name2enum: public Hash<const String::Body, 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("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);
                 ULN("file-spec", FILE_SPEC);                  ULN("file-spec", FILE_SPEC);
Line 88  public: Line 72  public:
                 ULN("html", HTML);                  ULN("html", HTML);
                 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("json", JSON);
                 #undef ULN                  #undef ULN
         }          }
 } untaint_lang_name2enum;  } untaint_lang_name2enum;
Line 95  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()){
                 r.write_pass_lang(r.process(vbody)); // process marking tainted with that lang                  String &untainted=*new String();
         }                  string->append_to(untainted, lang); // mark all tainted to specified language
                   r.write_pass_lang(untainted);
           } else
                   r.write_pass_lang(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 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;                  String result(vbody.as_string(), lang); // force result language to specified
                 result.append(  
                         vbody.as_string(),  // process marking tainted with that lang  
                         lang, true);  // force result language to specified  
                 r.write_pass_lang(result);                  r.write_pass_lang(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_pass_lang(*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 154  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_last_derived_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_PASS_APPENDED);  
                 // 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");
                   // 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);
                 r.use_buf(*target_class,  
                         source.cstr(String::L_UNSPECIFIED, 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 225  static void _process(Request& r, MethodP Line 218  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                  VMethodFrame frame(*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_pass_lang(frame.result());
         }          }
 }  }
                   
Line 237  static void _rem(Request&, MethodParams& Line 230  static void _rem(Request&, MethodParams&
 }  }
   
 static void _while(Request& r, MethodParams& params) {  static void _while(Request& r, MethodParams& params) {
         Temp_hash_value<const String::Body, void*>           InCycle temp(r);
                 cycle_data_setter(r.classes_conf, cycle_data_name, /*any not null flag*/&r);  
   
         Value& vcondition=params.as_expression(0, "condition must be number, bool or expression");          Value& vcondition=params.as_expression(0, "condition must be number, bool or expression");
   
Line 247  static void _while(Request& r, MethodPar Line 239  static void _while(Request& r, MethodPar
   
         // while...          // while...
         int endless_loop_count=0;          int endless_loop_count=0;
         if(delim_maybe_code){          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();
                         if(delim_maybe_code && s_processed && s_processed->length()) { // delimiter set and 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_pass_lang(r.process(*delim_maybe_code));
                                 else                                  else
Line 274  static void _while(Request& r, MethodPar Line 265  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 293  static void _while(Request& r, MethodPar Line 282  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);
         r.use_file(r.main_class, vfile.as_string());  
           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
           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) {
         void* data=r.classes_conf.get(cycle_data_name);          if(!r.get_in_cycle())
         if(!data)                  throw Exception(askip==Request::SKIP_BREAK ? "parser.break" : "parser.continue", 0, "without cycle");
                 throw Exception(PARSER_RUNTIME,  
                         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) {
         Temp_hash_value<const String::Body, void*>           InCycle temp(r);
                 cycle_data_setter(r.classes_conf, cycle_data_name, /*any not null flag*/&r);  
   
         const String& var_name=params.as_string(0, "var name must be string");          const String& var_name=params.as_string(0, "var name must be string");
         int from=params.as_int(1, "from must be int", r);          int from=params.as_int(1, "from must be int", r);
         int to=params.as_int(2, "to must be int", r);          int to=params.as_int(2, "to must be int", r);
         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(caller, var_name, vint, false);          r.put_element(caller, var_name, vint);
         if(delim_maybe_code){          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();
                         if(s_processed && s_processed->length()) { // delimiter set and 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_pass_lang(r.process(*delim_maybe_code));
                                 else                                  else
Line 369  static void _for(Request& r, MethodParam Line 376  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 383  static void _eval(Request& r, MethodPara Line 389  static void _eval(Request& r, MethodPara
 }  }
   
 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");
   
         Table* protocol2driver_and_client=0;          Table* protocol2driver_and_client=0;
         if(Value* sql=r.main_class.get_element(String(MAIN_SQL_NAME), r.main_class, false)) {          if(Value* sql=r.main_class.get_element(String(MAIN_SQL_NAME))) {
                 if(Value* element=sql->get_element(String(MAIN_SQL_DRIVERS_NAME), *sql, false)) {                  if(Value* element=sql->get_element(String(MAIN_SQL_DRIVERS_NAME))) {
                         protocol2driver_and_client=element->get_table();                          protocol2driver_and_client=element->get_table();
                 }                  }
         }          }
   
 #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.write_assign_lang(r.process(body_code));                  r.process_write(body_code);
                 connection->commit();                  connection->commit();
                 connection->close();                  connection->close();
         } catch(...) { // process problem          } catch(...) { // process problem
Line 435  public: Line 425  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 444  public: Line 435  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.write_pass_lang(r.process(*selected_code));
 }  }
Line 486  static void _case(Request& r, MethodPara Line 478  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 496  static void _case(Request& r, MethodPara Line 488  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 507  static void _case(Request& r, MethodPara Line 501  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 533  static Try_catch_result try_catch(Reques Line 538  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, *method_frame, false);  
                 VMethodFrame& frame=*junction->method_frame;  
                 frame.put_element(frame, 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(frame, 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 571  static Try_catch_result try_catch(Reques Line 572  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 607  struct Locked_process_and_cache_put_acti Line 612  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 632  static void locked_process_and_cache_put Line 637  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 675  const String* locked_process_and_cache_p Line 680  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 710  static Cache_get_result cache_get(Reques Line 717  static Cache_get_result cache_get(Reques
 static time_t as_expires(Request& r, MethodParams& params,   static time_t as_expires(Request& r, MethodParams& params, 
                                                 int index, time_t now) {                                                  int index, time_t now) {
         time_t result;          time_t result;
         if(Value* vdate=params[index].as(VDATE_TYPE, false))          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 763  static void _cache(Request& r, MethodPar Line 770  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 778  static void _cache(Request& r, MethodPar Line 784  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_pass_lang(*cached.body);
                                 // happy with it                                  // happy with it
                                 return;                                  return;
                         }                          }
Line 790  static void _cache(Request& r, MethodPar Line 796  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_pass_lang(*processed_body);
                         // happy with it                          // happy with it
                         return;                          return;
                 } else {                  } else {
Line 801  static void _cache(Request& r, MethodPar Line 807  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_pass_lang(result.processed_code);
           } else {
                   r.write_pass_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 872  static void _throw_operator(Request&, Me Line 882  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)
Line 884  static void _bpt(Request&, MethodParams& Line 895  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 894  VClassMAIN::VClassMAIN(): VClass() { Line 904  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}
           add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2, Method::CO_WITHOUT_FRAME);
   
         // ^untaint[as-is|uri|sql|js|html|html-typo|regex]{code}          // ^taint[as-is|uri|sql|js|html|html-typo|regex|parser-code]{code}
         add_native_method("untaint", Method::CT_ANY, _untaint, 1, 2, Method::CO_NONE);          add_native_method("taint", Method::CT_ANY, _taint, 1, 2, Method::CO_WITHOUT_FRAME);
   
         // ^taint[as-is|uri|sql|js|html|html-typo|regex]{code}          // ^apply-taint[untaint lang][string]
         add_native_method("taint", Method::CT_ANY, _taint, 1, 2, Method::CO_NONE);          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 911  VClassMAIN::VClassMAIN(): VClass() { Line 926  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.185  
changed lines
  Added in v.1.241

E-mail: