2 * Copyright 2008 Jacek Caban for CodeWeavers
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2.1 of the License, or (at your option) any later version.
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
24 #include "wine/debug.h"
26 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
30 builtin_invoke_t value_proc;
33 scope_chain_t *scope_chain;
35 function_code_t *func_code;
42 FunctionInstance *function;
46 static inline FunctionInstance *function_from_vdisp(vdisp_t *vdisp)
48 return (FunctionInstance*)vdisp->u.jsdisp;
51 static inline FunctionInstance *function_this(vdisp_t *jsthis)
53 return is_vclass(jsthis, JSCLASS_FUNCTION) ? function_from_vdisp(jsthis) : NULL;
56 static const WCHAR prototypeW[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
58 static const WCHAR lengthW[] = {'l','e','n','g','t','h',0};
59 static const WCHAR toStringW[] = {'t','o','S','t','r','i','n','g',0};
60 static const WCHAR applyW[] = {'a','p','p','l','y',0};
61 static const WCHAR callW[] = {'c','a','l','l',0};
62 static const WCHAR argumentsW[] = {'a','r','g','u','m','e','n','t','s',0};
64 static HRESULT init_parameters(jsdisp_t *var_disp, FunctionInstance *function, unsigned argc, jsval_t *argv)
69 for(i=0; i < function->func_code->param_cnt; i++) {
70 hres = jsdisp_propput_name(var_disp, function->func_code->params[i],
71 i < argc ? argv[i] : jsval_undefined());
79 static HRESULT Arguments_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
86 static void Arguments_destructor(jsdisp_t *jsdisp)
88 ArgumentsInstance *arguments = (ArgumentsInstance*)jsdisp;
90 jsdisp_release(&arguments->function->dispex);
91 jsdisp_release(arguments->var_obj);
95 static unsigned Arguments_idx_length(jsdisp_t *jsdisp)
97 ArgumentsInstance *arguments = (ArgumentsInstance*)jsdisp;
98 return arguments->function->length;
101 static HRESULT Arguments_idx_get(jsdisp_t *jsdisp, unsigned idx, jsval_t *res)
103 ArgumentsInstance *arguments = (ArgumentsInstance*)jsdisp;
105 TRACE("%p[%u]\n", arguments, idx);
107 /* FIXME: Accessing by name won't work for duplicated argument names */
108 return jsdisp_propget_name(arguments->var_obj, arguments->function->func_code->params[idx], res);
111 static HRESULT Arguments_idx_put(jsdisp_t *jsdisp, unsigned idx, jsval_t val)
113 ArgumentsInstance *arguments = (ArgumentsInstance*)jsdisp;
115 TRACE("%p[%u] = %s\n", arguments, idx, debugstr_jsval(val));
117 /* FIXME: Accessing by name won't work for duplicated argument names */
118 return jsdisp_propput_name(arguments->var_obj, arguments->function->func_code->params[idx], val);
121 static const builtin_info_t Arguments_info = {
123 {NULL, Arguments_value, 0},
125 Arguments_destructor,
127 Arguments_idx_length,
132 static HRESULT create_arguments(script_ctx_t *ctx, FunctionInstance *calee, jsdisp_t *var_obj,
133 unsigned argc, jsval_t *argv, jsdisp_t **ret)
135 ArgumentsInstance *args;
139 static const WCHAR caleeW[] = {'c','a','l','l','e','e',0};
141 args = heap_alloc_zero(sizeof(*args));
143 return E_OUTOFMEMORY;
145 hres = init_dispex_from_constr(&args->jsdisp, ctx, &Arguments_info, ctx->object_constr);
151 jsdisp_addref(&calee->dispex);
152 args->function = calee;
153 args->var_obj = jsdisp_addref(var_obj);
155 /* Store unnamed arguments directly in arguments object */
156 for(i = calee->length; i < argc; i++) {
159 static const WCHAR formatW[] = {'%','d',0};
161 sprintfW(buf, formatW, i);
162 hres = jsdisp_propput_dontenum(&args->jsdisp, buf, argv[i]);
167 if(SUCCEEDED(hres)) {
168 hres = jsdisp_propput_dontenum(&args->jsdisp, lengthW, jsval_number(argc));
170 hres = jsdisp_propput_dontenum(&args->jsdisp, caleeW, jsval_disp(to_disp(&calee->dispex)));
173 jsdisp_release(&args->jsdisp);
177 *ret = &args->jsdisp;
181 static HRESULT create_var_disp(script_ctx_t *ctx, FunctionInstance *function, unsigned argc, jsval_t *argv, jsdisp_t **ret)
186 hres = create_dispex(ctx, NULL, NULL, &var_disp);
190 hres = init_parameters(var_disp, function, argc, argv);
192 jsdisp_release(var_disp);
200 static HRESULT invoke_source(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj, unsigned argc, jsval_t *argv,
203 jsdisp_t *var_disp, *arg_disp;
204 exec_ctx_t *exec_ctx;
205 scope_chain_t *scope;
208 if(!function->func_code) {
209 FIXME("no source\n");
213 hres = create_var_disp(ctx, function, argc, argv, &var_disp);
217 hres = create_arguments(ctx, function, var_disp, argc, argv, &arg_disp);
219 jsdisp_release(var_disp);
223 hres = jsdisp_propput(var_disp, argumentsW, PROPF_DONTDELETE, jsval_obj(arg_disp));
225 jsdisp_release(arg_disp);
226 jsdisp_release(var_disp);
230 hres = scope_push(function->scope_chain, var_disp, to_disp(var_disp), &scope);
231 if(SUCCEEDED(hres)) {
232 hres = create_exec_ctx(ctx, this_obj, var_disp, scope, FALSE, &exec_ctx);
233 scope_release(scope);
235 if(SUCCEEDED(hres)) {
238 prev_args = function->arguments;
239 function->arguments = arg_disp;
240 hres = exec_source(exec_ctx, function->code, function->func_code, FALSE, r);
241 function->arguments = prev_args;
243 exec_release(exec_ctx);
247 /* Reset arguments value to cut the reference cycle. Note that since all activation contexts have
248 * their own arguments property, it's impossible to use prototype's one during name lookup */
249 jsdisp_propput_name(var_disp, argumentsW, jsval_undefined());
251 jsdisp_release(arg_disp);
252 jsdisp_release(var_disp);
256 static HRESULT invoke_constructor(script_ctx_t *ctx, FunctionInstance *function, unsigned argc, jsval_t *argv,
263 hres = create_object(ctx, &function->dispex, &this_obj);
267 hres = invoke_source(ctx, function, to_disp(this_obj), argc, argv, &var);
269 jsdisp_release(this_obj);
273 if(is_object_instance(var)) {
274 jsdisp_release(this_obj);
278 *r = jsval_obj(this_obj);
283 static HRESULT invoke_value_proc(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_disp, WORD flags,
284 unsigned argc, jsval_t *argv, jsval_t *r)
290 set_disp(&vthis, this_disp);
291 else if(ctx->host_global)
292 set_disp(&vthis, ctx->host_global);
294 set_jsdisp(&vthis, ctx->global);
296 hres = function->value_proc(ctx, &vthis, flags, argc, argv, r);
298 vdisp_release(&vthis);
302 static HRESULT call_function(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj,
303 unsigned argc, jsval_t *argv, jsval_t *r)
305 if(function->value_proc)
306 return invoke_value_proc(ctx, function, this_obj, DISPATCH_METHOD, argc, argv, r);
308 return invoke_source(ctx, function, this_obj, argc, argv, r);
311 static HRESULT function_to_string(FunctionInstance *function, jsstr_t **ret)
315 static const WCHAR native_prefixW[] = {'\n','f','u','n','c','t','i','o','n',' '};
316 static const WCHAR native_suffixW[] =
317 {'(',')',' ','{','\n',' ',' ',' ',' ','[','n','a','t','i','v','e',' ','c','o','d','e',']','\n','}','\n'};
319 if(function->value_proc) {
322 name_len = strlenW(function->name);
323 str = jsstr_alloc_buf((sizeof(native_prefixW)+sizeof(native_suffixW))/sizeof(WCHAR) + name_len);
325 return E_OUTOFMEMORY;
327 memcpy(str->str, native_prefixW, sizeof(native_prefixW));
328 memcpy(str->str + sizeof(native_prefixW)/sizeof(WCHAR), function->name, name_len*sizeof(WCHAR));
329 memcpy(str->str + sizeof(native_prefixW)/sizeof(WCHAR) + name_len, native_suffixW, sizeof(native_suffixW));
331 str = jsstr_alloc_len(function->func_code->source, function->func_code->source_len);
333 return E_OUTOFMEMORY;
340 HRESULT Function_invoke(jsdisp_t *func_this, IDispatch *jsthis, WORD flags, unsigned argc, jsval_t *argv, jsval_t *r)
342 FunctionInstance *function;
344 TRACE("func %p this %p\n", func_this, jsthis);
346 assert(is_class(func_this, JSCLASS_FUNCTION));
347 function = (FunctionInstance*)func_this;
349 if(function->value_proc)
350 return invoke_value_proc(function->dispex.ctx, function, jsthis, flags, argc, argv, r);
352 if(flags == DISPATCH_CONSTRUCT)
353 return invoke_constructor(function->dispex.ctx, function, argc, argv, r);
355 assert(flags == DISPATCH_METHOD);
356 return invoke_source(function->dispex.ctx, function, jsthis, argc, argv, r);
359 static HRESULT Function_length(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
362 FunctionInstance *This = function_from_vdisp(jsthis);
364 TRACE("%p %d\n", This, This->length);
367 case DISPATCH_PROPERTYGET:
368 *r = jsval_number(This->length);
371 FIXME("unimplemented flags %x\n", flags);
378 static HRESULT Function_toString(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
381 FunctionInstance *function;
387 if(!(function = function_this(jsthis)))
388 return throw_type_error(ctx, JS_E_FUNCTION_EXPECTED, NULL);
390 hres = function_to_string(function, &str);
395 *r = jsval_string(str);
401 static HRESULT array_to_args(script_ctx_t *ctx, jsdisp_t *arg_array, unsigned *argc, jsval_t **ret)
407 hres = jsdisp_propget_name(arg_array, lengthW, &val);
411 hres = to_uint32(ctx, val, &length);
416 argv = heap_alloc(length * sizeof(*argv));
418 return E_OUTOFMEMORY;
420 for(i=0; i<length; i++) {
421 hres = jsdisp_get_idx(arg_array, i, argv+i);
422 if(hres == DISP_E_UNKNOWNNAME) {
423 argv[i] = jsval_undefined();
424 }else if(FAILED(hres)) {
426 jsval_release(argv[i]);
437 static HRESULT Function_apply(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv, jsval_t *r)
439 FunctionInstance *function;
440 jsval_t *args = NULL;
442 IDispatch *this_obj = NULL;
447 if(!(function = function_this(jsthis)))
448 return throw_type_error(ctx, JS_E_FUNCTION_EXPECTED, NULL);
451 if(!is_undefined(argv[0]) && !is_null(argv[0])) {
452 hres = to_object(ctx, argv[0], &this_obj);
459 jsdisp_t *arg_array = NULL;
461 if(is_object_instance(argv[1])) {
462 arg_array = iface_to_jsdisp((IUnknown*)get_object(argv[1]));
464 (!is_class(arg_array, JSCLASS_ARRAY) && !is_class(arg_array, JSCLASS_ARGUMENTS) )) {
465 jsdisp_release(arg_array);
471 hres = array_to_args(ctx, arg_array, &cnt, &args);
472 jsdisp_release(arg_array);
474 FIXME("throw TypeError\n");
480 hres = call_function(ctx, function, this_obj, cnt, args, r);
483 IDispatch_Release(this_obj);
484 for(i=0; i < cnt; i++)
485 jsval_release(args[i]);
490 static HRESULT Function_call(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
493 FunctionInstance *function;
494 IDispatch *this_obj = NULL;
500 if(!(function = function_this(jsthis)))
501 return throw_type_error(ctx, JS_E_FUNCTION_EXPECTED, NULL);
504 if(!is_undefined(argv[0]) && !is_null(argv[0])) {
505 hres = to_object(ctx, argv[0], &this_obj);
513 hres = call_function(ctx, function, this_obj, cnt, argv+1, r);
516 IDispatch_Release(this_obj);
520 HRESULT Function_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
523 FunctionInstance *function;
527 if(!is_vclass(jsthis, JSCLASS_FUNCTION)) {
528 ERR("dispex is not a function\n");
532 function = (FunctionInstance*)jsthis->u.jsdisp;
535 case DISPATCH_METHOD:
536 assert(function->value_proc != NULL);
537 return invoke_value_proc(ctx, function, NULL, flags, argc, argv, r);
539 case DISPATCH_PROPERTYGET: {
543 hres = function_to_string(function, &str);
547 *r = jsval_string(str);
551 case DISPATCH_CONSTRUCT:
552 assert(function->value_proc != NULL);
553 return invoke_value_proc(ctx, function, NULL, flags, argc, argv, r);
556 FIXME("not implemented flags %x\n", flags);
563 static HRESULT Function_arguments(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags,
564 unsigned argc, jsval_t *argv, jsval_t *r)
566 FunctionInstance *function = (FunctionInstance*)jsthis->u.jsdisp;
572 case DISPATCH_PROPERTYGET: {
573 *r = function->arguments ? jsval_obj(jsdisp_addref(function->arguments)) : jsval_null();
576 case DISPATCH_PROPERTYPUT:
579 FIXME("unimplemented flags %x\n", flags);
586 static void Function_destructor(jsdisp_t *dispex)
588 FunctionInstance *This = (FunctionInstance*)dispex;
591 release_bytecode(This->code);
592 if(This->scope_chain)
593 scope_release(This->scope_chain);
597 static const builtin_prop_t Function_props[] = {
598 {applyW, Function_apply, PROPF_METHOD|2},
599 {argumentsW, Function_arguments, 0},
600 {callW, Function_call, PROPF_METHOD|1},
601 {lengthW, Function_length, 0},
602 {toStringW, Function_toString, PROPF_METHOD}
605 static const builtin_info_t Function_info = {
607 {NULL, Function_value, 0},
608 sizeof(Function_props)/sizeof(*Function_props),
614 static const builtin_prop_t FunctionInst_props[] = {
615 {argumentsW, Function_arguments, 0},
616 {lengthW, Function_length, 0}
619 static const builtin_info_t FunctionInst_info = {
621 {NULL, Function_value, 0},
622 sizeof(FunctionInst_props)/sizeof(*FunctionInst_props),
628 static HRESULT create_function(script_ctx_t *ctx, const builtin_info_t *builtin_info, DWORD flags,
629 BOOL funcprot, jsdisp_t *prototype, FunctionInstance **ret)
631 FunctionInstance *function;
634 function = heap_alloc_zero(sizeof(FunctionInstance));
636 return E_OUTOFMEMORY;
639 hres = init_dispex(&function->dispex, ctx, builtin_info, prototype);
640 else if(builtin_info)
641 hres = init_dispex_from_constr(&function->dispex, ctx, builtin_info, ctx->function_constr);
643 hres = init_dispex_from_constr(&function->dispex, ctx, &FunctionInst_info, ctx->function_constr);
649 function->flags = flags;
650 function->length = flags & PROPF_ARGMASK;
656 static inline HRESULT set_prototype(script_ctx_t *ctx, jsdisp_t *dispex, jsdisp_t *prototype)
658 return jsdisp_propput_dontenum(dispex, prototypeW, jsval_obj(prototype));
661 HRESULT create_builtin_function(script_ctx_t *ctx, builtin_invoke_t value_proc, const WCHAR *name,
662 const builtin_info_t *builtin_info, DWORD flags, jsdisp_t *prototype, jsdisp_t **ret)
664 FunctionInstance *function;
667 hres = create_function(ctx, builtin_info, flags, FALSE, NULL, &function);
672 hres = jsdisp_propput_const(&function->dispex, lengthW, jsval_number(function->length));
674 hres = set_prototype(ctx, &function->dispex, prototype);
676 jsdisp_release(&function->dispex);
680 function->value_proc = value_proc;
681 function->name = name;
683 *ret = &function->dispex;
687 static HRESULT set_constructor_prop(script_ctx_t *ctx, jsdisp_t *constr, jsdisp_t *prot)
689 static const WCHAR constructorW[] = {'c','o','n','s','t','r','u','c','t','o','r',0};
691 return jsdisp_propput_dontenum(prot, constructorW, jsval_obj(constr));
694 HRESULT create_builtin_constructor(script_ctx_t *ctx, builtin_invoke_t value_proc, const WCHAR *name,
695 const builtin_info_t *builtin_info, DWORD flags, jsdisp_t *prototype, jsdisp_t **ret)
700 hres = create_builtin_function(ctx, value_proc, name, builtin_info, flags, prototype, &constr);
704 hres = set_constructor_prop(ctx, constr, prototype);
706 jsdisp_release(constr);
714 HRESULT create_source_function(script_ctx_t *ctx, bytecode_t *code, function_code_t *func_code,
715 scope_chain_t *scope_chain, jsdisp_t **ret)
717 FunctionInstance *function;
721 hres = create_object(ctx, NULL, &prototype);
725 hres = create_function(ctx, NULL, PROPF_CONSTR, FALSE, NULL, &function);
726 if(SUCCEEDED(hres)) {
727 hres = set_prototype(ctx, &function->dispex, prototype);
729 hres = set_constructor_prop(ctx, &function->dispex, prototype);
731 jsdisp_release(&function->dispex);
733 jsdisp_release(prototype);
738 scope_addref(scope_chain);
739 function->scope_chain = scope_chain;
742 bytecode_addref(code);
743 function->code = code;
744 function->func_code = func_code;
745 function->length = function->func_code->param_cnt;
747 *ret = &function->dispex;
751 static HRESULT construct_function(script_ctx_t *ctx, unsigned argc, jsval_t *argv, IDispatch **ret)
753 WCHAR *str = NULL, *ptr;
757 jsstr_t **params = NULL;
761 static const WCHAR function_anonymousW[] = {'f','u','n','c','t','i','o','n',' ','a','n','o','n','y','m','o','u','s','('};
762 static const WCHAR function_beginW[] = {')',' ','{','\n'};
763 static const WCHAR function_endW[] = {'\n','}',0};
766 params = heap_alloc(argc*sizeof(*params));
768 return E_OUTOFMEMORY;
771 len = (argc-2)*2; /* separating commas */
772 for(i=0; i < argc; i++) {
773 hres = to_string(ctx, argv[i], params+i);
776 len += jsstr_length(params[i]);
780 if(SUCCEEDED(hres)) {
781 len += (sizeof(function_anonymousW) + sizeof(function_beginW) + sizeof(function_endW)) / sizeof(WCHAR);
782 str = heap_alloc(len*sizeof(WCHAR));
784 memcpy(str, function_anonymousW, sizeof(function_anonymousW));
785 ptr = str + sizeof(function_anonymousW)/sizeof(WCHAR);
788 l = jsstr_length(params[j]);
789 memcpy(ptr, params[j]->str, l*sizeof(WCHAR));
797 memcpy(ptr, function_beginW, sizeof(function_beginW));
798 ptr += sizeof(function_beginW)/sizeof(WCHAR);
800 l = jsstr_length(params[argc-1]);
801 memcpy(ptr, params[argc-1]->str, l*sizeof(WCHAR));
804 memcpy(ptr, function_endW, sizeof(function_endW));
806 TRACE("%s\n", debugstr_w(str));
808 hres = E_OUTOFMEMORY;
813 jsstr_release(params[i]);
818 hres = compile_script(ctx, str, NULL, NULL, FALSE, FALSE, &code);
823 if(code->global_code.func_cnt != 1 || code->global_code.var_cnt) {
824 ERR("Invalid parser result!\n");
825 release_bytecode(code);
829 hres = create_source_function(ctx, code, code->global_code.funcs, NULL, &function);
830 release_bytecode(code);
834 *ret = to_disp(function);
838 static HRESULT FunctionConstr_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
846 case DISPATCH_CONSTRUCT: {
849 hres = construct_function(ctx, argc, argv, &ret);
853 *r = jsval_disp(ret);
857 FIXME("unimplemented flags %x\n", flags);
864 static HRESULT FunctionProt_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
871 HRESULT init_function_constr(script_ctx_t *ctx, jsdisp_t *object_prototype)
873 FunctionInstance *prot, *constr;
876 static const WCHAR FunctionW[] = {'F','u','n','c','t','i','o','n',0};
878 hres = create_function(ctx, &Function_info, PROPF_CONSTR, TRUE, object_prototype, &prot);
882 prot->value_proc = FunctionProt_value;
883 prot->name = prototypeW;
885 hres = create_function(ctx, &FunctionInst_info, PROPF_CONSTR|1, TRUE, &prot->dispex, &constr);
886 if(SUCCEEDED(hres)) {
887 constr->value_proc = FunctionConstr_value;
888 constr->name = FunctionW;
889 hres = set_prototype(ctx, &constr->dispex, &prot->dispex);
891 hres = set_constructor_prop(ctx, &constr->dispex, &prot->dispex);
893 jsdisp_release(&constr->dispex);
895 jsdisp_release(&prot->dispex);
899 ctx->function_constr = &constr->dispex;