Annotation of parser3/src/classes/reflection.C, revision 1.84
1.1 misha 1: /** @file
2: Parser: @b reflection parser class.
3:
1.83 moko 4: Copyright (c) 2001-2017 Art. Lebedev Studio (http://www.artlebedev.com)
1.1 misha 5: Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
6: */
7:
8: #include "pa_vmethod_frame.h"
9: #include "pa_request.h"
10: #include "pa_vbool.h"
1.50 moko 11: #include "pa_vobject.h"
1.1 misha 12:
1.84 ! moko 13: volatile const char * IDENT_REFLECTION_C="$Id: reflection.C,v 1.83 2017/02/07 22:00:29 moko Exp $";
1.24 moko 14:
1.3 misha 15: static const String class_type_methoded("methoded");
1.2 misha 16:
1.3 misha 17: static const String method_type_native("native");
18: static const String method_type_parser("parser");
1.2 misha 19:
1.59 moko 20: static const String method_name("name");
1.71 moko 21: static const String method_class_name("class");
1.5 misha 22: static const String method_call_type("call_type");
1.8 misha 23: static const String method_inherited("inherited");
1.23 misha 24: static const String method_overridden("overridden");
1.2 misha 25:
1.3 misha 26: static const String method_min_params("min_params");
27: static const String method_max_params("max_params");
1.29 misha 28: static const String method_extra_param("extra_param");
1.2 misha 29:
1.30 misha 30: static const String def_class("class");
31:
1.1 misha 32: // class
33:
34: class MReflection: public Methoded {
35: public:
36: MReflection();
37: };
38:
39: // global variable
40:
1.40 moko 41: DECLARE_CLASS_VAR(reflection, new MReflection);
1.1 misha 42:
43: // methods
44:
1.73 moko 45: const int MAX_CREATE_PARAMS = 100;
1.2 misha 46:
47: static void _create(Request& r, MethodParams& params) {
1.73 moko 48: int params_offset;
49: HashStringValue* params_hash=0;
50:
51: const String* class_name=0;
52: const String* constructor_name=0;
53:
1.75 moko 54: Value& voptions=params.as_no_junction(0, "param must not be code");
1.73 moko 55: if(HashStringValue* options=voptions.get_hash()) {
56: int valid_options=0;
57: if(Value* vclass_name=options->get("class")) {
58: valid_options++;
59: class_name=&vclass_name->as_string();
60: }
61: if(Value* vconstructor_name=options->get("constructor")) {
62: valid_options++;
63: constructor_name=&vconstructor_name->as_string();
64: }
65: if(Value* vparams_hash=options->get("arguments")) {
66: valid_options++;
67: params_hash=vparams_hash->as_hash("arguments");
68: if(params.count()>1)
69: throw Exception(PARSER_RUNTIME, 0, "agruments should not be specified as hash and as create params");
70: }
71: if(valid_options!=options->count())
72: throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
73:
74: if(!class_name)
75: throw Exception(PARSER_RUNTIME, 0, "class name must be specified");
76: if(!constructor_name)
77: throw Exception(PARSER_RUNTIME, 0, "constructor name must be specified");
78:
79: params_offset=1;
80: } else {
1.75 moko 81: class_name=¶ms.as_string(0, "param must not be code");
1.73 moko 82:
83: if(params.count()==1)
84: throw Exception(PARSER_RUNTIME, 0, "constructor name must be specified");
85:
86: constructor_name=¶ms.as_string(1, "constructor name must be string");
87:
88: params_offset=2;
89: }
1.1 misha 90:
1.73 moko 91: VStateless_class* vclass=r.get_class(*class_name);
1.48 moko 92: if(!vclass)
1.73 moko 93: throw Exception(PARSER_RUNTIME, class_name, "class is undefined");
1.1 misha 94:
1.73 moko 95: const Method* method=vclass->get_method(*constructor_name);
96: if(!method)
97: throw Exception(PARSER_RUNTIME, constructor_name, "constructor not found in class '%s'", vclass->type());
1.1 misha 98:
1.72 moko 99: Value &object = r.construct(*vclass, *method);
1.2 misha 100:
1.73 moko 101: int nparams=params_hash ? params_hash->count() : (params.count()-params_offset);
102: if(nparams>MAX_CREATE_PARAMS)
103: throw Exception(PARSER_RUNTIME, 0, "arguments count should not exceed %d", MAX_CREATE_PARAMS);
1.1 misha 104:
1.74 moko 105: Value* args[MAX_CREATE_PARAMS];
1.65 moko 106: CONSTRUCTOR_FRAME_ACTION(*method, r.get_method_frame(), object, {
107: if(nparams>0){
1.73 moko 108: if(params_hash){
1.74 moko 109: int i=0;
110: for(HashStringValue::Iterator h(*params_hash); h; h.next())
111: args[i++]=h.value();
1.73 moko 112: } else {
113: for(int i=0; i<nparams; i++)
1.74 moko 114: args[i]=&r.process(params[i+params_offset]);
1.73 moko 115: }
1.74 moko 116: frame.store_params((Value**)&args, nparams);
1.65 moko 117: } else {
118: frame.empty_params();
119: }
120: r.call(frame);
121: object.enable_default_setter();
122: r.write(frame.result());
123: });
1.1 misha 124: }
125:
1.2 misha 126:
1.3 misha 127: static void _classes(Request& r, MethodParams&) {
128: VHash& result=*new VHash;
1.47 moko 129: for(HashString<VStateless_class*>::Iterator i(r.classes()); i; i.next()){
130: result.hash().put(i.key(), i.value()->get_methods().count()>0 ? new VString(class_type_methoded) : VVoid::get() );
131: }
1.64 moko 132: r.write(result);
1.3 misha 133: }
134:
135:
1.53 moko 136: static Value& get_class(Value& value){
137: if(VStateless_class* result=value.get_class())
138: return *result;
139: else {
140: // we can't return code junction to outside as it's stack value
141: if(Junction *j=value.get_junction())
142: if(j->code)
143: throw Exception(PARSER_RUNTIME, 0, "param must not be code junction");
144: // method junction
1.3 misha 145: return value;
1.53 moko 146: }
1.3 misha 147: }
148:
1.53 moko 149: static const String& get_class_name(Value& value){
150: return *new String(get_class(value).type());
1.3 misha 151: }
152:
153:
1.1 misha 154: static void _class(Request& r, MethodParams& params) {
1.64 moko 155: r.write(get_class(params[0]));
1.1 misha 156: }
157:
1.2 misha 158:
1.1 misha 159: static void _class_name(Request& r, MethodParams& params) {
1.64 moko 160: r.write(get_class_name(params[0]));
1.1 misha 161: }
162:
1.34 moko 163: static void _class_by_name(Request& r, MethodParams& params) {
164: const String& class_name=params.as_string(0, "class_name must be string");
165: Value* class_value=r.get_class(class_name);
166: if(!class_value)
167: throw Exception(PARSER_RUNTIME, &class_name, "class is undefined");
1.64 moko 168: r.write(*class_value);
1.34 moko 169: }
1.1 misha 170:
1.2 misha 171: static void _base(Request& r, MethodParams& params) {
1.49 moko 172: if(VStateless_class* vclass=params[0].get_class())
173: if(Value* base=vclass->base()){
1.64 moko 174: r.write(get_class(*base));
1.3 misha 175: return;
176: }
177:
178: // classes with fields only, like env & console or without base
1.52 moko 179: r.write_value(*VVoid::get());
1.2 misha 180: }
1.1 misha 181:
182:
1.2 misha 183: static void _base_name(Request& r, MethodParams& params) {
1.49 moko 184: if(VStateless_class* vclass=params[0].get_class())
185: if(Value* base=vclass->base())
1.64 moko 186: r.write(get_class_name(*base));
1.2 misha 187: }
1.1 misha 188:
1.30 misha 189: static void _def(Request& r, MethodParams& params) {
190: const String& type=params.as_string(0, "type must be string");
191: if(type == def_class) {
192: const String& name=params.as_string(1, "name must be string");
1.47 moko 193: // can't use get_class because it will call @autouse[] if the class wasn't loaded
1.64 moko 194: r.write(VBool::get(r.classes().get(name)!=0));
1.30 misha 195: } else {
1.31 misha 196: throw Exception(PARSER_RUNTIME, &type, "is invalid type, must be '%s'", def_class.cstr());
1.30 misha 197: }
198: }
199:
1.1 misha 200: static void _methods(Request& r, MethodParams& params) {
201: const String& class_name=params.as_string(0, "class_name must be string");
1.49 moko 202: VStateless_class* vclass=r.get_class(class_name);
203: if(!vclass)
204: throw Exception(PARSER_RUNTIME, &class_name, "class is undefined");
1.1 misha 205:
1.84 ! moko 206: bool reverse=true;
! 207:
! 208: if(params.count()>1)
! 209: if(HashStringValue* options=params.as_hash(1, "methods options")) {
! 210: int valid_options=0;
! 211: for(HashStringValue::Iterator i(*options); i; i.next() ){
! 212: String::Body key=i.key();
! 213: Value* value=i.value();
! 214: if(key == "reverse") {
! 215: reverse=r.process(*value).as_bool();
! 216: valid_options++;
! 217: }
! 218: }
! 219: if(valid_options!=options->count())
! 220: throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
! 221: }
! 222:
1.1 misha 223: VHash& result=*new VHash;
1.84 ! moko 224:
! 225: if(reverse){
! 226: for(HashStringMethod::ReverseIterator i(vclass->get_methods()); i; i.prev()){
! 227: result.hash().put(i.key(), new VString(i.value()->native_code ? method_type_native : method_type_parser));
! 228: }
! 229: } else {
! 230: for(HashStringMethod::Iterator i(vclass->get_methods()); i; i.next()){
! 231: result.hash().put(i.key(), new VString(i.value()->native_code ? method_type_native : method_type_parser));
! 232: }
1.1 misha 233: }
1.49 moko 234:
1.64 moko 235: r.write(result);
1.1 misha 236: }
237:
1.57 moko 238: static VJunction &method_junction(Value &self, Method &method){
1.50 moko 239: if(method.native_code)
1.57 moko 240: throw Exception(PARSER_RUNTIME, method.name, "method must not be native");
1.50 moko 241:
1.51 moko 242: if(!(dynamic_cast<VObject*>(&self) || dynamic_cast<VClass*>(&self)))
243: throw Exception(PARSER_RUNTIME, 0, "self must be parser object or class");
1.50 moko 244:
245: return *method.get_vjunction(self);
246: }
247:
1.28 misha 248: static void _method(Request& r, MethodParams& params) {
1.62 moko 249: Value &source=params[0];
1.50 moko 250:
251: if(Junction *j=source.get_junction()){
252: if(Method* method=const_cast<Method*>(j->method)){
253: Value& self=params.count()>1 ? params.as_no_junction(1, "self must be object, not junction") : r.get_method_frame()->caller()->self();
1.64 moko 254: r.write(method_junction(self, *method));
1.50 moko 255: return;
256: }
1.51 moko 257: throw Exception(PARSER_RUNTIME, 0, "param must be method junction");
1.50 moko 258: }
259:
260: if(params.count()==1)
1.51 moko 261: throw Exception(PARSER_RUNTIME, 0, "method name must be specified");
1.50 moko 262:
1.28 misha 263: const String& name=params.as_string(1, "method name must be string");
264:
1.50 moko 265: if(VStateless_class* vclass=source.get_class()) {
266: if(Method* method=vclass->get_method(name)){
1.64 moko 267: r.write( params.count()>2 ? method_junction(params.as_no_junction(2, "self must be object, not junction"), *method) : *method->get_vjunction(source) );
1.50 moko 268: return;
269: }
1.28 misha 270: }
1.52 moko 271: r.write_value(*VVoid::get());
1.28 misha 272: }
273:
1.13 misha 274: static void _fields(Request& r, MethodParams& params) {
1.28 misha 275: Value& o=params.as_no_junction(0, "param must be object or class, not junction");
276:
1.44 moko 277: if(HashStringValue* fields=o.get_fields())
1.64 moko 278: r.write(*new VHash(*fields));
1.44 moko 279: else
1.64 moko 280: r.write(*new VHash());
1.13 misha 281: }
1.2 misha 282:
1.44 moko 283: static void _fields_reference(Request& r, MethodParams& params) {
1.46 moko 284: Value& o=params.as_no_junction(0, "param must be object or hash, not junction");
1.44 moko 285:
1.45 moko 286: if(HashStringValue* fields=o.get_fields_reference())
1.64 moko 287: r.write(*new VHashReference(*fields));
1.44 moko 288: else
1.46 moko 289: throw Exception(PARSER_RUNTIME, 0, "param must be object or hash");
1.44 moko 290: }
291:
1.28 misha 292: static void _field(Request& r, MethodParams& params) {
293: Value& o=params.as_no_junction(0, "first param must be object or class, not junction");
294: const String& name=params.as_string(1, "field name must be string");
295:
296: if(HashStringValue* fields=o.get_fields())
297: if(Value* value=fields->get(name))
1.64 moko 298: r.write(*value);
1.28 misha 299: }
300:
1.8 misha 301: static void _method_info(Request& r, MethodParams& params) {
1.59 moko 302: const Method* method;
1.66 moko 303:
304: VHash& result=*new VHash;
305: HashStringValue* hash=result.get_hash();
1.2 misha 306:
1.62 moko 307: if(Junction *j=params[0].get_junction()){
1.59 moko 308: if(!(method=j->method))
309: throw Exception(PARSER_RUNTIME, 0, "param must be class name or method junction");
1.66 moko 310:
311: hash->put(method_name, new VString(*method->name));
1.71 moko 312: hash->put(method_class_name, new VString(*new String(j->self.type())));
313:
1.59 moko 314: } else {
315: const String& class_name=params.as_string(0, "param must be class name or method junction");
1.66 moko 316: VStateless_class* vclass=r.get_class(class_name);
317:
318: if(!vclass)
1.59 moko 319: throw Exception(PARSER_RUNTIME, &class_name, "class is undefined");
320:
321: if(params.count()==1)
322: throw Exception(PARSER_RUNTIME, 0, "method name must be specified");
323:
324: const String& method_name=params.as_string(1, "method name must be string");
325: if(!(method=vclass->get_method(method_name)))
326: throw Exception(PARSER_RUNTIME, &method_name, "method not found in class '%s'", vclass->type());
1.2 misha 327:
1.66 moko 328: Method* base_method;
329: if(vclass && vclass->base() && (base_method=vclass->base()->get_method(*method->name))){
330: VStateless_class* c=vclass->base()->get_class();
331: while(c->base() && base_method==c->base()->get_method(*method->name))
332: c=c->base()->get_class();
333: hash->put((base_method==method) ? method_inherited : method_overridden, new VString(*new String(c->type())));
334: }
1.23 misha 335: }
1.8 misha 336:
1.29 misha 337: Value* call_type=0;
338: switch(method->call_type){
339: case Method::CT_DYNAMIC:
1.42 moko 340: call_type=new VString(Symbols::DYNAMIC_SYMBOL);
1.29 misha 341: break;
342: case Method::CT_STATIC:
1.42 moko 343: call_type=new VString(Symbols::STATIC_SYMBOL);
1.29 misha 344: break;
1.32 moko 345: case Method::CT_ANY:
346: break;
1.29 misha 347: }
348: if(call_type)
349: hash->put(method_call_type, call_type);
350:
1.2 misha 351: if(method->native_code){
352: // native code
353: hash->put(method_min_params, new VInt(method->min_numbered_params_count));
354: hash->put(method_max_params, new VInt(method->max_numbered_params_count));
355: } else {
356: // parser code
1.68 moko 357: const String* filespec = r.get_method_filespec(method);
1.16 misha 358: if( filespec )
359: hash->put("file", new VString(*filespec));
1.29 misha 360:
361: hash->put(method_max_params, new VInt(method->params_names ? method->params_names->count() : 0));
362:
1.2 misha 363: if(method->params_names)
364: for(size_t i=0; i<method->params_names->count(); i++)
365: hash->put(String::Body::Format(i), new VString(*method->params_names->get(i)));
1.29 misha 366:
367: if(method->extra_params)
368: hash->put(method_extra_param, new VString(*method->extra_params));
1.2 misha 369: }
370:
1.64 moko 371: r.write(result);
1.2 misha 372: }
373:
1.67 moko 374: static void _filename(Request& r, MethodParams& params) {
1.68 moko 375: if(Junction *j=params[0].get_junction()){
376: if(const Method* method=j->method){
377: if(!method->native_code)
378: if(const String* filespec = r.get_method_filespec(method))
379: r.write(*new VString(*filespec));
380: return;
381: }
382: throw Exception(PARSER_RUNTIME, 0, "param must be object, class or method junction");
383: }
1.67 moko 384:
1.68 moko 385: if(VClass* vclass = dynamic_cast<VClass*>(params[0].get_class())){
386: r.write(*new VString(vclass->get_filespec()));
1.67 moko 387: }
388: }
389:
1.9 misha 390: static void _dynamical(Request& r, MethodParams& params) {
391: if(params.count()){
1.64 moko 392: r.write(VBool::get(params[0].get_class() != ¶ms[0]));
1.9 misha 393: } else {
394: VMethodFrame* caller=r.get_method_frame()->caller();
1.64 moko 395: r.write(VBool::get(caller && caller->get_class() != &caller->self()));
1.9 misha 396: }
397: }
398:
1.35 moko 399: static void _is(Request& r, MethodParams& params) {
1.39 moko 400: const String& name=params.as_string(0, "element name must be string");
401: const String& type=params.as_string(1, "class name must be string");
402: Value *context=params.count()==3 ? &(params.as_no_junction(2, "context must not be code")) : r.get_method_frame()->caller();
1.37 moko 403: Value *value=context ? context->get_element(name) : 0;
1.35 moko 404:
405: if(value) {
406: if(type == "code" || type == "method") {
407: Junction *junction=value->get_junction();
1.64 moko 408: r.write(VBool::get(junction && ((junction->code==0) ^ (type == "code"))) );
1.35 moko 409: } else {
1.64 moko 410: r.write(VBool::get( value->is(type.cstr()) ));
1.35 moko 411: }
412: } else
1.64 moko 413: r.write(VBool::get(type == "void"));
1.35 moko 414: }
415:
1.19 moko 416: static void _copy(Request& r, MethodParams& params) {
417: HashStringValue* src=params.as_no_junction(0, "source must not be code").get_hash();
418:
1.44 moko 419: if(src==NULL)
1.19 moko 420: throw Exception(PARSER_RUNTIME, 0, "source must have hash representation");
421:
422: Value& dst=params.as_no_junction(1, "destination must not be code");
423:
424: for(HashStringValue::Iterator i(*src); i; i.next())
1.20 moko 425: r.put_element(dst, *new String(i.key(), String::L_TAINTED), i.value());
1.19 moko 426: }
427:
1.25 moko 428: static void _uid(Request& r, MethodParams& params) {
429: Value& obj=params.as_no_junction(0, "object must not be code");
430:
431: char local_buf[MAX_NUMBER];
432: int size=snprintf(local_buf, sizeof(local_buf), "%p", &obj);
433:
1.64 moko 434: r.write(*new String(String::C(pa_strdup(local_buf, (size_t)size), size)));
1.25 moko 435: }
436:
1.27 moko 437: static void _delete(Request&, MethodParams& params) {
1.58 moko 438: Value* v=¶ms.as_no_junction(0, "param must be object or class, not junction");
1.26 misha 439: const String& key=params.as_string(1, "field name must be string");
1.58 moko 440:
441: if(VObject* o=dynamic_cast<VObject*>(v)){
442: o->get_fields()->remove(key);
443: } else if(VClass* c=dynamic_cast<VClass*>(v)){
444: HashStringProperty &p=*c->get_properties();
445: if(Property* property=p.get(key))
446: if(property->value)
447: p.remove(key);
1.26 misha 448: }
449: }
450:
1.55 moko 451: static void _mixin(Request& r, MethodParams& params) {
452: Value& vsource=params.as_no_junction(0, "source must not be code");
453:
454: Value* vtarget=0;
455: const String *name=0;
456: bool copy_methods=true;
457: bool copy_fields=true;
1.60 moko 458: bool overwrite=false;
1.55 moko 459:
460: if(params.count()>1)
461: if(HashStringValue* options=params.as_hash(1, "mixin options")) {
462: int valid_options=0;
1.80 moko 463: for(HashStringValue::Iterator i(*options); i; i.next() ){
464: String::Body key=i.key();
465: Value* value=i.value();
466: if(key == "to") {
467: vtarget=value;
468: valid_options++;
469: } else if(key == "name") {
470: name=&value->as_string();
471: valid_options++;
472: } else if(key == "methods") {
473: copy_methods=r.process(*value).as_bool();
474: valid_options++;
475: } else if(key == "fields") {
476: copy_fields=r.process(*value).as_bool();
477: valid_options++;
478: } else if(key == "overwrite") {
479: overwrite=r.process(*value).as_bool();
480: valid_options++;
481: }
1.55 moko 482: }
483: if(valid_options!=options->count())
484: throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
485: }
486:
487: if(!vtarget)
488: vtarget=&r.get_method_frame()->caller()->self();
489:
490: VClass* source=dynamic_cast<VClass*>(vsource.get_class());
491: VClass* target=dynamic_cast<VClass*>(vtarget->get_class());
492:
493: if(!source)
494: throw Exception(PARSER_RUNTIME, 0, "source must be parser object or class");
495: if(!target)
496: throw Exception(PARSER_RUNTIME, 0, "destination must be parser object or class");
497:
498: if(name){
499: if(copy_methods)
500: if(Method* method=source->get_method(*name))
501: if(overwrite || !target->get_method(*name)){
1.59 moko 502: target->set_method(*name, new Method(*method));
1.55 moko 503: }
504:
505: if(copy_fields)
506: if(Property* property=source->get_properties()->get(*name))
507: if(property->value && (overwrite || !target->get_properties()->get(*name))){
508: target->put_element(*target, *name, property->value);
509: }
510:
511: } else {
512: if(copy_methods)
513: for(HashStringMethod::Iterator i(source->get_methods()); i; i.next()){
514: if(overwrite || !target->get_method(i.key()))
1.59 moko 515: target->set_method(*i.value()->name, new Method(*i.value()));
1.55 moko 516: }
517: if(copy_fields)
518: for(HashStringProperty::Iterator i(*source->get_properties()); i; i.next()){
519: if(i.value()->value && ( overwrite || !target->get_properties()->get(i.key()) ))
520: target->put_element(*target, *new String(i.key(), String::L_TAINTED), i.value()->value);
521: }
522: }
523: }
524:
1.76 moko 525: String::Language get_untaint_lang(const String& lang_name); // op.C
526:
527: static void _tainting(Request& r, MethodParams& params) {
1.78 moko 528: const String& str=params.as_string(params.count()-1, "param must be string");
1.76 moko 529: String::Language lang = String::L_UNSPECIFIED;
530: bool optimized=false;
531:
532: if(params.count()==2){
1.78 moko 533: const String& slang=params.as_string(0, "language name must be string");
1.76 moko 534: if(slang == "optimized")
535: optimized=true;
536: else if(slang == "tainted")
537: lang=String::L_TAINTED;
538: else lang=get_untaint_lang(slang);
539: }
540:
541: if(!str.is_empty()){
542: char *visual=str.visualize_langs();
543:
544: if(optimized){
545: for(char *c=visual; *c; c++)
546: *c = *c<0 ? '+':'-';
547: } else if(lang != String::L_UNSPECIFIED){
548: for(char *c=visual; *c; c++)
549: *c = *c==lang ? '+':'-';
550: } else {
551: for(char *c=visual; *c; c++)
552: *c = *c & 0x7F;
553: }
554:
555: r.write(*new String(visual));
556: }
557: }
1.26 misha 558:
1.81 moko 559: static void _stack(Request& r, MethodParams& params) {
560: bool show_args=false;
561: bool show_locals=false;
562:
563: int limit=1000000;
564: int offset=0;
565:
566: if(params.count()>0)
567: if(HashStringValue* options=params.as_hash(0, "stack options")) {
568: int valid_options=0;
569: for(HashStringValue::Iterator i(*options); i; i.next() ){
570: String::Body key=i.key();
571: Value* value=i.value();
572:
573: if(key == "args") {
574: show_args=r.process(*value).as_bool();
575: valid_options++;
1.82 moko 576: } else if(key == "locals") {
1.81 moko 577: show_locals=r.process(*value).as_bool();
578: valid_options++;
1.82 moko 579: } else if(key == "limit") {
1.81 moko 580: limit=r.process(*value).as_int();
581: valid_options++;
1.82 moko 582: } else if(key == "offset") {
1.81 moko 583: offset=r.process(*value).as_int();
584: valid_options++;
585: }
586: }
587:
588: if(valid_options!=options->count())
589: throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
590: }
591:
592: limit+=offset;
593:
594: VHash& vresult=*new VHash;
595: HashStringValue* result=vresult.get_hash();
596: int index=1;
597: VMethodFrame* caller=r.get_method_frame()->caller();
598: while(caller && index <= limit){
599: if(index>offset){
600: VHash& vcurrent=*new VHash;
601: HashStringValue* current=vcurrent.get_hash();
602:
603: current->put(Symbols::SELF_SYMBOL, &caller->self());
604:
605: const Method& method=caller->method;
606:
607: current->put(method_name, new VString(*method.name));
608:
609: if(!method.native_code){
610: Operation::Origin origin=r.get_method_origin(&method);
611: if(origin.file_no){
612: current->put("file", new VString(*r.get_used_filespec(origin.file_no)));
613: current->put("line", new VInt(origin.line)); // no +1 as declaration before first command
614: }
615:
616: if(show_args || show_locals){
617:
618: VHash& vargs=*new VHash;
619: HashStringValue* args=vargs.get_hash();
620:
621: if(method.params_names){
622: for(size_t i=0; i<method.params_names->count(); i++){
623: const String& pname=*(*method.params_names)[i];
624: Value* value=caller->get_element(pname);
625: args->put(pname, value->get_junction() ? VVoid::get() : value);
626: }
627: }
628: if(method.extra_params)
629: args->put(*method.extra_params, caller->get_element(*method.extra_params));
630:
631: if(show_args)
632: current->put("args", &vargs);
633:
634: if(show_locals){
635: VHash& vlocals=*new VHash;
636: HashStringValue* locals=vlocals.get_hash();
637:
638: if(VParserMethodFrame* frame=dynamic_cast<VParserMethodFrame*>(caller))
639: for(HashString<Value*>::Iterator h(frame->my); h; h.next()){
640: String::Body key=h.key();
641: Value* value=h.value();
642: if(!args->contains(key) && (key != "result")){
643: locals->put(key, value->get_junction() ? VVoid::get() : value);
644: }
645: }
646:
647: current->put("locals", &vlocals);
648: }
649: }
650: }
651:
652: result->put(format(index, 0), &vcurrent);
653: }
654: caller=caller->caller();
655: index++;
656: }
657:
658: r.write(vresult);
659: }
660:
1.1 misha 661: // constructor
662: MReflection::MReflection(): Methoded("reflection") {
1.2 misha 663: // ^reflection:create[class_name;constructor_name[;param1[;param2[;...]]]]
1.73 moko 664: // ^reflection:create[ $.class[name] $.constructor[name] $.arguments[ $.1[param1] $.2[param2] ...] ]
665: add_native_method("create", Method::CT_STATIC, _create, 1, MAX_CREATE_PARAMS + 2);
1.1 misha 666:
1.3 misha 667: // ^reflection:classes[]
668: add_native_method("classes", Method::CT_STATIC, _classes, 0, 0);
669:
1.1 misha 670: // ^reflection:class[object]
671: add_native_method("class", Method::CT_STATIC, _class, 1, 1);
672:
673: // ^reflection:class_name[object]
674: add_native_method("class_name", Method::CT_STATIC, _class_name, 1, 1);
675:
1.34 moko 676: // ^reflection:class_by_name[class_name]
677: add_native_method("class_by_name", Method::CT_STATIC, _class_by_name, 1, 1);
678:
1.2 misha 679: // ^reflection:base_class[object]
680: add_native_method("base", Method::CT_STATIC, _base, 1, 1);
681:
682: // ^reflection:base_class_name[object]
683: add_native_method("base_name", Method::CT_STATIC, _base_name, 1, 1);
684:
1.30 misha 685: // ^reflection:def[class|...;name]
686: add_native_method("def", Method::CT_STATIC, _def, 2, 2);
687:
1.2 misha 688: // ^reflection:methods[class_name]
1.84 ! moko 689: add_native_method("methods", Method::CT_STATIC, _methods, 1, 2);
1.2 misha 690:
1.54 moko 691: // ^reflection:method[object or class;method_name[;self]]
692: // ^reflection:method[junction[;self]]
1.50 moko 693: add_native_method("method", Method::CT_STATIC, _method, 1, 3);
1.28 misha 694:
695: // ^reflection:method_info[class_name;method_name]
1.59 moko 696: // ^reflection:method_info[junction]
697: add_native_method("method_info", Method::CT_STATIC, _method_info, 1, 2);
1.28 misha 698:
1.79 moko 699: // ^reflection:filename[object or class or method]
1.67 moko 700: add_native_method("filename", Method::CT_STATIC, _filename, 1, 1);
701:
1.13 misha 702: // ^reflection:fields[object or class]
703: add_native_method("fields", Method::CT_STATIC, _fields, 1, 1);
704:
1.44 moko 705: // ^reflection:fields_reference[object]
706: add_native_method("fields_reference", Method::CT_STATIC, _fields_reference, 1, 1);
707:
1.28 misha 708: // ^reflection:field[object or class;field_name]
709: add_native_method("field", Method::CT_STATIC, _field, 2, 2);
1.9 misha 710:
711: // ^reflection:dynamical[[object or class, caller if absent]]
712: add_native_method("dynamical", Method::CT_STATIC, _dynamical, 0, 1);
1.19 moko 713:
1.39 moko 714: // ^reflection:is[element_name;class_name|code|method[;context]]
1.35 moko 715: add_native_method("is", Method::CT_STATIC, _is, 2, 3);
716:
1.19 moko 717: // ^reflection:copy[src;dst]
718: add_native_method("copy", Method::CT_STATIC, _copy, 2, 2);
1.25 moko 719:
720: // ^reflection:uid[object or class]
721: add_native_method("uid", Method::CT_STATIC, _uid, 1, 1);
1.26 misha 722:
723: // ^reflection:delete[object or class;field_name]
724: add_native_method("delete", Method::CT_STATIC, _delete, 2, 2);
1.54 moko 725:
726: // ^reflection:mixin[object or class or junction;options]
1.55 moko 727: add_native_method("mixin", Method::CT_STATIC, _mixin, 1, 2);
1.54 moko 728:
1.78 moko 729: // ^reflection:tainting[[language or 'tainted' or 'optimized';]string]
1.76 moko 730: add_native_method("tainting", Method::CT_STATIC, _tainting, 1, 2);
731:
1.81 moko 732: // ^reflection:stack[options]
733: add_native_method("stack", Method::CT_STATIC, _stack, 0, 1);
734:
1.1 misha 735: }
E-mail: