Diff for /parser3/src/include/pa_request.h between versions 1.208 and 1.236

version 1.208, 2010/11/22 22:24:23 version 1.236, 2016/10/26 16:40:49
Line 1 Line 1
 /** @file  /** @file
         Parser: request class decl.          Parser: request class decl.
   
         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)
 */  */
   
 #ifndef PA_REQUEST_H  #ifndef PA_REQUEST_H
 #define PA_REQUEST_H  #define PA_REQUEST_H
   
 static const char * const IDENT_REQUEST_H="$Date$";  #define IDENT_PA_REQUEST_H "$Id$"
   
 #include "pa_pool.h"  #include "pa_pool.h"
 #include "pa_hash.h"  #include "pa_hash.h"
Line 18  static const char * const IDENT_REQUEST_ Line 18  static const char * const IDENT_REQUEST_
 #include "pa_request_info.h"  #include "pa_request_info.h"
 #include "pa_request_charsets.h"  #include "pa_request_charsets.h"
 #include "pa_sapi.h"  #include "pa_sapi.h"
 #include "pa_vconsole.h"  
   
 #ifdef RESOURCES_DEBUG  
 #include <sys/resource.h>  
 #endif  
   
 // consts  // consts
   
 const uint ANTI_ENDLESS_EXECUTE_RECOURSION=1000;  
 const uint ANTI_ENDLESS_JSON_STRING_RECOURSION=100;  
 const size_t pseudo_file_no__process=1;  const size_t pseudo_file_no__process=1;
   
 // forwards  // forwards
Line 40  class VForm; Line 33  class VForm;
 class VResponse;  class VResponse;
 class VCookie;  class VCookie;
 class VStateless_class;  class VStateless_class;
   class VConsole;
   
   extern int pa_execute_recoursion_limit;
   extern int pa_loop_limit;
   
 /// Main workhorse.  /// Main workhorse.
 class Request: public PA_Object {  class Request: public PA_Object {
         friend class Temp_lang;          friend class Temp_lang;
         friend class Temp_connection;          friend class Temp_connection;
         friend class Request_context_saver;  
         friend class Temp_request_self;          friend class Temp_request_self;
           friend class Temp_value_element;
           friend class Request_context_saver;
         friend class Exception_trace;          friend class Exception_trace;
   
 public:  public:
Line 56  public: Line 54  public:
         public:          public:
                 Trace(): fname(0) {}                  Trace(): fname(0) {}
                 void clear() { fname=0; }                  void clear() { fname=0; }
                 operator bool() const { return fname!=0; }  
   
                 Trace(const String* aname, const Operation::Origin aorigin):                  Trace(const String* aname, const Operation::Origin aorigin):
                         fname(aname), forigin(aorigin) {}                          fname(aname), forigin(aorigin) {}
Line 91  private: Line 88  private:
   
                 /// needed to fill unused Array entries                  /// needed to fill unused Array entries
                 StackItem() {}                  StackItem() {}
                 StackItem(Value& avalue): fvalue(&avalue) {}                              StackItem(Value& avalue): fvalue(&avalue) {}
                 StackItem(ArrayOperation& aops): fops(&aops) {}                  StackItem(ArrayOperation& aops): fops(&aops) {}
                 StackItem(VMethodFrame& amethod_frame): fmethod_frame(&amethod_frame) {}                  StackItem(VMethodFrame& amethod_frame): fmethod_frame(&amethod_frame) {}
         };          };
Line 112  private: Line 109  private:
                 bool is_empty() {                  bool is_empty() {
                         return fused==fbottom;                          return fused==fbottom;
                 }                  }
   
                 const element_type extract_origin(const String*& problem_source);  
         };          };
   
         ///@{ core data          ///@{ core data
   
         /// classes          /// classes
         HashString<Value*> fclasses;          HashString<VStateless_class*> fclasses;
   
         /// already used files to avoid cyclic uses          /// already used files to avoid cyclic uses
         HashString<bool> used_files;          HashString<bool> used_files;
Line 127  private: Line 122  private:
         /// list of all used files, Operation::file_no = index to it          /// list of all used files, Operation::file_no = index to it
         Array<String::Body> file_list;          Array<String::Body> file_list;
   
         /**     endless execute(execute(... preventing counter           /// endless execute(execute(... preventing counter
                 @see ANTI_ENDLESS_EXECUTE_RECOURSION  
         */  
         uint anti_endless_execute_recoursion;          uint anti_endless_execute_recoursion;
   
         uint anti_endless_json_string_recoursion;  
   
         ///@}          ///@}
   
         /// execution stack          /// execution stack
