--- parser3/src/classes/reflection.C	2012/05/27 22:10:09	1.26
+++ parser3/src/classes/reflection.C	2026/02/25 18:22:40	1.101
@@ -1,29 +1,35 @@
 /** @file
 	Parser: @b reflection parser class.
 
-	Copyright (c) 2001-2012 Art. Lebedev Studio (http://www.artlebedev.com)
-	Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
+	Copyright (c) 2001-2024 Art. Lebedev Studio (http://www.artlebedev.com)
+	Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru>
 */
 
 #include "pa_vmethod_frame.h"
 #include "pa_request.h"
 #include "pa_vbool.h"
+#include "pa_varray.h"
+#include "pa_vobject.h"
 
-volatile const char * IDENT_REFLECTION_C="$Id: reflection.C,v 1.26 2012/05/27 22:10:09 misha Exp $";
+volatile const char * IDENT_REFLECTION_C="$Id: reflection.C,v 1.101 2026/02/25 18:22:40 moko Exp $";
 
 static const String class_type_methoded("methoded");
 
 static const String method_type_native("native");
 static const String method_type_parser("parser");
 
+static const String method_name("name");
+static const String method_class_name("class");
 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("static");
-static const String method_call_type_dynamic("dynamic");
 
 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_named_params("named_params");
+
+static const String def_class("class");
 
 // class
 
@@ -34,257 +40,399 @@ public:
 
 // global variable
 
-DECLARE_CLASS_VAR(reflection, new MReflection, 0);
+DECLARE_CLASS_VAR(reflection, new MReflection);
 
 // methods
 
+const int MAX_CREATE_PARAMS = 100;
 
 static void _create(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");
-
-	const String& constructor_name=params.as_string(1, "constructor_name must be string");
-	Value* constructor_value=class_value->get_element(constructor_name);
-
-	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());
+	int params_offset;
+	HashStringValue* params_hash=0;
 
-	Junction* junction=constructor_value->get_junction();
-	const Method* method=junction->method;
+	const String* class_name=0;
+	const String* constructor_name=0;
 
-	int nparams=params.count()-2;
-	int max_params_count;
+	Value& voptions=params.as_no_junction(0, "param must not be code");
+	if(HashStringValue* options=voptions.get_hash()) {
+		int valid_options=0;
+		if(Value* vclass_name=options->get("class")) {
+			valid_options++;
+			class_name=&vclass_name->as_string();
+		}
+		if(Value* vconstructor_name=options->get("constructor")) {
+			valid_options++;
+			constructor_name=&vconstructor_name->as_string();
+		}
+		if(Value* vparams_hash=options->get("arguments")) {
+			valid_options++;
+			params_hash=vparams_hash->as_hash("arguments");
+			if(params.count()>1)
+				throw Exception(PARSER_RUNTIME, 0, "arguments should not be specified as hash and as create params");
+		}
+		if(valid_options!=options->count())
+			throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
 
-	if(method->native_code){
-		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(),
-				class_value->type());
-
-		if(nparams<method->min_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(),
-				class_value->type(),
-				method->min_numbered_params_count,
-				nparams);
+		if(!class_name)
+			throw Exception(PARSER_RUNTIME, 0, "class name must be specified");
+		if(!constructor_name)
+			throw Exception(PARSER_RUNTIME, 0, "constructor name must be specified");
 
-		max_params_count=method->max_numbered_params_count;
+		params_offset=1;
 	} else {
-		max_params_count=method->params_names?method->params_names->count():0;
-	}
+		class_name=&params.as_string(0, "param must not be code");
 
-	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(),
-			class_value->type(),
-			max_params_count,
-			nparams);
-
-	Value &object = r.construct(*class_value, *method);
-	VConstructorFrame frame(*method, r.get_method_frame(), object);
-
-	Value* v[100];
-	if(nparams>0){
-		for(int i=0; i<nparams; i++)
-			v[i]=&r.process_to_value(params[i+2]);
-		frame.store_params((Value**)&v, nparams);
-	} else {
-		frame.empty_params();
+		if(params.count()==1)
+			throw Exception(PARSER_RUNTIME, 0, "constructor name must be specified");
+
+		constructor_name=&params.as_string(1, "constructor name must be string");
+
+		params_offset=2;
 	}
-	r.op_call(frame);
-	object.enable_default_setter();
-	r.write_pass_lang(frame.result());
-}
 
+	VStateless_class& vclass=r.get_class_ref(*class_name);
 
-static void store_vlass_info(
-		HashStringValue::key_type key, 
-		HashStringValue::value_type value,
-		HashStringValue* result
-){
-	Value* v;
-	if(value->get_class())
-		v=new VString(class_type_methoded);
-	else
-		v=VVoid::get();
-	result->put(key, v);
+	const Method* method=vclass.get_method(*constructor_name);
+	if(!method)
+		throw Exception(PARSER_RUNTIME, constructor_name, "constructor not found in class '%s'", vclass.type());
+
+	Value &object = r.construct(vclass, *method);
+
+	int nparams=params_hash ? params_hash->count() : (params.count()-params_offset);
+	if(nparams>MAX_CREATE_PARAMS)
+		throw Exception(PARSER_RUNTIME, 0, "arguments count should not exceed %d", MAX_CREATE_PARAMS);
+
+	Value* args[MAX_CREATE_PARAMS];
+	CONSTRUCTOR_FRAME_ACTION(*method, r.get_method_frame(), object, {
+		if(nparams>0){
+			if(params_hash){
+				int i=0;
+				for(HashStringValue::Iterator h(*params_hash); h; h.next())
+					args[i++]=h.value();
+			} else {
+				for(int i=0; i<nparams; i++)
+					args[i]=&r.process(params[i+params_offset]);
+			}
+			frame.store_params((Value**)&args, nparams);
+		} else {
+			frame.empty_params();
+		}
+		r.call(frame);
+		object.enable_default_setter();
+		r.write(frame.result());
+	});
 }
 
+
 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);
+	for(OrderedHashString<VStateless_class*>::Iterator i(r.classes()); i; i.next()){
+		result.hash().put(i.key(), i.value()->get_methods().count()>0 ? new VString(class_type_methoded) : VVoid::get() );
+	}
+	r.write(result);
 }
 
 
