d3d9: Surfaces always have resource type WINED3DRTYPE_SURFACE.
[wine] / dlls / jscript / parser.y
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 %{
20
21 #include "jscript.h"
22 #include "engine.h"
23
24 #define YYLEX_PARAM ctx
25 #define YYPARSE_PARAM ctx
26
27 static int parser_error(const char*);
28 static void set_error(parser_ctx_t*,UINT);
29 static BOOL explicit_error(parser_ctx_t*,void*,WCHAR);
30 static BOOL allow_auto_semicolon(parser_ctx_t*);
31 static void program_parsed(parser_ctx_t*,source_elements_t*);
32 static source_elements_t *function_body_parsed(parser_ctx_t*,source_elements_t*);
33
34 typedef struct _statement_list_t {
35     statement_t *head;
36     statement_t *tail;
37 } statement_list_t;
38
39 static literal_t *new_string_literal(parser_ctx_t*,const WCHAR*);
40 static literal_t *new_null_literal(parser_ctx_t*);
41
42 typedef struct _property_list_t {
43     prop_val_t *head;
44     prop_val_t *tail;
45 } property_list_t;
46
47 static property_list_t *new_property_list(parser_ctx_t*,literal_t*,expression_t*);
48 static property_list_t *property_list_add(parser_ctx_t*,property_list_t*,literal_t*,expression_t*);
49
50 typedef struct _element_list_t {
51     array_element_t *head;
52     array_element_t *tail;
53 } element_list_t;
54
55 static element_list_t *new_element_list(parser_ctx_t*,int,expression_t*);
56 static element_list_t *element_list_add(parser_ctx_t*,element_list_t*,int,expression_t*);
57
58 typedef struct _argument_list_t {
59     argument_t *head;
60     argument_t *tail;
61 } argument_list_t;
62
63 static argument_list_t *new_argument_list(parser_ctx_t*,expression_t*);
64 static argument_list_t *argument_list_add(parser_ctx_t*,argument_list_t*,expression_t*);
65
66 typedef struct _case_list_t {
67     case_clausule_t *head;
68     case_clausule_t *tail;
69 } case_list_t;
70
71 static catch_block_t *new_catch_block(parser_ctx_t*,const WCHAR*,statement_t*);
72 static case_clausule_t *new_case_clausule(parser_ctx_t*,expression_t*,statement_list_t*);
73 static case_list_t *new_case_list(parser_ctx_t*,case_clausule_t*);
74 static case_list_t *case_list_add(parser_ctx_t*,case_list_t*,case_clausule_t*);
75 static case_clausule_t *new_case_block(parser_ctx_t*,case_list_t*,case_clausule_t*,case_list_t*);
76
77 typedef struct _variable_list_t {
78     variable_declaration_t *head;
79     variable_declaration_t *tail;
80 } variable_list_t;
81
82 static variable_declaration_t *new_variable_declaration(parser_ctx_t*,const WCHAR*,expression_t*);
83 static variable_list_t *new_variable_list(parser_ctx_t*,variable_declaration_t*);
84 static variable_list_t *variable_list_add(parser_ctx_t*,variable_list_t*,variable_declaration_t*);
85
86 static statement_t *new_block_statement(parser_ctx_t*,statement_list_t*);
87 static statement_t *new_var_statement(parser_ctx_t*,variable_list_t*);
88 static statement_t *new_empty_statement(parser_ctx_t*);
89 static statement_t *new_expression_statement(parser_ctx_t*,expression_t*);
90 static statement_t *new_if_statement(parser_ctx_t*,expression_t*,statement_t*,statement_t*);
91 static statement_t *new_while_statement(parser_ctx_t*,BOOL,expression_t*,statement_t*);
92 static statement_t *new_for_statement(parser_ctx_t*,variable_list_t*,expression_t*,expression_t*,
93         expression_t*,statement_t*);
94 static statement_t *new_forin_statement(parser_ctx_t*,variable_declaration_t*,expression_t*,expression_t*,statement_t*);
95 static statement_t *new_continue_statement(parser_ctx_t*,const WCHAR*);
96 static statement_t *new_break_statement(parser_ctx_t*,const WCHAR*);
97 static statement_t *new_return_statement(parser_ctx_t*,expression_t*);
98 static statement_t *new_with_statement(parser_ctx_t*,expression_t*,statement_t*);
99 static statement_t *new_labelled_statement(parser_ctx_t*,const WCHAR*,statement_t*);
100 static statement_t *new_switch_statement(parser_ctx_t*,expression_t*,case_clausule_t*);
101 static statement_t *new_throw_statement(parser_ctx_t*,expression_t*);
102 static statement_t *new_try_statement(parser_ctx_t*,statement_t*,catch_block_t*,statement_t*);
103
104 struct statement_list_t {
105    statement_t *head;
106    statement_t *tail;
107 };
108
109 static statement_list_t *new_statement_list(parser_ctx_t*,statement_t*);
110 static statement_list_t *statement_list_add(statement_list_t*,statement_t*);
111
112 typedef struct _parameter_list_t {
113     parameter_t *head;
114     parameter_t *tail;
115 } parameter_list_t;
116
117 static parameter_list_t *new_parameter_list(parser_ctx_t*,const WCHAR*);
118 static parameter_list_t *parameter_list_add(parser_ctx_t*,parameter_list_t*,const WCHAR*);
119
120 static void push_func(parser_ctx_t*);
121 static inline void pop_func(parser_ctx_t *ctx)
122 {
123     ctx->func_stack = ctx->func_stack->next;
124 }
125
126 static expression_t *new_function_expression(parser_ctx_t*,const WCHAR*,parameter_list_t*,
127         source_elements_t*,const WCHAR*,DWORD);
128 static expression_t *new_binary_expression(parser_ctx_t*,expression_type_t,expression_t*,expression_t*);
129 static expression_t *new_unary_expression(parser_ctx_t*,expression_type_t,expression_t*);
130 static expression_t *new_conditional_expression(parser_ctx_t*,expression_t*,expression_t*,expression_t*);
131 static expression_t *new_array_expression(parser_ctx_t*,expression_t*,expression_t*);
132 static expression_t *new_member_expression(parser_ctx_t*,expression_t*,const WCHAR*);
133 static expression_t *new_new_expression(parser_ctx_t*,expression_t*,argument_list_t*);
134 static expression_t *new_call_expression(parser_ctx_t*,expression_t*,argument_list_t*);
135 static expression_t *new_this_expression(parser_ctx_t*);
136 static expression_t *new_identifier_expression(parser_ctx_t*,const WCHAR*);
137 static expression_t *new_literal_expression(parser_ctx_t*,literal_t*);
138 static expression_t *new_array_literal_expression(parser_ctx_t*,element_list_t*,int);
139 static expression_t *new_prop_and_value_expression(parser_ctx_t*,property_list_t*);
140
141 static source_elements_t *new_source_elements(parser_ctx_t*);
142 static source_elements_t *source_elements_add_statement(source_elements_t*,statement_t*);
143
144 %}
145
146 %pure_parser
147 %start Program
148
149 %union {
150     int                     ival;
151     const WCHAR             *srcptr;
152     LPCWSTR                 wstr;
153     literal_t               *literal;
154     struct _argument_list_t *argument_list;
155     case_clausule_t         *case_clausule;
156     struct _case_list_t     *case_list;
157     catch_block_t           *catch_block;
158     struct _element_list_t  *element_list;
159     expression_t            *expr;
160     const WCHAR            *identifier;
161     struct _parameter_list_t *parameter_list;
162     struct _property_list_t *property_list;
163     source_elements_t       *source_elements;
164     statement_t             *statement;
165     struct _statement_list_t *statement_list;
166     struct _variable_list_t *variable_list;
167     variable_declaration_t  *variable_declaration;
168 }
169
170 /* keywords */
171 %token kBREAK kCASE kCATCH kCONTINUE kDEFAULT kDELETE kDO kELSE kIF kFINALLY kFOR kIN
172 %token kINSTANCEOF kNEW kNULL kRETURN kSWITCH kTHIS kTHROW kTRUE kFALSE kTRY kTYPEOF kVAR kVOID kWHILE kWITH
173 %token tANDAND tOROR tINC tDEC tHTMLCOMMENT kDIVEQ
174
175 %token <srcptr> kFUNCTION '}'
176
177 /* tokens */
178 %token <identifier> tIdentifier
179 %token <ival> tAssignOper tEqOper tShiftOper tRelOper
180 %token <literal> tNumericLiteral tBooleanLiteral
181 %token <wstr> tStringLiteral
182 %token tEOF
183
184 %type <source_elements> SourceElements
185 %type <source_elements> FunctionBody
186 %type <statement> Statement
187 %type <statement> Block
188 %type <statement> VariableStatement
189 %type <statement> EmptyStatement
190 %type <statement> ExpressionStatement
191 %type <statement> IfStatement
192 %type <statement> IterationStatement
193 %type <statement> ContinueStatement
194 %type <statement> BreakStatement
195 %type <statement> ReturnStatement
196 %type <statement> WithStatement
197 %type <statement> LabelledStatement
198 %type <statement> SwitchStatement
199 %type <statement> ThrowStatement
200 %type <statement> TryStatement
201 %type <statement> Finally
202 %type <statement_list> StatementList StatementList_opt
203 %type <parameter_list> FormalParameterList FormalParameterList_opt
204 %type <expr> Expression Expression_opt Expression_err
205 %type <expr> ExpressionNoIn ExpressionNoIn_opt
206 %type <expr> FunctionExpression
207 %type <expr> AssignmentExpression AssignmentExpressionNoIn
208 %type <expr> ConditionalExpression ConditionalExpressionNoIn
209 %type <expr> LeftHandSideExpression
210 %type <expr> LogicalORExpression LogicalORExpressionNoIn
211 %type <expr> LogicalANDExpression LogicalANDExpressionNoIn
212 %type <expr> BitwiseORExpression BitwiseORExpressionNoIn
213 %type <expr> BitwiseXORExpression BitwiseXORExpressionNoIn
214 %type <expr> BitwiseANDExpression BitwiseANDExpressionNoIn
215 %type <expr> EqualityExpression EqualityExpressionNoIn
216 %type <expr> RelationalExpression RelationalExpressionNoIn
217 %type <expr> ShiftExpression
218 %type <expr> AdditiveExpression
219 %type <expr> MultiplicativeExpression
220 %type <expr> Initialiser_opt Initialiser
221 %type <expr> InitialiserNoIn_opt InitialiserNoIn
222 %type <expr> UnaryExpression
223 %type <expr> PostfixExpression
224 %type <expr> NewExpression
225 %type <expr> CallExpression
226 %type <expr> MemberExpression
227 %type <expr> PrimaryExpression
228 %type <identifier> Identifier_opt
229 %type <variable_list> VariableDeclarationList
230 %type <variable_list> VariableDeclarationListNoIn
231 %type <variable_declaration> VariableDeclaration
232 %type <variable_declaration> VariableDeclarationNoIn
233 %type <case_list> CaseClausules CaseClausules_opt
234 %type <case_clausule> CaseClausule DefaultClausule CaseBlock
235 %type <catch_block> Catch
236 %type <argument_list> Arguments
237 %type <argument_list> ArgumentList
238 %type <literal> Literal
239 %type <expr> ArrayLiteral
240 %type <expr> ObjectLiteral
241 %type <ival> Elision Elision_opt
242 %type <element_list> ElementList
243 %type <property_list> PropertyNameAndValueList
244 %type <literal> PropertyName
245 %type <literal> BooleanLiteral
246 %type <srcptr> KFunction
247 %type <ival> AssignOper
248
249 %nonassoc LOWER_THAN_ELSE
250 %nonassoc kELSE
251
252 %%
253
254 /* ECMA-262 3rd Edition    14 */
255 Program
256        : SourceElements HtmlComment tEOF
257                                 { program_parsed(ctx, $1); }
258
259 HtmlComment
260         : tHTMLCOMMENT          {}
261         | /* empty */           {}
262
263 /* ECMA-262 3rd Edition    14 */
264 SourceElements
265         : /* empty */           { $$ = new_source_elements(ctx); }
266         | SourceElements Statement
267                                 { $$ = source_elements_add_statement($1, $2); }
268
269 /* ECMA-262 3rd Edition    13 */
270 FunctionExpression
271         : KFunction Identifier_opt left_bracket FormalParameterList_opt right_bracket '{' FunctionBody '}'
272                                 { $$ = new_function_expression(ctx, $2, $4, $7, $1, $8-$1+1); }
273
274 KFunction
275         : kFUNCTION             { push_func(ctx); $$ = $1; }
276
277 /* ECMA-262 3rd Edition    13 */
278 FunctionBody
279         : SourceElements        { $$ = function_body_parsed(ctx, $1); }
280
281 /* ECMA-262 3rd Edition    13 */
282 FormalParameterList
283         : tIdentifier           { $$ = new_parameter_list(ctx, $1); }
284         | FormalParameterList ',' tIdentifier
285                                 { $$ = parameter_list_add(ctx, $1, $3); }
286
287 /* ECMA-262 3rd Edition    13 */
288 FormalParameterList_opt
289         : /* empty */           { $$ = NULL; }
290         | FormalParameterList   { $$ = $1; }
291
292 /* ECMA-262 3rd Edition    12 */
293 Statement
294         : Block                 { $$ = $1; }
295         | VariableStatement     { $$ = $1; }
296         | EmptyStatement        { $$ = $1; }
297         | FunctionExpression    { $$ = new_empty_statement(ctx); } /* FIXME: return NULL */
298         | ExpressionStatement   { $$ = $1; }
299         | IfStatement           { $$ = $1; }
300         | IterationStatement    { $$ = $1; }
301         | ContinueStatement     { $$ = $1; }
302         | BreakStatement        { $$ = $1; }
303         | ReturnStatement       { $$ = $1; }
304         | WithStatement         { $$ = $1; }
305         | LabelledStatement     { $$ = $1; }
306         | SwitchStatement       { $$ = $1; }
307         | ThrowStatement        { $$ = $1; }
308         | TryStatement          { $$ = $1; }
309
310 /* ECMA-262 3rd Edition    12.2 */
311 StatementList
312         : Statement             { $$ = new_statement_list(ctx, $1); }
313         | StatementList Statement
314                                 { $$ = statement_list_add($1, $2); }
315
316 /* ECMA-262 3rd Edition    12.2 */
317 StatementList_opt
318         : /* empty */           { $$ = NULL; }
319         | StatementList         { $$ = $1; }
320
321 /* ECMA-262 3rd Edition    12.1 */
322 Block
323         : '{' StatementList '}' { $$ = new_block_statement(ctx, $2); }
324         | '{' '}'               { $$ = new_block_statement(ctx, NULL); }
325
326 /* ECMA-262 3rd Edition    12.2 */
327 VariableStatement
328         : kVAR VariableDeclarationList semicolon_opt
329                                 { $$ = new_var_statement(ctx, $2); }
330
331 /* ECMA-262 3rd Edition    12.2 */
332 VariableDeclarationList
333         : VariableDeclaration   { $$ = new_variable_list(ctx, $1); }
334         | VariableDeclarationList ',' VariableDeclaration
335                                 { $$ = variable_list_add(ctx, $1, $3); }
336
337 /* ECMA-262 3rd Edition    12.2 */
338 VariableDeclarationListNoIn
339         : VariableDeclarationNoIn
340                                 { $$ = new_variable_list(ctx, $1); }
341         | VariableDeclarationListNoIn ',' VariableDeclarationNoIn
342                                 { $$ = variable_list_add(ctx, $1, $3); }
343
344 /* ECMA-262 3rd Edition    12.2 */
345 VariableDeclaration
346         : tIdentifier Initialiser_opt
347                                 { $$ = new_variable_declaration(ctx, $1, $2); }
348
349 /* ECMA-262 3rd Edition    12.2 */
350 VariableDeclarationNoIn
351         : tIdentifier InitialiserNoIn_opt
352                                 { $$ = new_variable_declaration(ctx, $1, $2); }
353
354 /* ECMA-262 3rd Edition    12.2 */
355 Initialiser_opt
356         : /* empty */           { $$ = NULL; }
357         | Initialiser           { $$ = $1; }
358
359 /* ECMA-262 3rd Edition    12.2 */
360 Initialiser
361         : '=' AssignmentExpression
362                                 { $$ = $2; }
363
364 /* ECMA-262 3rd Edition    12.2 */
365 InitialiserNoIn_opt
366         : /* empty */           { $$ = NULL; }
367         | InitialiserNoIn       { $$ = $1; }
368
369 /* ECMA-262 3rd Edition    12.2 */
370 InitialiserNoIn
371         : '=' AssignmentExpressionNoIn
372                                 { $$ = $2; }
373
374 /* ECMA-262 3rd Edition    12.3 */
375 EmptyStatement
376         : ';'                   { $$ = new_empty_statement(ctx); }
377
378 /* ECMA-262 3rd Edition    12.4 */
379 ExpressionStatement
380         : Expression semicolon_opt
381                                 { $$ = new_expression_statement(ctx, $1); }
382
383 /* ECMA-262 3rd Edition    12.5 */
384 IfStatement
385         : kIF left_bracket Expression_err right_bracket Statement kELSE Statement
386                                 { $$ = new_if_statement(ctx, $3, $5, $7); }
387         | kIF left_bracket Expression_err right_bracket Statement %prec LOWER_THAN_ELSE
388                                 { $$ = new_if_statement(ctx, $3, $5, NULL); }
389
390 /* ECMA-262 3rd Edition    12.6 */
391 IterationStatement
392         : kDO Statement kWHILE left_bracket Expression_err right_bracket semicolon_opt
393                                 { $$ = new_while_statement(ctx, TRUE, $5, $2); }
394         | kWHILE left_bracket Expression_err right_bracket Statement
395                                 { $$ = new_while_statement(ctx, FALSE, $3, $5); }
396         | kFOR left_bracket ExpressionNoIn_opt
397                                 { if(!explicit_error(ctx, $3, ';')) YYABORT; }
398         semicolon  Expression_opt
399                                 { if(!explicit_error(ctx, $6, ';')) YYABORT; }
400         semicolon Expression_opt right_bracket Statement
401                                 { $$ = new_for_statement(ctx, NULL, $3, $6, $9, $11); }
402         | kFOR left_bracket kVAR VariableDeclarationListNoIn
403                                 { if(!explicit_error(ctx, $4, ';')) YYABORT; }
404         semicolon Expression_opt
405                                 { if(!explicit_error(ctx, $7, ';')) YYABORT; }
406         semicolon Expression_opt right_bracket Statement
407                                 { $$ = new_for_statement(ctx, $4, NULL, $7, $10, $12); }
408         | kFOR left_bracket LeftHandSideExpression kIN Expression_err right_bracket Statement
409                                 { $$ = new_forin_statement(ctx, NULL, $3, $5, $7); }
410         | kFOR left_bracket kVAR VariableDeclarationNoIn kIN Expression_err right_bracket Statement
411                                 { $$ = new_forin_statement(ctx, $4, NULL, $6, $8); }
412
413 /* ECMA-262 3rd Edition    12.7 */
414 ContinueStatement
415         : kCONTINUE /* NONL */ Identifier_opt semicolon_opt
416                                 { $$ = new_continue_statement(ctx, $2); }
417
418 /* ECMA-262 3rd Edition    12.8 */
419 BreakStatement
420         : kBREAK /* NONL */ Identifier_opt semicolon_opt
421                                 { $$ = new_break_statement(ctx, $2); }
422
423 /* ECMA-262 3rd Edition    12.9 */
424 ReturnStatement
425         : kRETURN /* NONL */ Expression_opt semicolon_opt
426                                 { $$ = new_return_statement(ctx, $2); }
427
428 /* ECMA-262 3rd Edition    12.10 */
429 WithStatement
430         : kWITH left_bracket Expression right_bracket Statement
431                                 { $$ = new_with_statement(ctx, $3, $5); }
432
433 /* ECMA-262 3rd Edition    12.12 */
434 LabelledStatement
435         : tIdentifier ':' Statement
436                                 { $$ = new_labelled_statement(ctx, $1, $3); }
437
438 /* ECMA-262 3rd Edition    12.11 */
439 SwitchStatement
440         : kSWITCH left_bracket Expression right_bracket CaseBlock
441                                 { $$ = new_switch_statement(ctx, $3, $5); }
442
443 /* ECMA-262 3rd Edition    12.11 */
444 CaseBlock
445         : '{' CaseClausules_opt '}'
446                                  { $$ = new_case_block(ctx, $2, NULL, NULL); }
447         | '{' CaseClausules_opt DefaultClausule CaseClausules_opt '}'
448                                  { $$ = new_case_block(ctx, $2, $3, $4); }
449
450 /* ECMA-262 3rd Edition    12.11 */
451 CaseClausules_opt
452         : /* empty */            { $$ = NULL; }
453         | CaseClausules          { $$ = $1; }
454
455 /* ECMA-262 3rd Edition    12.11 */
456 CaseClausules
457         : CaseClausule           { $$ = new_case_list(ctx, $1); }
458         | CaseClausules CaseClausule
459                                  { $$ = case_list_add(ctx, $1, $2); }
460
461 /* ECMA-262 3rd Edition    12.11 */
462 CaseClausule
463         : kCASE Expression ':' StatementList_opt
464                                  { $$ = new_case_clausule(ctx, $2, $4); }
465
466 /* ECMA-262 3rd Edition    12.11 */
467 DefaultClausule
468         : kDEFAULT ':' StatementList_opt
469                                  { $$ = new_case_clausule(ctx, NULL, $3); }
470
471 /* ECMA-262 3rd Edition    12.13 */
472 ThrowStatement
473         : kTHROW /* NONL */ Expression semicolon_opt
474                                 { $$ = new_throw_statement(ctx, $2); }
475
476 /* ECMA-262 3rd Edition    12.14 */
477 TryStatement
478         : kTRY Block Catch      { $$ = new_try_statement(ctx, $2, $3, NULL); }
479         | kTRY Block Finally    { $$ = new_try_statement(ctx, $2, NULL, $3); }
480         | kTRY Block Catch Finally
481                                 { $$ = new_try_statement(ctx, $2, $3, $4); }
482
483 /* ECMA-262 3rd Edition    12.14 */
484 Catch
485         : kCATCH left_bracket tIdentifier right_bracket Block
486                                 { $$ = new_catch_block(ctx, $3, $5); }
487
488 /* ECMA-262 3rd Edition    12.14 */
489 Finally
490         : kFINALLY Block        { $$ = $2; }
491
492 /* ECMA-262 3rd Edition    11.14 */
493 Expression_opt
494         : /* empty */           { $$ = NULL; }
495         | Expression            { $$ = $1; }
496
497 Expression_err
498         : Expression            { $$ = $1; }
499         | error                 { set_error(ctx, JS_E_SYNTAX); YYABORT; }
500
501 /* ECMA-262 3rd Edition    11.14 */
502 Expression
503         : AssignmentExpression  { $$ = $1; }
504         | Expression ',' AssignmentExpression
505                                 { $$ = new_binary_expression(ctx, EXPR_COMMA, $1, $3); }
506
507 /* ECMA-262 3rd Edition    11.14 */
508 ExpressionNoIn_opt
509         : /* empty */           { $$ = NULL; }
510         | ExpressionNoIn        { $$ = $1; }
511
512 /* ECMA-262 3rd Edition    11.14 */
513 ExpressionNoIn
514         : AssignmentExpressionNoIn
515                                 { $$ = $1; }
516         | ExpressionNoIn ',' AssignmentExpressionNoIn
517                                 { $$ = new_binary_expression(ctx, EXPR_COMMA, $1, $3); }
518
519 AssignOper
520         : tAssignOper           { $$ = $1; }
521         | kDIVEQ                { $$ = EXPR_ASSIGNDIV; }
522
523 /* ECMA-262 3rd Edition    11.13 */
524 AssignmentExpression
525         : ConditionalExpression { $$ = $1; }
526         | LeftHandSideExpression '=' AssignmentExpression
527                                 { $$ = new_binary_expression(ctx, EXPR_ASSIGN, $1, $3); }
528         | LeftHandSideExpression AssignOper AssignmentExpression
529                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
530
531 /* ECMA-262 3rd Edition    11.13 */
532 AssignmentExpressionNoIn
533         : ConditionalExpressionNoIn
534                                 { $$ = $1; }
535         | LeftHandSideExpression '=' AssignmentExpressionNoIn
536                                 { $$ = new_binary_expression(ctx, EXPR_ASSIGN, $1, $3); }
537         | LeftHandSideExpression AssignOper AssignmentExpressionNoIn
538                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
539
540 /* ECMA-262 3rd Edition    11.12 */
541 ConditionalExpression
542         : LogicalORExpression   { $$ = $1; }
543         | LogicalORExpression '?' AssignmentExpression ':' AssignmentExpression
544                                 { $$ = new_conditional_expression(ctx, $1, $3, $5); }
545
546 /* ECMA-262 3rd Edition    11.12 */
547 ConditionalExpressionNoIn
548         : LogicalORExpressionNoIn
549                                 { $$ = $1; }
550         | LogicalORExpressionNoIn '?' AssignmentExpressionNoIn ':' AssignmentExpressionNoIn
551                                 { $$ = new_conditional_expression(ctx, $1, $3, $5); }
552
553 /* ECMA-262 3rd Edition    11.11 */
554 LogicalORExpression
555         : LogicalANDExpression  { $$ = $1; }
556         | LogicalORExpression tOROR LogicalANDExpression
557                                 { $$ = new_binary_expression(ctx, EXPR_OR, $1, $3); }
558
559 /* ECMA-262 3rd Edition    11.11 */
560 LogicalORExpressionNoIn
561         : LogicalANDExpressionNoIn
562                                 { $$ = $1; }
563         | LogicalORExpressionNoIn tOROR LogicalANDExpressionNoIn
564                                 { $$ = new_binary_expression(ctx, EXPR_OR, $1, $3); }
565
566 /* ECMA-262 3rd Edition    11.11 */
567 LogicalANDExpression
568         : BitwiseORExpression   { $$ = $1; }
569         | LogicalANDExpression tANDAND BitwiseORExpression
570                                 { $$ = new_binary_expression(ctx, EXPR_AND, $1, $3); }
571
572 /* ECMA-262 3rd Edition    11.11 */
573 LogicalANDExpressionNoIn
574         : BitwiseORExpressionNoIn
575                                 { $$ = $1; }
576         | LogicalANDExpressionNoIn tANDAND BitwiseORExpressionNoIn
577                                 { $$ = new_binary_expression(ctx, EXPR_AND, $1, $3); }
578
579 /* ECMA-262 3rd Edition    11.10 */
580 BitwiseORExpression
581         : BitwiseXORExpression   { $$ = $1; }
582         | BitwiseORExpression '|' BitwiseXORExpression
583                                 { $$ = new_binary_expression(ctx, EXPR_BOR, $1, $3); }
584
585 /* ECMA-262 3rd Edition    11.10 */
586 BitwiseORExpressionNoIn
587         : BitwiseXORExpressionNoIn
588                                 { $$ = $1; }
589         | BitwiseORExpressionNoIn '|' BitwiseXORExpressionNoIn
590                                 { $$ = new_binary_expression(ctx, EXPR_BOR, $1, $3); }
591
592 /* ECMA-262 3rd Edition    11.10 */
593 BitwiseXORExpression
594         : BitwiseANDExpression  { $$ = $1; }
595         | BitwiseXORExpression '^' BitwiseANDExpression
596                                 { $$ = new_binary_expression(ctx, EXPR_BXOR, $1, $3); }
597
598 /* ECMA-262 3rd Edition    11.10 */
599 BitwiseXORExpressionNoIn
600         : BitwiseANDExpressionNoIn
601                                 { $$ = $1; }
602         | BitwiseXORExpressionNoIn '^' BitwiseANDExpressionNoIn
603                                 { $$ = new_binary_expression(ctx, EXPR_BXOR, $1, $3); }
604
605 /* ECMA-262 3rd Edition    11.10 */
606 BitwiseANDExpression
607         : EqualityExpression    { $$ = $1; }
608         | BitwiseANDExpression '&' EqualityExpression
609                                 { $$ = new_binary_expression(ctx, EXPR_BAND, $1, $3); }
610
611 /* ECMA-262 3rd Edition    11.10 */
612 BitwiseANDExpressionNoIn
613         : EqualityExpressionNoIn
614                                 { $$ = $1; }
615         | BitwiseANDExpressionNoIn '&' EqualityExpressionNoIn
616                                 { $$ = new_binary_expression(ctx, EXPR_BAND, $1, $3); }
617
618 /* ECMA-262 3rd Edition    11.9 */
619 EqualityExpression
620         : RelationalExpression  { $$ = $1; }
621         | EqualityExpression tEqOper RelationalExpression
622                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
623
624 /* ECMA-262 3rd Edition    11.9 */
625 EqualityExpressionNoIn
626         : RelationalExpressionNoIn  { $$ = $1; }
627         | EqualityExpressionNoIn tEqOper RelationalExpressionNoIn
628                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
629
630 /* ECMA-262 3rd Edition    11.8 */
631 RelationalExpression
632         : ShiftExpression       { $$ = $1; }
633         | RelationalExpression tRelOper ShiftExpression
634                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
635         | RelationalExpression kINSTANCEOF ShiftExpression
636                                 { $$ = new_binary_expression(ctx, EXPR_INSTANCEOF, $1, $3); }
637         | RelationalExpression kIN ShiftExpression
638                                 { $$ = new_binary_expression(ctx, EXPR_IN, $1, $3); }
639
640 /* ECMA-262 3rd Edition    11.8 */
641 RelationalExpressionNoIn
642         : ShiftExpression       { $$ = $1; }
643         | RelationalExpressionNoIn tRelOper ShiftExpression
644                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
645         | RelationalExpressionNoIn kINSTANCEOF ShiftExpression
646                                 { $$ = new_binary_expression(ctx, EXPR_INSTANCEOF, $1, $3); }
647
648 /* ECMA-262 3rd Edition    11.7 */
649 ShiftExpression
650         : AdditiveExpression    { $$ = $1; }
651         | ShiftExpression tShiftOper AdditiveExpression
652                                 { $$ = new_binary_expression(ctx, $2, $1, $3); }
653
654 /* ECMA-262 3rd Edition    11.6 */
655 AdditiveExpression
656         : MultiplicativeExpression
657                                 { $$ = $1; }
658         | AdditiveExpression '+' MultiplicativeExpression
659                                 { $$ = new_binary_expression(ctx, EXPR_ADD, $1, $3); }
660         | AdditiveExpression '-' MultiplicativeExpression
661                                 { $$ = new_binary_expression(ctx, EXPR_SUB, $1, $3); }
662
663 /* ECMA-262 3rd Edition    11.5 */
664 MultiplicativeExpression
665         : UnaryExpression       { $$ = $1; }
666         | MultiplicativeExpression '*' UnaryExpression
667                                 { $$ = new_binary_expression(ctx, EXPR_MUL, $1, $3); }
668         | MultiplicativeExpression '/' UnaryExpression
669                                 { $$ = new_binary_expression(ctx, EXPR_DIV, $1, $3); }
670         | MultiplicativeExpression '%' UnaryExpression
671                                 { $$ = new_binary_expression(ctx, EXPR_MOD, $1, $3); }
672
673 /* ECMA-262 3rd Edition    11.4 */
674 UnaryExpression
675         : PostfixExpression     { $$ = $1; }
676         | kDELETE UnaryExpression
677                                 { $$ = new_unary_expression(ctx, EXPR_DELETE, $2); }
678         | kVOID UnaryExpression { $$ = new_unary_expression(ctx, EXPR_VOID, $2); }
679         | kTYPEOF UnaryExpression
680                                 { $$ = new_unary_expression(ctx, EXPR_TYPEOF, $2); }
681         | tINC UnaryExpression  { $$ = new_unary_expression(ctx, EXPR_PREINC, $2); }
682         | tDEC UnaryExpression  { $$ = new_unary_expression(ctx, EXPR_PREDEC, $2); }
683         | '+' UnaryExpression   { $$ = new_unary_expression(ctx, EXPR_PLUS, $2); }
684         | '-' UnaryExpression   { $$ = new_unary_expression(ctx, EXPR_MINUS, $2); }
685         | '~' UnaryExpression   { $$ = new_unary_expression(ctx, EXPR_BITNEG, $2); }
686         | '!' UnaryExpression   { $$ = new_unary_expression(ctx, EXPR_LOGNEG, $2); }
687
688 /* ECMA-262 3rd Edition    11.2 */
689 PostfixExpression
690         : LeftHandSideExpression
691                                 { $$ = $1; }
692         | LeftHandSideExpression /* NONL */ tINC
693                                 { $$ = new_unary_expression(ctx, EXPR_POSTINC, $1); }
694         | LeftHandSideExpression /* NONL */ tDEC
695                                 { $$ = new_unary_expression(ctx, EXPR_POSTDEC, $1); }
696
697
698 /* ECMA-262 3rd Edition    11.2 */
699 LeftHandSideExpression
700         : NewExpression         { $$ = $1; }
701         | CallExpression        { $$ = $1; }
702
703 /* ECMA-262 3rd Edition    11.2 */
704 NewExpression
705         : MemberExpression      { $$ = $1; }
706         | kNEW NewExpression    { $$ = new_new_expression(ctx, $2, NULL); }
707
708 /* ECMA-262 3rd Edition    11.2 */
709 MemberExpression
710         : PrimaryExpression     { $$ = $1; }
711         | FunctionExpression    { $$ = $1; }
712         | MemberExpression '[' Expression ']'
713                                 { $$ = new_array_expression(ctx, $1, $3); }
714         | MemberExpression '.' tIdentifier
715                                 { $$ = new_member_expression(ctx, $1, $3); }
716         | kNEW MemberExpression Arguments
717                                 { $$ = new_new_expression(ctx, $2, $3); }
718
719 /* ECMA-262 3rd Edition    11.2 */
720 CallExpression
721         : MemberExpression Arguments
722                                 { $$ = new_call_expression(ctx, $1, $2); }
723         | CallExpression Arguments
724                                 { $$ = new_call_expression(ctx, $1, $2); }
725         | CallExpression '[' Expression ']'
726                                 { $$ = new_array_expression(ctx, $1, $3); }
727         | CallExpression '.' tIdentifier
728                                 { $$ = new_member_expression(ctx, $1, $3); }
729
730 /* ECMA-262 3rd Edition    11.2 */
731 Arguments
732         : '(' ')'               { $$ = NULL; }
733         | '(' ArgumentList ')'  { $$ = $2; }
734
735 /* ECMA-262 3rd Edition    11.2 */
736 ArgumentList
737         : AssignmentExpression  { $$ = new_argument_list(ctx, $1); }
738         | ArgumentList ',' AssignmentExpression
739                                 { $$ = argument_list_add(ctx, $1, $3); }
740
741 /* ECMA-262 3rd Edition    11.1 */
742 PrimaryExpression
743         : kTHIS                 { $$ = new_this_expression(ctx); }
744         | tIdentifier           { $$ = new_identifier_expression(ctx, $1); }
745         | Literal               { $$ = new_literal_expression(ctx, $1); }
746         | ArrayLiteral          { $$ = $1; }
747         | ObjectLiteral         { $$ = $1; }
748         | '(' Expression ')'    { $$ = $2; }
749
750 /* ECMA-262 3rd Edition    11.1.4 */
751 ArrayLiteral
752         : '[' ']'               { $$ = new_array_literal_expression(ctx, NULL, 0); }
753         | '[' Elision ']'       { $$ = new_array_literal_expression(ctx, NULL, $2+1); }
754         | '[' ElementList ']'   { $$ = new_array_literal_expression(ctx, $2, 0); }
755         | '[' ElementList ',' Elision_opt ']'
756                                 { $$ = new_array_literal_expression(ctx, $2, $4+1); }
757
758 /* ECMA-262 3rd Edition    11.1.4 */
759 ElementList
760         : Elision_opt AssignmentExpression
761                                 { $$ = new_element_list(ctx, $1, $2); }
762         | ElementList ',' Elision_opt AssignmentExpression
763                                 { $$ = element_list_add(ctx, $1, $3, $4); }
764
765 /* ECMA-262 3rd Edition    11.1.4 */
766 Elision
767         : ','                   { $$ = 1; }
768         | Elision ','           { $$ = $1 + 1; }
769
770 /* ECMA-262 3rd Edition    11.1.4 */
771 Elision_opt
772         : /* empty */           { $$ = 0; }
773         | Elision               { $$ = $1; }
774
775 /* ECMA-262 3rd Edition    11.1.5 */
776 ObjectLiteral
777         : '{' '}'               { $$ = new_prop_and_value_expression(ctx, NULL); }
778         | '{' PropertyNameAndValueList '}'
779                                 { $$ = new_prop_and_value_expression(ctx, $2); }
780
781 /* ECMA-262 3rd Edition    11.1.5 */
782 PropertyNameAndValueList
783         : PropertyName ':' AssignmentExpression
784                                 { $$ = new_property_list(ctx, $1, $3); }
785         | PropertyNameAndValueList ',' PropertyName ':' AssignmentExpression
786                                 { $$ = property_list_add(ctx, $1, $3, $5); }
787
788 /* ECMA-262 3rd Edition    11.1.5 */
789 PropertyName
790         : tIdentifier           { $$ = new_string_literal(ctx, $1); }
791         | tStringLiteral        { $$ = new_string_literal(ctx, $1); }
792         | tNumericLiteral       { $$ = $1; }
793
794 /* ECMA-262 3rd Edition    7.6 */
795 Identifier_opt
796         : /* empty*/            { $$ = NULL; }
797         | tIdentifier           { $$ = $1; }
798
799 /* ECMA-262 3rd Edition    7.8 */
800 Literal
801         : kNULL                 { $$ = new_null_literal(ctx); }
802         | BooleanLiteral        { $$ = $1; }
803         | tNumericLiteral       { $$ = $1; }
804         | tStringLiteral        { $$ = new_string_literal(ctx, $1); }
805         | '/'                   { $$ = parse_regexp(ctx);
806                                   if(!$$) YYABORT; }
807         | kDIVEQ                { $$ = parse_regexp(ctx);
808                                   if(!$$) YYABORT; }
809
810 /* ECMA-262 3rd Edition    7.8.2 */
811 BooleanLiteral
812         : kTRUE                 { $$ = new_boolean_literal(ctx, VARIANT_TRUE); }
813         | kFALSE                { $$ = new_boolean_literal(ctx, VARIANT_FALSE); }
814         | tBooleanLiteral       { $$ = $1; }
815
816 semicolon_opt
817         : ';'
818         | error                 { if(!allow_auto_semicolon(ctx)) {YYABORT;} }
819
820 left_bracket
821         : '('
822         | error                 { set_error(ctx, JS_E_MISSING_LBRACKET); YYABORT; }
823
824 right_bracket
825         : ')'
826         | error                 { set_error(ctx, JS_E_MISSING_RBRACKET); YYABORT; }
827
828 semicolon
829         : ';'
830         | error                 { set_error(ctx, JS_E_MISSING_SEMICOLON); YYABORT; }
831
832 %%
833
834 static BOOL allow_auto_semicolon(parser_ctx_t *ctx)
835 {
836     return ctx->nl || ctx->ptr == ctx->end || *(ctx->ptr-1) == '}';
837 }
838
839 static literal_t *new_string_literal(parser_ctx_t *ctx, const WCHAR *str)
840 {
841     literal_t *ret = parser_alloc(ctx, sizeof(literal_t));
842
843     ret->type = LT_STRING;
844     ret->u.wstr = str;
845
846     return ret;
847 }
848
849 static literal_t *new_null_literal(parser_ctx_t *ctx)
850 {
851     literal_t *ret = parser_alloc(ctx, sizeof(literal_t));
852
853     ret->type = LT_NULL;
854
855     return ret;
856 }
857
858 static prop_val_t *new_prop_val(parser_ctx_t *ctx, literal_t *name, expression_t *value)
859 {
860     prop_val_t *ret = parser_alloc(ctx, sizeof(prop_val_t));
861
862     ret->name = name;
863     ret->value = value;
864     ret->next = NULL;
865
866     return ret;
867 }
868
869 static property_list_t *new_property_list(parser_ctx_t *ctx, literal_t *name, expression_t *value)
870 {
871     property_list_t *ret = parser_alloc_tmp(ctx, sizeof(property_list_t));
872
873     ret->head = ret->tail = new_prop_val(ctx, name, value);
874
875     return ret;
876 }
877
878 static property_list_t *property_list_add(parser_ctx_t *ctx, property_list_t *list, literal_t *name, expression_t *value)
879 {
880     list->tail = list->tail->next = new_prop_val(ctx, name, value);
881
882     return list;
883 }
884
885 static array_element_t *new_array_element(parser_ctx_t *ctx, int elision, expression_t *expr)
886 {
887     array_element_t *ret = parser_alloc(ctx, sizeof(array_element_t));
888
889     ret->elision = elision;
890     ret->expr = expr;
891     ret->next = NULL;
892
893     return ret;
894 }
895
896 static element_list_t *new_element_list(parser_ctx_t *ctx, int elision, expression_t *expr)
897 {
898     element_list_t *ret = parser_alloc_tmp(ctx, sizeof(element_list_t));
899
900     ret->head = ret->tail = new_array_element(ctx, elision, expr);
901
902     return ret;
903 }
904
905 static element_list_t *element_list_add(parser_ctx_t *ctx, element_list_t *list, int elision, expression_t *expr)
906 {
907     list->tail = list->tail->next = new_array_element(ctx, elision, expr);
908
909     return list;
910 }
911
912 static argument_t *new_argument(parser_ctx_t *ctx, expression_t *expr)
913 {
914     argument_t *ret = parser_alloc(ctx, sizeof(argument_t));
915
916     ret->expr = expr;
917     ret->next = NULL;
918
919     return ret;
920 }
921
922 static argument_list_t *new_argument_list(parser_ctx_t *ctx, expression_t *expr)
923 {
924     argument_list_t *ret = parser_alloc_tmp(ctx, sizeof(argument_list_t));
925
926     ret->head = ret->tail = new_argument(ctx, expr);
927
928     return ret;
929 }
930
931 static argument_list_t *argument_list_add(parser_ctx_t *ctx, argument_list_t *list, expression_t *expr)
932 {
933     list->tail = list->tail->next = new_argument(ctx, expr);
934
935     return list;
936 }
937
938 static catch_block_t *new_catch_block(parser_ctx_t *ctx, const WCHAR *identifier, statement_t *statement)
939 {
940     catch_block_t *ret = parser_alloc(ctx, sizeof(catch_block_t));
941
942     ret->identifier = identifier;
943     ret->statement = statement;
944
945     return ret;
946 }
947
948 static case_clausule_t *new_case_clausule(parser_ctx_t *ctx, expression_t *expr, statement_list_t *stat_list)
949 {
950     case_clausule_t *ret = parser_alloc(ctx, sizeof(case_clausule_t));
951
952     ret->expr = expr;
953     ret->stat = stat_list ? stat_list->head : NULL;
954     ret->next = NULL;
955
956     return ret;
957 }
958
959 static case_list_t *new_case_list(parser_ctx_t *ctx, case_clausule_t *case_clausule)
960 {
961     case_list_t *ret = parser_alloc_tmp(ctx, sizeof(case_list_t));
962
963     ret->head = ret->tail = case_clausule;
964
965     return ret;
966 }
967
968 static case_list_t *case_list_add(parser_ctx_t *ctx, case_list_t *list, case_clausule_t *case_clausule)
969 {
970     list->tail = list->tail->next = case_clausule;
971
972     return list;
973 }
974
975 static case_clausule_t *new_case_block(parser_ctx_t *ctx, case_list_t *case_list1,
976         case_clausule_t *default_clausule, case_list_t *case_list2)
977 {
978     case_clausule_t *ret = NULL, *iter = NULL, *iter2;
979     statement_t *stat = NULL;
980
981     if(case_list1) {
982         ret = case_list1->head;
983         iter = case_list1->tail;
984     }
985
986     if(default_clausule) {
987         if(ret)
988             iter = iter->next = default_clausule;
989         else
990             ret = iter = default_clausule;
991     }
992
993     if(case_list2) {
994         if(ret)
995             iter->next = case_list2->head;
996         else
997             ret = case_list2->head;
998     }
999
1000     if(!ret)
1001         return NULL;
1002
1003     for(iter = ret; iter; iter = iter->next) {
1004         for(iter2 = iter; iter2 && !iter2->stat; iter2 = iter2->next);
1005         if(!iter2)
1006             break;
1007
1008         while(iter != iter2) {
1009             iter->stat = iter2->stat;
1010             iter = iter->next;
1011         }
1012
1013         if(stat) {
1014             while(stat->next)
1015                 stat = stat->next;
1016             stat->next = iter->stat;
1017         }else {
1018             stat = iter->stat;
1019         }
1020     }
1021
1022     return ret;
1023 }
1024
1025 static statement_t *new_block_statement(parser_ctx_t *ctx, statement_list_t *list)
1026 {
1027     block_statement_t *ret = parser_alloc(ctx, sizeof(block_statement_t));
1028
1029     ret->stat.eval = block_statement_eval;
1030     ret->stat.next = NULL;
1031     ret->stat_list = list ? list->head : NULL;
1032
1033     return &ret->stat;
1034 }
1035
1036 static variable_declaration_t *new_variable_declaration(parser_ctx_t *ctx, const WCHAR *identifier, expression_t *expr)
1037 {
1038     variable_declaration_t *ret = parser_alloc(ctx, sizeof(variable_declaration_t));
1039     var_list_t *var_list = parser_alloc(ctx, sizeof(var_list_t));
1040
1041     ret->identifier = identifier;
1042     ret->expr = expr;
1043     ret->next = NULL;
1044
1045     var_list->identifier = identifier;
1046     var_list->next = NULL;
1047
1048     if(ctx->func_stack->var_tail)
1049         ctx->func_stack->var_tail = ctx->func_stack->var_tail->next = var_list;
1050     else
1051         ctx->func_stack->var_head = ctx->func_stack->var_tail = var_list;
1052
1053     return ret;
1054 }
1055
1056 static variable_list_t *new_variable_list(parser_ctx_t *ctx, variable_declaration_t *decl)
1057 {
1058     variable_list_t *ret = parser_alloc_tmp(ctx, sizeof(variable_list_t));
1059
1060     ret->head = ret->tail = decl;
1061
1062     return ret;
1063 }
1064
1065 static variable_list_t *variable_list_add(parser_ctx_t *ctx, variable_list_t *list, variable_declaration_t *decl)
1066 {
1067     list->tail = list->tail->next = decl;
1068
1069     return list;
1070 }
1071
1072 static statement_t *new_var_statement(parser_ctx_t *ctx, variable_list_t *variable_list)
1073 {
1074     var_statement_t *ret = parser_alloc(ctx, sizeof(var_statement_t));
1075
1076     ret->stat.eval = var_statement_eval;
1077     ret->stat.next = NULL;
1078     ret->variable_list = variable_list->head;
1079
1080     return &ret->stat;
1081 }
1082
1083 static statement_t *new_empty_statement(parser_ctx_t *ctx)
1084 {
1085     statement_t *ret = parser_alloc(ctx, sizeof(statement_t));
1086
1087     ret->eval = empty_statement_eval;
1088     ret->next = NULL;
1089
1090     return ret;
1091 }
1092
1093 static statement_t *new_expression_statement(parser_ctx_t *ctx, expression_t *expr)
1094 {
1095     expression_statement_t *ret = parser_alloc(ctx, sizeof(expression_statement_t));
1096
1097     ret->stat.eval = expression_statement_eval;
1098     ret->stat.next = NULL;
1099     ret->expr = expr;
1100
1101     return &ret->stat;
1102 }
1103
1104 static statement_t *new_if_statement(parser_ctx_t *ctx, expression_t *expr, statement_t *if_stat, statement_t *else_stat)
1105 {
1106     if_statement_t *ret = parser_alloc(ctx, sizeof(if_statement_t));
1107
1108     ret->stat.eval = if_statement_eval;
1109     ret->stat.next = NULL;
1110     ret->expr = expr;
1111     ret->if_stat = if_stat;
1112     ret->else_stat = else_stat;
1113
1114     return &ret->stat;
1115 }
1116
1117 static statement_t *new_while_statement(parser_ctx_t *ctx, BOOL dowhile, expression_t *expr, statement_t *stat)
1118 {
1119     while_statement_t *ret = parser_alloc(ctx, sizeof(while_statement_t));
1120
1121     ret->stat.eval = while_statement_eval;
1122     ret->stat.next = NULL;
1123     ret->do_while = dowhile;
1124     ret->expr = expr;
1125     ret->statement = stat;
1126
1127     return &ret->stat;
1128 }
1129
1130 static statement_t *new_for_statement(parser_ctx_t *ctx, variable_list_t *variable_list, expression_t *begin_expr,
1131         expression_t *expr, expression_t *end_expr, statement_t *statement)
1132 {
1133     for_statement_t *ret = parser_alloc(ctx, sizeof(for_statement_t));
1134
1135     ret->stat.eval = for_statement_eval;
1136     ret->stat.next = NULL;
1137     ret->variable_list = variable_list ? variable_list->head : NULL;
1138     ret->begin_expr = begin_expr;
1139     ret->expr = expr;
1140     ret->end_expr = end_expr;
1141     ret->statement = statement;
1142
1143     return &ret->stat;
1144 }
1145
1146 static statement_t *new_forin_statement(parser_ctx_t *ctx, variable_declaration_t *variable, expression_t *expr,
1147         expression_t *in_expr, statement_t *statement)
1148 {
1149     forin_statement_t *ret = parser_alloc(ctx, sizeof(forin_statement_t));
1150
1151     ret->stat.eval = forin_statement_eval;
1152     ret->stat.next = NULL;
1153     ret->variable = variable;
1154     ret->expr = expr;
1155     ret->in_expr = in_expr;
1156     ret->statement = statement;
1157
1158     return &ret->stat;
1159 }
1160
1161 static statement_t *new_continue_statement(parser_ctx_t *ctx, const WCHAR *identifier)
1162 {
1163     branch_statement_t *ret = parser_alloc(ctx, sizeof(branch_statement_t));
1164
1165     ret->stat.eval = continue_statement_eval;
1166     ret->stat.next = NULL;
1167     ret->identifier = identifier;
1168
1169     return &ret->stat;
1170 }
1171
1172 static statement_t *new_break_statement(parser_ctx_t *ctx, const WCHAR *identifier)
1173 {
1174     branch_statement_t *ret = parser_alloc(ctx, sizeof(branch_statement_t));
1175
1176     ret->stat.eval = break_statement_eval;
1177     ret->stat.next = NULL;
1178     ret->identifier = identifier;
1179
1180     return &ret->stat;
1181 }
1182
1183 static statement_t *new_return_statement(parser_ctx_t *ctx, expression_t *expr)
1184 {
1185     expression_statement_t *ret = parser_alloc(ctx, sizeof(expression_statement_t));
1186
1187     ret->stat.eval = return_statement_eval;
1188     ret->stat.next = NULL;
1189     ret->expr = expr;
1190
1191     return &ret->stat;
1192 }
1193
1194 static statement_t *new_with_statement(parser_ctx_t *ctx, expression_t *expr, statement_t *statement)
1195 {
1196     with_statement_t *ret = parser_alloc(ctx, sizeof(with_statement_t));
1197
1198     ret->stat.eval = with_statement_eval;
1199     ret->stat.next = NULL;
1200     ret->expr = expr;
1201     ret->statement = statement;
1202
1203     return &ret->stat;
1204 }
1205
1206 static statement_t *new_labelled_statement(parser_ctx_t *ctx, const WCHAR *identifier, statement_t *statement)
1207 {
1208     labelled_statement_t *ret = parser_alloc(ctx, sizeof(labelled_statement_t));
1209
1210     ret->stat.eval = labelled_statement_eval;
1211     ret->stat.next = NULL;
1212     ret->identifier = identifier;
1213     ret->statement = statement;
1214
1215     return &ret->stat;
1216 }
1217
1218 static statement_t *new_switch_statement(parser_ctx_t *ctx, expression_t *expr, case_clausule_t *case_list)
1219 {
1220     switch_statement_t *ret = parser_alloc(ctx, sizeof(switch_statement_t));
1221
1222     ret->stat.eval = switch_statement_eval;
1223     ret->stat.next = NULL;
1224     ret->expr = expr;
1225     ret->case_list = case_list;
1226
1227     return &ret->stat;
1228 }
1229
1230 static statement_t *new_throw_statement(parser_ctx_t *ctx, expression_t *expr)
1231 {
1232     expression_statement_t *ret = parser_alloc(ctx, sizeof(expression_statement_t));
1233
1234     ret->stat.eval = throw_statement_eval;
1235     ret->stat.next = NULL;
1236     ret->expr = expr;
1237
1238     return &ret->stat;
1239 }
1240
1241 static statement_t *new_try_statement(parser_ctx_t *ctx, statement_t *try_statement,
1242        catch_block_t *catch_block, statement_t *finally_statement)
1243 {
1244     try_statement_t *ret = parser_alloc(ctx, sizeof(try_statement_t));
1245
1246     ret->stat.eval = try_statement_eval;
1247     ret->stat.next = NULL;
1248     ret->try_statement = try_statement;
1249     ret->catch_block = catch_block;
1250     ret->finally_statement = finally_statement;
1251
1252     return &ret->stat;
1253 }
1254
1255 static parameter_t *new_parameter(parser_ctx_t *ctx, const WCHAR *identifier)
1256 {
1257     parameter_t *ret = parser_alloc(ctx, sizeof(parameter_t));
1258
1259     ret->identifier = identifier;
1260     ret->next = NULL;
1261
1262     return ret;
1263 }
1264
1265 static parameter_list_t *new_parameter_list(parser_ctx_t *ctx, const WCHAR *identifier)
1266 {
1267     parameter_list_t *ret = parser_alloc_tmp(ctx, sizeof(parameter_list_t));
1268
1269     ret->head = ret->tail = new_parameter(ctx, identifier);
1270
1271     return ret;
1272 }
1273
1274 static parameter_list_t *parameter_list_add(parser_ctx_t *ctx, parameter_list_t *list, const WCHAR *identifier)
1275 {
1276     list->tail = list->tail->next = new_parameter(ctx, identifier);
1277
1278     return list;
1279 }
1280
1281 static expression_t *new_function_expression(parser_ctx_t *ctx, const WCHAR *identifier,
1282        parameter_list_t *parameter_list, source_elements_t *source_elements, const WCHAR *src_str, DWORD src_len)
1283 {
1284     function_expression_t *ret = parser_alloc(ctx, sizeof(function_expression_t));
1285
1286     ret->expr.eval = function_expression_eval;
1287     ret->identifier = identifier;
1288     ret->parameter_list = parameter_list ? parameter_list->head : NULL;
1289     ret->source_elements = source_elements;
1290     ret->src_str = src_str;
1291     ret->src_len = src_len;
1292
1293     if(ret->identifier) {
1294         function_declaration_t *decl = parser_alloc(ctx, sizeof(function_declaration_t));
1295
1296         decl->expr = ret;
1297         decl->next = NULL;
1298
1299         if(ctx->func_stack->func_tail)
1300             ctx->func_stack->func_tail = ctx->func_stack->func_tail->next = decl;
1301         else
1302             ctx->func_stack->func_head = ctx->func_stack->func_tail = decl;
1303     }
1304
1305     return &ret->expr;
1306 }
1307
1308 static const expression_eval_t expression_eval_table[] = {
1309    comma_expression_eval,
1310    logical_or_expression_eval,
1311    logical_and_expression_eval,
1312    binary_or_expression_eval,
1313    binary_xor_expression_eval,
1314    binary_and_expression_eval,
1315    instanceof_expression_eval,
1316    in_expression_eval,
1317    add_expression_eval,
1318    sub_expression_eval,
1319    mul_expression_eval,
1320    div_expression_eval,
1321    mod_expression_eval,
1322    delete_expression_eval,
1323    void_expression_eval,
1324    typeof_expression_eval,
1325    minus_expression_eval,
1326    plus_expression_eval,
1327    post_increment_expression_eval,
1328    post_decrement_expression_eval,
1329    pre_increment_expression_eval,
1330    pre_decrement_expression_eval,
1331    equal_expression_eval,
1332    equal2_expression_eval,
1333    not_equal_expression_eval,
1334    not_equal2_expression_eval,
1335    less_expression_eval,
1336    lesseq_expression_eval,
1337    greater_expression_eval,
1338    greatereq_expression_eval,
1339    binary_negation_expression_eval,
1340    logical_negation_expression_eval,
1341    left_shift_expression_eval,
1342    right_shift_expression_eval,
1343    right2_shift_expression_eval,
1344    assign_expression_eval,
1345    assign_lshift_expression_eval,
1346    assign_rshift_expression_eval,
1347    assign_rrshift_expression_eval,
1348    assign_add_expression_eval,
1349    assign_sub_expression_eval,
1350    assign_mul_expression_eval,
1351    assign_div_expression_eval,
1352    assign_mod_expression_eval,
1353    assign_and_expression_eval,
1354    assign_or_expression_eval,
1355    assign_xor_expression_eval,
1356 };
1357
1358 static expression_t *new_binary_expression(parser_ctx_t *ctx, expression_type_t type,
1359        expression_t *expression1, expression_t *expression2)
1360 {
1361     binary_expression_t *ret = parser_alloc(ctx, sizeof(binary_expression_t));
1362
1363     ret->expr.eval = expression_eval_table[type];
1364     ret->expression1 = expression1;
1365     ret->expression2 = expression2;
1366
1367     return &ret->expr;
1368 }
1369
1370 static expression_t *new_unary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *expression)
1371 {
1372     unary_expression_t *ret = parser_alloc(ctx, sizeof(unary_expression_t));
1373
1374     ret->expr.eval = expression_eval_table[type];
1375     ret->expression = expression;
1376
1377     return &ret->expr;
1378 }
1379
1380 static expression_t *new_conditional_expression(parser_ctx_t *ctx, expression_t *expression,
1381        expression_t *true_expression, expression_t *false_expression)
1382 {
1383     conditional_expression_t *ret = parser_alloc(ctx, sizeof(conditional_expression_t));
1384
1385     ret->expr.eval = conditional_expression_eval;
1386     ret->expression = expression;
1387     ret->true_expression = true_expression;
1388     ret->false_expression = false_expression;
1389
1390     return &ret->expr;
1391 }
1392
1393 static expression_t *new_array_expression(parser_ctx_t *ctx, expression_t *member_expr, expression_t *expression)
1394 {
1395     array_expression_t *ret = parser_alloc(ctx, sizeof(array_expression_t));
1396
1397     ret->expr.eval = array_expression_eval;
1398     ret->member_expr = member_expr;
1399     ret->expression = expression;
1400
1401     return &ret->expr;
1402 }
1403
1404 static expression_t *new_member_expression(parser_ctx_t *ctx, expression_t *expression, const WCHAR *identifier)
1405 {
1406     member_expression_t *ret = parser_alloc(ctx, sizeof(member_expression_t));
1407
1408     ret->expr.eval = member_expression_eval;
1409     ret->expression = expression;
1410     ret->identifier = identifier;
1411
1412     return &ret->expr;
1413 }
1414
1415 static expression_t *new_new_expression(parser_ctx_t *ctx, expression_t *expression, argument_list_t *argument_list)
1416 {
1417     call_expression_t *ret = parser_alloc(ctx, sizeof(call_expression_t));
1418
1419     ret->expr.eval = new_expression_eval;
1420     ret->expression = expression;
1421     ret->argument_list = argument_list ? argument_list->head : NULL;
1422
1423     return &ret->expr;
1424 }
1425
1426 static expression_t *new_call_expression(parser_ctx_t *ctx, expression_t *expression, argument_list_t *argument_list)
1427 {
1428     call_expression_t *ret = parser_alloc(ctx, sizeof(call_expression_t));
1429
1430     ret->expr.eval = call_expression_eval;
1431     ret->expression = expression;
1432     ret->argument_list = argument_list ? argument_list->head : NULL;
1433
1434     return &ret->expr;
1435 }
1436
1437 static expression_t *new_this_expression(parser_ctx_t *ctx)
1438 {
1439     expression_t *ret = parser_alloc(ctx, sizeof(expression_t));
1440
1441     ret->eval = this_expression_eval;
1442
1443     return ret;
1444 }
1445
1446 static int parser_error(const char *str)
1447 {
1448     return 0;
1449 }
1450
1451 static void set_error(parser_ctx_t *ctx, UINT error)
1452 {
1453     ctx->hres = error;
1454 }
1455
1456 static BOOL explicit_error(parser_ctx_t *ctx, void *obj, WCHAR next)
1457 {
1458     if(obj || *(ctx->ptr-1)==next) return TRUE;
1459
1460     set_error(ctx, JS_E_SYNTAX);
1461     return FALSE;
1462 }
1463
1464
1465 static expression_t *new_identifier_expression(parser_ctx_t *ctx, const WCHAR *identifier)
1466 {
1467     identifier_expression_t *ret = parser_alloc(ctx, sizeof(identifier_expression_t));
1468
1469     ret->expr.eval = identifier_expression_eval;
1470     ret->identifier = identifier;
1471
1472     return &ret->expr;
1473 }
1474
1475 static expression_t *new_array_literal_expression(parser_ctx_t *ctx, element_list_t *element_list, int length)
1476 {
1477     array_literal_expression_t *ret = parser_alloc(ctx, sizeof(array_literal_expression_t));
1478
1479     ret->expr.eval = array_literal_expression_eval;
1480     ret->element_list = element_list ? element_list->head : NULL;
1481     ret->length = length;
1482
1483     return &ret->expr;
1484 }
1485
1486 static expression_t *new_prop_and_value_expression(parser_ctx_t *ctx, property_list_t *property_list)
1487 {
1488     property_value_expression_t *ret = parser_alloc(ctx, sizeof(property_value_expression_t));
1489
1490     ret->expr.eval = property_value_expression_eval;
1491     ret->property_list = property_list ? property_list->head : NULL;
1492
1493     return &ret->expr;
1494 }
1495
1496 static expression_t *new_literal_expression(parser_ctx_t *ctx, literal_t *literal)
1497 {
1498     literal_expression_t *ret = parser_alloc(ctx, sizeof(literal_expression_t));
1499
1500     ret->expr.eval = literal_expression_eval;
1501     ret->literal = literal;
1502
1503     return &ret->expr;
1504 }
1505
1506 static source_elements_t *new_source_elements(parser_ctx_t *ctx)
1507 {
1508     source_elements_t *ret = parser_alloc(ctx, sizeof(source_elements_t));
1509
1510     memset(ret, 0, sizeof(*ret));
1511
1512     return ret;
1513 }
1514
1515 static source_elements_t *source_elements_add_statement(source_elements_t *source_elements, statement_t *statement)
1516 {
1517     if(source_elements->statement_tail)
1518         source_elements->statement_tail = source_elements->statement_tail->next = statement;
1519     else
1520         source_elements->statement = source_elements->statement_tail = statement;
1521
1522     return source_elements;
1523 }
1524
1525 static statement_list_t *new_statement_list(parser_ctx_t *ctx, statement_t *statement)
1526 {
1527     statement_list_t *ret =  parser_alloc_tmp(ctx, sizeof(statement_list_t));
1528
1529     ret->head = ret->tail = statement;
1530
1531     return ret;
1532 }
1533
1534 static statement_list_t *statement_list_add(statement_list_t *list, statement_t *statement)
1535 {
1536     list->tail = list->tail->next = statement;
1537
1538     return list;
1539 }
1540
1541 static void push_func(parser_ctx_t *ctx)
1542 {
1543     func_stack_t *new_func = parser_alloc_tmp(ctx, sizeof(func_stack_t));
1544
1545     new_func->func_head = new_func->func_tail = NULL;
1546     new_func->var_head = new_func->var_tail = NULL;
1547
1548     new_func->next = ctx->func_stack;
1549     ctx->func_stack = new_func;
1550 }
1551
1552 static source_elements_t *function_body_parsed(parser_ctx_t *ctx, source_elements_t *source)
1553 {
1554     source->functions = ctx->func_stack->func_head;
1555     source->variables = ctx->func_stack->var_head;
1556     pop_func(ctx);
1557
1558     return source;
1559 }
1560
1561 static void program_parsed(parser_ctx_t *ctx, source_elements_t *source)
1562 {
1563     source->functions = ctx->func_stack->func_head;
1564     source->variables = ctx->func_stack->var_head;
1565     pop_func(ctx);
1566
1567     ctx->source = source;
1568     if(!ctx->lexer_error)
1569         ctx->hres = S_OK;
1570 }
1571
1572 void parser_release(parser_ctx_t *ctx)
1573 {
1574     if(--ctx->ref)
1575         return;
1576
1577     script_release(ctx->script);
1578     heap_free(ctx->begin);
1579     jsheap_free(&ctx->heap);
1580     heap_free(ctx);
1581 }
1582
1583 HRESULT script_parse(script_ctx_t *ctx, const WCHAR *code, const WCHAR *delimiter,
1584         parser_ctx_t **ret)
1585 {
1586     parser_ctx_t *parser_ctx;
1587     jsheap_t *mark;
1588     HRESULT hres;
1589
1590     const WCHAR html_tagW[] = {'<','/','s','c','r','i','p','t','>',0};
1591
1592     parser_ctx = heap_alloc_zero(sizeof(parser_ctx_t));
1593     if(!parser_ctx)
1594         return E_OUTOFMEMORY;
1595
1596     parser_ctx->ref = 1;
1597     parser_ctx->hres = JS_E_SYNTAX;
1598     parser_ctx->is_html = delimiter && !strcmpiW(delimiter, html_tagW);
1599
1600     parser_ctx->begin = heap_strdupW(code);
1601     if(!parser_ctx->begin) {
1602         heap_free(parser_ctx);
1603         return E_OUTOFMEMORY;
1604     }
1605
1606     parser_ctx->ptr = parser_ctx->begin;
1607     parser_ctx->end = parser_ctx->begin + strlenW(parser_ctx->begin);
1608
1609     script_addref(ctx);
1610     parser_ctx->script = ctx;
1611
1612     mark = jsheap_mark(&ctx->tmp_heap);
1613     jsheap_init(&parser_ctx->heap);
1614
1615     push_func(parser_ctx);
1616
1617     parser_parse(parser_ctx);
1618     jsheap_clear(mark);
1619     if(FAILED(parser_ctx->hres)) {
1620         hres = parser_ctx->hres;
1621         parser_release(parser_ctx);
1622         return hres;
1623     }
1624
1625     *ret = parser_ctx;
1626     return S_OK;
1627 }