Line 143  private: Line 134  private:
         Exception_trace exception_trace;          Exception_trace exception_trace;
 public:  public:
   
           bool allow_class_replace;
   
         //@{ request processing status          //@{ request processing status
         /// contexts          /// contexts
         VMethodFrame* method_frame;          VMethodFrame* method_frame;
         Value* rcontext;          Value* rcontext;
         WContext* wcontext;          WContext* wcontext;
         /// current language          /// current language
         String::Language flang;           String::Language flang;
         /// current connection          /// current connection
         SQL_Connection* fconnection;          SQL_Connection* fconnection;
         //@}          //@}
Line 162  public: Line 155  public:
         uint register_file(String::Body file_spec);          uint register_file(String::Body file_spec);
   
         struct Exception_details {          struct Exception_details {
                 const Trace trace;                  const Operation::Origin origin;
                 const String* problem_source;                  const String* problem_source;
                 VHash& vhash;                  VHash& vhash;
                   Exception_details(const Operation::Origin aorigin, const String* aproblem_source, VHash& avhash): origin(aorigin), problem_source(aproblem_source), vhash(avhash) {}
                 Exception_details(  
                         const Trace atrace,  
                         const String* aproblem_source,  
                         VHash& avhash): trace(atrace), problem_source(aproblem_source), vhash(avhash) {}  
         };          };
         Exception_details get_details(const Exception& e);          Exception_details get_details(const Exception& e);
         const char* get_exception_cstr(const Exception& e, Exception_details& details);          const char* get_exception_cstr(const Exception& e, Exception_details& details);
Line 191  public: Line 180  public:
         ~Request();          ~Request();
   
         /// global classes          /// global classes
         HashString<Value*>& classes() { return fclasses; }          HashString<VStateless_class*>& classes() { return fclasses; }
         Value* get_class(const String& name);          VStateless_class* get_class(const String& name);
           void put_class(VStateless_class *aclass){ classes().put(aclass->type(), aclass); }
   
         /**          /**
                 core request processing                  core request processing
   
                 BEWARE: may throw exception to you: catch it!                  BEWARE: may throw exception to you: catch it!
         */          */
         void core(          void core(const char* config_filespec, bool config_fail_on_read_problem, bool header_only);
                 const char* config_filespec, ///< system config filespec  
                 bool config_fail_on_read_problem, ///< fail if system config file not found  
                 bool header_only);  
   
         /// executes ops          /// executes ops
         void execute(ArrayOperation& ops); // execute.C          void execute(ArrayOperation& ops); // execute.C
         void op_call(VMethodFrame &frame);          void call(VMethodFrame &frame);
         void op_call_write(VMethodFrame &frame);          void call_expression(VMethodFrame &frame);
         Value& construct(Value &class_value, const Method &method);          void call_write(VMethodFrame &frame);
           Value& construct(VStateless_class &class_value, const Method &method);
   
         /// execute ops with anti-recoursion check          /// execute ops with anti-recoursion check
         void recoursion_checked_execute(/*const String& name, */ArrayOperation& ops) {          void recoursion_checked_execute(ArrayOperation& ops) {
                 // anti_endless_execute_recoursion                  if(++anti_endless_execute_recoursion==pa_execute_recoursion_limit) {
                 if(++anti_endless_execute_recoursion==ANTI_ENDLESS_EXECUTE_RECOURSION) {  
                         anti_endless_execute_recoursion=0; // give @exception a chance                          anti_endless_execute_recoursion=0; // give @exception a chance
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion detected");
                                 0, //&name,  
                                 "call canceled - endless recursion detected");  
                 }                  }
                 execute(ops); // execute it                  execute(ops); // execute it
                 anti_endless_execute_recoursion--;                  anti_endless_execute_recoursion--;
         }          }
   
         uint json_string_recoursion_go_down(){  
                 if(++anti_endless_json_string_recoursion==ANTI_ENDLESS_JSON_STRING_RECOURSION){  
                         anti_endless_json_string_recoursion=0;  
                         throw Exception(PARSER_RUNTIME,  
                                 0,  
                                 "call canceled - endless json recursion detected");  
                 }  
                 return anti_endless_json_string_recoursion;  
         }  
   
         void json_string_recoursion_go_up(){  
                 if(anti_endless_json_string_recoursion)  
                         anti_endless_json_string_recoursion--;  
         }  
   
         ///          ///
         void use_file_directly(VStateless_class& aclass,          void use_file_directly(VStateless_class& aclass, const String& file_spec, bool fail_on_read_problem=true, bool fail_on_file_absence=true);
                                 const String& file_spec,  
                                 bool fail_on_read_problem=true,   
                                 bool fail_on_file_absence=true);  
                                   
         /// compiles the file, maybe forcing it's class @a name and @a base_class.          /// compiles the file, maybe forcing it's class @a name and @a base_class.
         void use_file(VStateless_class& aclass,          void use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec);
                 const String& file_name,          void use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec, Operation::Origin origin);
                 const String* use_filespec);  
   
         /// compiles a @a source buffer          /// compiles a @a source buffer
         void use_buf(VStateless_class& aclass,          void use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset=0);
                 const char* source,   
                 const String* main_alias,  
                 uint file_no,  
                 int line_no_offset=0);  
   
         /// processes any code-junction there may be inside of @a value          /// processes any code-junction there may be inside of @a value
         StringOrValue process_getter(Junction& junction); // execute.C          Value& process_getter(Junction& junction); // execute.C
         StringOrValue process(Value& input_value, bool intercept_string=true); // execute.C          Value& process(Value& input_value); // execute.C
         void process_write(Value& input_value); // execute.C          void process_write(Value& input_value); // execute.C
   
         //@{ convinient helpers          //@{ convinient helpers
         const String& process_to_string(Value& input_value) {          const String& process_to_string(Value& input_value) {
                 return process(input_value, true/*intercept_string*/).as_string();                  return process(input_value).as_string();
         }  
         Value& process_to_value(Value& input_value, bool intercept_string=true) {  
                 return process(input_value, intercept_string).as_value();  
         }          }
         //@}          //@}
         const String* get_method_filename(const Method* method); // execute.C          const String* get_method_filename(const Method* method); // execute.C
         const String* get_used_filename(uint file_no);          const String* get_used_filename(uint file_no);
                   
 #define DEFINE_DUAL(modification) \  
         void write_##modification##_lang(StringOrValue dual) { \  
                 if(const String* string=dual.get_string()) \  
                         write_##modification##_lang(*string); \  
                 else \  
                         write_##modification##_lang(*dual.get_value()); \  
         }  
   
         /// appending, sure of clean string inside          /// appending, sure of clean string inside
         void write_no_lang(const String& astring) {          void write_no_lang(const String& astring) {
                 wcontext->write(astring,                   wcontext->write(astring);
                         (String::Language)(String::L_CLEAN | flang&String::L_OPTIMIZE_BIT));  
         }          }
         /// appending sure value, that would be converted to clean string          /// appending sure value, that would be converted to clean string
         void write_no_lang(Value& avalue) {          void write_no_lang(Value& avalue) {
                 if(wcontext->get_in_expression())                  if(wcontext->get_in_expression())
                         wcontext->write(avalue);                          wcontext->write(avalue);
                 else                  else
                         wcontext->write(avalue,                           wcontext->write_as_string(avalue);
                                 (String::Language)(String::L_CLEAN | flang&String::L_OPTIMIZE_BIT));  
         }          }
   
         /// appending string, passing language built into string being written          /// appending string, passing language built into string being written
         void write_pass_lang(const String& astring) {          void write_pass_lang(const String& astring) {
                 wcontext->write(astring, String::L_PASS_APPENDED);                   wcontext->write(astring);
         }          }
         /// appending possible string, passing language built into string being written          /// appending possible string, passing language built into string being written
         void write_pass_lang(Value& avalue) {          void write_pass_lang(Value& avalue) {
                 wcontext->write(avalue, String::L_PASS_APPENDED);                   wcontext->write_as_string(avalue);
         }          }
         DEFINE_DUAL(pass)  
   
         /// appending possible string, assigning untaint language          /// appending sure value
         void write_assign_lang(Value& avalue) {          void write_value(Value& avalue) {
                 wcontext->write(avalue, flang);                   wcontext->write(avalue);
         }  
         /// appending string, assigning untaint language  
         void write_assign_lang(const String& astring) {  
                 wcontext->write(astring, flang);   
         }          }
         DEFINE_DUAL(assign)  
   
         /// returns relative to @a path  path to @a file           /// returns relative to @a path  path to @a file 
         const String& relative(const char* apath, const String& relative_name);          const String& relative(const char* apath, const String& relative_name);
Line 319  public: Line 262  public:
         /// returns an absolute @a path to relative @a name          /// returns an absolute @a path to relative @a name
         const String& absolute(const String& relative_name);          const String& absolute(const String& relative_name);
   
           /// returns the mime type of 'user_file_name'
           const String& mime_type_of(const String* file_name);
   
         /// returns the mime type of 'user_file_name_cstr'          /// returns the mime type of 'user_file_name_cstr'
         const String& mime_type_of(const char* user_file_name_cstr);          const String& mime_type_of(const char* user_file_name_cstr);
   
         /// returns current SQL connection if any          /// returns current SQL connection if any
         SQL_Connection* connection(bool fail_on_error=true) {           SQL_Connection* connection(bool fail_on_error=true) {
                 if(fail_on_error && !fconnection)                  if(fail_on_error && !fconnection)
                         throw Exception(PARSER_RUNTIME,                          throw Exception(PARSER_RUNTIME, 0, "outside of 'connect' operator");
                                 0,                  return fconnection;
                                 "outside of 'connect' operator");  
   
                 return fconnection;   
         }          }
   
         void set_interrupted(bool ainterrupted) { finterrupted=ainterrupted; }          void set_interrupted(bool ainterrupted) { finterrupted=ainterrupted; }
Line 372  public: // status read methods Line 315  public: // status read methods
   
         VMethodFrame *get_method_frame() { return method_frame; }          VMethodFrame *get_method_frame() { return method_frame; }
         Value& get_self();          Value& get_self();
 #define GET_SELF(request, type) (static_cast<type &>(request.get_self()))  
         /* for strange reason call to this:   
                 r.get_self<VHash>()   
                 refuses to compile  
   
         template<typename T> T& get_self() {  #define GET_SELF(request, type) (static_cast<type &>(request.get_self()))
                 return *static_cast<T*>(get_self().get());  
         }  
         */  
   
         /// public for ^reflection:copy[]          /// public for ^reflection:copy[]
         void put_element(Value& ncontext, const String& name, Value* value);          void put_element(Value& ncontext, const String& name, Value* value);
Line 392  public: // status read methods Line 328  public: // status read methods
         void execute_method(VMethodFrame& aframe);          void execute_method(VMethodFrame& aframe);
   
         //{ for @conf[filespec] and @auto[filespec] and parser://method/call          //{ for @conf[filespec] and @auto[filespec] and parser://method/call
         const String* execute_method(Value& aself,           const String* execute_method(Value& aself, const Method& method, Value* optional_param, bool do_return_string);
                 const Method& method, Value* optional_param,  
                 bool do_return_string);  
         struct Execute_nonvirtual_method_result {          struct Execute_nonvirtual_method_result {
                 const String* string;                  const String* string;
                 Method* method;                  Method* method;
                 Execute_nonvirtual_method_result(): string(0), method(0) {}                  Execute_nonvirtual_method_result(): string(0), method(0) {}
         };          };
         Execute_nonvirtual_method_result execute_nonvirtual_method(VStateless_class& aclass,   
                 const String& method_name,          Execute_nonvirtual_method_result execute_nonvirtual_method(VStateless_class& aclass, const String& method_name, VString* optional_param, bool do_return_string);
                 VString* optional_param,  
                 bool do_return_string);  
         //}          //}
   
 #ifdef XML  #ifdef XML
Line 429  private: Line 362  private:
   
 private: // compile.C  private: // compile.C
   
         ArrayClass& compile(VStateless_class* aclass,           ArrayClass& compile(VStateless_class* aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset);
                 const char* source, const String* main_alias,   
                 uint file_no,  
                 int line_no_offset);  
   
 private: // execute.C  private: // execute.C
   
         Value& get_element(Value& ncontext, const String& name);          Value& get_element(Value& ncontext, const String& name);
   #ifdef FEATURE_GET_ELEMENT4CALL
           Value& get_element4call(Value& ncontext, const String& name);
   #endif
   
 private: // defaults  private: // defaults
   
Line 484  class Request_context_saver { Line 417  class Request_context_saver {
         /// execution stack          /// execution stack
         size_t stack;          size_t stack;
         uint anti_endless_execute_recoursion;          uint anti_endless_execute_recoursion;
         uint anti_endless_json_string_recoursion;  
         /// contexts          /// contexts
         VMethodFrame* method_frame;          VMethodFrame* method_frame;
         Value* rcontext;          Value* rcontext;
Line 495  class Request_context_saver { Line 427  class Request_context_saver {
         SQL_Connection* fconnection;          SQL_Connection* fconnection;
   
 public:  public:
         Request_context_saver(Request& ar) :           Request_context_saver(Request& ar) :
                 fr(ar),                  fr(ar),
                 exception_trace_top(ar.exception_trace.top_index()),                      exception_trace_top(ar.exception_trace.top_index()),
                 exception_trace_bottom(ar.exception_trace.bottom_index()),                        exception_trace_bottom(ar.exception_trace.bottom_index()),
                 stack(ar.stack.top_index()),                  stack(ar.stack.top_index()),
                 anti_endless_execute_recoursion(ar.anti_endless_execute_recoursion),                  anti_endless_execute_recoursion(ar.anti_endless_execute_recoursion),
                 anti_endless_json_string_recoursion(ar.anti_endless_json_string_recoursion),  
                 method_frame(ar.method_frame),                  method_frame(ar.method_frame),
                 rcontext(ar.rcontext),                  rcontext(ar.rcontext),
                 wcontext(ar.wcontext),                  wcontext(ar.wcontext),
Line 512  public: Line 443  public:
                 fr.exception_trace.set_bottom_index(exception_trace_bottom);                  fr.exception_trace.set_bottom_index(exception_trace_bottom);
                 fr.stack.set_top_index(stack);                  fr.stack.set_top_index(stack);
                 fr.anti_endless_execute_recoursion=anti_endless_execute_recoursion;                  fr.anti_endless_execute_recoursion=anti_endless_execute_recoursion;
                 fr.anti_endless_json_string_recoursion=anti_endless_json_string_recoursion;  
                 fr.method_frame=method_frame, fr.rcontext=rcontext; fr.wcontext=wcontext;                  fr.method_frame=method_frame, fr.rcontext=rcontext; fr.wcontext=wcontext;
                 fr.flang=flang;                  fr.flang=flang;
                 fr.fconnection=fconnection;                  fr.fconnection=fconnection;
         }          }
 };  };
   
 ///     Auto-object used for temporary changing Request::flang.  
 class Temp_lang {  
         Request& frequest;  
         String::Language saved_lang;  
 public:  
         Temp_lang(Request& arequest, String::Language alang) :   
                 frequest(arequest),  
                 saved_lang(arequest.set_lang(alang)) {  
         }  
         ~Temp_lang() {   
                 frequest.restore_lang(saved_lang);   
         }  
 };  
   
 ///     Auto-object used for temporary changing Request::fconnection.  ///     Auto-object used for temporary changing Request::fconnection.
 class Temp_connection {  class Temp_connection {
         Request& frequest;          Request& frequest;
         SQL_Connection* saved_connection;          SQL_Connection* saved_connection;
 public:  public:
         Temp_connection(Request& arequest, SQL_Connection* aconnection) :           Temp_connection(Request& arequest, SQL_Connection* aconnection) :
                 frequest(arequest),                  frequest(arequest),
                 saved_connection(arequest.set_connection(aconnection)) {                  saved_connection(arequest.set_connection(aconnection)) {
         }          }
         ~Temp_connection() {           ~Temp_connection() {
                 frequest.restore_connection(saved_connection);                   frequest.restore_connection(saved_connection); 
         }          }
 };  };
Line 554  public: Line 470  public:
         InCycle(Request& arequest) : frequest(arequest) {          InCycle(Request& arequest) : frequest(arequest) {
                 frequest.set_in_cycle(1);                  frequest.set_in_cycle(1);
         }          }
         ~InCycle() {           ~InCycle() {
                 frequest.set_in_cycle(-1);                  frequest.set_in_cycle(-1);
         }          }
 };  };
   
   ///     Auto-object used for temporary changing Request::allow_class_replace.
   class Temp_class_replace {
           Request& frequest;
   public:
           Temp_class_replace(Request& arequest, bool avalue) : frequest(arequest){
                   frequest.allow_class_replace=avalue;
           }
           ~Temp_class_replace() {
                   frequest.allow_class_replace=false;
           }
   };
   
   ///     Auto-object used for temporarily substituting/removing elements
   class Temp_value_element {
           Request& frequest;
           Value& fwhere;
           const String& fname;
           Value* saved;
   public:
           Temp_value_element(Request& arequest, Value& awhere, const String& aname, Value* awhat);
           ~Temp_value_element();
   };
   
 // defines for externs  // defines for externs
   
 #define EXCEPTION_HANDLED_PART_NAME "handled"  #define EXCEPTION_HANDLED_PART_NAME "handled"
Line 568  public: Line 507  public:
   
 extern const String main_method_name;  extern const String main_method_name;
 extern const String auto_method_name;  extern const String auto_method_name;
 extern const String body_name;  
   
 extern const String exception_type_part_name;  extern const String exception_type_part_name;
 extern const String exception_source_part_name;  extern const String exception_source_part_name;

Removed from v.1.208  
changed lines
  Added in v.1.236


E-mail: