parser.y 40.4 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
/*
 * Copyright 2011 Jacek Caban for CodeWeavers
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
 */

%{

#include "vbscript.h"
#include "parse.h"

#include "wine/debug.h"

WINE_DEFAULT_DEBUG_CHANNEL(vbscript);

28
static int parser_error(parser_ctx_t *,const char*);
29

30
static void parse_complete(parser_ctx_t*,BOOL);
31
static void handle_isexpression_script(parser_ctx_t *ctx, expression_t *expr);
32

33
static void source_add_statement(parser_ctx_t*,statement_t*);
34
static void source_add_class(parser_ctx_t*,class_decl_t*);
35

36
static void *new_expression(parser_ctx_t*,expression_type_t,size_t);
37
static expression_t *new_bool_expression(parser_ctx_t*,VARIANT_BOOL);
38
static expression_t *new_string_expression(parser_ctx_t*,const WCHAR*);
39 40
static expression_t *new_long_expression(parser_ctx_t*,expression_type_t,LONG);
static expression_t *new_double_expression(parser_ctx_t*,double);
41
static expression_t *new_unary_expression(parser_ctx_t*,expression_type_t,expression_t*);
42
static expression_t *new_binary_expression(parser_ctx_t*,expression_type_t,expression_t*,expression_t*);
43
static expression_t *new_new_expression(parser_ctx_t*,const WCHAR*);
44

45
static member_expression_t *new_member_expression(parser_ctx_t*,expression_t*,const WCHAR*);
46
static call_expression_t *new_call_expression(parser_ctx_t*,expression_t*,expression_t*);
47
static call_expression_t *make_call_expression(parser_ctx_t*,expression_t*,expression_t*);
48

49
static void *new_statement(parser_ctx_t*,statement_type_t,size_t);
50 51 52
static statement_t *new_call_statement(parser_ctx_t*,BOOL,expression_t*);
static statement_t *new_assign_statement(parser_ctx_t*,expression_t*,expression_t*);
static statement_t *new_set_statement(parser_ctx_t*,member_expression_t*,expression_t*,expression_t*);
53
static statement_t *new_dim_statement(parser_ctx_t*,dim_decl_t*);
54
static statement_t *new_redim_statement(parser_ctx_t*,const WCHAR*,BOOL,expression_t*);
55
static statement_t *new_while_statement(parser_ctx_t*,statement_type_t,expression_t*,statement_t*);
56
static statement_t *new_forto_statement(parser_ctx_t*,const WCHAR*,expression_t*,expression_t*,expression_t*,statement_t*);
57
static statement_t *new_foreach_statement(parser_ctx_t*,const WCHAR*,expression_t*,statement_t*);
58 59
static statement_t *new_if_statement(parser_ctx_t*,expression_t*,statement_t*,elseif_decl_t*,statement_t*);
static statement_t *new_function_statement(parser_ctx_t*,function_decl_t*);
60
static statement_t *new_onerror_statement(parser_ctx_t*,BOOL);
61
static statement_t *new_const_statement(parser_ctx_t*,const_decl_t*);
62
static statement_t *new_select_statement(parser_ctx_t*,expression_t*,case_clausule_t*);
63
static statement_t *new_with_statement(parser_ctx_t*,expression_t*,statement_t*);
64

65 66
static dim_decl_t *new_dim_decl(parser_ctx_t*,const WCHAR*,BOOL,dim_list_t*);
static dim_list_t *new_dim(parser_ctx_t*,unsigned,dim_list_t*);
67
static elseif_decl_t *new_elseif_decl(parser_ctx_t*,expression_t*,statement_t*);
68
static function_decl_t *new_function_decl(parser_ctx_t*,const WCHAR*,function_type_t,unsigned,arg_decl_t*,statement_t*);
69
static arg_decl_t *new_argument_decl(parser_ctx_t*,const WCHAR*,BOOL);
70
static const_decl_t *new_const_decl(parser_ctx_t*,const WCHAR*,expression_t*);
71
static case_clausule_t *new_case_clausule(parser_ctx_t*,expression_t*,statement_t*,case_clausule_t*);
72

73
static class_decl_t *new_class_decl(parser_ctx_t*);
74
static class_decl_t *add_class_function(parser_ctx_t*,class_decl_t*,function_decl_t*);
75
static class_decl_t *add_dim_prop(parser_ctx_t*,class_decl_t*,dim_decl_t*,unsigned);
76

77 78
static statement_t *link_statements(statement_t*,statement_t*);

79 80 81
#define STORAGE_IS_PRIVATE    1
#define STORAGE_IS_DEFAULT    2

82 83
#define CHECK_ERROR if(((parser_ctx_t*)ctx)->hres != S_OK) YYABORT

84 85
%}

86 87
%lex-param { parser_ctx_t *ctx }
%parse-param { parser_ctx_t *ctx }
88
%define api.pure
89 90 91 92
%start Program

%union {
    const WCHAR *string;
93
    statement_t *statement;
94
    expression_t *expression;
95
    member_expression_t *member;
96
    elseif_decl_t *elseif;
97
    dim_decl_t *dim_decl;
98
    dim_list_t *dim_list;
99 100
    function_decl_t *func_decl;
    arg_decl_t *arg_decl;
101
    class_decl_t *class_decl;
102
    const_decl_t *const_decl;
103
    case_clausule_t *case_clausule;
104
    unsigned uint;
105
    LONG integer;
106
    BOOL boolean;
107
    double dbl;
108 109
}

110
%token tEXPRESSION tEOF tNL tEMPTYBRACKETS tEXPRLBRACKET
111
%token tLTEQ tGTEQ tNEQ
112
%token tSTOP tME tREM tDOT
113 114 115
%token <string> tTRUE tFALSE
%token <string> tNOT tAND tOR tXOR tEQV tIMP
%token <string> tIS tMOD
116 117
%token <string> tCALL tSUB tFUNCTION tGET tLET tCONST
%token <string> tDIM tREDIM tPRESERVE
118 119
%token <string> tIF tELSE tELSEIF tEND tTHEN tEXIT
%token <string> tWHILE tWEND tDO tLOOP tUNTIL tFOR tTO tEACH tIN
120
%token <string> tSELECT tCASE tWITH
121 122 123 124 125
%token <string> tBYREF tBYVAL
%token <string> tOPTION
%token <string> tNOTHING tEMPTY tNULL
%token <string> tCLASS tSET tNEW tPUBLIC tPRIVATE
%token <string> tNEXT tON tRESUME tGOTO
126
%token <string> tIdentifier tString
127
%token <string> tDEFAULT tERROR tEXPLICIT tPROPERTY tSTEP
128
%token <integer> tInt
129
%token <dbl> tDouble
130

131
%type <statement> Statement SimpleStatement StatementNl StatementsNl StatementsNl_opt BodyStatements IfStatement Else_opt
132
%type <expression> Expression LiteralExpression PrimaryExpression EqualityExpression CallExpression ExpressionNl_opt
133
%type <expression> ConcatExpression AdditiveExpression ModExpression IntdivExpression MultiplicativeExpression ExpExpression
134
%type <expression> NotExpression UnaryExpression AndExpression OrExpression XorExpression EqvExpression SignExpression
135
%type <expression> ConstExpression NumericLiteralExpression
136
%type <member> MemberExpression
137
%type <expression> Arguments Arguments_opt ArgumentList ArgumentList_opt Step_opt ExpressionList
138
%type <boolean> OptionExplicit_opt DoType Preserve_opt
139
%type <arg_decl> ArgumentsDecl_opt ArgumentDeclList ArgumentDecl
140
%type <func_decl> FunctionDecl PropertyDecl
141
%type <elseif> ElseIfs_opt ElseIfs ElseIf
142
%type <class_decl> ClassDeclaration ClassBody
143 144 145
%type <uint> Storage Storage_opt IntegerValue
%type <dim_decl> DimDeclList DimDecl
%type <dim_list> DimList
146
%type <const_decl> ConstDecl ConstDeclList
147
%type <string> Identifier
148
%type <case_clausule> CaseClausules
149

150 151
%%

152
Program
153
    : OptionExplicit_opt SourceElements tEOF    { parse_complete(ctx, $1); }
154
    | tEXPRESSION ExpressionNl_opt tEOF         { handle_isexpression_script(ctx, $2); }
155 156 157

OptionExplicit_opt
    : /* empty */                { $$ = FALSE; }
158
    | tOPTION tEXPLICIT StSep    { $$ = TRUE; }
159 160 161

SourceElements
    : /* empty */
162 163
    | SourceElements StatementNl            { source_add_statement(ctx, $2); }
    | SourceElements ClassDeclaration       { source_add_class(ctx, $2); }
164

165 166 167 168
ExpressionNl_opt
    : /* empty */                           { $$ = NULL; }
    | Expression tNL                        { $$ = $1; }

169 170 171 172 173
BodyStatements
    : /* empty */                           { $$ = NULL; }
    | Statement                             { $$ = $1; }
    | StatementNl BodyStatements            { $$ = link_statements($1, $2); }

174 175 176 177
StatementsNl_opt
    : /* empty */                           { $$ = NULL; }
    | StatementsNl                          { $$ = $1; }

178 179
StatementsNl
    : StatementNl                           { $$ = $1; }
180
    | StatementNl StatementsNl              { $$ = link_statements($1, $2); }
181

182
StatementNl
183
    : Statement tNL                         { $$ = $1; }
184 185

Statement
186 187 188 189 190 191 192
    : ':'                                   { $$ = NULL; }
    | ':' Statement                         { $$ = $2; }
    | SimpleStatement                       { $$ = $1; }
    | SimpleStatement ':' Statement         { $1->next = $3; $$ = $1; }
    | SimpleStatement ':'                   { $$ = $1; }

SimpleStatement
193 194
    : CallExpression ArgumentList_opt       { call_expression_t *call_expr = make_call_expression(ctx, $1, $2); CHECK_ERROR;
                                              $$ = new_call_statement(ctx, FALSE, &call_expr->expr); CHECK_ERROR; };
195
    | tCALL UnaryExpression                 { $$ = new_call_statement(ctx, TRUE, $2); CHECK_ERROR; }
196 197
    | CallExpression '=' Expression
                                            { $$ = new_assign_statement(ctx, $1, $3); CHECK_ERROR; }
198
    | tDIM DimDeclList                      { $$ = new_dim_statement(ctx, $2); CHECK_ERROR; }
199 200
    | tREDIM Preserve_opt tIdentifier '(' ArgumentList ')'
                                            { $$ = new_redim_statement(ctx, $3, $2, $5); CHECK_ERROR; }
201
    | IfStatement                           { $$ = $1; }
202
    | tWHILE Expression StSep StatementsNl_opt tWEND
203
                                            { $$ = new_while_statement(ctx, STAT_WHILE, $2, $4); CHECK_ERROR; }
204
    | tDO DoType Expression StSep StatementsNl_opt tLOOP
205 206
                                            { $$ = new_while_statement(ctx, $2 ? STAT_WHILELOOP : STAT_UNTIL, $3, $5);
                                              CHECK_ERROR; }
207
    | tDO StSep StatementsNl_opt tLOOP DoType Expression
208 209
                                            { $$ = new_while_statement(ctx, $5 ? STAT_DOWHILE : STAT_DOUNTIL, $6, $3);
                                              CHECK_ERROR; }
210
    | tDO StSep StatementsNl_opt tLOOP      { $$ = new_while_statement(ctx, STAT_DOWHILE, NULL, $3); CHECK_ERROR; }
211
    | FunctionDecl                          { $$ = new_function_statement(ctx, $1); CHECK_ERROR; }
212
    | tEXIT tDO                             { $$ = new_statement(ctx, STAT_EXITDO, 0); CHECK_ERROR; }
213
    | tEXIT tFOR                            { $$ = new_statement(ctx, STAT_EXITFOR, 0); CHECK_ERROR; }
214
    | tEXIT tFUNCTION                       { $$ = new_statement(ctx, STAT_EXITFUNC, 0); CHECK_ERROR; }
215
    | tEXIT tPROPERTY                       { $$ = new_statement(ctx, STAT_EXITPROP, 0); CHECK_ERROR; }
216
    | tEXIT tSUB                            { $$ = new_statement(ctx, STAT_EXITSUB, 0); CHECK_ERROR; }
217
    | tSET MemberExpression Arguments_opt '=' Expression
218
                                            { $$ = new_set_statement(ctx, $2, $3, $5); CHECK_ERROR; }
219
    | tSTOP                                 { $$ = new_statement(ctx, STAT_STOP, 0); CHECK_ERROR; }
220 221
    | tON tERROR tRESUME tNEXT              { $$ = new_onerror_statement(ctx, TRUE); CHECK_ERROR; }
    | tON tERROR tGOTO '0'                  { $$ = new_onerror_statement(ctx, FALSE); CHECK_ERROR; }
222
    | tCONST ConstDeclList                  { $$ = new_const_statement(ctx, $2); CHECK_ERROR; }
223
    | tFOR Identifier '=' Expression tTO Expression Step_opt StSep StatementsNl_opt tNEXT
224
                                            { $$ = new_forto_statement(ctx, $2, $4, $6, $7, $9); CHECK_ERROR; }
225
    | tFOR tEACH Identifier tIN Expression StSep StatementsNl_opt tNEXT
226
                                            { $$ = new_foreach_statement(ctx, $3, $5, $7); }
227
    | tSELECT tCASE Expression StSep CaseClausules tEND tSELECT
228
                                            { $$ = new_select_statement(ctx, $3, $5); }
229 230
    | tWITH Expression StSep StatementsNl_opt tEND tWITH
                                            { $$ = new_with_statement(ctx, $2, $4); }
231 232

MemberExpression
233
    : Identifier                            { $$ = new_member_expression(ctx, NULL, $1); CHECK_ERROR; }
234 235
    | CallExpression '.' tIdentifier        { $$ = new_member_expression(ctx, $1, $3); CHECK_ERROR; }
    | tDOT tIdentifier                      { expression_t *dot_expr = new_expression(ctx, EXPR_DOT, sizeof(*dot_expr)); CHECK_ERROR;
236
                                              $$ = new_member_expression(ctx, dot_expr, $2); CHECK_ERROR; }
237

238 239 240 241
Preserve_opt
    : /* empty */                           { $$ = FALSE; }
    | tPRESERVE                             { $$ = TRUE; }

242 243 244 245 246 247 248 249 250 251 252 253
DimDeclList
    : DimDecl                               { $$ = $1; }
    | DimDecl ',' DimDeclList               { $1->next = $3; $$ = $1; }

DimDecl
    : Identifier                            { $$ = new_dim_decl(ctx, $1, FALSE, NULL); CHECK_ERROR; }
    | Identifier '(' DimList ')'            { $$ = new_dim_decl(ctx, $1, TRUE, $3); CHECK_ERROR; }
    | Identifier tEMPTYBRACKETS             { $$ = new_dim_decl(ctx, $1, TRUE, NULL); CHECK_ERROR; }

DimList
    : IntegerValue                          { $$ = new_dim(ctx, $1, NULL); }
    | IntegerValue ',' DimList              { $$ = new_dim(ctx, $1, $3); }
254

255 256 257 258 259
ConstDeclList
    : ConstDecl                             { $$ = $1; }
    | ConstDecl ',' ConstDeclList           { $1->next = $3; $$ = $1; }

ConstDecl
260 261 262 263 264
    : Identifier '=' ConstExpression        { $$ = new_const_decl(ctx, $1, $3); CHECK_ERROR; }

ConstExpression
    : LiteralExpression                     { $$ = $1; }
    | '-' NumericLiteralExpression          { $$ = new_unary_expression(ctx, EXPR_NEG, $2); CHECK_ERROR; }
265

266 267 268 269
DoType
    : tWHILE        { $$ = TRUE; }
    | tUNTIL        { $$ = FALSE; }

270 271 272 273
Step_opt
    : /* empty */                           { $$ = NULL;}
    | tSTEP Expression                      { $$ = $2; }

274
IfStatement
275
    : tIF Expression tTHEN tNL StatementsNl_opt ElseIfs_opt Else_opt tEND tIF
276 277
                                               { $$ = new_if_statement(ctx, $2, $5, $6, $7); CHECK_ERROR; }
    | tIF Expression tTHEN Statement EndIf_opt { $$ = new_if_statement(ctx, $2, $4, NULL, NULL); CHECK_ERROR; }
278
    | tIF Expression tTHEN Statement tELSE Statement EndIf_opt
279
                                               { $$ = new_if_statement(ctx, $2, $4, NULL, $6); CHECK_ERROR; }
280

281 282 283 284
EndIf_opt
    : /* empty */
    | tEND tIF

285 286 287 288 289 290 291 292 293
ElseIfs_opt
    : /* empty */                           { $$ = NULL; }
    | ElseIfs                               { $$ = $1; }

ElseIfs
    : ElseIf                                { $$ = $1; }
    | ElseIf ElseIfs                        { $1->next = $2; $$ = $1; }

ElseIf
294
    : tELSEIF Expression tTHEN tNL StatementsNl_opt
295 296 297 298
                                            { $$ = new_elseif_decl(ctx, $2, $5); }

Else_opt
    : /* empty */                           { $$ = NULL; }
299
    | tELSE tNL StatementsNl_opt            { $$ = $3; }
300

301 302
CaseClausules
    : /* empty */                          { $$ = NULL; }
303 304
    | tCASE tELSE StSep StatementsNl       { $$ = new_case_clausule(ctx, NULL, $4, NULL); }
    | tCASE ExpressionList StSep StatementsNl_opt CaseClausules
305 306
                                           { $$ = new_case_clausule(ctx, $2, $4, $5); }

307 308
Arguments
    : tEMPTYBRACKETS                { $$ = NULL; }
309
    | '(' ArgumentList ')'          { $$ = $2; }
310

311 312 313 314
Arguments_opt
    : /* empty */                   { $$ = NULL; }
    | Arguments                     { $$ = $1; }

315
ArgumentList_opt
316
    : /* empty */                   { $$ = NULL; }
317 318 319 320 321 322
    | ArgumentList                  { $$ = $1; }

ArgumentList
    : Expression                    { $$ = $1; }
    | Expression ',' ArgumentList   { $1->next = $3; $$ = $1; }
    | ',' ArgumentList              { $$ = new_expression(ctx, EXPR_NOARG, 0); CHECK_ERROR; $$->next = $2; }
323

324 325 326 327
EmptyBrackets_opt
    : /* empty */
    | tEMPTYBRACKETS

328 329 330 331
ExpressionList
    : Expression                    { $$ = $1; }
    | Expression ',' ExpressionList { $1->next = $3; $$ = $1; }

332
Expression
333 334 335 336 337 338 339 340
    : EqvExpression                             { $$ = $1; }
    | Expression tIMP EqvExpression             { $$ = new_binary_expression(ctx, EXPR_IMP, $1, $3); CHECK_ERROR; }

EqvExpression
    : XorExpression                             { $$ = $1; }
    | EqvExpression tEQV XorExpression          { $$ = new_binary_expression(ctx, EXPR_EQV, $1, $3); CHECK_ERROR; }

XorExpression
341
    : OrExpression                              { $$ = $1; }
342
    | XorExpression tXOR OrExpression           { $$ = new_binary_expression(ctx, EXPR_XOR, $1, $3); CHECK_ERROR; }
343 344

OrExpression
345
    : AndExpression                             { $$ = $1; }
346
    | OrExpression tOR AndExpression            { $$ = new_binary_expression(ctx, EXPR_OR, $1, $3); CHECK_ERROR; }
347 348 349 350

AndExpression
    : NotExpression                             { $$ = $1; }
    | AndExpression tAND NotExpression          { $$ = new_binary_expression(ctx, EXPR_AND, $1, $3); CHECK_ERROR; }
351 352

NotExpression
353 354 355 356 357 358
    : EqualityExpression            { $$ = $1; }
    | tNOT NotExpression            { $$ = new_unary_expression(ctx, EXPR_NOT, $2); CHECK_ERROR; }

EqualityExpression
    : ConcatExpression                          { $$ = $1; }
    | EqualityExpression '=' ConcatExpression   { $$ = new_binary_expression(ctx, EXPR_EQUAL, $1, $3); CHECK_ERROR; }
359
    | EqualityExpression tNEQ ConcatExpression  { $$ = new_binary_expression(ctx, EXPR_NEQUAL, $1, $3); CHECK_ERROR; }
360 361 362 363
    | EqualityExpression '>' ConcatExpression   { $$ = new_binary_expression(ctx, EXPR_GT, $1, $3); CHECK_ERROR; }
    | EqualityExpression '<' ConcatExpression   { $$ = new_binary_expression(ctx, EXPR_LT, $1, $3); CHECK_ERROR; }
    | EqualityExpression tGTEQ ConcatExpression { $$ = new_binary_expression(ctx, EXPR_GTEQ, $1, $3); CHECK_ERROR; }
    | EqualityExpression tLTEQ ConcatExpression { $$ = new_binary_expression(ctx, EXPR_LTEQ, $1, $3); CHECK_ERROR; }
364
    | EqualityExpression tIS ConcatExpression   { $$ = new_binary_expression(ctx, EXPR_IS, $1, $3); CHECK_ERROR; }
365 366

ConcatExpression
367 368 369 370
    : AdditiveExpression                        { $$ = $1; }
    | ConcatExpression '&' AdditiveExpression   { $$ = new_binary_expression(ctx, EXPR_CONCAT, $1, $3); CHECK_ERROR; }

AdditiveExpression
371 372 373 374 375
    : ModExpression                             { $$ = $1; }
    | AdditiveExpression '+' ModExpression      { $$ = new_binary_expression(ctx, EXPR_ADD, $1, $3); CHECK_ERROR; }
    | AdditiveExpression '-' ModExpression      { $$ = new_binary_expression(ctx, EXPR_SUB, $1, $3); CHECK_ERROR; }

ModExpression
376 377 378 379
    : IntdivExpression                          { $$ = $1; }
    | ModExpression tMOD IntdivExpression       { $$ = new_binary_expression(ctx, EXPR_MOD, $1, $3); CHECK_ERROR; }

IntdivExpression
380 381 382
    : MultiplicativeExpression                  { $$ = $1; }
    | IntdivExpression '\\' MultiplicativeExpression
                                                { $$ = new_binary_expression(ctx, EXPR_IDIV, $1, $3); CHECK_ERROR; }
383

384
MultiplicativeExpression
385 386 387 388 389 390 391
    : ExpExpression                             { $$ = $1; }
    | MultiplicativeExpression '*' ExpExpression
                                                { $$ = new_binary_expression(ctx, EXPR_MUL, $1, $3); CHECK_ERROR; }
    | MultiplicativeExpression '/' ExpExpression
                                                { $$ = new_binary_expression(ctx, EXPR_DIV, $1, $3); CHECK_ERROR; }

ExpExpression
392 393 394 395 396 397 398
    : SignExpression                            { $$ = $1; }
    | ExpExpression '^' SignExpression          { $$ = new_binary_expression(ctx, EXPR_EXP, $1, $3); CHECK_ERROR; }

SignExpression
    : UnaryExpression               { $$ = $1; }
    | '-' SignExpression            { $$ = new_unary_expression(ctx, EXPR_NEG, $2); CHECK_ERROR; }
    | '+' SignExpression            { $$ = $2; }
399 400 401 402

UnaryExpression
    : LiteralExpression             { $$ = $1; }
    | CallExpression                { $$ = $1; }
403
    | tNEW Identifier               { $$ = new_new_expression(ctx, $2); CHECK_ERROR; }
404 405

CallExpression
406 407 408 409
    : PrimaryExpression             { $$ = $1; }
    | MemberExpression              { $$ = &$1->expr; }
    | CallExpression Arguments      { call_expression_t *expr = new_call_expression(ctx, $1, $2); CHECK_ERROR;
                                      $$ = &expr->expr; }
410 411 412 413

LiteralExpression
    : tTRUE                         { $$ = new_bool_expression(ctx, VARIANT_TRUE); CHECK_ERROR; }
    | tFALSE                        { $$ = new_bool_expression(ctx, VARIANT_FALSE); CHECK_ERROR; }
414
    | tString                       { $$ = new_string_expression(ctx, $1); CHECK_ERROR; }
415
    | NumericLiteralExpression      { $$ = $1; }
416
    | tEMPTY                        { $$ = new_expression(ctx, EXPR_EMPTY, 0); CHECK_ERROR; }
417
    | tNULL                         { $$ = new_expression(ctx, EXPR_NULL, 0); CHECK_ERROR; }
418
    | tNOTHING                      { $$ = new_expression(ctx, EXPR_NOTHING, 0); CHECK_ERROR; }
419

420
NumericLiteralExpression
421 422
    : '0'                           { $$ = new_long_expression(ctx, EXPR_INT, 0); CHECK_ERROR; }
    | tInt                          { $$ = new_long_expression(ctx, EXPR_INT, $1); CHECK_ERROR; }
423 424
    | tDouble                       { $$ = new_double_expression(ctx, $1); CHECK_ERROR; }

425
IntegerValue
426
    : '0'                           { $$ = 0; }
427
    | tInt                          { $$ = $1; }
428

429
PrimaryExpression
430
    : tEXPRLBRACKET Expression ')'            { $$ = new_unary_expression(ctx, EXPR_BRACKETS, $2); }
431
    | tME                           { $$ = new_expression(ctx, EXPR_ME, 0); CHECK_ERROR; }
432

433
ClassDeclaration
434
    : tCLASS Identifier StSep ClassBody tEND tCLASS StSep       { $4->name = $2; $$ = $4; }
435 436

ClassBody
437
    : /* empty */                                 { $$ = new_class_decl(ctx); }
438
    | FunctionDecl                                { $$ = add_class_function(ctx, new_class_decl(ctx), $1); CHECK_ERROR; }
439
    | FunctionDecl StSep ClassBody                { $$ = add_class_function(ctx, $3, $1); CHECK_ERROR; }
440
    /* FIXME: We should use DimDecl here to support arrays, but that conflicts with PropertyDecl. */
441 442
    | Storage tIdentifier                         { dim_decl_t *dim_decl = new_dim_decl(ctx, $2, FALSE, NULL); CHECK_ERROR;
                                                  $$ = add_dim_prop(ctx, new_class_decl(ctx), dim_decl, $1); CHECK_ERROR; }
443
    | Storage tIdentifier StSep ClassBody         { dim_decl_t *dim_decl = new_dim_decl(ctx, $2, FALSE, NULL); CHECK_ERROR;
444
                                                  $$ = add_dim_prop(ctx, $4, dim_decl, $1); CHECK_ERROR; }
445
    | tDIM DimDecl                                { $$ = add_dim_prop(ctx, new_class_decl(ctx), $2, 0); CHECK_ERROR; }
446
    | tDIM DimDecl StSep ClassBody                { $$ = add_dim_prop(ctx, $4, $2, 0); CHECK_ERROR; }
447
    | PropertyDecl                                { $$ = add_class_function(ctx, new_class_decl(ctx), $1); CHECK_ERROR; }
448
    | PropertyDecl StSep ClassBody                { $$ = add_class_function(ctx, $3, $1); CHECK_ERROR; }
449 450

PropertyDecl
451
    : Storage_opt tPROPERTY tGET tIdentifier ArgumentsDecl_opt StSep BodyStatements tEND tPROPERTY
452
                                    { $$ = new_function_decl(ctx, $4, FUNC_PROPGET, $1, $5, $7); CHECK_ERROR; }
453
    | Storage_opt tPROPERTY tLET tIdentifier '(' ArgumentDecl ')' StSep BodyStatements tEND tPROPERTY
454
                                    { $$ = new_function_decl(ctx, $4, FUNC_PROPLET, $1, $6, $9); CHECK_ERROR; }
455
    | Storage_opt tPROPERTY tSET tIdentifier '(' ArgumentDecl ')' StSep BodyStatements tEND tPROPERTY
456
                                    { $$ = new_function_decl(ctx, $4, FUNC_PROPSET, $1, $6, $9); CHECK_ERROR; }
457

458
FunctionDecl
459
    : Storage_opt tSUB Identifier ArgumentsDecl_opt StSep BodyStatements tEND tSUB
460
                                    { $$ = new_function_decl(ctx, $3, FUNC_SUB, $1, $4, $6); CHECK_ERROR; }
461
    | Storage_opt tFUNCTION Identifier ArgumentsDecl_opt StSep BodyStatements tEND tFUNCTION
462 463 464 465 466 467 468 469 470 471
                                    { $$ = new_function_decl(ctx, $3, FUNC_FUNCTION, $1, $4, $6); CHECK_ERROR; }

Storage_opt
    : /* empty*/                    { $$ = 0; }
    | Storage                       { $$ = $1; }

Storage
    : tPUBLIC tDEFAULT              { $$ = STORAGE_IS_DEFAULT; }
    | tPUBLIC                       { $$ = 0; }
    | tPRIVATE                      { $$ = STORAGE_IS_PRIVATE; }
472 473 474 475 476 477 478 479 480 481

ArgumentsDecl_opt
    : EmptyBrackets_opt                         { $$ = NULL; }
    | '(' ArgumentDeclList ')'                  { $$ = $2; }

ArgumentDeclList
    : ArgumentDecl                              { $$ = $1; }
    | ArgumentDecl ',' ArgumentDeclList         { $1->next = $3; $$ = $1; }

ArgumentDecl
482 483 484
    : Identifier EmptyBrackets_opt              { $$ = new_argument_decl(ctx, $1, TRUE); }
    | tBYREF Identifier EmptyBrackets_opt       { $$ = new_argument_decl(ctx, $2, TRUE); }
    | tBYVAL Identifier EmptyBrackets_opt       { $$ = new_argument_decl(ctx, $2, FALSE); }
485

486
/* these keywords may also be an identifier, depending on context */
487 488
Identifier
    : tIdentifier    { $$ = $1; }
489 490 491 492 493
    | tDEFAULT       { $$ = $1; }
    | tERROR         { $$ = $1; }
    | tEXPLICIT      { $$ = $1; }
    | tPROPERTY      { $$ = $1; }
    | tSTEP          { $$ = $1; }
494

495
/* Most statements accept both new line and ':' as separators */
496 497 498
StSep
    : tNL
    | ':'
499 500
    | tNL StSep
    | ':' StSep
501

502 503
%%

504
static int parser_error(parser_ctx_t *ctx, const char *str)
505 506 507 508
{
    return 0;
}

509 510
static void source_add_statement(parser_ctx_t *ctx, statement_t *stat)
{
511 512 513
    if(!stat)
        return;

514 515 516 517 518 519 520 521
    if(ctx->stats) {
        ctx->stats_tail->next = stat;
        ctx->stats_tail = stat;
    }else {
        ctx->stats = ctx->stats_tail = stat;
    }
}

522 523 524 525 526 527
static void source_add_class(parser_ctx_t *ctx, class_decl_t *class_decl)
{
    class_decl->next = ctx->class_decls;
    ctx->class_decls = class_decl;
}

528
static void parse_complete(parser_ctx_t *ctx, BOOL option_explicit)
529 530
{
    ctx->parse_complete = TRUE;
531
    ctx->option_explicit = option_explicit;
532 533
}

