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*);
  35
  36 static void source_add_statement(parser_ctx_t*,statement_t*);
  37
  38 static expression_t *new_bool_expression(parser_ctx_t*,VARIANT_BOOL);
  39
  40 static member_expression_t *new_member_expression(parser_ctx_t*,expression_t*,const WCHAR*);
  41
  42 static statement_t *new_call_statement(parser_ctx_t*,member_expression_t*);
  43
  44 #define CHECK_ERROR if(((parser_ctx_t*)ctx)->hres != S_OK) YYABORT
  45
  46 %}
  47
  48 %pure_parser
  49 %start Program
  50
  51 %union {
  52     const WCHAR *string;
  53     statement_t *statement;
  54     expression_t *expression;
  55     member_expression_t *member;
  56 }
  57
  58 %token tEOF tNL tREM
  59 %token tTRUE tFALSE
  60 %token tNOT tAND tOR tXOR tEQV tIMP tNEQ
  61 %token tIS tLTEQ tGTEQ tMOD
  62 %token tCALL tDIM tSUB tFUNCTION tPROPERTY tGET tLET
  63 %token tIF tELSE tELSEIF tEND tTHEN tEXIT
  64 %token tWHILE tWEND tDO tLOOP tUNTIL
  65 %token tBYREF tBYVAL
  66 %token tOPTION tEXPLICIT
  67 %token tSTOP
  68 %token tNOTHING tEMPTY tNULL
  69 %token tCLASS tSET tNEW tPUBLIC tPRIVATE tDEFAULT tME
  70 %token tERROR tNEXT tON tRESUME tGOTO
  71 %token <string> tIdentifier
  72
  73 %type <statement> Statement StatementNl
  74 %type <expression> Expression LiteralExpression
  75 %type <member> MemberExpression
  76 %type <expression> Arguments_opt ArgumentList_opt ArgumentList
  77
  78 %%
  79
  80 Program
  81     : SourceElements tEOF           { parse_complete(ctx); }
  82
  83 SourceElements
  84     : /* empty */
  85     | SourceElements StatementNl    { source_add_statement(ctx, $2); }
  86
  87 StatementNl
  88     : Statement tNL                 { $$ = $1; }
  89
  90 Statement
  91     : MemberExpression Arguments_opt        { $1->args = $2; $$ = new_call_statement(ctx, $1); CHECK_ERROR; }
  92     | tCALL MemberExpression Arguments_opt  { $2->args = $3; $$ = new_call_statement(ctx, $2); CHECK_ERROR; }
  93
  94 MemberExpression
  95     : tIdentifier                   { $$ = new_member_expression(ctx, NULL, $1); CHECK_ERROR; }
  96     /* FIXME: MemberExpressionArgs '.' tIdentifier */
  97
  98 Arguments_opt
  99     : /* empty */                   { $$ = NULL; }
 100     | '(' ArgumentList_opt ')'      { $$ = $2; }
 101
 102 ArgumentList_opt
 103     : /* empty */                   { $$ = NULL; }
 104     | ArgumentList                  { $$ = $1; }
 105
 106 ArgumentList
 107     : Expression                    { $$ = $1; }
 108     | Expression ',' ArgumentList   { $1->next = $3; $$ = $1; }
 109
 110 Expression
 111     : LiteralExpression /* FIXME */ { $$ = $1; }
 112
 113 LiteralExpression
 114     : tTRUE                         { $$ = new_bool_expression(ctx, VARIANT_TRUE); CHECK_ERROR; }
 115     | tFALSE                        { $$ = new_bool_expression(ctx, VARIANT_FALSE); CHECK_ERROR; }
 116
 117 %%
 118
 119 static int parser_error(const char *str)
 120 {
 121     return 0;
 122 }
 123
 124 static void source_add_statement(parser_ctx_t *ctx, statement_t *stat)
 125 {
 126     if(ctx->stats) {
 127         ctx->stats_tail->next = stat;
 128         ctx->stats_tail = stat;
 129     }else {
 130         ctx->stats = ctx->stats_tail = stat;
 131     }
 132 }
 133
 134 static void parse_complete(parser_ctx_t *ctx)
 135 {
 136     ctx->parse_complete = TRUE;
 137 }
 138
 139 static void *new_expression(parser_ctx_t *ctx, expression_type_t type, unsigned size)
 140 {
 141     expression_t *expr;
 142
 143     expr = parser_alloc(ctx, size ? size : sizeof(*expr));
 144     if(expr) {
 145         expr->type = type;
 146         expr->next = NULL;
 147     }
 148
 149     return expr;
 150 }
 151
 152 static expression_t *new_bool_expression(parser_ctx_t *ctx, VARIANT_BOOL value)
 153 {
 154     bool_expression_t *expr;
 155
 156     expr = new_expression(ctx, EXPR_BOOL, sizeof(*expr));
 157     if(!expr)
 158         return NULL;
 159
 160     expr->value = value;
 161     return &expr->expr;
 162 }
 163
 164 static member_expression_t *new_member_expression(parser_ctx_t *ctx, expression_t *obj_expr, const WCHAR *identifier)
 165 {
 166     member_expression_t *expr;
 167
 168     expr = new_expression(ctx, EXPR_MEMBER, sizeof(*expr));
 169     if(!expr)
 170         return NULL;
 171
 172     expr->obj_expr = obj_expr;
 173     expr->identifier = identifier;
 174     expr->args = NULL;
 175     return expr;
 176 }
 177
 178 static void *new_statement(parser_ctx_t *ctx, statement_type_t type, unsigned size)
 179 {
 180     statement_t *stat;
 181
 182     stat = parser_alloc(ctx, size);
 183     if(stat) {
 184         stat->type = type;
 185         stat->next = NULL;
 186     }
 187
 188     return stat;
 189 }
 190
 191 static statement_t *new_call_statement(parser_ctx_t *ctx, member_expression_t *expr)
 192 {
 193     call_statement_t *stat;
 194
 195     stat = new_statement(ctx, STAT_CALL, sizeof(*stat));
 196     if(!stat)
 197         return NULL;
 198
 199     stat->expr = expr;
 200     return &stat->stat;
 201 }
 202
 203 void *parser_alloc(parser_ctx_t *ctx, size_t size)
 204 {
 205     void *ret;
 206
 207     /* FIXME: leaks! */
 208     ret = heap_alloc(size);
 209     if(!ret)
 210         ctx->hres = E_OUTOFMEMORY;
 211     return ret;
 212 }
 213
 214 HRESULT parse_script(parser_ctx_t *ctx, const WCHAR *code)
 215 {
 216     ctx->code = ctx->ptr = code;
 217     ctx->end = ctx->code + strlenW(ctx->code);
 218
 219     ctx->parse_complete = FALSE;
 220     ctx->hres = S_OK;
 221
 222     ctx->last_token = tNL;
 223     ctx->last_nl = 0;
 224     ctx->stats = ctx->stats_tail = NULL;
 225
 226     parser_parse(ctx);
 227
 228     if(FAILED(ctx->hres))
 229         return ctx->hres;
 230     if(!ctx->parse_complete) {
 231         FIXME("parser failed on parsing %s\n", debugstr_w(ctx->ptr));
 232         return E_FAIL;
 233     }
 234
 235     return S_OK;
 236 }