git.oblomov.eu Git - wine/blob - dlls/jscript/jsutils.c

   1 /*
   2  * Copyright 2008 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 #include "config.h"
  20 #include "wine/port.h"
  21
  22 #include <math.h>
  23
  24 #include "jscript.h"
  25 #include "engine.h"
  26
  27 #include "wine/debug.h"
  28
  29 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
  30 WINE_DECLARE_DEBUG_CHANNEL(heap);
  31
  32 const char *debugstr_variant(const VARIANT *v)
  33 {
  34     switch(V_VT(v)) {
  35     case VT_EMPTY:
  36         return wine_dbg_sprintf("{VT_EMPTY}");
  37     case VT_NULL:
  38         return wine_dbg_sprintf("{VT_NULL}");
  39     case VT_I4:
  40         return wine_dbg_sprintf("{VT_I4: %d}", V_I4(v));
  41     case VT_R8:
  42         return wine_dbg_sprintf("{VT_R8: %lf}", V_R8(v));
  43     case VT_BSTR:
  44         return wine_dbg_sprintf("{VT_BSTR: %s}", debugstr_w(V_BSTR(v)));
  45     case VT_DISPATCH:
  46         return wine_dbg_sprintf("{VT_DISPATCH: %p}", V_DISPATCH(v));
  47     case VT_BOOL:
  48         return wine_dbg_sprintf("{VT_BOOL: %x}", V_BOOL(v));
  49     default:
  50         return wine_dbg_sprintf("{vt %d}", V_VT(v));
  51     }
  52 }
  53
  54 #define MIN_BLOCK_SIZE  128
  55 #define ARENA_FREE_FILLER  0xaa
  56
  57 static inline DWORD block_size(DWORD block)
  58 {
  59     return MIN_BLOCK_SIZE << block;
  60 }
  61
  62 void jsheap_init(jsheap_t *heap)
  63 {
  64     memset(heap, 0, sizeof(*heap));
  65     list_init(&heap->custom_blocks);
  66 }
  67
  68 void *jsheap_alloc(jsheap_t *heap, DWORD size)
  69 {
  70     struct list *list;
  71     void *tmp;
  72
  73     if(!heap->block_cnt) {
  74         if(!heap->blocks) {
  75             heap->blocks = heap_alloc(sizeof(void*));
  76             if(!heap->blocks)
  77                 return NULL;
  78         }
  79
  80         tmp = heap_alloc(block_size(0));
  81         if(!tmp)
  82             return NULL;
  83
  84         heap->blocks[0] = tmp;
  85         heap->block_cnt = 1;
  86     }
  87
  88     if(heap->offset + size <= block_size(heap->last_block)) {
  89         tmp = ((BYTE*)heap->blocks[heap->last_block])+heap->offset;
  90         heap->offset += size;
  91         return tmp;
  92     }
  93
  94     if(size <= block_size(heap->last_block+1)) {
  95         if(heap->last_block+1 == heap->block_cnt) {
  96             tmp = heap_realloc(heap->blocks, (heap->block_cnt+1)*sizeof(void*));
  97             if(!tmp)
  98                 return NULL;
  99
 100             heap->blocks = tmp;
 101             heap->blocks[heap->block_cnt] = heap_alloc(block_size(heap->block_cnt));
 102             if(!heap->blocks[heap->block_cnt])
 103                 return NULL;
 104
 105             heap->block_cnt++;
 106         }
 107
 108         heap->last_block++;
 109         heap->offset = size;
 110         return heap->blocks[heap->last_block];
 111     }
 112
 113     list = heap_alloc(size + sizeof(struct list));
 114     if(!list)
 115         return NULL;
 116
 117     list_add_head(&heap->custom_blocks, list);
 118     return list+1;
 119 }
 120
 121 void *jsheap_grow(jsheap_t *heap, void *mem, DWORD size, DWORD inc)
 122 {
 123     if(mem == (BYTE*)heap->blocks[heap->last_block] + heap->offset-size
 124        && heap->offset+inc < block_size(heap->last_block)) {
 125         heap->offset += inc;
 126         return mem;
 127     }
 128
 129     return jsheap_alloc(heap, size+inc);
 130 }
 131
 132 void jsheap_clear(jsheap_t *heap)
 133 {
 134     struct list *tmp;
 135
 136     if(!heap)
 137         return;
 138
 139     while((tmp = list_next(&heap->custom_blocks, &heap->custom_blocks))) {
 140         list_remove(tmp);
 141         heap_free(tmp);
 142     }
 143
 144     if(WARN_ON(heap)) {
 145         DWORD i;
 146
 147         for(i=0; i < heap->block_cnt; i++)
 148             memset(heap->blocks[i], ARENA_FREE_FILLER, block_size(i));
 149     }
 150
 151     heap->last_block = heap->offset = 0;
 152     heap->mark = FALSE;
 153 }
 154
 155 void jsheap_free(jsheap_t *heap)
 156 {
 157     DWORD i;
 158
 159     jsheap_clear(heap);
 160
 161     for(i=0; i < heap->block_cnt; i++)
 162         heap_free(heap->blocks[i]);
 163     heap_free(heap->blocks);
 164
 165     jsheap_init(heap);
 166 }
 167
 168 jsheap_t *jsheap_mark(jsheap_t *heap)
 169 {
 170     if(heap->mark)
 171         return NULL;
 172
 173     heap->mark = TRUE;
 174     return heap;
 175 }
 176
 177 /* ECMA-262 3rd Edition    9.1 */
 178 HRESULT to_primitive(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, VARIANT *ret, hint_t hint)
 179 {
 180     switch(V_VT(v)) {
 181     case VT_EMPTY:
 182     case VT_NULL:
 183     case VT_BOOL:
 184     case VT_I4:
 185     case VT_R8:
 186         *ret = *v;
 187         break;
 188     case VT_BSTR:
 189         V_VT(ret) = VT_BSTR;
 190         V_BSTR(ret) = SysAllocString(V_BSTR(v));
 191         break;
 192     case VT_DISPATCH: {
 193         DispatchEx *jsdisp;
 194         DISPID id;
 195         DISPPARAMS dp = {NULL, NULL, 0, 0};
 196         HRESULT hres;
 197
 198         static const WCHAR toStringW[] = {'t','o','S','t','r','i','n','g',0};
 199         static const WCHAR valueOfW[] = {'v','a','l','u','e','O','f',0};
 200
 201         if(!V_DISPATCH(v)) {
 202             V_VT(ret) = VT_NULL;
 203             break;
 204         }
 205
 206         jsdisp = iface_to_jsdisp((IUnknown*)V_DISPATCH(v));
 207         if(!jsdisp) {
 208             V_VT(ret) = VT_EMPTY;
 209             return disp_propget(V_DISPATCH(v), DISPID_VALUE, ctx->lcid, ret, ei, NULL /*FIXME*/);
 210         }
 211
 212         if(hint == NO_HINT)
 213             hint = is_class(jsdisp, JSCLASS_DATE) ? HINT_STRING : HINT_NUMBER;
 214
 215         /* Native implementation doesn't throw TypeErrors, returns strange values */
 216
 217         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? toStringW : valueOfW, 0, &id);
 218         if(SUCCEEDED(hres)) {
 219             hres = jsdisp_call(jsdisp, id, ctx->lcid, DISPATCH_METHOD, &dp, ret, ei, NULL /*FIXME*/);
 220             if(FAILED(hres)) {
 221                 WARN("call error - forwarding exception\n");
 222                 jsdisp_release(jsdisp);
 223                 return hres;
 224             }
 225             else if(V_VT(ret) != VT_DISPATCH) {
 226                 jsdisp_release(jsdisp);
 227                 return S_OK;
 228             }
 229             else
 230                 IDispatch_Release(V_DISPATCH(ret));
 231         }
 232
 233         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? valueOfW : toStringW, 0, &id);
 234         if(SUCCEEDED(hres)) {
 235             hres = jsdisp_call(jsdisp, id, ctx->lcid, DISPATCH_METHOD, &dp, ret, ei, NULL /*FIXME*/);
 236             if(FAILED(hres)) {
 237                 WARN("call error - forwarding exception\n");
 238                 jsdisp_release(jsdisp);
 239                 return hres;
 240             }
 241             else if(V_VT(ret) != VT_DISPATCH) {
 242                 jsdisp_release(jsdisp);
 243                 return S_OK;
 244             }
 245             else
 246                 IDispatch_Release(V_DISPATCH(ret));
 247         }
 248
 249         jsdisp_release(jsdisp);
 250
 251         WARN("failed\n");
 252         return throw_type_error(ctx, ei, IDS_TO_PRIMITIVE, NULL);
 253     }
 254     default:
 255         FIXME("Unimplemented for vt %d\n", V_VT(v));
 256         return E_NOTIMPL;
 257     }
 258
 259     return S_OK;
 260 }
 261
 262 /* ECMA-262 3rd Edition    9.2 */
 263 HRESULT to_boolean(VARIANT *v, VARIANT_BOOL *b)
 264 {
 265     switch(V_VT(v)) {
 266     case VT_EMPTY:
 267     case VT_NULL:
 268         *b = VARIANT_FALSE;
 269         break;
 270     case VT_I4:
 271         *b = V_I4(v) ? VARIANT_TRUE : VARIANT_FALSE;
 272         break;
 273     case VT_R8:
 274         if(isnan(V_R8(v))) *b = VARIANT_FALSE;
 275         else *b = V_R8(v) ? VARIANT_TRUE : VARIANT_FALSE;
 276         break;
 277     case VT_BSTR:
 278         *b = V_BSTR(v) && *V_BSTR(v) ? VARIANT_TRUE : VARIANT_FALSE;
 279         break;
 280     case VT_DISPATCH:
 281         *b = V_DISPATCH(v) ? VARIANT_TRUE : VARIANT_FALSE;
 282         break;
 283     case VT_BOOL:
 284         *b = V_BOOL(v);
 285         break;
 286     default:
 287         FIXME("unimplemented for vt %d\n", V_VT(v));
 288         return E_NOTIMPL;
 289     }
 290
 291     return S_OK;
 292 }
 293
 294 static int hex_to_int(WCHAR c)
 295 {
 296     if('0' <= c && c <= '9')
 297         return c-'0';
 298
 299     if('a' <= c && c <= 'f')
 300         return c-'a'+10;
 301
 302     if('A' <= c && c <= 'F')
 303         return c-'A'+10;
 304
 305     return -1;
 306 }
 307
 308 /* ECMA-262 3rd Edition    9.3.1 */
 309 static HRESULT str_to_number(BSTR str, VARIANT *ret)
 310 {
 311     const WCHAR *ptr = str;
 312     BOOL neg = FALSE;
 313     DOUBLE d = 0.0;
 314
 315     static const WCHAR infinityW[] = {'I','n','f','i','n','i','t','y'};
 316
 317     while(isspaceW(*ptr))
 318         ptr++;
 319
 320     if(*ptr == '-') {
 321         neg = TRUE;
 322         ptr++;
 323     }else if(*ptr == '+') {
 324         ptr++;
 325     }
 326
 327     if(!strncmpW(ptr, infinityW, sizeof(infinityW)/sizeof(WCHAR))) {
 328         ptr += sizeof(infinityW)/sizeof(WCHAR);
 329         while(*ptr && isspaceW(*ptr))
 330             ptr++;
 331
 332         if(*ptr)
 333             num_set_nan(ret);
 334         else
 335             num_set_inf(ret, !neg);
 336         return S_OK;
 337     }
 338
 339     if(*ptr == '0' && ptr[1] == 'x') {
 340         DWORD l = 0;
 341
 342         ptr += 2;
 343         while((l = hex_to_int(*ptr)) != -1) {
 344             d = d*16 + l;
 345             ptr++;
 346         }
 347
 348         num_set_val(ret, d);
 349         return S_OK;
 350     }
 351
 352     while(isdigitW(*ptr))
 353         d = d*10 + (*ptr++ - '0');
 354
 355     if(*ptr == 'e' || *ptr == 'E') {
 356         BOOL eneg = FALSE;
 357         LONG l = 0;
 358
 359         ptr++;
 360         if(*ptr == '-') {
 361             ptr++;
 362             eneg = TRUE;
 363         }else if(*ptr == '+') {
 364             ptr++;
 365         }
 366
 367         while(isdigitW(*ptr))
 368             l = l*10 + (*ptr++ - '0');
 369         if(eneg)
 370             l = -l;
 371
 372         d *= pow(10, l);
 373     }else if(*ptr == '.') {
 374         DOUBLE dec = 0.1;
 375
 376         ptr++;
 377         while(isdigitW(*ptr)) {
 378             d += dec * (*ptr++ - '0');
 379             dec *= 0.1;
 380         }
 381     }
 382
 383     while(isspaceW(*ptr))
 384         ptr++;
 385
 386     if(*ptr) {
 387         num_set_nan(ret);
 388         return S_OK;
 389     }
 390
 391     if(neg)
 392         d = -d;
 393
 394     num_set_val(ret, d);
 395     return S_OK;
 396 }
 397
 398 /* ECMA-262 3rd Edition    9.3 */
 399 HRESULT to_number(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, VARIANT *ret)
 400 {
 401     switch(V_VT(v)) {
 402     case VT_EMPTY:
 403         num_set_nan(ret);
 404         break;
 405     case VT_NULL:
 406         V_VT(ret) = VT_I4;
 407         V_I4(ret) = 0;
 408         break;
 409     case VT_I4:
 410     case VT_R8:
 411         *ret = *v;
 412         break;
 413     case VT_BSTR:
 414         return str_to_number(V_BSTR(v), ret);
 415     case VT_DISPATCH: {
 416         VARIANT prim;
 417         HRESULT hres;
 418
 419         hres = to_primitive(ctx, v, ei, &prim, HINT_NUMBER);
 420         if(FAILED(hres))
 421             return hres;
 422
 423         hres = to_number(ctx, &prim, ei, ret);
 424         VariantClear(&prim);
 425         return hres;
 426     }
 427     case VT_BOOL:
 428         V_VT(ret) = VT_I4;
 429         V_I4(ret) = V_BOOL(v) ? 1 : 0;
 430         break;
 431     default:
 432         FIXME("unimplemented for vt %d\n", V_VT(v));
 433         return E_NOTIMPL;
 434     }
 435
 436     return S_OK;
 437 }
 438
 439 /* ECMA-262 3rd Edition    9.4 */
 440 HRESULT to_integer(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, VARIANT *ret)
 441 {
 442     VARIANT num;
 443     HRESULT hres;
 444
 445     hres = to_number(ctx, v, ei, &num);
 446     if(FAILED(hres))
 447         return hres;
 448
 449     if(V_VT(&num) == VT_I4)
 450         *ret = num;
 451     else
 452         num_set_val(ret, V_R8(&num) >= 0.0 ? floor(V_R8(&num)) : -floor(-V_R8(&num)));
 453
 454     return S_OK;
 455 }
 456
 457 /* ECMA-262 3rd Edition    9.5 */
 458 HRESULT to_int32(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, INT *ret)
 459 {
 460     VARIANT num;
 461     HRESULT hres;
 462
 463     hres = to_number(ctx, v, ei, &num);
 464     if(FAILED(hres))
 465         return hres;
 466
 467     *ret = V_VT(&num) == VT_I4 ? V_I4(&num) : (INT)V_R8(&num);
 468     return S_OK;
 469 }
 470
 471 /* ECMA-262 3rd Edition    9.6 */
 472 HRESULT to_uint32(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, DWORD *ret)
 473 {
 474     VARIANT num;
 475     HRESULT hres;
 476
 477     hres = to_number(ctx, v, ei, &num);
 478     if(FAILED(hres))
 479         return hres;
 480
 481     *ret = V_VT(&num) == VT_I4 ? V_I4(&num) : (DWORD)V_R8(&num);
 482     return S_OK;
 483 }
 484
 485 static BSTR int_to_bstr(INT i)
 486 {
 487     WCHAR buf[12], *p;
 488     BOOL neg = FALSE;
 489
 490     if(!i) {
 491         static const WCHAR zeroW[] = {'0',0};
 492         return SysAllocString(zeroW);
 493     }
 494
 495     if(i < 0) {
 496         neg = TRUE;
 497         i = -i;
 498     }
 499
 500     p = buf + sizeof(buf)/sizeof(*buf)-1;
 501     *p-- = 0;
 502     while(i) {
 503         *p-- = i%10 + '0';
 504         i /= 10;
 505     }
 506
 507     if(neg)
 508         *p = '-';
 509     else
 510         p++;
 511
 512     return SysAllocString(p);
 513 }
 514
 515 /* ECMA-262 3rd Edition    9.8 */
 516 HRESULT to_string(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, BSTR *str)
 517 {
 518     const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
 519     const WCHAR nullW[] = {'n','u','l','l',0};
 520     const WCHAR trueW[] = {'t','r','u','e',0};
 521     const WCHAR falseW[] = {'f','a','l','s','e',0};
 522     const WCHAR NaNW[] = {'N','a','N',0};
 523     const WCHAR InfinityW[] = {'-','I','n','f','i','n','i','t','y',0};
 524
 525     switch(V_VT(v)) {
 526     case VT_EMPTY:
 527         *str = SysAllocString(undefinedW);
 528         break;
 529     case VT_NULL:
 530         *str = SysAllocString(nullW);
 531         break;
 532     case VT_I4:
 533         *str = int_to_bstr(V_I4(v));
 534         break;
 535     case VT_R8: {
 536         if(isnan(V_R8(v)))
 537             *str = SysAllocString(NaNW);
 538         else if(isinf(V_R8(v)))
 539             *str = SysAllocString(V_R8(v)<0 ? InfinityW : InfinityW+1);
 540         else {
 541             VARIANT strv;
 542             HRESULT hres;
 543
 544             V_VT(&strv) = VT_EMPTY;
 545             hres = VariantChangeTypeEx(&strv, v, MAKELCID(MAKELANGID(LANG_ENGLISH,SUBLANG_ENGLISH_US),SORT_DEFAULT), 0, VT_BSTR);
 546             if(FAILED(hres))
 547                 return hres;
 548
 549             *str = V_BSTR(&strv);
 550             return S_OK;
 551         }
 552         break;
 553     }
 554     case VT_BSTR:
 555         *str = SysAllocString(V_BSTR(v));
 556         break;
 557     case VT_DISPATCH: {
 558         VARIANT prim;
 559         HRESULT hres;
 560
 561         hres = to_primitive(ctx, v, ei, &prim, HINT_STRING);
 562         if(FAILED(hres))
 563             return hres;
 564
 565         hres = to_string(ctx, &prim, ei, str);
 566         VariantClear(&prim);
 567         return hres;
 568     }
 569     case VT_BOOL:
 570         *str = SysAllocString(V_BOOL(v) ? trueW : falseW);
 571         break;
 572     default:
 573         FIXME("unsupported vt %d\n", V_VT(v));
 574         return E_NOTIMPL;
 575     }
 576
 577     return *str ? S_OK : E_OUTOFMEMORY;
 578 }
 579
 580 /* ECMA-262 3rd Edition    9.9 */
 581 HRESULT to_object(script_ctx_t *ctx, VARIANT *v, IDispatch **disp)
 582 {
 583     DispatchEx *dispex;
 584     HRESULT hres;
 585
 586     switch(V_VT(v)) {
 587     case VT_BSTR:
 588         hres = create_string(ctx, V_BSTR(v), SysStringLen(V_BSTR(v)), &dispex);
 589         if(FAILED(hres))
 590             return hres;
 591
 592         *disp = (IDispatch*)_IDispatchEx_(dispex);
 593         break;
 594     case VT_I4:
 595     case VT_R8:
 596         hres = create_number(ctx, v, &dispex);
 597         if(FAILED(hres))
 598             return hres;
 599
 600         *disp = (IDispatch*)_IDispatchEx_(dispex);
 601         break;
 602     case VT_DISPATCH:
 603         IDispatch_AddRef(V_DISPATCH(v));
 604         *disp = V_DISPATCH(v);
 605         break;
 606     case VT_BOOL:
 607         hres = create_bool(ctx, V_BOOL(v), &dispex);
 608         if(FAILED(hres))
 609             return hres;
 610
 611         *disp = (IDispatch*)_IDispatchEx_(dispex);
 612         break;
 613     default:
 614         FIXME("unsupported vt %d\n", V_VT(v));
 615         return E_NOTIMPL;
 616     }
 617
 618     return S_OK;
 619 }