--- parser3/src/classes/reflection.C 2009/07/26 05:41:54 1.2 +++ parser3/src/classes/reflection.C 2016/07/20 13:57:04 1.44 @@ -1,55 +1,48 @@ /** @file Parser: @b reflection parser class. - Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com) + Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com) Author: Alexandr Petrosian (http://paf.design.ru) */ -static const char * const IDENT_REFLECTION_C="$Date: 2009/07/26 05:41:54 $"; - #include "pa_vmethod_frame.h" #include "pa_request.h" #include "pa_vbool.h" -const char* const METHOD_TYPE_NATIVE="native"; -const char* const METHOD_TYPE_PARSER="parser"; +volatile const char * IDENT_REFLECTION_C="$Id: reflection.C,v 1.44 2016/07/20 13:57:04 moko Exp $"; -const char* const METHOD_CALL_TYPE_STATIC="static"; -const char* const METHOD_CALL_TYPE_DYNAMIC="dynamic"; -const char* const METHOD_CALL_TYPE_ANY="any"; +static const String class_type_methoded("methoded"); -const char* const METHOD_MIN_PARAMS="min_params"; -const char* const METHOD_MAX_PARAMS="max_params"; +static const String method_type_native("native"); +static const String method_type_parser("parser"); -static const String method_type_native(METHOD_TYPE_NATIVE); -static const String method_type_parser(METHOD_TYPE_PARSER); +static const String method_call_type("call_type"); +static const String method_inherited("inherited"); +static const String method_overridden("overridden"); -static const String method_call_type_static(METHOD_CALL_TYPE_STATIC); -static const String method_call_type_dynamic(METHOD_CALL_TYPE_DYNAMIC); -static const String method_call_type_any(METHOD_CALL_TYPE_ANY); +static const String method_min_params("min_params"); +static const String method_max_params("max_params"); +static const String method_extra_param("extra_param"); -static const String method_min_params(METHOD_MIN_PARAMS); -static const String method_max_params(METHOD_MAX_PARAMS); +static const String def_class("class"); // class class MReflection: public Methoded { public: MReflection(); -public: // Methoded - bool used_directly() { return true; } }; // global variable -DECLARE_CLASS_VAR(reflection, new MReflection, 0); +DECLARE_CLASS_VAR(reflection, new MReflection); // methods static void _create(Request& r, MethodParams& params) { const String& class_name=params.as_string(0, "class_name must be string"); - Value* class_value=r.classes().get(class_name); + Value* class_value=r.get_class(class_name); if(!class_value) throw Exception(PARSER_RUNTIME, @@ -57,13 +50,13 @@ static void _create(Request& r, MethodPa "class is undefined"); const String& constructor_name=params.as_string(1, "constructor_name must be string"); - Value* constructor_value=class_value->get_element(constructor_name, *class_value, true); + Value* constructor_value=class_value->get_element(constructor_name); - if(!constructor_value || !constructor_value->get_junction() || constructor_value->get_junction()->self.get_class()!=class_value) + if(!constructor_value || !constructor_value->get_junction()) throw Exception(PARSER_RUNTIME, &constructor_name, "constructor must be declared in class '%s'", - class_value->get_class()->name_cstr()); + class_value->type()); Junction* junction=constructor_value->get_junction(); const Method* method=junction->method; @@ -75,36 +68,34 @@ static void _create(Request& r, MethodPa if(method->call_type==Method::CT_STATIC) throw Exception(PARSER_RUNTIME, &constructor_name, - "native method of class '%s' (%s) is not allowed to be called dynamically", - class_value->get_class()->name_cstr(), + "native method of class '%s' is not allowed to be called dynamically", class_value->type()); if(nparamsmin_numbered_params_count) throw Exception(PARSER_RUNTIME, &constructor_name, - "native method of class '%s' (%s) accepts minimum %d parameter(s) (%d passed)", - class_value->get_class()->name_cstr(), + "native method of class '%s' accepts minimum %d parameter(s) (%d passed)", class_value->type(), method->min_numbered_params_count, nparams); max_params_count=method->max_numbered_params_count; } else { - max_params_count=method->params_names->count(); + max_params_count=method->params_names?method->params_names->count():0; } if(nparams>max_params_count) throw Exception(PARSER_RUNTIME, &constructor_name, - "method of class '%s' (%s) accepts maximum %d parameter(s) (%d passed)", - class_value->get_class()->name_cstr(), + "method of class '%s' accepts maximum %d parameter(s) (%d passed)", class_value->type(), max_params_count, nparams); - VMethodFrame frame(*junction, r.get_method_frame()); + Value &object = r.construct(*class_value, *method); + VConstructorFrame frame(*method, r.get_method_frame(), object); - Value* v[100]; + Value* v[100]; if(nparams>0){ for(int i=0; iget_class()) + v=new VString(class_type_methoded); else - throw Exception(PARSER_RUNTIME, - 0, - "class is undefined"); + v=VVoid::get(); + result->put(key, v); +} + +static void _classes(Request& r, MethodParams&) { + VHash& result=*new VHash; + r.classes().for_each(store_vlass_info, result.get_hash()); + r.write_no_lang(result); +} + + +static Value* get_class(Value* value){ + if(VStateless_class* result=value->get_class()) + return result; + else + // classes with fields only, like env & console + return value; +} + +static const String* get_class_name(Value* value){ + if(VStateless_class* lclass=value->get_class()) + return new String(lclass->type()); + else + // classes with fields only, like env & console + return new String(value->type()); +} + + +static void _class(Request& r, MethodParams& params) { + r.write_no_lang(*get_class(¶ms[0])); } static void _class_name(Request& r, MethodParams& params) { - r.write_no_lang(String(params[0].type())); + r.write_no_lang(*get_class_name(¶ms[0])); } +static void _class_by_name(Request& r, MethodParams& params) { + const String& class_name=params.as_string(0, "class_name must be string"); + Value* class_value=r.get_class(class_name); + if(!class_value) + throw Exception(PARSER_RUNTIME, &class_name, "class is undefined"); + r.write_no_lang(*class_value); +} static void _base(Request& r, MethodParams& params) { - if(Value* lclass=params[0].get_class()) - if(Value* base=lclass->base()) - r.write_no_lang(*lclass->base()); - else - r.write_no_lang(*VVoid::get()); - else - throw Exception(PARSER_RUNTIME, - 0, - "class is undefined"); + if(VStateless_class* lclass=params[0].get_class()) + if(Value* base=lclass->base()){ + r.write_no_lang(*get_class(base)); + return; + } + + // classes with fields only, like env & console or without base + r.write_no_lang(*VVoid::get()); } static void _base_name(Request& r, MethodParams& params) { - if(Value* lclass=params[0].get_class()) + if(VStateless_class* lclass=params[0].get_class()) if(Value* base=lclass->base()) - r.write_no_lang(String(base->type())); + r.write_no_lang(*get_class_name(base)); } - static void store_method_info( - HashString::key_type key, - HashString::value_type method, + HashStringMethod::key_type key, + HashStringMethod::value_type method, HashStringValue* result ) { result->put(key, new VString(method->native_code?method_type_native:method_type_parser)); } +static void _def(Request& r, MethodParams& params) { + const String& type=params.as_string(0, "type must be string"); + if(type == def_class) { + const String& name=params.as_string(1, "name must be string"); + r.write_no_lang(VBool::get(r.classes().get(name)!=0)); + } else { + throw Exception(PARSER_RUNTIME, &type, "is invalid type, must be '%s'", def_class.cstr()); + } +} + static void _methods(Request& r, MethodParams& params) { const String& class_name=params.as_string(0, "class_name must be string"); - Value* class_value=r.classes().get(class_name); + Value* class_value=r.get_class(class_name); if(!class_value) throw Exception(PARSER_RUNTIME, &class_name, "class is undefined"); VHash& result=*new VHash; - if(VStateless_class* lclass=class_value->get_class()){ - HashString methods=lclass->get_methods(); + if(VStateless_class* lclass=class_value->get_class()) { + HashStringMethod methods=lclass->get_methods(); methods.for_each(store_method_info, result.get_hash()); -/* } else { - // exception? - throw Exception(PARSER_RUNTIME, - &class_name, - "class does not have methods"); -*/ + // class which does not have methods (env, console, etc) } r.write_no_lang(result); } +static void _method(Request& r, MethodParams& params) { + Value& o=params.as_no_junction(0, "first param must be object or class, not junction"); + const String& name=params.as_string(1, "method name must be string"); + + if(VStateless_class* lclass=o.get_class()) { + if(Method* method=lclass->get_method(name)) + r.write_no_lang(*method->get_vjunction(o)); + } else { + // class which does not have methods (env, console, etc) + } +} + +static void _fields(Request& r, MethodParams& params) { + Value& o=params.as_no_junction(0, "param must be object or class, not junction"); + + if(HashStringValue* fields=o.get_fields()) + r.write_no_lang(*new VHash(*fields)); + else + r.write_no_lang(*new VHash()); +} + +static void _fields_reference(Request& r, MethodParams& params) { + Value& o=params.as_no_junction(0, "param must be object or class, not junction"); + + if(HashStringValue* fields=o.get_fields()) + r.write_no_lang(*new VHashReference(*fields)); + else + throw Exception(PARSER_RUNTIME, 0, "param must be object or class"); +} -static void _method_params(Request& r, MethodParams& params) { +static void _field(Request& r, MethodParams& params) { + Value& o=params.as_no_junction(0, "first param must be object or class, not junction"); + const String& name=params.as_string(1, "field name must be string"); + + if(HashStringValue* fields=o.get_fields()) + if(Value* value=fields->get(name)) + r.write_no_lang(*value); +} + +static void _method_info(Request& r, MethodParams& params) { const String& class_name=params.as_string(0, "class_name must be string"); - Value* class_value=r.classes().get(class_name); + Value* class_value=r.get_class(class_name); if(!class_value) - throw Exception(PARSER_RUNTIME, - &class_name, - "class is undefined"); + throw Exception(PARSER_RUNTIME, &class_name, "class is undefined"); VStateless_class* lclass=class_value->get_class(); if(!lclass) - throw Exception(PARSER_RUNTIME, - &class_name, - "class does not have methods"); - + throw Exception(PARSER_RUNTIME, &class_name, "class does not have methods"); const String& method_name=params.as_string(1, "method_name must be string"); Method* method=lclass->get_method(method_name); if(!method) - throw Exception(PARSER_RUNTIME, - &method_name, - "method not found in class %s", - class_name.cstr()); + throw Exception(PARSER_RUNTIME, &method_name, "method not found in class %s", class_name.cstr()); VHash& result=*new VHash; HashStringValue* hash=result.get_hash(); + + VStateless_class* c=lclass; + Method* base_method; + if(c->base() && (base_method=c->base()->get_method(method_name))){ + c=c->base()->get_class(); + while(c->base() && base_method==c->base()->get_method(method_name)) + c=c->base()->get_class(); + hash->put((base_method==method) ? method_inherited : method_overridden, new VString(*new String(c->type()))); + } + + Value* call_type=0; + switch(method->call_type){ + case Method::CT_DYNAMIC: + call_type=new VString(Symbols::DYNAMIC_SYMBOL); + break; + case Method::CT_STATIC: + call_type=new VString(Symbols::STATIC_SYMBOL); + break; + case Method::CT_ANY: + break; + } + if(call_type) + hash->put(method_call_type, call_type); + if(method->native_code){ // native code hash->put(method_min_params, new VInt(method->min_numbered_params_count)); hash->put(method_max_params, new VInt(method->max_numbered_params_count)); - const String* call_type; - switch(method->call_type){ - case Method::CT_DYNAMIC: - call_type=&method_call_type_dynamic; - break; - case Method::CT_STATIC: - call_type=&method_call_type_static; - break; - default: - call_type=&method_call_type_any; - } - hash->put(String("call_type"), new VString(*call_type)); - } else { // parser code + const String* filespec = r.get_method_filename(method); + if( filespec ) + hash->put("file", new VString(*filespec)); + + hash->put(method_max_params, new VInt(method->params_names ? method->params_names->count() : 0)); + if(method->params_names) for(size_t i=0; iparams_names->count(); i++) hash->put(String::Body::Format(i), new VString(*method->params_names->get(i))); + + if(method->extra_params) + hash->put(method_extra_param, new VString(*method->extra_params)); } r.write_no_lang(result); } +static void _dynamical(Request& r, MethodParams& params) { + if(params.count()){ + r.write_no_lang(VBool::get(params[0].get_class() != ¶ms[0])); + } else { + VMethodFrame* caller=r.get_method_frame()->caller(); + r.write_no_lang(VBool::get(caller && caller->get_class() != &caller->self())); + } +} + +static void _is(Request& r, MethodParams& params) { + const String& name=params.as_string(0, "element name must be string"); + const String& type=params.as_string(1, "class name must be string"); + Value *context=params.count()==3 ? &(params.as_no_junction(2, "context must not be code")) : r.get_method_frame()->caller(); + Value *value=context ? context->get_element(name) : 0; + + if(value) { + if(type == "code" || type == "method") { + Junction *junction=value->get_junction(); + r.write_no_lang(VBool::get(junction && ((junction->code==0) ^ (type == "code"))) ); + } else { + r.write_no_lang(VBool::get( value->is(type.cstr()) )); + } + } else + r.write_no_lang(VBool::get(type == "void")); +} + +static void _copy(Request& r, MethodParams& params) { + HashStringValue* src=params.as_no_junction(0, "source must not be code").get_hash(); + + if(src==NULL) + throw Exception(PARSER_RUNTIME, 0, "source must have hash representation"); + + Value& dst=params.as_no_junction(1, "destination must not be code"); + + for(HashStringValue::Iterator i(*src); i; i.next()) + r.put_element(dst, *new String(i.key(), String::L_TAINTED), i.value()); +} + +static void _uid(Request& r, MethodParams& params) { + Value& obj=params.as_no_junction(0, "object must not be code"); + + char local_buf[MAX_NUMBER]; + int size=snprintf(local_buf, sizeof(local_buf), "%p", &obj); + + r.write_pass_lang(*new String(String::C(pa_strdup(local_buf, (size_t)size), size))); +} + +static void _delete(Request&, MethodParams& params) { + const String& key=params.as_string(1, "field name must be string"); + if(HashStringValue* fields=params[0].get_fields()){ + fields->remove(key); + } +} + + // constructor MReflection::MReflection(): Methoded("reflection") { // ^reflection:create[class_name;constructor_name[;param1[;param2[;...]]]] add_native_method("create", Method::CT_STATIC, _create, 2, 102); + // ^reflection:classes[] + add_native_method("classes", Method::CT_STATIC, _classes, 0, 0); + // ^reflection:class[object] add_native_method("class", Method::CT_STATIC, _class, 1, 1); // ^reflection:class_name[object] add_native_method("class_name", Method::CT_STATIC, _class_name, 1, 1); + // ^reflection:class_by_name[class_name] + add_native_method("class_by_name", Method::CT_STATIC, _class_by_name, 1, 1); + // ^reflection:base_class[object] add_native_method("base", Method::CT_STATIC, _base, 1, 1); // ^reflection:base_class_name[object] add_native_method("base_name", Method::CT_STATIC, _base_name, 1, 1); + // ^reflection:def[class|...;name] + add_native_method("def", Method::CT_STATIC, _def, 2, 2); + // ^reflection:methods[class_name] add_native_method("methods", Method::CT_STATIC, _methods, 1, 1); - // ^reflection:method_params[class_name;method_name] - add_native_method("method_params", Method::CT_STATIC, _method_params, 2, 2); + // ^reflection:method[object or class;method_name] + add_native_method("method", Method::CT_STATIC, _method, 2, 2); + + // ^reflection:method_info[class_name;method_name] + add_native_method("method_info", Method::CT_STATIC, _method_info, 2, 2); + + // ^reflection:fields[object or class] + add_native_method("fields", Method::CT_STATIC, _fields, 1, 1); + + // ^reflection:fields_reference[object] + add_native_method("fields_reference", Method::CT_STATIC, _fields_reference, 1, 1); + + // ^reflection:field[object or class;field_name] + add_native_method("field", Method::CT_STATIC, _field, 2, 2); + + // ^reflection:dynamical[[object or class, caller if absent]] + add_native_method("dynamical", Method::CT_STATIC, _dynamical, 0, 1); + + // ^reflection:is[element_name;class_name|code|method[;context]] + add_native_method("is", Method::CT_STATIC, _is, 2, 3); + + // ^reflection:copy[src;dst] + add_native_method("copy", Method::CT_STATIC, _copy, 2, 2); + + // ^reflection:uid[object or class] + add_native_method("uid", Method::CT_STATIC, _uid, 1, 1); - // @todo: check how 'create' and 'methods' work with ancestors-classes + // ^reflection:delete[object or class;field_name] + add_native_method("delete", Method::CT_STATIC, _delete, 2, 2); }