dlls/jscript/number.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 #include <assert.h>
  24
  25 #include "jscript.h"
  26
  27 #include "wine/debug.h"
  28
  29 WINE_DEFAULT_DEBUG_CHANNEL(jscript);
  30
  31 typedef struct {
  32     jsdisp_t dispex;
  33
  34     double value;
  35 } NumberInstance;
  36
  37 static const WCHAR toStringW[] = {'t','o','S','t','r','i','n','g',0};
  38 static const WCHAR toLocaleStringW[] = {'t','o','L','o','c','a','l','e','S','t','r','i','n','g',0};
  39 static const WCHAR toFixedW[] = {'t','o','F','i','x','e','d',0};
  40 static const WCHAR toExponentialW[] = {'t','o','E','x','p','o','n','e','n','t','i','a','l',0};
  41 static const WCHAR toPrecisionW[] = {'t','o','P','r','e','c','i','s','i','o','n',0};
  42 static const WCHAR valueOfW[] = {'v','a','l','u','e','O','f',0};
  43
  44 #define NUMBER_TOSTRING_BUF_SIZE 64
  45 #define NUMBER_DTOA_SIZE 18
  46
  47 static inline NumberInstance *number_from_vdisp(vdisp_t *vdisp)
  48 {
  49     return (NumberInstance*)vdisp->u.jsdisp;
  50 }
  51
  52 static inline NumberInstance *number_this(vdisp_t *jsthis)
  53 {
  54     return is_vclass(jsthis, JSCLASS_NUMBER) ? number_from_vdisp(jsthis) : NULL;
  55 }
  56
  57 static inline void dtoa(double d, WCHAR *buf, int size, int *dec_point)
  58 {
  59     ULONGLONG l;
  60     int i;
  61
  62     /* TODO: this function should print doubles with bigger precision */
  63     assert(size>=2 && size<=NUMBER_DTOA_SIZE && d>=0);
  64
  65     if(d == 0)
  66         *dec_point = 0;
  67     else
  68         *dec_point = floor(log10(d));
  69     l = d*pow(10, size-*dec_point-1);
  70
  71     if(l%10 >= 5)
  72         l = l/10+1;
  73     else
  74         l /= 10;
  75
  76     buf[size-1] = 0;
  77     for(i=size-2; i>=0; i--) {
  78         buf[i] = '0'+l%10;
  79         l /= 10;
  80     }
  81
  82     /* log10 was wrong by 1 or rounding changed number of digits */
  83     if(l) {
  84         (*dec_point)++;
  85         memmove(buf+1, buf, size-2);
  86         buf[0] = '0'+l;
  87     }else if(buf[0]=='0' && buf[1]>='1' && buf[1]<='9') {
  88         (*dec_point)--;
  89         memmove(buf, buf+1, size-2);
  90         buf[size-2] = '0';
  91     }
  92 }
  93
  94 static inline void number_to_fixed(double val, int prec, BSTR *out)
  95 {
  96     WCHAR buf[NUMBER_DTOA_SIZE];
  97     int dec_point, size, buf_size, buf_pos;
  98     BOOL neg = FALSE;
  99     BSTR str;
 100
 101     if(val < 0) {
 102         neg = TRUE;
 103         val = -val;
 104     }
 105
 106     if(val<=-1 || val>=1)
 107         buf_size = log10(val)+prec+2;
 108     else
 109         buf_size = prec+1;
 110     if(buf_size > NUMBER_DTOA_SIZE)
 111         buf_size = NUMBER_DTOA_SIZE;
 112
 113     dtoa(val, buf, buf_size, &dec_point);
 114     dec_point++;
 115     size = 0;
 116     if(neg)
 117         size++;
 118     if(dec_point > 0)
 119         size += dec_point;
 120     else
 121         size++;
 122     if(prec)
 123         size += prec+1;
 124
 125     str = SysAllocStringLen(NULL, size);
 126     size = buf_pos = 0;
 127     if(neg)
 128         str[size++] = '-';
 129     if(dec_point > 0) {
 130         for(;buf_pos<buf_size-1 && dec_point; dec_point--)
 131             str[size++] = buf[buf_pos++];
 132     }else {
 133         str[size++] = '0';
 134     }
 135     for(; dec_point>0; dec_point--)
 136         str[size++] = '0';
 137     if(prec) {
 138         str[size++] = '.';
 139
 140         for(; dec_point<0 && prec; dec_point++, prec--)
 141             str[size++] = '0';
 142         for(; buf_pos<buf_size-1 && prec; prec--)
 143             str[size++] = buf[buf_pos++];
 144         for(; prec; prec--) {
 145             str[size++] = '0';
 146         }
 147     }
 148     str[size++] = 0;
 149
 150     *out = str;
 151 }
 152
 153 static inline void number_to_exponential(double val, int prec, BSTR *out)
 154 {
 155     WCHAR buf[NUMBER_DTOA_SIZE], *pbuf;
 156     int dec_point, size, buf_size, exp_size = 1;
 157     BOOL neg = FALSE;
 158     BSTR str;
 159
 160     if(val < 0) {
 161         neg = TRUE;
 162         val = -val;
 163     }
 164
 165     buf_size = prec+2;
 166     if(buf_size<2 || buf_size>NUMBER_DTOA_SIZE)
 167         buf_size = NUMBER_DTOA_SIZE;
 168     dtoa(val, buf, buf_size, &dec_point);
 169     buf_size--;
 170     if(prec == -1)
 171         for(; buf_size>1 && buf[buf_size-1]=='0'; buf_size--)
 172             buf[buf_size-1] = 0;
 173
 174     size = 10;
 175     while(dec_point>=size || dec_point<=-size) {
 176         size *= 10;
 177         exp_size++;
 178     }
 179
 180     if(buf_size == 1)
 181         size = buf_size+2+exp_size; /* 2 = strlen(e+) */
 182     else if(prec == -1)
 183         size = buf_size+3+exp_size; /* 3 = strlen(.e+) */
 184     else
 185         size = prec+4+exp_size; /* 4 = strlen(0.e+) */
 186     if(neg)
 187         size++;
 188     str = SysAllocStringLen(NULL, size);
 189
 190     size = 0;
 191     pbuf = buf;
 192     if(neg)
 193         str[size++] = '-';
 194     str[size++] = *pbuf++;
 195     if(buf_size != 1) {
 196         str[size++] = '.';
 197         while(*pbuf)
 198             str[size++] = *pbuf++;
 199         for(; prec>buf_size-1; prec--)
 200             str[size++] = '0';
 201     }
 202     str[size++] = 'e';
 203     if(dec_point >= 0) {
 204         str[size++] = '+';
 205     }else {
 206         str[size++] = '-';
 207         dec_point = -dec_point;
 208     }
 209     size += exp_size;
 210     do {
 211         str[--size] = '0'+dec_point%10;
 212         dec_point /= 10;
 213     }while(dec_point>0);
 214     size += exp_size;
 215     str[size] = 0;
 216
 217     *out = str;
 218 }
 219
 220 /* ECMA-262 3rd Edition    15.7.4.2 */
 221 static HRESULT Number_toString(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 222         jsval_t *r, jsexcept_t *ei)
 223 {
 224     NumberInstance *number;
 225     INT radix = 10;
 226     DOUBLE val;
 227     BSTR str;
 228     HRESULT hres;
 229
 230     TRACE("\n");
 231
 232     if(!(number = number_this(jsthis)))
 233         return throw_type_error(ctx, ei, JS_E_NUMBER_EXPECTED, NULL);
 234
 235     if(argc) {
 236         hres = to_int32(ctx, argv[0], ei, &radix);
 237         if(FAILED(hres))
 238             return hres;
 239
 240         if(radix<2 || radix>36)
 241             return throw_type_error(ctx, ei, JS_E_INVALIDARG, NULL);
 242     }
 243
 244     val = number->value;
 245
 246     if(radix==10 || isnan(val) || isinf(val)) {
 247         hres = to_string(ctx, jsval_number(val), ei, &str);
 248         if(FAILED(hres))
 249             return hres;
 250     }else {
 251         INT idx = 0;
 252         DOUBLE integ, frac, log_radix = 0;
 253         WCHAR buf[NUMBER_TOSTRING_BUF_SIZE+16];
 254         BOOL exp = FALSE;
 255
 256         if(val<0) {
 257             val = -val;
 258             buf[idx++] = '-';
 259         }
 260
 261         while(1) {
 262             integ = floor(val);
 263             frac = val-integ;
 264
 265             if(integ == 0)
 266                 buf[idx++] = '0';
 267             while(integ>=1 && idx<NUMBER_TOSTRING_BUF_SIZE) {
 268                 buf[idx] = fmod(integ, radix);
 269                 if(buf[idx]<10) buf[idx] += '0';
 270                 else buf[idx] += 'a'-10;
 271                 integ /= radix;
 272                 idx++;
 273             }
 274
 275             if(idx<NUMBER_TOSTRING_BUF_SIZE) {
 276                 INT beg = buf[0]=='-'?1:0;
 277                 INT end = idx-1;
 278                 WCHAR wch;
 279
 280                 while(end > beg) {
 281                     wch = buf[beg];
 282                     buf[beg++] = buf[end];
 283                     buf[end--] = wch;
 284                 }
 285             }
 286
 287             if(idx != NUMBER_TOSTRING_BUF_SIZE) buf[idx++] = '.';
 288
 289             while(frac>0 && idx<NUMBER_TOSTRING_BUF_SIZE) {
 290                 frac *= radix;
 291                 buf[idx] = fmod(frac, radix);
 292                 frac -= buf[idx];
 293                 if(buf[idx]<10) buf[idx] += '0';
 294                 else buf[idx] += 'a'-10;
 295                 idx++;
 296             }
 297
 298             if(idx==NUMBER_TOSTRING_BUF_SIZE && !exp) {
 299                 exp = TRUE;
 300                 idx = (buf[0]=='-') ? 1 : 0;
 301                 log_radix = floor(log(val)/log(radix));
 302                 val *= pow(radix, -log_radix);
 303                 continue;
 304             }
 305
 306             break;
 307         }
 308
 309         while(buf[idx-1] == '0') idx--;
 310         if(buf[idx-1] == '.') idx--;
 311
 312         if(exp) {
 313             if(log_radix==0)
 314                 buf[idx] = 0;
 315             else {
 316                 static const WCHAR formatW[] = {'(','e','%','c','%','d',')',0};
 317                 WCHAR ch;
 318
 319                 if(log_radix<0) {
 320                     log_radix = -log_radix;
 321                     ch = '-';
 322                 }
 323                 else ch = '+';
 324                 sprintfW(&buf[idx], formatW, ch, (int)log_radix);
 325             }
 326         }
 327         else buf[idx] = '\0';
 328
 329         str = SysAllocString(buf);
 330         if(!str)
 331             return E_OUTOFMEMORY;
 332     }
 333
 334     if(r)
 335         *r = jsval_string(str);
 336     else
 337         SysFreeString(str);
 338     return S_OK;
 339 }
 340
 341 static HRESULT Number_toLocaleString(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 342         jsval_t *r, jsexcept_t *ei)
 343 {
 344     FIXME("\n");
 345     return E_NOTIMPL;
 346 }
 347
 348 static HRESULT Number_toFixed(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 349         jsval_t *r, jsexcept_t *ei)
 350 {
 351     NumberInstance *number;
 352     DOUBLE val;
 353     INT prec = 0;
 354     BSTR str;
 355     HRESULT hres;
 356
 357     TRACE("\n");
 358
 359     if(!(number = number_this(jsthis)))
 360         return throw_type_error(ctx, ei, JS_E_NUMBER_EXPECTED, NULL);
 361
 362     if(argc) {
 363         hres = to_int32(ctx, argv[0], ei, &prec);
 364         if(FAILED(hres))
 365             return hres;
 366
 367         if(prec<0 || prec>20)
 368             return throw_range_error(ctx, ei, JS_E_FRACTION_DIGITS_OUT_OF_RANGE, NULL);
 369     }
 370
 371     val = number->value;
 372     if(isinf(val) || isnan(val)) {
 373         hres = to_string(ctx, jsval_number(val), ei, &str);
 374         if(FAILED(hres))
 375             return hres;
 376     }else {
 377         number_to_fixed(val, prec, &str);
 378     }
 379
 380     if(r)
 381         *r = jsval_string(str);
 382     else
 383         SysFreeString(str);
 384     return S_OK;
 385 }
 386
 387 static HRESULT Number_toExponential(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 388         jsval_t *r, jsexcept_t *ei)
 389 {
 390     NumberInstance *number;
 391     DOUBLE val;
 392     INT prec = 0;
 393     BSTR str;
 394     HRESULT hres;
 395
 396     TRACE("\n");
 397
 398     if(!(number = number_this(jsthis)))
 399         return throw_type_error(ctx, ei, JS_E_NUMBER_EXPECTED, NULL);
 400
 401     if(argc) {
 402         hres = to_int32(ctx, argv[0], ei, &prec);
 403         if(FAILED(hres))
 404             return hres;
 405
 406         if(prec<0 || prec>20)
 407             return throw_range_error(ctx, ei, JS_E_FRACTION_DIGITS_OUT_OF_RANGE, NULL);
 408     }
 409
 410     val = number->value;
 411     if(isinf(val) || isnan(val)) {
 412         hres = to_string(ctx, jsval_number(val), ei, &str);
 413         if(FAILED(hres))
 414             return hres;
 415     }else {
 416         if(!prec)
 417             prec--;
 418         number_to_exponential(val, prec, &str);
 419     }
 420
 421     if(r)
 422         *r = jsval_string(str);
 423     else
 424         SysFreeString(str);
 425     return S_OK;
 426 }
 427
 428 static HRESULT Number_toPrecision(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 429         jsval_t *r, jsexcept_t *ei)
 430 {
 431     NumberInstance *number;
 432     INT prec = 0, size;
 433     DOUBLE val;
 434     BSTR str;
 435     HRESULT hres;
 436
 437     if(!(number = number_this(jsthis)))
 438         return throw_type_error(ctx, ei, JS_E_NUMBER_EXPECTED, NULL);
 439
 440     if(argc) {
 441         hres = to_int32(ctx, argv[0], ei, &prec);
 442         if(FAILED(hres))
 443             return hres;
 444
 445         if(prec<1 || prec>21)
 446             return throw_range_error(ctx, ei, JS_E_PRECISION_OUT_OF_RANGE, NULL);
 447     }
 448
 449     val = number->value;
 450     if(isinf(val) || isnan(val) || !prec) {
 451         hres = to_string(ctx, jsval_number(val), ei, &str);
 452         if(FAILED(hres))
 453             return hres;
 454     }else {
 455         if(val != 0)
 456             size = floor(log10(val>0 ? val : -val)) + 1;
 457         else
 458             size = 1;
 459
 460         if(size > prec)
 461             number_to_exponential(val, prec-1, &str);
 462         else
 463             number_to_fixed(val, prec-size, &str);
 464     }
 465
 466     if(r)
 467         *r = jsval_string(str);
 468     else
 469         SysFreeString(str);
 470     return S_OK;
 471 }
 472
 473 static HRESULT Number_valueOf(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 474         jsval_t *r, jsexcept_t *ei)
 475 {
 476     NumberInstance *number;
 477
 478     TRACE("\n");
 479
 480     if(!(number = number_this(jsthis)))
 481         return throw_type_error(ctx, ei, JS_E_NUMBER_EXPECTED, NULL);
 482
 483     if(r)
 484         *r = jsval_number(number->value);
 485     return S_OK;
 486 }
 487
 488 static HRESULT Number_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 489         jsval_t *r, jsexcept_t *ei)
 490 {
 491     NumberInstance *number = number_from_vdisp(jsthis);
 492
 493     switch(flags) {
 494     case INVOKE_FUNC:
 495         return throw_type_error(ctx, ei, JS_E_FUNCTION_EXPECTED, NULL);
 496     case DISPATCH_PROPERTYGET:
 497         *r = jsval_number(number->value);
 498         break;
 499
 500     default:
 501         FIXME("flags %x\n", flags);
 502         return E_NOTIMPL;
 503     }
 504
 505     return S_OK;
 506 }
 507
 508 static const builtin_prop_t Number_props[] = {
 509     {toExponentialW,         Number_toExponential,         PROPF_METHOD|1},
 510     {toFixedW,               Number_toFixed,               PROPF_METHOD},
 511     {toLocaleStringW,        Number_toLocaleString,        PROPF_METHOD},
 512     {toPrecisionW,           Number_toPrecision,           PROPF_METHOD|1},
 513     {toStringW,              Number_toString,              PROPF_METHOD|1},
 514     {valueOfW,               Number_valueOf,               PROPF_METHOD}
 515 };
 516
 517 static const builtin_info_t Number_info = {
 518     JSCLASS_NUMBER,
 519     {NULL, Number_value, 0},
 520     sizeof(Number_props)/sizeof(*Number_props),
 521     Number_props,
 522     NULL,
 523     NULL
 524 };
 525
 526 static const builtin_info_t NumberInst_info = {
 527     JSCLASS_NUMBER,
 528     {NULL, Number_value, 0},
 529     0, NULL,
 530     NULL,
 531     NULL
 532 };
 533
 534 static HRESULT NumberConstr_value(script_ctx_t *ctx, vdisp_t *jsthis, WORD flags, unsigned argc, jsval_t *argv,
 535         jsval_t *r, jsexcept_t *ei)
 536 {
 537     double n;
 538     HRESULT hres;
 539
 540     TRACE("\n");
 541
 542     switch(flags) {
 543     case INVOKE_FUNC:
 544         if(!argc) {
 545             if(r)
 546                 *r = jsval_number(0);
 547             return S_OK;
 548         }
 549
 550         hres = to_number(ctx, argv[0], ei, &n);
 551         if(FAILED(hres))
 552             return hres;
 553
 554         if(r)
 555             *r = jsval_number(n);
 556         break;
 557
 558     case DISPATCH_CONSTRUCT: {
 559         jsdisp_t *obj;
 560
 561         if(argc) {
 562             hres = to_number(ctx, argv[0], ei, &n);
 563             if(FAILED(hres))
 564                 return hres;
 565         }else {
 566             n = 0;
 567         }
 568
 569         hres = create_number(ctx, n, &obj);
 570         if(FAILED(hres))
 571             return hres;
 572
 573         *r = jsval_obj(obj);
 574         break;
 575     }
 576     default:
 577         FIXME("unimplemented flags %x\n", flags);
 578         return E_NOTIMPL;
 579     }
 580
 581     return S_OK;
 582 }
 583
 584 static HRESULT alloc_number(script_ctx_t *ctx, jsdisp_t *object_prototype, NumberInstance **ret)
 585 {
 586     NumberInstance *number;
 587     HRESULT hres;
 588
 589     number = heap_alloc_zero(sizeof(NumberInstance));
 590     if(!number)
 591         return E_OUTOFMEMORY;
 592
 593     if(object_prototype)
 594         hres = init_dispex(&number->dispex, ctx, &Number_info, object_prototype);
 595     else
 596         hres = init_dispex_from_constr(&number->dispex, ctx, &NumberInst_info, ctx->number_constr);
 597     if(FAILED(hres))
 598         return hres;
 599
 600     *ret = number;
 601     return S_OK;
 602 }
 603
 604 HRESULT create_number_constr(script_ctx_t *ctx, jsdisp_t *object_prototype, jsdisp_t **ret)
 605 {
 606     NumberInstance *number;
 607     HRESULT hres;
 608
 609     static const WCHAR NumberW[] = {'N','u','m','b','e','r',0};
 610
 611     hres = alloc_number(ctx, object_prototype, &number);
 612     if(FAILED(hres))
 613         return hres;
 614
 615     number->value = 0;
 616     hres = create_builtin_constructor(ctx, NumberConstr_value, NumberW, NULL,
 617             PROPF_CONSTR|1, &number->dispex, ret);
 618
 619     jsdisp_release(&number->dispex);
 620     return hres;
 621 }
 622
 623 HRESULT create_number(script_ctx_t *ctx, double value, jsdisp_t **ret)
 624 {
 625     NumberInstance *number;
 626     HRESULT hres;
 627
 628     hres = alloc_number(ctx, NULL, &number);
 629     if(FAILED(hres))
 630         return hres;
 631
 632     number->value = value;
 633
 634     *ret = &number->dispex;
 635     return S_OK;
 636 }