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         jsdisp = iface_to_jsdisp((IUnknown*)V_DISPATCH(v));
 202         if(!jsdisp) {
 203             V_VT(ret) = VT_EMPTY;
 204             return disp_propget(V_DISPATCH(v), DISPID_VALUE, ctx->lcid, ret, ei, NULL /*FIXME*/);
 205         }
 206
 207         if(hint == NO_HINT)
 208             hint = is_class(jsdisp, JSCLASS_DATE) ? HINT_STRING : HINT_NUMBER;
 209
 210         /* Native implementation doesn't throw TypeErrors, returns strange values */
 211
 212         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? toStringW : valueOfW, 0, &id);
 213         if(SUCCEEDED(hres)) {
 214             hres = jsdisp_call(jsdisp, id, ctx->lcid, DISPATCH_METHOD, &dp, ret, ei, NULL /*FIXME*/);
 215             if(FAILED(hres)) {
 216                 WARN("call error - forwarding exception\n");
 217                 jsdisp_release(jsdisp);
 218                 return hres;
 219             }
 220             else if(V_VT(ret) != VT_DISPATCH) {
 221                 jsdisp_release(jsdisp);
 222                 return S_OK;
 223             }
 224             else
 225                 IDispatch_Release(V_DISPATCH(ret));
 226         }
 227
 228         hres = jsdisp_get_id(jsdisp, hint == HINT_STRING ? valueOfW : toStringW, 0, &id);
 229         if(SUCCEEDED(hres)) {
 230             hres = jsdisp_call(jsdisp, id, ctx->lcid, DISPATCH_METHOD, &dp, ret, ei, NULL /*FIXME*/);
 231             if(FAILED(hres)) {
 232                 WARN("call error - forwarding exception\n");
 233                 jsdisp_release(jsdisp);
 234                 return hres;
 235             }
 236             else if(V_VT(ret) != VT_DISPATCH) {
 237                 jsdisp_release(jsdisp);
 238                 return S_OK;
 239             }
 240             else
 241                 IDispatch_Release(V_DISPATCH(ret));
 242         }
 243
 244         jsdisp_release(jsdisp);
 245
 246         WARN("failed\n");
 247         return throw_type_error(ctx, ei, IDS_TO_PRIMITIVE, NULL);
 248     }
 249     default:
 250         FIXME("Unimplemented for vt %d\n", V_VT(v));
 251         return E_NOTIMPL;
 252     }
 253
 254     return S_OK;
 255 }
 256
 257 /* ECMA-262 3rd Edition    9.2 */
 258 HRESULT to_boolean(VARIANT *v, VARIANT_BOOL *b)
 259 {
 260     switch(V_VT(v)) {
 261     case VT_EMPTY:
 262     case VT_NULL:
 263         *b = VARIANT_FALSE;
 264         break;
 265     case VT_I4:
 266         *b = V_I4(v) ? VARIANT_TRUE : VARIANT_FALSE;
 267         break;
 268     case VT_R8:
 269         if(isnan(V_R8(v))) *b = VARIANT_FALSE;
 270         else *b = V_R8(v) ? VARIANT_TRUE : VARIANT_FALSE;
 271         break;
 272     case VT_BSTR:
 273         *b = V_BSTR(v) && *V_BSTR(v) ? VARIANT_TRUE : VARIANT_FALSE;
 274         break;
 275     case VT_DISPATCH:
 276         *b = V_DISPATCH(v) ? VARIANT_TRUE : VARIANT_FALSE;
 277         break;
 278     case VT_BOOL:
 279         *b = V_BOOL(v);
 280         break;
 281     default:
 282         FIXME("unimplemented for vt %d\n", V_VT(v));
 283         return E_NOTIMPL;
 284     }
 285
 286     return S_OK;
 287 }
 288
 289 static int hex_to_int(WCHAR c)
 290 {
 291     if('0' <= c && c <= '9')
 292         return c-'0';
 293
 294     if('a' <= c && c <= 'f')
 295         return c-'a'+10;
 296
 297     if('A' <= c && c <= 'F')
 298         return c-'A'+10;
 299
 300     return -1;
 301 }
 302
 303 /* ECMA-262 3rd Edition    9.3.1 */
 304 static HRESULT str_to_number(BSTR str, VARIANT *ret)
 305 {
 306     const WCHAR *ptr = str;
 307     BOOL neg = FALSE;
 308     DOUBLE d = 0.0;
 309
 310     static const WCHAR infinityW[] = {'I','n','f','i','n','i','t','y'};
 311
 312     while(isspaceW(*ptr))
 313         ptr++;
 314
 315     if(*ptr == '-') {
 316         neg = TRUE;
 317         ptr++;
 318     }else if(*ptr == '+') {
 319         ptr++;
 320     }
 321
 322     if(!strncmpW(ptr, infinityW, sizeof(infinityW)/sizeof(WCHAR))) {
 323         ptr += sizeof(infinityW)/sizeof(WCHAR);
 324         while(*ptr && isspaceW(*ptr))
 325             ptr++;
 326
 327         if(*ptr)
 328             num_set_nan(ret);
 329         else
 330             num_set_inf(ret, !neg);
 331         return S_OK;
 332     }
 333
 334     if(*ptr == '0' && ptr[1] == 'x') {
 335         DWORD l = 0;
 336
 337         ptr += 2;
 338         while((l = hex_to_int(*ptr)) != -1) {
 339             d = d*16 + l;
 340             ptr++;
 341         }
 342
 343         num_set_val(ret, d);
 344         return S_OK;
 345     }
 346
 347     while(isdigitW(*ptr))
 348         d = d*10 + (*ptr++ - '0');
 349
 350     if(*ptr == 'e' || *ptr == 'E') {
 351         BOOL eneg = FALSE;
 352         LONG l = 0;
 353
 354         ptr++;
 355         if(*ptr == '-') {
 356             ptr++;
 357             eneg = TRUE;
 358         }else if(*ptr == '+') {
 359             ptr++;
 360         }
 361
 362         while(isdigitW(*ptr))
 363             l = l*10 + (*ptr++ - '0');
 364         if(eneg)
 365             l = -l;
 366
 367         d *= pow(10, l);
 368     }else if(*ptr == '.') {
 369         DOUBLE dec = 0.1;
 370
 371         ptr++;
 372         while(isdigitW(*ptr)) {
 373             d += dec * (*ptr++ - '0');
 374             dec *= 0.1;
 375         }
 376     }
 377
 378     while(isspaceW(*ptr))
 379         ptr++;
 380
 381     if(*ptr) {
 382         num_set_nan(ret);
 383         return S_OK;
 384     }
 385
 386     if(neg)
 387         d = -d;
 388
 389     num_set_val(ret, d);
 390     return S_OK;
 391 }
 392
 393 /* ECMA-262 3rd Edition    9.3 */
 394 HRESULT to_number(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, VARIANT *ret)
 395 {
 396     switch(V_VT(v)) {
 397     case VT_EMPTY:
 398         num_set_nan(ret);
 399         break;
 400     case VT_NULL:
 401         V_VT(ret) = VT_I4;
 402         V_I4(ret) = 0;
 403         break;
 404     case VT_I4:
 405     case VT_R8:
 406         *ret = *v;
 407         break;
 408     case VT_BSTR:
 409         return str_to_number(V_BSTR(v), ret);
 410     case VT_DISPATCH: {
 411         VARIANT prim;
 412         HRESULT hres;
 413
 414         hres = to_primitive(ctx, v, ei, &prim, HINT_NUMBER);
 415         if(FAILED(hres))
 416             return hres;
 417
 418         hres = to_number(ctx, &prim, ei, ret);
 419         VariantClear(&prim);
 420         return hres;
 421     }
 422     case VT_BOOL:
 423         V_VT(ret) = VT_I4;
 424         V_I4(ret) = V_BOOL(v) ? 1 : 0;
 425         break;
 426     default:
 427         FIXME("unimplemented for vt %d\n", V_VT(v));
 428         return E_NOTIMPL;
 429     }
 430
 431     return S_OK;
 432 }
 433
 434 /* ECMA-262 3rd Edition    9.4 */
 435 HRESULT to_integer(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, VARIANT *ret)
 436 {
 437     VARIANT num;
 438     HRESULT hres;
 439
 440     hres = to_number(ctx, v, ei, &num);
 441     if(FAILED(hres))
 442         return hres;
 443
 444     if(V_VT(&num) == VT_I4)
 445         *ret = num;
 446     else
 447         num_set_val(ret, V_R8(&num) >= 0.0 ? floor(V_R8(&num)) : -floor(-V_R8(&num)));
 448
 449     return S_OK;
 450 }
 451
 452 /* ECMA-262 3rd Edition    9.5 */
 453 HRESULT to_int32(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, INT *ret)
 454 {
 455     VARIANT num;
 456     HRESULT hres;
 457
 458     hres = to_number(ctx, v, ei, &num);
 459     if(FAILED(hres))
 460         return hres;
 461
 462     *ret = V_VT(&num) == VT_I4 ? V_I4(&num) : (INT)V_R8(&num);
 463     return S_OK;
 464 }
 465
 466 /* ECMA-262 3rd Edition    9.6 */
 467 HRESULT to_uint32(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, DWORD *ret)
 468 {
 469     VARIANT num;
 470     HRESULT hres;
 471
 472     hres = to_number(ctx, v, ei, &num);
 473     if(FAILED(hres))
 474         return hres;
 475
 476     *ret = V_VT(&num) == VT_I4 ? V_I4(&num) : (DWORD)V_R8(&num);
 477     return S_OK;
 478 }
 479
 480 static BSTR int_to_bstr(INT i)
 481 {
 482     WCHAR buf[12], *p;
 483     BOOL neg = FALSE;
 484
 485     if(!i) {
 486         static const WCHAR zeroW[] = {'0',0};
 487         return SysAllocString(zeroW);
 488     }
 489
 490     if(i < 0) {
 491         neg = TRUE;
 492         i = -i;
 493     }
 494
 495     p = buf + sizeof(buf)/sizeof(*buf)-1;
 496     *p-- = 0;
 497     while(i) {
 498         *p-- = i%10 + '0';
 499         i /= 10;
 500     }
 501
 502     if(neg)
 503         *p = '-';
 504     else
 505         p++;
 506
 507     return SysAllocString(p);
 508 }
 509
 510 /* ECMA-262 3rd Edition    9.8 */
 511 HRESULT to_string(script_ctx_t *ctx, VARIANT *v, jsexcept_t *ei, BSTR *str)
 512 {
 513     const WCHAR undefinedW[] = {'u','n','d','e','f','i','n','e','d',0};
 514     const WCHAR nullW[] = {'n','u','l','l',0};
 515     const WCHAR trueW[] = {'t','r','u','e',0};
 516     const WCHAR falseW[] = {'f','a','l','s','e',0};
 517     const WCHAR NaNW[] = {'N','a','N',0};
 518     const WCHAR InfinityW[] = {'-','I','n','f','i','n','i','t','y',0};
 519
 520     switch(V_VT(v)) {
 521     case VT_EMPTY:
 522         *str = SysAllocString(undefinedW);
 523         break;
 524     case VT_NULL:
 525         *str = SysAllocString(nullW);
 526         break;
 527     case VT_I4:
 528         *str = int_to_bstr(V_I4(v));
 529         break;
 530     case VT_R8: {
 531         if(isnan(V_R8(v)))
 532             *str = SysAllocString(NaNW);
 533         else if(isinf(V_R8(v)))
 534             *str = SysAllocString(V_R8(v)<0 ? InfinityW : InfinityW+1);
 535         else {
 536             VARIANT strv;
 537             HRESULT hres;
 538
 539             V_VT(&strv) = VT_EMPTY;
 540             hres = VariantChangeTypeEx(&strv, v, MAKELCID(MAKELANGID(LANG_ENGLISH,SUBLANG_ENGLISH_US),SORT_DEFAULT), 0, VT_BSTR);
 541             if(FAILED(hres))
 542                 return hres;
 543
 544             *str = V_BSTR(&strv);
 545             return S_OK;
 546         }
 547         break;
 548     }
 549     case VT_BSTR:
 550         *str = SysAllocString(V_BSTR(v));
 551         break;
 552     case VT_DISPATCH: {
 553         VARIANT prim;
 554         HRESULT hres;
 555
 556         hres = to_primitive(ctx, v, ei, &prim, HINT_STRING);
 557         if(FAILED(hres))
 558             return hres;
 559
 560         hres = to_string(ctx, &prim, ei, str);
 561         VariantClear(&prim);
 562         return hres;
 563     }
 564     case VT_BOOL:
 565         *str = SysAllocString(V_BOOL(v) ? trueW : falseW);
 566         break;
 567     default:
 568         FIXME("unsupported vt %d\n", V_VT(v));
 569         return E_NOTIMPL;
 570     }
 571
 572     return *str ? S_OK : E_OUTOFMEMORY;
 573 }
 574
 575 /* ECMA-262 3rd Edition    9.9 */
 576 HRESULT to_object(script_ctx_t *ctx, VARIANT *v, IDispatch **disp)
 577 {
 578     DispatchEx *dispex;
 579     HRESULT hres;
 580
 581     switch(V_VT(v)) {
 582     case VT_BSTR:
 583         hres = create_string(ctx, V_BSTR(v), SysStringLen(V_BSTR(v)), &dispex);
 584         if(FAILED(hres))
 585             return hres;
 586
 587         *disp = (IDispatch*)_IDispatchEx_(dispex);
 588         break;
 589     case VT_I4:
 590     case VT_R8:
 591         hres = create_number(ctx, v, &dispex);
 592         if(FAILED(hres))
 593             return hres;
 594
 595         *disp = (IDispatch*)_IDispatchEx_(dispex);
 596         break;
 597     case VT_DISPATCH:
 598         IDispatch_AddRef(V_DISPATCH(v));
 599         *disp = V_DISPATCH(v);
 600         break;
 601     case VT_BOOL:
 602         hres = create_bool(ctx, V_BOOL(v), &dispex);
 603         if(FAILED(hres))
 604             return hres;
 605
 606         *disp = (IDispatch*)_IDispatchEx_(dispex);
 607         break;
 608     default:
 609         FIXME("unsupported vt %d\n", V_VT(v));
 610         return E_NOTIMPL;
 611     }
 612
 613     return S_OK;
 614 }