1 /* 2 * Copyright 2014 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 "jscript.h" 22 #include "engine.h" 23 #include "parser.h" 24 25 #include "wine/debug.h" 26 27 WINE_DEFAULT_DEBUG_CHANNEL(jscript); 28 29 %} 30 31 %lex-param { parser_ctx_t *ctx } 32 %parse-param { parser_ctx_t *ctx } 33 %define api.pure 34 %start CCExpr 35 36 %union { 37 ccval_t ccval; 38 } 39 40 %token tEQ tEQEQ tNEQ tNEQEQ tLSHIFT tRSHIFT tRRSHIFT tOR tAND tLEQ tGEQ 41 %token <ccval> tCCValue 42 43 %type <ccval> CCUnaryExpression CCLogicalORExpression CCLogicalANDExpression 44 %type <ccval> CCBitwiseORExpression CCBitwiseXORExpression CCBitwiseANDExpression 45 %type <ccval> CCEqualityExpression CCRelationalExpression CCShiftExpression CCAdditiveExpression CCMultiplicativeExpression 46 47 %{ 48 49 static int cc_parser_error(parser_ctx_t *ctx, const char *str) 50 { 51 if(SUCCEEDED(ctx->hres)) { 52 WARN("%s\n", str); 53 ctx->hres = JS_E_SYNTAX; 54 } 55 56 return 0; 57 } 58 59 static int cc_parser_lex(void *lval, parser_ctx_t *ctx) 60 { 61 int r; 62 63 r = try_parse_ccval(ctx, lval); 64 if(r) 65 return r > 0 ? tCCValue : -1; 66 67 switch(*ctx->ptr) { 68 case '(': 69 case ')': 70 case '+': 71 case '-': 72 case '*': 73 case '/': 74 case '~': 75 case '%': 76 case '^': 77 return *ctx->ptr++; 78 case '=': 79 if(*++ctx->ptr == '=') { 80 if(*++ctx->ptr == '=') { 81 ctx->ptr++; 82 return tEQEQ; 83 } 84 return tEQ; 85 } 86 break; 87 case '!': 88 if(*++ctx->ptr == '=') { 89 if(*++ctx->ptr == '=') { 90 ctx->ptr++; 91 return tNEQEQ; 92 } 93 return tNEQ; 94 } 95 return '!'; 96 case '<': 97 switch(*++ctx->ptr) { 98 case '<': 99 ctx->ptr++; 100 return tLSHIFT; 101 case '=': 102 ctx->ptr++; 103 return tLEQ; 104 default: 105 return '<'; 106 } 107 case '>': 108 switch(*++ctx->ptr) { 109 case '>': 110 if(*++ctx->ptr == '>') { 111 ctx->ptr++; 112 return tRRSHIFT; 113 } 114 return tRSHIFT; 115 case '=': 116 ctx->ptr++; 117 return tGEQ; 118 default: 119 return '>'; 120 } 121 case '|': 122 if(*++ctx->ptr == '|') { 123 ctx->ptr++; 124 return tOR; 125 } 126 return '|'; 127 case '&': 128 if(*++ctx->ptr == '&') { 129 ctx->ptr++; 130 return tAND; 131 } 132 return '&'; 133 } 134 135 WARN("Failed to interpret %s\n", debugstr_w(ctx->ptr)); 136 return -1; 137 } 138 139 %} 140 141 %% 142 143 /* FIXME: Implement missing expressions. */ 144 145 CCExpr 146 : CCUnaryExpression { ctx->ccval = $1; YYACCEPT; } 147 148 CCUnaryExpression 149 : tCCValue { $$ = $1; } 150 | '(' CCLogicalORExpression ')' { $$ = $2; } 151 | '!' CCUnaryExpression { $$ = ccval_bool(!get_ccbool($2)); }; 152 | '~' CCUnaryExpression { FIXME("'~' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 153 | '+' CCUnaryExpression { FIXME("'+' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 154 | '-' CCUnaryExpression { FIXME("'-' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 155 156 CCLogicalORExpression 157 : CCLogicalANDExpression { $$ = $1; } 158 | CCLogicalORExpression tOR CCLogicalANDExpression 159 { FIXME("'||' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 160 161 CCLogicalANDExpression 162 : CCBitwiseORExpression { $$ = $1; } 163 | CCBitwiseANDExpression tAND CCBitwiseORExpression 164 { FIXME("'&&' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 165 166 CCBitwiseORExpression 167 : CCBitwiseXORExpression { $$ = $1; } 168 | CCBitwiseORExpression '|' CCBitwiseXORExpression 169 { FIXME("'|' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 170 171 CCBitwiseXORExpression 172 : CCBitwiseANDExpression { $$ = $1; } 173 | CCBitwiseXORExpression '^' CCBitwiseANDExpression 174 { FIXME("'^' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 175 176 CCBitwiseANDExpression 177 : CCEqualityExpression { $$ = $1; } 178 | CCBitwiseANDExpression '&' CCEqualityExpression 179 { FIXME("'&' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 180 181 CCEqualityExpression 182 : CCRelationalExpression { $$ = $1; } 183 | CCEqualityExpression tEQ CCRelationalExpression 184 { $$ = ccval_bool(get_ccnum($1) == get_ccnum($3)); } 185 | CCEqualityExpression tNEQ CCRelationalExpression 186 { $$ = ccval_bool(get_ccnum($1) != get_ccnum($3)); } 187 | CCEqualityExpression tEQEQ CCRelationalExpression 188 { FIXME("'===' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 189 | CCEqualityExpression tNEQEQ CCRelationalExpression 190 { FIXME("'!==' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 191 192 CCRelationalExpression 193 : CCShiftExpression { $$ = $1; } 194 | CCRelationalExpression '<' CCShiftExpression 195 { $$ = ccval_bool(get_ccnum($1) < get_ccnum($3)); } 196 | CCRelationalExpression tLEQ CCShiftExpression 197 { $$ = ccval_bool(get_ccnum($1) <= get_ccnum($3)); } 198 | CCRelationalExpression '>' CCShiftExpression 199 { $$ = ccval_bool(get_ccnum($1) > get_ccnum($3)); } 200 | CCRelationalExpression tGEQ CCShiftExpression 201 { $$ = ccval_bool(get_ccnum($1) >= get_ccnum($3)); } 202 203 CCShiftExpression 204 : CCAdditiveExpression { $$ = $1; } 205 | CCShiftExpression tLSHIFT CCAdditiveExpression 206 { FIXME("'<<' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 207 | CCShiftExpression tRSHIFT CCAdditiveExpression 208 { FIXME("'>>' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 209 | CCShiftExpression tRRSHIFT CCAdditiveExpression 210 { FIXME("'>>>' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 211 212 CCAdditiveExpression 213 : CCMultiplicativeExpression { $$ = $1; } 214 | CCAdditiveExpression '+' CCMultiplicativeExpression 215 { $$ = ccval_num(get_ccnum($1) + get_ccnum($3)); } 216 | CCAdditiveExpression '-' CCMultiplicativeExpression 217 { $$ = ccval_num(get_ccnum($1) - get_ccnum($3)); } 218 219 CCMultiplicativeExpression 220 : CCUnaryExpression { $$ = $1; } 221 | CCMultiplicativeExpression '*' CCUnaryExpression 222 { $$ = ccval_num(get_ccnum($1) * get_ccnum($3)); } 223 | CCMultiplicativeExpression '/' CCUnaryExpression 224 { $$ = ccval_num(get_ccnum($1) / get_ccnum($3)); } 225 | CCMultiplicativeExpression '%' CCUnaryExpression 226 { FIXME("'%%' expression not implemented\n"); ctx->hres = E_NOTIMPL; YYABORT; } 227 228 %% 229 230 BOOL parse_cc_expr(parser_ctx_t *ctx) 231 { 232 ctx->hres = S_OK; 233 cc_parser_parse(ctx); 234 return SUCCEEDED(ctx->hres); 235 } 236