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;
40 static inline FunctionInstance *function_from_vdisp(vdisp_t *vdisp)
42 return (FunctionInstance*)vdisp->u.jsdisp;
45 static inline FunctionInstance *function_this(vdisp_t *jsthis)
47 return is_vclass(jsthis, JSCLASS_FUNCTION) ? function_from_vdisp(jsthis) : NULL;
50 static const WCHAR prototypeW[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
52 static const WCHAR lengthW[] = {'l','e','n','g','t','h',0};
53 static const WCHAR toStringW[] = {'t','o','S','t','r','i','n','g',0};
54 static const WCHAR applyW[] = {'a','p','p','l','y',0};
55 static const WCHAR callW[] = {'c','a','l','l',0};
56 static const WCHAR argumentsW[] = {'a','r','g','u','m','e','n','t','s',0};
58 static HRESULT init_parameters(jsdisp_t *var_disp, FunctionInstance *function, unsigned argc, VARIANT *argv,
65 V_VT(&var_empty) = VT_EMPTY;
67 for(i=0; i < function->func_code->param_cnt; i++) {
68 hres = jsdisp_propput_name(var_disp, function->func_code->params[i],
69 i < argc ? argv+i : &var_empty, ei);
77 static HRESULT Arguments_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
78 jsval_t *r, jsexcept_t *ei)
84 static const builtin_info_t Arguments_info = {
86 {NULL, Arguments_value, 0},
92 static HRESULT create_arguments(script_ctx_t *ctx, IDispatch *calee, unsigned argc, VARIANT *argv,
93 jsexcept_t *ei, jsdisp_t **ret)
100 static const WCHAR caleeW[] = {'c','a','l','l','e','e',0};
102 args = heap_alloc_zero(sizeof(jsdisp_t));
104 return E_OUTOFMEMORY;
106 hres = init_dispex_from_constr(args, ctx, &Arguments_info, ctx->object_constr);
112 for(i=0; i < argc; i++) {
113 hres = jsdisp_propput_idx(args, i, argv+i, ei);
118 if(SUCCEEDED(hres)) {
119 num_set_int(&var, argc);
120 hres = jsdisp_propput_name(args, lengthW, &var, ei);
122 if(SUCCEEDED(hres)) {
123 V_VT(&var) = VT_DISPATCH;
124 V_DISPATCH(&var) = calee;
125 hres = jsdisp_propput_name(args, caleeW, &var, ei);
130 jsdisp_release(args);
138 static HRESULT create_var_disp(script_ctx_t *ctx, FunctionInstance *function, jsdisp_t *arg_disp,
139 unsigned argc, VARIANT *argv, jsexcept_t *ei, jsdisp_t **ret)
145 hres = create_dispex(ctx, NULL, NULL, &var_disp);
149 var_set_jsdisp(&var, arg_disp);
150 hres = jsdisp_propput_name(var_disp, argumentsW, &var, ei);
152 hres = init_parameters(var_disp, function, argc, argv, ei);
154 jsdisp_release(var_disp);
162 static HRESULT invoke_source(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj, unsigned argc, VARIANT *argv,
163 jsval_t *r, jsexcept_t *ei)
165 jsdisp_t *var_disp, *arg_disp;
166 exec_ctx_t *exec_ctx;
167 scope_chain_t *scope;
170 if(!function->func_code) {
171 FIXME("no source\n");
175 hres = create_arguments(ctx, to_disp(&function->dispex), argc, argv, ei, &arg_disp);
179 hres = create_var_disp(ctx, function, arg_disp, argc, argv, ei, &var_disp);
181 jsdisp_release(arg_disp);
185 hres = scope_push(function->scope_chain, var_disp, to_disp(var_disp), &scope);
186 if(SUCCEEDED(hres)) {
187 hres = create_exec_ctx(ctx, this_obj, var_disp, scope, FALSE, &exec_ctx);
188 scope_release(scope);
190 jsdisp_release(var_disp);
191 if(SUCCEEDED(hres)) {
195 prev_args = function->arguments;
196 function->arguments = arg_disp;
197 hres = exec_source(exec_ctx, function->code, function->func_code, FALSE, ei, r ? &retv : NULL);
198 function->arguments = prev_args;
199 if(SUCCEEDED(hres) && r) {
200 hres = variant_to_jsval(&retv, r);
205 jsdisp_release(arg_disp);
206 exec_release(exec_ctx);
210 static HRESULT invoke_constructor(script_ctx_t *ctx, FunctionInstance *function, unsigned argc, VARIANT *argv,
211 jsval_t *r, jsexcept_t *ei)
217 hres = create_object(ctx, &function->dispex, &this_obj);
221 hres = invoke_source(ctx, function, to_disp(this_obj), argc, argv, &var, ei);
223 jsdisp_release(this_obj);
227 if(is_object_instance(var)) {
228 jsdisp_release(this_obj);
232 *r = jsval_obj(this_obj);
237 static HRESULT invoke_value_proc(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_disp, WORD flags, unsigned argc, VARIANT *argv,
238 jsval_t *r, jsexcept_t *ei)
244 set_disp(&vthis, this_disp);
245 else if(ctx->host_global)
246 set_disp(&vthis, ctx->host_global);
248 set_jsdisp(&vthis, ctx->global);
250 hres = function->value_proc(ctx, &vthis, flags, argc, argv, r, ei);
252 vdisp_release(&vthis);
256 static HRESULT call_function(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj,
257 unsigned argc, VARIANT *argv, jsval_t *r, jsexcept_t *ei)
259 if(function->value_proc)
260 return invoke_value_proc(ctx, function, this_obj, DISPATCH_METHOD, argc, argv, r, ei);
262 return invoke_source(ctx, function, this_obj, argc, argv, r, ei);
265 static HRESULT function_to_string(FunctionInstance *function, BSTR *ret)
269 static const WCHAR native_prefixW[] = {'\n','f','u','n','c','t','i','o','n',' '};
270 static const WCHAR native_suffixW[] =
271 {'(',')',' ','{','\n',' ',' ',' ',' ','[','n','a','t','i','v','e',' ','c','o','d','e',']','\n','}','\n'};
273 if(function->value_proc) {
276 name_len = strlenW(function->name);
277 str = SysAllocStringLen(NULL, sizeof(native_prefixW) + name_len*sizeof(WCHAR) + sizeof(native_suffixW));
279 return E_OUTOFMEMORY;
281 memcpy(str, native_prefixW, sizeof(native_prefixW));
282 memcpy(str + sizeof(native_prefixW)/sizeof(WCHAR), function->name, name_len*sizeof(WCHAR));
283 memcpy(str + sizeof(native_prefixW)/sizeof(WCHAR) + name_len, native_suffixW, sizeof(native_suffixW));
285 str = SysAllocStringLen(function->func_code->source, function->func_code->source_len);
287 return E_OUTOFMEMORY;
294 HRESULT Function_invoke(jsdisp_t *func_this, IDispatch *jsthis, WORD flags, unsigned argc, VARIANT *argv, jsval_t *r, jsexcept_t *ei)
296 FunctionInstance *function;
298 TRACE("func %p this %p\n", func_this, jsthis);
300 assert(is_class(func_this, JSCLASS_FUNCTION));
301 function = (FunctionInstance*)func_this;
303 if(function->value_proc)
304 return invoke_value_proc(function->dispex.ctx, function, jsthis, flags, argc, argv, r, ei);
306 if(flags == DISPATCH_CONSTRUCT)
307 return invoke_constructor(function->dispex.ctx, function, argc, argv, r, ei);
309 assert(flags == DISPATCH_METHOD);
310 return invoke_source(function->dispex.ctx, function, jsthis, argc, argv, r, ei);
313 static HRESULT Function_length(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
314 jsval_t *r, jsexcept_t *ei)
316 FunctionInstance *This = function_from_vdisp(jsthis);
318 TRACE("%p %d\n", This, This->length);
321 case DISPATCH_PROPERTYGET:
322 *r = jsval_number(This->length);
325 FIXME("unimplemented flags %x\n", flags);
332 static HRESULT Function_toString(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
333 jsval_t *r, jsexcept_t *ei)
335 FunctionInstance *function;
341 if(!(function = function_this(jsthis)))
342 return throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
344 hres = function_to_string(function, &str);
349 *r = jsval_string(str);
355 static HRESULT array_to_args(script_ctx_t *ctx, jsdisp_t *arg_array, jsexcept_t *ei, unsigned *argc, VARIANT **ret)
361 hres = jsdisp_propget_name(arg_array, lengthW, &var, ei);
365 hres = to_uint32(ctx, &var, ei, &length);
370 argv = heap_alloc(length * sizeof(VARIANT));
372 return E_OUTOFMEMORY;
374 for(i=0; i<length; i++) {
375 hres = jsdisp_get_idx(arg_array, i, argv+i, ei);
376 if(hres == DISP_E_UNKNOWNNAME)
377 V_VT(argv+i) = VT_EMPTY;
378 else if(FAILED(hres)) {
380 VariantClear(argv+i);
391 static HRESULT Function_apply(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
392 jsval_t *r, jsexcept_t *ei)
394 FunctionInstance *function;
395 VARIANT *args = NULL;
397 IDispatch *this_obj = NULL;
402 if(!(function = function_this(jsthis)))
403 return throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
406 if(V_VT(argv) != VT_EMPTY && V_VT(argv) != VT_NULL) {
407 hres = to_object(ctx, argv, &this_obj);
414 jsdisp_t *arg_array = NULL;
416 if(V_VT(argv+1) == VT_DISPATCH) {
417 arg_array = iface_to_jsdisp((IUnknown*)V_DISPATCH(argv+1));
419 (!is_class(arg_array, JSCLASS_ARRAY) && !is_class(arg_array, JSCLASS_ARGUMENTS) )) {
420 jsdisp_release(arg_array);
426 hres = array_to_args(ctx, arg_array, ei, &cnt, &args);
427 jsdisp_release(arg_array);
429 FIXME("throw TypeError\n");
435 hres = call_function(ctx, function, this_obj, cnt, args, r, ei);
438 IDispatch_Release(this_obj);
439 for(i=0; i < cnt; i++)
440 VariantClear(args+i);
445 static HRESULT Function_call(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
446 jsval_t *r, jsexcept_t *ei)
448 FunctionInstance *function;
449 IDispatch *this_obj = NULL;
455 if(!(function = function_this(jsthis)))
456 return throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
459 if(V_VT(argv) != VT_EMPTY && V_VT(argv) != VT_NULL) {
460 hres = to_object(ctx, argv, &this_obj);
468 hres = call_function(ctx, function, this_obj, cnt, argv+1, r, ei);
471 IDispatch_Release(this_obj);
475 HRESULT Function_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
476 jsval_t *r, jsexcept_t *ei)
478 FunctionInstance *function;
482 if(!is_vclass(jsthis, JSCLASS_FUNCTION)) {
483 ERR("dispex is not a function\n");
487 function = (FunctionInstance*)jsthis->u.jsdisp;
490 case DISPATCH_METHOD:
491 assert(function->value_proc != NULL);
492 return invoke_value_proc(ctx, function, NULL, flags, argc, argv, r, ei);
494 case DISPATCH_PROPERTYGET: {
498 hres = function_to_string(function, &str);
502 *r = jsval_string(str);
506 case DISPATCH_CONSTRUCT:
507 assert(function->value_proc != NULL);
508 return invoke_value_proc(ctx, function, NULL, flags, argc, argv, r, ei);
511 FIXME("not implemented flags %x\n", flags);
518 static HRESULT Function_arguments(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags,
519 unsigned argc, VARIANT *argv, jsval_t *r, jsexcept_t *ei)
521 FunctionInstance *function = (FunctionInstance*)jsthis->u.jsdisp;
527 case DISPATCH_PROPERTYGET: {
528 *r = function->arguments ? jsval_obj(jsdisp_addref(function->arguments)) : jsval_null();
531 case DISPATCH_PROPERTYPUT:
534 FIXME("unimplemented flags %x\n", flags);
541 static void Function_destructor(jsdisp_t *dispex)
543 FunctionInstance *This = (FunctionInstance*)dispex;
546 release_bytecode(This->code);
547 if(This->scope_chain)
548 scope_release(This->scope_chain);
552 static const builtin_prop_t Function_props[] = {
553 {applyW, Function_apply, PROPF_METHOD|2},
554 {argumentsW, Function_arguments, 0},
555 {callW, Function_call, PROPF_METHOD|1},
556 {lengthW, Function_length, 0},
557 {toStringW, Function_toString, PROPF_METHOD}
560 static const builtin_info_t Function_info = {
562 {NULL, Function_value, 0},
563 sizeof(Function_props)/sizeof(*Function_props),
569 static const builtin_prop_t FunctionInst_props[] = {
570 {argumentsW, Function_arguments, 0},
571 {lengthW, Function_length, 0}
574 static const builtin_info_t FunctionInst_info = {
576 {NULL, Function_value, 0},
577 sizeof(FunctionInst_props)/sizeof(*FunctionInst_props),
583 static HRESULT create_function(script_ctx_t *ctx, const builtin_info_t *builtin_info, DWORD flags,
584 BOOL funcprot, jsdisp_t *prototype, FunctionInstance **ret)
586 FunctionInstance *function;
589 function = heap_alloc_zero(sizeof(FunctionInstance));
591 return E_OUTOFMEMORY;
594 hres = init_dispex(&function->dispex, ctx, builtin_info, prototype);
595 else if(builtin_info)
596 hres = init_dispex_from_constr(&function->dispex, ctx, builtin_info, ctx->function_constr);
598 hres = init_dispex_from_constr(&function->dispex, ctx, &FunctionInst_info, ctx->function_constr);
602 function->flags = flags;
603 function->length = flags & PROPF_ARGMASK;
609 static HRESULT set_prototype(script_ctx_t *ctx, jsdisp_t *dispex, jsdisp_t *prototype)
614 var_set_jsdisp(&var, prototype);
615 memset(&jsexcept, 0, sizeof(jsexcept));
617 return jsdisp_propput_name(dispex, prototypeW, &var, &jsexcept);
620 HRESULT create_builtin_function(script_ctx_t *ctx, builtin_invoke_t value_proc, const WCHAR *name,
621 const builtin_info_t *builtin_info, DWORD flags, jsdisp_t *prototype, jsdisp_t **ret)
623 FunctionInstance *function;
626 hres = create_function(ctx, builtin_info, flags, FALSE, NULL, &function);
633 num_set_int(&var, function->length);
634 hres = jsdisp_propput_const(&function->dispex, lengthW, &var);
638 hres = set_prototype(ctx, &function->dispex, prototype);
640 jsdisp_release(&function->dispex);
644 function->value_proc = value_proc;
645 function->name = name;
647 *ret = &function->dispex;
651 static HRESULT set_constructor_prop(script_ctx_t *ctx, jsdisp_t *constr, jsdisp_t *prot)
655 static const WCHAR constructorW[] = {'c','o','n','s','t','r','u','c','t','o','r',0};
657 V_VT(&v) = VT_DISPATCH;
658 V_DISPATCH(&v) = to_disp(constr);
659 return jsdisp_propput_dontenum(prot, constructorW, &v);
662 HRESULT create_builtin_constructor(script_ctx_t *ctx, builtin_invoke_t value_proc, const WCHAR *name,
663 const builtin_info_t *builtin_info, DWORD flags, jsdisp_t *prototype, jsdisp_t **ret)
668 hres = create_builtin_function(ctx, value_proc, name, builtin_info, flags, prototype, &constr);
672 hres = set_constructor_prop(ctx, constr, prototype);
674 jsdisp_release(constr);
682 HRESULT create_source_function(script_ctx_t *ctx, bytecode_t *code, function_code_t *func_code,
683 scope_chain_t *scope_chain, jsdisp_t **ret)
685 FunctionInstance *function;
689 hres = create_object(ctx, NULL, &prototype);
693 hres = create_function(ctx, NULL, PROPF_CONSTR, FALSE, NULL, &function);
694 if(SUCCEEDED(hres)) {
695 hres = set_prototype(ctx, &function->dispex, prototype);
697 hres = set_constructor_prop(ctx, &function->dispex, prototype);
699 jsdisp_release(&function->dispex);
701 jsdisp_release(prototype);
706 scope_addref(scope_chain);
707 function->scope_chain = scope_chain;
710 bytecode_addref(code);
711 function->code = code;
712 function->func_code = func_code;
713 function->length = function->func_code->param_cnt;
715 *ret = &function->dispex;
719 static HRESULT construct_function(script_ctx_t *ctx, unsigned argc, VARIANT *argv, jsexcept_t *ei, IDispatch **ret)
721 WCHAR *str = NULL, *ptr;
729 static const WCHAR function_anonymousW[] = {'f','u','n','c','t','i','o','n',' ','a','n','o','n','y','m','o','u','s','('};
730 static const WCHAR function_beginW[] = {')',' ','{','\n'};
731 static const WCHAR function_endW[] = {'\n','}',0};
734 params = heap_alloc(argc*sizeof(BSTR));
736 return E_OUTOFMEMORY;
739 len = (argc-2)*2; /* separating commas */
740 for(i=0; i < argc; i++) {
741 hres = to_string(ctx, argv+i, ei, params+i);
744 len += SysStringLen(params[i]);
748 if(SUCCEEDED(hres)) {
749 len += (sizeof(function_anonymousW) + sizeof(function_beginW) + sizeof(function_endW)) / sizeof(WCHAR);
750 str = heap_alloc(len*sizeof(WCHAR));
752 memcpy(str, function_anonymousW, sizeof(function_anonymousW));
753 ptr = str + sizeof(function_anonymousW)/sizeof(WCHAR);
756 l = SysStringLen(params[j]);
757 memcpy(ptr, params[j], l*sizeof(WCHAR));
765 memcpy(ptr, function_beginW, sizeof(function_beginW));
766 ptr += sizeof(function_beginW)/sizeof(WCHAR);
768 l = SysStringLen(params[argc-1]);
769 memcpy(ptr, params[argc-1], l*sizeof(WCHAR));
772 memcpy(ptr, function_endW, sizeof(function_endW));
774 TRACE("%s\n", debugstr_w(str));
776 hres = E_OUTOFMEMORY;
781 SysFreeString(params[i]);
786 hres = compile_script(ctx, str, NULL, FALSE, FALSE, &code);
791 if(code->global_code.func_cnt != 1 || code->global_code.var_cnt) {
792 ERR("Invalid parser result!\n");
793 release_bytecode(code);
797 hres = create_source_function(ctx, code, code->global_code.funcs, NULL, &function);
798 release_bytecode(code);
802 *ret = to_disp(function);
806 static HRESULT FunctionConstr_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
807 jsval_t *r, jsexcept_t *ei)
814 case DISPATCH_CONSTRUCT: {
817 hres = construct_function(ctx, argc, argv, ei, &ret);
821 *r = jsval_disp(ret);
825 FIXME("unimplemented flags %x\n", flags);
832 static HRESULT FunctionProt_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, VARIANT *argv,
833 jsval_t *r, jsexcept_t *ei)
839 HRESULT init_function_constr(script_ctx_t *ctx, jsdisp_t *object_prototype)
841 FunctionInstance *prot, *constr;
844 static const WCHAR FunctionW[] = {'F','u','n','c','t','i','o','n',0};
846 hres = create_function(ctx, &Function_info, PROPF_CONSTR, TRUE, object_prototype, &prot);
850 prot->value_proc = FunctionProt_value;
851 prot->name = prototypeW;
853 hres = create_function(ctx, &FunctionInst_info, PROPF_CONSTR|1, TRUE, &prot->dispex, &constr);
854 if(SUCCEEDED(hres)) {
855 constr->value_proc = FunctionConstr_value;
856 constr->name = FunctionW;
857 hres = set_prototype(ctx, &constr->dispex, &prot->dispex);
859 hres = set_constructor_prop(ctx, &constr->dispex, &prot->dispex);
861 jsdisp_release(&constr->dispex);
863 jsdisp_release(&prot->dispex);
867 ctx->function_constr = &constr->dispex;