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
22 #include "wine/debug.h"
24 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
26 #define EXPR_NOVAL 0x0001
27 #define EXPR_NEWREF 0x0002
28 #define EXPR_STRREF 0x0004
30 static inline HRESULT stat_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
32 return stat->eval(ctx, stat, rt, ret);
35 static inline HRESULT expr_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
37 return _expr->eval(ctx, _expr, flags, ei, ret);
40 static void exprval_release(exprval_t *val)
44 VariantClear(&val->u.var);
48 IDispatch_Release(val->u.idref.disp);
51 if(val->u.nameref.disp)
52 IDispatch_Release(val->u.nameref.disp);
53 SysFreeString(val->u.nameref.name);
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)
64 return VariantCopy(ret, &val->u.var);
66 if(!val->u.idref.disp) {
67 FIXME("throw ReferenceError\n");
71 return disp_propget(val->u.idref.disp, val->u.idref.id, ctx->lcid, ret, ei, NULL/*FIXME*/);
73 ERR("type %d\n", val->type);
78 static HRESULT exprval_to_value(script_ctx_t *ctx, exprval_t *val, jsexcept_t *ei, VARIANT *ret)
80 if(val->type == EXPRVAL_VARIANT) {
82 V_VT(&val->u.var) = VT_EMPTY;
86 return exprval_value(ctx, val, ei, ret);
89 static HRESULT exprval_to_boolean(script_ctx_t *ctx, exprval_t *exprval, jsexcept_t *ei, VARIANT_BOOL *b)
91 if(exprval->type != EXPRVAL_VARIANT) {
95 hres = exprval_to_value(ctx, exprval, ei, &val);
99 hres = to_boolean(&val, b);
104 return to_boolean(&exprval->u.var, b);
107 static void exprval_set_idref(exprval_t *val, IDispatch *disp, DISPID id)
109 val->type = EXPRVAL_IDREF;
110 val->u.idref.disp = disp;
111 val->u.idref.id = id;
114 IDispatch_AddRef(disp);
117 void scope_release(scope_chain_t *scope)
123 scope_release(scope->next);
125 IDispatchEx_Release(_IDispatchEx_(scope->obj));
129 HRESULT create_exec_ctx(DispatchEx *var_disp, scope_chain_t *scope, exec_ctx_t **ret)
133 ctx = heap_alloc_zero(sizeof(exec_ctx_t));
135 return E_OUTOFMEMORY;
137 IDispatchEx_AddRef(_IDispatchEx_(var_disp));
138 ctx->var_disp = var_disp;
142 ctx->scope_chain = scope;
149 void exec_release(exec_ctx_t *ctx)
155 scope_release(ctx->scope_chain);
157 IDispatchEx_Release(_IDispatchEx_(ctx->var_disp));
161 static HRESULT dispex_get_id(IDispatchEx *dispex, BSTR name, DWORD flags, DISPID *id)
165 return IDispatchEx_GetDispID(dispex, name, flags|fdexNameCaseSensitive, id);
168 static HRESULT disp_get_id(IDispatch *disp, BSTR name, DWORD flags, DISPID *id)
173 hres = IDispatch_QueryInterface(disp, &IID_IDispatchEx, (void**)&dispex);
175 TRACE("unsing IDispatch\n");
178 return IDispatch_GetIDsOfNames(disp, &IID_NULL, &name, 1, 0, id);
181 hres = dispex_get_id(dispex, name, flags, id);
182 IDispatchEx_Release(dispex);
186 /* ECMA-262 3rd Edition 8.7.2 */
187 static HRESULT put_value(script_ctx_t *ctx, exprval_t *ref, VARIANT *v, jsexcept_t *ei)
189 if(ref->type != EXPRVAL_IDREF) {
190 FIXME("throw ReferemceError\n");
194 return disp_propput(ref->u.idref.disp, ref->u.idref.id, ctx->lcid, v, ei, NULL/*FIXME*/);
197 static HRESULT literal_to_var(literal_t *literal, VARIANT *v)
199 V_VT(v) = literal->vt;
206 V_I4(v) = literal->u.lval;
209 V_R8(v) = literal->u.dval;
212 V_BSTR(v) = SysAllocString(literal->u.wstr);
215 V_BOOL(v) = literal->u.bval;
218 IDispatch_AddRef(literal->u.disp);
219 V_DISPATCH(v) = literal->u.disp;
222 ERR("wrong type %d\n", V_VT(v));
229 HRESULT exec_source(exec_ctx_t *ctx, parser_ctx_t *parser, source_elements_t *source, jsexcept_t *ei, VARIANT *retv)
231 script_ctx_t *script = parser->script;
232 parser_ctx_t *prev_parser;
235 exec_ctx_t *prev_ctx;
239 prev_ctx = script->exec_ctx;
240 script->exec_ctx = ctx;
242 prev_parser = ctx->parser;
243 ctx->parser = parser;
245 V_VT(&val) = VT_EMPTY;
246 memset(&rt, 0, sizeof(rt));
249 for(stat = source->statement; stat; stat = stat->next) {
250 hres = stat_eval(ctx, stat, &rt, &tmp);
256 if(rt.type != RT_NORMAL)
260 script->exec_ctx = prev_ctx;
261 ctx->parser = prev_parser;
263 if(rt.type != RT_NORMAL && rt.type != RT_RETURN) {
264 FIXME("wrong rt %d\n", rt.type);
281 /* ECMA-262 3rd Edition 10.1.4 */
282 static HRESULT identifier_eval(exec_ctx_t *ctx, BSTR identifier, DWORD flags, exprval_t *ret)
284 scope_chain_t *scope;
289 TRACE("%s\n", debugstr_w(identifier));
291 for(scope = ctx->scope_chain; scope; scope = scope->next) {
292 hres = dispex_get_id(_IDispatchEx_(scope->obj), identifier, 0, &id);
298 exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(scope->obj), id);
302 hres = dispex_get_id(_IDispatchEx_(ctx->parser->script->global), identifier, 0, &id);
303 if(SUCCEEDED(hres)) {
304 exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->parser->script->global), id);
308 for(item = ctx->parser->script->named_items; item; item = item->next) {
309 hres = disp_get_id(item->disp, identifier, 0, &id);
315 exprval_set_idref(ret, (IDispatch*)item->disp, id);
319 hres = dispex_get_id(_IDispatchEx_(ctx->parser->script->script_disp), identifier, 0, &id);
320 if(SUCCEEDED(hres)) {
321 exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->parser->script->script_disp), id);
325 if(flags & EXPR_NEWREF) {
326 hres = dispex_get_id(_IDispatchEx_(ctx->var_disp), identifier, fdexNameEnsure, &id);
330 exprval_set_idref(ret, (IDispatch*)_IDispatchEx_(ctx->var_disp), id);
334 WARN("Could not find identifier %s\n", debugstr_w(identifier));
338 HRESULT block_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
344 HRESULT var_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
350 /* ECMA-262 3rd Edition 12.3 */
351 HRESULT empty_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
355 V_VT(ret) = VT_EMPTY;
359 /* ECMA-262 3rd Edition 12.4 */
360 HRESULT expression_statement_eval(exec_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
362 expression_statement_t *stat = (expression_statement_t*)_stat;
369 hres = expr_eval(ctx, stat->expr, EXPR_NOVAL, &rt->ei, &exprval);
373 hres = exprval_to_value(ctx->parser->script, &exprval, &rt->ei, &val);
374 exprval_release(&exprval);
379 TRACE("= %s\n", debugstr_variant(ret));
383 HRESULT if_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
389 HRESULT dowhile_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
395 HRESULT while_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
401 HRESULT for_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
407 HRESULT forin_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
413 HRESULT continue_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
419 HRESULT break_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
425 HRESULT return_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
431 HRESULT with_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
437 HRESULT labelled_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
443 HRESULT switch_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
449 HRESULT throw_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
455 HRESULT try_statement_eval(exec_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
461 static HRESULT return_bool(exprval_t *ret, DWORD b)
463 ret->type = EXPRVAL_VARIANT;
464 V_VT(&ret->u.var) = VT_BOOL;
465 V_BOOL(&ret->u.var) = b ? VARIANT_TRUE : VARIANT_FALSE;
470 HRESULT function_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
476 HRESULT conditional_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
482 HRESULT array_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
488 HRESULT member_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
494 static void free_dp(DISPPARAMS *dp)
498 for(i=0; i < dp->cArgs; i++)
499 VariantClear(dp->rgvarg+i);
500 heap_free(dp->rgvarg);
503 static HRESULT args_to_param(exec_ctx_t *ctx, argument_t *args, jsexcept_t *ei, DISPPARAMS *dp)
511 memset(dp, 0, sizeof(*dp));
513 for(iter = args; iter; iter = iter->next)
518 vargs = heap_alloc_zero(cnt * sizeof(*vargs));
520 return E_OUTOFMEMORY;
522 for(i = cnt, iter = args; iter; iter = iter->next) {
523 hres = expr_eval(ctx, iter->expr, 0, ei, &exprval);
527 hres = exprval_to_value(ctx->parser->script, &exprval, ei, vargs + (--i));
528 exprval_release(&exprval);
543 HRESULT member_new_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
549 HRESULT call_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
551 call_expression_t *expr = (call_expression_t*)_expr;
559 hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
563 hres = args_to_param(ctx, expr->argument_list, ei, &dp);
564 if(SUCCEEDED(hres)) {
565 switch(exprval.type) {
567 hres = disp_call(exprval.u.idref.disp, exprval.u.idref.id, ctx->parser->script->lcid, DISPATCH_METHOD,
568 &dp, flags & EXPR_NOVAL ? NULL : &var, ei, NULL/*FIXME*/);
569 if(flags & EXPR_NOVAL)
570 V_VT(&var) = VT_EMPTY;
573 FIXME("unimplemented type %d\n", V_VT(&func));
580 exprval_release(&exprval);
584 TRACE("= %s\n", debugstr_variant(&var));
585 ret->type = EXPRVAL_VARIANT;
590 HRESULT this_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
596 /* ECMA-262 3rd Edition 10.1.4 */
597 HRESULT identifier_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
599 identifier_expression_t *expr = (identifier_expression_t*)_expr;
605 identifier = SysAllocString(expr->identifier);
607 return E_OUTOFMEMORY;
609 hres = identifier_eval(ctx, identifier, flags, ret);
611 SysFreeString(identifier);
615 /* ECMA-262 3rd Edition 7.8 */
616 HRESULT literal_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
618 literal_expression_t *expr = (literal_expression_t*)_expr;
624 hres = literal_to_var(expr->literal, &var);
628 ret->type = EXPRVAL_VARIANT;
633 HRESULT array_literal_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
639 HRESULT property_value_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
645 HRESULT comma_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
651 HRESULT logical_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
657 HRESULT logical_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
663 HRESULT binary_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
669 HRESULT binary_xor_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
675 HRESULT binary_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
681 HRESULT instanceof_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
687 HRESULT in_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
693 HRESULT add_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
699 HRESULT sub_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
705 HRESULT mul_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
711 HRESULT div_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
717 HRESULT mod_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
723 HRESULT delete_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
729 HRESULT void_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
735 HRESULT typeof_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
741 HRESULT minus_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
747 HRESULT plus_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
753 HRESULT post_increment_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
759 HRESULT post_decrement_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
765 HRESULT pre_increment_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
771 HRESULT pre_decrement_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
777 HRESULT new_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
783 HRESULT equal_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
789 HRESULT equal2_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
795 HRESULT not_equal_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
802 HRESULT not_equal2_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
808 HRESULT less_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
814 HRESULT lesseq_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
820 HRESULT greater_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
826 HRESULT greatereq_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
832 HRESULT binary_negation_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
838 /* ECMA-262 3rd Edition 11.4.9 */
839 HRESULT logical_negation_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
841 unary_expression_t *expr = (unary_expression_t*)_expr;
848 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
852 hres = exprval_to_boolean(ctx->parser->script, &exprval, ei, &b);
853 exprval_release(&exprval);
857 return return_bool(ret, !b);
860 HRESULT left_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
866 HRESULT right_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
872 HRESULT right2_shift_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
878 /* ECMA-262 3rd Edition 11.13.1 */
879 HRESULT assign_expression_eval(exec_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
881 binary_expression_t *expr = (binary_expression_t*)_expr;
882 exprval_t exprval, exprvalr;
888 hres = expr_eval(ctx, expr->expression1, EXPR_NEWREF, ei, &exprval);
892 hres = expr_eval(ctx, expr->expression2, 0, ei, &exprvalr);
893 if(SUCCEEDED(hres)) {
894 hres = exprval_to_value(ctx->parser->script, &exprvalr, ei, &rval);
895 exprval_release(&exprvalr);
899 hres = put_value(ctx->parser->script, &exprval, &rval, ei);
901 exprval_release(&exprval);
907 ret->type = EXPRVAL_VARIANT;
912 HRESULT assign_lshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
918 HRESULT assign_rshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
924 HRESULT assign_rrshift_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
930 HRESULT assign_add_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
936 HRESULT assign_sub_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
942 HRESULT assign_mul_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
948 HRESULT assign_div_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
954 HRESULT assign_mod_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
960 HRESULT assign_and_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
966 HRESULT assign_or_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
972 HRESULT assign_xor_expression_eval(exec_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)