--- parser3/src/classes/reflection.C 2016/11/01 23:10:41 1.64 +++ parser3/src/classes/reflection.C 2024/12/23 16:59:17 1.97 @@ -1,16 +1,17 @@ /** @file Parser: @b reflection parser class. - Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com) - Author: Alexandr Petrosian (http://paf.design.ru) + Copyright (c) 2001-2024 Art. Lebedev Studio (http://www.artlebedev.com) + Authors: Konstantin Morshnev , Alexandr Petrosian */ #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.64 2016/11/01 23:10:41 moko Exp $"; +volatile const char * IDENT_REFLECTION_C="$Id: reflection.C,v 1.97 2024/12/23 16:59:17 moko Exp $"; static const String class_type_methoded("methoded"); @@ -18,6 +19,7 @@ static const String method_type_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"); @@ -25,6 +27,7 @@ static const String method_overridden("o 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"); @@ -41,68 +44,83 @@ DECLARE_CLASS_VAR(reflection, new MRefle // 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"); - VStateless_class* vclass=r.get_class(class_name); + int params_offset; + HashStringValue* params_hash=0; - if(!vclass) - throw Exception(PARSER_RUNTIME, &class_name, "class is undefined"); + const String* class_name=0; + const String* constructor_name=0; - const String& constructor_name=params.as_string(1, "constructor_name must be string"); - Value* constructor_value=vclass->get_element(constructor_name); + 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(!constructor_value || !constructor_value->get_junction()) - throw Exception(PARSER_RUNTIME, &constructor_name, "constructor must be declared in class '%s'", vclass->type()); + 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"); - Junction* junction=constructor_value->get_junction(); - const Method* method=junction->method; + params_offset=1; + } else { + class_name=¶ms.as_string(0, "param must not be code"); - int nparams=params.count()-2; - int max_params_count; + if(params.count()==1) + throw Exception(PARSER_RUNTIME, 0, "constructor name must be specified"); - if(method->native_code){ - if(method->call_type==Method::CT_STATIC) - throw Exception(PARSER_RUNTIME, - &constructor_name, - "native method of class '%s' is not allowed to be called dynamically", - vclass->type()); - - if(nparamsmin_numbered_params_count) - throw Exception(PARSER_RUNTIME, - &constructor_name, - "native method of class '%s' accepts minimum %d parameter(s) (%d passed)", - vclass->type(), - method->min_numbered_params_count, - nparams); + constructor_name=¶ms.as_string(1, "constructor name must be string"); - max_params_count=method->max_numbered_params_count; - } else { - max_params_count=method->params_names?method->params_names->count():0; + params_offset=2; } - if(nparams>max_params_count) - throw Exception(PARSER_RUNTIME, - &constructor_name, - "method of class '%s' accepts maximum %d parameter(s) (%d passed)", - vclass->type(), - max_params_count, - nparams); - - Value &object = r.construct(*vclass, *method); - VConstructorFrame frame(*method, r.get_method_frame(), object); - - Value* v[100]; - if(nparams>0){ - for(int i=0; icount() : (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; i1) + 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; - 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)); + +#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 { +#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(result); @@ -208,7 +258,7 @@ static void _method(Request& r, MethodPa if(Junction *j=source.get_junction()){ if(Method* method=const_cast(j->method)){ - Value& self=params.count()>1 ? params.as_no_junction(1, "self must be object, not junction") : r.get_method_frame()->caller()->self(); + 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; } @@ -222,7 +272,7 @@ static void _method(Request& r, MethodPa 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, not junction"), *method) : *method->get_vjunction(source) ); + r.write( params.count()>2 ? method_junction(params.as_no_junction(2, "self must be object"), *method) : *method->get_vjunction(source) ); return; } } @@ -230,7 +280,7 @@ static void _method(Request& r, MethodPa } static void _fields(Request& r, MethodParams& params) { - Value& o=params.as_no_junction(0, "param must be object or class, not junction"); + Value& o=params.as_no_junction(0, "param must be object or class"); if(HashStringValue* fields=o.get_fields()) r.write(*new VHash(*fields)); @@ -239,7 +289,7 @@ static void _fields(Request& r, MethodPa } static void _fields_reference(Request& r, MethodParams& params) { - Value& o=params.as_no_junction(0, "param must be object or hash, not junction"); + Value& o=params.as_no_junction(0, "param must be object or hash"); if(HashStringValue* fields=o.get_fields_reference()) r.write(*new VHashReference(*fields)); @@ -248,7 +298,7 @@ static void _fields_reference(Request& r } static void _field(Request& r, MethodParams& params) { - Value& o=params.as_no_junction(0, "first param must be object or class, not junction"); + 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()) @@ -258,34 +308,35 @@ static void _field(Request& r, MethodPar static void _method_info(Request& r, MethodParams& params) { const Method* method; - VStateless_class* vclass=0; + + VHash& result=*new VHash; + HashStringValue* hash=result.get_hash(); 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"); - if(!(vclass=r.get_class(class_name))) - throw Exception(PARSER_RUNTIME, &class_name, "class is undefined"); + 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()); - } + if(!(method=vclass.get_method(method_name))) + throw Exception(PARSER_RUNTIME, &method_name, "method not found in class '%s'", vclass.type()); - VHash& result=*new VHash; - HashStringValue* hash=result.get_hash(); - hash->put(method_name, new VString(*method->name)); - - Method* base_method; - if(vclass && 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()))); + 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; @@ -308,23 +359,50 @@ static void _method_info(Request& r, Met hash->put(method_max_params, new VInt(method->max_numbered_params_count)); } 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(method_max_params, new VInt(method->params_names ? method->params_names->count() : 0)); + hash->put(method_max_params, new VInt(method->params_count + (method->named_params ? 1 : 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))); + hash->put(pa_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; inamed_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"); + } + + if(VClass* vclass = dynamic_cast(params[0].get_class())){ + r.write(*new VString(vclass->get_filespec())); + } +} + static void _dynamical(Request& r, MethodParams& params) { if(params.count()){ r.write(VBool::get(params[0].get_class() != ¶ms[0])); @@ -373,7 +451,7 @@ static void _uid(Request& r, MethodParam } static void _delete(Request&, MethodParams& params) { - Value* v=¶ms.as_no_junction(0, "param must be object or class, not junction"); + Value* v=¶ms.as_no_junction(0, "param must be object or class"); const String& key=params.as_string(1, "field name must be string"); if(VObject* o=dynamic_cast(v)){ @@ -398,24 +476,25 @@ static void _mixin(Request& r, MethodPar if(params.count()>1) if(HashStringValue* options=params.as_hash(1, "mixin options")) { int valid_options=0; - if(vtarget=options->get("to")) { - valid_options++; - } - if(Value* vname=options->get("name")) { - name=&vname->as_string(); - valid_options++; - } - if(Value* vmethods=options->get("methods")) { - copy_methods=r.process(*vmethods).as_bool(); - valid_options++; - } - if(Value* vfields=options->get("fields")) { - copy_fields=r.process(*vfields).as_bool(); - valid_options++; - } - if(Value* voverwrite=options->get("overwrite")) { - overwrite=r.process(*voverwrite).as_bool(); - valid_options++; + for(HashStringValue::Iterator i(*options); i; i.next() ){ + String::Body key=i.key(); + Value* value=i.value(); + if(key == "to") { + vtarget=value; + valid_options++; + } else if(key == "name") { + name=&value->as_string(); + valid_options++; + } else if(key == "methods") { + copy_methods=r.process(*value).as_bool(); + valid_options++; + } else if(key == "fields") { + copy_fields=r.process(*value).as_bool(); + valid_options++; + } else if(key == "overwrite") { + overwrite=r.process(*value).as_bool(); + valid_options++; + } } if(valid_options!=options->count()) throw Exception(PARSER_RUNTIME, 0, CALLED_WITH_INVALID_OPTION); @@ -459,11 +538,147 @@ static void _mixin(Request& r, MethodPar } } +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")) { + int valid_options=0; + 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(); + valid_options++; + } else if(key == "locals") { + show_locals=r.process(*value).as_bool(); + valid_options++; + } else if(key == "limit") { + limit=r.process(*value).as_int(); + valid_options++; + } else if(key == "offset") { + offset=r.process(*value).as_int(); + valid_options++; + } + } + + if(valid_options!=options->count()) + 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){ + current->put("file", new VString(*r.get_used_filespec(origin.file_no))); + current->put("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; icount(); 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) + current->put("args", &vargs); + + if(show_locals){ + VHash& vlocals=*new VHash; + HashStringValue* locals=vlocals.get_hash(); + + if(VParserMethodFrame* frame=dynamic_cast(caller)) + for(HashString::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); + } + } + + current->put("locals", &vlocals); + } + } + } + + result->put(pa_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); @@ -477,6 +692,9 @@ MReflection::MReflection(): Methoded("re // ^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); @@ -487,7 +705,7 @@ MReflection::MReflection(): Methoded("re 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]] @@ -497,6 +715,9 @@ MReflection::MReflection(): Methoded("re // ^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); @@ -524,4 +745,10 @@ MReflection::MReflection(): Methoded("re // ^reflection:mixin[object or class or junction;options] add_native_method("mixin", Method::CT_STATIC, _mixin, 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); + }