git.oblomov.eu Git - wine/blob - dlls/vbscript/parser.y

   1 /*
   2  * Copyright 2011 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 "vbscript.h"
  22 #include "parse.h"
  23
  24 #include "wine/debug.h"
  25
  26 WINE_DEFAULT_DEBUG_CHANNEL(vbscript);
  27
  28
  29 #define YYLEX_PARAM ctx
  30 #define YYPARSE_PARAM ctx
  31
  32 static int parser_error(const char*);
  33
  34  static void parse_complete(parser_ctx_t*,BOOL);
  35
  36 static void source_add_statement(parser_ctx_t*,statement_t*);
  37
  38 static void *new_expression(parser_ctx_t*,expression_type_t,size_t);
  39 static expression_t *new_bool_expression(parser_ctx_t*,VARIANT_BOOL);
  40 static expression_t *new_string_expression(parser_ctx_t*,const WCHAR*);
  41 static expression_t *new_long_expression(parser_ctx_t*,expression_type_t,LONG);
  42 static expression_t *new_double_expression(parser_ctx_t*,double);
  43 static expression_t *new_unary_expression(parser_ctx_t*,expression_type_t,expression_t*);
  44 static expression_t *new_binary_expression(parser_ctx_t*,expression_type_t,expression_t*,expression_t*);
  45
  46 static member_expression_t *new_member_expression(parser_ctx_t*,expression_t*,const WCHAR*);
  47
  48 static statement_t *new_call_statement(parser_ctx_t*,member_expression_t*);
  49
  50 #define CHECK_ERROR if(((parser_ctx_t*)ctx)->hres != S_OK) YYABORT
  51
  52 %}
  53
  54 %pure_parser
  55 %start Program
  56
  57 %union {
  58     const WCHAR *string;
  59     statement_t *statement;
  60     expression_t *expression;
  61     member_expression_t *member;
  62     LONG lng;
  63     BOOL bool;
  64     double dbl;
  65 }
  66
  67 %token tEOF tNL tREM tEMPTYBRACKETS
  68 %token tTRUE tFALSE
  69 %token tNOT tAND tOR tXOR tEQV tIMP tNEQ
  70 %token tIS tLTEQ tGTEQ tMOD
  71 %token tCALL tDIM tSUB tFUNCTION tPROPERTY tGET tLET
  72 %token tIF tELSE tELSEIF tEND tTHEN tEXIT
  73 %token tWHILE tWEND tDO tLOOP tUNTIL
  74 %token tBYREF tBYVAL
  75 %token tOPTION tEXPLICIT
  76 %token tSTOP
  77 %token tNOTHING tEMPTY tNULL
  78 %token tCLASS tSET tNEW tPUBLIC tPRIVATE tDEFAULT tME
  79 %token tERROR tNEXT tON tRESUME tGOTO
  80 %token <string> tIdentifier tString
  81 %token <lng> tLong tShort
  82 %token <dbl> tDouble
  83
  84 %type <statement> Statement StatementNl
  85 %type <expression> Expression LiteralExpression PrimaryExpression EqualityExpression CallExpression
  86 %type <expression> ConcatExpression AdditiveExpression
  87 %type <expression> NotExpression
  88 %type <member> MemberExpression
  89 %type <expression> Arguments_opt ArgumentList_opt ArgumentList
  90 %type <bool> OptionExplicit_opt
  91
  92 %%
  93
  94 Program
  95     : OptionExplicit_opt SourceElements tEOF    { parse_complete(ctx, $1); }
  96
  97 OptionExplicit_opt
  98     : /* empty */                { $$ = FALSE; }
  99     | tOPTION tEXPLICIT tNL      { $$ = TRUE; }
 100
 101 SourceElements
 102     : /* empty */
 103     | SourceElements StatementNl    { source_add_statement(ctx, $2); }
 104
 105 StatementNl
 106     : Statement tNL                 { $$ = $1; }
 107
 108 Statement
 109     : MemberExpression ArgumentList_opt     { $1->args = $2; $$ = new_call_statement(ctx, $1); CHECK_ERROR; }
 110     | tCALL MemberExpression Arguments_opt  { $2->args = $3; $$ = new_call_statement(ctx, $2); CHECK_ERROR; }
 111
 112 MemberExpression
 113     : tIdentifier                   { $$ = new_member_expression(ctx, NULL, $1); CHECK_ERROR; }
 114     /* FIXME: MemberExpressionArgs '.' tIdentifier */
 115
 116 Arguments_opt
 117     : EmptyBrackets_opt             { $$ = NULL; }
 118     | '(' ArgumentList ')'          { $$ = $2; }
 119
 120 ArgumentList_opt
 121     : EmptyBrackets_opt             { $$ = NULL; }
 122     | ArgumentList                  { $$ = $1; }
 123
 124 ArgumentList
 125     : Expression                    { $$ = $1; }
 126     | Expression ',' ArgumentList   { $1->next = $3; $$ = $1; }
 127
 128 EmptyBrackets_opt
 129     : /* empty */
 130     | tEMPTYBRACKETS
 131
 132 Expression
 133     : NotExpression                 { $$ = $1; }
 134
 135 NotExpression
 136     : EqualityExpression            { $$ = $1; }
 137     | tNOT NotExpression            { $$ = new_unary_expression(ctx, EXPR_NOT, $2); CHECK_ERROR; }
 138
 139 EqualityExpression
 140     : ConcatExpression                          { $$ = $1; }
 141     | EqualityExpression '=' ConcatExpression   { $$ = new_binary_expression(ctx, EXPR_EQUAL, $1, $3); CHECK_ERROR; }
 142
 143 ConcatExpression
 144     : AdditiveExpression                        { $$ = $1; }
 145     | ConcatExpression '&' AdditiveExpression   { $$ = new_binary_expression(ctx, EXPR_CONCAT, $1, $3); CHECK_ERROR; }
 146
 147 AdditiveExpression
 148     : LiteralExpression /* FIXME */ { $$ = $1; }
 149     | CallExpression /* FIXME */    { $$ = $1; }
 150
 151 CallExpression
 152     : PrimaryExpression                 { $$ = $1; }
 153     | MemberExpression Arguments_opt    { $1->args = $2; $$ = &$1->expr; }
 154
 155 LiteralExpression
 156     : tTRUE                         { $$ = new_bool_expression(ctx, VARIANT_TRUE); CHECK_ERROR; }
 157     | tFALSE                        { $$ = new_bool_expression(ctx, VARIANT_FALSE); CHECK_ERROR; }
 158     | tString                       { $$ = new_string_expression(ctx, $1); CHECK_ERROR; }
 159     | tShort                        { $$ = new_long_expression(ctx, EXPR_USHORT, $1); CHECK_ERROR; }
 160     | '0'                           { $$ = new_long_expression(ctx, EXPR_USHORT, 0); CHECK_ERROR; }
 161     | tLong                         { $$ = new_long_expression(ctx, EXPR_ULONG, $1); CHECK_ERROR; }
 162     | tDouble                       { $$ = new_double_expression(ctx, $1); CHECK_ERROR; }
 163     | tEMPTY                        { $$ = new_expression(ctx, EXPR_EMPTY, 0); CHECK_ERROR; }
 164     | tNULL                         { $$ = new_expression(ctx, EXPR_NULL, 0); CHECK_ERROR; }
 165
 166 PrimaryExpression
 167     : '(' Expression ')'            { $$ = $2; }
 168
 169 %%
 170
 171 static int parser_error(const char *str)
 172 {
 173     return 0;
 174 }
 175
 176 static void source_add_statement(parser_ctx_t *ctx, statement_t *stat)
 177 {
 178     if(ctx->stats) {
 179         ctx->stats_tail->next = stat;
 180         ctx->stats_tail = stat;
 181     }else {
 182         ctx->stats = ctx->stats_tail = stat;
 183     }
 184 }
 185
 186 static void parse_complete(parser_ctx_t *ctx, BOOL option_explicit)
 187 {
 188     ctx->parse_complete = TRUE;
 189     ctx->option_explicit = option_explicit;
 190 }
 191
 192 static void *new_expression(parser_ctx_t *ctx, expression_type_t type, size_t size)
 193 {
 194     expression_t *expr;
 195
 196     expr = parser_alloc(ctx, size ? size : sizeof(*expr));
 197     if(expr) {
 198         expr->type = type;
 199         expr->next = NULL;
 200     }
 201
 202     return expr;
 203 }
 204
 205 static expression_t *new_bool_expression(parser_ctx_t *ctx, VARIANT_BOOL value)
 206 {
 207     bool_expression_t *expr;
 208
 209     expr = new_expression(ctx, EXPR_BOOL, sizeof(*expr));
 210     if(!expr)
 211         return NULL;
 212
 213     expr->value = value;
 214     return &expr->expr;
 215 }
 216
 217 static expression_t *new_string_expression(parser_ctx_t *ctx, const WCHAR *value)
 218 {
 219     string_expression_t *expr;
 220
 221     expr = new_expression(ctx, EXPR_STRING, sizeof(*expr));
 222     if(!expr)
 223         return NULL;
 224
 225     expr->value = value;
 226     return &expr->expr;
 227 }
 228
 229 static expression_t *new_long_expression(parser_ctx_t *ctx, expression_type_t type, LONG value)
 230 {
 231     int_expression_t *expr;
 232
 233     expr = new_expression(ctx, type, sizeof(*expr));
 234     if(!expr)
 235         return NULL;
 236
 237     expr->value = value;
 238     return &expr->expr;
 239 }
 240
 241 static expression_t *new_double_expression(parser_ctx_t *ctx, double value)
 242 {
 243     double_expression_t *expr;
 244
 245     expr = new_expression(ctx, EXPR_DOUBLE, sizeof(*expr));
 246     if(!expr)
 247         return NULL;
 248
 249     expr->value = value;
 250     return &expr->expr;
 251 }
 252
 253 static expression_t *new_unary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *subexpr)
 254 {
 255     unary_expression_t *expr;
 256
 257     expr = new_expression(ctx, type, sizeof(*expr));
 258     if(!expr)
 259         return NULL;
 260
 261     expr->subexpr = subexpr;
 262     return &expr->expr;
 263 }
 264
 265 static expression_t *new_binary_expression(parser_ctx_t *ctx, expression_type_t type, expression_t *left, expression_t *right)
 266 {
 267     binary_expression_t *expr;
 268
 269     expr = new_expression(ctx, type, sizeof(*expr));
 270     if(!expr)
 271         return NULL;
 272
 273     expr->left = left;
 274     expr->right = right;
 275     return &expr->expr;
 276 }
 277
 278 static member_expression_t *new_member_expression(parser_ctx_t *ctx, expression_t *obj_expr, const WCHAR *identifier)
 279 {
 280     member_expression_t *expr;
 281
 282     expr = new_expression(ctx, EXPR_MEMBER, sizeof(*expr));
 283     if(!expr)
 284         return NULL;
 285
 286     expr->obj_expr = obj_expr;
 287     expr->identifier = identifier;
 288     expr->args = NULL;
 289     return expr;
 290 }
 291
 292 static void *new_statement(parser_ctx_t *ctx, statement_type_t type, unsigned size)
 293 {
 294     statement_t *stat;
 295
 296     stat = parser_alloc(ctx, size);
 297     if(stat) {
 298         stat->type = type;
 299         stat->next = NULL;
 300     }
 301
 302     return stat;
 303 }
 304
 305 static statement_t *new_call_statement(parser_ctx_t *ctx, member_expression_t *expr)
 306 {
 307     call_statement_t *stat;
 308
 309     stat = new_statement(ctx, STAT_CALL, sizeof(*stat));
 310     if(!stat)
 311         return NULL;
 312
 313     stat->expr = expr;
 314     return &stat->stat;
 315 }
 316
 317 void *parser_alloc(parser_ctx_t *ctx, size_t size)
 318 {
 319     void *ret;
 320
 321     ret = vbsheap_alloc(&ctx->heap, size);
 322     if(!ret)
 323         ctx->hres = E_OUTOFMEMORY;
 324     return ret;
 325 }
 326
 327 HRESULT parse_script(parser_ctx_t *ctx, const WCHAR *code)
 328 {
 329     ctx->code = ctx->ptr = code;
 330     ctx->end = ctx->code + strlenW(ctx->code);
 331
 332     vbsheap_init(&ctx->heap);
 333
 334     ctx->parse_complete = FALSE;
 335     ctx->hres = S_OK;
 336
 337     ctx->last_token = tNL;
 338     ctx->last_nl = 0;
 339     ctx->stats = ctx->stats_tail = NULL;
 340     ctx->option_explicit = FALSE;
 341
 342     parser_parse(ctx);
 343
 344     if(FAILED(ctx->hres))
 345         return ctx->hres;
 346     if(!ctx->parse_complete) {
 347         FIXME("parser failed on parsing %s\n", debugstr_w(ctx->ptr));
 348         return E_FAIL;
 349     }
 350
 351     return S_OK;
 352 }
 353
 354 void parser_release(parser_ctx_t *ctx)
 355 {
 356     vbsheap_free(&ctx->heap);
 357 }