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