--- parser3/src/include/pa_request.h 2016/10/26 16:40:49 1.236 +++ parser3/src/include/pa_request.h 2026/09/30 17:42:38 1.280 @@ -1,24 +1,36 @@ /** @file Parser: request class decl. - Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com) - Author: Alexandr Petrosian (http://paf.design.ru) + Copyright (c) 2001-2026 Art. Lebedev Studio (https://www.artlebedev.com) + Authors: Konstantin Morshnev , Alexandr Petrosian */ #ifndef PA_REQUEST_H #define PA_REQUEST_H -#define IDENT_PA_REQUEST_H "$Id: pa_request.h,v 1.236 2016/10/26 16:40:49 moko Exp $" +#define IDENT_PA_REQUEST_H "$Id: pa_request.h,v 1.280 2026/09/30 17:42:38 moko Exp $" #include "pa_pool.h" #include "pa_hash.h" +#include "pa_file.h" #include "pa_wcontext.h" #include "pa_value.h" +#include "pa_vhash.h" #include "pa_stack.h" #include "pa_request_info.h" #include "pa_request_charsets.h" #include "pa_sapi.h" +// externs + +extern const String main_method_name; +extern const String auto_method_name; + +// defines for statics + +#define MAIN_CLASS_NAME "MAIN" +#define AUTO_FILE_NAME "auto.p" + // consts const size_t pseudo_file_no__process=1; @@ -34,9 +46,13 @@ class VResponse; class VCookie; class VStateless_class; class VConsole; +class VException; -extern int pa_execute_recoursion_limit; extern int pa_loop_limit; +extern int pa_array_limit; +extern int pa_execute_recursion_limit; +extern int pa_httpd_timeout; +extern size_t pa_file_size_limit; /// Main workhorse. class Request: public PA_Object { @@ -44,8 +60,10 @@ class Request: public PA_Object { friend class Temp_connection; friend class Temp_request_self; friend class Temp_value_element; + friend class Temp_recursion; friend class Request_context_saver; friend class Exception_trace; + friend class VException; public: class Trace { @@ -64,8 +82,10 @@ public: enum Skip { SKIP_NOTHING, + SKIP_CONTINUE, SKIP_BREAK, - SKIP_CONTINUE + SKIP_RETURN, + SKIP_INTERRUPTED }; private: @@ -86,8 +106,6 @@ private: ArrayOperation& ops() const { return *fops; } VMethodFrame& method_frame() const { return *fmethod_frame; } - /// needed to fill unused Array entries - StackItem() {} StackItem(Value& avalue): fvalue(&avalue) {} StackItem(ArrayOperation& aops): fops(&aops) {} StackItem(VMethodFrame& amethod_frame): fmethod_frame(&amethod_frame) {} @@ -101,20 +119,26 @@ private: size_t bottom_index() { return fbottom; } void set_bottom_index(size_t abottom) { fbottom=abottom; } element_type bottom_value() { return get(bottom_index()); } + void set_range(size_t bottom, size_t top) { fbottom=bottom; fsize=top; } void clear() { - fused=fbottom=0; + fsize=fbottom=0; } bool is_empty() { - return fused==fbottom; + return fsize==fbottom; } + + Table &table(Request &r, const String* problem_source) { + return table(r, problem_source, bottom_index(), top_index()); + } + Table &table(Request &r, const String* problem_source, size_t bottom, size_t top); }; ///@{ core data /// classes - HashString fclasses; + OrderedHashString fclasses; /// already used files to avoid cyclic uses HashString used_files; @@ -123,16 +147,18 @@ private: Array file_list; /// endless execute(execute(... preventing counter - uint anti_endless_execute_recoursion; + int anti_endless_execute_recursion; + int execute_recursion_limit; + void recursion_limit_reached(); ///@} /// execution stack Stack stack; +public: /// exception stack trace Exception_trace exception_trace; -public: bool allow_class_replace; @@ -146,22 +172,17 @@ public: /// current connection SQL_Connection* fconnection; //@} - /// interrupted flag, raised on signals [SIGPIPE] - bool finterrupted; - Skip fskip; + +private: + int fin_cycle; + Skip fskip; + VMethodFrame* freturn_method_frame; public: uint register_file(String::Body file_spec); - struct Exception_details { - const Operation::Origin origin; - const String* problem_source; - VHash& vhash; - Exception_details(const Operation::Origin aorigin, const String* aproblem_source, VHash& avhash): origin(aorigin), problem_source(aproblem_source), vhash(avhash) {} - }; - 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, VException& details); /// @see Stack::wipe_unused void wipe_unused_execution_stack() { @@ -180,39 +201,71 @@ public: ~Request(); /// global classes - HashString& classes() { return fclasses; } + OrderedHashString& classes() { return fclasses; } VStateless_class* get_class(const String& name); + VStateless_class& get_class_ref(const String& name); void put_class(VStateless_class *aclass){ classes().put(aclass->type(), aclass); } + bool add_class(const char* atype, VStateless_class *aclass); /** core request processing BEWARE: may throw exception to you: catch it! */ - void core(const char* config_filespec, bool config_fail_on_read_problem, bool header_only); + void core(const char* config_filespec, bool header_only, const String& amain_method_name = main_method_name, const String* amain_class_name = NULL); /// executes ops void execute(ArrayOperation& ops); // execute.C - void call(VMethodFrame &frame); - void call_expression(VMethodFrame &frame); - void call_write(VMethodFrame &frame); + + template void call(Frame& frame){ + VMethodFrame *saved_method_frame=method_frame; + Value* saved_rcontext=rcontext; + WContext *saved_wcontext=wcontext; + + rcontext=wcontext=method_frame=&frame; + + frame.call(*this); + + wcontext=saved_wcontext; + rcontext=saved_rcontext; + method_frame=saved_method_frame; + } + + template void call_write(Frame& frame){ + VMethodFrame *saved_method_frame=method_frame; + Value* saved_rcontext=rcontext; + + rcontext=method_frame=&frame; + + frame.call(*this); + + rcontext=saved_rcontext; + method_frame=saved_method_frame; + } + Value& construct(VStateless_class &class_value, const Method &method); - /// execute ops with anti-recoursion check - void recoursion_checked_execute(ArrayOperation& ops) { - if(++anti_endless_execute_recoursion==pa_execute_recoursion_limit) { - anti_endless_execute_recoursion=0; // give @exception a chance - throw Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion detected"); - } + /// execute ops with anti-recursion check + void recursion_checked_execute(ArrayOperation& ops) { + if(++anti_endless_execute_recursion>=execute_recursion_limit) + recursion_limit_reached(); execute(ops); // execute it - anti_endless_execute_recoursion--; + anti_endless_execute_recursion--; + } + + /// take the recovery reserve back if recursion limit is far enough + void recursion_limit_try_restore() { + if(execute_recursion_limit>pa_execute_recursion_limit && anti_endless_execute_recursionwrite(astring); - } - /// appending sure value, that would be converted to clean string - void write_no_lang(Value& avalue) { - if(wcontext->get_in_expression()) - wcontext->write(avalue); - else - wcontext->write_as_string(avalue); - } - - /// appending string, passing language built into string being written - void write_pass_lang(const String& astring) { + /// appending string with it's languages + inline void write(const String& astring) { wcontext->write(astring); } - /// appending possible string, passing language built into string being written - void write_pass_lang(Value& avalue) { + + /// in [] and {} appending string if get_string is not null, else appending value + /// in () appending string if is_string, else appending value + inline void write(Value& avalue) { wcontext->write_as_string(avalue); } - /// appending sure value - void write_value(Value& avalue) { + /// allways appending value + inline void write_value(Value& avalue) { wcontext->write(avalue); } /// returns relative to @a path path to @a file const String& relative(const char* apath, const String& relative_name); - /// returns an absolute @a path to relative @a name - const String& absolute(const String& relative_name); + /// '/'-normalized disk path of a file name; a uri of another scheme is returned as is if allowed, otherwise throws + const String& full_disk_path(const String& relative_name, uint allowed=0); + /// '/'-normalized full_disk_path of a real file on disk, which does not throw: 0 for a uri or a remote or invalid file:// one + const String* real_disk_path(const String& name); /// returns the mime type of 'user_file_name' const String& mime_type_of(const String* file_name); @@ -275,11 +321,11 @@ public: return fconnection; } - void set_interrupted(bool ainterrupted) { finterrupted=ainterrupted; } - bool get_interrupted() { return finterrupted; } - - void set_skip(Skip askip) { fskip=askip; } Skip get_skip() { return fskip; } + void set_skip(Skip askip) { fskip=askip; } + void set_skip_return(VMethodFrame& amethod_frame) { fskip=SKIP_RETURN; freturn_method_frame=&amethod_frame; } + inline bool check_skip_break() { bool result=fskip >= SKIP_BREAK; if(fskip <= SKIP_BREAK) fskip=SKIP_NOTHING; return result; } + inline void check_skip_return() { if(fskip==SKIP_RETURN && method_frame==freturn_method_frame) fskip=SKIP_NOTHING; } void set_in_cycle(int adelta) { fin_cycle+=adelta; } bool get_in_cycle() { return fin_cycle>0; } @@ -321,22 +367,13 @@ public: // status read methods /// public for ^reflection:copy[] void put_element(Value& ncontext, const String& name, Value* value); - /// for @main[] - const String* execute_virtual_method(Value& aself, const String& method_name); - - /// executes parser method, use op_call(frame) to execute native method - void execute_method(VMethodFrame& aframe); + /// for @main[] and parser://method/call + const String* execute_method(VStateless_class& aclass, const String& method_name, Value* optional_param = 0); - //{ for @conf[filespec] and @auto[filespec] and parser://method/call - const String* execute_method(Value& aself, const Method& method, Value* optional_param, bool do_return_string); + //{ for @conf[filespec] and @auto[filespec] + bool execute_method_if_exists(VStateless_class& aclass, const String& method_name, Value* optional_param); + bool execute_auto_method_if_exists(VStateless_class& aclass, const String& method_name, Value* optional_param); - struct Execute_nonvirtual_method_result { - const String* string; - Method* method; - Execute_nonvirtual_method_result(): string(0), method(0) {} - }; - - Execute_nonvirtual_method_result execute_nonvirtual_method(VStateless_class& aclass, const String& method_name, VString* optional_param, bool do_return_string); //} #ifdef XML @@ -380,17 +417,6 @@ private: // mime types /// $MAIN:MIME-TYPES Table *mime_types; -private: // lang manipulation - - String::Language set_lang(String::Language alang) { - String::Language result=flang; - flang=alang; - return result; - } - void restore_lang(String::Language alang) { - flang=alang; - } - private: // connection manipulation SQL_Connection* set_connection(SQL_Connection* aconnection) { @@ -407,16 +433,34 @@ private: void output_result(VFile* body_file, bool header_only, bool as_attachment); }; +/// Hash-compatible exception; hash is built on demand. +class VException: public VHashReference { + Exception fexception; + String::Body ffile; + Value* fhandled; + size_t ftrace_bottom, ftrace_top; +public: + Operation::Origin origin; + const String* problem_source; + + VException(Request& r, const Exception& e); + + override HashStringValue& hash(); + override Value* get_element(const String& name); + override const VJunction* put_element(const String& name, Value* value); + + Value* handled(); + Table& stack(Request& r); + void expire_trace() { ftrace_top=size_t(-1); } +}; + /// Auto-object used to save request context across ^try body class Request_context_saver { Request& fr; - /// exception stack trace - size_t exception_trace_top; - size_t exception_trace_bottom; /// execution stack size_t stack; - uint anti_endless_execute_recoursion; + int anti_endless_execute_recursion; /// contexts VMethodFrame* method_frame; Value* rcontext; @@ -429,20 +473,16 @@ class Request_context_saver { public: Request_context_saver(Request& ar) : fr(ar), - exception_trace_top(ar.exception_trace.top_index()), - exception_trace_bottom(ar.exception_trace.bottom_index()), stack(ar.stack.top_index()), - anti_endless_execute_recoursion(ar.anti_endless_execute_recoursion), + anti_endless_execute_recursion(ar.anti_endless_execute_recursion), method_frame(ar.method_frame), rcontext(ar.rcontext), wcontext(ar.wcontext), flang(ar.flang), fconnection(ar.fconnection) {} void restore() { - fr.exception_trace.set_top_index(exception_trace_top); - fr.exception_trace.set_bottom_index(exception_trace_bottom); fr.stack.set_top_index(stack); - fr.anti_endless_execute_recoursion=anti_endless_execute_recoursion; + fr.anti_endless_execute_recursion=anti_endless_execute_recursion; fr.method_frame=method_frame, fr.rcontext=rcontext; fr.wcontext=wcontext; fr.flang=flang; fr.fconnection=fconnection; @@ -475,6 +515,23 @@ public: } }; +/// Auto-object used for break out of cycle check +class TempSkip4Delimiter { + Request& frequest; + Request::Skip fskip; +public: + TempSkip4Delimiter(Request& arequest) : frequest(arequest), fskip(arequest.get_skip()) { + frequest.set_skip(Request::SKIP_NOTHING); + } + // returns true if break required, should be called + bool check_break() { + if(frequest.get_skip()) + fskip=frequest.get_skip(); + frequest.set_skip(fskip <= Request::SKIP_BREAK ? Request::SKIP_NOTHING : fskip); + return fskip >= Request::SKIP_BREAK; + } +}; + /// Auto-object used for temporary changing Request::allow_class_replace. class Temp_class_replace { Request& frequest; @@ -498,24 +555,16 @@ public: ~Temp_value_element(); }; -// defines for externs - -#define EXCEPTION_HANDLED_PART_NAME "handled" - - -// externs - -extern const String main_method_name; -extern const String auto_method_name; - -extern const String exception_type_part_name; -extern const String exception_source_part_name; -extern const String exception_comment_part_name; -extern const String exception_handled_part_name; - -// defines for statics - -#define MAIN_CLASS_NAME "MAIN" -#define AUTO_FILE_NAME "auto.p" +/// Auto-object that temporarily increases recursion +class Temp_recursion { + Request& frequest; +public: + Temp_recursion(Request& arequest) : frequest(arequest){ + frequest.anti_endless_execute_recursion++; + } + ~Temp_recursion(){ + frequest.anti_endless_execute_recursion--; + } +}; #endif