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