jscript: Use bytecode for '<=' expression implementation.
[wine/multimedia.git] / dlls / jscript / engine.h
blob8131b5f4aedbbd37da55667084e6ca7b6fa43087
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(delete, 1, 0,0) \
49 X(div, 1, 0,0) \
50 X(double, 1, ARG_SBL, 0) \
51 X(eq, 1, 0,0) \
52 X(eq2, 1, 0,0) \
53 X(ident, 1, ARG_BSTR, 0) \
54 X(in, 1, 0,0) \
55 X(int, 1, ARG_INT, 0) \
56 X(jmp, 0, ARG_ADDR, 0) \
57 X(jmp_nz, 0, ARG_ADDR, 0) \
58 X(jmp_z, 0, ARG_ADDR, 0) \
59 X(lt, 1, 0,0) \
60 X(lteq, 1, 0,0) \
61 X(minus, 1, 0,0) \
62 X(mod, 1, 0,0) \
63 X(mul, 1, 0,0) \
64 X(neg, 1, 0,0) \
65 X(neq, 1, 0,0) \
66 X(neq2, 1, 0,0) \
67 X(new, 1, ARG_INT, 0) \
68 X(null, 1, 0,0) \
69 X(or, 1, 0,0) \
70 X(pop, 1, 0,0) \
71 X(regexp, 1, ARG_STR, ARG_INT) \
72 X(str, 1, ARG_STR, 0) \
73 X(this, 1, 0,0) \
74 X(tonum, 1, 0,0) \
75 X(tree, 1, ARG_EXPR, 0) \
76 X(ret, 0, 0,0) \
77 X(sub, 1, 0,0) \
78 X(void, 1, 0,0) \
79 X(xor, 1, 0,0)
81 typedef enum {
82 #define X(x,a,b,c) OP_##x,
83 OP_LIST
84 #undef X
85 OP_LAST
86 } jsop_t;
88 typedef union {
89 expression_t *expr;
90 BSTR bstr;
91 double *dbl;
92 LONG lng;
93 WCHAR *str;
94 unsigned uint;
95 } instr_arg_t;
97 typedef enum {
98 ARG_NONE = 0,
99 ARG_ADDR,
100 ARG_BSTR,
101 ARG_EXPR,
102 ARG_INT,
103 ARG_STR
104 } instr_arg_type_t;
106 typedef struct {
107 jsop_t op;
108 instr_arg_t arg1;
109 instr_arg_t arg2;
110 } instr_t;
112 typedef struct {
113 instr_t *instrs;
114 jsheap_t heap;
116 BSTR *bstr_pool;
117 unsigned bstr_pool_size;
118 unsigned bstr_cnt;
119 } bytecode_t;
121 void release_bytecode(bytecode_t*);
123 typedef struct _compiler_ctx_t compiler_ctx_t;
125 void release_compiler(compiler_ctx_t*);
127 typedef struct _parser_ctx_t {
128 LONG ref;
130 WCHAR *begin;
131 const WCHAR *end;
132 const WCHAR *ptr;
134 script_ctx_t *script;
135 source_elements_t *source;
136 BOOL nl;
137 BOOL is_html;
138 BOOL lexer_error;
139 HRESULT hres;
141 jsheap_t heap;
143 func_stack_t *func_stack;
145 bytecode_t *code;
146 compiler_ctx_t *compiler;
148 struct _parser_ctx_t *next;
149 } parser_ctx_t;
151 HRESULT script_parse(script_ctx_t*,const WCHAR*,const WCHAR*,parser_ctx_t**) DECLSPEC_HIDDEN;
152 void parser_release(parser_ctx_t*) DECLSPEC_HIDDEN;
154 int parser_lex(void*,parser_ctx_t*) DECLSPEC_HIDDEN;
156 static inline void parser_addref(parser_ctx_t *ctx)
158 ctx->ref++;
161 static inline void *parser_alloc(parser_ctx_t *ctx, DWORD size)
163 return jsheap_alloc(&ctx->heap, size);
166 static inline void *parser_alloc_tmp(parser_ctx_t *ctx, DWORD size)
168 return jsheap_alloc(&ctx->script->tmp_heap, size);
171 typedef struct _scope_chain_t {
172 LONG ref;
173 jsdisp_t *obj;
174 struct _scope_chain_t *next;
175 } scope_chain_t;
177 HRESULT scope_push(scope_chain_t*,jsdisp_t*,scope_chain_t**) DECLSPEC_HIDDEN;
178 void scope_release(scope_chain_t*) DECLSPEC_HIDDEN;
180 static inline void scope_addref(scope_chain_t *scope)
182 scope->ref++;
185 struct _exec_ctx_t {
186 LONG ref;
188 parser_ctx_t *parser;
189 scope_chain_t *scope_chain;
190 jsdisp_t *var_disp;
191 IDispatch *this_obj;
192 BOOL is_global;
194 VARIANT *stack;
195 unsigned stack_size;
196 unsigned top;
198 unsigned ip;
199 jsexcept_t ei;
202 static inline void exec_addref(exec_ctx_t *ctx)
204 ctx->ref++;
207 void exec_release(exec_ctx_t*) DECLSPEC_HIDDEN;
208 HRESULT create_exec_ctx(script_ctx_t*,IDispatch*,jsdisp_t*,scope_chain_t*,BOOL,exec_ctx_t**) DECLSPEC_HIDDEN;
209 HRESULT exec_source(exec_ctx_t*,parser_ctx_t*,source_elements_t*,BOOL,jsexcept_t*,VARIANT*) DECLSPEC_HIDDEN;
211 typedef struct _statement_t statement_t;
212 typedef struct _parameter_t parameter_t;
214 HRESULT create_source_function(parser_ctx_t*,parameter_t*,source_elements_t*,scope_chain_t*,
215 const WCHAR*,DWORD,jsdisp_t**) DECLSPEC_HIDDEN;
217 typedef enum {
218 LT_INT,
219 LT_DOUBLE,
220 LT_STRING,
221 LT_BOOL,
222 LT_NULL,
223 LT_REGEXP
224 }literal_type_t;
226 typedef struct {
227 literal_type_t type;
228 union {
229 LONG lval;
230 double dval;
231 const WCHAR *wstr;
232 VARIANT_BOOL bval;
233 struct {
234 const WCHAR *str;
235 DWORD str_len;
236 DWORD flags;
237 } regexp;
238 } u;
239 } literal_t;
241 literal_t *parse_regexp(parser_ctx_t*) DECLSPEC_HIDDEN;
242 literal_t *new_boolean_literal(parser_ctx_t*,VARIANT_BOOL) DECLSPEC_HIDDEN;
244 typedef struct _variable_declaration_t {
245 const WCHAR *identifier;
246 expression_t *expr;
248 struct _variable_declaration_t *next;
249 } variable_declaration_t;
251 typedef struct _return_type_t return_type_t;
253 typedef HRESULT (*statement_eval_t)(script_ctx_t*,statement_t*,return_type_t*,VARIANT*);
255 struct _statement_t {
256 statement_eval_t eval;
257 statement_t *next;
260 typedef struct {
261 statement_t stat;
262 statement_t *stat_list;
263 } block_statement_t;
265 typedef struct {
266 statement_t stat;
267 variable_declaration_t *variable_list;
268 } var_statement_t;
270 typedef struct {
271 statement_t stat;
272 expression_t *expr;
273 } expression_statement_t;
275 typedef struct {
276 statement_t stat;
277 expression_t *expr;
278 statement_t *if_stat;
279 statement_t *else_stat;
280 } if_statement_t;
282 typedef struct {
283 statement_t stat;
284 BOOL do_while;
285 expression_t *expr;
286 statement_t *statement;
287 } while_statement_t;
289 typedef struct {
290 statement_t stat;
291 variable_declaration_t *variable_list;
292 expression_t *begin_expr;
293 expression_t *expr;
294 expression_t *end_expr;
295 statement_t *statement;
296 } for_statement_t;
298 typedef struct {
299 statement_t stat;
300 variable_declaration_t *variable;
301 expression_t *expr;
302 expression_t *in_expr;
303 statement_t *statement;
304 } forin_statement_t;
306 typedef struct {
307 statement_t stat;
308 const WCHAR *identifier;
309 } branch_statement_t;
311 typedef struct {
312 statement_t stat;
313 expression_t *expr;
314 statement_t *statement;
315 } with_statement_t;
317 typedef struct {
318 statement_t stat;
319 const WCHAR *identifier;
320 statement_t *statement;
321 } labelled_statement_t;
323 typedef struct _case_clausule_t {
324 expression_t *expr;
325 statement_t *stat;
327 struct _case_clausule_t *next;
328 } case_clausule_t;
330 typedef struct {
331 statement_t stat;
332 expression_t *expr;
333 case_clausule_t *case_list;
334 } switch_statement_t;
336 typedef struct {
337 const WCHAR *identifier;
338 statement_t *statement;
339 } catch_block_t;
341 typedef struct {
342 statement_t stat;
343 statement_t *try_statement;
344 catch_block_t *catch_block;
345 statement_t *finally_statement;
346 } try_statement_t;
348 HRESULT block_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
349 HRESULT var_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
350 HRESULT empty_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
351 HRESULT expression_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
352 HRESULT if_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
353 HRESULT while_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
354 HRESULT for_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
355 HRESULT forin_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
356 HRESULT continue_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
357 HRESULT break_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
358 HRESULT return_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
359 HRESULT with_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
360 HRESULT labelled_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
361 HRESULT switch_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
362 HRESULT throw_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
363 HRESULT try_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
365 typedef struct {
366 enum {
367 EXPRVAL_VARIANT,
368 EXPRVAL_IDREF,
369 EXPRVAL_INVALID
370 } type;
371 union {
372 VARIANT var;
373 struct {
374 IDispatch *disp;
375 DISPID id;
376 } idref;
377 BSTR identifier;
378 } u;
379 } exprval_t;
381 typedef enum {
382 EXPR_COMMA,
383 EXPR_OR,
384 EXPR_AND,
385 EXPR_BOR,
386 EXPR_BXOR,
387 EXPR_BAND,
388 EXPR_INSTANCEOF,
389 EXPR_IN,
390 EXPR_ADD,
391 EXPR_SUB,
392 EXPR_MUL,
393 EXPR_DIV,
394 EXPR_MOD,
395 EXPR_DELETE,
396 EXPR_VOID,
397 EXPR_TYPEOF,
398 EXPR_MINUS,
399 EXPR_PLUS,
400 EXPR_POSTINC,
401 EXPR_POSTDEC,
402 EXPR_PREINC,
403 EXPR_PREDEC,
404 EXPR_EQ,
405 EXPR_EQEQ,
406 EXPR_NOTEQ,
407 EXPR_NOTEQEQ,
408 EXPR_LESS,
409 EXPR_LESSEQ,
410 EXPR_GREATER,
411 EXPR_GREATEREQ,
412 EXPR_BITNEG,
413 EXPR_LOGNEG,
414 EXPR_LSHIFT,
415 EXPR_RSHIFT,
416 EXPR_RRSHIFT,
417 EXPR_ASSIGN,
418 EXPR_ASSIGNLSHIFT,
419 EXPR_ASSIGNRSHIFT,
420 EXPR_ASSIGNRRSHIFT,
421 EXPR_ASSIGNADD,
422 EXPR_ASSIGNSUB,
423 EXPR_ASSIGNMUL,
424 EXPR_ASSIGNDIV,
425 EXPR_ASSIGNMOD,
426 EXPR_ASSIGNAND,
427 EXPR_ASSIGNOR,
428 EXPR_ASSIGNXOR,
429 EXPR_COND,
430 EXPR_ARRAY,
431 EXPR_MEMBER,
432 EXPR_NEW,
433 EXPR_CALL,
434 EXPR_THIS,
435 EXPR_FUNC,
436 EXPR_IDENT,
437 EXPR_ARRAYLIT,
438 EXPR_PROPVAL,
439 EXPR_LITERAL
440 } expression_type_t;
442 typedef HRESULT (*expression_eval_t)(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*);
444 struct _expression_t {
445 expression_type_t type;
446 expression_eval_t eval;
447 unsigned instr_off;
450 struct _parameter_t {
451 const WCHAR *identifier;
453 struct _parameter_t *next;
456 struct _source_elements_t {
457 statement_t *statement;
458 statement_t *statement_tail;
459 function_declaration_t *functions;
460 var_list_t *variables;
463 struct _function_expression_t {
464 expression_t expr;
465 const WCHAR *identifier;
466 parameter_t *parameter_list;
467 source_elements_t *source_elements;
468 const WCHAR *src_str;
469 DWORD src_len;
472 typedef struct {
473 expression_t expr;
474 expression_t *expression1;
475 expression_t *expression2;
476 } binary_expression_t;
478 typedef struct {
479 expression_t expr;
480 expression_t *expression;
481 } unary_expression_t;
483 typedef struct {
484 expression_t expr;
485 expression_t *expression;
486 expression_t *true_expression;
487 expression_t *false_expression;
488 } conditional_expression_t;
490 typedef struct {
491 expression_t expr;
492 expression_t *member_expr;
493 expression_t *expression;
494 } array_expression_t;
496 typedef struct {
497 expression_t expr;
498 expression_t *expression;
499 const WCHAR *identifier;
500 } member_expression_t;
502 typedef struct _argument_t {
503 expression_t *expr;
505 struct _argument_t *next;
506 } argument_t;
508 typedef struct {
509 expression_t expr;
510 expression_t *expression;
511 argument_t *argument_list;
512 } call_expression_t;
514 typedef struct {
515 expression_t expr;
516 const WCHAR *identifier;
517 } identifier_expression_t;
519 typedef struct {
520 expression_t expr;
521 literal_t *literal;
522 } literal_expression_t;
524 typedef struct _array_element_t {
525 int elision;
526 expression_t *expr;
528 struct _array_element_t *next;
529 } array_element_t;
531 typedef struct {
532 expression_t expr;
533 array_element_t *element_list;
534 int length;
535 } array_literal_expression_t;
537 typedef struct _prop_val_t {
538 literal_t *name;
539 expression_t *value;
541 struct _prop_val_t *next;
542 } prop_val_t;
544 typedef struct {
545 expression_t expr;
546 prop_val_t *property_list;
547 } property_value_expression_t;
549 HRESULT function_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
550 HRESULT array_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
551 HRESULT member_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
552 HRESULT call_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
553 HRESULT identifier_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
554 HRESULT array_literal_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
555 HRESULT property_value_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
557 HRESULT binary_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
558 HRESULT instanceof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
559 HRESULT delete_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
560 HRESULT typeof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
561 HRESULT post_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
562 HRESULT post_decrement_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
563 HRESULT pre_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
564 HRESULT pre_decrement_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
565 HRESULT greater_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
566 HRESULT greatereq_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
567 HRESULT left_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
568 HRESULT right_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
569 HRESULT right2_shift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
570 HRESULT assign_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
571 HRESULT assign_lshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
572 HRESULT assign_rshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
573 HRESULT assign_rrshift_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
574 HRESULT assign_add_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
575 HRESULT assign_sub_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
576 HRESULT assign_mul_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
577 HRESULT assign_div_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
578 HRESULT assign_mod_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
579 HRESULT assign_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
580 HRESULT assign_or_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
581 HRESULT assign_xor_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
583 HRESULT compiled_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
585 HRESULT compile_subscript(parser_ctx_t*,expression_t*,unsigned*) DECLSPEC_HIDDEN;