Annotation of parser3/src/include/pa_request.h, revision 1.157
1.61 paf 1: /** @file
1.62 paf 2: Parser: request class decl.
3:
1.120 paf 4: Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com)
1.121 paf 5: Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1 paf 6: */
7:
8: #ifndef PA_REQUEST_H
9: #define PA_REQUEST_H
1.141 paf 10:
1.157 ! paf 11: static const char* IDENT_REQUEST_H="$Date: 2002/10/15 14:28:57 $";
1.1 paf 12:
13: #include "pa_pool.h"
1.5 paf 14: #include "pa_hash.h"
1.7 paf 15: #include "pa_wcontext.h"
1.6 paf 16: #include "pa_value.h"
1.7 paf 17: #include "pa_stack.h"
1.12 paf 18: #include "pa_vclass.h"
1.45 paf 19: #include "pa_vobject.h"
1.47 paf 20: #include "pa_venv.h"
1.108 paf 21: #include "pa_vstatus.h"
1.48 paf 22: #include "pa_vform.h"
1.140 paf 23: #include "pa_vmail.h"
1.90 parser 24: #include "pa_vmath.h"
1.56 paf 25: #include "pa_vrequest.h"
1.57 paf 26: #include "pa_vresponse.h"
1.60 paf 27: #include "pa_vcookie.h"
1.77 paf 28: #include "pa_sql_driver_manager.h"
1.44 paf 29:
1.112 paf 30: #ifdef RESOURCES_DEBUG
31: #include <sys/resource.h>
32: #endif
33:
1.128 paf 34: // consts
35:
1.134 paf 36: #define MAIN_METHOD_NAME "main"
1.128 paf 37: const uint ANTI_ENDLESS_EXECUTE_RECOURSION=500;
38:
39: // defines
40:
1.7 paf 41: #ifndef NO_STRING_ORIGIN
1.40 paf 42: # define COMPILE_PARAMS \
1.154 paf 43: VStateless_class& aclass, const char *source \
44: , const char *file
45: # define COMPILE(aclass, source, file) \
46: real_compile(aclass, source, file)
1.7 paf 47: #else
1.40 paf 48: # define COMPILE_PARAMS \
1.154 paf 49: VStateless_class& aclass, const char *source
50: # define COMPILE(aclass, source, file) \
51: real_compile(aclass, source)
1.7 paf 52: #endif
1.4 paf 53:
1.39 paf 54: class Temp_lang;
1.84 paf 55: class Methoded;
1.116 paf 56: class VMethodFrame;
1.1 paf 57:
1.61 paf 58: /// Main workhorse.
1.7 paf 59: class Request : public Pooled {
1.107 paf 60: friend class Temp_lang;
1.117 paf 61: friend class Temp_connection;
1.148 paf 62: friend class Request_context_saver;
1.155 paf 63: friend class Temp_request_self;
1.1 paf 64: public:
1.112 paf 65:
66: #ifdef RESOURCES_DEBUG
67: /// measures
68: double sql_connect_time;
69: double sql_request_time;
70: #endif
1.61 paf 71:
72: /// some information from web server
1.65 paf 73: class Info {
74: public:
1.53 paf 75: const char *document_root;
76: const char *path_translated;
1.56 paf 77: const char *method;
1.53 paf 78: const char *query_string;
1.56 paf 79: const char *uri;
1.53 paf 80: const char *content_type;
81: size_t content_length;
1.60 paf 82: const char *cookie;
1.140 paf 83: bool mail_received;
1.53 paf 84: };
85:
1.50 paf 86: Request(Pool& apool,
1.53 paf 87: Info& ainfo,
1.111 paf 88: uchar adefault_lang, ///< all tainted data default untainting lang
1.110 paf 89: bool status_allowed ///< status class allowed
1.50 paf 90: );
1.118 paf 91: ~Request();
1.1 paf 92:
1.61 paf 93: /// global classes
1.6 paf 94: Hash& classes() { return fclasses; }
95:
1.65 paf 96: /**
97: core request processing
98:
99: BEWARE: may throw exception to you: catch it!
100: */
101: void core(
1.138 paf 102: const char *config_filespec, ///< system config filespec
103: bool config_fail_on_read_problem, ///< fail if system config file not found
1.65 paf 104: bool header_only);
1.17 paf 105:
1.61 paf 106: /// executes ops
1.147 paf 107: void execute(const Array& ops); // execute.C
1.127 paf 108: /// execute ops with anti-recoursion check
1.128 paf 109: void recoursion_checked_execute(const String *name, const Array& ops) {
110: // anti_endless_execute_recoursion
111: if(++anti_endless_execute_recoursion==ANTI_ENDLESS_EXECUTE_RECOURSION) {
112: anti_endless_execute_recoursion=0; // give @exception a chance
113: throw Exception("parser.runtime",
114: name,
115: "call canceled - endless recursion detected");
116: }
1.147 paf 117: execute(ops); // execute it
1.128 paf 118: anti_endless_execute_recoursion--;
119: }
1.40 paf 120:
1.64 paf 121: /// compiles the file, maybe forcing it's class @a name and @a base_class.
1.154 paf 122: VStateless_class *use_file(VStateless_class& aclass,
1.94 parser 123: const String& file_name,
1.149 paf 124: bool ignore_class_path=false,
1.154 paf 125: bool fail_on_read_problem=true, bool fail_on_file_absence=true); // core.C
1.64 paf 126: /// compiles a @a source buffer
1.154 paf 127: VStateless_class *use_buf(VStateless_class& aclass,
128: const char *source,
129: const String& filespec, const char *filespec_cstr); // core.C
1.28 paf 130:
1.129 paf 131: /// processes any code-junction there may be inside of @a value
1.131 paf 132: StringOrValue process(Value& input_value, bool intercept_string=true); // execute.C
1.129 paf 133: //@{ convinient helpers
134: const String& process_to_string(Value& input_value) {
135: return process(input_value, true/*intercept_string*/).as_string();
136: }
137: Value& process_to_value(Value& input_value, bool intercept_string=true) {
138: return process(input_value, intercept_string).as_value();
1.126 paf 139: }
140: //@}
1.131 paf 141:
1.126 paf 142:
1.131 paf 143: #define DEFINE_DUAL(modification) \
144: void write_##modification##_lang(StringOrValue dual) { \
145: if(const String *string=dual.get_string()) \
146: write_##modification##_lang(*string); \
147: else \
148: write_##modification##_lang(*dual.get_value()); \
149: }
1.132 paf 150: #define DEFINE_DUAL_CHECKED(modification) \
151: void write_##modification##_lang(StringOrValue dual, const String *origin) { \
152: if(const String *string=dual.get_string()) \
153: write_##modification##_lang(*string); \
154: else \
155: write_##modification##_lang(*dual.get_value(), origin); \
156: }
1.131 paf 157:
1.61 paf 158: /// appending, sure of clean string inside
1.65 paf 159: void write_no_lang(const String& astring) {
1.111 paf 160: wcontext->write(astring,
161: String::UL_CLEAN | flang&String::UL_OPTIMIZE_BIT);
1.49 paf 162: }
1.131 paf 163: /// appending sure value, that would be converted to clean string
164: void write_no_lang(Value& avalue) {
165: if(wcontext->get_in_expression())
166: wcontext->write(avalue);
167: else
168: wcontext->write(avalue,
169: String::UL_CLEAN | flang&String::UL_OPTIMIZE_BIT);
170: }
171: //DEFINE_DUAL(no)
172:
1.61 paf 173: /// appending string, passing language built into string being written
1.65 paf 174: void write_pass_lang(const String& astring) {
175: wcontext->write(astring, String::UL_PASS_APPENDED);
1.59 paf 176: }
1.131 paf 177: /// appending possible string, passing language built into string being written
178: void write_pass_lang(Value& avalue) {
179: wcontext->write(avalue, String::UL_PASS_APPENDED);
180: }
181: DEFINE_DUAL(pass)
182:
1.61 paf 183: /// appending possible string, assigning untaint language
1.40 paf 184: void write_assign_lang(Value& avalue) {
1.39 paf 185: wcontext->write(avalue, flang);
1.106 parser 186: }
1.132 paf 187: /// appending possible string, assigning untaint language
188: void write_assign_lang(Value& avalue, const String *origin) {
189: wcontext->write(avalue, flang, origin);
190: }
1.106 parser 191: /// appending string, assigning untaint language
192: void write_assign_lang(const String& astring) {
193: wcontext->write(astring, flang);
1.22 paf 194: }
1.131 paf 195: DEFINE_DUAL(assign)
1.132 paf 196: DEFINE_DUAL_CHECKED(assign)
1.22 paf 197:
1.64 paf 198: /// returns relative to @a path path to @a file
1.69 paf 199: const String& relative(const char *apath, const String& relative_name);
1.61 paf 200:
1.64 paf 201: /// returns an absolute @a path to relative @a name
1.69 paf 202: const String& absolute(const String& relative_name);
1.42 paf 203:
1.80 paf 204: /// returns the mime type of 'user_file_name_cstr'
205: const String& mime_type_of(const char *user_file_name_cstr);
206:
1.117 paf 207: /// returns current SQL connection if any
208: SQL_Connection *connection(const String *source) {
209: if(!fconnection && source)
1.125 paf 210: throw Exception("parser.runtime",
1.117 paf 211: source,
212: "outside of 'connect' operator");
213:
214: return fconnection;
1.133 paf 215: }
216:
1.154 paf 217: bool origins_mode();
1.117 paf 218:
1.17 paf 219: public:
1.22 paf 220:
1.61 paf 221: /// info from web server
1.53 paf 222: Info& info;
1.81 paf 223: /// user's post data
1.145 paf 224: const char *post_data; size_t post_size;
1.53 paf 225:
1.134 paf 226: /// name of 'main' method
227: const String main_method_name;
228:
1.154 paf 229: /// 'MAIN' class conglomerat & operators are methods of this class
230: VClass& main_class;
1.86 paf 231: /// $env:fields
1.57 paf 232: VEnv env;
1.108 paf 233: /// $status:fields
234: VStatus status;
1.86 paf 235: /// $form:elements
1.57 paf 236: VForm form;
1.140 paf 237: /// $mail
238: VMail mail;
1.90 parser 239: /// $math:constants
240: VMath math;
1.86 paf 241: /// $request:elements
1.57 paf 242: VRequest request;
1.86 paf 243: /// $response:elements
1.57 paf 244: VResponse response;
1.86 paf 245: /// $cookie:elements
1.60 paf 246: VCookie cookie;
1.70 paf 247:
1.148 paf 248: /// classes configured data
249: Hash classes_conf;
250:
251: private:
252:
1.123 paf 253: //@{ request processing status
1.148 paf 254: /// exception stack trace
255: Stack exception_trace;
1.123 paf 256: /// execution stack
257: Stack stack;
1.61 paf 258: /// contexts
1.146 paf 259: VMethodFrame *method_frame;
260: Value *rcontext;
1.22 paf 261: WContext *wcontext;
1.148 paf 262: /// current language
263: uchar flang;
264: /// current connection
265: SQL_Connection *fconnection;
1.123 paf 266: //@}
1.85 paf 267:
1.148 paf 268: public: // status read methods
1.76 paf 269:
1.148 paf 270: VMethodFrame *get_method_frame() { return method_frame; }
1.157 ! paf 271: Value *get_self();
1.87 paf 272:
1.7 paf 273: private: // core data
1.6 paf 274:
1.89 parser 275: /// classes
1.6 paf 276: Hash fclasses;
1.67 paf 277:
1.89 parser 278: /// already used files to avoid cyclic uses
1.67 paf 279: Hash used_files;
1.89 parser 280:
281: /** endless execute(execute(... preventing counter
282: @see ANTI_ENDLESS_EXECUTE_RECOURSION
283: */
284: uint anti_endless_execute_recoursion;
1.136 paf 285:
286: private:
287:
288: /// already executed some @conf method
289: bool configure_admin_done;
290:
291: void configure_admin(VStateless_class& conf_class, const String *source);
1.99 parser 292:
1.7 paf 293: private: // compile.C
294:
1.46 paf 295: VStateless_class& real_compile(COMPILE_PARAMS);
1.7 paf 296:
297: private: // execute.C
298:
1.139 paf 299: /// for @postprocess[body]
300: const String& execute_method(VMethodFrame& amethodFrame, const Method& method);
301: //{ for @conf[filespec] and @auto[filespec]
302: void execute_method(Value& aself,
303: const Method& method, VString *optional_param,
1.137 paf 304: const String **return_string);
305: void execute_nonvirtual_method(VStateless_class& aclass,
1.154 paf 306: const String& method_name, VString *optional_param,
1.137 paf 307: const String **return_string,
308: const Method **return_method=0);
1.139 paf 309: //}
310: /// for @main[]
311: const String *execute_virtual_method(Value& aself, const String& method_name);
1.9 paf 312:
1.156 paf 313: Value *get_element(const String *& remember_name, bool can_call_operator);
1.22 paf 314:
1.58 paf 315: private: // defaults
316:
1.111 paf 317: const uchar fdefault_lang;
1.68 paf 318: Value *default_content_type;
1.80 paf 319:
320: private: // mime types
321:
322: /// $MAIN:MIME-TYPES
323: Table *mime_types;
1.22 paf 324:
1.39 paf 325: private: // lang manipulation
1.22 paf 326:
1.111 paf 327: uchar set_lang(uchar alang) {
328: uchar result=flang;
1.39 paf 329: flang=alang;
330: return result;
331: }
1.111 paf 332: void restore_lang(uchar alang) {
1.39 paf 333: flang=alang;
334: }
335:
1.117 paf 336: private: // connection manipulation
337:
338: SQL_Connection *set_connection(SQL_Connection *aconnection) {
339: SQL_Connection *result=fconnection;
340: fconnection=aconnection;
341: return result;
342: }
343: void restore_connection(SQL_Connection *aconnection) {
344: fconnection=aconnection;
345: }
346:
347: private:
348:
1.148 paf 349: void output_result(const VFile& body_file, bool header_only);
350: };
351:
352: /// Auto-object used to save request context across ^try body
353: class Request_context_saver {
354: Request& fr;
355:
356: /// exception stack trace
357: int exception_trace;
358: /// execution stack
359: int stack;
360: /// contexts
361: VMethodFrame *method_frame;
362: Value *rcontext;
363: WContext *wcontext;
364: /// current language
365: uchar flang;
366: /// current connection
1.117 paf 367: SQL_Connection *fconnection;
1.126 paf 368:
1.148 paf 369: public:
370: Request_context_saver(Request& ar) :
371: exception_trace(ar.exception_trace.top_index()),
372: stack(ar.stack.top_index()),
373: method_frame(ar.method_frame),
374: rcontext(ar.rcontext),
375: wcontext(ar.wcontext),
376: flang(ar.flang),
377: fconnection(ar.fconnection),
378: fr(ar) {}
1.153 paf 379: void restore() {
1.148 paf 380: fr.exception_trace.top_index(exception_trace);
381: fr.stack.top_index(stack);
1.157 ! paf 382: fr.method_frame=method_frame, fr.rcontext=rcontext; fr.wcontext=wcontext;
1.148 paf 383: fr.flang=flang;
384: fr.fconnection=fconnection;
385: }
1.39 paf 386: };
387:
1.61 paf 388: /// Auto-object used for temporary changing Request::flang.
1.39 paf 389: class Temp_lang {
390: Request& frequest;
1.111 paf 391: uchar saved_lang;
1.39 paf 392: public:
1.111 paf 393: Temp_lang(Request& arequest, uchar alang) :
1.39 paf 394: frequest(arequest),
395: saved_lang(arequest.set_lang(alang)) {
396: }
397: ~Temp_lang() {
398: frequest.restore_lang(saved_lang);
1.117 paf 399: }
400: };
401:
402: /// Auto-object used for temporary changing Request::fconnection.
403: class Temp_connection {
404: Request& frequest;
405: SQL_Connection *saved_connection;
406: public:
407: Temp_connection(Request& arequest, SQL_Connection *aconnection) :
408: frequest(arequest),
409: saved_connection(arequest.set_connection(aconnection)) {
410: }
411: ~Temp_connection() {
412: frequest.restore_connection(saved_connection);
1.39 paf 413: }
1.91 parser 414: };
415:
416: /**
417: @b method parameters passed in this array.
418: contains handy typecast ad junction/not junction ensurers
419:
420: */
421: class MethodParams : public Array {
422: public:
423: MethodParams(Pool& pool, const String& amethod_name) : Array(pool),
424: fmethod_name(amethod_name) {
425: }
426:
427: /// handy typecast. I long for templates
428: Value& get(int index) {
429: return *static_cast<Value *>(Array::get(index));
430: }
431: /// handy is-value-a-junction ensurer
432: Value& as_junction(int index, const char *msg) {
433: return get_as(index, true, msg);
434: }
435: /// handy value-is-not-a-junction ensurer
436: Value& as_no_junction(int index, const char *msg) {
437: return get_as(index, false, msg);
438: }
439: /// handy expression auto-processing to double
1.102 parser 440: double as_double(int index, const char *msg, Request& r) {
441: return get_processed(index, msg, r).as_double();
1.91 parser 442: }
443: /// handy expression auto-processing to int
1.102 parser 444: int as_int(int index, const char *msg, Request& r) {
445: return get_processed(index, msg, r).as_int();
1.103 parser 446: }
447: /// handy expression auto-processing to bool
448: bool as_bool(int index, const char *msg, Request& r) {
449: return get_processed(index, msg, r).as_bool();
1.91 parser 450: }
451: /// handy string ensurer
452: const String& as_string(int index, const char *msg) {
453: return as_no_junction(index, msg).as_string();
454: }
455:
456: private:
457:
458: /// handy value-is/not-a-junction ensurer
459: Value& get_as(int index, bool as_junction, const char *msg) {
460: Value& result=get(index);
461: if((result.get_junction()!=0) ^ as_junction)
1.125 paf 462: throw Exception("parser.runtime",
1.91 parser 463: &fmethod_name,
464: "%s (parameter #%d)", msg, 1+index);
1.104 parser 465:
1.91 parser 466: return result;
467: }
468:
1.102 parser 469: Value& get_processed(int index, const char *msg, Request& r) {
1.126 paf 470: return r.process_to_value(as_junction(index, msg), 0/*no name*/);
1.91 parser 471: }
472:
473: private:
474:
475: const String& fmethod_name;
476:
1.4 paf 477: };
1.1 paf 478:
479: #endif
E-mail: