jscript: Always use jsval-based to_primitive.
[wine] / dlls / jscript / jsutils.c
1 /*
2  * Copyright 2008 Jacek Caban for CodeWeavers
3  *
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.
8  *
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.
13  *
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
17  */
18
19 #include "config.h"
20 #include "wine/port.h"
21
22 #include <math.h>
23 #include <assert.h>
24
25 #include "jscript.h"
26 #include "engine.h"
27
28 #include "wine/debug.h"
29
30 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
31 WINE_DECLARE_DEBUG_CHANNEL(heap);
32
33 const char *debugstr_variant(const VARIANT *v)
34 {
35     if(!v)
36         return "(null)";
37
38     switch(V_VT(v)) {
39     case VT_EMPTY:
40         return "{VT_EMPTY}";
41     case VT_NULL:
42         return "{VT_NULL}";
43     case VT_I4:
44         return wine_dbg_sprintf("{VT_I4: %d}", V_I4(v));
45     case VT_UI4:
46         return wine_dbg_sprintf("{VT_UI4: %u}", V_UI4(v));
47     case VT_R8:
48         return wine_dbg_sprintf("{VT_R8: %lf}", V_R8(v));
49     case VT_BSTR:
50         return wine_dbg_sprintf("{VT_BSTR: %s}", debugstr_w(V_BSTR(v)));
51     case VT_DISPATCH:
52         return wine_dbg_sprintf("{VT_DISPATCH: %p}", V_DISPATCH(v));
53     case VT_BOOL:
54         return wine_dbg_sprintf("{VT_BOOL: %x}", V_BOOL(v));
55     case VT_ARRAY|VT_VARIANT:
56         return "{VT_ARRAY|VT_VARIANT: ...}";
57     default:
58         return wine_dbg_sprintf("{vt %d}", V_VT(v));
59     }
60 }
61
62 const char *debugstr_jsval(const jsval_t v)
63 {
64     switch(v.type) {
65     case JSV_UNDEFINED:
66         return "undefined";
67     case JSV_NULL:
68         return "null";
69     case JSV_OBJECT:
70         return wine_dbg_sprintf("obj(%p)", get_object(v));
71     case JSV_STRING:
72         return debugstr_w(get_string(v));
73     case JSV_NUMBER:
74         return wine_dbg_sprintf("%lf", get_number(v));
75     case JSV_BOOL:
76         return get_bool(v) ? "true" : "false";
77     case JSV_VARIANT:
78         return debugstr_variant(get_variant(v));
79     }
80
81     assert(0);
82     return NULL;
83 }
84
85 #define MIN_BLOCK_SIZE  128
86 #define ARENA_FREE_FILLER  0xaa
87
88 static inline DWORD block_size(DWORD block)
89 {
90     return MIN_BLOCK_SIZE << block;
91 }
92
93 void jsheap_init(jsheap_t *heap)
94 {
95     memset(heap, 0, sizeof(*heap));
96     list_init(&heap->custom_blocks);
97 }
98
99 void *jsheap_alloc(jsheap_t *heap, DWORD size)
100 {
101     struct list *list;
102     void *tmp;
103
104     if(!heap->block_cnt) {
105         if(!heap->blocks) {
106             heap->blocks = heap_alloc(sizeof(void*));
107             if(!heap->blocks)
108                 return NULL;
109         }
110
111         tmp = heap_alloc(block_size(0));
112         if(!tmp)
113             return NULL;
114
115         heap->blocks[0] = tmp;
116         heap->block_cnt = 1;
117     }
118
119     if(heap->offset + size <= block_size(heap->last_block)) {
120         tmp = ((BYTE*)heap->blocks[heap->last_block])+heap->offset;
121         heap->offset += size;
122         return tmp;
123     }
124
125     if(size <= block_size(heap->last_block+1)) {
126         if(heap->last_block+1 == heap->block_cnt) {
127             tmp = heap_realloc(heap->blocks, (heap->block_cnt+1)*sizeof(void*));
128             if(!tmp)
129                 return NULL;
130
131             heap->blocks = tmp;
132             heap->blocks[heap->block_cnt] = heap_alloc(block_size(heap->block_cnt));
133             if(!heap->blocks[heap->block_cnt])
134                 return NULL;
135
136             heap->block_cnt++;
137         }
138
139         heap->last_block++;
140         heap->offset = size;
141         return heap->blocks[heap->last_block];
142     }
143
144     list = heap_alloc(size + sizeof(struct list));
145     if(!list)
146         return NULL;
147
148     list_add_head(&heap->custom_blocks, list);
149     return list+1;
150 }
151
152 void *jsheap_grow(jsheap_t *heap, void *mem, DWORD size, DWORD inc)
153 {
154     void *ret;
155
156     if(mem == (BYTE*)heap->blocks[heap->last_block] + heap->offset-size
157        && heap->offset+inc < block_size(heap->last_block)) {
158         heap->offset += inc;
159         return mem;
160     }
161
162     ret = jsheap_alloc(heap, size+inc);
163     if(ret) /* FIXME: avoid copying for custom blocks */
164         memcpy(ret, mem, size);
165     return ret;
166 }
167
168 void jsheap_clear(jsheap_t *heap)
169 {
170     struct list *tmp;
171
172     if(!heap)
173         return;
174
175     while((tmp = list_next(&heap->custom_blocks, &heap->custom_blocks))) {
176         list_remove(tmp);
177         heap_free(tmp);
178     }
179
180     if(WARN_ON(heap)) {
181         DWORD i;
182
183         for(i=0; i < heap->block_cnt; i++)
184             memset(heap->blocks[i], ARENA_FREE_FILLER, block_size(i));
185     }
186
187     heap->last_block = heap->offset = 0;
188     heap->mark = FALSE;
189 }
190
191 void jsheap_free(jsheap_t *heap)
192 {
193     DWORD i;
194
195     jsheap_clear(heap);
196
197     for(i=0; i < heap->block_cnt; i++)
198         heap_free(heap->blocks[i]);
199     heap_free(heap->blocks);
200
201     jsheap_init(heap);
202 }
203
204 jsheap_t *jsheap_mark(jsheap_t *heap)
205 {
206     if(heap->mark)
207         return NULL;
208
209     heap->mark = TRUE;
210     return heap;
211 }
212
213 static BSTR clone_bstr(BSTR str)
214 {
215     return SysAllocStringLen(str, str ? SysStringLen(str) : 0);
216 }
217
218 void jsval_release(jsval_t val)
219 {
220     switch(val.type) {
221     case JSV_OBJECT:
222         if(val.u.obj)
223             IDispatch_Release(val.u.obj);
224         break;
225     case JSV_STRING:
226         SysFreeString(val.u.str);
227         break;
228     case JSV_VARIANT:
229         VariantClear(val.u.v);
230         heap_free(val.u.v);
231         break;
232     default:
233         break;
234     }
235 }
236
237 HRESULT jsval_variant(jsval_t *val, VARIANT *var)
238 {
239     HRESULT hres;
240
241     val->type = JSV_VARIANT;
242     val->u.v = heap_alloc(sizeof(VARIANT));
243     if(!val->u.v)
244         return E_OUTOFMEMORY;
245
246     V_VT(val->u.v) = VT_EMPTY;
247     hres = VariantCopy(val->u.v, var);
248     if(FAILED(hres))
249         heap_free(val->u.v);
250     return hres;
251 }
252
253 HRESULT jsval_copy(jsval_t v, jsval_t *r)
254 {
255     switch(v.type) {
256     case JSV_UNDEFINED:
257     case JSV_NULL:
258     case JSV_NUMBER:
259     case JSV_BOOL:
260         *r = v;
261         return S_OK;
262     case JSV_OBJECT:
263         if(get_object(v))
264             IDispatch_AddRef(get_object(v));
265         *r = v;
266         return S_OK;
267     case JSV_STRING: {
268         BSTR str = clone_bstr(get_string(v));
269         if(!str)
270             return E_OUTOFMEMORY;
271         *r = jsval_string(str);
272         return S_OK;
273     }
274     case JSV_VARIANT:
275         return jsval_variant(r, get_variant(v));
276     }
277
278     assert(0);
279     return E_FAIL;
280 }
281
282 HRESULT variant_to_jsval(VARIANT *var, jsval_t *r)
283 {
284     switch(V_VT(var)) {
285     case VT_EMPTY:
286         *r = jsval_undefined();
287         return S_OK;
288     case VT_NULL:
289         *r = jsval_null();
290         return S_OK;
291     case VT_BOOL:
292         *r = jsval_bool(V_BOOL(var));
293         return S_OK;
294     case VT_I4:
295         *r = jsval_number(V_I4(var));
296         return S_OK;
297     case VT_R8:
298         *r = jsval_number(V_R8(var));
299         return S_OK;
300     case VT_BSTR: {
301         BSTR str;
302
303         if(V_BSTR(var)) {
304             str = clone_bstr(V_BSTR(var));
305             if(!str)
306                 return E_OUTOFMEMORY;
307         }else {
308             str = NULL;
309         }
310         *r = jsval_string(str);
311         return S_OK;
312     }
313     case VT_DISPATCH: {
314         if(V_DISPATCH(var))
315             IDispatch_AddRef(V_DISPATCH(var));
316         *r = jsval_disp(V_DISPATCH(var));
317         return S_OK;
318     }
319     case VT_I2:
320         *r = jsval_number(V_I2(var));
321         return S_OK;
322     case VT_INT:
323         *r = jsval_number(V_INT(var));
324         return S_OK;
325     default:
326         return jsval_variant(r, var);
327     }
328 }
329
330 HRESULT jsval_to_variant(jsval_t val, VARIANT *retv)
331 {
332     switch(val.type) {
333     case JSV_UNDEFINED:
334         V_VT(retv) = VT_EMPTY;
335         return S_OK;
336     case JSV_NULL:
337         V_VT(retv) = VT_NULL;
338         return S_OK;
339     case JSV_OBJECT:
340         V_VT(retv) = VT_DISPATCH;
341         if(val.u.obj)
342             IDispatch_AddRef(val.u.obj);
343         V_DISPATCH(retv) = val.u.obj;
344         return S_OK;
345     case JSV_STRING:
346         V_VT(retv) = VT_BSTR;
347         if(val.u.str) {
348             V_BSTR(retv) = clone_bstr(val.u.str);
349             if(!V_BSTR(retv))
350                 return E_OUTOFMEMORY;
351         }else {
352             V_BSTR(retv) = NULL;
353         }
354         return S_OK;
355     case JSV_NUMBER:
356         num_set_val(retv, val.u.n);
357         return S_OK;
358     case JSV_BOOL:
359         V_VT(retv) = VT_BOOL;
360         V_BOOL(retv) = val.u.b ? VARIANT_TRUE : VARIANT_FALSE;
361         return S_OK;
362     case JSV_VARIANT:
363         V_VT(retv) = VT_EMPTY;
364         return VariantCopy(retv, val.u.v);
365     }
366
367     assert(0);
368     return E_FAIL;
369 }
370
371 /* ECMA-262 3rd Edition    9.1 */
372 HRESULT to_primitive(script_ctx_t *ctx, jsval_t val, jsexcept_t *ei, jsval_t *ret, hint_t hint)
373 {
374     if(is_object_instance(val)) {
375         jsdisp_t *jsdisp;
376         jsval_t prim;
377         DISPID id;
378         HRESULT hres;
379
380         static const WCHAR toStringW[] = {'t','o','S','t','r','i','n','g',0};
381         static const WCHAR valueOfW[] = {'v','a','l','u','e','O','f',0};
382
383         if(!get_object(val)) {
384             *ret = jsval_null();
385             return S_OK;
386         }
387
388         jsdisp = iface_to_jsdisp((IUnknown*)get_object(val));
389         if(!jsdisp)
390             return disp_propget(ctx, get_object(val), DISPID_VALUE, ret, ei);
391
392         if(hint == NO_HINT)
393             hint = is_class(jsdisp, JSCLASS_DATE) ? HINT_STRING : HINT_NUMBER;
394
395         /* Native implementation doesn't throw TypeErrors, returns strange values */
396
397         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? toStringW : valueOfW, 0, &id);
398         if(SUCCEEDED(hres)) {
399             hres = jsdisp_call(jsdisp, id, DISPATCH_METHOD, 0, NULL, &prim, ei);
400             if(FAILED(hres)) {
401                 WARN("call error - forwarding exception\n");
402                 jsdisp_release(jsdisp);
403                 return hres;
404             }else if(!is_object_instance(prim)) {
405                 jsdisp_release(jsdisp);
406                 *ret = prim;
407                 return S_OK;
408             }else {
409                 IDispatch_Release(get_object(prim));
410             }
411         }
412
413         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? valueOfW : toStringW, 0, &id);
414         if(SUCCEEDED(hres)) {
415             hres = jsdisp_call(jsdisp, id, DISPATCH_METHOD, 0, NULL, &prim, ei);
416             if(FAILED(hres)) {
417                 WARN("call error - forwarding exception\n");
418                 jsdisp_release(jsdisp);
419                 return hres;
420             }else if(!is_object_instance(prim)) {
421                 jsdisp_release(jsdisp);
422                 *ret = prim;
423                 return S_OK;
424             }else {
425                 IDispatch_Release(get_object(prim));
426             }
427         }
428
429         jsdisp_release(jsdisp);
430
431         WARN("failed\n");
432         return throw_type_error(ctx, ei, JS_E_TO_PRIMITIVE, NULL);
433     }
434
435     return jsval_copy(val, ret);
436
437 }
438
439 /* ECMA-262 3rd Edition    9.2 */
440 HRESULT to_boolean(VARIANT *v, VARIANT_BOOL *b)
441 {
442     switch(V_VT(v)) {
443     case VT_EMPTY:
444     case VT_NULL:
445         *b = VARIANT_FALSE;
446         break;
447     case VT_I4:
448         *b = V_I4(v) ? VARIANT_TRUE : VARIANT_FALSE;
449         break;
450     case VT_R8:
451         if(isnan(V_R8(v))) *b = VARIANT_FALSE;
452         else *b = V_R8(v) ? VARIANT_TRUE : VARIANT_FALSE;
453         break;
454     case VT_BSTR:
455         *b = V_BSTR(v) && *V_BSTR(v) ? VARIANT_TRUE : VARIANT_FALSE;
456         break;
457     case VT_DISPATCH:
458         *b = V_DISPATCH(v) ? VARIANT_TRUE : VARIANT_FALSE;
459         break;
460     case VT_BOOL:
461         *b = V_BOOL(v);
462         break;
463     default:
464         FIXME("unimplemented for vt %d\n", V_VT(v));
465         return E_NOTIMPL;
466     }
467
468     return S_OK;
469 }
470
471 /* ECMA-262 3rd Edition    9.2 */
472 HRESULT to_boolean_jsval(jsval_t v, BOOL *ret)
473 {
474     VARIANT_BOOL b;
475     VARIANT var;
476     HRESULT hres;
477
478     if(v.type == JSV_BOOL) {
479         *ret = v.u.b;
480         return S_OK;
481     }
482
483     hres = jsval_to_variant(v, &var);
484     if(FAILED(hres))
485         return hres;
486
487     hres = to_boolean(&var, &b);
488     VariantClear(&var);
489     if(FAILED(hres))
490         return hres;
491
492     *ret = !!b;
493     return S_OK;
494 }
495
496 static int hex_to_int(WCHAR c)
497 {
498     if('0' <= c && c <= '9')
499         return c-'0';
500
501     if('a' <= c && c <= 'f')
502         return c-'a'+10;
503
504     if('A' <= c && c <= 'F')
505         return c-'A'+10;
506
507     return -1;
508 }
509
510 /* ECMA-262 3rd Edition    9.3.1 */
511 static HRESULT str_to_number(BSTR str, double *ret)
512 {
513     const WCHAR *ptr = str;
514     BOOL neg = FALSE;
515     DOUBLE d = 0.0;
516
517     static const WCHAR infinityW[] = {'I','n','f','i','n','i','t','y'};
518
519     if(!ptr) {
520         *ret = 0;
521         return S_OK;
522     }
523
524     while(isspaceW(*ptr))
525         ptr++;
526
527     if(*ptr == '-') {
528         neg = TRUE;
529         ptr++;
530     }else if(*ptr == '+') {
531         ptr++;
532     }
533
534     if(!strncmpW(ptr, infinityW, sizeof(infinityW)/sizeof(WCHAR))) {
535         ptr += sizeof(infinityW)/sizeof(WCHAR);
536         while(*ptr && isspaceW(*ptr))
537             ptr++;
538
539         if(*ptr)
540             *ret = NAN;
541         else
542             *ret = neg ? -INFINITY : INFINITY;
543         return S_OK;
544     }
545
546     if(*ptr == '0' && ptr[1] == 'x') {
547         DWORD l = 0;
548
549         ptr += 2;
550         while((l = hex_to_int(*ptr)) != -1) {
551             d = d*16 + l;
552             ptr++;
553         }
554
555         *ret = d;
556         return S_OK;
557     }
558
559     while(isdigitW(*ptr))
560         d = d*10 + (*ptr++ - '0');
561
562     if(*ptr == 'e' || *ptr == 'E') {
563         BOOL eneg = FALSE;
564         LONG l = 0;
565
566         ptr++;
567         if(*ptr == '-') {
568             ptr++;
569             eneg = TRUE;
570         }else if(*ptr == '+') {
571             ptr++;
572         }
573
574         while(isdigitW(*ptr))
575             l = l*10 + (*ptr++ - '0');
576         if(eneg)
577             l = -l;
578
579         d *= pow(10, l);
580     }else if(*ptr == '.') {
581         DOUBLE dec = 0.1;
582
583         ptr++;
584         while(isdigitW(*ptr)) {
585             d += dec * (*ptr++ - '0');
586             dec *= 0.1;
587         }
588     }
589
590     while(isspaceW(*ptr))
591         ptr++;
592
593     if(*ptr) {
594         *ret = NAN;
595         return S_OK;
596     }
597
598     if(neg)
599         d = -d;
600
601     *ret = d;
602     return S_OK;
603 }
604
605 /* ECMA-262 3rd Edition    9.3 */
606 HRESULT to_number(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, double *ret)
607 {
608     switch(V_VT(v)) {
609     case VT_EMPTY:
610         *ret = NAN;
611         break;
612     case VT_NULL:
613         *ret = 0;
614         break;
615     case VT_I4:
616         *ret = V_I4(v);
617         break;
618     case VT_R8:
619         *ret = V_R8(v);
620         break;
621     case VT_BSTR:
622         return str_to_number(V_BSTR(v), ret);
623     case VT_DISPATCH: {
624         jsval_t prim;
625         HRESULT hres;
626
627         hres = to_primitive(ctx, jsval_disp(V_DISPATCH(v)), ei, &prim, HINT_NUMBER);
628         if(FAILED(hres))
629             return hres;
630
631         hres = to_number_jsval(ctx, prim, ei, ret);
632         jsval_release(prim);
633         return hres;
634     }
635     case VT_BOOL:
636         *ret = V_BOOL(v) ? 1 : 0;
637         break;
638     case VT_I2:
639     case VT_INT:
640         assert(0);
641     default:
642         FIXME("unimplemented for vt %d\n", V_VT(v));
643         return E_NOTIMPL;
644     }
645
646     return S_OK;
647 }
648
649 /* ECMA-262 3rd Edition    9.3 */
650 HRESULT to_number_jsval(script_ctx_t *ctx, jsval_t v, jsexcept_t *ei, double *ret)
651 {
652     VARIANT var;
653     HRESULT hres;
654
655     if(v.type == JSV_NUMBER) {
656         *ret = v.u.n;
657         return S_OK;
658     }
659
660     hres = jsval_to_variant(v, &var);
661     if(FAILED(hres))
662         return hres;
663
664     hres = to_number(ctx, &var, ei, ret);
665     VariantClear(&var);
666     return hres;
667 }
668
669 /* ECMA-262 3rd Edition    9.4 */
670 HRESULT to_integer(script_ctx_t *ctx, jsval_t v, jsexcept_t *ei, double *ret)
671 {
672     double n;
673     HRESULT hres;
674
675     hres = to_number_jsval(ctx, v, ei, &n);
676     if(FAILED(hres))
677         return hres;
678
679     if(isnan(n))
680         *ret = 0;
681     else
682         *ret = n >= 0.0 ? floor(n) : -floor(-n);
683     return S_OK;
684 }
685
686 /* ECMA-262 3rd Edition    9.5 */
687 HRESULT to_int32_var(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, INT *ret)
688 {
689     double n;
690     HRESULT hres;
691
692     if(V_VT(v) == VT_I4) {
693         *ret = V_I4(v);
694         return S_OK;
695     }
696
697     hres = to_number(ctx, v, ei, &n);
698     if(FAILED(hres))
699         return hres;
700
701     *ret = isnan(n) || isinf(n) ? 0 : n;
702     return S_OK;
703 }
704
705 /* ECMA-262 3rd Edition    9.5 */
706 HRESULT to_int32(script_ctx_t *ctx, jsval_t v, jsexcept_t *ei, INT *ret)
707 {
708     double n;
709     HRESULT hres;
710
711     hres = to_number_jsval(ctx, v, ei, &n);
712     if(FAILED(hres))
713         return hres;
714
715     *ret = isnan(n) || isinf(n) ? 0 : n;
716     return S_OK;
717 }
718
719 /* ECMA-262 3rd Edition    9.6 */
720 HRESULT to_uint32(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, DWORD *ret)
721 {
722     double n;
723     HRESULT hres;
724
725     if(V_VT(v) == VT_I4) {
726         *ret = V_I4(v);
727         return S_OK;
728     }
729
730     hres = to_number(ctx, v, ei, &n);
731     if(FAILED(hres))
732         return hres;
733
734     *ret = isnan(n) || isinf(n) ? 0 : n;
735     return S_OK;
736 }
737
738 /* ECMA-262 3rd Edition    9.6 */
739 HRESULT to_uint32_jsval(script_ctx_t *ctx, jsval_t v, jsexcept_t *ei, DWORD *ret)
740 {
741     VARIANT var;
742     HRESULT hres;
743
744     hres = jsval_to_variant(v, &var);
745     if(FAILED(hres))
746         return hres;
747
748     hres = to_uint32(ctx, &var, ei, ret);
749     VariantClear(&var);
750     return hres;
751 }
752
753 static BSTR int_to_bstr(int i)
754 {
755     WCHAR buf[12], *p;
756     BOOL neg = FALSE;
757
758     if(!i) {
759         static const WCHAR zeroW[] = {'0',0};
760         return SysAllocString(zeroW);
761     }
762
763     if(i < 0) {
764         neg = TRUE;
765         i = -i;
766     }
767
768     p = buf + sizeof(buf)/sizeof(*buf)-1;
769     *p-- = 0;
770     while(i) {
771         *p-- = i%10 + '0';
772         i /= 10;
773     }
774
775     if(neg)
776         *p = '-';
777     else
778         p++;
779
780     return SysAllocString(p);
781 }
782
783 HRESULT double_to_bstr(double n, BSTR *str)
784 {
785     const WCHAR NaNW[] = {'N','a','N',0};
786     const WCHAR InfinityW[] = {'-','I','n','f','i','n','i','t','y',0};
787
788     if(isnan(n)) {
789        *str = SysAllocString(NaNW);
790     }else if(isinf(n)) {
791         *str = SysAllocString(n<0 ? InfinityW : InfinityW+1);
792     }else {
793         VARIANT strv, v;
794         HRESULT hres;
795
796         V_VT(&v) = VT_R8;
797         V_R8(&v) = n;
798         V_VT(&strv) = VT_EMPTY;
799         hres = VariantChangeTypeEx(&strv, &v, MAKELCID(MAKELANGID(LANG_ENGLISH,SUBLANG_ENGLISH_US),SORT_DEFAULT), 0, VT_BSTR);
800         if(FAILED(hres))
801             return hres;
802
803         *str = V_BSTR(&strv);
804     }
805
806     return *str ? S_OK : E_OUTOFMEMORY;
807 }
808
809 /* ECMA-262 3rd Edition    9.8 */
810 HRESULT to_string(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, BSTR *str)
811 {
812     const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
813     const WCHAR nullW[] = {'n','u','l','l',0};
814     const WCHAR trueW[] = {'t','r','u','e',0};
815     const WCHAR falseW[] = {'f','a','l','s','e',0};
816
817     switch(V_VT(v)) {
818     case VT_EMPTY:
819         *str = SysAllocString(undefinedW);
820         break;
821     case VT_NULL:
822         *str = SysAllocString(nullW);
823         break;
824     case VT_I4:
825         *str = int_to_bstr(V_I4(v));
826         break;
827     case VT_R8:
828         return double_to_bstr(V_R8(v), str);
829     case VT_BSTR:
830         *str = SysAllocString(V_BSTR(v));
831         break;
832     case VT_DISPATCH: {
833         jsval_t prim;
834         HRESULT hres;
835
836         hres = to_primitive(ctx, jsval_disp(V_DISPATCH(v)), ei, &prim, HINT_STRING);
837         if(FAILED(hres))
838             return hres;
839
840         hres = to_string_jsval(ctx, prim, ei, str);
841         jsval_release(prim);
842         return hres;
843     }
844     case VT_BOOL:
845         *str = SysAllocString(V_BOOL(v) ? trueW : falseW);
846         break;
847     default:
848         FIXME("unsupported vt %d\n", V_VT(v));
849         return E_NOTIMPL;
850     }
851
852     return *str ? S_OK : E_OUTOFMEMORY;
853 }
854
855 /* ECMA-262 3rd Edition    9.8 */
856 HRESULT to_string_jsval(script_ctx_t *ctx, jsval_t v, jsexcept_t *ei, BSTR *str)
857 {
858     VARIANT var;
859     HRESULT hres;
860
861     if(v.type == JSV_STRING) {
862         *str = clone_bstr(v.u.str);
863         return *str ? S_OK : E_OUTOFMEMORY;
864     }
865
866     hres = jsval_to_variant(v, &var);
867     if(FAILED(hres))
868         return hres;
869
870     hres = to_string(ctx, &var, ei, str);
871     VariantClear(&var);
872     return hres;
873 }
874
875 /* ECMA-262 3rd Edition    9.9 */
876 HRESULT to_object(script_ctx_t *ctx, VARIANT *v, IDispatch **disp)
877 {
878     jsdisp_t *dispex;
879     HRESULT hres;
880
881     switch(V_VT(v)) {
882     case VT_BSTR:
883         hres = create_string(ctx, V_BSTR(v), SysStringLen(V_BSTR(v)), &dispex);
884         if(FAILED(hres))
885             return hres;
886
887         *disp = to_disp(dispex);
888         break;
889     case VT_I4:
890     case VT_R8:
891         hres = create_number(ctx, num_val(v), &dispex);
892         if(FAILED(hres))
893             return hres;
894
895         *disp = to_disp(dispex);
896         break;
897     case VT_DISPATCH:
898         if(V_DISPATCH(v)) {
899             IDispatch_AddRef(V_DISPATCH(v));
900             *disp = V_DISPATCH(v);
901         }else {
902             jsdisp_t *obj;
903
904             hres = create_object(ctx, NULL, &obj);
905             if(FAILED(hres))
906                 return hres;
907
908             *disp = to_disp(obj);
909         }
910         break;
911     case VT_BOOL:
912         hres = create_bool(ctx, V_BOOL(v), &dispex);
913         if(FAILED(hres))
914             return hres;
915
916         *disp = to_disp(dispex);
917         break;
918     case VT_ARRAY|VT_VARIANT:
919         hres = create_vbarray(ctx, V_ARRAY(v), &dispex);
920         if(FAILED(hres))
921             return hres;
922
923         *disp = to_disp(dispex);
924         break;
925     default:
926         FIXME("unsupported vt %d\n", V_VT(v));
927         return E_NOTIMPL;
928     }
929
930     return S_OK;
931 }
932
933 /* ECMA-262 3rd Edition    9.9 */
934 HRESULT to_object_jsval(script_ctx_t *ctx, jsval_t v, IDispatch **disp)
935 {
936     VARIANT var;
937     HRESULT hres;
938
939     if(is_object_instance(v)) {
940         *disp = get_object(v);
941         IDispatch_AddRef(*disp);
942         return S_OK;
943     }
944
945     hres = jsval_to_variant(v, &var);
946     if(FAILED(hres))
947         return hres;
948
949     return to_object(ctx, &var, disp);
950 }
951
952 HRESULT variant_change_type(script_ctx_t *ctx, VARIANT *dst, VARIANT *src, VARTYPE vt)
953 {
954     jsexcept_t ei;
955     HRESULT hres;
956
957     memset(&ei, 0, sizeof(ei));
958
959     switch(vt) {
960     case VT_I2:
961     case VT_I4: {
962         INT i;
963
964         hres = to_int32_var(ctx, src, &ei, &i);
965         if(SUCCEEDED(hres)) {
966             if(vt == VT_I4)
967                 V_I4(dst) = i;
968             else
969                 V_I2(dst) = i;
970         }
971         break;
972     }
973     case VT_R8: {
974         double n;
975         hres = to_number(ctx, src, &ei, &n);
976         if(SUCCEEDED(hres))
977             V_R8(dst) = n;
978         break;
979     }
980     case VT_R4: {
981         double n;
982
983         hres = to_number(ctx, src, &ei, &n);
984         if(SUCCEEDED(hres))
985             V_R4(dst) = n;
986         break;
987     }
988     case VT_BOOL: {
989         VARIANT_BOOL b;
990
991         hres = to_boolean(src, &b);
992         if(SUCCEEDED(hres))
993             V_BOOL(dst) = b;
994         break;
995     }
996     case VT_BSTR: {
997         BSTR str;
998
999         hres = to_string(ctx, src, &ei, &str);
1000         if(SUCCEEDED(hres))
1001             V_BSTR(dst) = str;
1002         break;
1003     }
1004     case VT_EMPTY:
1005         hres = V_VT(src) == VT_EMPTY ? S_OK : E_NOTIMPL;
1006         break;
1007     case VT_NULL:
1008         hres = V_VT(src) == VT_NULL ? S_OK : E_NOTIMPL;
1009         break;
1010     default:
1011         FIXME("vt %d not implemented\n", vt);
1012         hres = E_NOTIMPL;
1013     }
1014
1015     if(FAILED(hres)) {
1016         jsval_release(ei.val);
1017         return hres;
1018     }
1019
1020     V_VT(dst) = vt;
1021     return S_OK;
1022 }
1023
1024 static inline JSCaller *impl_from_IServiceProvider(IServiceProvider *iface)
1025 {
1026     return CONTAINING_RECORD(iface, JSCaller, IServiceProvider_iface);
1027 }
1028
1029 static HRESULT WINAPI JSCaller_QueryInterface(IServiceProvider *iface, REFIID riid, void **ppv)
1030 {
1031     JSCaller *This = impl_from_IServiceProvider(iface);
1032
1033     if(IsEqualGUID(&IID_IUnknown, riid)) {
1034         TRACE("(%p)->(IID_IUnknown %p)\n", This, ppv);
1035         *ppv = &This->IServiceProvider_iface;
1036     }else if(IsEqualGUID(&IID_IServiceProvider, riid)) {
1037         TRACE("(%p)->(IID_IServiceProvider %p)\n", This, ppv);
1038         *ppv = &This->IServiceProvider_iface;
1039     }else {
1040         WARN("(%p)->(%s %p)\n", This, debugstr_guid(riid), ppv);
1041         *ppv = NULL;
1042         return E_NOINTERFACE;
1043     }
1044
1045     IUnknown_AddRef((IUnknown*)*ppv);
1046     return S_OK;
1047 }
1048
1049 static ULONG WINAPI JSCaller_AddRef(IServiceProvider *iface)
1050 {
1051     JSCaller *This = impl_from_IServiceProvider(iface);
1052     LONG ref = InterlockedIncrement(&This->ref);
1053
1054     TRACE("(%p) ref=%d\n", This, ref);
1055
1056     return ref;
1057 }
1058
1059 static ULONG WINAPI JSCaller_Release(IServiceProvider *iface)
1060 {
1061     JSCaller *This = impl_from_IServiceProvider(iface);
1062     LONG ref = InterlockedIncrement(&This->ref);
1063
1064     TRACE("(%p) ref=%d\n", This, ref);
1065
1066     if(!ref) {
1067         assert(!This->ctx);
1068         heap_free(This);
1069     }
1070
1071     return ref;
1072 }
1073
1074 static HRESULT WINAPI JSCaller_QueryService(IServiceProvider *iface, REFGUID guidService,
1075         REFIID riid, void **ppv)
1076 {
1077     JSCaller *This = impl_from_IServiceProvider(iface);
1078
1079     if(IsEqualGUID(guidService, &SID_VariantConversion) && This->ctx && This->ctx->active_script) {
1080         TRACE("(%p)->(SID_VariantConversion)\n", This);
1081         return IActiveScript_QueryInterface(This->ctx->active_script, riid, ppv);
1082     }
1083
1084     FIXME("(%p)->(%s %s %p)\n", This, debugstr_guid(guidService), debugstr_guid(riid), ppv);
1085
1086     *ppv = NULL;
1087     return E_NOINTERFACE;
1088 }
1089
1090 static const IServiceProviderVtbl ServiceProviderVtbl = {
1091     JSCaller_QueryInterface,
1092     JSCaller_AddRef,
1093     JSCaller_Release,
1094     JSCaller_QueryService
1095 };
1096
1097 HRESULT create_jscaller(script_ctx_t *ctx)
1098 {
1099     JSCaller *ret;
1100
1101     ret = heap_alloc(sizeof(*ret));
1102     if(!ret)
1103         return E_OUTOFMEMORY;
1104
1105     ret->IServiceProvider_iface.lpVtbl = &ServiceProviderVtbl;
1106     ret->ref = 1;
1107     ret->ctx = ctx;
1108
1109     ctx->jscaller = ret;
1110     return S_OK;
1111 }