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