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
20 #include "wine/port.h"
28 #include "wine/debug.h"
30 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
32 #define EXPR_NOVAL 0x0001
33 #define EXPR_NEWREF 0x0002
34 #define EXPR_STRREF 0x0004
36 struct _return_type_t {
46 static inline HRESULT stat_eval(script_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
48 return stat->eval(ctx, stat, rt, ret);
51 static inline HRESULT expr_eval(script_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
53 return expr->eval(ctx, expr, flags, ei, ret);
56 static HRESULT stack_push(exec_ctx_t *ctx, VARIANT *v)
58 if(!ctx->stack_size) {
59 ctx->stack = heap_alloc(16*sizeof(VARIANT));
63 }else if(ctx->stack_size == ctx->top) {
66 new_stack = heap_realloc(ctx->stack, ctx->stack_size*2*sizeof(VARIANT));
72 ctx->stack = new_stack;
76 ctx->stack[ctx->top++] = *v;
80 static HRESULT stack_push_bool(exec_ctx_t *ctx, BOOL b)
85 V_BOOL(&v) = b ? VARIANT_TRUE : VARIANT_FALSE;
86 return stack_push(ctx, &v);
89 static inline HRESULT stack_push_number(exec_ctx_t *ctx, double number)
93 num_set_val(&v, number);
94 return stack_push(ctx, &v);
97 static inline VARIANT *stack_top(exec_ctx_t *ctx)
99 return ctx->stack + ctx->top-1;
102 static inline VARIANT *stack_pop(exec_ctx_t *ctx)
105 return ctx->stack + --ctx->top;
108 static void stack_popn(exec_ctx_t *ctx, unsigned n)
111 VariantClear(stack_pop(ctx));
114 static HRESULT stack_pop_number(exec_ctx_t *ctx, VARIANT *r)
120 hres = to_number(ctx->parser->script, v, &ctx->ei, r);
125 static void exprval_release(exprval_t *val)
128 case EXPRVAL_VARIANT:
129 if(V_VT(&val->u.var) != VT_EMPTY)
130 VariantClear(&val->u.var);
133 if(val->u.idref.disp)
134 IDispatch_Release(val->u.idref.disp);
136 case EXPRVAL_NAMEREF:
137 if(val->u.nameref.disp)
138 IDispatch_Release(val->u.nameref.disp);
139 SysFreeString(val->u.nameref.name);
141 case EXPRVAL_INVALID:
142 SysFreeString(val->u.identifier);
146 /* ECMA-262 3rd Edition 8.7.1 */
147 static HRESULT exprval_value(script_ctx_t *ctx, exprval_t *val, jsexcept_t *ei, VARIANT *ret)
149 V_VT(ret) = VT_EMPTY;
152 case EXPRVAL_VARIANT:
153 return VariantCopy(ret, &val->u.var);
155 if(!val->u.idref.disp) {
156 FIXME("throw ReferenceError\n");
160 return disp_propget(ctx, val->u.idref.disp, val->u.idref.id, ret, ei, NULL/*FIXME*/);
161 case EXPRVAL_NAMEREF:
163 case EXPRVAL_INVALID:
164 return throw_type_error(ctx, ei, JS_E_UNDEFINED_VARIABLE, val->u.identifier);
167 ERR("type %d\n", val->type);
171 static HRESULT exprval_to_value(script_ctx_t *ctx, exprval_t *val, jsexcept_t *ei, VARIANT *ret)
173 if(val->type == EXPRVAL_VARIANT) {
175 V_VT(&val->u.var) = VT_EMPTY;
179 return exprval_value(ctx, val, ei, ret);
182 static HRESULT exprval_to_boolean(script_ctx_t *ctx, exprval_t *exprval, jsexcept_t *ei, VARIANT_BOOL *b)
184 if(exprval->type != EXPRVAL_VARIANT) {
188 hres = exprval_to_value(ctx, exprval, ei, &val);
192 hres = to_boolean(&val, b);
197 return to_boolean(&exprval->u.var, b);
200 static void exprval_init(exprval_t *val)
202 val->type = EXPRVAL_VARIANT;
203 V_VT(&val->u.var) = VT_EMPTY;
206 static void exprval_set_idref(exprval_t *val, IDispatch *disp, DISPID id)
208 val->type = EXPRVAL_IDREF;
209 val->u.idref.disp = disp;
210 val->u.idref.id = id;
213 IDispatch_AddRef(disp);
216 HRESULT scope_push(scope_chain_t *scope, jsdisp_t *obj, scope_chain_t **ret)
218 scope_chain_t *new_scope;
220 new_scope = heap_alloc(sizeof(scope_chain_t));
222 return E_OUTOFMEMORY;
227 new_scope->obj = obj;
231 new_scope->next = scope;
233 new_scope->next = NULL;
240 static void scope_pop(scope_chain_t **scope)
249 void scope_release(scope_chain_t *scope)
255 scope_release(scope->next);
257 jsdisp_release(scope->obj);
261 HRESULT create_exec_ctx(script_ctx_t *script_ctx, IDispatch *this_obj, jsdisp_t *var_disp,
262 scope_chain_t *scope, BOOL is_global, exec_ctx_t **ret)
266 ctx = heap_alloc_zero(sizeof(exec_ctx_t));
268 return E_OUTOFMEMORY;
271 ctx->is_global = is_global;
274 ctx->this_obj = this_obj;
275 else if(script_ctx->host_global)
276 ctx->this_obj = script_ctx->host_global;
278 ctx->this_obj = to_disp(script_ctx->global);
279 IDispatch_AddRef(ctx->this_obj);
281 jsdisp_addref(var_disp);
282 ctx->var_disp = var_disp;
286 ctx->scope_chain = scope;
293 void exec_release(exec_ctx_t *ctx)
299 scope_release(ctx->scope_chain);
301 jsdisp_release(ctx->var_disp);
303 IDispatch_Release(ctx->this_obj);
304 heap_free(ctx->stack);
308 static HRESULT disp_get_id(script_ctx_t *ctx, IDispatch *disp, BSTR name, DWORD flags, DISPID *id)
313 hres = IDispatch_QueryInterface(disp, &IID_IDispatchEx, (void**)&dispex);
315 TRACE("unsing IDispatch\n");
318 return IDispatch_GetIDsOfNames(disp, &IID_NULL, &name, 1, 0, id);
322 hres = IDispatchEx_GetDispID(dispex, name, make_grfdex(ctx, flags|fdexNameCaseSensitive), id);
323 IDispatchEx_Release(dispex);
327 /* ECMA-262 3rd Edition 8.7.2 */
328 static HRESULT put_value(script_ctx_t *ctx, exprval_t *ref, VARIANT *v, jsexcept_t *ei)
330 if(ref->type != EXPRVAL_IDREF)
331 return throw_reference_error(ctx, ei, JS_E_ILLEGAL_ASSIGN, NULL);
333 return disp_propput(ctx, ref->u.idref.disp, ref->u.idref.id, v, ei, NULL/*FIXME*/);
336 static inline BOOL is_null(const VARIANT *v)
338 return V_VT(v) == VT_NULL || (V_VT(v) == VT_DISPATCH && !V_DISPATCH(v));
341 static HRESULT disp_cmp(IDispatch *disp1, IDispatch *disp2, BOOL *ret)
343 IObjectIdentity *identity;
344 IUnknown *unk1, *unk2;
352 if(!disp1 || !disp2) {
357 hres = IDispatch_QueryInterface(disp1, &IID_IUnknown, (void**)&unk1);
361 hres = IDispatch_QueryInterface(disp2, &IID_IUnknown, (void**)&unk2);
363 IUnknown_Release(unk1);
370 hres = IUnknown_QueryInterface(unk1, &IID_IObjectIdentity, (void**)&identity);
371 if(SUCCEEDED(hres)) {
372 hres = IObjectIdentity_IsEqualObject(identity, unk2);
373 IObjectIdentity_Release(identity);
380 IUnknown_Release(unk1);
381 IUnknown_Release(unk2);
385 /* ECMA-262 3rd Edition 11.9.6 */
386 static HRESULT equal2_values(VARIANT *lval, VARIANT *rval, BOOL *ret)
390 if(V_VT(lval) != V_VT(rval)) {
391 if(is_num_vt(V_VT(lval)) && is_num_vt(V_VT(rval)))
392 *ret = num_val(lval) == num_val(rval);
393 else if(is_null(lval))
394 *ret = is_null(rval);
406 *ret = V_I4(lval) == V_I4(rval);
409 *ret = V_R8(lval) == V_R8(rval);
413 *ret = SysStringLen(V_BSTR(rval))?FALSE:TRUE;
414 else if(!V_BSTR(rval))
415 *ret = SysStringLen(V_BSTR(lval))?FALSE:TRUE;
417 *ret = !strcmpW(V_BSTR(lval), V_BSTR(rval));
420 return disp_cmp(V_DISPATCH(lval), V_DISPATCH(rval), ret);
422 *ret = !V_BOOL(lval) == !V_BOOL(rval);
425 FIXME("unimplemented vt %d\n", V_VT(lval));
432 static HRESULT literal_to_var(script_ctx_t *ctx, literal_t *literal, VARIANT *v)
434 switch(literal->type) {
440 V_I4(v) = literal->u.lval;
444 V_R8(v) = literal->u.dval;
447 BSTR str = SysAllocString(literal->u.wstr);
449 return E_OUTOFMEMORY;
457 V_BOOL(v) = literal->u.bval;
463 hres = create_regexp(ctx, literal->u.regexp.str, literal->u.regexp.str_len,
464 literal->u.regexp.flags, ®exp);
468 var_set_jsdisp(v, regexp);
475 static BOOL lookup_global_members(script_ctx_t *ctx, BSTR identifier, exprval_t *ret)
481 for(item = ctx->named_items; item; item = item->next) {
482 if(item->flags & SCRIPTITEM_GLOBALMEMBERS) {
483 hres = disp_get_id(ctx, item->disp, identifier, 0, &id);
484 if(SUCCEEDED(hres)) {
486 exprval_set_idref(ret, item->disp, id);
495 HRESULT exec_source(exec_ctx_t *ctx, parser_ctx_t *parser, source_elements_t *source, BOOL from_eval,
496 jsexcept_t *ei, VARIANT *retv)
498 script_ctx_t *script = parser->script;
499 function_declaration_t *func;
500 parser_ctx_t *prev_parser;
504 exec_ctx_t *prev_ctx;
508 for(func = source->functions; func; func = func->next) {
512 hres = create_source_function(parser, func->expr->parameter_list, func->expr->source_elements,
513 ctx->scope_chain, func->expr->src_str, func->expr->src_len, &func_obj);
517 var_set_jsdisp(&var, func_obj);
518 hres = jsdisp_propput_name(ctx->var_disp, func->expr->identifier, &var, ei, NULL);
519 jsdisp_release(func_obj);
524 for(var = source->variables; var; var = var->next) {
528 name = SysAllocString(var->identifier);
530 return E_OUTOFMEMORY;
532 if(!ctx->is_global || !lookup_global_members(parser->script, name, NULL))
533 hres = jsdisp_get_id(ctx->var_disp, var->identifier, fdexNameEnsure, &id);
539 prev_ctx = script->exec_ctx;
540 script->exec_ctx = ctx;
542 prev_parser = ctx->parser;
543 ctx->parser = parser;
545 V_VT(&val) = VT_EMPTY;
546 memset(&rt, 0, sizeof(rt));
549 for(stat = source->statement; stat; stat = stat->next) {
550 hres = stat_eval(script, stat, &rt, &tmp);
556 if(rt.type != RT_NORMAL)
560 script->exec_ctx = prev_ctx;
561 ctx->parser = prev_parser;
563 if(rt.type != RT_NORMAL && rt.type != RT_RETURN) {
564 FIXME("wrong rt %d\n", rt.type);
574 if(!retv || (!from_eval && rt.type != RT_RETURN))
581 /* ECMA-262 3rd Edition 10.1.4 */
582 static HRESULT identifier_eval(script_ctx_t *ctx, BSTR identifier, DWORD flags, jsexcept_t *ei, exprval_t *ret)
584 scope_chain_t *scope;
589 TRACE("%s\n", debugstr_w(identifier));
591 for(scope = ctx->exec_ctx->scope_chain; scope; scope = scope->next) {
592 hres = jsdisp_get_id(scope->obj, identifier, 0, &id);
593 if(SUCCEEDED(hres)) {
594 exprval_set_idref(ret, to_disp(scope->obj), id);
599 hres = jsdisp_get_id(ctx->global, identifier, 0, &id);
600 if(SUCCEEDED(hres)) {
601 exprval_set_idref(ret, to_disp(ctx->global), id);
605 for(item = ctx->named_items; item; item = item->next) {
606 if((item->flags & SCRIPTITEM_ISVISIBLE) && !strcmpW(item->name, identifier)) {
613 hres = IActiveScriptSite_GetItemInfo(ctx->site, identifier,
614 SCRIPTINFO_IUNKNOWN, &unk, NULL);
616 WARN("GetItemInfo failed: %08x\n", hres);
620 hres = IUnknown_QueryInterface(unk, &IID_IDispatch, (void**)&item->disp);
621 IUnknown_Release(unk);
623 WARN("object does not implement IDispatch\n");
628 ret->type = EXPRVAL_VARIANT;
629 V_VT(&ret->u.var) = VT_DISPATCH;
630 V_DISPATCH(&ret->u.var) = item->disp;
631 IDispatch_AddRef(item->disp);
636 if(lookup_global_members(ctx, identifier, ret))
639 if(flags & EXPR_NEWREF) {
640 hres = jsdisp_get_id(ctx->global, identifier, fdexNameEnsure, &id);
644 exprval_set_idref(ret, to_disp(ctx->global), id);
648 ret->type = EXPRVAL_INVALID;
649 ret->u.identifier = SysAllocString(identifier);
650 if(!ret->u.identifier)
651 return E_OUTOFMEMORY;
656 /* ECMA-262 3rd Edition 12.1 */
657 HRESULT block_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
659 block_statement_t *stat = (block_statement_t*)_stat;
666 V_VT(&val) = VT_EMPTY;
667 for(iter = stat->stat_list; iter; iter = iter->next) {
668 hres = stat_eval(ctx, iter, rt, &tmp);
674 if(rt->type != RT_NORMAL)
687 /* ECMA-262 3rd Edition 12.2 */
688 static HRESULT variable_list_eval(script_ctx_t *ctx, variable_declaration_t *var_list, jsexcept_t *ei)
690 variable_declaration_t *iter;
693 for(iter = var_list; iter; iter = iter->next) {
700 hres = expr_eval(ctx, iter->expr, 0, ei, &exprval);
704 hres = exprval_to_value(ctx, &exprval, ei, &val);
705 exprval_release(&exprval);
709 hres = jsdisp_propput_name(ctx->exec_ctx->var_disp, iter->identifier, &val, ei, NULL/*FIXME*/);
718 /* ECMA-262 3rd Edition 12.2 */
719 HRESULT var_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
721 var_statement_t *stat = (var_statement_t*)_stat;
726 hres = variable_list_eval(ctx, stat->variable_list, &rt->ei);
730 V_VT(ret) = VT_EMPTY;
734 /* ECMA-262 3rd Edition 12.3 */
735 HRESULT empty_statement_eval(script_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
739 V_VT(ret) = VT_EMPTY;
743 /* ECMA-262 3rd Edition 12.4 */
744 HRESULT expression_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
746 expression_statement_t *stat = (expression_statement_t*)_stat;
753 hres = expr_eval(ctx, stat->expr, EXPR_NOVAL, &rt->ei, &exprval);
757 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
758 exprval_release(&exprval);
763 TRACE("= %s\n", debugstr_variant(ret));
767 /* ECMA-262 3rd Edition 12.5 */
768 HRESULT if_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
770 if_statement_t *stat = (if_statement_t*)_stat;
777 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
781 hres = exprval_to_boolean(ctx, &exprval, &rt->ei, &b);
782 exprval_release(&exprval);
787 hres = stat_eval(ctx, stat->if_stat, rt, ret);
788 else if(stat->else_stat)
789 hres = stat_eval(ctx, stat->else_stat, rt, ret);
791 V_VT(ret) = VT_EMPTY;
796 /* ECMA-262 3rd Edition 12.6.2 */
797 HRESULT while_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
799 while_statement_t *stat = (while_statement_t*)_stat;
808 V_VT(&val) = VT_EMPTY;
809 test_expr = !stat->do_while;
813 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
817 hres = exprval_to_boolean(ctx, &exprval, &rt->ei, &b);
818 exprval_release(&exprval);
819 if(FAILED(hres) || !b)
825 hres = stat_eval(ctx, stat->statement, rt, &tmp);
832 if(rt->type == RT_CONTINUE)
833 rt->type = RT_NORMAL;
834 if(rt->type != RT_NORMAL)
843 if(rt->type == RT_BREAK)
844 rt->type = RT_NORMAL;
850 /* ECMA-262 3rd Edition 12.6.3 */
851 HRESULT for_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
853 for_statement_t *stat = (for_statement_t*)_stat;
854 VARIANT val, tmp, retv;
861 if(stat->variable_list) {
862 hres = variable_list_eval(ctx, stat->variable_list, &rt->ei);
865 }else if(stat->begin_expr) {
866 hres = expr_eval(ctx, stat->begin_expr, EXPR_NEWREF, &rt->ei, &exprval);
870 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
871 exprval_release(&exprval);
878 V_VT(&retv) = VT_EMPTY;
882 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
886 hres = exprval_to_boolean(ctx, &exprval, &rt->ei, &b);
887 exprval_release(&exprval);
888 if(FAILED(hres) || !b)
892 hres = stat_eval(ctx, stat->statement, rt, &tmp);
899 if(rt->type == RT_CONTINUE)
900 rt->type = RT_NORMAL;
901 else if(rt->type != RT_NORMAL)
905 hres = expr_eval(ctx, stat->end_expr, 0, &rt->ei, &exprval);
909 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
910 exprval_release(&exprval);
923 if(rt->type == RT_BREAK)
924 rt->type = RT_NORMAL;
930 /* ECMA-262 3rd Edition 12.6.4 */
931 HRESULT forin_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
933 forin_statement_t *stat = (forin_statement_t*)_stat;
934 VARIANT val, name, retv, tmp;
935 DISPID id = DISPID_STARTENUM;
936 BSTR str, identifier = NULL;
944 hres = variable_list_eval(ctx, stat->variable, &rt->ei);
949 hres = expr_eval(ctx, stat->in_expr, EXPR_NEWREF, &rt->ei, &exprval);
953 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
954 exprval_release(&exprval);
958 if(V_VT(&val) != VT_DISPATCH) {
959 TRACE("in vt %d\n", V_VT(&val));
961 V_VT(ret) = VT_EMPTY;
965 hres = IDispatch_QueryInterface(V_DISPATCH(&val), &IID_IDispatchEx, (void**)&in_obj);
966 IDispatch_Release(V_DISPATCH(&val));
968 TRACE("Object doesn't support IDispatchEx\n");
969 V_VT(ret) = VT_EMPTY;
973 V_VT(&retv) = VT_EMPTY;
976 identifier = SysAllocString(stat->variable->identifier);
979 hres = IDispatchEx_GetNextDispID(in_obj, fdexEnumDefault, id, &id);
980 if(FAILED(hres) || hres == S_FALSE)
983 hres = IDispatchEx_GetMemberName(in_obj, id, &str);
987 TRACE("iter %s\n", debugstr_w(str));
990 hres = identifier_eval(ctx, identifier, 0, NULL, &exprval);
992 hres = expr_eval(ctx, stat->expr, EXPR_NEWREF, &rt->ei, &exprval);
993 if(SUCCEEDED(hres)) {
994 V_VT(&name) = VT_BSTR;
996 hres = put_value(ctx, &exprval, &name, &rt->ei);
997 exprval_release(&exprval);
1003 hres = stat_eval(ctx, stat->statement, rt, &tmp);
1007 VariantClear(&retv);
1010 if(rt->type == RT_CONTINUE)
1011 rt->type = RT_NORMAL;
1012 else if(rt->type != RT_NORMAL)
1016 SysFreeString(identifier);
1017 IDispatchEx_Release(in_obj);
1019 VariantClear(&retv);
1023 if(rt->type == RT_BREAK)
1024 rt->type = RT_NORMAL;
1030 /* ECMA-262 3rd Edition 12.7 */
1031 HRESULT continue_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1033 branch_statement_t *stat = (branch_statement_t*)_stat;
1037 if(stat->identifier) {
1038 FIXME("indentifier not implemented\n");
1042 rt->type = RT_CONTINUE;
1043 V_VT(ret) = VT_EMPTY;
1047 /* ECMA-262 3rd Edition 12.8 */
1048 HRESULT break_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1050 branch_statement_t *stat = (branch_statement_t*)_stat;
1054 if(stat->identifier) {
1055 FIXME("indentifier not implemented\n");
1059 rt->type = RT_BREAK;
1060 V_VT(ret) = VT_EMPTY;
1064 /* ECMA-262 3rd Edition 12.9 */
1065 HRESULT return_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1067 expression_statement_t *stat = (expression_statement_t*)_stat;
1075 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
1079 hres = exprval_to_value(ctx, &exprval, &rt->ei, ret);
1080 exprval_release(&exprval);
1084 V_VT(ret) = VT_EMPTY;
1087 TRACE("= %s\n", debugstr_variant(ret));
1088 rt->type = RT_RETURN;
1092 /* ECMA-262 3rd Edition 12.10 */
1093 HRESULT with_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1095 with_statement_t *stat = (with_statement_t*)_stat;
1104 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
1108 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
1109 exprval_release(&exprval);
1113 hres = to_object(ctx, &val, &disp);
1118 obj = iface_to_jsdisp((IUnknown*)disp);
1119 IDispatch_Release(disp);
1121 FIXME("disp id not jsdisp\n");
1125 hres = scope_push(ctx->exec_ctx->scope_chain, obj, &ctx->exec_ctx->scope_chain);
1126 jsdisp_release(obj);
1130 hres = stat_eval(ctx, stat->statement, rt, ret);
1132 scope_pop(&ctx->exec_ctx->scope_chain);
1136 /* ECMA-262 3rd Edition 12.12 */
1137 HRESULT labelled_statement_eval(script_ctx_t *ctx, statement_t *stat, return_type_t *rt, VARIANT *ret)
1143 /* ECMA-262 3rd Edition 12.13 */
1144 HRESULT switch_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1146 switch_statement_t *stat = (switch_statement_t*)_stat;
1147 case_clausule_t *iter, *default_clausule = NULL;
1148 statement_t *stat_iter;
1156 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
1160 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
1161 exprval_release(&exprval);
1165 for(iter = stat->case_list; iter; iter = iter->next) {
1167 default_clausule = iter;
1171 hres = expr_eval(ctx, iter->expr, 0, &rt->ei, &exprval);
1175 hres = exprval_to_value(ctx, &exprval, &rt->ei, &cval);
1176 exprval_release(&exprval);
1180 hres = equal2_values(&val, &cval, &b);
1181 VariantClear(&cval);
1182 if(FAILED(hres) || b)
1191 iter = default_clausule;
1193 V_VT(&val) = VT_EMPTY;
1197 for(stat_iter = iter->stat; stat_iter; stat_iter = stat_iter->next) {
1198 hres = stat_eval(ctx, stat_iter, rt, &tmp);
1205 if(rt->type != RT_NORMAL)
1215 if(rt->type == RT_BREAK)
1216 rt->type = RT_NORMAL;
1222 /* ECMA-262 3rd Edition 12.13 */
1223 HRESULT throw_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1225 expression_statement_t *stat = (expression_statement_t*)_stat;
1232 hres = expr_eval(ctx, stat->expr, 0, &rt->ei, &exprval);
1236 hres = exprval_to_value(ctx, &exprval, &rt->ei, &val);
1237 exprval_release(&exprval);
1242 return DISP_E_EXCEPTION;
1245 /* ECMA-262 3rd Edition 12.14 */
1246 static HRESULT catch_eval(script_ctx_t *ctx, catch_block_t *block, return_type_t *rt, VARIANT *ret)
1253 memset(&rt->ei, 0, sizeof(jsexcept_t));
1255 hres = create_dispex(ctx, NULL, NULL, &var_disp);
1256 if(SUCCEEDED(hres)) {
1257 hres = jsdisp_propput_name(var_disp, block->identifier, &ex, &rt->ei, NULL/*FIXME*/);
1258 if(SUCCEEDED(hres)) {
1259 hres = scope_push(ctx->exec_ctx->scope_chain, var_disp, &ctx->exec_ctx->scope_chain);
1260 if(SUCCEEDED(hres)) {
1261 hres = stat_eval(ctx, block->statement, rt, &val);
1262 scope_pop(&ctx->exec_ctx->scope_chain);
1266 jsdisp_release(var_disp);
1277 /* ECMA-262 3rd Edition 12.14 */
1278 HRESULT try_statement_eval(script_ctx_t *ctx, statement_t *_stat, return_type_t *rt, VARIANT *ret)
1280 try_statement_t *stat = (try_statement_t*)_stat;
1286 hres = stat_eval(ctx, stat->try_statement, rt, &val);
1288 TRACE("EXCEPTION\n");
1289 if(!stat->catch_block)
1292 hres = catch_eval(ctx, stat->catch_block, rt, &val);
1297 if(stat->finally_statement) {
1299 hres = stat_eval(ctx, stat->finally_statement, rt, &val);
1308 static HRESULT return_bool(exprval_t *ret, DWORD b)
1310 ret->type = EXPRVAL_VARIANT;
1311 V_VT(&ret->u.var) = VT_BOOL;
1312 V_BOOL(&ret->u.var) = b ? VARIANT_TRUE : VARIANT_FALSE;
1317 static HRESULT get_binary_expr_values(script_ctx_t *ctx, binary_expression_t *expr, jsexcept_t *ei, VARIANT *lval, VARIANT *rval)
1322 hres = expr_eval(ctx, expr->expression1, 0, ei, &exprval);
1326 hres = exprval_to_value(ctx, &exprval, ei, lval);
1327 exprval_release(&exprval);
1331 hres = expr_eval(ctx, expr->expression2, 0, ei, &exprval);
1332 if(SUCCEEDED(hres)) {
1333 hres = exprval_to_value(ctx, &exprval, ei, rval);
1334 exprval_release(&exprval);
1345 typedef HRESULT (*oper_t)(script_ctx_t*,VARIANT*,VARIANT*,jsexcept_t*,VARIANT*);
1347 static HRESULT binary_expr_eval(script_ctx_t *ctx, binary_expression_t *expr, oper_t oper, jsexcept_t *ei,
1350 VARIANT lval, rval, retv;
1353 hres = get_binary_expr_values(ctx, expr, ei, &lval, &rval);
1357 hres = oper(ctx, &lval, &rval, ei, &retv);
1358 VariantClear(&lval);
1359 VariantClear(&rval);
1363 ret->type = EXPRVAL_VARIANT;
1368 /* ECMA-262 3rd Edition 11.13.2 */
1369 static HRESULT assign_oper_eval(script_ctx_t *ctx, expression_t *lexpr, expression_t *rexpr, oper_t oper,
1370 jsexcept_t *ei, exprval_t *ret)
1372 VARIANT retv, lval, rval;
1373 exprval_t exprval, exprvalr;
1376 hres = expr_eval(ctx, lexpr, EXPR_NEWREF, ei, &exprval);
1380 hres = exprval_value(ctx, &exprval, ei, &lval);
1381 if(SUCCEEDED(hres)) {
1382 hres = expr_eval(ctx, rexpr, 0, ei, &exprvalr);
1383 if(SUCCEEDED(hres)) {
1384 hres = exprval_value(ctx, &exprvalr, ei, &rval);
1385 exprval_release(&exprvalr);
1387 if(SUCCEEDED(hres)) {
1388 hres = oper(ctx, &lval, &rval, ei, &retv);
1389 VariantClear(&rval);
1391 VariantClear(&lval);
1394 if(SUCCEEDED(hres)) {
1395 hres = put_value(ctx, &exprval, &retv, ei);
1397 VariantClear(&retv);
1399 exprval_release(&exprval);
1404 ret->type = EXPRVAL_VARIANT;
1409 /* ECMA-262 3rd Edition 13 */
1410 HRESULT function_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1412 function_expression_t *expr = (function_expression_t*)_expr;
1418 if(expr->identifier) {
1419 hres = jsdisp_propget_name(ctx->exec_ctx->var_disp, expr->identifier, &var, ei, NULL/*FIXME*/);
1425 hres = create_source_function(ctx->exec_ctx->parser, expr->parameter_list, expr->source_elements, ctx->exec_ctx->scope_chain,
1426 expr->src_str, expr->src_len, &dispex);
1430 var_set_jsdisp(&var, dispex);
1433 ret->type = EXPRVAL_VARIANT;
1438 /* ECMA-262 3rd Edition 11.2.1 */
1439 HRESULT array_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1441 array_expression_t *expr = (array_expression_t*)_expr;
1443 VARIANT member, val;
1446 IDispatch *obj = NULL;
1451 hres = expr_eval(ctx, expr->member_expr, 0, ei, &exprval);
1455 hres = exprval_to_value(ctx, &exprval, ei, &member);
1456 exprval_release(&exprval);
1460 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
1461 if(SUCCEEDED(hres)) {
1462 hres = exprval_to_value(ctx, &exprval, ei, &val);
1463 exprval_release(&exprval);
1466 if(SUCCEEDED(hres)) {
1467 hres = to_object(ctx, &member, &obj);
1471 VariantClear(&member);
1472 if(SUCCEEDED(hres)) {
1473 hres = to_string(ctx, &val, ei, &str);
1475 if(SUCCEEDED(hres)) {
1476 if(flags & EXPR_STRREF) {
1477 ret->type = EXPRVAL_NAMEREF;
1478 ret->u.nameref.disp = obj;
1479 ret->u.nameref.name = str;
1483 hres = disp_get_id(ctx, obj, str, flags & EXPR_NEWREF ? fdexNameEnsure : 0, &id);
1487 if(SUCCEEDED(hres)) {
1488 exprval_set_idref(ret, obj, id);
1489 }else if(!(flags & EXPR_NEWREF) && hres == DISP_E_UNKNOWNNAME) {
1494 IDispatch_Release(obj);
1500 /* ECMA-262 3rd Edition 11.2.1 */
1501 HRESULT member_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1503 member_expression_t *expr = (member_expression_t*)_expr;
1504 IDispatch *obj = NULL;
1513 hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
1517 hres = exprval_to_value(ctx, &exprval, ei, &member);
1518 exprval_release(&exprval);
1522 hres = to_object(ctx, &member, &obj);
1523 VariantClear(&member);
1527 str = SysAllocString(expr->identifier);
1528 if(flags & EXPR_STRREF) {
1529 ret->type = EXPRVAL_NAMEREF;
1530 ret->u.nameref.disp = obj;
1531 ret->u.nameref.name = str;
1535 hres = disp_get_id(ctx, obj, str, flags & EXPR_NEWREF ? fdexNameEnsure : 0, &id);
1537 if(SUCCEEDED(hres)) {
1538 exprval_set_idref(ret, obj, id);
1539 }else if(!(flags & EXPR_NEWREF) && hres == DISP_E_UNKNOWNNAME) {
1544 IDispatch_Release(obj);
1548 static void free_dp(DISPPARAMS *dp)
1552 for(i=0; i < dp->cArgs; i++)
1553 VariantClear(dp->rgvarg+i);
1554 heap_free(dp->rgvarg);
1557 static HRESULT args_to_param(script_ctx_t *ctx, argument_t *args, jsexcept_t *ei, DISPPARAMS *dp)
1563 HRESULT hres = S_OK;
1565 memset(dp, 0, sizeof(*dp));
1569 for(iter = args; iter; iter = iter->next)
1572 vargs = heap_alloc_zero(cnt * sizeof(*vargs));
1574 return E_OUTOFMEMORY;
1576 for(i = cnt, iter = args; iter; iter = iter->next) {
1577 hres = expr_eval(ctx, iter->expr, 0, ei, &exprval);
1581 hres = exprval_to_value(ctx, &exprval, ei, vargs + (--i));
1582 exprval_release(&exprval);
1597 /* ECMA-262 3rd Edition 11.2.2 */
1598 HRESULT new_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1600 call_expression_t *expr = (call_expression_t*)_expr;
1602 VARIANT constr, var;
1608 hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
1612 hres = args_to_param(ctx, expr->argument_list, ei, &dp);
1614 hres = exprval_to_value(ctx, &exprval, ei, &constr);
1615 exprval_release(&exprval);
1619 /* NOTE: Should use to_object here */
1621 if(V_VT(&constr) == VT_NULL) {
1622 VariantClear(&constr);
1623 return throw_type_error(ctx, ei, JS_E_OBJECT_EXPECTED, NULL);
1624 } else if(V_VT(&constr) != VT_DISPATCH) {
1625 VariantClear(&constr);
1626 return throw_type_error(ctx, ei, JS_E_INVALID_ACTION, NULL);
1627 } else if(!V_DISPATCH(&constr)) {
1628 VariantClear(&constr);
1629 return throw_type_error(ctx, ei, JS_E_INVALID_PROPERTY, NULL);
1632 hres = disp_call(ctx, V_DISPATCH(&constr), DISPID_VALUE,
1633 DISPATCH_CONSTRUCT, &dp, &var, ei, NULL/*FIXME*/);
1634 IDispatch_Release(V_DISPATCH(&constr));
1639 ret->type = EXPRVAL_VARIANT;
1644 /* ECMA-262 3rd Edition 11.2.3 */
1645 HRESULT call_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1647 call_expression_t *expr = (call_expression_t*)_expr;
1655 hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
1659 hres = args_to_param(ctx, expr->argument_list, ei, &dp);
1660 if(SUCCEEDED(hres)) {
1661 switch(exprval.type) {
1662 case EXPRVAL_VARIANT:
1663 if(V_VT(&exprval.u.var) == VT_DISPATCH)
1664 hres = disp_call(ctx, V_DISPATCH(&exprval.u.var), DISPID_VALUE,
1665 DISPATCH_METHOD, &dp, flags & EXPR_NOVAL ? NULL : &var, ei, NULL/*FIXME*/);
1667 hres = throw_type_error(ctx, ei, JS_E_INVALID_PROPERTY, NULL);
1670 hres = disp_call(ctx, exprval.u.idref.disp, exprval.u.idref.id,
1671 DISPATCH_METHOD, &dp, flags & EXPR_NOVAL ? NULL : &var, ei, NULL/*FIXME*/);
1673 case EXPRVAL_INVALID:
1674 hres = throw_type_error(ctx, ei, JS_E_OBJECT_EXPECTED, NULL);
1677 FIXME("unimplemented type %d\n", exprval.type);
1684 exprval_release(&exprval);
1688 ret->type = EXPRVAL_VARIANT;
1689 if(flags & EXPR_NOVAL) {
1690 V_VT(&ret->u.var) = VT_EMPTY;
1692 TRACE("= %s\n", debugstr_variant(&var));
1698 /* ECMA-262 3rd Edition 11.1.1 */
1699 HRESULT interp_this(exec_ctx_t *ctx)
1705 V_VT(&v) = VT_DISPATCH;
1706 V_DISPATCH(&v) = ctx->this_obj;
1707 IDispatch_AddRef(ctx->this_obj);
1708 return stack_push(ctx, &v);
1711 /* ECMA-262 3rd Edition 10.1.4 */
1712 HRESULT identifier_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1714 identifier_expression_t *expr = (identifier_expression_t*)_expr;
1720 identifier = SysAllocString(expr->identifier);
1722 return E_OUTOFMEMORY;
1724 hres = identifier_eval(ctx, identifier, flags, ei, ret);
1726 SysFreeString(identifier);
1730 /* ECMA-262 3rd Edition 7.8.1 */
1731 HRESULT interp_null(exec_ctx_t *ctx)
1738 return stack_push(ctx, &v);
1741 /* ECMA-262 3rd Edition 7.8.2 */
1742 HRESULT interp_bool(exec_ctx_t *ctx)
1744 const LONG arg = ctx->parser->code->instrs[ctx->ip].arg1.lng;
1746 TRACE("%s\n", arg ? "true" : "false");
1748 return stack_push_bool(ctx, arg);
1751 /* ECMA-262 3rd Edition 7.8.3 */
1752 HRESULT interp_int(exec_ctx_t *ctx)
1754 const LONG arg = ctx->parser->code->instrs[ctx->ip].arg1.lng;
1761 return stack_push(ctx, &v);
1764 /* ECMA-262 3rd Edition 7.8.3 */
1765 HRESULT interp_double(exec_ctx_t *ctx)
1767 const double arg = *ctx->parser->code->instrs[ctx->ip].arg1.dbl;
1770 TRACE("%lf\n", arg);
1774 return stack_push(ctx, &v);
1777 /* ECMA-262 3rd Edition 7.8.4 */
1778 HRESULT interp_str(exec_ctx_t *ctx)
1780 const WCHAR *str = ctx->parser->code->instrs[ctx->ip].arg1.str;
1783 TRACE("%s\n", debugstr_w(str));
1786 V_BSTR(&v) = SysAllocString(str);
1788 return E_OUTOFMEMORY;
1790 return stack_push(ctx, &v);
1793 /* ECMA-262 3rd Edition 7.8 */
1794 HRESULT interp_regexp(exec_ctx_t *ctx)
1796 const WCHAR *source = ctx->parser->code->instrs[ctx->ip].arg1.str;
1797 const LONG flags = ctx->parser->code->instrs[ctx->ip].arg2.lng;
1802 TRACE("%s %x\n", debugstr_w(source), flags);
1804 hres = create_regexp(ctx->parser->script, source, strlenW(source), flags, ®exp);
1808 var_set_jsdisp(&v, regexp);
1809 return stack_push(ctx, &v);
1812 /* ECMA-262 3rd Edition 11.1.4 */
1813 HRESULT array_literal_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1815 array_literal_expression_t *expr = (array_literal_expression_t*)_expr;
1816 DWORD length = 0, i = 0;
1817 array_element_t *elem;
1825 for(elem = expr->element_list; elem; elem = elem->next)
1826 length += elem->elision+1;
1827 length += expr->length;
1829 hres = create_array(ctx, length, &array);
1833 for(elem = expr->element_list; elem; elem = elem->next) {
1836 hres = expr_eval(ctx, elem->expr, 0, ei, &exprval);
1840 hres = exprval_to_value(ctx, &exprval, ei, &val);
1841 exprval_release(&exprval);
1845 hres = jsdisp_propput_idx(array, i, &val, ei, NULL/*FIXME*/);
1854 jsdisp_release(array);
1858 ret->type = EXPRVAL_VARIANT;
1859 var_set_jsdisp(&ret->u.var, array);
1863 /* ECMA-262 3rd Edition 11.1.5 */
1864 HRESULT property_value_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1866 property_value_expression_t *expr = (property_value_expression_t*)_expr;
1876 hres = create_object(ctx, NULL, &obj);
1880 for(iter = expr->property_list; iter; iter = iter->next) {
1881 hres = literal_to_var(ctx, iter->name, &tmp);
1885 hres = to_string(ctx, &tmp, ei, &name);
1890 hres = expr_eval(ctx, iter->value, 0, ei, &exprval);
1891 if(SUCCEEDED(hres)) {
1892 hres = exprval_to_value(ctx, &exprval, ei, &val);
1893 exprval_release(&exprval);
1894 if(SUCCEEDED(hres)) {
1895 hres = jsdisp_propput_name(obj, name, &val, ei, NULL/*FIXME*/);
1900 SysFreeString(name);
1906 jsdisp_release(obj);
1910 ret->type = EXPRVAL_VARIANT;
1911 var_set_jsdisp(&ret->u.var, obj);
1915 /* ECMA-262 3rd Edition 11.11 */
1916 HRESULT interp_jmp_nz(exec_ctx_t *ctx)
1918 const unsigned arg = ctx->parser->code->instrs[ctx->ip].arg1.uint;
1924 hres = to_boolean(stack_top(ctx), &b);
1937 /* ECMA-262 3rd Edition 11.11 */
1938 HRESULT interp_jmp_z(exec_ctx_t *ctx)
1940 const unsigned arg = ctx->parser->code->instrs[ctx->ip].arg1.uint;
1946 hres = to_boolean(stack_top(ctx), &b);
1959 /* ECMA-262 3rd Edition 11.10 */
1960 static HRESULT bitor_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
1965 hres = to_int32(ctx, lval, ei, &li);
1969 hres = to_int32(ctx, rval, ei, &ri);
1978 /* ECMA-262 3rd Edition 11.10 */
1979 HRESULT binary_or_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
1981 binary_expression_t *expr = (binary_expression_t*)_expr;
1985 return binary_expr_eval(ctx, expr, bitor_eval, ei, ret);
1988 /* ECMA-262 3rd Edition 11.10 */
1989 static HRESULT xor_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
1994 hres = to_int32(ctx, lval, ei, &li);
1998 hres = to_int32(ctx, rval, ei, &ri);
2007 /* ECMA-262 3rd Edition 11.10 */
2008 HRESULT binary_xor_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2010 binary_expression_t *expr = (binary_expression_t*)_expr;
2014 return binary_expr_eval(ctx, expr, xor_eval, ei, ret);
2017 /* ECMA-262 3rd Edition 11.10 */
2018 static HRESULT bitand_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2023 hres = to_int32(ctx, lval, ei, &li);
2027 hres = to_int32(ctx, rval, ei, &ri);
2036 /* ECMA-262 3rd Edition 11.10 */
2037 HRESULT binary_and_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2039 binary_expression_t *expr = (binary_expression_t*)_expr;
2043 return binary_expr_eval(ctx, expr, bitand_eval, ei, ret);
2046 /* ECMA-262 3rd Edition 11.8.6 */
2047 static HRESULT instanceof_eval(script_ctx_t *ctx, VARIANT *inst, VARIANT *objv, jsexcept_t *ei, VARIANT *retv)
2049 jsdisp_t *obj, *iter, *tmp = NULL;
2050 VARIANT_BOOL ret = VARIANT_FALSE;
2055 static const WCHAR prototypeW[] = {'p','r','o','t','o','t', 'y', 'p','e',0};
2057 if(V_VT(objv) != VT_DISPATCH || !V_DISPATCH(objv))
2058 return throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
2060 obj = iface_to_jsdisp((IUnknown*)V_DISPATCH(objv));
2062 FIXME("non-jsdisp objects not supported\n");
2066 if(is_class(obj, JSCLASS_FUNCTION)) {
2067 hres = jsdisp_propget_name(obj, prototypeW, &var, ei, NULL/*FIXME*/);
2069 hres = throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
2071 jsdisp_release(obj);
2075 if(V_VT(&var) == VT_DISPATCH) {
2076 if(V_VT(inst) == VT_DISPATCH)
2077 tmp = iface_to_jsdisp((IUnknown*)V_DISPATCH(inst));
2078 for(iter = tmp; iter; iter = iter->prototype) {
2079 hres = disp_cmp(V_DISPATCH(&var), to_disp(iter), &b);
2089 jsdisp_release(tmp);
2091 FIXME("prototype is not an object\n");
2099 V_VT(retv) = VT_BOOL;
2104 /* ECMA-262 3rd Edition 11.8.6 */
2105 HRESULT instanceof_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2107 binary_expression_t *expr = (binary_expression_t*)_expr;
2111 return binary_expr_eval(ctx, expr, instanceof_eval, ei, ret);
2114 /* ECMA-262 3rd Edition 11.8.7 */
2115 HRESULT interp_in(exec_ctx_t *ctx)
2125 obj = stack_pop(ctx);
2128 if(V_VT(obj) != VT_DISPATCH || !V_DISPATCH(obj)) {
2131 return throw_type_error(ctx->parser->script, &ctx->ei, JS_E_OBJECT_EXPECTED, NULL);
2134 hres = to_string(ctx->parser->script, v, &ctx->ei, &str);
2137 IDispatch_Release(V_DISPATCH(obj));
2141 hres = disp_get_id(ctx->parser->script, V_DISPATCH(obj), str, 0, &id);
2142 IDispatch_Release(V_DISPATCH(obj));
2146 else if(hres == DISP_E_UNKNOWNNAME)
2151 return stack_push_bool(ctx, ret);
2154 /* ECMA-262 3rd Edition 11.6.1 */
2155 static HRESULT add_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2160 hres = to_primitive(ctx, lval, ei, &l, NO_HINT);
2164 hres = to_primitive(ctx, rval, ei, &r, NO_HINT);
2170 if(V_VT(&l) == VT_BSTR || V_VT(&r) == VT_BSTR) {
2171 BSTR lstr = NULL, rstr = NULL;
2173 if(V_VT(&l) == VT_BSTR)
2176 hres = to_string(ctx, &l, ei, &lstr);
2178 if(SUCCEEDED(hres)) {
2179 if(V_VT(&r) == VT_BSTR)
2182 hres = to_string(ctx, &r, ei, &rstr);
2185 if(SUCCEEDED(hres)) {
2188 len1 = SysStringLen(lstr);
2189 len2 = SysStringLen(rstr);
2191 V_VT(retv) = VT_BSTR;
2192 V_BSTR(retv) = SysAllocStringLen(NULL, len1+len2);
2193 memcpy(V_BSTR(retv), lstr, len1*sizeof(WCHAR));
2194 memcpy(V_BSTR(retv)+len1, rstr, (len2+1)*sizeof(WCHAR));
2197 if(V_VT(&l) != VT_BSTR)
2198 SysFreeString(lstr);
2199 if(V_VT(&r) != VT_BSTR)
2200 SysFreeString(rstr);
2204 hres = to_number(ctx, &l, ei, &nl);
2205 if(SUCCEEDED(hres)) {
2206 hres = to_number(ctx, &r, ei, &nr);
2208 num_set_val(retv, num_val(&nl) + num_val(&nr));
2217 /* ECMA-262 3rd Edition 11.6.1 */
2218 HRESULT interp_add(exec_ctx_t *ctx)
2220 VARIANT *l, *r, ret;
2226 TRACE("%s + %s\n", debugstr_variant(l), debugstr_variant(r));
2228 hres = add_eval(ctx->parser->script, l, r, &ctx->ei, &ret);
2234 return stack_push(ctx, &ret);
2237 /* ECMA-262 3rd Edition 11.6.2 */
2238 static HRESULT sub_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2243 hres = to_number(ctx, lval, ei, &lnum);
2247 hres = to_number(ctx, rval, ei, &rnum);
2251 num_set_val(retv, num_val(&lnum) - num_val(&rnum));
2255 /* ECMA-262 3rd Edition 11.6.2 */
2256 HRESULT interp_sub(exec_ctx_t *ctx)
2263 hres = stack_pop_number(ctx, &r);
2267 hres = stack_pop_number(ctx, &l);
2271 return stack_push_number(ctx, num_val(&l)-num_val(&r));
2274 /* ECMA-262 3rd Edition 11.5.1 */
2275 static HRESULT mul_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2280 hres = to_number(ctx, lval, ei, &lnum);
2284 hres = to_number(ctx, rval, ei, &rnum);
2288 num_set_val(retv, num_val(&lnum) * num_val(&rnum));
2292 /* ECMA-262 3rd Edition 11.5.1 */
2293 HRESULT mul_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2295 binary_expression_t *expr = (binary_expression_t*)_expr;
2299 return binary_expr_eval(ctx, expr, mul_eval, ei, ret);
2302 /* ECMA-262 3rd Edition 11.5.2 */
2303 static HRESULT div_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2308 hres = to_number(ctx, lval, ei, &lnum);
2312 hres = to_number(ctx, rval, ei, &rnum);
2316 num_set_val(retv, num_val(&lnum) / num_val(&rnum));
2320 /* ECMA-262 3rd Edition 11.5.2 */
2321 HRESULT div_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2323 binary_expression_t *expr = (binary_expression_t*)_expr;
2327 return binary_expr_eval(ctx, expr, div_eval, ei, ret);
2330 /* ECMA-262 3rd Edition 11.5.3 */
2331 static HRESULT mod_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
2336 hres = to_number(ctx, lval, ei, &lnum);
2340 hres = to_number(ctx, rval, ei, &rnum);
2344 num_set_val(retv, fmod(num_val(&lnum), num_val(&rnum)));
2348 /* ECMA-262 3rd Edition 11.5.3 */
2349 HRESULT mod_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2351 binary_expression_t *expr = (binary_expression_t*)_expr;
2355 return binary_expr_eval(ctx, expr, mod_eval, ei, ret);
2358 /* ECMA-262 3rd Edition 11.4.2 */
2359 HRESULT delete_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2361 unary_expression_t *expr = (unary_expression_t*)_expr;
2362 VARIANT_BOOL b = VARIANT_FALSE;
2368 hres = expr_eval(ctx, expr->expression, EXPR_STRREF, ei, &exprval);
2372 switch(exprval.type) {
2373 case EXPRVAL_IDREF: {
2374 IDispatchEx *dispex;
2376 hres = IDispatch_QueryInterface(exprval.u.nameref.disp, &IID_IDispatchEx, (void**)&dispex);
2377 if(SUCCEEDED(hres)) {
2378 hres = IDispatchEx_DeleteMemberByDispID(dispex, exprval.u.idref.id);
2380 IDispatchEx_Release(dispex);
2384 case EXPRVAL_NAMEREF: {
2385 IDispatchEx *dispex;
2387 hres = IDispatch_QueryInterface(exprval.u.nameref.disp, &IID_IDispatchEx, (void**)&dispex);
2388 if(SUCCEEDED(hres)) {
2389 hres = IDispatchEx_DeleteMemberByName(dispex, exprval.u.nameref.name,
2390 make_grfdex(ctx, fdexNameCaseSensitive));
2392 IDispatchEx_Release(dispex);
2397 FIXME("unsupported type %d\n", exprval.type);
2401 exprval_release(&exprval);
2405 return return_bool(ret, b);
2408 /* ECMA-262 3rd Edition 11.4.2 */
2409 HRESULT interp_void(exec_ctx_t *ctx)
2417 V_VT(&v) = VT_EMPTY;
2418 return stack_push(ctx, &v);
2421 /* ECMA-262 3rd Edition 11.4.3 */
2422 static HRESULT typeof_exprval(script_ctx_t *ctx, exprval_t *exprval, jsexcept_t *ei, const WCHAR **ret)
2427 static const WCHAR booleanW[] = {'b','o','o','l','e','a','n',0};
2428 static const WCHAR functionW[] = {'f','u','n','c','t','i','o','n',0};
2429 static const WCHAR numberW[] = {'n','u','m','b','e','r',0};
2430 static const WCHAR objectW[] = {'o','b','j','e','c','t',0};
2431 static const WCHAR stringW[] = {'s','t','r','i','n','g',0};
2432 static const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
2433 static const WCHAR unknownW[] = {'u','n','k','n','o','w','n',0};
2435 if(exprval->type == EXPRVAL_INVALID) {
2440 hres = exprval_to_value(ctx, exprval, ei, &val);
2442 if(exprval->type == EXPRVAL_IDREF) {
2449 switch(V_VT(&val)) {
2469 if(V_DISPATCH(&val) && (dispex = iface_to_jsdisp((IUnknown*)V_DISPATCH(&val)))) {
2470 *ret = is_class(dispex, JSCLASS_FUNCTION) ? functionW : objectW;
2471 jsdisp_release(dispex);
2478 FIXME("unhandled vt %d\n", V_VT(&val));
2486 HRESULT typeof_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2488 unary_expression_t *expr = (unary_expression_t*)_expr;
2489 const WCHAR *str = NULL;
2495 hres = expr_eval(ctx, expr->expression, 0, ei, &exprval);
2499 hres = typeof_exprval(ctx, &exprval, ei, &str);
2500 exprval_release(&exprval);
2504 ret->type = EXPRVAL_VARIANT;
2505 V_VT(&ret->u.var) = VT_BSTR;
2506 V_BSTR(&ret->u.var) = SysAllocString(str);
2507 if(!V_BSTR(&ret->u.var))
2508 return E_OUTOFMEMORY;
2513 /* ECMA-262 3rd Edition 11.4.7 */
2514 HRESULT interp_minus(exec_ctx_t *ctx)
2521 hres = stack_pop_number(ctx, &n);
2525 return stack_push_number(ctx, -num_val(&n));
2528 /* ECMA-262 3rd Edition 11.4.6 */
2529 HRESULT interp_tonum(exec_ctx_t *ctx)
2537 hres = to_number(ctx->parser->script, v, &ctx->ei, &num);
2542 return stack_push(ctx, &num);
2545 /* ECMA-262 3rd Edition 11.3.1 */
2546 HRESULT post_increment_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2548 unary_expression_t *expr = (unary_expression_t*)_expr;
2555 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
2559 hres = exprval_value(ctx, &exprval, ei, &val);
2560 if(SUCCEEDED(hres)) {
2561 hres = to_number(ctx, &val, ei, &num);
2565 if(SUCCEEDED(hres)) {
2567 num_set_val(&inc, num_val(&num)+1.0);
2568 hres = put_value(ctx, &exprval, &inc, ei);
2571 exprval_release(&exprval);
2575 ret->type = EXPRVAL_VARIANT;
2580 /* ECMA-262 3rd Edition 11.3.2 */
2581 HRESULT post_decrement_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2583 unary_expression_t *expr = (unary_expression_t*)_expr;
2590 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
2594 hres = exprval_value(ctx, &exprval, ei, &val);
2595 if(SUCCEEDED(hres)) {
2596 hres = to_number(ctx, &val, ei, &num);
2600 if(SUCCEEDED(hres)) {
2602 num_set_val(&dec, num_val(&num)-1.0);
2603 hres = put_value(ctx, &exprval, &dec, ei);
2606 exprval_release(&exprval);
2610 ret->type = EXPRVAL_VARIANT;
2615 /* ECMA-262 3rd Edition 11.4.4 */
2616 HRESULT pre_increment_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2618 unary_expression_t *expr = (unary_expression_t*)_expr;
2625 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
2629 hres = exprval_value(ctx, &exprval, ei, &val);
2630 if(SUCCEEDED(hres)) {
2631 hres = to_number(ctx, &val, ei, &num);
2635 if(SUCCEEDED(hres)) {
2636 num_set_val(&val, num_val(&num)+1.0);
2637 hres = put_value(ctx, &exprval, &val, ei);
2640 exprval_release(&exprval);
2644 ret->type = EXPRVAL_VARIANT;
2649 /* ECMA-262 3rd Edition 11.4.5 */
2650 HRESULT pre_decrement_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2652 unary_expression_t *expr = (unary_expression_t*)_expr;
2659 hres = expr_eval(ctx, expr->expression, EXPR_NEWREF, ei, &exprval);
2663 hres = exprval_value(ctx, &exprval, ei, &val);
2664 if(SUCCEEDED(hres)) {
2665 hres = to_number(ctx, &val, ei, &num);
2669 if(SUCCEEDED(hres)) {
2670 num_set_val(&val, num_val(&num)-1.0);
2671 hres = put_value(ctx, &exprval, &val, ei);
2674 exprval_release(&exprval);
2678 ret->type = EXPRVAL_VARIANT;
2683 /* ECMA-262 3rd Edition 11.9.3 */
2684 static HRESULT equal_values(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, BOOL *ret)
2686 if(V_VT(lval) == V_VT(rval) || (is_num_vt(V_VT(lval)) && is_num_vt(V_VT(rval))))
2687 return equal2_values(lval, rval, ret);
2689 /* FIXME: NULL disps should be handled in more general way */
2690 if(V_VT(lval) == VT_DISPATCH && !V_DISPATCH(lval)) {
2693 return equal_values(ctx, &v, rval, ei, ret);
2696 if(V_VT(rval) == VT_DISPATCH && !V_DISPATCH(rval)) {
2699 return equal_values(ctx, lval, &v, ei, ret);
2702 if((V_VT(lval) == VT_NULL && V_VT(rval) == VT_EMPTY) ||
2703 (V_VT(lval) == VT_EMPTY && V_VT(rval) == VT_NULL)) {
2708 if(V_VT(lval) == VT_BSTR && is_num_vt(V_VT(rval))) {
2712 hres = to_number(ctx, lval, ei, &v);
2716 return equal_values(ctx, &v, rval, ei, ret);
2719 if(V_VT(rval) == VT_BSTR && is_num_vt(V_VT(lval))) {
2723 hres = to_number(ctx, rval, ei, &v);
2727 return equal_values(ctx, lval, &v, ei, ret);
2730 if(V_VT(rval) == VT_BOOL) {
2734 V_I4(&v) = V_BOOL(rval) ? 1 : 0;
2735 return equal_values(ctx, lval, &v, ei, ret);
2738 if(V_VT(lval) == VT_BOOL) {
2742 V_I4(&v) = V_BOOL(lval) ? 1 : 0;
2743 return equal_values(ctx, &v, rval, ei, ret);
2747 if(V_VT(rval) == VT_DISPATCH && (V_VT(lval) == VT_BSTR || is_num_vt(V_VT(lval)))) {
2751 hres = to_primitive(ctx, rval, ei, &v, NO_HINT);
2755 hres = equal_values(ctx, lval, &v, ei, ret);
2762 if(V_VT(lval) == VT_DISPATCH && (V_VT(rval) == VT_BSTR || is_num_vt(V_VT(rval)))) {
2766 hres = to_primitive(ctx, lval, ei, &v, NO_HINT);
2770 hres = equal_values(ctx, &v, rval, ei, ret);
2781 /* ECMA-262 3rd Edition 11.9.1 */
2782 HRESULT interp_eq(exec_ctx_t *ctx)
2791 TRACE("%s == %s\n", debugstr_variant(l), debugstr_variant(r));
2793 hres = equal_values(ctx->parser->script, l, r, &ctx->ei, &b);
2799 return stack_push_bool(ctx, b);
2802 /* ECMA-262 3rd Edition 11.9.2 */
2803 HRESULT interp_neq(exec_ctx_t *ctx)
2812 TRACE("%s != %s\n", debugstr_variant(l), debugstr_variant(r));
2814 hres = equal_values(ctx->parser->script, l, r, &ctx->ei, &b);
2820 return stack_push_bool(ctx, !b);
2823 /* ECMA-262 3rd Edition 11.9.4 */
2824 static HRESULT interp_eq2(exec_ctx_t *ctx)
2835 hres = equal2_values(r, l, &b);
2841 return stack_push_bool(ctx, b);
2844 /* ECMA-262 3rd Edition 11.9.5 */
2845 static HRESULT interp_neq2(exec_ctx_t *ctx)
2856 hres = equal2_values(r, l, &b);
2862 return stack_push_bool(ctx, !b);
2865 /* ECMA-262 3rd Edition 11.8.5 */
2866 static HRESULT less_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, BOOL greater, jsexcept_t *ei, BOOL *ret)
2868 VARIANT l, r, ln, rn;
2871 hres = to_primitive(ctx, lval, ei, &l, NO_HINT);
2875 hres = to_primitive(ctx, rval, ei, &r, NO_HINT);
2881 if(V_VT(&l) == VT_BSTR && V_VT(&r) == VT_BSTR) {
2882 *ret = (strcmpW(V_BSTR(&l), V_BSTR(&r)) < 0) ^ greater;
2883 SysFreeString(V_BSTR(&l));
2884 SysFreeString(V_BSTR(&r));
2888 hres = to_number(ctx, &l, ei, &ln);
2891 hres = to_number(ctx, &r, ei, &rn);
2896 if(V_VT(&ln) == VT_I4 && V_VT(&rn) == VT_I4) {
2897 *ret = (V_I4(&ln) < V_I4(&rn)) ^ greater;
2899 DOUBLE ld = num_val(&ln);
2900 DOUBLE rd = num_val(&rn);
2902 *ret = !isnan(ld) && !isnan(rd) && ((ld < rd) ^ greater);
2908 /* ECMA-262 3rd Edition 11.8.1 */
2909 HRESULT less_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2911 binary_expression_t *expr = (binary_expression_t*)_expr;
2918 hres = get_binary_expr_values(ctx, expr, ei, &lval, &rval);
2922 hres = less_eval(ctx, &lval, &rval, FALSE, ei, &b);
2923 VariantClear(&lval);
2924 VariantClear(&rval);
2928 return return_bool(ret, b);
2931 /* ECMA-262 3rd Edition 11.8.3 */
2932 HRESULT lesseq_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2934 binary_expression_t *expr = (binary_expression_t*)_expr;
2941 hres = get_binary_expr_values(ctx, expr, ei, &lval, &rval);
2945 hres = less_eval(ctx, &rval, &lval, TRUE, ei, &b);
2946 VariantClear(&lval);
2947 VariantClear(&rval);
2951 return return_bool(ret, b);
2954 /* ECMA-262 3rd Edition 11.8.2 */
2955 HRESULT greater_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2957 binary_expression_t *expr = (binary_expression_t*)_expr;
2964 hres = get_binary_expr_values(ctx, expr, ei, &lval, &rval);
2968 hres = less_eval(ctx, &rval, &lval, FALSE, ei, &b);
2969 VariantClear(&lval);
2970 VariantClear(&rval);
2974 return return_bool(ret, b);
2977 /* ECMA-262 3rd Edition 11.8.4 */
2978 HRESULT greatereq_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
2980 binary_expression_t *expr = (binary_expression_t*)_expr;
2987 hres = get_binary_expr_values(ctx, expr, ei, &lval, &rval);
2991 hres = less_eval(ctx, &lval, &rval, TRUE, ei, &b);
2992 VariantClear(&lval);
2993 VariantClear(&rval);
2997 return return_bool(ret, b);
3000 /* ECMA-262 3rd Edition 11.4.8 */
3001 HRESULT interp_bneg(exec_ctx_t *ctx)
3010 hres = to_int32(ctx->parser->script, v, &ctx->ei, &i);
3017 return stack_push(ctx, &r);
3020 /* ECMA-262 3rd Edition 11.4.9 */
3021 HRESULT interp_neg(exec_ctx_t *ctx)
3030 hres = to_boolean(v, &b);
3035 return stack_push_bool(ctx, !b);
3038 /* ECMA-262 3rd Edition 11.7.1 */
3039 static HRESULT lshift_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
3045 hres = to_int32(ctx, lval, ei, &li);
3049 hres = to_uint32(ctx, rval, ei, &ri);
3054 V_I4(retv) = li << (ri&0x1f);
3058 /* ECMA-262 3rd Edition 11.7.1 */
3059 HRESULT left_shift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3061 binary_expression_t *expr = (binary_expression_t*)_expr;
3065 return binary_expr_eval(ctx, expr, lshift_eval, ei, ret);
3068 /* ECMA-262 3rd Edition 11.7.2 */
3069 static HRESULT rshift_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
3075 hres = to_int32(ctx, lval, ei, &li);
3079 hres = to_uint32(ctx, rval, ei, &ri);
3084 V_I4(retv) = li >> (ri&0x1f);
3088 /* ECMA-262 3rd Edition 11.7.2 */
3089 HRESULT right_shift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3091 binary_expression_t *expr = (binary_expression_t*)_expr;
3095 return binary_expr_eval(ctx, expr, rshift_eval, ei, ret);
3098 /* ECMA-262 3rd Edition 11.7.3 */
3099 static HRESULT rshift2_eval(script_ctx_t *ctx, VARIANT *lval, VARIANT *rval, jsexcept_t *ei, VARIANT *retv)
3104 hres = to_uint32(ctx, lval, ei, &li);
3108 hres = to_uint32(ctx, rval, ei, &ri);
3113 V_I4(retv) = li >> (ri&0x1f);
3117 /* ECMA-262 3rd Edition 11.7.3 */
3118 HRESULT right2_shift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3120 binary_expression_t *expr = (binary_expression_t*)_expr;
3124 return binary_expr_eval(ctx, expr, rshift2_eval, ei, ret);
3127 /* ECMA-262 3rd Edition 11.13.1 */
3128 HRESULT assign_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3130 binary_expression_t *expr = (binary_expression_t*)_expr;
3131 exprval_t exprval, exprvalr;
3137 hres = expr_eval(ctx, expr->expression1, EXPR_NEWREF, ei, &exprval);
3141 hres = expr_eval(ctx, expr->expression2, 0, ei, &exprvalr);
3142 if(SUCCEEDED(hres)) {
3143 hres = exprval_to_value(ctx, &exprvalr, ei, &rval);
3144 exprval_release(&exprvalr);
3147 if(SUCCEEDED(hres)) {
3148 hres = put_value(ctx, &exprval, &rval, ei);
3150 VariantClear(&rval);
3153 exprval_release(&exprval);
3157 ret->type = EXPRVAL_VARIANT;
3162 /* ECMA-262 3rd Edition 11.13.2 */
3163 HRESULT assign_lshift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3165 binary_expression_t *expr = (binary_expression_t*)_expr;
3169 return assign_oper_eval(ctx, expr->expression1, expr->expression2, lshift_eval, ei, ret);
3172 /* ECMA-262 3rd Edition 11.13.2 */
3173 HRESULT assign_rshift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3175 binary_expression_t *expr = (binary_expression_t*)_expr;
3179 return assign_oper_eval(ctx, expr->expression1, expr->expression2, rshift_eval, ei, ret);
3182 /* ECMA-262 3rd Edition 11.13.2 */
3183 HRESULT assign_rrshift_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3185 binary_expression_t *expr = (binary_expression_t*)_expr;
3189 return assign_oper_eval(ctx, expr->expression1, expr->expression2, rshift2_eval, ei, ret);
3192 /* ECMA-262 3rd Edition 11.13.2 */
3193 HRESULT assign_add_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3195 binary_expression_t *expr = (binary_expression_t*)_expr;
3199 return assign_oper_eval(ctx, expr->expression1, expr->expression2, add_eval, ei, ret);
3202 /* ECMA-262 3rd Edition 11.13.2 */
3203 HRESULT assign_sub_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3205 binary_expression_t *expr = (binary_expression_t*)_expr;
3209 return assign_oper_eval(ctx, expr->expression1, expr->expression2, sub_eval, ei, ret);
3212 /* ECMA-262 3rd Edition 11.13.2 */
3213 HRESULT assign_mul_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3215 binary_expression_t *expr = (binary_expression_t*)_expr;
3219 return assign_oper_eval(ctx, expr->expression1, expr->expression2, mul_eval, ei, ret);
3222 /* ECMA-262 3rd Edition 11.13.2 */
3223 HRESULT assign_div_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3225 binary_expression_t *expr = (binary_expression_t*)_expr;
3229 return assign_oper_eval(ctx, expr->expression1, expr->expression2, div_eval, ei, ret);
3232 /* ECMA-262 3rd Edition 11.13.2 */
3233 HRESULT assign_mod_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3235 binary_expression_t *expr = (binary_expression_t*)_expr;
3239 return assign_oper_eval(ctx, expr->expression1, expr->expression2, mod_eval, ei, ret);
3242 /* ECMA-262 3rd Edition 11.13.2 */
3243 HRESULT assign_and_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3245 binary_expression_t *expr = (binary_expression_t*)_expr;
3249 return assign_oper_eval(ctx, expr->expression1, expr->expression2, bitand_eval, ei, ret);
3252 /* ECMA-262 3rd Edition 11.13.2 */
3253 HRESULT assign_or_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3255 binary_expression_t *expr = (binary_expression_t*)_expr;
3259 return assign_oper_eval(ctx, expr->expression1, expr->expression2, bitor_eval, ei, ret);
3262 /* ECMA-262 3rd Edition 11.13.2 */
3263 HRESULT assign_xor_expression_eval(script_ctx_t *ctx, expression_t *_expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3265 binary_expression_t *expr = (binary_expression_t*)_expr;
3269 return assign_oper_eval(ctx, expr->expression1, expr->expression2, xor_eval, ei, ret);
3272 HRESULT interp_jmp(exec_ctx_t *ctx)
3274 const unsigned arg = ctx->parser->code->instrs[ctx->ip].arg1.uint;
3282 static HRESULT interp_pop(exec_ctx_t *ctx)
3290 static HRESULT interp_ret(exec_ctx_t *ctx)
3298 static HRESULT interp_tree(exec_ctx_t *ctx)
3300 instr_t *instr = ctx->parser->code->instrs+ctx->ip;
3307 hres = expr_eval(ctx->parser->script, instr->arg1.expr, 0, &ctx->ei, &val);
3311 hres = exprval_to_value(ctx->parser->script, &val, &ctx->ei, &v);
3312 exprval_release(&val);
3316 return stack_push(ctx, &v);
3319 typedef HRESULT (*op_func_t)(exec_ctx_t*);
3321 static const op_func_t op_funcs[] = {
3322 #define X(x,a,b,c) interp_##x,
3327 static const unsigned op_move[] = {
3328 #define X(a,x,b,c) x,
3333 HRESULT interp_expression_eval(script_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3335 exec_ctx_t *exec_ctx = ctx->exec_ctx;
3336 unsigned prev_ip, prev_top;
3338 HRESULT hres = S_OK;
3342 prev_top = exec_ctx->top;
3343 prev_ip = exec_ctx->ip;
3344 exec_ctx->ip = expr->instr_off;
3346 while(exec_ctx->ip != -1) {
3347 op = exec_ctx->parser->code->instrs[exec_ctx->ip].op;
3348 hres = op_funcs[op](exec_ctx);
3351 exec_ctx->ip += op_move[op];
3354 exec_ctx->ip = prev_ip;
3357 stack_popn(exec_ctx, exec_ctx->top-prev_top);
3359 memset(&exec_ctx->ei, 0, sizeof(exec_ctx->ei));
3363 assert(exec_ctx->top == prev_top+1);
3365 ret->type = EXPRVAL_VARIANT;
3366 ret->u.var = *stack_pop(exec_ctx);
3370 HRESULT compiled_expression_eval(script_ctx_t *ctx, expression_t *expr, DWORD flags, jsexcept_t *ei, exprval_t *ret)
3376 hres = compile_subscript(ctx->exec_ctx->parser, expr, &expr->instr_off);
3380 return (expr->eval = interp_expression_eval)(ctx, expr, flags, ei, ret);