jscript: Use bytecode for '-' expression implementation.
[wine/multimedia.git] / dlls / jscript / engine.h
blob736fe5ac0589aa88e9498eef5f84879e6be0e296
1 /*
2 * Copyright 2008 Jacek Caban for CodeWeavers
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2.1 of the License, or (at your option) any later version.
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
19 typedef struct _source_elements_t source_elements_t;
20 typedef struct _function_expression_t function_expression_t;
21 typedef struct _expression_t expression_t;
23 typedef struct _function_declaration_t {
24 function_expression_t *expr;
26 struct _function_declaration_t *next;
27 } function_declaration_t;
29 typedef struct _var_list_t {
30 const WCHAR *identifier;
32 struct _var_list_t *next;
33 } var_list_t;
35 typedef struct _func_stack {
36 function_declaration_t *func_head;
37 function_declaration_t *func_tail;
38 var_list_t *var_head;
39 var_list_t *var_tail;
41 struct _func_stack *next;
42 } func_stack_t;
44 #define OP_LIST \
45 X(add, 1, 0,0) \
46 X(bool, 1, ARG_INT, 0) \
47 X(bneg, 1, 0,0) \
48 X(double, 1, ARG_SBL, 0) \
49 X(eq2, 1, 0,0) \
50 X(in, 1, 0,0) \
51 X(int, 1, ARG_INT, 0) \
52 X(neg, 1, 0,0) \
53 X(neq2, 1, 0,0) \
54 X(null, 1, 0,0) \
55 X(pop, 1, 0,0) \
56 X(regexp, 1, ARG_STR, ARG_INT) \
57 X(str, 1, ARG_STR, 0) \
58 X(this, 1, 0,0) \
59 X(tonum, 1, 0,0) \
60 X(tree, 1, ARG_EXPR, 0) \
61 X(ret, 0, 0,0) \
62 X(sub, 1, 0,0) \
63 X(void, 1, 0,0)
65 typedef enum {
66 #define X(x,a,b,c) OP_##x,
67 OP_LIST
68 #undef X
69 OP_LAST
70 } jsop_t;
72 typedef union {
73 expression_t *expr;
74 double *dbl;
75 LONG lng;
76 WCHAR *str;
77 } instr_arg_t;
79 typedef enum {
80 ARG_NONE = 0,
81 ARG_EXPR,
82 ARG_INT
83 } instr_arg_type_t;
85 typedef struct {
86 jsop_t op;
87 instr_arg_t arg1;
88 instr_arg_t arg2;
89 } instr_t;
91 typedef struct {
92 instr_t *instrs;
93 jsheap_t heap;
94 } bytecode_t;
96 void release_bytecode(bytecode_t*);
98 typedef struct _compiler_ctx_t compiler_ctx_t;
100 void release_compiler(compiler_ctx_t*);
102 typedef struct _parser_ctx_t {
103 LONG ref;
105 WCHAR *begin;
106 const WCHAR *end;
107 const WCHAR *ptr;
109 script_ctx_t *script;
110 source_elements_t *source;
111 BOOL nl;
112 BOOL is_html;
113 BOOL lexer_error;
114 HRESULT hres;
116 jsheap_t heap;
118 func_stack_t *func_stack;
120 bytecode_t *code;
121 compiler_ctx_t *compiler;
123 struct _parser_ctx_t *next;
124 } parser_ctx_t;
126 HRESULT script_parse(script_ctx_t*,const WCHAR*,const WCHAR*,parser_ctx_t**) DECLSPEC_HIDDEN;
127 void parser_release(parser_ctx_t*) DECLSPEC_HIDDEN;
129 int parser_lex(void*,parser_ctx_t*) DECLSPEC_HIDDEN;
131 static inline void parser_addref(parser_ctx_t *ctx)
133 ctx->ref++;
136 static inline void *parser_alloc(parser_ctx_t *ctx, DWORD size)
138 return jsheap_alloc(&ctx->heap, size);
141 static inline void *parser_alloc_tmp(parser_ctx_t *ctx, DWORD size)
143 return jsheap_alloc(&ctx->script->tmp_heap, size);
146 typedef struct _scope_chain_t {
147 LONG ref;
148 jsdisp_t *obj;
149 struct _scope_chain_t *next;
150 } scope_chain_t;
152 HRESULT scope_push(scope_chain_t*,jsdisp_t*,scope_chain_t**) DECLSPEC_HIDDEN;
153 void scope_release(scope_chain_t*) DECLSPEC_HIDDEN;
155 static inline void scope_addref(scope_chain_t *scope)
157 scope->ref++;
160 struct _exec_ctx_t {
161 LONG ref;
163 parser_ctx_t *parser;
164 scope_chain_t *scope_chain;
165 jsdisp_t *var_disp;
166 IDispatch *this_obj;
167 BOOL is_global;
169 VARIANT *stack;
170 unsigned stack_size;
171 unsigned top;
173 unsigned ip;
174 jsexcept_t ei;
177 static inline void exec_addref(exec_ctx_t *ctx)
179 ctx->ref++;
182 void exec_release(exec_ctx_t*) DECLSPEC_HIDDEN;
183 HRESULT create_exec_ctx(script_ctx_t*,IDispatch*,jsdisp_t*,scope_chain_t*,BOOL,exec_ctx_t**) DECLSPEC_HIDDEN;
184 HRESULT exec_source(exec_ctx_t*,parser_ctx_t*,source_elements_t*,BOOL,jsexcept_t*,VARIANT*) DECLSPEC_HIDDEN;
186 typedef struct _statement_t statement_t;
187 typedef struct _parameter_t parameter_t;
189 HRESULT create_source_function(parser_ctx_t*,parameter_t*,source_elements_t*,scope_chain_t*,
190 const WCHAR*,DWORD,jsdisp_t**) DECLSPEC_HIDDEN;
192 typedef enum {
193 LT_INT,
194 LT_DOUBLE,
195 LT_STRING,
196 LT_BOOL,
197 LT_NULL,
198 LT_REGEXP
199 }literal_type_t;
201 typedef struct {
202 literal_type_t type;
203 union {
204 LONG lval;
205 double dval;
206 const WCHAR *wstr;
207 VARIANT_BOOL bval;
208 struct {
209 const WCHAR *str;
210 DWORD str_len;
211 DWORD flags;
212 } regexp;
213 } u;
214 } literal_t;
216 literal_t *parse_regexp(parser_ctx_t*) DECLSPEC_HIDDEN;
217 literal_t *new_boolean_literal(parser_ctx_t*,VARIANT_BOOL) DECLSPEC_HIDDEN;
219 typedef struct _variable_declaration_t {
220 const WCHAR *identifier;
221 expression_t *expr;
223 struct _variable_declaration_t *next;
224 } variable_declaration_t;
226 typedef struct _return_type_t return_type_t;
228 typedef HRESULT (*statement_eval_t)(script_ctx_t*,statement_t*,return_type_t*,VARIANT*);
230 struct _statement_t {
231 statement_eval_t eval;
232 statement_t *next;
235 typedef struct {
236 statement_t stat;
237 statement_t *stat_list;
238 } block_statement_t;
240 typedef struct {
241 statement_t stat;
242 variable_declaration_t *variable_list;
243 } var_statement_t;
245 typedef struct {
246 statement_t stat;
247 expression_t *expr;
248 } expression_statement_t;
250 typedef struct {
251 statement_t stat;
252 expression_t *expr;
253 statement_t *if_stat;
254 statement_t *else_stat;
255 } if_statement_t;
257 typedef struct {
258 statement_t stat;
259 BOOL do_while;
260 expression_t *expr;
261 statement_t *statement;
262 } while_statement_t;
264 typedef struct {
265 statement_t stat;
266 variable_declaration_t *variable_list;
267 expression_t *begin_expr;
268 expression_t *expr;
269 expression_t *end_expr;
270 statement_t *statement;
271 } for_statement_t;
273 typedef struct {
274 statement_t stat;
275 variable_declaration_t *variable;
276 expression_t *expr;
277 expression_t *in_expr;
278 statement_t *statement;
279 } forin_statement_t;
281 typedef struct {
282 statement_t stat;
283 const WCHAR *identifier;
284 } branch_statement_t;
286 typedef struct {
287 statement_t stat;
288 expression_t *expr;
289 statement_t *statement;
290 } with_statement_t;
292 typedef struct {
293 statement_t stat;
294 const WCHAR *identifier;
295 statement_t *statement;
296 } labelled_statement_t;
298 typedef struct _case_clausule_t {
299 expression_t *expr;
300 statement_t *stat;
302 struct _case_clausule_t *next;
303 } case_clausule_t;
305 typedef struct {
306 statement_t stat;
307 expression_t *expr;
308 case_clausule_t *case_list;
309 } switch_statement_t;
311 typedef struct {
312 const WCHAR *identifier;
313 statement_t *statement;
314 } catch_block_t;
316 typedef struct {
317 statement_t stat;
318 statement_t *try_statement;
319 catch_block_t *catch_block;
320 statement_t *finally_statement;
321 } try_statement_t;
323 HRESULT block_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
324 HRESULT var_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
325 HRESULT empty_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
326 HRESULT expression_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
327 HRESULT if_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
328 HRESULT while_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
329 HRESULT for_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
330 HRESULT forin_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
331 HRESULT continue_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
332 HRESULT break_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
333 HRESULT return_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
334 HRESULT with_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
335 HRESULT labelled_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
336 HRESULT switch_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
337 HRESULT throw_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
338 HRESULT try_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
340 typedef struct {
341 enum {
342 EXPRVAL_VARIANT,
343 EXPRVAL_IDREF,
344 EXPRVAL_NAMEREF,
345 EXPRVAL_INVALID
346 } type;
347 union {
348 VARIANT var;
349 struct {
350 IDispatch *disp;
351 DISPID id;
352 } idref;
353 struct {
354 IDispatch *disp;
355 BSTR name;
356 } nameref;
357 BSTR identifier;
358 } u;
359 } exprval_t;
361 typedef enum {
362 EXPR_COMMA,
363 EXPR_OR,
364 EXPR_AND,
365 EXPR_BOR,
366 EXPR_BXOR,
367 EXPR_BAND,
368 EXPR_INSTANCEOF,
369 EXPR_IN,
370 EXPR_ADD,
371 EXPR_SUB,
372 EXPR_MUL,
373 EXPR_DIV,
374 EXPR_MOD,
375 EXPR_DELETE,
376 EXPR_VOID,
377 EXPR_TYPEOF,
378 EXPR_MINUS,
379 EXPR_PLUS,
380 EXPR_POSTINC,
381 EXPR_POSTDEC,
382 EXPR_PREINC,
383 EXPR_PREDEC,
384 EXPR_EQ,
385 EXPR_EQEQ,
386 EXPR_NOTEQ,
387 EXPR_NOTEQEQ,
388 EXPR_LESS,
389 EXPR_LESSEQ,
390 EXPR_GREATER,
391 EXPR_GREATEREQ,
392 EXPR_BITNEG,
393 EXPR_LOGNEG,
394 EXPR_LSHIFT,
395 EXPR_RSHIFT,
396 EXPR_RRSHIFT,
397 EXPR_ASSIGN,
398 EXPR_ASSIGNLSHIFT,
399 EXPR_ASSIGNRSHIFT,
400 EXPR_ASSIGNRRSHIFT,
401 EXPR_ASSIGNADD,
402 EXPR_ASSIGNSUB,
403 EXPR_ASSIGNMUL,
404 EXPR_ASSIGNDIV,
405 EXPR_ASSIGNMOD,
406 EXPR_ASSIGNAND,
407 EXPR_ASSIGNOR,
408 EXPR_ASSIGNXOR,
409 EXPR_COND,
410 EXPR_ARRAY,
411 EXPR_MEMBER,
412 EXPR_NEW,
413 EXPR_CALL,
414 EXPR_THIS,
415 EXPR_FUNC,
416 EXPR_IDENT,
417 EXPR_ARRAYLIT,
418 EXPR_PROPVAL,
419 EXPR_LITERAL
420 } expression_type_t;
422 typedef HRESULT (*expression_eval_t)(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*);
424 struct _expression_t {
425 expression_type_t type;
426 expression_eval_t eval;
427 unsigned instr_off;
430 struct _parameter_t {
431 const WCHAR *identifier;
433 struct _parameter_t *next;
436 struct _source_elements_t {
437 statement_t *statement;
438 statement_t *statement_tail;
439 function_declaration_t *functions;
440 var_list_t *variables;
443 struct _function_expression_t {
444 expression_t expr;
445 const WCHAR *identifier;
446 parameter_t *parameter_list;
447 source_elements_t *source_elements;
448 const WCHAR *src_str;
449 DWORD src_len;
452 typedef struct {
453 expression_t expr;
454 expression_t *expression1;
455 expression_t *expression2;
456 } binary_expression_t;
458 typedef struct {
459 expression_t expr;
460 expression_t *expression;
461 } unary_expression_t;
463 typedef struct {
464 expression_t expr;
465 expression_t *expression;
466 expression_t *true_expression;
467 expression_t *false_expression;
468 } conditional_expression_t;
470 typedef struct {
471 expression_t expr;
472 expression_t *member_expr;
473 expression_t *expression;
474 } array_expression_t;
476 typedef struct {
477 expression_t expr;
478 expression_t *expression;
479 const WCHAR *identifier;
480 } member_expression_t;
482 typedef struct _argument_t {
483 expression_t *expr;
485 struct _argument_t *next;
486 } argument_t;
488 typedef struct {
489 expression_t expr;
490 expression_t *expression;
491 argument_t *argument_list;
492 } call_expression_t;
494 typedef struct {
495 expression_t expr;
496 const WCHAR *identifier;
497 } identifier_expression_t;
499 typedef struct {
500 expression_t expr;
501 literal_t *literal;
502 } literal_expression_t;
504 typedef struct _array_element_t {
505 int elision;
506 expression_t *expr;
508 struct _array_element_t *next;
509 } array_element_t;
511 typedef struct {
512 expression_t expr;
513 array_element_t *element_list;
514 int length;
515 } array_literal_expression_t;
517 typedef struct _prop_val_t {
518 literal_t *name;
519 expression_t *value;
521 struct _prop_val_t *next;
522 } prop_val_t;
524 typedef struct {
525 expression_t expr;
526 prop_val_t *property_list;
527 } property_value_expression_t;
529 HRESULT function_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
530 HRESULT conditional_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
531 HRESULT array_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
532 HRESULT member_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
533 HRESULT new_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
534 HRESULT call_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
535 HRESULT identifier_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
536 HRESULT array_literal_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
537 HRESULT property_value_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
539 HRESULT logical_or_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
540 HRESULT logical_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
541 HRESULT binary_or_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
542 HRESULT binary_xor_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
543 HRESULT binary_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
544 HRESULT instanceof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
545 HRESULT mul_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
546 HRESULT div_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
547 HRESULT mod_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
548 HRESULT delete_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
549 HRESULT typeof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
550 HRESULT minus_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
551 HRESULT post_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
552 HRESULT post_decrement_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
553 HRESULT pre_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
554 HRESULT pre_decrement_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
555 HRESULT equal_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
556 HRESULT not_equal_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
557 HRESULT less_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
558 HRESULT lesseq_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
559 HRESULT greater_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
560 HRESULT greatereq_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
561 HRESULT left_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
562 HRESULT right_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
563 HRESULT right2_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
564 HRESULT assign_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
565 HRESULT assign_lshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
566 HRESULT assign_rshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
567 HRESULT assign_rrshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
568 HRESULT assign_add_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
569 HRESULT assign_sub_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
570 HRESULT assign_mul_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
571 HRESULT assign_div_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
572 HRESULT assign_mod_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
573 HRESULT assign_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
574 HRESULT assign_or_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
575 HRESULT assign_xor_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
577 HRESULT compiled_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
579 HRESULT compile_subscript(parser_ctx_t*,expression_t*,unsigned*) DECLSPEC_HIDDEN;