--- parser3/src/include/pa_request.h 2016/11/03 16:17:37 1.239 +++ parser3/src/include/pa_request.h 2026/09/24 02:40:10 1.273 @@ -1,24 +1,35 @@ /** @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.239 2016/11/03 16:17:37 moko Exp $" +#define IDENT_PA_REQUEST_H "$Id: pa_request.h,v 1.273 2026/09/24 02:40:10 moko Exp $" #include "pa_pool.h" #include "pa_hash.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 +45,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 +59,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 +81,10 @@ public: enum Skip { SKIP_NOTHING, + SKIP_CONTINUE, SKIP_BREAK, - SKIP_CONTINUE + SKIP_RETURN, + SKIP_INTERRUPTED }; private: @@ -86,8 +105,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) {} @@ -103,18 +120,20 @@ private: element_type bottom_value() { return get(bottom_index()); } void clear() { - fused=fbottom=0; + fsize=fbottom=0; } bool is_empty() { - return fused==fbottom; + return fsize==fbottom; } + + Table &table(Request &r); }; ///@{ core data /// classes - HashString fclasses; + OrderedHashString fclasses; /// already used files to avoid cyclic uses HashString used_files; @@ -123,7 +142,7 @@ private: Array file_list; /// endless execute(execute(... preventing counter - uint anti_endless_execute_recoursion; + int anti_endless_execute_recursion; ///@} @@ -146,22 +165,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,15 +194,17 @@ 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 @@ -221,22 +237,24 @@ public: 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 + /// execute ops with anti-recursion check + void recursion_checked_execute(ArrayOperation& ops) { + if(++anti_endless_execute_recursion>=pa_execute_recursion_limit) { + anti_endless_execute_recursion=0; // give @exception a chance throw Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion detected"); } execute(ops); // execute it - anti_endless_execute_recoursion--; + anti_endless_execute_recursion--; } /// - void use_file_directly(VStateless_class& aclass, const String& file_spec, bool fail_on_read_problem=true, bool fail_on_file_absence=true); + void use_file_directly(const String& file_spec, bool fail_on_file_absence=true, bool with_auto_p=false); - /// compiles the file, maybe forcing it's class @a name and @a base_class. - void use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec); - void use_file(VStateless_class& aclass, const String& file_name, const String* use_filespec, Operation::Origin origin); + /// compiles the file in main class context by default + void use_file(const String& file_name, const String* use_filespec, bool with_auto_p=false); + + /// for @USE only, calls ^use (which may be user-defined) + void use_file(const String& file_name, const String* use_filespec, Operation::Origin origin); /// compiles a @a source buffer void use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset=0); @@ -251,8 +269,9 @@ public: return process(input_value).as_string(); } //@} - const String* get_method_filename(const Method* method); // execute.C - const String* get_used_filename(uint file_no); + const Operation::Origin get_method_origin(const Method* method); // execute.C + const String* get_method_filespec(const Method* method); // execute.C + const String* get_used_filespec(uint file_no); /// appending string with it's languages inline void write(const String& astring) { @@ -260,7 +279,7 @@ public: } /// in [] and {} appending string if get_string is not null, else appending value - /// in () allways appending value + /// in () appending string if is_string, else appending value inline void write(Value& avalue) { wcontext->write_as_string(avalue); } @@ -273,8 +292,7 @@ public: /// 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); + const String& full_disk_path(const String& relative_name); /// returns the mime type of 'user_file_name' const String& mime_type_of(const String* file_name); @@ -289,11 +307,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; } @@ -335,19 +353,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); + /// 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); - - struct Execute_nonvirtual_method_result { - const String* string; - Method* method; - Execute_nonvirtual_method_result(): string(0), method(0) {} - }; + //{ 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); - Execute_nonvirtual_method_result execute_nonvirtual_method(VStateless_class& aclass, const String& method_name, VString* optional_param, bool do_return_string); //} #ifdef XML @@ -391,17 +403,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) { @@ -418,6 +419,24 @@ 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; +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(); +}; + /// Auto-object used to save request context across ^try body class Request_context_saver { Request& fr; @@ -427,7 +446,7 @@ class Request_context_saver { size_t exception_trace_bottom; /// execution stack size_t stack; - uint anti_endless_execute_recoursion; + uint anti_endless_execute_recursion; /// contexts VMethodFrame* method_frame; Value* rcontext; @@ -443,7 +462,7 @@ public: 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), @@ -453,7 +472,7 @@ public: 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; @@ -486,6 +505,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; @@ -509,24 +545,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