-static Value* get_class(Value* value){
-	if(VStateless_class* result=value->get_class())
-		return result;
-	else
-		// classes with fields only, like env & console
+static Value& get_class(Value& value){
+	if(VStateless_class* result=value.get_class())
+		return *result;
+	else {
+		// we can't return code junction to outside as it's stack value
+		if(Junction *j=value.get_junction())
+			if(j->code)
+				throw Exception(PARSER_RUNTIME, 0, "param must not be code junction");
+		// method junction
 		return value;
+	}
 }
 
-static const String* get_class_name(Value* value){
-	if(VStateless_class* lclass=value->get_class())
-		return &lclass->name();
-	else
-		// classes with fields only, like env & console
-		return new String(value->type());
+static const String& get_class_name(Value& value){
+	return *new String(get_class(value).type());
 }
 
 
 static void _class(Request& r, MethodParams& params) {
-	r.write_no_lang(*get_class(&params[0]));
+	r.write(get_class(params[0]));
 }
 
 
 static void _class_name(Request& r, MethodParams& params) {
-	r.write_no_lang(*get_class_name(&params[0]));
+	r.write(get_class_name(params[0]));
 }
 
+static void _class_by_name(Request& r, MethodParams& params) {
+	const String& class_name=params.as_string(0, "class name must be string");
+	r.write(r.get_class_ref(class_name));
+}
+
+static void _class_alias(Request& r, MethodParams& params) {
+	const String& src_class_name=params.as_string(0, "source class_name must be string");
+	const String& new_class_name=params.as_string(1, "alias class_name must be string");
+
+	VStateless_class &src_class=r.get_class_ref(src_class_name);
+	if(!r.add_class(new_class_name.cstr(), &src_class))
+		throw Exception(PARSER_RUNTIME, &new_class_name, "class is already defined");
+}
 
 static void _base(Request& r, MethodParams& params) {
-	if(VStateless_class* lclass=params[0].get_class())
-		if(Value* base=lclass->base()){
-			r.write_no_lang(*get_class(base));
+	if(VStateless_class* vclass=params[0].get_class())
+		if(Value* base=vclass->base()){
+			r.write(get_class(*base));
 			return;
 		}
 
 	// classes with fields only, like env & console or without base
-	r.write_no_lang(*VVoid::get());
+	r.write_value(*VVoid::get());
 }
 
 
 static void _base_name(Request& r, MethodParams& params) {
-	if(VStateless_class* lclass=params[0].get_class())
-		if(Value* base=lclass->base())
-			r.write_no_lang(*get_class_name(base));
+	if(VStateless_class* vclass=params[0].get_class())
+		if(Value* base=vclass->base())
+			r.write(get_class_name(*base));
 }
 
-static void store_method_info(
-		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");
+		// can't use get_class because it will call @autouse[] if the class wasn't loaded
+		r.write(VBool::get(r.classes().get(name)!=0));
+	} else {
+		throw Exception(PARSER_RUNTIME, &type, "is an 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.get_class(class_name);
-	if(!class_value)
-		throw Exception(PARSER_RUNTIME,
-			&class_name,
-			"class is undefined");
+	VStateless_class& vclass=r.get_class_ref(class_name);
+
+	bool reverse=true;
+
+	if(params.count()>1)
+		if(HashStringValue* options=params.as_hash(1, "methods options")) {
+			int valid_options=0;
+			for(HashStringValue::Iterator i(*options); i; i.next() ){
+				String::Body key=i.key();
+				Value* value=i.value();
+				if(key == "reverse") {
+					reverse=r.process(*value).as_bool();
+					valid_options++;
+				}
+			}
+			if(valid_options!=options->count())
+				throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
+		}
 
 	VHash& result=*new VHash;
-	if(VStateless_class* lclass=class_value->get_class()){
-		HashStringMethod methods=lclass->get_methods();
-		methods.for_each(store_method_info, result.get_hash());
+
+#ifdef HASH_ORDER
+	if(reverse){
+		for(HashStringMethod::ReverseIterator i(vclass.get_methods()); i; i.prev()){
+			result.hash().put(i.key(), new VString(i.value()->native_code ? method_type_native : method_type_parser));
+		}
 	} else {
-		// class which does not have methods (env, console, etc)
+#else
+	{
+#endif
+		for(HashStringMethod::Iterator i(vclass.get_methods()); i; i.next()){
+			result.hash().put(i.key(), new VString(i.value()->native_code ? method_type_native : method_type_parser));
+		}
 	}
-	r.write_no_lang(result);
+
+	r.write(result);
+}
+
+static VJunction &method_junction(Value &self, Method &method){
+	if(method.native_code)
+		throw Exception(PARSER_RUNTIME, method.name, "method must not be native");
+
+	if(!(dynamic_cast<VObject*>(&self) || dynamic_cast<VClass*>(&self)))
+		throw Exception(PARSER_RUNTIME, 0, "self must be parser object or class");
+
+	return *method.get_vjunction(self);
+}
+
+static void _method(Request& r, MethodParams& params) {
+	Value &source=params[0];
+
+	if(Junction *j=source.get_junction()){
+		if(Method* method=const_cast<Method*>(j->method)){
+			Value& self=params.count()>1 ? params.as_no_junction(1, "self must be object") : r.get_method_frame()->caller()->self();
+			r.write(method_junction(self, *method));
+			return;
+		}
+		throw Exception(PARSER_RUNTIME, 0, "param must be method junction");
+	}
+
+	if(params.count()==1)
+		throw Exception(PARSER_RUNTIME, 0, "method name must be specified");
+
+	const String& name=params.as_string(1, "method name must be string");
+
+	if(VStateless_class* vclass=source.get_class()) {
+		if(Method* method=vclass->get_method(name)){
+			r.write( params.count()>2 ? method_junction(params.as_no_junction(2, "self must be object"), *method) : *method->get_vjunction(source) );
+			return;
+		}
+	}
+	r.write_value(*VVoid::get());
 }
 
 static void _fields(Request& r, MethodParams& params) {
-	if(HashStringValue* fields=params[0].get_fields()){
-		VHash& result=*new VHash(*fields);
-		r.write_no_lang(result);
-	} else
-		r.write_no_lang(*new VHash());
+	Value& o=params.as_no_junction(0, "param must be object or class");
+
+	if(HashStringValue* fields=o.get_fields())
+		r.write(*new VHash(*fields));
+	else
+		r.write(*new VHash());
 }
 
-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.get_class(class_name);
-	if(!class_value)
-		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");
+static void _fields_reference(Request& r, MethodParams& params) {
+	Value& o=params.as_no_junction(0, "param must be object or hash");
 
-	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());
+	if(HashStringValue* fields=o.get_fields_reference())
+		r.write(*new VHashReference(*fields));
+	else
+		throw Exception(PARSER_RUNTIME, 0, "param must be object or hash");
+}
+
+static void _field(Request& r, MethodParams& params) {
+	Value& o=params.as_no_junction(0, "first param must be object or class");
+	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(*value);
+}
+
+static void _method_info(Request& r, MethodParams& params) {
+	const Method* method;
 
 	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(c->name()));
+	if(Junction *j=params[0].get_junction()){
+		if(!(method=j->method))
+			throw Exception(PARSER_RUNTIME, 0, "param must be class name or method junction");
+
+		hash->put(method_name, new VString(*method->name));
+		hash->put(method_class_name, new VString(*new String(j->self.type())));
+
+	} else {
+		const String& class_name=params.as_string(0, "param must be class name or method junction");
+		VStateless_class& vclass=r.get_class_ref(class_name);
+
+		if(params.count()==1)
+			throw Exception(PARSER_RUNTIME, 0, "method name must be specified");
+
+		const String& method_name=params.as_string(1, "method name must be string");
+		if(!(method=vclass.get_method(method_name)))
+			throw Exception(PARSER_RUNTIME, &method_name, "method not found in class '%s'", vclass.type());
+
+		Method* base_method;
+		if(vclass.base() && (base_method=vclass.base()->get_method(*method->name))){
+			VStateless_class* c=vclass.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));
-		Value* call_type=0;
-		switch(method->call_type){
-			case Method::CT_DYNAMIC:
-				call_type=new VString(method_call_type_dynamic);
-				break;
-			case Method::CT_STATIC:
-				call_type=new VString(method_call_type_static);
-				break;
-		}
-		if(call_type)
-			hash->put(method_call_type, call_type);
 	} else {
 		// parser code
-		const String* filespec = r.get_method_filename(method);
+		const String* filespec = r.get_method_filespec(method);
 		if( filespec )
-			hash->put("file", new VString(*filespec));
+			HASH_PUT_CSTR(*hash, "file", new VString(*filespec));
+
+		hash->put(method_max_params, new VInt(method->params_count + (method->named_params ? 1 : 0)));
+
 		if(method->params_names)
 			for(size_t i=0; i<method->params_names->count(); i++)
-				hash->put(String::Body::Format(i), new VString(*method->params_names->get(i)));
+				hash->put(String::Body::uitoa(i), new VString(*method->params_names->get(i)));
+
+		if(method->extra_params)
+			hash->put(method_extra_param, new VString(*method->extra_params));
+		if(method->named_params){
+			size_t named_count=method->named_params->count();
+			VArray& named_params=*new VArray(named_count);
+			ArrayValue &array=named_params.array();
+
+			for(size_t i=0; i<named_count; i++) {
+				const String& fname=*(*method->named_params)[i];
+				array+=new VString(fname);
+			}
+			hash->put(method_named_params, &named_params);
+		}
+	}
+
+	r.write(result);
+}
+
+static void _filename(Request& r, MethodParams& params) {
+	if(Junction *j=params[0].get_junction()){
+		if(const Method* method=j->method){
+			if(!method->native_code)
+				if(const String* filespec = r.get_method_filespec(method))
+					r.write(*new VString(*filespec));
+			return;
+		}
+		throw Exception(PARSER_RUNTIME, 0, "param must be object, class or method junction");
 	}
 
-	r.write_no_lang(result);
+	if(VClass* vclass = dynamic_cast<VClass*>(params[0].get_class())){
+		r.write(*new VString(vclass->get_filespec()));
+	}
 }
 
 static void _dynamical(Request& r, MethodParams& params) {
 	if(params.count()){
-		r.write_no_lang(VBool::get(params[0].get_class() != &params[0]));
+		r.write(VBool::get(params[0].get_class() != &params[0]));
 	} else {
 		VMethodFrame* caller=r.get_method_frame()->caller();
-		r.write_no_lang(VBool::get(caller && caller->get_class() != &caller->self()));
+		r.write(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(VBool::get(junction && ((junction->code==0) ^ (type == "code"))) );
+		} else {
+			r.write(VBool::get( value->is(type.cstr()) ));
+		}
+	} else
+		r.write(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) 
+	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");
@@ -299,21 +447,254 @@ static void _uid(Request& r, MethodParam
 	char local_buf[MAX_NUMBER];
 	int size=snprintf(local_buf, sizeof(local_buf), "%p", &obj);
 
-	r.write_pass_lang(*new String(pa_strdup(local_buf, (size_t)size), String::L_CLEAN, size));
+	r.write(*new String(String::C(pa_strdup(local_buf, (size_t)size), size)));
 }
 
-static void _delete(Request& r, MethodParams& params) {
+static void _delete(Request&, MethodParams& params) {
+	Value* v=&params.as_no_junction(0, "param must be object or class");
 	const String& key=params.as_string(1, "field name must be string");
-	if(HashStringValue* fields=params[0].get_fields()){
-		fields->remove(key);
+
+	if(VObject* o=dynamic_cast<VObject*>(v)){
+		o->get_fields()->remove(key);
+	} else if(VClass* c=dynamic_cast<VClass*>(v)){
+		HashStringProperty &p=*c->get_properties();
+		if(Property* property=p.get(key))
+			if(property->value)
+				p.remove(key);
+	}
+}
+
+static void _mixin(Request& r, MethodParams& params) {
+	Value& vsource=params.as_no_junction(0, "source must not be code");
+
+	Value* vtarget=0;
+	const String *name=0;
+	bool copy_methods=true;
+	bool copy_fields=true;
+	bool overwrite=false;
+
+	if(params.count()>1)
+		if(HashStringValue* options=params.as_hash(1, "mixin options")) {
+			for(HashStringValue::Iterator i(*options); i; i.next() ){
+				String::Body key=i.key();
+				Value* value=i.value();
+				if(key == "to") {
+					vtarget=value;
+				} else if(key == "name") {
+					name=&value->as_string();
+				} else if(key == "methods") {
+					copy_methods=r.process(*value).as_bool();
+				} else if(key == "fields") {
+					copy_fields=r.process(*value).as_bool();
+				} else if(key == "overwrite") {
+					overwrite=r.process(*value).as_bool();
+				} else
+					throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
+			}
+		}
+
+	if(!vtarget)
+		vtarget=&r.get_method_frame()->caller()->self();
+
+	VClass* source=dynamic_cast<VClass*>(vsource.get_class());
+	VClass* target=dynamic_cast<VClass*>(vtarget->get_class());
+
+	if(!source)
+		throw Exception(PARSER_RUNTIME, 0, "source must be parser object or class");
+	if(!target)
+		throw Exception(PARSER_RUNTIME, 0, "destination must be parser object or class");
+
+	if(name){
+		if(copy_methods)
+			if(Method* method=source->get_method(*name))
+				if(overwrite || !target->get_method(*name)){
+					target->set_method(*name, new Method(*method));
+				}
+
+		if(copy_fields)
+			if(Property* property=source->get_properties()->get(*name))
+				if(property->value && (overwrite || !target->get_properties()->get(*name))){
+					target->put_element(*target, *name, property->value);
+				}
+
+	} else {
+		if(copy_methods)
+			for(HashStringMethod::Iterator i(source->get_methods()); i; i.next()){
+				if(overwrite || !target->get_method(i.key()))
+					target->set_method(*i.value()->name, new Method(*i.value()));
+			}
+		if(copy_fields)
+			for(HashStringProperty::Iterator i(*source->get_properties()); i; i.next()){
+				if(i.value()->value && ( overwrite || !target->get_properties()->get(i.key()) ))
+					target->put_element(*target, *new String(i.key(), String::L_TAINTED), i.value()->value);
+			}
+	}
+}
+
+static void _override(Request& r, MethodParams& params) {
+	Junction *j=params[0].get_junction();
+	const Method* method=j ? j->method : 0;
+	if(!method)
+		throw Exception(PARSER_RUNTIME, 0, "param must be method junction");
+
+	const String *name=method->name;
+	Value* vtarget=0;
+	if(params.count()>1)
+		if(HashStringValue* options=params.as_hash(1, "override options")) {
+			for(HashStringValue::Iterator i(*options); i; i.next() ){
+				if(i.key() == "to") {
+					vtarget=i.value();
+				} else if(i.key() == "name") {
+					name=&i.value()->as_string();
+				} else
+					throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
+			}
+		}
+
+	if(!vtarget)
+		vtarget=&r.get_method_frame()->caller()->self();
+
+	VClass* target=dynamic_cast<VClass*>(vtarget->get_class());
+
+	if(!target)
+		throw Exception(PARSER_RUNTIME, 0, "destination must be parser object or class");
+
+	target->set_method(*name, new Method(*method));
+}
+
+String::Language get_untaint_lang(const String& lang_name); // op.C
+
+static void _tainting(Request& r, MethodParams& params) {
+	const String& str=params.as_string(params.count()-1, "param must be string");
+	String::Language lang = String::L_UNSPECIFIED;
+	bool optimized=false;
+
+	if(params.count()==2){
+		const String& slang=params.as_string(0, "language name must be string");
+		if(slang == "optimized")
+			optimized=true;
+		else if(slang == "tainted")
+			lang=String::L_TAINTED;
+		else lang=get_untaint_lang(slang);
+	}
+
+	if(!str.is_empty()){
+		char *visual=str.visualize_langs();
+
+		if(optimized){
+			for(char *c=visual; *c; c++)
+				*c = *c<0 ? '+':'-';
+		} else if(lang != String::L_UNSPECIFIED){
+			for(char *c=visual; *c; c++)
+				*c = *c==lang ? '+':'-';
+		} else {
+			for(char *c=visual; *c; c++)
+				*c = *c & 0x7F;
+		}
+
+		r.write(*new String(visual));
 	}
 }
 
+static void _stack(Request& r, MethodParams& params) {
+	bool show_args=false;
+	bool show_locals=false;
+
+	int limit=1000000;
+	int offset=0;
+
+	if(params.count()>0)
+		if(HashStringValue* options=params.as_hash(0, "stack options")) {
+			for(HashStringValue::Iterator i(*options); i; i.next() ){
+				String::Body key=i.key();
+				Value* value=i.value();
+				if(key == "args") {
+					show_args=r.process(*value).as_bool();
+				} else if(key == "locals") {
+					show_locals=r.process(*value).as_bool();
+				} else if(key == "limit") {
+					limit=r.process(*value).as_int();
+				} else if(key == "offset") {
+					offset=r.process(*value).as_int();
+				} else
+					throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION);
+			}
+		}
+
+	limit+=offset;
+
+	VHash& vresult=*new VHash;
+	HashStringValue* result=vresult.get_hash();
+	int index=1;
+	VMethodFrame* caller=r.get_method_frame()->caller();
+	while(caller && index <= limit){
+		if(index>offset){
+			VHash& vcurrent=*new VHash;
+			HashStringValue* current=vcurrent.get_hash();
+
+			current->put(Symbols::SELF_SYMBOL, &caller->self());
+
+			const Method& method=caller->method;
+
+			current->put(method_name, new VString(*method.name));
+
+			if(!method.native_code){
+				Operation::Origin origin=r.get_method_origin(&method);
+				if(origin.file_no){
+					HASH_PUT_CSTR(*current, "file", new VString(*r.get_used_filespec(origin.file_no)));
+					HASH_PUT_CSTR(*current, "line", new VInt(origin.line)); // no +1 as declaration before first command
+				}
+
+				if(show_args || show_locals){
+
+					VHash& vargs=*new VHash;
+					HashStringValue* args=vargs.get_hash();
+
+					if(method.params_names){
+						for(size_t i=0; i<method.params_names->count(); i++){
+							const String& pname=*(*method.params_names)[i];
+							Value* value=caller->get_element(pname);
+							args->put(pname, value->get_junction() ? VVoid::get() : value);
+						}
+					}
+					if(method.extra_params)
+						args->put(*method.extra_params, caller->get_element(*method.extra_params));
+
+					if(show_args)
+						HASH_PUT_CSTR(*current, "args", &vargs);
+
+					if(show_locals){
+						VHash& vlocals=*new VHash;
+						HashStringValue* locals=vlocals.get_hash();
+
+						if(VParserMethodFrame* frame=dynamic_cast<VParserMethodFrame*>(caller))
+							for(HashString<Value*>::Iterator h(frame->my); h; h.next()){
+								String::Body key=h.key();
+								Value* value=h.value();
+								if(!args->contains(key) && (key != "result")){
+									locals->put(key, value->get_junction() ? VVoid::get() : value);
+								}
+							}
+
+						HASH_PUT_CSTR(*current, "locals", &vlocals);
+					}
+				}
+			}
+
+			result->put(String::Body::uitoa(index), &vcurrent);
+		}
+		caller=caller->caller();
+		index++;
+	}
+
+	r.write(vresult);
+}
 
 // constructor
 MReflection::MReflection(): Methoded("reflection") {
 	// ^reflection:create[class_name;constructor_name[;param1[;param2[;...]]]]
-	add_native_method("create", Method::CT_STATIC, _create, 2, 102);
+	// ^reflection:create[ $.class[name] $.constructor[name] $.arguments[ $.1[param1] $.2[param2] ...] ]
+	add_native_method("create", Method::CT_STATIC, _create, 1, MAX_CREATE_PARAMS + 2);
 
 	// ^reflection:classes[]
 	add_native_method("classes", Method::CT_STATIC, _classes, 0, 0);
@@ -324,24 +705,50 @@ MReflection::MReflection(): Methoded("re
 	// ^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:class_alias[class_name;new_class_name]
+	add_native_method("class_alias", Method::CT_STATIC, _class_alias, 2, 2);
+
 	// ^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);
+	add_native_method("methods", Method::CT_STATIC, _methods, 1, 2);
+
+	// ^reflection:method[object or class;method_name[;self]]
+	// ^reflection:method[junction[;self]]
+	add_native_method("method", Method::CT_STATIC, _method, 1, 3);
+
+	// ^reflection:method_info[class_name;method_name]
+	// ^reflection:method_info[junction]
+	add_native_method("method_info", Method::CT_STATIC, _method_info, 1, 2);
+
+	// ^reflection:filename[object or class or method]
+	add_native_method("filename", Method::CT_STATIC, _filename, 1, 1);
 
 	// ^reflection:fields[object or class]
 	add_native_method("fields", Method::CT_STATIC, _fields, 1, 1);
 
-	// ^reflection:method_info[class_name;method_name]
-	add_native_method("method_info", Method::CT_STATIC, _method_info, 2, 2);
+	// ^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);
 
@@ -350,4 +757,17 @@ MReflection::MReflection(): Methoded("re
 
 	// ^reflection:delete[object or class;field_name]
 	add_native_method("delete", Method::CT_STATIC, _delete, 2, 2);
+
+	// ^reflection:mixin[object or class or junction;options]
+	add_native_method("mixin", Method::CT_STATIC, _mixin, 1, 2);
+
+	// ^reflection:override[method junction[;$.to[class] $.name[another_name]]]
+	add_native_method("override", Method::CT_STATIC, _override, 1, 2);
+
+	// ^reflection:tainting[[language or 'tainted' or 'optimized';]string]
+	add_native_method("tainting", Method::CT_STATIC, _tainting, 1, 2);
+
+	// ^reflection:stack[options]
+	add_native_method("stack", Method::CT_STATIC, _stack, 0, 1);
+
 }