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;
35 typedef struct _func_stack {
36 function_declaration_t *func_head;
37 function_declaration_t *func_tail;
41 struct _func_stack *next;
46 X(bool, 1, ARG_INT, 0) \
50 X(double, 1, ARG_SBL, 0) \
53 X(ident, 1, ARG_BSTR, 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) \
65 X(new, 1, ARG_INT, 0) \
69 X(regexp, 1, ARG_STR, ARG_INT) \
70 X(str, 1, ARG_STR, 0) \
73 X(tree, 1, ARG_EXPR, 0) \
80 #define X(x,a,b,c) OP_##x,
115 unsigned bstr_pool_size;
119 void release_bytecode(bytecode_t*);
121 typedef struct _compiler_ctx_t compiler_ctx_t;
123 void release_compiler(compiler_ctx_t*);
125 typedef struct _parser_ctx_t {
132 script_ctx_t *script;
133 source_elements_t *source;
141 func_stack_t *func_stack;
144 compiler_ctx_t *compiler;
146 struct _parser_ctx_t *next;
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;
152 int parser_lex(void*,parser_ctx_t*) DECLSPEC_HIDDEN;
154 static inline void parser_addref(parser_ctx_t *ctx)
159 static inline void *parser_alloc(parser_ctx_t *ctx, DWORD size)
161 return jsheap_alloc(&ctx->heap, size);
164 static inline void *parser_alloc_tmp(parser_ctx_t *ctx, DWORD size)
166 return jsheap_alloc(&ctx->script->tmp_heap, size);
169 typedef struct _scope_chain_t {
172 struct _scope_chain_t *next;
175 HRESULT scope_push(scope_chain_t*,jsdisp_t*,scope_chain_t**) DECLSPEC_HIDDEN;
176 void scope_release(scope_chain_t*) DECLSPEC_HIDDEN;
178 static inline void scope_addref(scope_chain_t *scope)
186 parser_ctx_t *parser;
187 scope_chain_t *scope_chain;
200 static inline void exec_addref(exec_ctx_t *ctx)
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;
209 typedef struct _statement_t statement_t;
210 typedef struct _parameter_t parameter_t;
212 HRESULT create_source_function(parser_ctx_t*,parameter_t*,source_elements_t*,scope_chain_t*,
213 const WCHAR*,DWORD,jsdisp_t**) DECLSPEC_HIDDEN;
239 literal_t *parse_regexp(parser_ctx_t*) DECLSPEC_HIDDEN;
240 literal_t *new_boolean_literal(parser_ctx_t*,VARIANT_BOOL) DECLSPEC_HIDDEN;
242 typedef struct _variable_declaration_t {
243 const WCHAR *identifier;
246 struct _variable_declaration_t *next;
247 } variable_declaration_t;
249 typedef struct _return_type_t return_type_t;
251 typedef HRESULT (*statement_eval_t)(script_ctx_t*,statement_t*,return_type_t*,VARIANT*);
253 struct _statement_t {
254 statement_eval_t eval;
260 statement_t *stat_list;
265 variable_declaration_t *variable_list;
271 } expression_statement_t;
276 statement_t *if_stat;
277 statement_t *else_stat;
284 statement_t *statement;
289 variable_declaration_t *variable_list;
290 expression_t *begin_expr;
292 expression_t *end_expr;
293 statement_t *statement;
298 variable_declaration_t *variable;
300 expression_t *in_expr;
301 statement_t *statement;
306 const WCHAR *identifier;
307 } branch_statement_t;
312 statement_t *statement;
317 const WCHAR *identifier;
318 statement_t *statement;
319 } labelled_statement_t;
321 typedef struct _case_clausule_t {
325 struct _case_clausule_t *next;
331 case_clausule_t *case_list;
332 } switch_statement_t;
335 const WCHAR *identifier;
336 statement_t *statement;
341 statement_t *try_statement;
342 catch_block_t *catch_block;
343 statement_t *finally_statement;
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;
440 typedef HRESULT (*expression_eval_t)(script_ctx_t*,expression_t*,DWORD,jsexcept_t*,exprval_t*);
442 struct _expression_t {
443 expression_type_t type;
444 expression_eval_t eval;
448 struct _parameter_t {
449 const WCHAR *identifier;
451 struct _parameter_t *next;
454 struct _source_elements_t {
455 statement_t *statement;
456 statement_t *statement_tail;
457 function_declaration_t *functions;
458 var_list_t *variables;
461 struct _function_expression_t {
463 const WCHAR *identifier;
464 parameter_t *parameter_list;
465 source_elements_t *source_elements;
466 const WCHAR *src_str;
472 expression_t *expression1;
473 expression_t *expression2;
474 } binary_expression_t;
478 expression_t *expression;
479 } unary_expression_t;
483 expression_t *expression;
484 expression_t *true_expression;
485 expression_t *false_expression;
486 } conditional_expression_t;
490 expression_t *member_expr;
491 expression_t *expression;
492 } array_expression_t;
496 expression_t *expression;
497 const WCHAR *identifier;
498 } member_expression_t;
500 typedef struct _argument_t {
503 struct _argument_t *next;
508 expression_t *expression;
509 argument_t *argument_list;
514 const WCHAR *identifier;
515 } identifier_expression_t;
520 } literal_expression_t;
522 typedef struct _array_element_t {
526 struct _array_element_t *next;
531 array_element_t *element_list;
533 } array_literal_expression_t;
535 typedef struct _prop_val_t {
539 struct _prop_val_t *next;
544 prop_val_t *property_list;
545 } property_value_expression_t;
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;
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;
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;