534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549
static void handle_isexpression_script(parser_ctx_t *ctx, expression_t *expr)
{
    retval_statement_t *stat;

    ctx->parse_complete = TRUE;
    if(!expr)
        return;

    stat = new_statement(ctx, STAT_RETVAL, sizeof(*stat));
    if(!stat)
        return;

    stat->expr = expr;
    ctx->stats = &stat->stat;
}

550
static void *new_expression(parser_ctx_t *ctx, expression_type_t type, size_t size)
551 552 553 554 555 556 557 558 559 560 561 562
{
    expression_t *expr;

    expr = parser_alloc(ctx, size ? size : sizeof(*expr));
    if(expr) {
        expr->type = type;
        expr->next = NULL;
    }

    return expr;
}

563 564 565 566 567 568 569 570 571 572 573 574
static expression_t *new_bool_expression(parser_ctx_t *ctx, VARIANT_BOOL value)
{
    bool_expression_t *expr;

    expr = new_expression(ctx, EXPR_BOOL, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->value = value;
    return &expr->expr;
}

575 576 577 578 579 580 581 582 583 584 585 586
static expression_t *new_string_expression(parser_ctx_t *ctx, const WCHAR *value)
{
    string_expression_t *expr;

    expr = new_expression(ctx, EXPR_STRING, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->value = value;
    return &expr->expr;
}

587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610
static expression_t *new_long_expression(parser_ctx_t *ctx, expression_type_t type, LONG value)
{
    int_expression_t *expr;

    expr = new_expression(ctx, type, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->value = value;
    return &expr->expr;
}

static expression_t *new_double_expression(parser_ctx_t *ctx, double value)
{
    double_expression_t *expr;

    expr = new_expression(ctx, EXPR_DOUBLE, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->value = value;
    return &expr->expr;
}

611 612 613 614 615 616 617 618 619 620 621 622
static expression_t *new_unary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *subexpr)
{
    unary_expression_t *expr;

    expr = new_expression(ctx, type, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->subexpr = subexpr;
    return &expr->expr;
}

623 624 625 626 627 628 629 630 631 632 633 634 635
static expression_t *new_binary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *left, expression_t *right)
{
    binary_expression_t *expr;

    expr = new_expression(ctx, type, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->left = left;
    expr->right = right;
    return &expr->expr;
}

636 637 638 639 640 641 642 643 644 645 646 647 648
static member_expression_t *new_member_expression(parser_ctx_t *ctx, expression_t *obj_expr, const WCHAR *identifier)
{
    member_expression_t *expr;

    expr = new_expression(ctx, EXPR_MEMBER, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->obj_expr = obj_expr;
    expr->identifier = identifier;
    return expr;
}

649 650 651 652 653 654 655 656 657 658 659 660 661
static call_expression_t *new_call_expression(parser_ctx_t *ctx, expression_t *expr, expression_t *arguments)
{
    call_expression_t *call_expr;

    call_expr = new_expression(ctx, EXPR_CALL, sizeof(*call_expr));
    if(!call_expr)
        return NULL;

    call_expr->call_expr = expr;
    call_expr->args = arguments;
    return call_expr;
}

662 663 664 665 666 667 668 669 670 671 672 673 674 675
static call_expression_t *make_call_expression(parser_ctx_t *ctx, expression_t *callee_expr, expression_t *arguments)
{
    call_expression_t *call_expr;

    if(callee_expr->type == EXPR_MEMBER)
        return new_call_expression(ctx, callee_expr, arguments);
    if(callee_expr->type != EXPR_CALL) {
        FIXME("Unhandled for expr type %u\n", callee_expr->type);
        ctx->hres = E_FAIL;
        return NULL;
    }
    call_expr = (call_expression_t*)callee_expr;
    if(!call_expr->args) {
        call_expr->args = arguments;
676 677 678 679
        return call_expr;
    }

    if(call_expr->args->next) {
680 681 682
        FIXME("Invalid syntax: invalid use of parentheses for arguments\n");
        ctx->hres = E_FAIL;
        return NULL;
683 684 685 686 687 688 689 690 691
    }

    call_expr->args = new_unary_expression(ctx, EXPR_BRACKETS, call_expr->args);
    if(!call_expr->args)
        return NULL;
    if(!arguments)
        return call_expr;

    if(arguments->type != EXPR_NOARG) {
692 693 694 695 696
        FIXME("Invalid syntax: missing comma\n");
        ctx->hres = E_FAIL;
        return NULL;
    }

697
    call_expr->args->next = arguments->next;
698 699 700
    return call_expr;
}

701 702 703 704 705 706 707 708 709 710 711 712
static expression_t *new_new_expression(parser_ctx_t *ctx, const WCHAR *identifier)
{
    string_expression_t *expr;

    expr = new_expression(ctx, EXPR_NEW, sizeof(*expr));
    if(!expr)
        return NULL;

    expr->value = identifier;
    return &expr->expr;
}

713
static void *new_statement(parser_ctx_t *ctx, statement_type_t type, size_t size)
714 715 716
{
    statement_t *stat;

717
    stat = parser_alloc(ctx, size ? size : sizeof(*stat));
718 719 720 721 722 723 724 725
    if(stat) {
        stat->type = type;
        stat->next = NULL;
    }

    return stat;
}

726
static statement_t *new_call_statement(parser_ctx_t *ctx, BOOL is_strict, expression_t *expr)
727
{
728
    call_expression_t *call_expr = NULL;
729 730 731 732 733 734
    call_statement_t *stat;

    stat = new_statement(ctx, STAT_CALL, sizeof(*stat));
    if(!stat)
        return NULL;

735 736 737 738 739 740 741 742 743 744 745 746 747 748 749
    switch(expr->type) {
    case EXPR_MEMBER:
        call_expr = new_call_expression(ctx, expr, NULL);
        break;
    case EXPR_CALL:
        call_expr = (call_expression_t*)expr;
        break;
    default:
        FIXME("Unsupported expr type %u\n", expr->type);
        ctx->hres = E_NOTIMPL;
    }
    if(!call_expr)
        return NULL;

    stat->expr = call_expr;
750
    stat->is_strict = is_strict;
751 752 753
    return &stat->stat;
}

754
static statement_t *new_assign_statement(parser_ctx_t *ctx, expression_t *left, expression_t *right)
755 756 757 758 759 760 761 762
{
    assign_statement_t *stat;

    stat = new_statement(ctx, STAT_ASSIGN, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->value_expr = right;
763 764 765 766 767 768 769 770 771

    if(left->type == EXPR_CALL) {
        stat->left_expr = (call_expression_t*)left;
    }else {
        stat->left_expr = new_call_expression(ctx, left, NULL);
        if(!stat->left_expr)
            return NULL;
    }

772 773 774
    return &stat->stat;
}

775
static statement_t *new_set_statement(parser_ctx_t *ctx, member_expression_t *left, expression_t *arguments, expression_t *right)
776 777 778 779 780 781 782 783
{
    assign_statement_t *stat;

    stat = new_statement(ctx, STAT_SET, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->value_expr = right;
784 785 786 787
    stat->left_expr = new_call_expression(ctx, &left->expr, arguments);
    if(!stat->left_expr)
        return NULL;

788 789 790
    return &stat->stat;
}

791
static dim_decl_t *new_dim_decl(parser_ctx_t *ctx, const WCHAR *name, BOOL is_array, dim_list_t *dims)
792 793 794 795 796 797 798 799
{
    dim_decl_t *decl;

    decl = parser_alloc(ctx, sizeof(*decl));
    if(!decl)
        return NULL;

    decl->name = name;
800 801 802
    decl->is_array = is_array;
    decl->dims = dims;
    decl->next = NULL;
803 804 805
    return decl;
}

806 807 808 809 810 811 812 813 814 815 816 817 818
static dim_list_t *new_dim(parser_ctx_t *ctx, unsigned val, dim_list_t *next)
{
    dim_list_t *ret;

    ret = parser_alloc(ctx, sizeof(*ret));
    if(!ret)
        return NULL;

    ret->val = val;
    ret->next = next;
    return ret;
}

819 820 821 822 823 824 825 826 827 828 829 830
static statement_t *new_dim_statement(parser_ctx_t *ctx, dim_decl_t *decls)
{
    dim_statement_t *stat;

    stat = new_statement(ctx, STAT_DIM, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->dim_decls = decls;
    return &stat->stat;
}

831 832 833 834 835 836 837 838 839 840 841 842 843 844
static statement_t *new_redim_statement(parser_ctx_t *ctx, const WCHAR *identifier, BOOL preserve, expression_t *dims)
{
    redim_statement_t *stat;

    stat = new_statement(ctx, STAT_REDIM, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->identifier = identifier;
    stat->preserve = preserve;
    stat->dims = dims;
    return &stat->stat;
}

845 846 847 848 849 850 851 852 853 854 855 856 857 858
static elseif_decl_t *new_elseif_decl(parser_ctx_t *ctx, expression_t *expr, statement_t *stat)
{
    elseif_decl_t *decl;

    decl = parser_alloc(ctx, sizeof(*decl));
    if(!decl)
        return NULL;

    decl->expr = expr;
    decl->stat = stat;
    decl->next = NULL;
    return decl;
}

859 860 861 862 863 864 865 866 867 868 869 870 871
static statement_t *new_while_statement(parser_ctx_t *ctx, statement_type_t type, expression_t *expr, statement_t *body)
{
    while_statement_t *stat;

    stat = new_statement(ctx, type, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->expr = expr;
    stat->body = body;
    return &stat->stat;
}

872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888
static statement_t *new_forto_statement(parser_ctx_t *ctx, const WCHAR *identifier, expression_t *from_expr,
        expression_t *to_expr, expression_t *step_expr, statement_t *body)
{
    forto_statement_t *stat;

    stat = new_statement(ctx, STAT_FORTO, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->identifier = identifier;
    stat->from_expr = from_expr;
    stat->to_expr = to_expr;
    stat->step_expr = step_expr;
    stat->body = body;
    return &stat->stat;
}

889 890 891 892 893 894 895 896 897 898 899 900 901 902 903
static statement_t *new_foreach_statement(parser_ctx_t *ctx, const WCHAR *identifier, expression_t *group_expr,
        statement_t *body)
{
    foreach_statement_t *stat;

    stat = new_statement(ctx, STAT_FOREACH, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->identifier = identifier;
    stat->group_expr = group_expr;
    stat->body = body;
    return &stat->stat;
}

904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919
static statement_t *new_if_statement(parser_ctx_t *ctx, expression_t *expr, statement_t *if_stat, elseif_decl_t *elseif_decl,
        statement_t *else_stat)
{
    if_statement_t *stat;

    stat = new_statement(ctx, STAT_IF, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->expr = expr;
    stat->if_stat = if_stat;
    stat->elseifs = elseif_decl;
    stat->else_stat = else_stat;
    return &stat->stat;
}

920 921 922 923 924 925 926 927 928 929 930 931 932
static statement_t *new_select_statement(parser_ctx_t *ctx, expression_t *expr, case_clausule_t *case_clausules)
{
    select_statement_t *stat;

    stat = new_statement(ctx, STAT_SELECT, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->expr = expr;
    stat->case_clausules = case_clausules;
    return &stat->stat;
}

933 934 935 936 937 938 939 940 941 942 943 944 945
static statement_t *new_with_statement(parser_ctx_t *ctx, expression_t *expr, statement_t *body)
{
    with_statement_t *stat;

    stat = new_statement(ctx, STAT_WITH, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->expr = expr;
    stat->body = body;
    return &stat->stat;
}

946 947 948 949 950 951 952 953 954 955 956 957 958 959
static case_clausule_t *new_case_clausule(parser_ctx_t *ctx, expression_t *expr, statement_t *stat, case_clausule_t *next)
{
    case_clausule_t *ret;

    ret = parser_alloc(ctx, sizeof(*ret));
    if(!ret)
        return NULL;

    ret->expr = expr;
    ret->stat = stat;
    ret->next = next;
    return ret;
}

960 961 962 963 964 965 966 967 968 969 970 971
static statement_t *new_onerror_statement(parser_ctx_t *ctx, BOOL resume_next)
{
    onerror_statement_t *stat;

    stat = new_statement(ctx, STAT_ONERROR, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->resume_next = resume_next;
    return &stat->stat;
}

972 973 974 975 976 977 978 979 980 981 982 983 984 985 986
static arg_decl_t *new_argument_decl(parser_ctx_t *ctx, const WCHAR *name, BOOL by_ref)
{
    arg_decl_t *arg_decl;

    arg_decl = parser_alloc(ctx, sizeof(*arg_decl));
    if(!arg_decl)
        return NULL;

    arg_decl->name = name;
    arg_decl->by_ref = by_ref;
    arg_decl->next = NULL;
    return arg_decl;
}

static function_decl_t *new_function_decl(parser_ctx_t *ctx, const WCHAR *name, function_type_t type,
987
        unsigned storage_flags, arg_decl_t *arg_decl, statement_t *body)
988 989 990
{
    function_decl_t *decl;

991
    if(storage_flags & STORAGE_IS_DEFAULT) {
992
        if(type == FUNC_PROPGET) {
993
            type = FUNC_DEFGET;
994 995 996 997 998
        }else {
            FIXME("Invalid default property\n");
            ctx->hres = E_FAIL;
            return NULL;
        }
999 1000
    }

1001 1002 1003 1004 1005 1006
    decl = parser_alloc(ctx, sizeof(*decl));
    if(!decl)
        return NULL;

    decl->name = name;
    decl->type = type;
1007
    decl->is_public = !(storage_flags & STORAGE_IS_PRIVATE);
1008 1009
    decl->args = arg_decl;
    decl->body = body;
1010
    decl->next = NULL;
1011
    decl->next_prop_func = NULL;
1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026
    return decl;
}

static statement_t *new_function_statement(parser_ctx_t *ctx, function_decl_t *decl)
{
    function_statement_t *stat;

    stat = new_statement(ctx, STAT_FUNC, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->func_decl = decl;
    return &stat->stat;
}

1027 1028 1029 1030 1031 1032 1033 1034
static class_decl_t *new_class_decl(parser_ctx_t *ctx)
{
    class_decl_t *class_decl;

    class_decl = parser_alloc(ctx, sizeof(*class_decl));
    if(!class_decl)
        return NULL;

1035
    class_decl->funcs = NULL;
1036
    class_decl->props = NULL;
1037 1038 1039 1040
    class_decl->next = NULL;
    return class_decl;
}

1041 1042 1043 1044 1045
static class_decl_t *add_class_function(parser_ctx_t *ctx, class_decl_t *class_decl, function_decl_t *decl)
{
    function_decl_t *iter;

    for(iter = class_decl->funcs; iter; iter = iter->next) {
1046
        if(!wcsicmp(iter->name, decl->name)) {
1047 1048 1049 1050 1051
            if(decl->type == FUNC_SUB || decl->type == FUNC_FUNCTION) {
                FIXME("Redefinition of %s::%s\n", debugstr_w(class_decl->name), debugstr_w(decl->name));
                ctx->hres = E_FAIL;
                return NULL;
            }
1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065

            while(1) {
                if(iter->type == decl->type) {
                    FIXME("Redefinition of %s::%s\n", debugstr_w(class_decl->name), debugstr_w(decl->name));
                    ctx->hres = E_FAIL;
                    return NULL;
                }
                if(!iter->next_prop_func)
                    break;
                iter = iter->next_prop_func;
            }

            iter->next_prop_func = decl;
            return class_decl;
1066 1067 1068 1069 1070 1071 1072 1073
        }
    }

    decl->next = class_decl->funcs;
    class_decl->funcs = decl;
    return class_decl;
}

1074
static class_decl_t *add_dim_prop(parser_ctx_t *ctx, class_decl_t *class_decl, dim_decl_t *dim_decl, unsigned storage_flags)
1075 1076 1077 1078 1079 1080 1081
{
    if(storage_flags & STORAGE_IS_DEFAULT) {
        FIXME("variant prop van't be default value\n");
        ctx->hres = E_FAIL;
        return NULL;
    }

1082 1083 1084
    dim_decl->is_public = !(storage_flags & STORAGE_IS_PRIVATE);
    dim_decl->next = class_decl->props;
    class_decl->props = dim_decl;
1085 1086 1087
    return class_decl;
}

1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
static const_decl_t *new_const_decl(parser_ctx_t *ctx, const WCHAR *name, expression_t *expr)
{
    const_decl_t *decl;

    decl = parser_alloc(ctx, sizeof(*decl));
    if(!decl)
        return NULL;

    decl->name = name;
    decl->value_expr = expr;
    decl->next = NULL;
    return decl;
}

static statement_t *new_const_statement(parser_ctx_t *ctx, const_decl_t *decls)
{
    const_statement_t *stat;

    stat = new_statement(ctx, STAT_CONST, sizeof(*stat));
    if(!stat)
        return NULL;

    stat->decls = decls;
    return &stat->stat;
}

1114 1115 1116 1117 1118 1119 1120 1121 1122 1123
static statement_t *link_statements(statement_t *head, statement_t *tail)
{
    statement_t *iter;

    for(iter = head; iter->next; iter = iter->next);
    iter->next = tail;

    return head;
}

1124 1125 1126 1127
void *parser_alloc(parser_ctx_t *ctx, size_t size)
{
    void *ret;

1128
    ret = heap_pool_alloc(&ctx->heap, size);
1129 1130 1131 1132 1133
    if(!ret)
        ctx->hres = E_OUTOFMEMORY;
    return ret;
}

1134
HRESULT parse_script(parser_ctx_t *ctx, const WCHAR *code, const WCHAR *delimiter, DWORD flags)
1135
{
1136
    static const WCHAR html_delimiterW[] = {'<','/','s','c','r','i','p','t','>',0};
1137

1138
    ctx->code = ctx->ptr = code;
1139
    ctx->end = ctx->code + lstrlenW(ctx->code);
1140

1141
    heap_pool_init(&ctx->heap);
1142

1143 1144 1145
    ctx->parse_complete = FALSE;
    ctx->hres = S_OK;

1146 1147
    ctx->last_token = tNL;
    ctx->last_nl = 0;
1148
    ctx->stats = ctx->stats_tail = NULL;
1149
    ctx->class_decls = NULL;
1150
    ctx->option_explicit = FALSE;
1151
    ctx->is_html = delimiter && !wcsicmp(delimiter, html_delimiterW);
1152

1153 1154 1155
    if(flags & SCRIPTTEXT_ISEXPRESSION)
        ctx->last_token = tEXPRESSION;

1156 1157 1158 1159 1160
    parser_parse(ctx);

    if(FAILED(ctx->hres))
        return ctx->hres;
    if(!ctx->parse_complete) {
1161
        FIXME("parser failed around %s\n", debugstr_w(ctx->code+20 > ctx->ptr ? ctx->code : ctx->ptr-20));
1162 1163 1164 1165 1166
        return E_FAIL;
    }

    return S_OK;
}
1167 1168 1169

void parser_release(parser_ctx_t *ctx)
{
1170
    heap_pool_free(&ctx->heap);
1171
}