jscript: Added Function.[[call]] implementation.
[wine] / dlls / jscript / engine.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 "jscript.h"
20 #include "engine.h"
21
22 #include "wine/debug.h"
23
24 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
25
26 #define EXPR_NOVAL   0x0001
27 #define EXPR_NEWREF  0x0002
28 #define EXPR_STRREF  0x0004
29
30 static inline HRESULT stat_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
31 {
32     return stat->eval(ctx, stat, rt, ret);
33 }
34
35 static inline HRESULT expr_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
36 {
37     return _expr->eval(ctx, _expr, flags, ei, ret);
38 }
39
40 static void exprval_release(exprval_t *val)
41 {
42     switch(val->type) {
43     case EXPRVAL_VARIANT:
44         VariantClear(&val->u.var);
45         return;
46     case EXPRVAL_IDREF:
47         if(val->u.idref.disp)
48             IDispatch_Release(val->u.idref.disp);
49         return;
50     case EXPRVAL_NAMEREF:
51         if(val->u.nameref.disp)
52             IDispatch_Release(val->u.nameref.disp);
53         SysFreeString(val->u.nameref.name);
54     }
55 }
56
57 /* ECMA-262 3rd Edition    8.7.1 */
58 static HRESULT exprval_value(script_ctx_t *ctx, exprval_t *val, jsexcept_t *ei, VARIANT *ret)
59 {
60     V_VT(ret) = VT_EMPTY;
61
62     switch(val->type) {
63     case EXPRVAL_VARIANT:
64         return VariantCopy(ret, &val->u.var);
65     case EXPRVAL_IDREF:
66         if(!val->u.idref.disp) {
67             FIXME("throw ReferenceError\n");
68             return E_FAIL;
69         }
70
71         return disp_propget(val->u.idref.disp, val->u.idref.id, ctx->lcid, ret, ei, NULL/*FIXME*/);
72     default:
73         ERR("type %d\n", val->type);
74         return E_FAIL;
75     }
76 }
77
78 static HRESULT exprval_to_value(script_ctx_t *ctx, exprval_t *val, jsexcept_t *ei, VARIANT *ret)
79 {
80     if(val->type == EXPRVAL_VARIANT) {
81         *ret = val->u.var;
82         V_VT(&val->u.var) = VT_EMPTY;
83         return S_OK;
84     }
85
86     return exprval_value(ctx, val, ei, ret);
87 }
88
89 static HRESULT exprval_to_boolean(script_ctx_t *ctx, exprval_t *exprval, jsexcept_t *ei, VARIANT_BOOL *b)
90 {
91     if(exprval->type != EXPRVAL_VARIANT) {
92         VARIANT val;
93         HRESULT hres;
94
95         hres = exprval_to_value(ctx, exprval, ei, &val);
96         if(FAILED(hres))
97             return hres;
98
99         hres = to_boolean(&val, b);
100         VariantClear(&val);
101         return hres;
102     }
103
104     return to_boolean(&exprval->u.var, b);
105 }
106
107 static void exprval_init(exprval_t *val)
108 {
109     val->type = EXPRVAL_VARIANT;
110     V_VT(&val->u.var) = VT_EMPTY;
111 }
112
113 static void exprval_set_idref(exprval_t *val, IDispatch *disp, DISPID id)
114 {
115     val->type = EXPRVAL_IDREF;
116     val->u.idref.disp = disp;
117     val->u.idref.id = id;
118
119     if(disp)
120         IDispatch_AddRef(disp);
121 }
122
123 HRESULT scope_push(scope_chain_t *scope, DispatchEx *obj, scope_chain_t **ret)
124 {
125     scope_chain_t *new_scope;
126
127     new_scope = heap_alloc(sizeof(scope_chain_t));
128     if(!new_scope)
129         return E_OUTOFMEMORY;
130
131     new_scope->ref = 1;
132
133     IDispatchEx_AddRef(_IDispatchEx_(obj));
134     new_scope->obj = obj;
135
136     if(scope) {
137         scope_addref(scope);
138         new_scope->next = scope;
139     }else {
140         new_scope->next = NULL;
141     }
142
143     *ret = new_scope;
144     return S_OK;
145 }
146
147 void scope_release(scope_chain_t *scope)
148 {
149     if(--scope->ref)
150         return;
151
152     if(scope->next)
153         scope_release(scope->next);
154
155     IDispatchEx_Release(_IDispatchEx_(scope->obj));
156     heap_free(scope);
157 }
158
159 HRESULT create_exec_ctx(IDispatch *this_obj, DispatchEx *var_disp, scope_chain_t *scope, exec_ctx_t **ret)
160 {
161     exec_ctx_t *ctx;
162
163     ctx = heap_alloc_zero(sizeof(exec_ctx_t));
164     if(!ctx)
165         return E_OUTOFMEMORY;
166
167     IDispatch_AddRef(this_obj);
168     ctx->this_obj = this_obj;
169
170     IDispatchEx_AddRef(_IDispatchEx_(var_disp));
171     ctx->var_disp = var_disp;
172
173     if(scope) {
174         scope_addref(scope);
175         ctx->scope_chain = scope;
176     }
177
178     *ret = ctx;
179     return S_OK;
180 }
181
182 void exec_release(exec_ctx_t *ctx)
183 {
184     if(--ctx->ref)
185         return;
186
187     if(ctx->scope_chain)
188         scope_release(ctx->scope_chain);
189     if(ctx->var_disp)
190         IDispatchEx_Release(_IDispatchEx_(ctx->var_disp));
191     if(ctx->this_obj)
192         IDispatch_Release(ctx->this_obj);
193     heap_free(ctx);
194 }
195
196 static HRESULT dispex_get_id(IDispatchEx *dispex, BSTR name, DWORD flags, DISPID *id)
197 {
198     *id = 0;
199
200     return IDispatchEx_GetDispID(dispex, name, flags|fdexNameCaseSensitive, id);
201 }
202
203 static HRESULT disp_get_id(IDispatch *disp, BSTR name, DWORD flags, DISPID *id)
204 {
205     IDispatchEx *dispex;
206     HRESULT hres;
207
208     hres = IDispatch_QueryInterface(disp, &IID_IDispatchEx, (void**)&dispex);
209     if(FAILED(hres)) {
210         TRACE("unsing IDispatch\n");
211
212         *id = 0;
213         return IDispatch_GetIDsOfNames(disp, &IID_NULL, &name, 1, 0, id);
214     }
215
216     hres = dispex_get_id(dispex, name, flags, id);
217     IDispatchEx_Release(dispex);
218     return hres;
219 }
220
221 /* ECMA-262 3rd Edition    8.7.2 */
222 static HRESULT put_value(script_ctx_t *ctx, exprval_t *ref, VARIANT *v, jsexcept_t *ei)
223 {
224     if(ref->type != EXPRVAL_IDREF) {
225         FIXME("throw ReferemceError\n");
226         return E_FAIL;
227     }
228
229     return disp_propput(ref->u.idref.disp, ref->u.idref.id, ctx->lcid, v, ei, NULL/*FIXME*/);
230 }
231
232 static HRESULT disp_cmp(IDispatch *disp1, IDispatch *disp2, BOOL *ret)
233 {
234     IObjectIdentity *identity;
235     IUnknown *unk1, *unk2;
236     HRESULT hres;
237
238     if(disp1 == disp2) {
239         *ret = TRUE;
240         return S_OK;
241     }
242
243     hres = IDispatch_QueryInterface(disp1, &IID_IUnknown, (void**)&unk1);
244     if(FAILED(hres))
245         return hres;
246
247     hres = IDispatch_QueryInterface(disp2, &IID_IUnknown, (void**)&unk2);
248     if(FAILED(hres)) {
249         IUnknown_Release(unk1);
250         return hres;
251     }
252
253     if(unk1 == unk2) {
254         *ret = TRUE;
255     }else {
256         hres = IUnknown_QueryInterface(unk1, &IID_IObjectIdentity, (void**)&identity);
257         if(SUCCEEDED(hres)) {
258             hres = IObjectIdentity_IsEqualObject(identity, unk2);
259             IObjectIdentity_Release(identity);
260             *ret = hres == S_OK;
261         }else {
262             *ret = FALSE;
263         }
264     }
265
266     IUnknown_Release(unk1);
267     IUnknown_Release(unk2);
268     return S_OK;
269 }
270
271 static inline BOOL is_num_vt(enum VARENUM vt)
272 {
273     return vt == VT_I4 || vt == VT_R8;
274 }
275
276 static inline DOUBLE num_val(const VARIANT *v)
277 {
278     return V_VT(v) == VT_I4 ? V_I4(v) : V_R8(v);
279 }
280
281 /* ECMA-262 3rd Edition    11.9.6 */
282 HRESULT equal2_values(VARIANT *lval, VARIANT *rval, BOOL *ret)
283 {
284     TRACE("\n");
285
286     if(V_VT(lval) != V_VT(rval)) {
287         if(is_num_vt(V_VT(lval)) && is_num_vt(V_VT(rval))) {
288             *ret = num_val(lval) == num_val(rval);
289             return S_OK;
290         }
291
292         *ret = FALSE;
293         return S_OK;
294     }
295
296     switch(V_VT(lval)) {
297     case VT_EMPTY:
298     case VT_NULL:
299         *ret = VARIANT_TRUE;
300         break;
301     case VT_I4:
302         *ret = V_I4(lval) == V_I4(rval);
303         break;
304     case VT_R8:
305         *ret = V_R8(lval) == V_R8(rval);
306         break;
307     case VT_BSTR:
308         *ret = !strcmpW(V_BSTR(lval), V_BSTR(rval));
309         break;
310     case VT_DISPATCH:
311         return disp_cmp(V_DISPATCH(lval), V_DISPATCH(rval), ret);
312     case VT_BOOL:
313         *ret = !V_BOOL(lval) == !V_BOOL(rval);
314         break;
315     default:
316         FIXME("unimplemented vt %d\n", V_VT(lval));
317         return E_NOTIMPL;
318     }
319
320     return S_OK;
321 }
322
323 static HRESULT literal_to_var(literal_t *literal, VARIANT *v)
324 {
325     V_VT(v) = literal->vt;
326
327     switch(V_VT(v)) {
328     case VT_EMPTY:
329     case VT_NULL:
330         break;
331     case VT_I4:
332         V_I4(v) = literal->u.lval;
333         break;
334     case VT_R8:
335         V_R8(v) = literal->u.dval;
336         break;
337     case VT_BSTR:
338         V_BSTR(v) = SysAllocString(literal->u.wstr);
339         break;
340     case VT_BOOL:
341         V_BOOL(v) = literal->u.bval;
342         break;
343     case VT_DISPATCH:
344         IDispatch_AddRef(literal->u.disp);
345         V_DISPATCH(v) = literal->u.disp;
346         break;
347     default:
348         ERR("wrong type %d\n", V_VT(v));
349         return E_NOTIMPL;
350     }
351
352     return S_OK;
353 }
354
355 HRESULT exec_source(exec_ctx_t *ctx, parser_ctx_t *parser, source_elements_t *source, jsexcept_t *ei, VARIANT *retv)
356 {
357     script_ctx_t *script = parser->script;
358     function_declaration_t *func;
359     parser_ctx_t *prev_parser;
360     VARIANT val, tmp;
361     statement_t *stat;
362     exec_ctx_t *prev_ctx;
363     return_type_t rt;
364     HRESULT hres = S_OK;
365
366     for(func = source->functions; func; func = func->next) {
367         DispatchEx *func_obj;
368         VARIANT var;
369
370         hres = create_source_function(parser, func->parameter_list, func->source_elements, ctx->scope_chain, &func_obj);
371         if(FAILED(hres))
372             return hres;
373
374         V_VT(&var) = VT_DISPATCH;
375         V_DISPATCH(&var) = (IDispatch*)_IDispatchEx_(func_obj);
376         hres = jsdisp_propput_name(ctx->var_disp, func->identifier, script->lcid, &var, ei, NULL);
377         IDispatchEx_Release(_IDispatchEx_(func_obj));
378         if(FAILED(hres))
379             return hres;
380     }
381
382     prev_ctx = script->exec_ctx;
383     script->exec_ctx = ctx;
384
385     prev_parser = ctx->parser;
386     ctx->parser = parser;
387
388     V_VT(&val) = VT_EMPTY;
389     memset(&rt, 0, sizeof(rt));
390     rt.type = RT_NORMAL;
391
392     for(stat = source->statement; stat; stat = stat->next) {
393         hres = stat_eval(ctx, stat, &rt, &tmp);
394         if(FAILED(hres))
395             break;
396
397         VariantClear(&val);
398         val = tmp;
399         if(rt.type != RT_NORMAL)
400             break;
401     }
402
403     script->exec_ctx = prev_ctx;
404     ctx->parser = prev_parser;
405
406     if(rt.type != RT_NORMAL && rt.type != RT_RETURN) {
407         FIXME("wrong rt %d\n", rt.type);
408         hres = E_FAIL;
409     }
410
411     *ei = rt.ei;
412     if(FAILED(hres)) {
413         VariantClear(&val);
414         return hres;
415     }
416
417     if(retv)
418         *retv = val;
419     else
420         VariantClear(&val);
421     return S_OK;
422 }
423
424 /* ECMA-262 3rd Edition    10.1.4 */
425 static HRESULT identifier_eval(exec_ctx_t *ctx, BSTR identifier, DWORD flags, exprval_t *ret)
426 {
427     scope_chain_t *scope;
428     named_item_t *item;
429     DISPID id = 0;
430     HRESULT hres;
431
432     TRACE("%s\n", debugstr_w(identifier));
433
434     for(scope = ctx->scope_chain; scope; scope = scope->next) {
435         hres = dispex_get_id(_IDispatchEx_(scope->obj), identifier, 0, &id);
436         if(SUCCEEDED(hres))
437             break;
438     }
439
440     if(scope) {
441         exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(scope->obj), id);
442         return S_OK;
443     }
444
445     hres = dispex_get_id(_IDispatchEx_(ctx->parser->script->global), identifier, 0, &id);
446     if(SUCCEEDED(hres)) {
447         exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->parser->script->global), id);
448         return S_OK;
449     }
450
451     for(item = ctx->parser->script->named_items; item; item = item->next) {
452         hres = disp_get_id(item->disp, identifier, 0, &id);
453         if(SUCCEEDED(hres))
454             break;
455     }
456
457     if(item) {
458         exprval_set_idref(ret, (IDispatch*)item->disp, id);
459         return S_OK;
460     }
461
462     hres = dispex_get_id(_IDispatchEx_(ctx->parser->script->script_disp), identifier, 0, &id);
463     if(SUCCEEDED(hres)) {
464         exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->parser->script->script_disp), id);
465         return S_OK;
466     }
467
468     if(flags & EXPR_NEWREF) {
469         hres = dispex_get_id(_IDispatchEx_(ctx->var_disp), identifier, fdexNameEnsure, &id);
470         if(FAILED(hres))
471             return hres;
472
473         exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->var_disp), id);
474         return S_OK;
475     }
476
477     WARN("Could not find identifier %s\n", debugstr_w(identifier));
478     return E_FAIL;
479 }
480
481 HRESULT block_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
482 {
483     FIXME("\n");
484     return E_NOTIMPL;
485 }
486
487 /* ECMA-262 3rd Edition    12.2 */
488 static HRESULT variable_list_eval(exec_ctx_t *ctx, variable_declaration_t *var_list, jsexcept_t *ei)
489 {
490     variable_declaration_t *iter;
491     HRESULT hres;
492
493     for(iter = var_list; iter; iter = iter->next) {
494         VARIANT val;
495
496         if(iter->expr) {
497             exprval_t exprval;
498
499             hres = expr_eval(ctx, iter->expr, 0, ei, &exprval);
500             if(FAILED(hres))
501                 break;
502
503             hres = exprval_to_value(ctx->parser->script, &exprval, ei, &val);
504             exprval_release(&exprval);
505             if(FAILED(hres))
506                 break;
507         }else {
508             V_VT(&val) = VT_EMPTY;
509         }
510
511         hres = jsdisp_propput_name(ctx->var_disp, iter->identifier, ctx->parser->script->lcid, &val, ei, NULL/*FIXME*/);
512         VariantClear(&val);
513         if(FAILED(hres))
514             break;
515     }
516
517     return hres;
518 }
519
520 /* ECMA-262 3rd Edition    12.2 */
521 HRESULT var_statement_eval(exec_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
522 {
523     var_statement_t *stat = (var_statement_t*)_stat;
524     HRESULT hres;
525
526     TRACE("\n");
527
528     hres = variable_list_eval(ctx, stat->variable_list, &rt->ei);
529     if(FAILED(hres))
530         return hres;
531
532     V_VT(ret) = VT_EMPTY;
533     return S_OK;
534 }
535
536 /* ECMA-262 3rd Edition    12.3 */
537 HRESULT empty_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
538 {
539     TRACE("\n");
540
541     V_VT(ret) = VT_EMPTY;
542     return S_OK;
543 }
544
545 /* ECMA-262 3rd Edition    12.4 */
546 HRESULT expression_statement_eval(exec_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
547 {
548     expression_statement_t *stat = (expression_statement_t*)_stat;
549     exprval_t exprval;
550     VARIANT val;
551     HRESULT hres;
552
553     TRACE("\n");
554
555     hres = expr_eval(ctx, stat->expr, EXPR_NOVAL, &rt->ei, &exprval);
556     if(FAILED(hres))
557         return hres;
558
559     hres = exprval_to_value(ctx->parser->script, &exprval, &rt->ei, &val);
560     exprval_release(&exprval);
561     if(FAILED(hres))
562         return hres;
563
564     *ret = val;
565     TRACE("= %s\n", debugstr_variant(ret));
566     return S_OK;
567 }
568
569 HRESULT if_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
570 {
571     FIXME("\n");
572     return E_NOTIMPL;
573 }
574
575 HRESULT dowhile_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
576 {
577     FIXME("\n");
578     return E_NOTIMPL;
579 }
580
581 HRESULT while_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
582 {
583     FIXME("\n");
584     return E_NOTIMPL;
585 }
586
587 HRESULT for_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
588 {
589     FIXME("\n");
590     return E_NOTIMPL;
591 }
592
593 HRESULT forin_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
594 {
595     FIXME("\n");
596     return E_NOTIMPL;
597 }
598
599 HRESULT continue_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
600 {
601     FIXME("\n");
602     return E_NOTIMPL;
603 }
604
605 HRESULT break_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
606 {
607     FIXME("\n");
608     return E_NOTIMPL;
609 }
610
611 /* ECMA-262 3rd Edition    12.9 */
612 HRESULT return_statement_eval(exec_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
613 {
614     expression_statement_t *stat = (expression_statement_t*)_stat;
615     HRESULT hres;
616
617     TRACE("\n");
618
619     if(stat->expr) {
620         exprval_t exprval;
621
622         hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
623         if(FAILED(hres))
624             return hres;
625
626         hres = exprval_to_value(ctx->parser->script, &exprval, &rt->ei, ret);
627         exprval_release(&exprval);
628         if(FAILED(hres))
629             return hres;
630     }else {
631         V_VT(ret) = VT_EMPTY;
632     }
633
634     TRACE("= %s\n", debugstr_variant(ret));
635     rt->type = RT_RETURN;
636     return S_OK;
637 }
638
639 HRESULT with_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
640 {
641     FIXME("\n");
642     return E_NOTIMPL;
643 }
644
645 HRESULT labelled_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
646 {
647     FIXME("\n");
648     return E_NOTIMPL;
649 }
650
651 HRESULT switch_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
652 {
653     FIXME("\n");
654     return E_NOTIMPL;
655 }
656
657 HRESULT throw_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
658 {
659     FIXME("\n");
660     return E_NOTIMPL;
661 }
662
663 HRESULT try_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
664 {
665     FIXME("\n");
666     return E_NOTIMPL;
667 }
668
669 static HRESULT return_bool(exprval_t *ret, DWORD b)
670 {
671     ret->type = EXPRVAL_VARIANT;
672     V_VT(&ret->u.var) = VT_BOOL;
673     V_BOOL(&ret->u.var) = b ? VARIANT_TRUE : VARIANT_FALSE;
674
675     return S_OK;
676 }
677
678 static HRESULT get_binary_expr_values(exec_ctx_t *ctx, binary_expression_t *expr, jsexcept_t *ei, VARIANT *lval, VARIANT *rval)
679 {
680     exprval_t exprval;
681     HRESULT hres;
682
683     hres = expr_eval(ctx, expr->expression1, 0, ei, &exprval);
684     if(FAILED(hres))
685         return hres;
686
687     hres = exprval_to_value(ctx->parser->script, &exprval, ei, lval);
688     exprval_release(&exprval);
689     if(FAILED(hres))
690         return hres;
691
692     hres = expr_eval(ctx, expr->expression2, 0, ei, &exprval);
693     if(SUCCEEDED(hres)) {
694         hres = exprval_to_value(ctx->parser->script, &exprval, ei, rval);
695         exprval_release(&exprval);
696     }
697
698     if(FAILED(hres)) {
699         VariantClear(lval);
700         return hres;
701     }
702
703     return S_OK;
704 }
705
706 HRESULT function_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
707 {
708     FIXME("\n");
709     return E_NOTIMPL;
710 }
711
712 HRESULT conditional_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
713 {
714     FIXME("\n");
715     return E_NOTIMPL;
716 }
717
718 HRESULT array_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
719 {
720     FIXME("\n");
721     return E_NOTIMPL;
722 }
723
724 /* ECMA-262 3rd Edition    11.2.1 */
725 HRESULT member_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
726 {
727     member_expression_t *expr = (member_expression_t*)_expr;
728     IDispatch *obj = NULL;
729     exprval_t exprval;
730     VARIANT member;
731     DISPID id;
732     BSTR str;
733     HRESULT hres;
734
735     TRACE("\n");
736
737     hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
738     if(FAILED(hres))
739         return hres;
740
741     hres = exprval_to_value(ctx->parser->script, &exprval, ei, &member);
742     exprval_release(&exprval);
743     if(FAILED(hres))
744         return hres;
745
746     hres = to_object(ctx, &member, &obj);
747     VariantClear(&member);
748     if(FAILED(hres))
749         return hres;
750
751     str = SysAllocString(expr->identifier);
752     if(flags & EXPR_STRREF) {
753         ret->type = EXPRVAL_NAMEREF;
754         ret->u.nameref.disp = obj;
755         ret->u.nameref.name = str;
756         return S_OK;
757     }
758
759     hres = disp_get_id(obj, str, flags & EXPR_NEW ? fdexNameEnsure : 0, &id);
760     SysFreeString(str);
761     if(SUCCEEDED(hres)) {
762         exprval_set_idref(ret, obj, id);
763     }else if(!(flags & EXPR_NEWREF) && hres == DISP_E_UNKNOWNNAME) {
764         exprval_init(ret);
765         hres = S_OK;
766     }
767
768     IDispatch_Release(obj);
769     return hres;
770 }
771
772 static void free_dp(DISPPARAMS *dp)
773 {
774     DWORD i;
775
776     for(i=0; i < dp->cArgs; i++)
777         VariantClear(dp->rgvarg+i);
778     heap_free(dp->rgvarg);
779 }
780
781 static HRESULT args_to_param(exec_ctx_t *ctx, argument_t *args, jsexcept_t *ei, DISPPARAMS *dp)
782 {
783     VARIANTARG *vargs;
784     exprval_t exprval;
785     argument_t *iter;
786     DWORD cnt = 0, i;
787     HRESULT hres = S_OK;
788
789     memset(dp, 0, sizeof(*dp));
790
791     for(iter = args; iter; iter = iter->next)
792         cnt++;
793     if(!cnt)
794         return S_OK;
795
796     vargs = heap_alloc_zero(cnt * sizeof(*vargs));
797     if(!vargs)
798         return E_OUTOFMEMORY;
799
800     for(i = cnt, iter = args; iter; iter = iter->next) {
801         hres = expr_eval(ctx, iter->expr, 0, ei, &exprval);
802         if(FAILED(hres))
803             break;
804
805         hres = exprval_to_value(ctx->parser->script, &exprval, ei, vargs + (--i));
806         exprval_release(&exprval);
807         if(FAILED(hres))
808             break;
809     }
810
811     if(FAILED(hres)) {
812         free_dp(dp);
813         return hres;
814     }
815
816     dp->rgvarg = vargs;
817     dp->cArgs = cnt;
818     return S_OK;
819 }
820
821 HRESULT member_new_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
822 {
823     FIXME("\n");
824     return E_NOTIMPL;
825 }
826
827 HRESULT call_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
828 {
829     call_expression_t *expr = (call_expression_t*)_expr;
830     VARIANT func, var;
831     exprval_t exprval;
832     DISPPARAMS dp;
833     HRESULT hres;
834
835     TRACE("\n");
836
837     hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
838     if(FAILED(hres))
839         return hres;
840
841     hres = args_to_param(ctx, expr->argument_list, ei, &dp);
842     if(SUCCEEDED(hres)) {
843         switch(exprval.type) {
844         case EXPRVAL_IDREF:
845             hres = disp_call(exprval.u.idref.disp, exprval.u.idref.id, ctx->parser->script->lcid, DISPATCH_METHOD,
846                     &dp, flags & EXPR_NOVAL ? NULL : &var, ei, NULL/*FIXME*/);
847             if(flags & EXPR_NOVAL)
848                 V_VT(&var) = VT_EMPTY;
849             break;
850         default:
851             FIXME("unimplemented type %d\n", V_VT(&func));
852             hres = E_NOTIMPL;
853         }
854
855         free_dp(&dp);
856     }
857
858     exprval_release(&exprval);
859     if(FAILED(hres))
860         return hres;
861
862     TRACE("= %s\n", debugstr_variant(&var));
863     ret->type = EXPRVAL_VARIANT;
864     ret->u.var = var;
865     return S_OK;
866 }
867
868 HRESULT this_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
869 {
870     TRACE("\n");
871
872     ret->type = EXPRVAL_VARIANT;
873     V_VT(&ret->u.var) = VT_DISPATCH;
874     V_DISPATCH(&ret->u.var) = ctx->this_obj;
875     IDispatch_AddRef(ctx->this_obj);
876     return S_OK;
877 }
878
879 /* ECMA-262 3rd Edition    10.1.4 */
880 HRESULT identifier_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
881 {
882     identifier_expression_t *expr = (identifier_expression_t*)_expr;
883     BSTR identifier;
884     HRESULT hres;
885
886     TRACE("\n");
887
888     identifier = SysAllocString(expr->identifier);
889     if(!identifier)
890         return E_OUTOFMEMORY;
891
892     hres = identifier_eval(ctx, identifier, flags, ret);
893
894     SysFreeString(identifier);
895     return hres;
896 }
897
898 /* ECMA-262 3rd Edition    7.8 */
899 HRESULT literal_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
900 {
901     literal_expression_t *expr = (literal_expression_t*)_expr;
902     VARIANT var;
903     HRESULT hres;
904
905     TRACE("\n");
906
907     hres = literal_to_var(expr->literal, &var);
908     if(FAILED(hres))
909         return hres;
910
911     ret->type = EXPRVAL_VARIANT;
912     ret->u.var = var;
913     return S_OK;
914 }
915
916 HRESULT array_literal_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
917 {
918     FIXME("\n");
919     return E_NOTIMPL;
920 }
921
922 HRESULT property_value_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
923 {
924     FIXME("\n");
925     return E_NOTIMPL;
926 }
927
928 HRESULT comma_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
929 {
930     FIXME("\n");
931     return E_NOTIMPL;
932 }
933
934 HRESULT logical_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
935 {
936     FIXME("\n");
937     return E_NOTIMPL;
938 }
939
940 HRESULT logical_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
941 {
942     FIXME("\n");
943     return E_NOTIMPL;
944 }
945
946 HRESULT binary_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
947 {
948     FIXME("\n");
949     return E_NOTIMPL;
950 }
951
952 HRESULT binary_xor_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
953 {
954     FIXME("\n");
955     return E_NOTIMPL;
956 }
957
958 HRESULT binary_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
959 {
960     FIXME("\n");
961     return E_NOTIMPL;
962 }
963
964 HRESULT instanceof_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
965 {
966     FIXME("\n");
967     return E_NOTIMPL;
968 }
969
970 HRESULT in_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
971 {
972     FIXME("\n");
973     return E_NOTIMPL;
974 }
975
976 HRESULT add_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
977 {
978     FIXME("\n");
979     return E_NOTIMPL;
980 }
981
982 HRESULT sub_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
983 {
984     FIXME("\n");
985     return E_NOTIMPL;
986 }
987
988 HRESULT mul_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
989 {
990     FIXME("\n");
991     return E_NOTIMPL;
992 }
993
994 HRESULT div_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
995 {
996     FIXME("\n");
997     return E_NOTIMPL;
998 }
999
1000 HRESULT mod_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1001 {
1002     FIXME("\n");
1003     return E_NOTIMPL;
1004 }
1005
1006 HRESULT delete_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1007 {
1008     FIXME("\n");
1009     return E_NOTIMPL;
1010 }
1011
1012 HRESULT void_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1013 {
1014     FIXME("\n");
1015     return E_NOTIMPL;
1016 }
1017
1018 HRESULT typeof_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1019 {
1020     unary_expression_t *expr = (unary_expression_t*)_expr;
1021     const WCHAR *str;
1022     exprval_t exprval;
1023     VARIANT val;
1024     HRESULT hres;
1025
1026     static const WCHAR booleanW[] = {'b','o','o','l','e','a','n',0};
1027     static const WCHAR functionW[] = {'f','u','n','c','t','i','o','n',0};
1028     static const WCHAR numberW[] = {'n','u','m','b','e','r',0};
1029     static const WCHAR objectW[] = {'o','b','j','e','c','t',0};
1030     static const WCHAR stringW[] = {'s','t','r','i','n','g',0};
1031     static const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
1032
1033     TRACE("\n");
1034
1035     hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
1036     if(FAILED(hres))
1037         return hres;
1038
1039     hres = exprval_to_value(ctx->parser->script, &exprval, ei, &val);
1040     exprval_release(&exprval);
1041     if(FAILED(hres))
1042         return hres;
1043
1044     switch(V_VT(&val)) {
1045     case VT_EMPTY:
1046         str = undefinedW;
1047         break;
1048     case VT_NULL:
1049         str = objectW;
1050         break;
1051     case VT_BOOL:
1052         str = booleanW;
1053         break;
1054     case VT_I4:
1055     case VT_R8:
1056         str = numberW;
1057         break;
1058     case VT_BSTR:
1059         str = stringW;
1060         break;
1061     case VT_DISPATCH: {
1062         DispatchEx *dispex;
1063
1064         dispex = iface_to_jsdisp((IUnknown*)V_DISPATCH(&val));
1065         if(dispex) {
1066             str = dispex->builtin_info->class == JSCLASS_FUNCTION ? functionW : objectW;
1067             IDispatchEx_Release(_IDispatchEx_(dispex));
1068         }else {
1069             str = objectW;
1070         }
1071         break;
1072     }
1073     default:
1074         FIXME("unhandled vt %d\n", V_VT(&val));
1075         hres = E_NOTIMPL;
1076     }
1077
1078     VariantClear(&val);
1079     if(FAILED(hres))
1080         return hres;
1081
1082     ret->type = EXPRVAL_VARIANT;
1083     V_VT(&ret->u.var) = VT_BSTR;
1084     V_BSTR(&ret->u.var) = SysAllocString(str);
1085     return S_OK;
1086 }
1087
1088 HRESULT minus_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1089 {
1090     FIXME("\n");
1091     return E_NOTIMPL;
1092 }
1093
1094 HRESULT plus_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1095 {
1096     FIXME("\n");
1097     return E_NOTIMPL;
1098 }
1099
1100 HRESULT post_increment_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1101 {
1102     FIXME("\n");
1103     return E_NOTIMPL;
1104 }
1105
1106 HRESULT post_decrement_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1107 {
1108     FIXME("\n");
1109     return E_NOTIMPL;
1110 }
1111
1112 HRESULT pre_increment_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1113 {
1114     FIXME("\n");
1115     return E_NOTIMPL;
1116 }
1117
1118 HRESULT pre_decrement_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1119 {
1120     FIXME("\n");
1121     return E_NOTIMPL;
1122 }
1123
1124 HRESULT new_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1125 {
1126     FIXME("\n");
1127     return E_NOTIMPL;
1128 }
1129
1130 HRESULT equal_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1131 {
1132     FIXME("\n");
1133     return E_NOTIMPL;
1134 }
1135
1136 /* ECMA-262 3rd Edition    11.9.4 */
1137 HRESULT equal2_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1138 {
1139     binary_expression_t *expr = (binary_expression_t*)_expr;
1140     VARIANT rval, lval;
1141     BOOL b;
1142     HRESULT hres;
1143
1144     TRACE("\n");
1145
1146     hres = get_binary_expr_values(ctx, expr, ei, &rval, &lval);
1147     if(FAILED(hres))
1148         return hres;
1149
1150     hres = equal2_values(&rval, &lval, &b);
1151     if(FAILED(hres))
1152         return hres;
1153
1154     return return_bool(ret, b);
1155 }
1156
1157 HRESULT not_equal_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1158 {
1159
1160     FIXME("\n");
1161     return E_NOTIMPL;
1162 }
1163
1164 /* ECMA-262 3rd Edition    11.9.5 */
1165 HRESULT not_equal2_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1166 {
1167     binary_expression_t *expr = (binary_expression_t*)_expr;
1168     VARIANT rval, lval;
1169     BOOL b;
1170     HRESULT hres;
1171
1172     TRACE("\n");
1173
1174     hres = get_binary_expr_values(ctx, expr, ei, &rval, &lval);
1175     if(FAILED(hres))
1176         return hres;
1177
1178     hres = equal2_values(&rval, &lval, &b);
1179     if(FAILED(hres))
1180         return hres;
1181
1182     return return_bool(ret, !b);
1183 }
1184
1185 HRESULT less_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1186 {
1187     FIXME("\n");
1188     return E_NOTIMPL;
1189 }
1190
1191 HRESULT lesseq_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1192 {
1193     FIXME("\n");
1194     return E_NOTIMPL;
1195 }
1196
1197 HRESULT greater_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1198 {
1199     FIXME("\n");
1200     return E_NOTIMPL;
1201 }
1202
1203 HRESULT greatereq_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1204 {
1205     FIXME("\n");
1206     return E_NOTIMPL;
1207 }
1208
1209 HRESULT binary_negation_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1210 {
1211     FIXME("\n");
1212     return E_NOTIMPL;
1213 }
1214
1215 /* ECMA-262 3rd Edition    11.4.9 */
1216 HRESULT logical_negation_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1217 {
1218     unary_expression_t *expr = (unary_expression_t*)_expr;
1219     exprval_t exprval;
1220     VARIANT_BOOL b;
1221     HRESULT hres;
1222
1223     TRACE("\n");
1224
1225     hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
1226     if(FAILED(hres))
1227         return hres;
1228
1229     hres = exprval_to_boolean(ctx->parser->script, &exprval, ei, &b);
1230     exprval_release(&exprval);
1231     if(FAILED(hres))
1232         return hres;
1233
1234     return return_bool(ret, !b);
1235 }
1236
1237 HRESULT left_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1238 {
1239     FIXME("\n");
1240     return E_NOTIMPL;
1241 }
1242
1243 HRESULT right_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1244 {
1245     FIXME("\n");
1246     return E_NOTIMPL;
1247 }
1248
1249 HRESULT right2_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1250 {
1251     FIXME("\n");
1252     return E_NOTIMPL;
1253 }
1254
1255 /* ECMA-262 3rd Edition    11.13.1 */
1256 HRESULT assign_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1257 {
1258     binary_expression_t *expr = (binary_expression_t*)_expr;
1259     exprval_t exprval, exprvalr;
1260     VARIANT rval;
1261     HRESULT hres;
1262
1263     TRACE("\n");
1264
1265     hres = expr_eval(ctx, expr->expression1, EXPR_NEWREF, ei, &exprval);
1266     if(FAILED(hres))
1267         return hres;
1268
1269     hres = expr_eval(ctx, expr->expression2, 0, ei, &exprvalr);
1270     if(SUCCEEDED(hres)) {
1271         hres = exprval_to_value(ctx->parser->script, &exprvalr, ei, &rval);
1272         exprval_release(&exprvalr);
1273     }
1274
1275     if(SUCCEEDED(hres))
1276         hres = put_value(ctx->parser->script, &exprval, &rval, ei);
1277
1278     exprval_release(&exprval);
1279     if(FAILED(hres)) {
1280         VariantClear(&rval);
1281         return hres;
1282     }
1283
1284     ret->type = EXPRVAL_VARIANT;
1285     ret->u.var = rval;
1286     return S_OK;
1287 }
1288
1289 HRESULT assign_lshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1290 {
1291     FIXME("\n");
1292     return E_NOTIMPL;
1293 }
1294
1295 HRESULT assign_rshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1296 {
1297     FIXME("\n");
1298     return E_NOTIMPL;
1299 }
1300
1301 HRESULT assign_rrshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1302 {
1303     FIXME("\n");
1304     return E_NOTIMPL;
1305 }
1306
1307 HRESULT assign_add_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1308 {
1309     FIXME("\n");
1310     return E_NOTIMPL;
1311 }
1312
1313 HRESULT assign_sub_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1314 {
1315     FIXME("\n");
1316     return E_NOTIMPL;
1317 }
1318
1319 HRESULT assign_mul_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1320 {
1321     FIXME("\n");
1322     return E_NOTIMPL;
1323 }
1324
1325 HRESULT assign_div_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1326 {
1327     FIXME("\n");
1328     return E_NOTIMPL;
1329 }
1330
1331 HRESULT assign_mod_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1332 {
1333     FIXME("\n");
1334     return E_NOTIMPL;
1335 }
1336
1337 HRESULT assign_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1338 {
1339     FIXME("\n");
1340     return E_NOTIMPL;
1341 }
1342
1343 HRESULT assign_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1344 {
1345     FIXME("\n");
1346     return E_NOTIMPL;
1347 }
1348
1349 HRESULT assign_xor_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1350 {
1351     FIXME("\n");
1352     return E_NOTIMPL;
1353 }