jscript: Use bytecode for '>' expression implementation.
[wine/multimedia.git] / dlls / jscript / engine.h
blobc176180bbe8c551b2eec4d1870dceb265bd25c7d
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(gt, 1, 0,0) \
54 X(ident, 1, ARG_BSTR, 0) \
55 X(in, 1, 0,0) \
56 X(int, 1, ARG_INT, 0) \
57 X(jmp, 0, ARG_ADDR, 0) \
58 X(jmp_nz, 0, ARG_ADDR, 0) \
59 X(jmp_z, 0, ARG_ADDR, 0) \
60 X(lt, 1, 0,0) \
61 X(lteq, 1, 0,0) \
62 X(minus, 1, 0,0) \
63 X(mod, 1, 0,0) \
64 X(mul, 1, 0,0) \
65 X(neg, 1, 0,0) \
66 X(neq, 1, 0,0) \
67 X(neq2, 1, 0,0) \
68 X(new, 1, ARG_INT, 0) \
69 X(null, 1, 0,0) \
70 X(or, 1, 0,0) \
71 X(pop, 1, 0,0) \
72 X(regexp, 1, ARG_STR, ARG_INT) \
73 X(str, 1, ARG_STR, 0) \
74 X(this, 1, 0,0) \
75 X(tonum, 1, 0,0) \
76 X(tree, 1, ARG_EXPR, 0) \
77 X(ret, 0, 0,0) \
78 X(sub, 1, 0,0) \
79 X(void, 1, 0,0) \
80 X(xor, 1, 0,0)
82 typedef enum {
83 #define X(x,a,b,c) OP_##x,
84 OP_LIST
85 #undef X
86 OP_LAST
87 } jsop_t;
89 typedef union {
90 expression_t *expr;
91 BSTR bstr;
92 double *dbl;
93 LONG lng;
94 WCHAR *str;
95 unsigned uint;
96 } instr_arg_t;
98 typedef enum {
99 ARG_NONE = 0,
100 ARG_ADDR,
101 ARG_BSTR,
102 ARG_EXPR,
103 ARG_INT,
104 ARG_STR
105 } instr_arg_type_t;
107 typedef struct {
108 jsop_t op;
109 instr_arg_t arg1;
110 instr_arg_t arg2;
111 } instr_t;
113 typedef struct {
114 instr_t *instrs;
115 jsheap_t heap;
117 BSTR *bstr_pool;
118 unsigned bstr_pool_size;
119 unsigned bstr_cnt;
120 } bytecode_t;
122 void release_bytecode(bytecode_t*);
124 typedef struct _compiler_ctx_t compiler_ctx_t;
126 void release_compiler(compiler_ctx_t*);
128 typedef struct _parser_ctx_t {
129 LONG ref;
131 WCHAR *begin;
132 const WCHAR *end;
133 const WCHAR *ptr;
135 script_ctx_t *script;
136 source_elements_t *source;
137 BOOL nl;
138 BOOL is_html;
139 BOOL lexer_error;
140 HRESULT hres;
142 jsheap_t heap;
144 func_stack_t *func_stack;
146 bytecode_t *code;
147 compiler_ctx_t *compiler;
149 struct _parser_ctx_t *next;
150 } parser_ctx_t;
152 HRESULT script_parse(script_ctx_t*,const WCHAR*,const WCHAR*,parser_ctx_t**) DECLSPEC_HIDDEN;
153 void parser_release(parser_ctx_t*) DECLSPEC_HIDDEN;
155 int parser_lex(void*,parser_ctx_t*) DECLSPEC_HIDDEN;
157 static inline void parser_addref(parser_ctx_t *ctx)
159 ctx->ref++;
162 static inline void *parser_alloc(parser_ctx_t *ctx, DWORD size)
164 return jsheap_alloc(&ctx->heap, size);
167 static inline void *parser_alloc_tmp(parser_ctx_t *ctx, DWORD size)
169 return jsheap_alloc(&ctx->script->tmp_heap, size);
172 typedef struct _scope_chain_t {
173 LONG ref;
174 jsdisp_t *obj;
175 struct _scope_chain_t *next;
176 } scope_chain_t;
178 HRESULT scope_push(scope_chain_t*,jsdisp_t*,scope_chain_t**) DECLSPEC_HIDDEN;
179 void scope_release(scope_chain_t*) DECLSPEC_HIDDEN;
181 static inline void scope_addref(scope_chain_t *scope)
183 scope->ref++;
186 struct _exec_ctx_t {
187 LONG ref;
189 parser_ctx_t *parser;
190 scope_chain_t *scope_chain;
191 jsdisp_t *var_disp;
192 IDispatch *this_obj;
193 BOOL is_global;
195 VARIANT *stack;
196 unsigned stack_size;
197 unsigned top;
199 unsigned ip;
200 jsexcept_t ei;
203 static inline void exec_addref(exec_ctx_t *ctx)
205 ctx->ref++;
208 void exec_release(exec_ctx_t*) DECLSPEC_HIDDEN;
209 HRESULT create_exec_ctx(script_ctx_t*,IDispatch*,jsdisp_t*,scope_chain_t*,BOOL,exec_ctx_t**) DECLSPEC_HIDDEN;
210 HRESULT exec_source(exec_ctx_t*,parser_ctx_t*,source_elements_t*,BOOL,jsexcept_t*,VARIANT*) DECLSPEC_HIDDEN;
212 typedef struct _statement_t statement_t;
213 typedef struct _parameter_t parameter_t;
215 HRESULT create_source_function(parser_ctx_t*,parameter_t*,source_elements_t*,scope_chain_t*,
216 const WCHAR*,DWORD,jsdisp_t**) DECLSPEC_HIDDEN;
218 typedef enum {
219 LT_INT,
220 LT_DOUBLE,
221 LT_STRING,
222 LT_BOOL,
223 LT_NULL,
224 LT_REGEXP
225 }literal_type_t;
227 typedef struct {
228 literal_type_t type;
229 union {
230 LONG lval;
231 double dval;
232 const WCHAR *wstr;
233 VARIANT_BOOL bval;
234 struct {
235 const WCHAR *str;
236 DWORD str_len;
237 DWORD flags;
238 } regexp;
239 } u;
240 } literal_t;
242 literal_t *parse_regexp(parser_ctx_t*) DECLSPEC_HIDDEN;
243 literal_t *new_boolean_literal(parser_ctx_t*,VARIANT_BOOL) DECLSPEC_HIDDEN;
245 typedef struct _variable_declaration_t {
246 const WCHAR *identifier;
247 expression_t *expr;
249 struct _variable_declaration_t *next;
250 } variable_declaration_t;
252 typedef struct _return_type_t return_type_t;
254 typedef HRESULT (*statement_eval_t)(script_ctx_t*,statement_t*,return_type_t*,VARIANT*);
256 struct _statement_t {
257 statement_eval_t eval;
258 statement_t *next;
261 typedef struct {
262 statement_t stat;
263 statement_t *stat_list;
264 } block_statement_t;
266 typedef struct {
267 statement_t stat;
268 variable_declaration_t *variable_list;
269 } var_statement_t;
271 typedef struct {
272 statement_t stat;
273 expression_t *expr;
274 } expression_statement_t;
276 typedef struct {
277 statement_t stat;
278 expression_t *expr;
279 statement_t *if_stat;
280 statement_t *else_stat;
281 } if_statement_t;
283 typedef struct {
284 statement_t stat;
285 BOOL do_while;
286 expression_t *expr;
287 statement_t *statement;
288 } while_statement_t;
290 typedef struct {
291 statement_t stat;
292 variable_declaration_t *variable_list;
293 expression_t *begin_expr;
294 expression_t *expr;
295 expression_t *end_expr;
296 statement_t *statement;
297 } for_statement_t;
299 typedef struct {
300 statement_t stat;
301 variable_declaration_t *variable;
302 expression_t *expr;
303 expression_t *in_expr;
304 statement_t *statement;
305 } forin_statement_t;
307 typedef struct {
308 statement_t stat;
309 const WCHAR *identifier;
310 } branch_statement_t;
312 typedef struct {
313 statement_t stat;
314 expression_t *expr;
315 statement_t *statement;
316 } with_statement_t;
318 typedef struct {
319 statement_t stat;
320 const WCHAR *identifier;
321 statement_t *statement;
322 } labelled_statement_t;
324 typedef struct _case_clausule_t {
325 expression_t *expr;
326 statement_t *stat;
328 struct _case_clausule_t *next;
329 } case_clausule_t;
331 typedef struct {
332 statement_t stat;
333 expression_t *expr;
334 case_clausule_t *case_list;
335 } switch_statement_t;
337 typedef struct {
338 const WCHAR *identifier;
339 statement_t *statement;
340 } catch_block_t;
342 typedef struct {
343 statement_t stat;
344 statement_t *try_statement;
345 catch_block_t *catch_block;
346 statement_t *finally_statement;
347 } try_statement_t;
349 HRESULT block_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
350 HRESULT var_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
351 HRESULT empty_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
352 HRESULT expression_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
353 HRESULT if_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
354 HRESULT while_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
355 HRESULT for_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
356 HRESULT forin_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
357 HRESULT continue_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
358 HRESULT break_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
359 HRESULT return_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
360 HRESULT with_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
361 HRESULT labelled_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
362 HRESULT switch_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
363 HRESULT throw_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
364 HRESULT try_statement_eval(script_ctx_t*,statement_t*,return_type_t*,VARIANT*) DECLSPEC_HIDDEN;
366 typedef struct {
367 enum {
368 EXPRVAL_VARIANT,
369 EXPRVAL_IDREF,
370 EXPRVAL_INVALID
371 } type;
372 union {
373 VARIANT var;
374 struct {
375 IDispatch *disp;
376 DISPID id;
377 } idref;
378 BSTR identifier;
379 } u;
380 } exprval_t;
382 typedef enum {
383 EXPR_COMMA,
384 EXPR_OR,
385 EXPR_AND,
386 EXPR_BOR,
387 EXPR_BXOR,
388 EXPR_BAND,
389 EXPR_INSTANCEOF,
390 EXPR_IN,
391 EXPR_ADD,
392 EXPR_SUB,
393 EXPR_MUL,
394 EXPR_DIV,
395 EXPR_MOD,
396 EXPR_DELETE,
397 EXPR_VOID,
398 EXPR_TYPEOF,
399 EXPR_MINUS,
400 EXPR_PLUS,
401 EXPR_POSTINC,
402 EXPR_POSTDEC,
403 EXPR_PREINC,
404 EXPR_PREDEC,
405 EXPR_EQ,
406 EXPR_EQEQ,
407 EXPR_NOTEQ,
408 EXPR_NOTEQEQ,
409 EXPR_LESS,
410 EXPR_LESSEQ,
411 EXPR_GREATER,
412 EXPR_GREATEREQ,
413 EXPR_BITNEG,
414 EXPR_LOGNEG,
415 EXPR_LSHIFT,
416 EXPR_RSHIFT,
417 EXPR_RRSHIFT,
418 EXPR_ASSIGN,
419 EXPR_ASSIGNLSHIFT,
420 EXPR_ASSIGNRSHIFT,
421 EXPR_ASSIGNRRSHIFT,
422 EXPR_ASSIGNADD,
423 EXPR_ASSIGNSUB,
424 EXPR_ASSIGNMUL,
425 EXPR_ASSIGNDIV,
426 EXPR_ASSIGNMOD,
427 EXPR_ASSIGNAND,
428 EXPR_ASSIGNOR,
429 EXPR_ASSIGNXOR,
430 EXPR_COND,
431 EXPR_ARRAY,
432 EXPR_MEMBER,
433 EXPR_NEW,
434 EXPR_CALL,
435 EXPR_THIS,
436 EXPR_FUNC,
437 EXPR_IDENT,
438 EXPR_ARRAYLIT,
439 EXPR_PROPVAL,
440 EXPR_LITERAL
441 } expression_type_t;
443 typedef HRESULT (*expression_eval_t)(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*);
445 struct _expression_t {
446 expression_type_t type;
447 expression_eval_t eval;
448 unsigned instr_off;
451 struct _parameter_t {
452 const WCHAR *identifier;
454 struct _parameter_t *next;
457 struct _source_elements_t {
458 statement_t *statement;
459 statement_t *statement_tail;
460 function_declaration_t *functions;
461 var_list_t *variables;
464 struct _function_expression_t {
465 expression_t expr;
466 const WCHAR *identifier;
467 parameter_t *parameter_list;
468 source_elements_t *source_elements;
469 const WCHAR *src_str;
470 DWORD src_len;
473 typedef struct {
474 expression_t expr;
475 expression_t *expression1;
476 expression_t *expression2;
477 } binary_expression_t;
479 typedef struct {
480 expression_t expr;
481 expression_t *expression;
482 } unary_expression_t;
484 typedef struct {
485 expression_t expr;
486 expression_t *expression;
487 expression_t *true_expression;
488 expression_t *false_expression;
489 } conditional_expression_t;
491 typedef struct {
492 expression_t expr;
493 expression_t *member_expr;
494 expression_t *expression;
495 } array_expression_t;
497 typedef struct {
498 expression_t expr;
499 expression_t *expression;
500 const WCHAR *identifier;
501 } member_expression_t;
503 typedef struct _argument_t {
504 expression_t *expr;
506 struct _argument_t *next;
507 } argument_t;
509 typedef struct {
510 expression_t expr;
511 expression_t *expression;
512 argument_t *argument_list;
513 } call_expression_t;
515 typedef struct {
516 expression_t expr;
517 const WCHAR *identifier;
518 } identifier_expression_t;
520 typedef struct {
521 expression_t expr;
522 literal_t *literal;
523 } literal_expression_t;
525 typedef struct _array_element_t {
526 int elision;
527 expression_t *expr;
529 struct _array_element_t *next;
530 } array_element_t;
532 typedef struct {
533 expression_t expr;
534 array_element_t *element_list;
535 int length;
536 } array_literal_expression_t;
538 typedef struct _prop_val_t {
539 literal_t *name;
540 expression_t *value;
542 struct _prop_val_t *next;
543 } prop_val_t;
545 typedef struct {
546 expression_t expr;
547 prop_val_t *property_list;
548 } property_value_expression_t;
550 HRESULT function_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
551 HRESULT array_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
552 HRESULT member_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
553 HRESULT call_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
554 HRESULT identifier_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
555 HRESULT array_literal_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
556 HRESULT property_value_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
558 HRESULT binary_and_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
559 HRESULT instanceof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
560 HRESULT delete_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
561 HRESULT typeof_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
562 HRESULT post_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
563 HRESULT post_decrement_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
564 HRESULT pre_increment_expression_eval(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*) DECLSPEC_HIDDEN;
565 HRESULT pre_decrement_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;