2 * Copyright 2011 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
24 #include "wine/debug.h"
26 WINE_DEFAULT_DEBUG_CHANNEL(vbscript);
28 static int parser_error(parser_ctx_t *,const char*);
30 static void parse_complete(parser_ctx_t*,BOOL);
32 static void source_add_statement(parser_ctx_t*,statement_t*);
33 static void source_add_class(parser_ctx_t*,class_decl_t*);
35 static void *new_expression(parser_ctx_t*,expression_type_t,size_t);
36 static expression_t *new_bool_expression(parser_ctx_t*,VARIANT_BOOL);
37 static expression_t *new_string_expression(parser_ctx_t*,const WCHAR*);
38 static expression_t *new_long_expression(parser_ctx_t*,expression_type_t,LONG);
39 static expression_t *new_double_expression(parser_ctx_t*,double);
40 static expression_t *new_unary_expression(parser_ctx_t*,expression_type_t,expression_t*);
41 static expression_t *new_binary_expression(parser_ctx_t*,expression_type_t,expression_t*,expression_t*);
42 static expression_t *new_new_expression(parser_ctx_t*,const WCHAR*);
44 static member_expression_t *new_member_expression(parser_ctx_t*,expression_t*,const WCHAR*);
46 static void *new_statement(parser_ctx_t*,statement_type_t,size_t);
47 static statement_t *new_call_statement(parser_ctx_t*,BOOL,member_expression_t*);
48 static statement_t *new_assign_statement(parser_ctx_t*,member_expression_t*,expression_t*);
49 static statement_t *new_set_statement(parser_ctx_t*,member_expression_t*,expression_t*);
50 static statement_t *new_dim_statement(parser_ctx_t*,dim_decl_t*);
51 static statement_t *new_while_statement(parser_ctx_t*,statement_type_t,expression_t*,statement_t*);
52 static statement_t *new_forto_statement(parser_ctx_t*,const WCHAR*,expression_t*,expression_t*,expression_t*,statement_t*);
53 static statement_t *new_foreach_statement(parser_ctx_t*,const WCHAR*,expression_t*,statement_t*);
54 static statement_t *new_if_statement(parser_ctx_t*,expression_t*,statement_t*,elseif_decl_t*,statement_t*);
55 static statement_t *new_function_statement(parser_ctx_t*,function_decl_t*);
56 static statement_t *new_onerror_statement(parser_ctx_t*,BOOL);
57 static statement_t *new_const_statement(parser_ctx_t*,const_decl_t*);
58 static statement_t *new_select_statement(parser_ctx_t*,expression_t*,case_clausule_t*);
60 static dim_decl_t *new_dim_decl(parser_ctx_t*,const WCHAR*,BOOL,dim_list_t*);
61 static dim_list_t *new_dim(parser_ctx_t*,unsigned,dim_list_t*);
62 static elseif_decl_t *new_elseif_decl(parser_ctx_t*,expression_t*,statement_t*);
63 static function_decl_t *new_function_decl(parser_ctx_t*,const WCHAR*,function_type_t,unsigned,arg_decl_t*,statement_t*);
64 static arg_decl_t *new_argument_decl(parser_ctx_t*,const WCHAR*,BOOL);
65 static const_decl_t *new_const_decl(parser_ctx_t*,const WCHAR*,expression_t*);
66 static case_clausule_t *new_case_clausule(parser_ctx_t*,expression_t*,statement_t*,case_clausule_t*);
68 static class_decl_t *new_class_decl(parser_ctx_t*);
69 static class_decl_t *add_class_function(parser_ctx_t*,class_decl_t*,function_decl_t*);
70 static class_decl_t *add_dim_prop(parser_ctx_t*,class_decl_t*,dim_decl_t*,unsigned);
72 static statement_t *link_statements(statement_t*,statement_t*);
74 static const WCHAR propertyW[] = {'p','r','o','p','e','r','t','y',0};
76 #define STORAGE_IS_PRIVATE 1
77 #define STORAGE_IS_DEFAULT 2
79 #define CHECK_ERROR if(((parser_ctx_t*)ctx)->hres != S_OK) YYABORT
83 %lex-param { parser_ctx_t *ctx }
84 %parse-param { parser_ctx_t *ctx }
90 statement_t *statement;
91 expression_t *expression;
92 member_expression_t *member;
93 elseif_decl_t *elseif;
96 function_decl_t *func_decl;
98 class_decl_t *class_decl;
99 const_decl_t *const_decl;
100 case_clausule_t *case_clausule;
107 %token tEOF tNL tREM tEMPTYBRACKETS
109 %token tNOT tAND tOR tXOR tEQV tIMP tNEQ
110 %token tIS tLTEQ tGTEQ tMOD
111 %token tCALL tDIM tSUB tFUNCTION tPROPERTY tGET tLET tCONST
112 %token tIF tELSE tELSEIF tEND tTHEN tEXIT
113 %token tWHILE tWEND tDO tLOOP tUNTIL tFOR tTO tSTEP tEACH tIN
116 %token tOPTION tEXPLICIT
118 %token tNOTHING tEMPTY tNULL
119 %token tCLASS tSET tNEW tPUBLIC tPRIVATE tDEFAULT tME
120 %token tERROR tNEXT tON tRESUME tGOTO
121 %token <string> tIdentifier tString
122 %token <lng> tLong tShort
125 %type <statement> Statement SimpleStatement StatementNl StatementsNl StatementsNl_opt IfStatement Else_opt
126 %type <expression> Expression LiteralExpression PrimaryExpression EqualityExpression CallExpression
127 %type <expression> ConcatExpression AdditiveExpression ModExpression IntdivExpression MultiplicativeExpression ExpExpression
128 %type <expression> NotExpression UnaryExpression AndExpression OrExpression XorExpression EqvExpression
129 %type <expression> ConstExpression NumericLiteralExpression
130 %type <member> MemberExpression
131 %type <expression> Arguments_opt ArgumentList ArgumentList_opt Step_opt ExpressionList
132 %type <boolean> OptionExplicit_opt DoType
133 %type <arg_decl> ArgumentsDecl_opt ArgumentDeclList ArgumentDecl
134 %type <func_decl> FunctionDecl PropertyDecl
135 %type <elseif> ElseIfs_opt ElseIfs ElseIf
136 %type <class_decl> ClassDeclaration ClassBody
137 %type <uint> Storage Storage_opt IntegerValue
138 %type <dim_decl> DimDeclList DimDecl
139 %type <dim_list> DimList
140 %type <const_decl> ConstDecl ConstDeclList
141 %type <string> Identifier
142 %type <case_clausule> CaseClausules
147 : OptionExplicit_opt SourceElements tEOF { parse_complete(ctx, $1); }
150 : /* empty */ { $$ = FALSE; }
151 | tOPTION tEXPLICIT tNL { $$ = TRUE; }
155 | SourceElements StatementNl { source_add_statement(ctx, $2); }
156 | SourceElements ClassDeclaration { source_add_class(ctx, $2); }
159 : /* empty */ { $$ = NULL; }
160 | StatementsNl { $$ = $1; }
163 : StatementNl { $$ = $1; }
164 | StatementNl StatementsNl { $$ = link_statements($1, $2); }
167 : Statement tNL { $$ = $1; }
171 | ':' Statement { $$ = $2; }
172 | SimpleStatement { $$ = $1; }
173 | SimpleStatement ':' Statement { $1->next = $3; $$ = $1; }
174 | SimpleStatement ':' { $$ = $1; }
177 : MemberExpression ArgumentList_opt { $1->args = $2; $$ = new_call_statement(ctx, FALSE, $1); CHECK_ERROR; }
178 | tCALL MemberExpression Arguments_opt { $2->args = $3; $$ = new_call_statement(ctx, TRUE, $2); CHECK_ERROR; }
179 | MemberExpression Arguments_opt '=' Expression
180 { $1->args = $2; $$ = new_assign_statement(ctx, $1, $4); CHECK_ERROR; }
181 | tDIM DimDeclList { $$ = new_dim_statement(ctx, $2); CHECK_ERROR; }
182 | IfStatement { $$ = $1; }
183 | tWHILE Expression tNL StatementsNl_opt tWEND
184 { $$ = new_while_statement(ctx, STAT_WHILE, $2, $4); CHECK_ERROR; }
185 | tDO DoType Expression tNL StatementsNl_opt tLOOP
186 { $$ = new_while_statement(ctx, $2 ? STAT_WHILELOOP : STAT_UNTIL, $3, $5);
188 | tDO tNL StatementsNl_opt tLOOP DoType Expression
189 { $$ = new_while_statement(ctx, $5 ? STAT_DOWHILE : STAT_DOUNTIL, $6, $3);
191 | tDO tNL StatementsNl_opt tLOOP { $$ = new_while_statement(ctx, STAT_DOWHILE, NULL, $3); CHECK_ERROR; }
192 | FunctionDecl { $$ = new_function_statement(ctx, $1); CHECK_ERROR; }
193 | tEXIT tDO { $$ = new_statement(ctx, STAT_EXITDO, 0); CHECK_ERROR; }
194 | tEXIT tFOR { $$ = new_statement(ctx, STAT_EXITFOR, 0); CHECK_ERROR; }
195 | tEXIT tFUNCTION { $$ = new_statement(ctx, STAT_EXITFUNC, 0); CHECK_ERROR; }
196 | tEXIT tPROPERTY { $$ = new_statement(ctx, STAT_EXITPROP, 0); CHECK_ERROR; }
197 | tEXIT tSUB { $$ = new_statement(ctx, STAT_EXITSUB, 0); CHECK_ERROR; }
198 | tSET MemberExpression Arguments_opt '=' Expression
199 { $2->args = $3; $$ = new_set_statement(ctx, $2, $5); CHECK_ERROR; }
200 | tSTOP { $$ = new_statement(ctx, STAT_STOP, 0); CHECK_ERROR; }
201 | tON tERROR tRESUME tNEXT { $$ = new_onerror_statement(ctx, TRUE); CHECK_ERROR; }
202 | tON tERROR tGOTO '0' { $$ = new_onerror_statement(ctx, FALSE); CHECK_ERROR; }
203 | tCONST ConstDeclList { $$ = new_const_statement(ctx, $2); CHECK_ERROR; }
204 | tFOR Identifier '=' Expression tTO Expression Step_opt tNL StatementsNl_opt tNEXT
205 { $$ = new_forto_statement(ctx, $2, $4, $6, $7, $9); CHECK_ERROR; }
206 | tFOR tEACH Identifier tIN Expression tNL StatementsNl_opt tNEXT
207 { $$ = new_foreach_statement(ctx, $3, $5, $7); }
208 | tSELECT tCASE Expression StSep CaseClausules tEND tSELECT
209 { $$ = new_select_statement(ctx, $3, $5); }
212 : Identifier { $$ = new_member_expression(ctx, NULL, $1); CHECK_ERROR; }
213 | CallExpression '.' Identifier { $$ = new_member_expression(ctx, $1, $3); CHECK_ERROR; }
216 : DimDecl { $$ = $1; }
217 | DimDecl ',' DimDeclList { $1->next = $3; $$ = $1; }
220 : Identifier { $$ = new_dim_decl(ctx, $1, FALSE, NULL); CHECK_ERROR; }
221 | Identifier '(' DimList ')' { $$ = new_dim_decl(ctx, $1, TRUE, $3); CHECK_ERROR; }
222 | Identifier tEMPTYBRACKETS { $$ = new_dim_decl(ctx, $1, TRUE, NULL); CHECK_ERROR; }
225 : IntegerValue { $$ = new_dim(ctx, $1, NULL); }
226 | IntegerValue ',' DimList { $$ = new_dim(ctx, $1, $3); }
229 : ConstDecl { $$ = $1; }
230 | ConstDecl ',' ConstDeclList { $1->next = $3; $$ = $1; }
233 : Identifier '=' ConstExpression { $$ = new_const_decl(ctx, $1, $3); CHECK_ERROR; }
236 : LiteralExpression { $$ = $1; }
237 | '-' NumericLiteralExpression { $$ = new_unary_expression(ctx, EXPR_NEG, $2); CHECK_ERROR; }
240 : tWHILE { $$ = TRUE; }
241 | tUNTIL { $$ = FALSE; }
244 : /* empty */ { $$ = NULL;}
245 | tSTEP Expression { $$ = $2; }
248 : tIF Expression tTHEN tNL StatementsNl_opt ElseIfs_opt Else_opt tEND tIF
249 { $$ = new_if_statement(ctx, $2, $5, $6, $7); CHECK_ERROR; }
250 | tIF Expression tTHEN Statement EndIf_opt { $$ = new_if_statement(ctx, $2, $4, NULL, NULL); CHECK_ERROR; }
251 | tIF Expression tTHEN Statement tELSE Statement EndIf_opt
252 { $$ = new_if_statement(ctx, $2, $4, NULL, $6); CHECK_ERROR; }
259 : /* empty */ { $$ = NULL; }
260 | ElseIfs { $$ = $1; }
263 : ElseIf { $$ = $1; }
264 | ElseIf ElseIfs { $1->next = $2; $$ = $1; }
267 : tELSEIF Expression tTHEN tNL StatementsNl_opt
268 { $$ = new_elseif_decl(ctx, $2, $5); }
271 : /* empty */ { $$ = NULL; }
272 | tELSE tNL StatementsNl_opt { $$ = $3; }
275 : /* empty */ { $$ = NULL; }
276 | tCASE tELSE StSep StatementsNl { $$ = new_case_clausule(ctx, NULL, $4, NULL); }
277 | tCASE ExpressionList StSep StatementsNl_opt CaseClausules
278 { $$ = new_case_clausule(ctx, $2, $4, $5); }
281 : EmptyBrackets_opt { $$ = NULL; }
282 | '(' ArgumentList ')' { $$ = $2; }
285 : EmptyBrackets_opt { $$ = NULL; }
286 | ArgumentList { $$ = $1; }
289 : Expression { $$ = $1; }
290 | Expression ',' ArgumentList { $1->next = $3; $$ = $1; }
291 | ',' ArgumentList { $$ = new_expression(ctx, EXPR_NOARG, 0); CHECK_ERROR; $$->next = $2; }
298 : Expression { $$ = $1; }
299 | Expression ',' ExpressionList { $1->next = $3; $$ = $1; }
302 : EqvExpression { $$ = $1; }
303 | Expression tIMP EqvExpression { $$ = new_binary_expression(ctx, EXPR_IMP, $1, $3); CHECK_ERROR; }
306 : XorExpression { $$ = $1; }
307 | EqvExpression tEQV XorExpression { $$ = new_binary_expression(ctx, EXPR_EQV, $1, $3); CHECK_ERROR; }
310 : OrExpression { $$ = $1; }
311 | XorExpression tXOR OrExpression { $$ = new_binary_expression(ctx, EXPR_XOR, $1, $3); CHECK_ERROR; }
314 : AndExpression { $$ = $1; }
315 | OrExpression tOR AndExpression { $$ = new_binary_expression(ctx, EXPR_OR, $1, $3); CHECK_ERROR; }
318 : NotExpression { $$ = $1; }
319 | AndExpression tAND NotExpression { $$ = new_binary_expression(ctx, EXPR_AND, $1, $3); CHECK_ERROR; }
322 : EqualityExpression { $$ = $1; }
323 | tNOT NotExpression { $$ = new_unary_expression(ctx, EXPR_NOT, $2); CHECK_ERROR; }
326 : ConcatExpression { $$ = $1; }
327 | EqualityExpression '=' ConcatExpression { $$ = new_binary_expression(ctx, EXPR_EQUAL, $1, $3); CHECK_ERROR; }
328 | EqualityExpression tNEQ ConcatExpression { $$ = new_binary_expression(ctx, EXPR_NEQUAL, $1, $3); CHECK_ERROR; }
329 | EqualityExpression '>' ConcatExpression { $$ = new_binary_expression(ctx, EXPR_GT, $1, $3); CHECK_ERROR; }
330 | EqualityExpression '<' ConcatExpression { $$ = new_binary_expression(ctx, EXPR_LT, $1, $3); CHECK_ERROR; }
331 | EqualityExpression tGTEQ ConcatExpression { $$ = new_binary_expression(ctx, EXPR_GTEQ, $1, $3); CHECK_ERROR; }
332 | EqualityExpression tLTEQ ConcatExpression { $$ = new_binary_expression(ctx, EXPR_LTEQ, $1, $3); CHECK_ERROR; }
333 | EqualityExpression tIS ConcatExpression { $$ = new_binary_expression(ctx, EXPR_IS, $1, $3); CHECK_ERROR; }
336 : AdditiveExpression { $$ = $1; }
337 | ConcatExpression '&' AdditiveExpression { $$ = new_binary_expression(ctx, EXPR_CONCAT, $1, $3); CHECK_ERROR; }
340 : ModExpression { $$ = $1; }
341 | AdditiveExpression '+' ModExpression { $$ = new_binary_expression(ctx, EXPR_ADD, $1, $3); CHECK_ERROR; }
342 | AdditiveExpression '-' ModExpression { $$ = new_binary_expression(ctx, EXPR_SUB, $1, $3); CHECK_ERROR; }
345 : IntdivExpression { $$ = $1; }
346 | ModExpression tMOD IntdivExpression { $$ = new_binary_expression(ctx, EXPR_MOD, $1, $3); CHECK_ERROR; }
349 : MultiplicativeExpression { $$ = $1; }
350 | IntdivExpression '\\' MultiplicativeExpression
351 { $$ = new_binary_expression(ctx, EXPR_IDIV, $1, $3); CHECK_ERROR; }
353 MultiplicativeExpression
354 : ExpExpression { $$ = $1; }
355 | MultiplicativeExpression '*' ExpExpression
356 { $$ = new_binary_expression(ctx, EXPR_MUL, $1, $3); CHECK_ERROR; }
357 | MultiplicativeExpression '/' ExpExpression
358 { $$ = new_binary_expression(ctx, EXPR_DIV, $1, $3); CHECK_ERROR; }
361 : UnaryExpression { $$ = $1; }
362 | ExpExpression '^' UnaryExpression { $$ = new_binary_expression(ctx, EXPR_EXP, $1, $3); CHECK_ERROR; }
365 : LiteralExpression { $$ = $1; }
366 | CallExpression { $$ = $1; }
367 | tNEW Identifier { $$ = new_new_expression(ctx, $2); CHECK_ERROR; }
368 | '-' UnaryExpression { $$ = new_unary_expression(ctx, EXPR_NEG, $2); CHECK_ERROR; }
371 : PrimaryExpression { $$ = $1; }
372 | MemberExpression Arguments_opt { $1->args = $2; $$ = &$1->expr; }
375 : tTRUE { $$ = new_bool_expression(ctx, VARIANT_TRUE); CHECK_ERROR; }
376 | tFALSE { $$ = new_bool_expression(ctx, VARIANT_FALSE); CHECK_ERROR; }
377 | tString { $$ = new_string_expression(ctx, $1); CHECK_ERROR; }
378 | NumericLiteralExpression { $$ = $1; }
379 | tEMPTY { $$ = new_expression(ctx, EXPR_EMPTY, 0); CHECK_ERROR; }
380 | tNULL { $$ = new_expression(ctx, EXPR_NULL, 0); CHECK_ERROR; }
381 | tNOTHING { $$ = new_expression(ctx, EXPR_NOTHING, 0); CHECK_ERROR; }
383 NumericLiteralExpression
384 : tShort { $$ = new_long_expression(ctx, EXPR_USHORT, $1); CHECK_ERROR; }
385 | '0' { $$ = new_long_expression(ctx, EXPR_USHORT, 0); CHECK_ERROR; }
386 | tLong { $$ = new_long_expression(ctx, EXPR_ULONG, $1); CHECK_ERROR; }
387 | tDouble { $$ = new_double_expression(ctx, $1); CHECK_ERROR; }
390 : tShort { $$ = $1; }
395 : '(' Expression ')' { $$ = new_unary_expression(ctx, EXPR_BRACKETS, $2); }
396 | tME { $$ = new_expression(ctx, EXPR_ME, 0); CHECK_ERROR; }
399 : tCLASS Identifier tNL ClassBody tEND tCLASS tNL { $4->name = $2; $$ = $4; }
402 : /* empty */ { $$ = new_class_decl(ctx); }
403 | FunctionDecl tNL ClassBody { $$ = add_class_function(ctx, $3, $1); CHECK_ERROR; }
404 /* FIXME: We should use DimDecl here to support arrays, but that conflicts with PropertyDecl. */
405 | Storage tIdentifier tNL ClassBody { dim_decl_t *dim_decl = new_dim_decl(ctx, $2, FALSE, NULL); CHECK_ERROR;
406 $$ = add_dim_prop(ctx, $4, dim_decl, $1); CHECK_ERROR; }
407 | tDIM DimDecl tNL ClassBody { $$ = add_dim_prop(ctx, $4, $2, 0); CHECK_ERROR; }
408 | PropertyDecl tNL ClassBody { $$ = add_class_function(ctx, $3, $1); CHECK_ERROR; }
411 : Storage_opt tPROPERTY tGET tIdentifier ArgumentsDecl_opt tNL StatementsNl_opt tEND tPROPERTY
412 { $$ = new_function_decl(ctx, $4, FUNC_PROPGET, $1, $5, $7); CHECK_ERROR; }
413 | Storage_opt tPROPERTY tLET tIdentifier '(' ArgumentDecl ')' tNL StatementsNl_opt tEND tPROPERTY
414 { $$ = new_function_decl(ctx, $4, FUNC_PROPLET, $1, $6, $9); CHECK_ERROR; }
415 | Storage_opt tPROPERTY tSET tIdentifier '(' ArgumentDecl ')' tNL StatementsNl_opt tEND tPROPERTY
416 { $$ = new_function_decl(ctx, $4, FUNC_PROPSET, $1, $6, $9); CHECK_ERROR; }
419 : Storage_opt tSUB Identifier ArgumentsDecl_opt tNL StatementsNl_opt tEND tSUB
420 { $$ = new_function_decl(ctx, $3, FUNC_SUB, $1, $4, $6); CHECK_ERROR; }
421 | Storage_opt tFUNCTION Identifier ArgumentsDecl_opt tNL StatementsNl_opt tEND tFUNCTION
422 { $$ = new_function_decl(ctx, $3, FUNC_FUNCTION, $1, $4, $6); CHECK_ERROR; }
425 : /* empty*/ { $$ = 0; }
426 | Storage { $$ = $1; }
429 : tPUBLIC tDEFAULT { $$ = STORAGE_IS_DEFAULT; }
430 | tPUBLIC { $$ = 0; }
431 | tPRIVATE { $$ = STORAGE_IS_PRIVATE; }
434 : EmptyBrackets_opt { $$ = NULL; }
435 | '(' ArgumentDeclList ')' { $$ = $2; }
438 : ArgumentDecl { $$ = $1; }
439 | ArgumentDecl ',' ArgumentDeclList { $1->next = $3; $$ = $1; }
442 : Identifier EmptyBrackets_opt { $$ = new_argument_decl(ctx, $1, TRUE); }
443 | tBYREF Identifier EmptyBrackets_opt { $$ = new_argument_decl(ctx, $2, TRUE); }
444 | tBYVAL Identifier EmptyBrackets_opt { $$ = new_argument_decl(ctx, $2, FALSE); }
446 /* 'property' may be both keyword and identifier, depending on context */
448 : tIdentifier { $$ = $1; }
449 | tPROPERTY { $$ = propertyW; }
451 /* Some statements accept both new line and ':' as a separator */
458 static int parser_error(parser_ctx_t *ctx, const char *str)
463 static void source_add_statement(parser_ctx_t *ctx, statement_t *stat)
469 ctx->stats_tail->next = stat;
470 ctx->stats_tail = stat;
472 ctx->stats = ctx->stats_tail = stat;
476 static void source_add_class(parser_ctx_t *ctx, class_decl_t *class_decl)
478 class_decl->next = ctx->class_decls;
479 ctx->class_decls = class_decl;
482 static void parse_complete(parser_ctx_t *ctx, BOOL option_explicit)
484 ctx->parse_complete = TRUE;
485 ctx->option_explicit = option_explicit;
488 static void *new_expression(parser_ctx_t *ctx, expression_type_t type, size_t size)
492 expr = parser_alloc(ctx, size ? size : sizeof(*expr));
501 static expression_t *new_bool_expression(parser_ctx_t *ctx, VARIANT_BOOL value)
503 bool_expression_t *expr;
505 expr = new_expression(ctx, EXPR_BOOL, sizeof(*expr));
513 static expression_t *new_string_expression(parser_ctx_t *ctx, const WCHAR *value)
515 string_expression_t *expr;
517 expr = new_expression(ctx, EXPR_STRING, sizeof(*expr));
525 static expression_t *new_long_expression(parser_ctx_t *ctx, expression_type_t type, LONG value)
527 int_expression_t *expr;
529 expr = new_expression(ctx, type, sizeof(*expr));
537 static expression_t *new_double_expression(parser_ctx_t *ctx, double value)
539 double_expression_t *expr;
541 expr = new_expression(ctx, EXPR_DOUBLE, sizeof(*expr));
549 static expression_t *new_unary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *subexpr)
551 unary_expression_t *expr;
553 expr = new_expression(ctx, type, sizeof(*expr));
557 expr->subexpr = subexpr;
561 static expression_t *new_binary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *left, expression_t *right)
563 binary_expression_t *expr;
565 expr = new_expression(ctx, type, sizeof(*expr));
574 static member_expression_t *new_member_expression(parser_ctx_t *ctx, expression_t *obj_expr, const WCHAR *identifier)
576 member_expression_t *expr;
578 expr = new_expression(ctx, EXPR_MEMBER, sizeof(*expr));
582 expr->obj_expr = obj_expr;
583 expr->identifier = identifier;
588 static expression_t *new_new_expression(parser_ctx_t *ctx, const WCHAR *identifier)
590 string_expression_t *expr;
592 expr = new_expression(ctx, EXPR_NEW, sizeof(*expr));
596 expr->value = identifier;
600 static void *new_statement(parser_ctx_t *ctx, statement_type_t type, size_t size)
604 stat = parser_alloc(ctx, size ? size : sizeof(*stat));
613 static statement_t *new_call_statement(parser_ctx_t *ctx, BOOL is_strict, member_expression_t *expr)
615 call_statement_t *stat;
617 stat = new_statement(ctx, STAT_CALL, sizeof(*stat));
622 stat->is_strict = is_strict;
626 static statement_t *new_assign_statement(parser_ctx_t *ctx, member_expression_t *left, expression_t *right)
628 assign_statement_t *stat;
630 stat = new_statement(ctx, STAT_ASSIGN, sizeof(*stat));
634 stat->member_expr = left;
635 stat->value_expr = right;
639 static statement_t *new_set_statement(parser_ctx_t *ctx, member_expression_t *left, expression_t *right)
641 assign_statement_t *stat;
643 stat = new_statement(ctx, STAT_SET, sizeof(*stat));
647 stat->member_expr = left;
648 stat->value_expr = right;
652 static dim_decl_t *new_dim_decl(parser_ctx_t *ctx, const WCHAR *name, BOOL is_array, dim_list_t *dims)
656 decl = parser_alloc(ctx, sizeof(*decl));
661 decl->is_array = is_array;
667 static dim_list_t *new_dim(parser_ctx_t *ctx, unsigned val, dim_list_t *next)
671 ret = parser_alloc(ctx, sizeof(*ret));
680 static statement_t *new_dim_statement(parser_ctx_t *ctx, dim_decl_t *decls)
682 dim_statement_t *stat;
684 stat = new_statement(ctx, STAT_DIM, sizeof(*stat));
688 stat->dim_decls = decls;
692 static elseif_decl_t *new_elseif_decl(parser_ctx_t *ctx, expression_t *expr, statement_t *stat)
696 decl = parser_alloc(ctx, sizeof(*decl));
706 static statement_t *new_while_statement(parser_ctx_t *ctx, statement_type_t type, expression_t *expr, statement_t *body)
708 while_statement_t *stat;
710 stat = new_statement(ctx, type, sizeof(*stat));
719 static statement_t *new_forto_statement(parser_ctx_t *ctx, const WCHAR *identifier, expression_t *from_expr,
720 expression_t *to_expr, expression_t *step_expr, statement_t *body)
722 forto_statement_t *stat;
724 stat = new_statement(ctx, STAT_FORTO, sizeof(*stat));
728 stat->identifier = identifier;
729 stat->from_expr = from_expr;
730 stat->to_expr = to_expr;
731 stat->step_expr = step_expr;
736 static statement_t *new_foreach_statement(parser_ctx_t *ctx, const WCHAR *identifier, expression_t *group_expr,
739 foreach_statement_t *stat;
741 stat = new_statement(ctx, STAT_FOREACH, sizeof(*stat));
745 stat->identifier = identifier;
746 stat->group_expr = group_expr;
751 static statement_t *new_if_statement(parser_ctx_t *ctx, expression_t *expr, statement_t *if_stat, elseif_decl_t *elseif_decl,
752 statement_t *else_stat)
754 if_statement_t *stat;
756 stat = new_statement(ctx, STAT_IF, sizeof(*stat));
761 stat->if_stat = if_stat;
762 stat->elseifs = elseif_decl;
763 stat->else_stat = else_stat;
767 static statement_t *new_select_statement(parser_ctx_t *ctx, expression_t *expr, case_clausule_t *case_clausules)
769 select_statement_t *stat;
771 stat = new_statement(ctx, STAT_SELECT, sizeof(*stat));
776 stat->case_clausules = case_clausules;
780 static case_clausule_t *new_case_clausule(parser_ctx_t *ctx, expression_t *expr, statement_t *stat, case_clausule_t *next)
782 case_clausule_t *ret;
784 ret = parser_alloc(ctx, sizeof(*ret));
794 static statement_t *new_onerror_statement(parser_ctx_t *ctx, BOOL resume_next)
796 onerror_statement_t *stat;
798 stat = new_statement(ctx, STAT_ONERROR, sizeof(*stat));
802 stat->resume_next = resume_next;
806 static arg_decl_t *new_argument_decl(parser_ctx_t *ctx, const WCHAR *name, BOOL by_ref)
808 arg_decl_t *arg_decl;
810 arg_decl = parser_alloc(ctx, sizeof(*arg_decl));
814 arg_decl->name = name;
815 arg_decl->by_ref = by_ref;
816 arg_decl->next = NULL;
820 static function_decl_t *new_function_decl(parser_ctx_t *ctx, const WCHAR *name, function_type_t type,
821 unsigned storage_flags, arg_decl_t *arg_decl, statement_t *body)
823 function_decl_t *decl;
825 if(storage_flags & STORAGE_IS_DEFAULT) {
826 if(type == FUNC_PROPGET) {
829 FIXME("Invalid default property\n");
835 decl = parser_alloc(ctx, sizeof(*decl));
841 decl->is_public = !(storage_flags & STORAGE_IS_PRIVATE);
842 decl->args = arg_decl;
845 decl->next_prop_func = NULL;
849 static statement_t *new_function_statement(parser_ctx_t *ctx, function_decl_t *decl)
851 function_statement_t *stat;
853 stat = new_statement(ctx, STAT_FUNC, sizeof(*stat));
857 stat->func_decl = decl;
861 static class_decl_t *new_class_decl(parser_ctx_t *ctx)
863 class_decl_t *class_decl;
865 class_decl = parser_alloc(ctx, sizeof(*class_decl));
869 class_decl->funcs = NULL;
870 class_decl->props = NULL;
871 class_decl->next = NULL;
875 static class_decl_t *add_class_function(parser_ctx_t *ctx, class_decl_t *class_decl, function_decl_t *decl)
877 function_decl_t *iter;
879 for(iter = class_decl->funcs; iter; iter = iter->next) {
880 if(!strcmpiW(iter->name, decl->name)) {
881 if(decl->type == FUNC_SUB || decl->type == FUNC_FUNCTION) {
882 FIXME("Redefinition of %s::%s\n", debugstr_w(class_decl->name), debugstr_w(decl->name));
888 if(iter->type == decl->type) {
889 FIXME("Redefinition of %s::%s\n", debugstr_w(class_decl->name), debugstr_w(decl->name));
893 if(!iter->next_prop_func)
895 iter = iter->next_prop_func;
898 iter->next_prop_func = decl;
903 decl->next = class_decl->funcs;
904 class_decl->funcs = decl;
908 static class_decl_t *add_dim_prop(parser_ctx_t *ctx, class_decl_t *class_decl, dim_decl_t *dim_decl, unsigned storage_flags)
910 if(storage_flags & STORAGE_IS_DEFAULT) {
911 FIXME("variant prop van't be default value\n");
916 dim_decl->is_public = !(storage_flags & STORAGE_IS_PRIVATE);
917 dim_decl->next = class_decl->props;
918 class_decl->props = dim_decl;
922 static const_decl_t *new_const_decl(parser_ctx_t *ctx, const WCHAR *name, expression_t *expr)
926 decl = parser_alloc(ctx, sizeof(*decl));
931 decl->value_expr = expr;
936 static statement_t *new_const_statement(parser_ctx_t *ctx, const_decl_t *decls)
938 const_statement_t *stat;
940 stat = new_statement(ctx, STAT_CONST, sizeof(*stat));
948 static statement_t *link_statements(statement_t *head, statement_t *tail)
952 for(iter = head; iter->next; iter = iter->next);
958 void *parser_alloc(parser_ctx_t *ctx, size_t size)
962 ret = heap_pool_alloc(&ctx->heap, size);
964 ctx->hres = E_OUTOFMEMORY;
968 HRESULT parse_script(parser_ctx_t *ctx, const WCHAR *code, const WCHAR *delimiter)
970 const WCHAR html_delimiterW[] = {'<','/','s','c','r','i','p','t','>',0};
972 ctx->code = ctx->ptr = code;
973 ctx->end = ctx->code + strlenW(ctx->code);
975 heap_pool_init(&ctx->heap);
977 ctx->parse_complete = FALSE;
980 ctx->last_token = tNL;
982 ctx->stats = ctx->stats_tail = NULL;
983 ctx->class_decls = NULL;
984 ctx->option_explicit = FALSE;
985 ctx->is_html = delimiter && !strcmpiW(delimiter, html_delimiterW);
989 if(FAILED(ctx->hres))
991 if(!ctx->parse_complete) {
992 FIXME("parser failed around %s\n", debugstr_w(ctx->code+20 > ctx->ptr ? ctx->code : ctx->ptr-20));
999 void parser_release(parser_ctx_t *ctx)
1001 heap_pool_free(&ctx->heap);