usp10: Fix a memory leak.
[wine/multimedia.git] / dlls / jscript / function.c
blob346f8e0e002fc1885c2b381a08c7ef7e9d38a818
1 /*
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
19 #include "jscript.h"
20 #include "engine.h"
22 #include "wine/debug.h"
24 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
26 typedef struct {
27 DispatchEx dispex;
28 builtin_invoke_t value_proc;
29 const WCHAR *name;
30 DWORD flags;
31 source_elements_t *source;
32 parameter_t *parameters;
33 scope_chain_t *scope_chain;
34 parser_ctx_t *parser;
35 const WCHAR *src_str;
36 DWORD src_len;
37 DWORD length;
38 } FunctionInstance;
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};
57 static IDispatch *get_this(DISPPARAMS *dp)
59 DWORD i;
61 for(i=0; i < dp->cNamedArgs; i++) {
62 if(dp->rgdispidNamedArgs[i] == DISPID_THIS) {
63 if(V_VT(dp->rgvarg+i) == VT_DISPATCH)
64 return V_DISPATCH(dp->rgvarg+i);
66 WARN("This is not VT_DISPATCH\n");
67 return NULL;
71 TRACE("no this passed\n");
72 return NULL;
75 static HRESULT init_parameters(DispatchEx *var_disp, FunctionInstance *function, DISPPARAMS *dp,
76 jsexcept_t *ei, IServiceProvider *caller)
78 parameter_t *param;
79 VARIANT var_empty;
80 DWORD cargs, i=0;
81 HRESULT hres;
83 V_VT(&var_empty) = VT_EMPTY;
84 cargs = arg_cnt(dp);
86 for(param = function->parameters; param; param = param->next) {
87 hres = jsdisp_propput_name(var_disp, param->identifier,
88 i < cargs ? get_arg(dp,i) : &var_empty, ei, caller);
89 if(FAILED(hres))
90 return hres;
92 i++;
95 return S_OK;
98 static HRESULT Arguments_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
99 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
101 FIXME("\n");
102 return E_NOTIMPL;
105 static const builtin_info_t Arguments_info = {
106 JSCLASS_ARGUMENTS,
107 {NULL, Arguments_value, 0},
108 0, NULL,
109 NULL,
110 NULL
113 static HRESULT create_arguments(script_ctx_t *ctx, IDispatch *calee, DISPPARAMS *dp,
114 jsexcept_t *ei, IServiceProvider *caller, DispatchEx **ret)
116 DispatchEx *args;
117 VARIANT var;
118 DWORD i;
119 HRESULT hres;
121 static const WCHAR caleeW[] = {'c','a','l','l','e','e',0};
123 args = heap_alloc_zero(sizeof(DispatchEx));
124 if(!args)
125 return E_OUTOFMEMORY;
127 hres = init_dispex_from_constr(args, ctx, &Arguments_info, ctx->object_constr);
128 if(FAILED(hres)) {
129 heap_free(args);
130 return hres;
133 for(i=0; i < arg_cnt(dp); i++) {
134 hres = jsdisp_propput_idx(args, i, get_arg(dp,i), ei, caller);
135 if(FAILED(hres))
136 break;
139 if(SUCCEEDED(hres)) {
140 V_VT(&var) = VT_I4;
141 V_I4(&var) = arg_cnt(dp);
142 hres = jsdisp_propput_name(args, lengthW, &var, ei, caller);
144 if(SUCCEEDED(hres)) {
145 V_VT(&var) = VT_DISPATCH;
146 V_DISPATCH(&var) = calee;
147 hres = jsdisp_propput_name(args, caleeW, &var, ei, caller);
151 if(FAILED(hres)) {
152 jsdisp_release(args);
153 return hres;
156 *ret = args;
157 return S_OK;
160 static HRESULT create_var_disp(script_ctx_t *ctx, FunctionInstance *function, DISPPARAMS *dp, jsexcept_t *ei,
161 IServiceProvider *caller, DispatchEx **ret)
163 DispatchEx *var_disp, *arg_disp;
164 HRESULT hres;
166 static const WCHAR argumentsW[] = {'a','r','g','u','m','e','n','t','s',0};
168 hres = create_dispex(ctx, NULL, NULL, &var_disp);
169 if(FAILED(hres))
170 return hres;
172 hres = create_arguments(ctx, (IDispatch*)_IDispatchEx_(&function->dispex),
173 dp, ei, caller, &arg_disp);
174 if(SUCCEEDED(hres)) {
175 VARIANT var;
177 V_VT(&var) = VT_DISPATCH;
178 V_DISPATCH(&var) = (IDispatch*)_IDispatchEx_(arg_disp);
179 hres = jsdisp_propput_name(var_disp, argumentsW, &var, ei, caller);
180 jsdisp_release(arg_disp);
183 if(SUCCEEDED(hres))
184 hres = init_parameters(var_disp, function, dp, ei, caller);
185 if(FAILED(hres)) {
186 jsdisp_release(var_disp);
187 return hres;
190 *ret = var_disp;
191 return S_OK;
194 static HRESULT invoke_source(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj, DISPPARAMS *dp,
195 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
197 DispatchEx *var_disp;
198 exec_ctx_t *exec_ctx;
199 scope_chain_t *scope;
200 HRESULT hres;
202 if(!function->source) {
203 FIXME("no source\n");
204 return E_FAIL;
207 hres = create_var_disp(ctx, function, dp, ei, caller, &var_disp);
208 if(FAILED(hres))
209 return hres;
211 hres = scope_push(function->scope_chain, var_disp, &scope);
212 if(SUCCEEDED(hres)) {
213 hres = create_exec_ctx(ctx, this_obj, var_disp, scope, &exec_ctx);
214 scope_release(scope);
216 if(FAILED(hres))
217 return hres;
219 hres = exec_source(exec_ctx, function->parser, function->source, EXECT_FUNCTION, ei, retv);
220 exec_release(exec_ctx);
222 return hres;
225 static HRESULT invoke_constructor(script_ctx_t *ctx, FunctionInstance *function, DISPPARAMS *dp,
226 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
228 DispatchEx *this_obj;
229 VARIANT var;
230 HRESULT hres;
232 hres = create_object(ctx, &function->dispex, &this_obj);
233 if(FAILED(hres))
234 return hres;
236 hres = invoke_source(ctx, function, (IDispatch*)_IDispatchEx_(this_obj), dp, &var, ei, caller);
237 if(FAILED(hres)) {
238 jsdisp_release(this_obj);
239 return hres;
242 V_VT(retv) = VT_DISPATCH;
243 if(V_VT(&var) == VT_DISPATCH) {
244 jsdisp_release(this_obj);
245 V_DISPATCH(retv) = V_DISPATCH(&var);
246 }else {
247 VariantClear(&var);
248 V_DISPATCH(retv) = (IDispatch*)_IDispatchEx_(this_obj);
250 return S_OK;
253 static HRESULT invoke_value_proc(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_disp, WORD flags, DISPPARAMS *dp,
254 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
256 vdisp_t vthis;
257 HRESULT hres;
259 if(this_disp)
260 set_disp(&vthis, this_disp);
261 else if(ctx->host_global)
262 set_disp(&vthis, ctx->host_global);
263 else
264 set_jsdisp(&vthis, ctx->global);
266 hres = function->value_proc(ctx, &vthis, flags, dp, retv, ei, caller);
268 vdisp_release(&vthis);
269 return hres;
272 static HRESULT call_function(script_ctx_t *ctx, FunctionInstance *function, IDispatch *this_obj, DISPPARAMS *args,
273 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
275 if(function->value_proc)
276 return invoke_value_proc(ctx, function, this_obj, DISPATCH_METHOD, args, retv, ei, caller);
278 return invoke_source(ctx, function, this_obj, args, retv, ei, caller);
281 static HRESULT function_to_string(FunctionInstance *function, BSTR *ret)
283 BSTR str;
285 static const WCHAR native_prefixW[] = {'\n','f','u','n','c','t','i','o','n',' '};
286 static const WCHAR native_suffixW[] =
287 {'(',')',' ','{','\n',' ',' ',' ',' ','[','n','a','t','i','v','e',' ','c','o','d','e',']','\n','}','\n'};
289 if(function->value_proc) {
290 DWORD name_len;
292 name_len = strlenW(function->name);
293 str = SysAllocStringLen(NULL, sizeof(native_prefixW) + name_len*sizeof(WCHAR) + sizeof(native_suffixW));
294 if(!str)
295 return E_OUTOFMEMORY;
297 memcpy(str, native_prefixW, sizeof(native_prefixW));
298 memcpy(str + sizeof(native_prefixW)/sizeof(WCHAR), function->name, name_len*sizeof(WCHAR));
299 memcpy(str + sizeof(native_prefixW)/sizeof(WCHAR) + name_len, native_suffixW, sizeof(native_suffixW));
300 }else {
301 str = SysAllocStringLen(function->src_str, function->src_len);
302 if(!str)
303 return E_OUTOFMEMORY;
306 *ret = str;
307 return S_OK;
310 static HRESULT Function_length(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
311 VARIANT *retv, jsexcept_t *ei, IServiceProvider *sp)
313 FunctionInstance *This = function_from_vdisp(jsthis);
315 TRACE("%p %d\n", This, This->length);
317 switch(flags) {
318 case DISPATCH_PROPERTYGET:
319 V_VT(retv) = VT_I4;
320 V_I4(retv) = This->length;
321 break;
322 default:
323 FIXME("unimplemented flags %x\n", flags);
324 return E_NOTIMPL;
327 return S_OK;
330 static HRESULT Function_toString(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
331 VARIANT *retv, jsexcept_t *ei, IServiceProvider *sp)
333 FunctionInstance *function;
334 BSTR str;
335 HRESULT hres;
337 TRACE("\n");
339 if(!(function = function_this(jsthis)))
340 return throw_type_error(ctx, ei, IDS_NOT_FUNC, NULL);
342 hres = function_to_string(function, &str);
343 if(FAILED(hres))
344 return hres;
346 if(retv) {
347 V_VT(retv) = VT_BSTR;
348 V_BSTR(retv) = str;
349 }else {
350 SysFreeString(str);
352 return S_OK;
355 static HRESULT array_to_args(script_ctx_t *ctx, DispatchEx *arg_array, jsexcept_t *ei, IServiceProvider *caller,
356 DISPPARAMS *args)
358 VARIANT var, *argv;
359 DWORD length, i;
360 HRESULT hres;
362 hres = jsdisp_propget_name(arg_array, lengthW, &var, ei, NULL/*FIXME*/);
363 if(FAILED(hres))
364 return hres;
366 hres = to_uint32(ctx, &var, ei, &length);
367 VariantClear(&var);
368 if(FAILED(hres))
369 return hres;
371 argv = heap_alloc(length * sizeof(VARIANT));
372 if(!argv)
373 return E_OUTOFMEMORY;
375 for(i=0; i<length; i++) {
376 hres = jsdisp_propget_idx(arg_array, i, argv+i, ei, caller);
377 if(FAILED(hres)) {
378 while(i--)
379 VariantClear(argv+i);
380 heap_free(argv);
381 return hres;
385 args->cArgs = length;
386 args->rgvarg = argv;
387 return S_OK;
390 static HRESULT Function_apply(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
391 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
393 FunctionInstance *function;
394 DISPPARAMS args = {NULL,NULL,0,0};
395 DWORD argc, i;
396 IDispatch *this_obj = NULL;
397 HRESULT hres = S_OK;
399 TRACE("\n");
401 if(!(function = function_this(jsthis)))
402 return throw_type_error(ctx, ei, IDS_NOT_FUNC, NULL);
404 argc = arg_cnt(dp);
405 if(argc) {
406 VARIANT *v = get_arg(dp,0);
408 if(V_VT(v) != VT_EMPTY && V_VT(v) != VT_NULL) {
409 hres = to_object(ctx, v, &this_obj);
410 if(FAILED(hres))
411 return hres;
415 if(argc >= 2) {
416 DispatchEx *arg_array = NULL;
418 if(V_VT(get_arg(dp,1)) == VT_DISPATCH) {
419 arg_array = iface_to_jsdisp((IUnknown*)V_DISPATCH(get_arg(dp,1)));
420 if(arg_array &&
421 (!is_class(arg_array, JSCLASS_ARRAY) && !is_class(arg_array, JSCLASS_ARGUMENTS) )) {
422 jsdisp_release(arg_array);
423 arg_array = NULL;
427 if(arg_array) {
428 hres = array_to_args(ctx, arg_array, ei, caller, &args);
429 jsdisp_release(arg_array);
430 }else {
431 FIXME("throw TypeError\n");
432 hres = E_FAIL;
436 hres = call_function(ctx, function, this_obj, &args, retv, ei, caller);
438 if(this_obj)
439 IDispatch_Release(this_obj);
440 for(i=0; i<args.cArgs; i++)
441 VariantClear(args.rgvarg+i);
442 heap_free(args.rgvarg);
443 return hres;
446 static HRESULT Function_call(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
447 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
449 FunctionInstance *function;
450 DISPPARAMS args = {NULL,NULL,0,0};
451 IDispatch *this_obj = NULL;
452 DWORD argc;
453 HRESULT hres;
455 TRACE("\n");
457 if(!(function = function_this(jsthis)))
458 return throw_type_error(ctx, ei, IDS_NOT_FUNC, NULL);
460 argc = arg_cnt(dp);
461 if(argc) {
462 VARIANT *v = get_arg(dp,0);
464 if(V_VT(v) != VT_EMPTY && V_VT(v) != VT_NULL) {
465 hres = to_object(ctx, v, &this_obj);
466 if(FAILED(hres))
467 return hres;
470 args.cArgs = argc-1;
473 if(args.cArgs)
474 args.rgvarg = dp->rgvarg + dp->cArgs - args.cArgs-1;
476 hres = call_function(ctx, function, this_obj, &args, retv, ei, caller);
478 if(this_obj)
479 IDispatch_Release(this_obj);
480 return hres;
483 HRESULT Function_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
484 VARIANT *retv, jsexcept_t *ei, IServiceProvider *caller)
486 FunctionInstance *function;
488 TRACE("\n");
490 if(!is_vclass(jsthis, JSCLASS_FUNCTION)) {
491 ERR("dispex is not a function\n");
492 return E_FAIL;
495 function = (FunctionInstance*)jsthis->u.jsdisp;
497 switch(flags) {
498 case DISPATCH_METHOD:
499 if(function->value_proc)
500 return invoke_value_proc(ctx, function, get_this(dp), flags, dp, retv, ei, caller);
502 return invoke_source(ctx, function, get_this(dp), dp, retv, ei, caller);
504 case DISPATCH_PROPERTYGET: {
505 HRESULT hres;
506 BSTR str;
508 hres = function_to_string(function, &str);
509 if(FAILED(hres))
510 return hres;
512 V_VT(retv) = VT_BSTR;
513 V_BSTR(retv) = str;
514 break;
517 case DISPATCH_CONSTRUCT:
518 if(function->value_proc)
519 return invoke_value_proc(ctx, function, get_this(dp), flags, dp, retv, ei, caller);
521 return invoke_constructor(ctx, function, dp, retv, ei, caller);
523 default:
524 FIXME("not implemented flags %x\n", flags);
525 return E_NOTIMPL;
528 return S_OK;
531 static void Function_destructor(DispatchEx *dispex)
533 FunctionInstance *This = (FunctionInstance*)dispex;
535 if(This->parser)
536 parser_release(This->parser);
537 if(This->scope_chain)
538 scope_release(This->scope_chain);
539 heap_free(This);
542 static const builtin_prop_t Function_props[] = {
543 {applyW, Function_apply, PROPF_METHOD|2},
544 {callW, Function_call, PROPF_METHOD|1},
545 {lengthW, Function_length, 0},
546 {toStringW, Function_toString, PROPF_METHOD}
549 static const builtin_info_t Function_info = {
550 JSCLASS_FUNCTION,
551 {NULL, Function_value, 0},
552 sizeof(Function_props)/sizeof(*Function_props),
553 Function_props,
554 Function_destructor,
555 NULL
558 static HRESULT FunctionConstr_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
559 VARIANT *retv, jsexcept_t *ei, IServiceProvider *sp)
561 FIXME("\n");
562 return E_NOTIMPL;
565 static HRESULT FunctionProt_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, DISPPARAMS *dp,
566 VARIANT *retv, jsexcept_t *ei, IServiceProvider *sp)
568 FIXME("\n");
569 return E_NOTIMPL;
572 static HRESULT create_function(script_ctx_t *ctx, const builtin_info_t *builtin_info, DWORD flags,
573 BOOL funcprot, DispatchEx *prototype, FunctionInstance **ret)
575 FunctionInstance *function;
576 HRESULT hres;
578 function = heap_alloc_zero(sizeof(FunctionInstance));
579 if(!function)
580 return E_OUTOFMEMORY;
582 if(funcprot)
583 hres = init_dispex(&function->dispex, ctx, &Function_info, prototype);
584 else if(builtin_info)
585 hres = init_dispex_from_constr(&function->dispex, ctx, builtin_info, ctx->function_constr);
586 else
587 hres = init_dispex_from_constr(&function->dispex, ctx, &Function_info, ctx->function_constr);
588 if(FAILED(hres))
589 return hres;
591 function->flags = flags;
592 function->length = flags & PROPF_ARGMASK;
594 *ret = function;
595 return S_OK;
598 static HRESULT set_prototype(script_ctx_t *ctx, DispatchEx *dispex, DispatchEx *prototype)
600 jsexcept_t jsexcept;
601 VARIANT var;
603 V_VT(&var) = VT_DISPATCH;
604 V_DISPATCH(&var) = (IDispatch*)_IDispatchEx_(prototype);
605 memset(&jsexcept, 0, sizeof(jsexcept));
607 return jsdisp_propput_name(dispex, prototypeW, &var, &jsexcept, NULL/*FIXME*/);
610 HRESULT create_builtin_function(script_ctx_t *ctx, builtin_invoke_t value_proc, const WCHAR *name,
611 const builtin_info_t *builtin_info, DWORD flags, DispatchEx *prototype, DispatchEx **ret)
613 FunctionInstance *function;
614 HRESULT hres;
616 hres = create_function(ctx, builtin_info, flags, FALSE, NULL, &function);
617 if(FAILED(hres))
618 return hres;
620 hres = set_prototype(ctx, &function->dispex, prototype);
621 if(FAILED(hres)) {
622 jsdisp_release(&function->dispex);
623 return hres;
626 function->value_proc = value_proc;
627 function->name = name;
629 *ret = &function->dispex;
630 return S_OK;
633 HRESULT create_source_function(parser_ctx_t *ctx, parameter_t *parameters, source_elements_t *source,
634 scope_chain_t *scope_chain, const WCHAR *src_str, DWORD src_len, DispatchEx **ret)
636 FunctionInstance *function;
637 DispatchEx *prototype;
638 parameter_t *iter;
639 DWORD length = 0;
640 HRESULT hres;
642 hres = create_object(ctx->script, NULL, &prototype);
643 if(FAILED(hres))
644 return hres;
646 hres = create_function(ctx->script, NULL, PROPF_CONSTR, FALSE, NULL, &function);
647 if(SUCCEEDED(hres)) {
648 hres = set_prototype(ctx->script, &function->dispex, prototype);
649 if(FAILED(hres))
650 jsdisp_release(&function->dispex);
652 jsdisp_release(prototype);
653 if(FAILED(hres))
654 return hres;
656 function->source = source;
657 function->parameters = parameters;
659 if(scope_chain) {
660 scope_addref(scope_chain);
661 function->scope_chain = scope_chain;
664 parser_addref(ctx);
665 function->parser = ctx;
667 for(iter = parameters; iter; iter = iter->next)
668 length++;
669 function->length = length;
671 function->src_str = src_str;
672 function->src_len = src_len;
674 *ret = &function->dispex;
675 return S_OK;
678 HRESULT init_function_constr(script_ctx_t *ctx, DispatchEx *object_prototype)
680 FunctionInstance *prot, *constr;
681 HRESULT hres;
683 static const WCHAR FunctionW[] = {'F','u','n','c','t','i','o','n',0};
685 hres = create_function(ctx, NULL, PROPF_CONSTR, TRUE, object_prototype, &prot);
686 if(FAILED(hres))
687 return hres;
689 prot->value_proc = FunctionProt_value;
690 prot->name = prototypeW;
692 hres = create_function(ctx, NULL, PROPF_CONSTR|1, TRUE, &prot->dispex, &constr);
693 if(SUCCEEDED(hres)) {
694 constr->value_proc = FunctionConstr_value;
695 constr->name = FunctionW;
696 hres = set_prototype(ctx, &constr->dispex, &prot->dispex);
697 if(FAILED(hres))
698 jsdisp_release(&constr->dispex);
700 jsdisp_release(&prot->dispex);
701 if(FAILED(hres))
702 return hres;
704 ctx->function_constr = &constr->dispex;
705 return S_OK;