Annotation of parser3/src/types/pa_vmethod_frame.h, revision 1.43

1.3       paf         1: /** @file
1.5       paf         2:        Parser: @b method_frame write context
1.3       paf         3: 
1.21      paf         4:        Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com)
1.22      paf         5:        Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1       paf         6: */
                      7: 
                      8: #ifndef PA_VMETHOD_FRAME_H
                      9: #define PA_VMETHOD_FRAME_H
1.28      paf        10: 
1.42      paf        11: static const char* IDENT_VMETHOD_FRAME_H="$Date: 2002/10/15 10:58:34 $";
1.1       paf        12: 
                     13: #include "pa_wcontext.h"
1.12      parser     14: #include "pa_vvoid.h"
1.1       paf        15: #include "pa_vjunction.h"
1.35      paf        16: #include "pa_request.h"
1.1       paf        17: 
1.40      paf        18: // defines
                     19: 
1.42      paf        20: #define CALLER_ELEMENT_NAME "caller"
                     21: #define SELF_ELEMENT_NAME "self"
1.40      paf        22: 
1.4       paf        23: /**    Method frame write context
                     24:        accepts values written by method code
                     25:        also handles method parameters and local variables
1.3       paf        26: */
1.1       paf        27: class VMethodFrame : public WContext {
                     28: public: // Value
                     29: 
                     30:        const char *type() const { return "method_frame"; }
1.20      paf        31: 
                     32:        /// VMethodFrame: $result | parent get_string(=accumulated fstring)
                     33:        const String *get_string() { 
                     34:                // check the $result value
                     35:                Value *result=get_result_variable();
                     36:                // if we have one, return it's string value, else return as usual: accumulated fstring or fvalue
                     37:                return result ? result->get_string() : WContext::get_string();
                     38:        }
                     39:        
1.40      paf        40:        /// VMethodFrame: my or self_transparent or $caller
1.34      paf        41:        Value *get_element(const String& aname, Value *aself, bool looking_up) { 
1.25      paf        42:                if(junction.method->max_numbered_params_count==0) {
1.32      paf        43:                        if(Value *result=static_cast<Value *>(my.get(aname)))
1.1       paf        44:                                return result;
                     45:                }
1.41      paf        46:                if(Value *result=self().get_element(aname, aself, looking_up))
1.40      paf        47:                        return result;
                     48: 
1.42      paf        49:                if(aname==CALLER_ELEMENT_NAME)
1.40      paf        50:                        return caller();
1.42      paf        51: 
                     52:                if(aname==SELF_ELEMENT_NAME)
                     53:                        return &self();
1.40      paf        54: 
                     55:                return 0;
1.1       paf        56:        }
1.4       paf        57:        /// VMethodFrame: my or self_transparent
1.32      paf        58:        /*override*/ bool put_element(const String& aname, Value *avalue, bool replace) { 
                     59:                if(junction.method->max_numbered_params_count==0 && my.put_replace(aname, avalue))
                     60:                        return true;
                     61: 
1.41      paf        62:                return self().put_element(aname, avalue, replace);
1.1       paf        63:        }
                     64: 
1.4       paf        65:        /// VMethodFrame: self_transparent
1.41      paf        66:        VStateless_class* get_class() { return self().get_class(); }
1.1       paf        67: 
1.30      paf        68: public: // WContext
1.1       paf        69: 
1.35      paf        70:        /* override */ StringOrValue result() {
1.1       paf        71:                // check the $result value
1.24      paf        72:                Value *result_value=get_result_variable();
1.1       paf        73:                // if we have one, return it, else return as usual: accumulated fstring or fvalue
1.24      paf        74:                return result_value ? StringOrValue(0, result_value) : WContext::result();
1.1       paf        75:        }
                     76: 
                     77: public: // usage
                     78: 
                     79:        VMethodFrame(Pool& apool, 
1.25      paf        80:                const String& aname,
1.40      paf        81:                const Junction& ajunction/*info: always method-junction*/,
                     82:                VMethodFrame *acaller) : 
1.36      paf        83:                WContext(apool, 0 /* empty */, 0 /* no parent, junctions can be reattached only up to VMethodFrame */ ),
1.1       paf        84: 
1.25      paf        85:                fname(aname),
1.1       paf        86:                junction(ajunction),
1.40      paf        87:                fcaller(acaller),
1.1       paf        88:                store_param_index(0),
1.25      paf        89: 
                     90:                my(apool),
                     91:                fnumbered_params(apool, aname),
                     92: 
1.15      parser     93:                fself(0),
1.36      paf        94:                fresult_initial_void(0) {
1.1       paf        95: 
1.25      paf        96:                if(has_my()) { // this method uses named params?
                     97:                        const Method &method=*junction.method;
1.1       paf        98:                        if(method.locals_names) { // are there any local var names?
                     99:                                // remember them
1.25      paf       100:                                // those are flags that fname is local == to be looked up in 'my'
1.1       paf       101:                                for(int i=0; i<method.locals_names->size(); i++) {
1.25      paf       102:                                        // speedup: not checking for clash with "result" fname
1.12      parser    103:                                        Value *value=NEW VVoid(pool());
1.25      paf       104:                                        const String& fname=*method.locals_names->get_string(i);
                    105:                                        set_my_variable(fname, value);
1.1       paf       106:                                }
                    107:                        }
                    108:                        { // always there is one local: $result
1.15      parser    109:                                fresult_initial_void=NEW VVoid(pool());
1.18      paf       110:                                set_my_variable(*result_var_name, fresult_initial_void);
1.1       paf       111:                        }
                    112:                }
                    113:        }
                    114: 
1.25      paf       115:        const String& name() { return fname; }
1.40      paf       116:        VMethodFrame *caller() { return fcaller; }
1.25      paf       117: 
1.38      paf       118:        void set_self(Value& aself) { fself=&aself; }
1.41      paf       119:        /// we sure that someone already set our self with VMethodFrame::set_self(Value&)
                    120:        Value& self() { return *fself; }
1.1       paf       121: 
1.27      paf       122:        bool can_store_param() {
                    123:                const Method& method=*junction.method;
                    124:                return method.params_names && store_param_index<method.params_names->size();
                    125:        }
1.26      paf       126:        void store_param(Value *value) {
1.1       paf       127:                const Method& method=*junction.method;
                    128:                int max_params=
                    129:                        method.max_numbered_params_count?method.max_numbered_params_count:
                    130:                        method.params_names?method.params_names->size():
                    131:                        0;
                    132:                if(store_param_index==max_params)
1.23      paf       133:                        throw Exception("parser.runtime",
1.26      paf       134:                                &name(),
1.7       paf       135:                                "method of %s (%s) accepts maximum %d parameter(s)", 
1.38      paf       136:                                        junction.self.get_class()->name_cstr(),
                    137:                                        junction.self.type(),
1.1       paf       138:                                        max_params);
                    139:                
                    140:                if(method.max_numbered_params_count) { // are this method params numbered?
1.25      paf       141:                        fnumbered_params+=value;
1.1       paf       142:                } else { // named param
1.25      paf       143:                        // speedup: not checking for clash with "result" fname
                    144:                        const String& fname=*method.params_names->get_string(store_param_index);
                    145:                        set_my_variable(fname, value);
1.1       paf       146:                }
                    147:                store_param_index++;
                    148:        }
                    149:        void fill_unspecified_params() {
                    150:                const Method &method=*junction.method;
                    151:                if(method.params_names) // there are any named parameters might need filling?
                    152:                        for(; store_param_index<method.params_names->size(); store_param_index++) {
1.25      paf       153:                                const String& fname=*method.params_names->get_string(store_param_index);
                    154:                                my.put(fname, NEW VVoid(pool()));
1.1       paf       155:                        }
                    156:        }
                    157: 
1.25      paf       158:        MethodParams *numbered_params() { return &fnumbered_params; }
1.18      paf       159: 
                    160: private:
                    161: 
1.25      paf       162:        bool has_my() {
                    163:                return junction.method->max_numbered_params_count==0;
                    164:        }
                    165: 
                    166:        void set_my_variable(const String& fname, Value *value) {
                    167:                my.put(fname, value); // remember param
1.20      paf       168:        }
                    169: 
                    170:        Value *get_result_variable() {
1.25      paf       171:                Value *result=has_my()?static_cast<Value*>(my.get(*result_var_name)):0;
1.20      paf       172:                return result && result!=fresult_initial_void ? result : 0;
1.18      paf       173:        }
1.1       paf       174: 
                    175: public:
                    176:        
                    177:        const Junction& junction;
                    178: 
                    179: private:
1.35      paf       180: 
1.25      paf       181:        const String& fname;
1.40      paf       182:        VMethodFrame *fcaller;
1.25      paf       183: 
1.1       paf       184:        int store_param_index;
1.25      paf       185:        Hash my;/*OR*/MethodParams fnumbered_params;
1.1       paf       186:        Value *fself;
1.15      parser    187: 
                    188: private:
1.35      paf       189: 
1.15      parser    190:        Value *fresult_initial_void;
1.1       paf       191: 
1.41      paf       192: };
                    193: 
                    194: ///    Auto-object used for temporary changing VMethod_frame::fself.
                    195: class Temp_method_frame_self {
                    196:        VMethodFrame& fmethod_frame;
                    197:        Value& saved_self;
                    198: public:
                    199:        Temp_method_frame_self(VMethodFrame& amethod_frame, Value& aself) :
                    200:                fmethod_frame(amethod_frame),
                    201:                saved_self(amethod_frame.self()) {
                    202:                fmethod_frame.set_self(aself);
                    203:        }
                    204:        ~Temp_method_frame_self() {
                    205:                fmethod_frame.set_self(saved_self);
                    206:        }
1.1       paf       207: };
                    208: 
                    209: #endif

E-mail: